runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/gj-user-solver-1.0/rand105.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand105.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/rand105.cudf.user-upgrades.result -notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.07 0.73 0.74 5/35 17874
/proc/meminfo: memFree=436188/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=11360 CPUtime=0.01
/proc/17873/stat : 17873 (java) R 17872 17872 17511 34816 17511 4202496 919 0 0 0 0 1 0 0 25 0 2 0 45962571 11632640 652 1283457024 134512640 134550932 4294906176 18446744073709551615 4159188584 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 2840 652 285 10 0 1186 0
[pid=17873/tid=17874] ppid=17872 vsize=11360 CPUtime=0
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 45962572 11632640 652 1283457024 134512640 134550932 4294906176 18446744073709551615 4159188584 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.115759 s]
/proc/loadavg: 1.07 0.73 0.74 5/35 17874
/proc/meminfo: memFree=436188/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=409920 CPUtime=0.11
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 3877 0 1 0 8 3 0 0 25 0 9 0 45962571 419758080 3304 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102480 3304 1917 10 0 96628 0
[pid=17873/tid=17874] ppid=17872 vsize=409920 CPUtime=0.1
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 2776 0 1 0 8 2 0 0 25 0 9 0 45962572 419758080 3304 1283457024 134512640 134550932 4294906176 18446744073709551615 4114529630 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 412488

[startup+0.205772 s]
/proc/loadavg: 1.07 0.73 0.74 5/35 17874
/proc/meminfo: memFree=436188/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=410072 CPUtime=0.21
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 4400 0 1 0 18 3 0 0 25 0 9 0 45962571 419913728 3827 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102518 3827 1945 10 0 96666 0
[pid=17873/tid=17874] ppid=17872 vsize=410072 CPUtime=0.19
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 3195 0 1 0 17 2 0 0 25 0 9 0 45962572 419913728 3827 1283457024 134512640 134550932 4294906176 18446744073709551615 4114494295 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412640

[startup+0.305795 s]
/proc/loadavg: 1.07 0.73 0.74 5/35 17874
/proc/meminfo: memFree=436188/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=410484 CPUtime=0.31
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 5406 0 1 0 27 4 0 0 25 0 9 0 45962571 420335616 4832 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102621 4832 1956 10 0 96769 0
[pid=17873/tid=17874] ppid=17872 vsize=410484 CPUtime=0.26
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 3524 0 1 0 24 2 0 0 25 0 9 0 45962572 420335616 4832 1283457024 134512640 134550932 4294906176 18446744073709551615 4114549014 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413052

[startup+0.705888 s]
/proc/loadavg: 1.07 0.73 0.74 5/35 17874
/proc/meminfo: memFree=436188/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=410752 CPUtime=0.71
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 12759 0 1 0 63 8 0 0 25 0 9 0 45962571 420610048 11999 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102688 11999 2901 10 0 96836 0
[pid=17873/tid=17874] ppid=17872 vsize=410752 CPUtime=0.46
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 4180 0 1 0 44 2 0 0 25 0 9 0 45962572 420610048 11999 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413320

[startup+1.50611 s]
/proc/loadavg: 1.07 0.73 0.74 2/43 17882
/proc/meminfo: memFree=379012/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=410752 CPUtime=1.51
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 27432 0 1 0 141 10 0 0 25 0 9 0 45962571 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102688 26672 2901 10 0 96836 0
[pid=17873/tid=17874] ppid=17872 vsize=410752 CPUtime=0.77
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 6708 0 1 0 74 3 0 0 25 0 9 0 45962572 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=410752 CPUtime=0.68
/proc/17873/task/17876/stat : 17876 (java) R 17872 17872 17511 34816 17511 4202560 19337 0 0 0 63 5 0 0 19 0 9 0 45962573 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4152285167 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=410752 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 45962573 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=410752 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 45962573 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=410752 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=410752 CPUtime=0.02
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 445 0 0 0 2 0 0 0 17 0 9 0 45962574 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=410752 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=410752 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45962574 420610048 26672 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413320

[startup+3.11648 s]
/proc/loadavg: 1.07 0.73 0.74 2/43 17882
/proc/meminfo: memFree=307340/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=410884 CPUtime=3.11
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 52029 0 1 0 291 20 0 0 25 0 9 0 45962571 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102721 51269 2901 10 0 96869 0
[pid=17873/tid=17874] ppid=17872 vsize=410884 CPUtime=1.37
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 13860 0 1 0 130 7 0 0 25 0 9 0 45962572 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=410884 CPUtime=1.68
/proc/17873/task/17876/stat : 17876 (java) R 17872 17872 17511 34816 17511 4202560 36778 0 0 0 156 12 0 0 15 0 9 0 45962573 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4151092080 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=410884 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 45962573 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=410884 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 45962573 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=410884 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=410884 CPUtime=0.04
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 449 0 0 0 4 0 0 0 15 0 9 0 45962574 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=410884 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=410884 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45962574 420745216 51269 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413452

[startup+6.30837 s]
/proc/loadavg: 1.22 0.76 0.76 4/43 17882
/proc/meminfo: memFree=170320/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=439924 CPUtime=6.3
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 78236 0 1 0 598 32 0 0 25 0 9 0 45962571 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 109981 77470 2902 10 0 104129 0
[pid=17873/tid=17874] ppid=17872 vsize=439924 CPUtime=2.23
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 13876 0 1 0 215 8 0 0 25 0 9 0 45962572 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=439924 CPUtime=3.99
/proc/17873/task/17876/stat : 17876 (java) R 17872 17872 17511 34816 17511 4202560 62951 0 0 0 377 22 0 0 16 0 9 0 45962573 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4152285712 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=439924 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 45962573 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=439924 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 45962573 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=439924 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=439924 CPUtime=0.06
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 467 0 0 0 6 0 0 0 15 0 9 0 45962574 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=439924 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=439924 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) R 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45962574 450482176 77470 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442492

