runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459206-1307134207/watcher-3459206-1307134207 -o /tmp/evaluation-result-3459206-1307134207/solver-3459206-1307134207 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459206-1307134207.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.20 2.44 3.03 2/464 17558
/proc/meminfo: memFree=31322652/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 825019423 37810176 1072 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 9231 1072 832 9 0 387 0
[pid=17558/tid=17559] ppid=17556 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 4319 0 1 0 0 0 0 0 25 0 2 0 825019423 13850947584 5135 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.053733 s]
/proc/loadavg: 2.20 2.44 3.03 2/464 17558
/proc/meminfo: memFree=31322652/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 13878 0 1 0 3 1 0 0 25 0 13 0 825019423 13874667520 13575 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3387370 13575 1681 9 0 3378118 0
[pid=17558/tid=17559] ppid=17556 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 12731 0 1 0 2 1 0 0 25 0 13 0 825019423 13874667520 13575 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606693323 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100725 s]
/proc/loadavg: 2.20 2.44 3.03 2/464 17558
/proc/meminfo: memFree=31322652/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13621872 CPUtime=0.1 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 15510 0 1 0 9 1 0 0 25 0 18 0 825019423 13948796928 15184 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3405468 15184 2092 9 0 3396202 0
[pid=17558/tid=17559] ppid=17556 vsize=13621872 CPUtime=0.08 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 13578 0 1 0 7 1 0 0 25 0 18 0 825019423 13948796928 15184 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 46912496202534 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621872
[startup+0.300692 s]
/proc/loadavg: 2.20 2.44 3.03 2/464 17558
/proc/meminfo: memFree=31322652/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13624108 CPUtime=0.48 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 18655 0 1 0 46 2 0 0 25 0 19 0 825019423 13951086592 17884 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3406027 17884 2209 9 0 3396761 0
[pid=17558/tid=17559] ppid=17556 vsize=13624108 CPUtime=0.27 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 15442 0 1 0 26 1 0 0 25 0 19 0 825019423 13951086592 17884 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 46912505120900 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624108
[startup+0.700621 s]
/proc/loadavg: 2.20 2.44 3.03 2/464 17558
/proc/meminfo: memFree=31322652/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13625000 CPUtime=1.2 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 21494 0 1 0 118 2 0 0 25 0 19 0 825019423 13952000000 19331 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3406250 19331 2251 9 0 3396984 0
[pid=17558/tid=17559] ppid=17556 vsize=13625000 CPUtime=0.66 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 15735 0 1 0 65 1 0 0 25 0 19 0 825019423 13952000000 19331 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 46912505645002 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13625000
Solver just ended. Dumping a history of the last processes samples
[startup+1.1176 s]
/proc/loadavg: 2.20 2.44 3.03 3/483 17577
/proc/meminfo: memFree=31252036/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13625000 CPUtime=1.63 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 21865 0 1 0 161 2 0 0 25 0 19 0 825019423 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3406250 19701 2251 9 0 3396984 0
[pid=17558/tid=17559] ppid=17556 vsize=13625000 CPUtime=1.06 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 15737 0 1 0 105 1 0 0 25 0 19 0 825019423 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 46912505652096 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17558/tid=17561] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17561/stat : 17561 (java) S 17556 17558 12983 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 7 0 0 0
[pid=17558/tid=17562] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17562/stat : 17562 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17563] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17563/stat : 17563 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17564] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17564/stat : 17564 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17565] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17565/stat : 17565 (java) S 17556 17558 12983 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17566/stat : 17566 (java) S 17556 17558 12983 0 -1 4202560 96 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 7 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17567/stat : 17567 (java) S 17556 17558 12983 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17568/stat : 17568 (java) S 17556 17558 12983 0 -1 4202560 83 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=13625000 CPUtime=0.02 cores=1,3,5,7
/proc/17558/task/17569/stat : 17569 (java) S 17556 17558 12983 0 -1 4202560 370 0 0 0 2 0 0 0 17 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 0 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17570/stat : 17570 (java) S 17556 17558 12983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17571/stat : 17571 (java) S 17556 17558 12983 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17572/stat : 17572 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606690225 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=13625000 CPUtime=0.27 cores=1,3,5,7
/proc/17558/task/17573/stat : 17573 (java) S 17556 17558 12983 0 -1 4202560 2454 0 0 0 27 0 0 0 20 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=13625000 CPUtime=0.25 cores=1,3,5,7
/proc/17558/task/17574/stat : 17574 (java) S 17556 17558 12983 0 -1 4202560 1642 0 0 0 25 0 0 0 22 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17575/stat : 17575 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17576/stat : 17576 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17577/stat : 17577 (java) S 17556 17558 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825019453 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 13625000
[startup+1.20159 s]
/proc/loadavg: 2.20 2.44 3.03 3/483 17577
/proc/meminfo: memFree=31252036/32950928 swapFree=34365992/67111528
[pid=17558] ppid=17556 vsize=13625000 CPUtime=1.71 cores=1,3,5,7
/proc/17558/stat : 17558 (java) S 17556 17558 12983 0 -1 4202496 21865 0 1 0 169 2 0 0 25 0 19 0 825019423 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17558/statm: 3406250 19701 2251 9 0 3396984 0
[pid=17558/tid=17559] ppid=17556 vsize=13625000 CPUtime=1.14 cores=1,3,5,7
/proc/17558/task/17559/stat : 17559 (java) R 17556 17558 12983 0 -1 4202560 15737 0 1 0 113 1 0 0 25 0 19 0 825019423 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 46912505604935 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17558/tid=17561] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17561/stat : 17561 (java) S 17556 17558 12983 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 7 0 0 0
[pid=17558/tid=17562] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17562/stat : 17562 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17563] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17563/stat : 17563 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17564] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17564/stat : 17564 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17565] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17565/stat : 17565 (java) S 17556 17558 12983 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
[pid=17558/tid=17566] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17566/stat : 17566 (java) S 17556 17558 12983 0 -1 4202560 96 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 7 0 0 0
[pid=17558/tid=17567] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17567/stat : 17567 (java) S 17556 17558 12983 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17568] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17568/stat : 17568 (java) S 17556 17558 12983 0 -1 4202560 83 0 0 0 0 0 0 0 16 0 19 0 825019426 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17569] ppid=17556 vsize=13625000 CPUtime=0.02 cores=1,3,5,7
/proc/17558/task/17569/stat : 17569 (java) S 17556 17558 12983 0 -1 4202560 370 0 0 0 2 0 0 0 17 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 0 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17570] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17570/stat : 17570 (java) S 17556 17558 12983 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17571] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17571/stat : 17571 (java) S 17556 17558 12983 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825019427 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17572] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17572/stat : 17572 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606690225 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17573] ppid=17556 vsize=13625000 CPUtime=0.27 cores=1,3,5,7
/proc/17558/task/17573/stat : 17573 (java) S 17556 17558 12983 0 -1 4202560 2454 0 0 0 27 0 0 0 20 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
[pid=17558/tid=17574] ppid=17556 vsize=13625000 CPUtime=0.25 cores=1,3,5,7
/proc/17558/task/17574/stat : 17574 (java) S 17556 17558 12983 0 -1 4202560 1642 0 0 0 25 0 0 0 22 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17575] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17575/stat : 17575 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606682521 0 4 0 16800975 18446604456087966912 0 0 -1 5 0 0 0
[pid=17558/tid=17576] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17576/stat : 17576 (java) S 17556 17558 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825019429 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 4 0 16800975 18446604456087966912 0 0 -1 1 0 0 0
[pid=17558/tid=17577] ppid=17556 vsize=13625000 CPUtime=0 cores=1,3,5,7
/proc/17558/task/17577/stat : 17577 (java) S 17556 17558 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825019453 13952000000 19701 33554432000 1073741824 1073778376 140734865851792 18446744073709551615 235606683136 0 4 0 16800975 18446604456087966912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 13625000
Child status: 10
Real time (s): 1.2919
CPU time (s): 1.81672
CPU user time (s): 1.78873
CPU system time (s): 0.027995
CPU usage (%): 140.624
Max. virtual memory (cumulated for all children) (KiB): 13625328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.78873
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21891
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= 308
involuntary context switches= 114
runsolver used 0.012998 second user time and 0.019996 second system time
The end