runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709864-1338131929/watcher-3709864-1338131929 -o /tmp/evaluation-result-3709864-1338131929/solver-3709864-1338131929 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709864-1338131929.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.05 2.01 3/194 18640
/proc/meminfo: memFree=27512776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18640/stat : 18640 (java) R 18638 18640 16973 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 279318683 23793664 715 33554432000 1073741824 1073778376 140733643291104 140733643280168 270320842088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 5809 715 530 9 0 128 0
[startup+0.0895411 s]
/proc/loadavg: 1.98 2.05 2.01 3/194 18640
/proc/meminfo: memFree=27512776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 4282 0 1 0 8 1 0 0 20 0 18 0 279318683 9787842560 6000 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2389610 6000 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.100207 s]
/proc/loadavg: 1.98 2.05 2.01 3/194 18640
/proc/meminfo: memFree=27512776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 4379 0 1 0 9 1 0 0 20 0 18 0 279318683 9787842560 6097 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2389610 6097 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300168 s]
/proc/loadavg: 1.98 2.05 2.01 3/194 18640
/proc/meminfo: memFree=27512776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9558440 CPUtime=0.5 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 5589 0 1 0 49 1 0 0 20 0 18 0 279318683 9787842560 8897 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2389610 8897 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440
[startup+0.700225 s]
/proc/loadavg: 1.98 2.05 2.01 3/194 18640
/proc/meminfo: memFree=27512776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10067 0 1 0 143 3 0 0 20 0 19 0 279318683 9856004096 22027 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 22027 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625004
[startup+1.50058 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27433412/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10079 0 1 0 230 3 0 0 20 0 19 0 279318683 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 22039 2258 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2544 0 1 0 145 2 0 0 20 0 19 0 279318683 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543936086648 140543762483945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 2600 0 0 0 40 0 0 0 20 0 19 0 279318687 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3736 0 0 0 42 0 0 0 20 0 19 0 279318687 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 22039 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625004
[startup+3.10056 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27432916/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=4.03 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10487 0 1 0 399 4 0 0 20 0 19 0 279318683 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 26186 2289 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2548 0 1 0 303 2 0 0 20 0 19 0 279318683 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543936086408 140543762630409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 279318685 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 2938 0 0 0 43 0 0 0 20 0 19 0 279318687 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 47 0 0 0 20 0 19 0 279318687 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26186 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625004
[startup+6.30062 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27404776/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=7.27 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10555 0 1 0 723 4 0 0 20 0 19 0 279318683 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 26373 2289 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=6.22 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2550 0 1 0 620 2 0 0 20 0 19 0 279318683 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543936086504 140543762630409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 279318685 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 2995 0 0 0 45 0 0 0 20 0 19 0 279318687 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 49 0 0 0 20 0 19 0 279318687 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26373 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 41 0 0 0 4 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 2997 0 0 0 46 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 9625004
[startup+9.50062 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27402752/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=10.48 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10566 0 1 0 1044 4 0 0 20 0 19 0 279318683 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 26383 2289 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=9.39 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2550 0 1 0 937 2 0 0 20 0 19 0 279318683 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543936086552 140543762629876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 41 0 0 0 4 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 2997 0 0 0 46 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26383 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 9625004
[startup+10.3006 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27402780/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=11.33 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10880 0 1 0 1129 4 0 0 20 0 19 0 279318683 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 26542 2289 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=10.17 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2550 0 1 0 1015 2 0 0 20 0 19 0 279318683 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543936086440 140543762522291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 53 0 0 0 6 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 3289 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 9625004
[startup+10.5006 s]
/proc/loadavg: 1.98 2.05 2.01 3/213 18659
/proc/meminfo: memFree=27402780/32873660 swapFree=7120/7120
[pid=18640] ppid=18638 vsize=9625004 CPUtime=11.53 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18638 18640 16973 0 -1 4202496 10880 0 1 0 1149 4 0 0 20 0 19 0 279318683 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140733643282240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18640/statm: 2406251 26542 2289 9 0 2396937 0
[pid=18640/tid=18642] ppid=18638 vsize=9625004 CPUtime=10.37 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) R 18638 18640 16973 0 -1 4202560 2550 0 1 0 1035 2 0 0 20 0 19 0 279318683 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543936086440 140543762630065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543897578536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543896525736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18638 18640 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543895472936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18638 18640 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543894420136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543893367336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18638 18640 16973 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543892314536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18638 18640 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543891261736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18638 18640 16973 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 279318684 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543890208936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18638 18640 16973 0 -1 4202560 53 0 0 0 6 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543759731688 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) S 18638 18640 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543758677752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18638 18640 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 279318685 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543757624840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543756573328 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18655/stat : 18655 (java) S 18638 18640 16973 0 -1 4202560 3289 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543755520440 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/18640/task/18656/stat : 18656 (java) S 18638 18640 16973 0 -1 4202560 3746 0 0 0 50 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543754467640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18657/stat : 18657 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543753415032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18658/stat : 18658 (java) S 18638 18640 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 279318687 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543752362440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18659/stat : 18659 (java) S 18638 18640 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 279318730 9856004096 26542 33554432000 1073741824 1073778376 140733643291104 140543751308968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 10.5589
CPU time (s): 11.5812
CPU user time (s): 11.5092
CPU system time (s): 0.071989
CPU usage (%): 109.682
Max. virtual memory (cumulated for all children) (KiB): 9625444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5092
system time used= 0.071989
maximum resident set size= 106820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10897
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 602
involuntary context switches= 65
runsolver used 0.048992 second user time and 0.106983 second system time
The end