runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4106152-1466268975/watcher-4106152-1466268975 -o /tmp/evaluation-result-4106152-1466268975/solver-4106152-1466268975 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106152-1466268975.opb
pid=31848
running on 4 cores: 0,2,4,6
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: 4.04 4.19 4.17 4/197 31851
/proc/meminfo: memFree=27157312/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 28946172 95129600 927 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 23225 927 703 9 0 16769 0
[pid=31851/tid=31852] ppid=31848 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) R 31848 31851 30091 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 28946173 96370688 931 33554432000 1073741824 1073778376 140734635788960 140633975291432 270320889127 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100112 s]
/proc/loadavg: 4.04 4.19 4.17 4/197 31851
/proc/meminfo: memFree=27157312/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 4427 0 1 0 9 1 0 0 20 0 18 0 28946172 9787879424 6053 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2389619 6053 2126 9 0 2380296 0
[pid=31851/tid=31852] ppid=31848 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) R 31848 31851 30091 0 -1 4202560 2387 0 1 0 6 1 0 0 20 0 18 0 28946173 9787879424 6053 33554432000 1073741824 1073778376 140734635788960 140633975294880 270333437197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200276 s]
/proc/loadavg: 4.04 4.19 4.17 4/197 31851
/proc/meminfo: memFree=27157312/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 6327 0 1 0 29 2 0 0 20 0 22 0 28946172 10060525568 8906 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2456183 8906 2223 9 0 2446860 0
[pid=31851/tid=31852] ppid=31848 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) S 31848 31851 30091 0 -1 4202560 2400 0 1 0 12 1 0 0 20 0 22 0 28946173 10060525568 8906 33554432000 1073741824 1073778376 140734635788960 140633975296888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732
[startup+0.300276 s]
/proc/loadavg: 4.04 4.19 4.17 4/197 31851
/proc/meminfo: memFree=27157312/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 10189 0 1 0 68 3 0 0 20 0 22 0 28946172 10060525568 11762 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2456183 11762 2229 9 0 2446860 0
[pid=31851/tid=31852] ppid=31848 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) S 31848 31851 30091 0 -1 4202560 2400 0 1 0 12 1 0 0 20 0 22 0 28946173 10060525568 11762 33554432000 1073741824 1073778376 140734635788960 140633975296888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 9824732
[startup+0.700242 s]
/proc/loadavg: 4.04 4.19 4.17 4/197 31851
/proc/meminfo: memFree=27157312/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 15950 0 1 0 159 6 0 0 20 0 22 0 28946172 10060525568 19156 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2456183 19156 2245 9 0 2446860 0
[pid=31851/tid=31852] ppid=31848 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) S 31848 31851 30091 0 -1 4202560 2400 0 1 0 12 1 0 0 20 0 22 0 28946173 10060525568 19156 33554432000 1073741824 1073778376 140734635788960 140633975296888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9824732
[startup+1.50088 s]
/proc/loadavg: 4.04 4.19 4.17 7/219 31876
/proc/meminfo: memFree=26981552/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9824732 CPUtime=4.22 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 26734 0 1 0 410 12 0 0 20 0 19 0 28946172 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2456183 47439 2274 9 0 2446860 0
[pid=31851/tid=31852] ppid=31848 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) S 31848 31851 30091 0 -1 4202560 2400 0 1 0 12 1 0 0 20 0 19 0 28946173 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633975296888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31854] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31854/stat : 31854 (java) S 31848 31851 30091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633947749032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31855] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31855/stat : 31855 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633946696488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31856] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31856/stat : 31856 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633945643944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31851/tid=31857] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31857/stat : 31857 (java) S 31848 31851 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633944591400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31858] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31858/stat : 31858 (java) S 31848 31851 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633943537832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31859] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31859/stat : 31859 (java) S 31848 31851 30091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633942485288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31860] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31860/stat : 31860 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633941432744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31851/tid=31861] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31861/stat : 31861 (java) S 31848 31851 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633810971176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31862] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31862/stat : 31862 (java) S 31848 31851 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633328024168 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31863] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31863/stat : 31863 (java) S 31848 31851 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633326970488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31864] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31864/stat : 31864 (java) S 31848 31851 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633325917832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31865] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31865/stat : 31865 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633324866576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31866] ppid=31848 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/31851/task/31866/stat : 31866 (java) R 31848 31851 30091 0 -1 4202560 14631 0 0 0 119 3 0 0 20 0 19 0 28946178 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633323799744 140633979410672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31867] ppid=31848 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/31851/task/31867/stat : 31867 (java) S 31848 31851 30091 0 -1 4202560 8254 0 0 0 106 2 0 0 20 0 19 0 28946178 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633322760376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31868] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31868/stat : 31868 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633321708024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31869] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31869/stat : 31869 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633320655688 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31872] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31872/stat : 31872 (java) S 31848 31851 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28946188 10060525568 47439 33554432000 1073741824 1073778376 140734635788960 140633317496360 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31851 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60108 s]
/proc/loadavg: 4.04 4.19 4.17 7/219 31876
/proc/meminfo: memFree=26981552/32872528 swapFree=1556504/1720024
[pid=31851] ppid=31848 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/31851/stat : 31851 (java) S 31848 31851 30091 0 -1 4202496 26745 0 1 0 420 12 0 0 20 0 19 0 28946172 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140734635780096 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31851/statm: 2456183 47450 2274 9 0 2446860 0
[pid=31851/tid=31852] ppid=31848 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/31851/task/31852/stat : 31852 (java) S 31848 31851 30091 0 -1 4202560 2400 0 1 0 12 1 0 0 20 0 19 0 28946173 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633975296888 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31854] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31854/stat : 31854 (java) S 31848 31851 30091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633947749032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31855] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31855/stat : 31855 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633946696488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31856] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31856/stat : 31856 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633945643944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31851/tid=31857] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31857/stat : 31857 (java) S 31848 31851 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633944591400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31858] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31858/stat : 31858 (java) S 31848 31851 30091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633943537832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31859] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31859/stat : 31859 (java) S 31848 31851 30091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633942485288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31851/tid=31860] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31860/stat : 31860 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633941432744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31851/tid=31861] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31861/stat : 31861 (java) S 31848 31851 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28946174 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633810971176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31862] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31862/stat : 31862 (java) S 31848 31851 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633328024168 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31863] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31863/stat : 31863 (java) S 31848 31851 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633326970488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31864] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31864/stat : 31864 (java) S 31848 31851 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28946175 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633325917832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31865] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31865/stat : 31865 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633324866576 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31866] ppid=31848 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/31851/task/31866/stat : 31866 (java) R 31848 31851 30091 0 -1 4202560 14642 0 0 0 129 3 0 0 20 0 19 0 28946178 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633323799744 140633977793511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31867] ppid=31848 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/31851/task/31867/stat : 31867 (java) S 31848 31851 30091 0 -1 4202560 8254 0 0 0 106 2 0 0 20 0 19 0 28946178 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633322760376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31868] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31868/stat : 31868 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633321708024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31851/tid=31869] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31869/stat : 31869 (java) S 31848 31851 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28946178 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633320655688 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31851/tid=31872] ppid=31848 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/31851/task/31872/stat : 31872 (java) S 31848 31851 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28946188 10060525568 47450 33554432000 1073741824 1073778376 140734635788960 140633317496360 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 1.69145
CPU time (s): 4.36334
CPU user time (s): 4.20136
CPU system time (s): 0.161975
CPU usage (%): 257.964
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.20136
system time used= 0.161975
maximum resident set size= 190864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26757
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= 339
involuntary context switches= 90
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013997 second user time and 0.015997 second system time
The end