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-4106863-1466278476/watcher-4106863-1466278476 -o /tmp/evaluation-result-4106863-1466278476/solver-4106863-1466278476 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30108 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106863-1466278476.opb
pid=4600
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: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/4603/stat : 4603 (java) R 4600 4603 30091 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 29896277 9523200 185 33554432000 1073741824 1073778376 140736906093152 140736906084376 270329867703 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2 1 0 0 0 2 0
[startup+0.100115 s]
/proc/loadavg: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 4474 0 1 0 8 1 0 0 20 0 18 0 29896277 9787879424 5590 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2389619 5590 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 4633 0 1 0 20 1 0 0 20 0 18 0 29896277 9787879424 6750 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2389619 6750 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300234 s]
/proc/loadavg: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 6141 0 1 0 45 2 0 0 20 0 18 0 29896277 9787879424 8686 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2389619 8686 2240 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700205 s]
/proc/loadavg: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 16197 0 1 0 195 4 0 0 20 0 22 0 29896277 10060525568 21103 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2456183 21103 2264 9 0 2446860 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4603 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.806599 s]
/proc/loadavg: 4.16 4.17 4.18 4/197 4603
/proc/meminfo: memFree=26595500/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 20830 0 1 0 236 5 0 0 20 0 22 0 29896277 10060525568 25957 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2456183 25957 2264 9 0 2446860 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9824732
[startup+1.2081 s]
/proc/loadavg: 4.16 4.17 4.18 9/216 4625
/proc/meminfo: memFree=26451164/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9824732 CPUtime=3.32 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 21563 0 1 0 324 8 0 0 20 0 19 0 29896277 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2456183 32473 2272 9 0 2446860 0
[pid=4603/tid=4605] ppid=4600 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/4603/task/4605/stat : 4605 (java) S 4600 4603 30091 0 -1 4202560 2487 0 1 0 28 1 0 0 20 0 19 0 29896278 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690379383672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4606] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4606/stat : 4606 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690223262376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4607] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4607/stat : 4607 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690222209832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4603/tid=4608] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4608/stat : 4608 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690221157288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4609] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4609/stat : 4609 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690220104744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4610] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4610/stat : 4610 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690219051176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4611] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4611/stat : 4611 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690217998632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4612] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4612/stat : 4612 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690216946088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4613] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4613/stat : 4613 (java) S 4600 4603 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690215893544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4614] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4614/stat : 4614 (java) S 4600 4603 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690203695720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4615] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4615/stat : 4615 (java) S 4600 4603 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690202642040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4616] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4616/stat : 4616 (java) S 4600 4603 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690201589384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4617] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4617/stat : 4617 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690200538128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4618] ppid=4600 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/4603/task/4618/stat : 4618 (java) S 4600 4603 30091 0 -1 4202560 9444 0 0 0 79 2 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690199484472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4619] ppid=4600 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/4603/task/4619/stat : 4619 (java) S 4600 4603 30091 0 -1 4202560 8272 0 0 0 82 1 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690198431928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4620] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4620/stat : 4620 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690197379576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4621] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4621/stat : 4621 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690196327240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4603/tid=4624] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4624/stat : 4624 (java) S 4600 4603 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29896311 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690193069608 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 9824732
[startup+1.3008 s]
/proc/loadavg: 4.16 4.17 4.18 9/216 4625
/proc/meminfo: memFree=26451164/32872528 swapFree=1556504/1720024
[pid=4603] ppid=4600 vsize=9824732 CPUtime=3.32 cores=1,3,5,7
/proc/4603/stat : 4603 (java) S 4600 4603 30091 0 -1 4202496 21563 0 1 0 324 8 0 0 20 0 19 0 29896277 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140734765857120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4603/statm: 2456183 32473 2272 9 0 2446860 0
[pid=4603/tid=4605] ppid=4600 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/4603/task/4605/stat : 4605 (java) S 4600 4603 30091 0 -1 4202560 2487 0 1 0 28 1 0 0 20 0 19 0 29896278 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690379383672 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4606] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4606/stat : 4606 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690223262376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4607] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4607/stat : 4607 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690222209832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4603/tid=4608] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4608/stat : 4608 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690221157288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4609] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4609/stat : 4609 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690220104744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4610] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4610/stat : 4610 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690219051176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4611] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4611/stat : 4611 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690217998632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4612] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4612/stat : 4612 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690216946088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4603/tid=4613] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4613/stat : 4613 (java) S 4600 4603 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29896280 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690215893544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4614] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4614/stat : 4614 (java) S 4600 4603 30091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690203695720 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4615] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4615/stat : 4615 (java) S 4600 4603 30091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690202642040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4616] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4616/stat : 4616 (java) S 4600 4603 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29896281 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690201589384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4617] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4617/stat : 4617 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690200538128 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4618] ppid=4600 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/4603/task/4618/stat : 4618 (java) S 4600 4603 30091 0 -1 4202560 9444 0 0 0 79 2 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690199484472 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4603/tid=4619] ppid=4600 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/4603/task/4619/stat : 4619 (java) S 4600 4603 30091 0 -1 4202560 8272 0 0 0 82 1 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690198431928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4620] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4620/stat : 4620 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690197379576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4603/tid=4621] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4621/stat : 4621 (java) S 4600 4603 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29896284 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690196327240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4603/tid=4624] ppid=4600 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4603/task/4624/stat : 4624 (java) S 4600 4603 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29896311 10060525568 32473 33554432000 1073741824 1073778376 140734765865984 140690193069608 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 9824732
Child status: 10
Real time (s): 1.34102
CPU time (s): 3.33149
CPU user time (s): 3.22951
CPU system time (s): 0.101984
CPU usage (%): 248.429
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22951
system time used= 0.101984
maximum resident set size= 131960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21575
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= 343
involuntary context switches= 57
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010998 second user time and 0.007998 second system time
The end