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-3459253-1307135547/watcher-3459253-1307135547 -o /tmp/evaluation-result-3459253-1307135547/solver-3459253-1307135547 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459253-1307135547.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.02 2.04 2.16 2/418 4148
/proc/meminfo: memFree=30014236/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 1275 0 0 0 0 0 0 0 25 0 2 0 825154439 32362496 993 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 7901 993 763 9 0 386 0
[pid=4148/tid=4149] ppid=4146 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 2723 0 1 0 0 0 0 0 25 0 2 0 825154440 13850947584 3540 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0170131 s]
/proc/loadavg: 2.02 2.04 2.16 2/418 4148
/proc/meminfo: memFree=30014236/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 5217 0 1 0 0 0 0 0 25 0 2 0 825154439 13850947584 4921 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3381579 4937 917 9 0 3372735 0
[pid=4148/tid=4149] ppid=4146 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 4130 0 1 0 0 0 0 0 25 0 2 0 825154440 13850947584 4946 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13526316
[startup+0.100999 s]
/proc/loadavg: 2.02 2.04 2.16 2/418 4148
/proc/meminfo: memFree=30014236/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13622396 CPUtime=0.1 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 15514 0 1 0 8 2 0 0 25 0 18 0 825154439 13949333504 15169 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3405599 15170 2093 9 0 3396333 0
[pid=4148/tid=4149] ppid=4146 vsize=13622396 CPUtime=0.08 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 13566 0 1 0 7 1 0 0 25 0 18 0 825154440 13949333504 15170 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 47474792331283 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396
[startup+0.300965 s]
/proc/loadavg: 2.02 2.04 2.16 2/418 4148
/proc/meminfo: memFree=30014236/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13625468 CPUtime=0.46 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 18405 0 1 0 44 2 0 0 25 0 18 0 825154439 13952479232 17965 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3406367 17965 2209 9 0 3397101 0
[pid=4148/tid=4149] ppid=4146 vsize=13625468 CPUtime=0.28 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 15448 0 1 0 27 1 0 0 25 0 18 0 825154440 13952479232 17966 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 47474789933827 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13625468
[startup+0.700894 s]
/proc/loadavg: 2.02 2.04 2.16 2/418 4148
/proc/meminfo: memFree=30014236/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13627520 CPUtime=1.19 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 20697 0 1 0 116 3 0 0 25 0 19 0 825154439 13954580480 19514 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3406880 19514 2252 9 0 3397614 0
[pid=4148/tid=4149] ppid=4146 vsize=13627520 CPUtime=0.66 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 15742 0 1 0 65 1 0 0 25 0 19 0 825154440 13954580480 19514 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 46912505643846 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13627520
Solver just ended. Dumping a history of the last processes samples
[startup+1.11588 s]
/proc/loadavg: 2.10 2.06 2.17 3/437 4167
/proc/meminfo: memFree=29942544/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13627520 CPUtime=1.63 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 21087 0 1 0 160 3 0 0 25 0 19 0 825154439 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3406880 19903 2252 9 0 3397614 0
[pid=4148/tid=4149] ppid=4146 vsize=13627520 CPUtime=1.06 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 15743 0 1 0 105 1 0 0 17 0 19 0 825154440 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 46912505601068 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4148/tid=4151] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4151/stat : 4151 (java) S 4146 4148 31595 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4152] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4152/stat : 4152 (java) S 4146 4148 31595 0 -1 4202560 94 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=4148/tid=4153] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4153/stat : 4153 (java) S 4146 4148 31595 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4154] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4154/stat : 4154 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4155] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4155/stat : 4155 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4156] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4156/stat : 4156 (java) S 4146 4148 31595 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4157] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4157/stat : 4157 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4158/stat : 4158 (java) S 4146 4148 31595 0 -1 4202560 228 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=13627520 CPUtime=0.02 cores=1,3,5,7
/proc/4148/task/4159/stat : 4159 (java) S 4146 4148 31595 0 -1 4202560 372 0 0 0 2 0 0 0 17 0 19 0 825154443 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4160/stat : 4160 (java) S 4146 4148 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825154444 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4161/stat : 4161 (java) S 4146 4148 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825154444 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4162/stat : 4162 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154446 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=13627520 CPUtime=0.27 cores=1,3,5,7
/proc/4148/task/4163/stat : 4163 (java) S 4146 4148 31595 0 -1 4202560 1885 0 0 0 27 0 0 0 15 0 19 0 825154446 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=13627520 CPUtime=0.23 cores=1,3,5,7
/proc/4148/task/4164/stat : 4164 (java) S 4146 4148 31595 0 -1 4202560 1409 0 0 0 23 0 0 0 18 0 19 0 825154446 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4165/stat : 4165 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154446 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4166/stat : 4166 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154446 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4167/stat : 4167 (java) S 4146 4148 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154469 13954580480 19903 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 13627520
[startup+1.30264 s]
/proc/loadavg: 2.10 2.06 2.17 3/437 4167
/proc/meminfo: memFree=29942544/32950904 swapFree=56615552/67111528
[pid=4148] ppid=4146 vsize=13627520 CPUtime=1.83 cores=1,3,5,7
/proc/4148/stat : 4148 (java) S 4146 4148 31595 0 -1 4202496 21189 0 1 0 180 3 0 0 25 0 19 0 825154439 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4148/statm: 3406880 20004 2252 9 0 3397614 0
[pid=4148/tid=4149] ppid=4146 vsize=13627520 CPUtime=1.23 cores=1,3,5,7
/proc/4148/task/4149/stat : 4149 (java) R 4146 4148 31595 0 -1 4202560 15744 0 1 0 122 1 0 0 18 0 19 0 825154440 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4148/tid=4151] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4151/stat : 4151 (java) S 4146 4148 31595 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4152] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4152/stat : 4152 (java) S 4146 4148 31595 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4153] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4153/stat : 4153 (java) S 4146 4148 31595 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4154] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4154/stat : 4154 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4155] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4155/stat : 4155 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4156] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4156/stat : 4156 (java) S 4146 4148 31595 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4157] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4157/stat : 4157 (java) S 4146 4148 31595 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 5 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4158/stat : 4158 (java) S 4146 4148 31595 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 825154442 13954580480 20004 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=13627520 CPUtime=0.04 cores=1,3,5,7
/proc/4148/task/4159/stat : 4159 (java) S 4146 4148 31595 0 -1 4202560 459 0 0 0 4 0 0 0 15 0 19 0 825154443 13954580480 20005 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4160/stat : 4160 (java) S 4146 4148 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825154444 13954580480 20005 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4161/stat : 4161 (java) S 4146 4148 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825154444 13954580480 20005 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4162/stat : 4162 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154446 13954580480 20005 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=13627520 CPUtime=0.28 cores=1,3,5,7
/proc/4148/task/4163/stat : 4163 (java) S 4146 4148 31595 0 -1 4202560 1885 0 0 0 28 0 0 0 15 0 19 0 825154446 13954580480 20006 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=13627520 CPUtime=0.24 cores=1,3,5,7
/proc/4148/task/4164/stat : 4164 (java) R 4146 4148 31595 0 -1 4202560 1412 0 0 0 24 0 0 0 15 0 19 0 825154446 13954580480 20006 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 47474789136115 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4165/stat : 4165 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154446 13954580480 20006 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4166/stat : 4166 (java) S 4146 4148 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154446 13954580480 20006 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=13627520 CPUtime=0 cores=1,3,5,7
/proc/4148/task/4167/stat : 4167 (java) S 4146 4148 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154469 13954580480 20006 33554432000 1073741824 1073778376 140736951899264 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13627520
Child status: 10
Real time (s): 1.32179
CPU time (s): 1.85372
CPU user time (s): 1.81972
CPU system time (s): 0.033994
CPU usage (%): 140.242
Max. virtual memory (cumulated for all children) (KiB): 13627520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.81972
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21212
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= 317
involuntary context switches= 65
runsolver used 0.006998 second user time and 0.028995 second system time
The end