[startup+12.7104 s]
/proc/loadavg: 1.29 0.78 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=12.7
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99917 0 1 0 1231 39 0 0 25 0 10 0 45962571 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70644 2918 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=4.47
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 14131 0 1 0 439 8 0 0 25 0 10 0 45962572 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4115300608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.11
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84298 0 0 0 782 29 0 0 16 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.09
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 541 0 0 0 9 0 0 0 16 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17883] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17883/stat : 17883 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 22 0 10 0 45963653 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414424

Solver just ended. Dumping a history of the last processes samples

[startup+12.8104 s]
/proc/loadavg: 1.29 0.78 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=12.8
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99917 0 1 0 1241 39 0 0 25 0 10 0 45962571 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70644 2918 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=4.57
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 14131 0 1 0 449 8 0 0 25 0 10 0 45962572 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4115368968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.11
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84298 0 0 0 782 29 0 0 16 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45962573 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.09
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 541 0 0 0 9 0 0 0 16 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45962574 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17883] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17883/stat : 17883 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 22 0 10 0 45963653 421740544 70644 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 414424

[startup+14.4109 s]
/proc/loadavg: 1.26 0.79 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=14.4
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99924 0 1 0 1401 39 0 0 25 0 10 0 45962571 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70651 2918 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=6.14
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 14131 0 1 0 606 8 0 0 25 0 10 0 45962572 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4115009228 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.11
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84298 0 0 0 782 29 0 0 16 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.11
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 548 0 0 0 11 0 0 0 15 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17883] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17883/stat : 17883 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 22 0 10 0 45963653 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 414424

[startup+14.811 s]
/proc/loadavg: 1.26 0.79 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=14.8
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99924 0 1 0 1441 39 0 0 25 0 10 0 45962571 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70651 2918 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=6.54
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 14131 0 1 0 646 8 0 0 25 0 10 0 45962572 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4115403374 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.11
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84298 0 0 0 782 29 0 0 16 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45962573 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.11
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 548 0 0 0 11 0 0 0 15 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45962574 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17883] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17883/stat : 17883 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 22 0 10 0 45963653 421740544 70651 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 414424

[startup+15.2111 s]
/proc/loadavg: 1.26 0.79 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=15.2
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99925 0 1 0 1481 39 0 0 25 0 10 0 45962571 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70652 2918 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=6.94
/proc/17873/task/17874/stat : 17874 (java) R 17872 17872 17511 34816 17511 4202560 14131 0 1 0 686 8 0 0 25 0 10 0 45962572 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4115374077 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.11
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84298 0 0 0 782 29 0 0 16 0 10 0 45962573 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 45962573 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 45962573 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.11
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 549 0 0 0 11 0 0 0 15 0 10 0 45962574 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 45962574 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 45962574 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17883] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17883/stat : 17883 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 22 0 10 0 45963653 421740544 70652 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.2
Current children cumulated vsize (KiB) 414424

[startup+15.3067 s]
/proc/loadavg: 1.26 0.79 0.76 2/44 17883
/proc/meminfo: memFree=165484/1048576 swapFree=0/0
[pid=17872] ppid=17871 vsize=2568 CPUtime=0
/proc/17872/stat : 17872 (gj-user-solver-) S 17871 17872 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45962571 2629632 270 1283457024 134512640 135304128 4294269248 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17872/statm: 642 270 229 194 0 29 0
[pid=17873] ppid=17872 vsize=411856 CPUtime=15.28
/proc/17873/stat : 17873 (java) S 17872 17872 17511 34816 17511 4202496 99929 0 1 0 1489 39 0 0 25 0 9 0 45962571 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17873/statm: 102964 70656 2921 10 0 97109 0
[pid=17873/tid=17874] ppid=17872 vsize=411856 CPUtime=6.99
/proc/17873/task/17874/stat : 17874 (java) S 17872 17872 17511 34816 17511 4202560 14131 0 1 0 691 8 0 0 25 0 9 0 45962572 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17876] ppid=17872 vsize=411856 CPUtime=8.15
/proc/17873/task/17876/stat : 17876 (java) S 17872 17872 17511 34816 17511 4202560 84300 0 0 0 786 29 0 0 16 0 9 0 45962573 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17877] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17877/stat : 17877 (java) S 17872 17872 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 45962573 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17878] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17878/stat : 17878 (java) S 17872 17872 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 45962573 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17879] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17879/stat : 17879 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17880] ppid=17872 vsize=411856 CPUtime=0.11
/proc/17873/task/17880/stat : 17880 (java) S 17872 17872 17511 34816 17511 4202560 550 0 0 0 11 0 0 0 15 0 9 0 45962574 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17881] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17881/stat : 17881 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 45962574 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=17873/tid=17882] ppid=17872 vsize=411856 CPUtime=0
/proc/17873/task/17882/stat : 17882 (java) S 17872 17872 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 45962574 421740544 70656 1283457024 134512640 134550932 4294906176 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (KiB) 414424

Child status: 0
Real time (s): 15.3784
CPU time (s): 15.313
CPU user time (s): 14.8929
CPU system time (s): 0.420026
CPU usage (%): 99.5743
Max. virtual memory (cumulated for all children) (KiB): 442492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8929
system time used= 0.420026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100317
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1079
involuntary context switches= 1251

runsolver used 0 second user time and 0 second system time

The end