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-4240365-1500624171/watcher-4240365-1500624171 -o /tmp/evaluation-result-4240365-1500624171/solver-4240365-1500624171 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500623787-2244 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 55734385 HOME/instance-4240365-1500624171.xml
pid=2371
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.46 0.70 3/187 2374
/proc/meminfo: memFree=31578936/32770624 swapFree=6244/335516
[pid=2374] ppid=2371 vsize=28848 CPUtime=0 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 15694524 29540352 802 33554432000 4194304 7402444 140735994630720 140735994627768 5888666 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 7212 802 631 784 0 226 0
[startup+0.100155 s]
/proc/loadavg: 2.03 1.46 0.70 3/187 2374
/proc/meminfo: memFree=31578936/32770624 swapFree=6244/335516
[pid=2374] ppid=2371 vsize=39528 CPUtime=0.09 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 3691 0 0 0 8 1 0 0 20 0 1 0 15694524 40476672 3508 33554432000 4194304 7402444 140735994630720 140735994622616 5886473 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 9882 3508 649 784 0 2896 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39528
[startup+0.200381 s]
/proc/loadavg: 2.03 1.46 0.70 3/187 2374
/proc/meminfo: memFree=31578936/32770624 swapFree=6244/335516
[pid=2374] ppid=2371 vsize=54640 CPUtime=0.19 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 7484 0 0 0 18 1 0 0 20 0 1 0 15694524 55951360 7270 33554432000 4194304 7402444 140735994630720 140735994622616 4709390 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7270 652 784 0 6674 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54640
[startup+0.300378 s]
/proc/loadavg: 2.03 1.46 0.70 3/187 2374
/proc/meminfo: memFree=31578936/32770624 swapFree=6244/335516
[pid=2374] ppid=2371 vsize=54640 CPUtime=0.29 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 7489 0 0 0 28 1 0 0 20 0 1 0 15694524 55951360 7270 33554432000 4194304 7402444 140735994630720 140735994625352 5818296 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7270 652 784 0 6674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54640
[startup+0.700278 s]
/proc/loadavg: 2.03 1.46 0.70 3/187 2374
/proc/meminfo: memFree=31578936/32770624 swapFree=6244/335516
[pid=2374] ppid=2371 vsize=54640 CPUtime=0.69 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 7489 0 0 0 68 1 0 0 20 0 1 0 15694524 55951360 7270 33554432000 4194304 7402444 140735994630720 140735994625352 5753280 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7270 652 784 0 6674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54640
[startup+1.50028 s]
/proc/loadavg: 2.03 1.46 0.70 3/188 2375
/proc/meminfo: memFree=31552700/32770624 swapFree=6244/335460
[pid=2374] ppid=2371 vsize=54640 CPUtime=1.49 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 7489 0 0 0 148 1 0 0 20 0 1 0 15694524 55951360 7270 33554432000 4194304 7402444 140735994630720 140735994625352 4232208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7270 652 784 0 6674 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54640
[startup+3.10028 s]
/proc/loadavg: 2.03 1.47 0.71 3/188 2375
/proc/meminfo: memFree=31552320/32770624 swapFree=6244/335460
[pid=2374] ppid=2371 vsize=54640 CPUtime=3.09 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 7970 0 0 0 308 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4709414 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54640
[startup+6.30028 s]
/proc/loadavg: 2.03 1.47 0.71 3/188 2375
/proc/meminfo: memFree=31552540/32770624 swapFree=6244/335460
[pid=2374] ppid=2371 vsize=54640 CPUtime=6.29 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 8454 0 0 0 628 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4286824 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54640
[startup+12.7003 s]
/proc/loadavg: 2.02 1.48 0.72 3/188 2375
/proc/meminfo: memFree=31552416/32770624 swapFree=6244/335472
[pid=2374] ppid=2371 vsize=54640 CPUtime=12.69 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 8939 0 0 0 1268 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4709539 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54640
[startup+25.5003 s]
/proc/loadavg: 2.02 1.50 0.74 3/188 2375
/proc/meminfo: memFree=31552600/32770624 swapFree=6244/335488
[pid=2374] ppid=2371 vsize=54640 CPUtime=25.49 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 9909 0 0 0 2548 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4249137 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54640
[startup+51.1003 s]
/proc/loadavg: 2.01 1.54 0.77 3/188 2375
/proc/meminfo: memFree=31552600/32770624 swapFree=6244/335496
[pid=2374] ppid=2371 vsize=54640 CPUtime=51.08 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 10394 0 0 0 5107 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4342322 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54640
[startup+102.3 s]
/proc/loadavg: 2.01 1.62 0.84 5/188 2376
/proc/meminfo: memFree=31551736/32770624 swapFree=6244/335532
[pid=2374] ppid=2371 vsize=54640 CPUtime=102.27 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 10732 0 0 0 10226 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 5696195 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54640
[startup+162.3 s]
/proc/loadavg: 2.00 1.69 0.91 3/187 2377
/proc/meminfo: memFree=31552164/32770624 swapFree=6244/335564
[pid=2374] ppid=2371 vsize=54640 CPUtime=162.26 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 10818 0 0 0 16225 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 5818120 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 54640
[startup+222.306 s]
/proc/loadavg: 2.00 1.75 0.98 3/187 2378
/proc/meminfo: memFree=31552348/32770624 swapFree=6244/335588
[pid=2374] ppid=2371 vsize=54640 CPUtime=222.26 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 10904 0 0 0 22225 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4476928 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 54640
[startup+282.3 s]
/proc/loadavg: 2.00 1.79 1.05 3/187 2379
/proc/meminfo: memFree=31552036/32770624 swapFree=6244/335616
[pid=2374] ppid=2371 vsize=54640 CPUtime=282.25 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 10990 0 0 0 28224 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4286875 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 54640
[startup+342.3 s]
/proc/loadavg: 2.06 1.85 1.11 3/187 2380
/proc/meminfo: memFree=31551564/32770624 swapFree=6244/335656
[pid=2374] ppid=2371 vsize=54640 CPUtime=342.24 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11076 0 0 0 34223 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 5696116 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 54640
[startup+402.3 s]
/proc/loadavg: 2.02 1.87 1.17 3/187 2381
/proc/meminfo: memFree=31551804/32770624 swapFree=6244/335684
[pid=2374] ppid=2371 vsize=54640 CPUtime=402.24 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11162 0 0 0 40223 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 139813661992631 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 54640
[startup+462.3 s]
/proc/loadavg: 2.01 1.90 1.22 3/187 2389
/proc/meminfo: memFree=31551360/32770624 swapFree=6244/335720
[pid=2374] ppid=2371 vsize=54640 CPUtime=462.23 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11248 0 0 0 46222 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4476896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 54640
[startup+522.3 s]
/proc/loadavg: 2.00 1.91 1.27 3/187 2390
/proc/meminfo: memFree=31551652/32770624 swapFree=6244/335752
[pid=2374] ppid=2371 vsize=54640 CPUtime=522.23 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11334 0 0 0 52222 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4238789 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 54640
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2374 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 1.92 1.28 3/187 2390
/proc/meminfo: memFree=31551652/32770624 swapFree=6244/335756
[pid=2374] ppid=2371 vsize=54640 CPUtime=537.52 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 53751 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4477014 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 537.52
Current children cumulated vsize (KiB) 54640
[startup+550.4 s]
/proc/loadavg: 2.00 1.92 1.29 3/187 2391
/proc/meminfo: memFree=31551752/32770624 swapFree=6244/335776
[pid=2374] ppid=2371 vsize=54640 CPUtime=550.32 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 55031 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4346936 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 550.32
Current children cumulated vsize (KiB) 54640
[startup+563.2 s]
/proc/loadavg: 2.00 1.93 1.30 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335776
[pid=2374] ppid=2371 vsize=54640 CPUtime=563.13 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 56312 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4477366 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 54640
[startup+569.6 s]
/proc/loadavg: 2.00 1.93 1.30 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335776
[pid=2374] ppid=2371 vsize=54640 CPUtime=569.52 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 56951 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4724694 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 569.52
Current children cumulated vsize (KiB) 54640
[startup+571.2 s]
/proc/loadavg: 2.00 1.93 1.30 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335780
[pid=2374] ppid=2371 vsize=54640 CPUtime=571.12 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 57111 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 5763568 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 571.12
Current children cumulated vsize (KiB) 54640
[startup+572.8 s]
/proc/loadavg: 2.00 1.93 1.31 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335780
[pid=2374] ppid=2371 vsize=54640 CPUtime=572.72 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 57271 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 5753458 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 572.72
Current children cumulated vsize (KiB) 54640
[startup+573.206 s]
/proc/loadavg: 2.00 1.93 1.31 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335780
[pid=2374] ppid=2371 vsize=54640 CPUtime=573.13 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 57312 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4346936 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 573.13
Current children cumulated vsize (KiB) 54640
[startup+573.4 s]
/proc/loadavg: 2.00 1.93 1.31 3/187 2391
/proc/meminfo: memFree=31551908/32770624 swapFree=6244/335780
[pid=2374] ppid=2371 vsize=54640 CPUtime=573.32 cores=0,2,4,6
/proc/2374/stat : 2374 (MistralXCSP) R 2371 2374 2213 0 -1 4202496 11420 0 0 0 57331 1 0 0 20 0 1 0 15694524 55951360 7322 33554432000 4194304 7402444 140735994630720 140735994625352 4223008 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 32280576 140735994639530 140735994639678 140735994639678 140735994642377 0
/proc/2374/statm: 13660 7322 688 784 0 6674 0
Current children cumulated CPU time (s) 573.32
Current children cumulated vsize (KiB) 54640
Child status: 0
Real time (s): 573.402
CPU time (s): 573.331
CPU user time (s): 573.315
CPU system time (s): 0.015998
CPU usage (%): 99.9878
Max. virtual memory (cumulated for all children) (KiB): 54640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 573.315
system time used= 0.015998
maximum resident set size= 29320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 28817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28415 second user time and 2.11347 second system time
The end