runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3712900-1338200751/watcher-3712900-1338200751 -o /tmp/evaluation-result-3712900-1338200751/solver-3712900-1338200751 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712900-1338200751.wbo
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: 2.00 2.00 1.98 3/177 19104
/proc/meminfo: memFree=30486260/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 2 0 286201174 85659648 738 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 738 192 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 2 0 286201175 85659648 738 33554432000 4194304 5964318 140733504841216 140735273234104 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0585669 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19104
/proc/meminfo: memFree=30486260/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=0.05 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 984 0 0 0 5 0 0 0 20 0 2 0 286201174 85659648 933 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 933 194 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=0.04 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 259 0 0 0 4 0 0 0 20 0 2 0 286201175 85659648 933 33554432000 4194304 5964318 140733504841216 140735273234104 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83652
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19104
/proc/meminfo: memFree=30486260/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=0.09 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 1088 0 0 0 9 0 0 0 20 0 2 0 286201174 85659648 1037 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 1037 194 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=0.08 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 363 0 0 0 8 0 0 0 20 0 2 0 286201175 85659648 1037 33554432000 4194304 5964318 140733504841216 140735273234104 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83652
[startup+0.300193 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19104
/proc/meminfo: memFree=30486260/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=0.29 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 1467 0 0 0 29 0 0 0 20 0 2 0 286201174 85659648 1416 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 1416 194 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=0.28 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 742 0 0 0 28 0 0 0 20 0 2 0 286201175 85659648 1416 33554432000 4194304 5964318 140733504841216 140735273234104 4400001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83652
[startup+0.700139 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 19104
/proc/meminfo: memFree=30486260/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=0.69 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 1950 0 0 0 69 0 0 0 20 0 2 0 286201174 85659648 1899 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 1899 194 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=0.68 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 1225 0 0 0 68 0 0 0 20 0 2 0 286201175 85659648 1899 33554432000 4194304 5964318 140733504841216 140735273234104 4399900 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83652
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19106
/proc/meminfo: memFree=30474216/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83796 CPUtime=1.49 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 2313 0 0 0 149 0 0 0 20 0 2 0 286201174 85807104 2262 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20949 2262 194 433 0 20513 0
[pid=19104/tid=19105] ppid=19102 vsize=83796 CPUtime=1.48 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 1588 0 0 0 148 0 0 0 20 0 2 0 286201175 85807104 2262 33554432000 4194304 5964318 140733504841216 139859814270776 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83796
[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19106
/proc/meminfo: memFree=30468196/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83796 CPUtime=3.08 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 2977 0 0 0 308 0 0 0 20 0 2 0 286201174 85807104 2926 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20949 2926 194 433 0 20513 0
[pid=19104/tid=19105] ppid=19102 vsize=83796 CPUtime=3.08 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 2252 0 0 0 308 0 0 0 20 0 2 0 286201175 85807104 2926 33554432000 4194304 5964318 140733504841216 139859814270968 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83796
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19106
/proc/meminfo: memFree=30455772/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83868 CPUtime=6.29 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 4494 0 0 0 628 1 0 0 20 0 2 0 286201174 85880832 4443 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20967 4443 194 433 0 20531 0
[pid=19104/tid=19105] ppid=19102 vsize=83868 CPUtime=6.28 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 3769 0 0 0 626 2 0 0 20 0 2 0 286201175 85880832 4443 33554432000 4194304 5964318 140733504841216 139859814270776 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83868
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19106
/proc/meminfo: memFree=30447648/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=12.68 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 5686 0 0 0 1267 1 0 0 20 0 2 0 286201174 85659648 5569 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 5569 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=12.68 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 4961 0 0 0 1266 2 0 0 20 0 2 0 286201175 85659648 5569 33554432000 4194304 5964318 140733504841216 139859814271928 4399960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83652
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19106
/proc/meminfo: memFree=30443824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=25.48 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 6882 0 0 0 2547 1 0 0 20 0 2 0 286201174 85659648 6761 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 6761 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=25.48 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 6157 0 0 0 2546 2 0 0 20 0 2 0 286201175 85659648 6761 33554432000 4194304 5964318 140733504841216 139859814271016 4400019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19106
/proc/meminfo: memFree=30431076/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=51.07 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8282 0 0 0 5106 1 0 0 20 0 2 0 286201174 85659648 8910 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8910 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=51.08 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 7557 0 0 0 5106 2 0 0 20 0 2 0 286201175 85659648 8910 33554432000 4194304 5964318 140733504841216 139859814271512 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83652
Solver just ended. Dumping a history of the last processes samples
[startup+76.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19108
/proc/meminfo: memFree=30425076/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=76.67 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8909 0 0 0 7665 2 0 0 20 0 2 0 286201174 85659648 9537 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 9537 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=76.68 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8184 0 0 0 7664 4 0 0 20 0 2 0 286201175 85659648 9537 33554432000 4194304 5964318 140733504841216 139859814271320 4400446 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 83652
[startup+83.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 19108
/proc/meminfo: memFree=30423972/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=83.07 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8909 0 0 0 8305 2 0 0 20 0 2 0 286201174 85659648 9537 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 9537 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=83.08 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8184 0 0 0 8304 4 0 0 20 0 2 0 286201175 85659648 9537 33554432000 4194304 5964318 140733504841216 139859814271320 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 83652
[startup+86.3003 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425576/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=86.27 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8625 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=86.28 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8624 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4388132 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 86.27
Current children cumulated vsize (KiB) 83652
[startup+87.9003 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=87.87 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8785 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=87.88 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8784 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4403596 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 87.87
Current children cumulated vsize (KiB) 83652
[startup+88.7001 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=88.67 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8865 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=88.68 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8864 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (KiB) 83652
[startup+89.1066 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=89.07 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8905 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=89.08 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8904 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.07
Current children cumulated vsize (KiB) 83652
[startup+89.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=89.47 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8945 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=89.48 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8944 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4400013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 83652
[startup+89.6002 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 19109
/proc/meminfo: memFree=30425824/32873648 swapFree=6860/6860
[pid=19104] ppid=19102 vsize=83652 CPUtime=89.57 cores=0,2,4,6
/proc/19104/stat : 19104 (wbo1.71) S 19102 19104 18639 0 -1 4202496 8910 0 0 0 8955 2 0 0 20 0 2 0 286201174 85659648 8942 33554432000 4194304 5964318 140733504841216 140733504840736 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19104/statm: 20913 8942 198 433 0 20477 0
[pid=19104/tid=19105] ppid=19102 vsize=83652 CPUtime=89.58 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (wbo1.71) R 19102 19104 18639 0 -1 4202560 8185 0 0 0 8954 4 0 0 20 0 2 0 286201175 85659648 8942 33554432000 4194304 5964318 140733504841216 139859814271816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (KiB) 83652
Child status: 255
Real time (s): 89.6491
CPU time (s): 89.6494
CPU user time (s): 89.5984
CPU system time (s): 0.050992
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 83976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.5984
system time used= 0.050992
maximum resident set size= 38152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8913
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= 12
involuntary context switches= 92
runsolver used 0.237963 second user time and 0.582911 second system time
The end