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-3709808-1338125436/watcher-3709808-1338125436 -o /tmp/evaluation-result-3709808-1338125436/solver-3709808-1338125436 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709808-1338125436.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: 2.17 2.08 2.05 3/195 19588
/proc/meminfo: memFree=29281916/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/19588/stat : 19588 (java) R 19586 19588 19004 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 278668495 23793664 716 33554432000 1073741824 1073778376 140737206530048 140737206519112 240555963752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 5809 716 530 9 0 128 0
[startup+0.058731 s]
/proc/loadavg: 2.17 2.08 2.05 3/195 19588
/proc/meminfo: memFree=29281916/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9226588 CPUtime=0.05 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 3141 0 1 0 4 1 0 0 20 0 14 0 278668495 9448026112 4350 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2339415 4350 1714 9 0 2330116 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9226588
[startup+0.100241 s]
/proc/loadavg: 2.17 2.08 2.05 3/195 19588
/proc/meminfo: memFree=29281916/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 4284 0 1 0 9 1 0 0 20 0 18 0 278668495 9787842560 5492 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2389610 5492 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300213 s]
/proc/loadavg: 2.17 2.08 2.05 3/195 19588
/proc/meminfo: memFree=29281916/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 6982 0 1 0 51 2 0 0 20 0 19 0 278668495 9856004096 8177 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2406251 8177 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625004
[startup+0.700218 s]
/proc/loadavg: 2.17 2.08 2.05 3/195 19588
/proc/meminfo: memFree=29281916/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 7555 0 1 0 111 2 0 0 20 0 19 0 278668495 9856004096 10803 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2406251 10803 2277 9 0 2396937 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625004
[startup+1.50081 s]
/proc/loadavg: 2.17 2.08 2.05 3/214 19607
/proc/meminfo: memFree=29246900/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9625004 CPUtime=2.1 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 12171 0 1 0 206 4 0 0 20 0 19 0 278668495 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2406251 14234 2278 9 0 2396937 0
[pid=19588/tid=19590] ppid=19586 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 19004 0 -1 4202560 2555 0 1 0 139 1 0 0 20 0 19 0 278668496 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241886445992 140241826558654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19591] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241825176104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19592] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241824123304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19593] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241727600936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19594] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241726548136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19595] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241725496360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19596] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241724443560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19597] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241723390760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19598] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19598/stat : 19598 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241722337960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19599] ppid=19586 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/19588/task/19599/stat : 19599 (java) S 19586 19588 19004 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 278668498 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241710139880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19600] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19600/stat : 19600 (java) S 19586 19588 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241709085944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19601] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19601/stat : 19601 (java) S 19586 19588 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241708033032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19602] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19602/stat : 19602 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241706981520 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19603] ppid=19586 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/19588/task/19603/stat : 19603 (java) R 19586 19588 19004 0 -1 4202560 6670 0 0 0 36 2 0 0 20 0 19 0 278668501 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241705917224 140241889351742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19604] ppid=19586 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/19588/task/19604/stat : 19604 (java) S 19586 19588 19004 0 -1 4202560 1692 0 0 0 19 0 0 0 20 0 19 0 278668501 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241704876856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19605] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19605/stat : 19605 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241703824248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19606] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19606/stat : 19606 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241702771656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19607] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19607/stat : 19607 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668514 9856004096 14234 33554432000 1073741824 1073778376 140737206530048 140241701717160 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+2.30082 s]
/proc/loadavg: 2.17 2.08 2.05 3/214 19607
/proc/meminfo: memFree=29231460/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9625004 CPUtime=3.47 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 18363 0 1 0 342 5 0 0 20 0 19 0 278668495 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2406251 15628 2278 9 0 2396937 0
[pid=19588/tid=19590] ppid=19586 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 19004 0 -1 4202560 2555 0 1 0 216 1 0 0 20 0 19 0 278668496 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241886445832 140241826766366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19591] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241825176104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19592] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241824123304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19593] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241727600936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19594] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241726548136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19595] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241725496360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19596] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241724443560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19597] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241723390760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19598] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19598/stat : 19598 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241722337960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19599] ppid=19586 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/19588/task/19599/stat : 19599 (java) S 19586 19588 19004 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 278668498 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241710139880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19600] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19600/stat : 19600 (java) S 19586 19588 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241709085944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19601] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19601/stat : 19601 (java) S 19586 19588 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241708033032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19602] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19602/stat : 19602 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241706981520 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19603] ppid=19586 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/19588/task/19603/stat : 19603 (java) R 19586 19588 19004 0 -1 4202560 12845 0 0 0 88 4 0 0 20 0 19 0 278668501 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241705905512 140241889351768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19604] ppid=19586 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/19588/task/19604/stat : 19604 (java) S 19586 19588 19004 0 -1 4202560 1703 0 0 0 22 0 0 0 20 0 19 0 278668501 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241704876856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19605] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19605/stat : 19605 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241703824248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19606] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19606/stat : 19606 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241702771656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19607] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19607/stat : 19607 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668514 9856004096 15628 33554432000 1073741824 1073778376 140737206530048 140241701717160 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9625004
[startup+2.50082 s]
/proc/loadavg: 2.17 2.08 2.05 3/214 19607
/proc/meminfo: memFree=29231460/32873844 swapFree=7116/7116
[pid=19588] ppid=19586 vsize=9625004 CPUtime=3.85 cores=1,3,5,7
/proc/19588/stat : 19588 (java) S 19586 19588 19004 0 -1 4202496 18534 0 1 0 380 5 0 0 20 0 19 0 278668495 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140737206521184 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19588/statm: 2406251 15481 2278 9 0 2396937 0
[pid=19588/tid=19590] ppid=19586 vsize=9625004 CPUtime=2.37 cores=1,3,5,7
/proc/19588/task/19590/stat : 19590 (java) R 19586 19588 19004 0 -1 4202560 2555 0 1 0 236 1 0 0 20 0 19 0 278668496 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241886445832 140241826559294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19591] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19591/stat : 19591 (java) S 19586 19588 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241825176104 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19592] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19592/stat : 19592 (java) S 19586 19588 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241824123304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19593] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19593/stat : 19593 (java) S 19586 19588 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241727600936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19594] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19594/stat : 19594 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241726548136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19595] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19595/stat : 19595 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241725496360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19596] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19596/stat : 19596 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241724443560 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19597] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19597/stat : 19597 (java) S 19586 19588 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241723390760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19598] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19598/stat : 19598 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668497 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241722337960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19588/tid=19599] ppid=19586 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/19588/task/19599/stat : 19599 (java) S 19586 19588 19004 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 19 0 278668498 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241710139880 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19600] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19600/stat : 19600 (java) S 19586 19588 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241709085944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19601] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19601/stat : 19601 (java) S 19586 19588 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668499 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241708033032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19602] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19602/stat : 19602 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241706981520 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19603] ppid=19586 vsize=9625004 CPUtime=1.07 cores=1,3,5,7
/proc/19588/task/19603/stat : 19603 (java) S 19586 19588 19004 0 -1 4202560 12864 0 0 0 103 4 0 0 20 0 19 0 278668501 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241705929656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19588/tid=19604] ppid=19586 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/19588/task/19604/stat : 19604 (java) S 19586 19588 19004 0 -1 4202560 1855 0 0 0 23 0 0 0 20 0 19 0 278668501 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241704876856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19605] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19605/stat : 19605 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241703824248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19588/tid=19606] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19606/stat : 19606 (java) S 19586 19588 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668501 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241702771656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19588/tid=19607] ppid=19586 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19588/task/19607/stat : 19607 (java) S 19586 19588 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668514 9856004096 15481 33554432000 1073741824 1073778376 140737206530048 140241701717160 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 2.54595
CPU time (s): 3.87341
CPU user time (s): 3.77143
CPU system time (s): 0.101984
CPU usage (%): 152.14
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.77143
system time used= 0.101984
maximum resident set size= 63812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18547
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= 466
involuntary context switches= 149
runsolver used 0.001999 second user time and 0.025996 second system time
The end