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-3728284-1338676020/watcher-3728284-1338676020 -o /tmp/evaluation-result-3728284-1338676020/solver-3728284-1338676020 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728284-1338676020.wbo
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: 1.93 2.52 2.68 2/172 21973
/proc/meminfo: memFree=27737012/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=3580 CPUtime=0 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) R 21971 21973 17860 0 -1 4202496 395 0 0 0 0 0 0 0 20 0 1 0 333726874 3665920 348 33554432000 4194304 5964350 140733368499184 140735824167032 4367398 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 895 348 171 433 0 427 0
[startup+0.043621 s]
/proc/loadavg: 1.93 2.52 2.68 2/172 21973
/proc/meminfo: memFree=27737012/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=0.03 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 1890 0 0 0 3 0 0 0 20 0 2 0 333726874 86568960 1700 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 1700 199 433 0 20699 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 84540
[startup+0.100291 s]
/proc/loadavg: 1.93 2.52 2.68 2/172 21973
/proc/meminfo: memFree=27737012/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=0.09 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 1895 0 0 0 9 0 0 0 20 0 2 0 333726874 86568960 1705 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 1705 199 433 0 20699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84540
[startup+0.300181 s]
/proc/loadavg: 1.93 2.52 2.68 2/172 21973
/proc/meminfo: memFree=27737012/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=0.29 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 2188 0 0 0 29 0 0 0 20 0 2 0 333726874 86568960 1998 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 1998 199 433 0 20699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84540
[startup+0.700221 s]
/proc/loadavg: 1.93 2.52 2.68 2/172 21973
/proc/meminfo: memFree=27737012/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=0.69 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 2921 0 0 0 69 0 0 0 20 0 2 0 333726874 86568960 2731 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 2731 199 433 0 20699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84540
[startup+1.50025 s]
/proc/loadavg: 1.93 2.52 2.68 2/172 22109
/proc/meminfo: memFree=27732716/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=1.49 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 2946 0 0 0 149 0 0 0 20 0 2 0 333726874 86568960 2756 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 2756 199 433 0 20699 0
[pid=21973/tid=21975] ppid=21971 vsize=84540 CPUtime=1.47 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 1961 0 0 0 147 0 0 0 20 0 2 0 333726875 86568960 2756 33554432000 4194304 5964350 140733368499184 139637124503912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84540
[startup+3.10026 s]
/proc/loadavg: 1.93 2.52 2.68 3/173 22348
/proc/meminfo: memFree=27730428/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84540 CPUtime=3.08 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 3911 0 0 0 308 0 0 0 20 0 2 0 333726874 86568960 3721 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21135 3721 199 433 0 20699 0
[pid=21973/tid=21975] ppid=21971 vsize=84540 CPUtime=3.07 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 2926 0 0 0 307 0 0 0 20 0 2 0 333726875 86568960 3721 33554432000 4194304 5964350 140733368499184 139637124503544 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84540
[startup+6.30026 s]
/proc/loadavg: 1.85 2.49 2.67 2/176 22944
/proc/meminfo: memFree=27716756/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84756 CPUtime=6.29 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 5362 0 0 0 628 1 0 0 20 0 2 0 333726874 86790144 5172 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21189 5173 199 433 0 20753 0
[pid=21973/tid=21975] ppid=21971 vsize=84756 CPUtime=6.27 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 4378 0 0 0 627 0 0 0 20 0 2 0 333726875 86790144 5173 33554432000 4194304 5964350 140733368499184 139637124503544 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84756
[startup+12.7003 s]
/proc/loadavg: 1.86 2.49 2.67 3/179 22983
/proc/meminfo: memFree=27689208/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84756 CPUtime=12.69 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 5987 0 0 0 1268 1 0 0 20 0 2 0 333726874 86790144 5797 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21189 5797 199 433 0 20753 0
[pid=21973/tid=21975] ppid=21971 vsize=84756 CPUtime=12.67 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 5002 0 0 0 1267 0 0 0 20 0 2 0 333726875 86790144 5797 33554432000 4194304 5964350 140733368499184 139637124503352 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84756
[startup+25.5003 s]
/proc/loadavg: 1.89 2.46 2.65 3/179 22983
/proc/meminfo: memFree=27664388/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=84864 CPUtime=25.48 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 7934 0 0 0 2546 2 0 0 20 0 2 0 333726874 86900736 7771 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21216 7771 199 433 0 20780 0
[pid=21973/tid=21975] ppid=21971 vsize=84864 CPUtime=25.47 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 6949 0 0 0 2545 2 0 0 20 0 2 0 333726875 86900736 7771 33554432000 4194304 5964350 140733368499184 139637124503352 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84864
[startup+51.1003 s]
/proc/loadavg: 1.93 2.42 2.64 3/179 22983
/proc/meminfo: memFree=27637952/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=85024 CPUtime=51.06 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 11890 0 0 0 5103 3 0 0 20 0 2 0 333726874 87064576 12646 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21256 12646 199 433 0 20820 0
[pid=21973/tid=21975] ppid=21971 vsize=85024 CPUtime=51.06 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 10905 0 0 0 5102 4 0 0 20 0 2 0 333726875 87064576 12646 33554432000 4194304 5964350 140733368499184 139637124503352 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85024
[startup+102.307 s]
/proc/loadavg: 2.02 2.37 2.61 3/179 22983
/proc/meminfo: memFree=27580108/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=85264 CPUtime=102.27 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 16669 0 0 0 10221 6 0 0 20 0 2 0 333726874 87310336 17425 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 21316 17425 199 433 0 20880 0
[pid=21973/tid=21975] ppid=21971 vsize=85264 CPUtime=102.27 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 15684 0 0 0 10219 8 0 0 20 0 2 0 333726875 87310336 17425 33554432000 4194304 5964350 140733368499184 139637124503352 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85264
[startup+162.3 s]
/proc/loadavg: 2.01 2.30 2.57 3/179 22983
/proc/meminfo: memFree=27530348/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=150800 CPUtime=162.23 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 19420 0 0 0 16216 7 0 0 20 0 2 0 333726874 154419200 20398 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 37700 20398 199 433 0 37264 0
[pid=21973/tid=21975] ppid=21971 vsize=150800 CPUtime=162.25 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 18435 0 0 0 16216 9 0 0 20 0 2 0 333726875 154419200 20398 33554432000 4194304 5964350 140733368499184 139637124503352 4400023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 150800
[startup+222.3 s]
/proc/loadavg: 2.00 2.24 2.53 3/180 22986
/proc/meminfo: memFree=27483272/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=150800 CPUtime=222.23 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 24770 0 0 0 22212 11 0 0 20 0 2 0 333726874 154419200 25748 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 37700 25748 199 433 0 37264 0
[pid=21973/tid=21975] ppid=21971 vsize=150800 CPUtime=222.25 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 23785 0 0 0 22211 14 0 0 20 0 2 0 333726875 154419200 25748 33554432000 4194304 5964350 140733368499184 139637124503544 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150800
[startup+282.3 s]
/proc/loadavg: 2.00 2.20 2.49 3/179 22986
/proc/meminfo: memFree=27476560/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=150800 CPUtime=282.2 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 26285 0 0 0 28208 12 0 0 20 0 2 0 333726874 154419200 27478 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 37700 27478 199 433 0 37264 0
[pid=21973/tid=21975] ppid=21971 vsize=150800 CPUtime=282.24 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 25300 0 0 0 28207 17 0 0 20 0 2 0 333726875 154419200 27478 33554432000 4194304 5964350 140733368499184 139637124503544 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 150800
[startup+342.3 s]
/proc/loadavg: 2.00 2.16 2.46 3/180 22988
/proc/meminfo: memFree=27468000/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=150800 CPUtime=342.19 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 28326 0 0 0 34204 15 0 0 20 0 2 0 333726874 154419200 29692 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 37700 29692 199 433 0 37264 0
[pid=21973/tid=21975] ppid=21971 vsize=150800 CPUtime=342.24 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 27341 0 0 0 34204 20 0 0 20 0 2 0 333726875 154419200 29692 33554432000 4194304 5964350 140733368499184 139637124503352 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 150800
[startup+402.3 s]
/proc/loadavg: 2.00 2.13 2.43 3/179 22988
/proc/meminfo: memFree=27441520/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=151448 CPUtime=402.18 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 30880 0 0 0 40201 17 0 0 20 0 2 0 333726874 155082752 32246 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 37862 32246 199 433 0 37426 0
[pid=21973/tid=21975] ppid=21971 vsize=151448 CPUtime=402.24 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 29895 0 0 0 40201 23 0 0 20 0 2 0 333726875 155082752 32246 33554432000 4194304 5964350 140733368499184 139637124503352 4400448 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 151448
[startup+462.3 s]
/proc/loadavg: 2.00 2.10 2.40 3/179 22988
/proc/meminfo: memFree=27402084/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218424 CPUtime=462.17 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 35170 0 0 0 46196 21 0 0 20 0 2 0 333726874 223666176 36526 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54606 36526 199 433 0 54170 0
[pid=21973/tid=21975] ppid=21971 vsize=218424 CPUtime=462.24 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 34185 0 0 0 46196 28 0 0 20 0 2 0 333726875 223666176 36526 33554432000 4194304 5964350 140733368499184 139637124503352 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 218424
[startup+522.3 s]
/proc/loadavg: 2.00 2.08 2.37 3/179 22988
/proc/meminfo: memFree=27360200/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218424 CPUtime=522.14 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 35358 0 0 0 52193 21 0 0 20 0 2 0 333726874 223666176 36984 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54606 36984 199 433 0 54170 0
[pid=21973/tid=21975] ppid=21971 vsize=218424 CPUtime=522.23 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 34373 0 0 0 52195 28 0 0 20 0 2 0 333726875 223666176 36984 33554432000 4194304 5964350 140733368499184 139637124503352 4400035 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 218424
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.00 2.08 2.36 3/179 22988
/proc/meminfo: memFree=27357596/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218424 CPUtime=537.34 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 36039 0 0 0 53713 21 0 0 20 0 2 0 333726874 223666176 37665 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54606 37665 199 433 0 54170 0
[pid=21973/tid=21975] ppid=21971 vsize=218424 CPUtime=537.43 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 35054 0 0 0 53714 29 0 0 20 0 2 0 333726875 223666176 37665 33554432000 4194304 5964350 140733368499184 139637124503544 4400436 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 537.34
Current children cumulated vsize (KiB) 218424
[startup+550.3 s]
/proc/loadavg: 2.00 2.07 2.36 3/179 22988
/proc/meminfo: memFree=27351768/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218424 CPUtime=550.13 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 37283 0 0 0 54991 22 0 0 20 0 2 0 333726874 223666176 38909 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54606 38909 199 433 0 54170 0
[pid=21973/tid=21975] ppid=21971 vsize=218424 CPUtime=550.23 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 36298 0 0 0 54992 31 0 0 20 0 2 0 333726875 223666176 38909 33554432000 4194304 5964350 140733368499184 139637124503544 4399998 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 550.13
Current children cumulated vsize (KiB) 218424
[startup+556.7 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27343212/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=556.54 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 37938 0 0 0 55631 23 0 0 20 0 2 0 333726874 223887360 39564 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39564 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=556.63 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 36953 0 0 0 55632 31 0 0 20 0 2 0 333726875 223887360 39564 33554432000 4194304 5964350 140733368499184 139637124503592 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (KiB) 218640
[startup+563.1 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27336764/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=562.94 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 38025 0 0 0 56271 23 0 0 20 0 2 0 333726874 223887360 39651 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39651 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=563.04 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 37040 0 0 0 56273 31 0 0 20 0 2 0 333726875 223887360 39651 33554432000 4194304 5964350 140733368499184 139637124503544 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 562.94
Current children cumulated vsize (KiB) 218640
[startup+564.7 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27336144/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=564.54 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 38025 0 0 0 56431 23 0 0 20 0 2 0 333726874 223887360 39651 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39651 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=564.63 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 37040 0 0 0 56432 31 0 0 20 0 2 0 333726875 223887360 39651 33554432000 4194304 5964350 140733368499184 139637124503544 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.54
Current children cumulated vsize (KiB) 218640
[startup+565.5 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27336020/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=565.34 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 38026 0 0 0 56511 23 0 0 20 0 2 0 333726874 223887360 39652 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39652 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=565.43 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 37041 0 0 0 56512 31 0 0 20 0 2 0 333726875 223887360 39652 33554432000 4194304 5964350 140733368499184 139637124503544 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 565.34
Current children cumulated vsize (KiB) 218640
[startup+566.3 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27336020/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=566.14 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 38026 0 0 0 56591 23 0 0 20 0 2 0 333726874 223887360 39652 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39652 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=566.23 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 37041 0 0 0 56592 31 0 0 20 0 2 0 333726875 223887360 39652 33554432000 4194304 5964350 140733368499184 139637124503352 4400355 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 566.14
Current children cumulated vsize (KiB) 218640
[startup+566.507 s]
/proc/loadavg: 2.00 2.07 2.35 3/179 22988
/proc/meminfo: memFree=27335896/32873844 swapFree=7628/7628
[pid=21973] ppid=21971 vsize=218640 CPUtime=566.34 cores=1,3,5,7
/proc/21973/stat : 21973 (wbo1.72) S 21971 21973 17860 0 -1 4202496 38026 0 0 0 56611 23 0 0 20 0 2 0 333726874 223887360 39652 33554432000 4194304 5964350 140733368499184 140733368498704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 54660 39652 199 433 0 54224 0
[pid=21973/tid=21975] ppid=21971 vsize=218640 CPUtime=566.44 cores=1,3,5,7
/proc/21973/task/21975/stat : 21975 (wbo1.72) R 21971 21973 17860 0 -1 4202560 37041 0 0 0 56613 31 0 0 20 0 2 0 333726875 223887360 39652 33554432000 4194304 5964350 140733368499184 139637124503352 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 566.34
Current children cumulated vsize (KiB) 218640
Child status: 255
Real time (s): 566.536
CPU time (s): 566.488
CPU user time (s): 566.161
CPU system time (s): 0.32695
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 218640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 566.161
system time used= 0.32695
maximum resident set size= 158620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38029
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= 72
involuntary context switches= 579
runsolver used 0.902862 second user time and 2.25666 second system time
The end