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-3704201-1338087162/watcher-3704201-1338087162 -o /tmp/evaluation-result-3704201-1338087162/solver-3704201-1338087162 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704201-1338087162.opb
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.00 1.06 1.43 3/173 9063
/proc/meminfo: memFree=31392036/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=0 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 2 0 274844774 85852160 730 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 730 176 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=0 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 2 0 274844775 85852160 734 33554432000 4194304 5965102 140733605803664 140734432398488 5237527 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.051378 s]
/proc/loadavg: 1.00 1.06 1.43 3/173 9063
/proc/meminfo: memFree=31392036/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=0.04 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 988 0 0 0 4 0 0 0 20 0 2 0 274844774 85852160 931 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 931 191 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=0.03 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 230 0 0 0 3 0 0 0 20 0 2 0 274844775 85852160 931 33554432000 4194304 5965102 140733605803664 140734432398488 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83840
[startup+0.100343 s]
/proc/loadavg: 1.00 1.06 1.43 3/173 9063
/proc/meminfo: memFree=31392036/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=0.09 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 1100 0 0 0 9 0 0 0 20 0 2 0 274844774 85852160 1043 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 1043 191 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=0.08 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 342 0 0 0 8 0 0 0 20 0 2 0 274844775 85852160 1043 33554432000 4194304 5965102 140733605803664 140734432398488 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.30024 s]
/proc/loadavg: 1.00 1.06 1.43 3/173 9063
/proc/meminfo: memFree=31392036/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=0.29 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 1431 0 0 0 29 0 0 0 20 0 2 0 274844774 85852160 1374 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 1374 191 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=0.28 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 673 0 0 0 28 0 0 0 20 0 2 0 274844775 85852160 1374 33554432000 4194304 5965102 140733605803664 140734432398488 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.700255 s]
/proc/loadavg: 1.00 1.06 1.43 3/173 9063
/proc/meminfo: memFree=31392036/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=0.69 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 1885 0 0 0 69 0 0 0 20 0 2 0 274844774 85852160 1828 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 1828 191 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=0.68 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 1127 0 0 0 68 0 0 0 20 0 2 0 274844775 85852160 1828 33554432000 4194304 5965102 140733605803664 140734432398488 4401548 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83840
[startup+1.50025 s]
/proc/loadavg: 1.00 1.06 1.43 3/179 9069
/proc/meminfo: memFree=31367328/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83840 CPUtime=1.49 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 2371 0 0 0 149 0 0 0 20 0 2 0 274844774 85852160 2314 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20960 2314 191 433 0 20524 0
[pid=9063/tid=9066] ppid=9060 vsize=83840 CPUtime=1.48 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 1613 0 0 0 148 0 0 0 20 0 2 0 274844775 85852160 2314 33554432000 4194304 5965102 140733605803664 140569625917240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83840
[startup+3.10027 s]
/proc/loadavg: 1.08 1.08 1.43 3/179 9069
/proc/meminfo: memFree=31355896/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83984 CPUtime=3.08 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 2710 0 0 0 308 0 0 0 20 0 2 0 274844774 85999616 2653 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20996 2653 191 433 0 20560 0
[pid=9063/tid=9066] ppid=9060 vsize=83984 CPUtime=3.08 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 1952 0 0 0 308 0 0 0 20 0 2 0 274844775 85999616 2653 33554432000 4194304 5965102 140733605803664 140569625917240 4401078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83984
[startup+6.30025 s]
/proc/loadavg: 1.08 1.08 1.43 3/179 9069
/proc/meminfo: memFree=31331964/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=83984 CPUtime=6.29 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 3676 0 0 0 628 1 0 0 20 0 2 0 274844774 85999616 3657 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 20996 3657 191 433 0 20560 0
[pid=9063/tid=9066] ppid=9060 vsize=83984 CPUtime=6.27 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 2918 0 0 0 627 0 0 0 20 0 2 0 274844775 85999616 3657 33554432000 4194304 5965102 140733605803664 140569625916952 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83984
[startup+12.7003 s]
/proc/loadavg: 1.22 1.11 1.44 3/179 9069
/proc/meminfo: memFree=31314604/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=84992 CPUtime=12.68 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 5110 0 0 0 1267 1 0 0 20 0 2 0 274844774 87031808 5091 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 21248 5091 191 433 0 20812 0
[pid=9063/tid=9066] ppid=9060 vsize=84992 CPUtime=12.67 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 4352 0 0 0 1266 1 0 0 20 0 2 0 274844775 87031808 5091 33554432000 4194304 5965102 140733605803664 140569625917240 4382755 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84992
[startup+25.5004 s]
/proc/loadavg: 1.34 1.13 1.45 3/179 9069
/proc/meminfo: memFree=31265264/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=87188 CPUtime=25.48 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 7303 0 0 0 2546 2 0 0 20 0 2 0 274844774 89280512 7982 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 21797 7982 191 433 0 21361 0
[pid=9063/tid=9066] ppid=9060 vsize=87188 CPUtime=25.47 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 6545 0 0 0 2545 2 0 0 20 0 2 0 274844775 89280512 7982 33554432000 4194304 5965102 140733605803664 140569625917480 4401146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87188
[startup+51.1004 s]
/proc/loadavg: 1.56 1.20 1.46 3/179 9069
/proc/meminfo: memFree=31164536/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=89472 CPUtime=51.08 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 9900 0 0 0 5104 4 0 0 20 0 2 0 274844774 91619328 10579 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 22368 10579 191 433 0 21932 0
[pid=9063/tid=9066] ppid=9060 vsize=89472 CPUtime=51.07 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 9142 0 0 0 5103 4 0 0 20 0 2 0 274844775 91619328 10579 33554432000 4194304 5965102 140733605803664 140569625917240 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89472
[startup+102.307 s]
/proc/loadavg: 1.82 1.33 1.49 3/179 9069
/proc/meminfo: memFree=31059676/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=92116 CPUtime=102.28 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 13490 0 0 0 10220 8 0 0 20 0 2 0 274844774 94326784 14169 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 23029 14169 191 433 0 22593 0
[pid=9063/tid=9066] ppid=9060 vsize=92116 CPUtime=102.28 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 12732 0 0 0 10219 9 0 0 20 0 2 0 274844775 94326784 14169 33554432000 4194304 5965102 140733605803664 140569625917432 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92116
[startup+162.3 s]
/proc/loadavg: 1.93 1.44 1.51 3/179 9108
/proc/meminfo: memFree=31307892/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=94728 CPUtime=162.26 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 17224 0 0 0 16215 11 0 0 20 0 2 0 274844774 97001472 17906 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 23682 17906 191 433 0 23246 0
[pid=9063/tid=9066] ppid=9060 vsize=94728 CPUtime=162.27 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 16466 0 0 0 16213 14 0 0 20 0 2 0 274844775 97001472 17906 33554432000 4194304 5965102 140733605803664 140569625917432 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 94728
[startup+222.3 s]
/proc/loadavg: 1.97 1.55 1.55 3/179 9109
/proc/meminfo: memFree=31247664/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=163336 CPUtime=222.22 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 21312 0 0 0 22207 15 0 0 20 0 2 0 274844774 167256064 22057 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 40834 22057 191 433 0 40398 0
[pid=9063/tid=9066] ppid=9060 vsize=163336 CPUtime=222.24 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 20554 0 0 0 22205 19 0 0 20 0 2 0 274844775 167256064 22057 33554432000 4194304 5965102 140733605803664 140569625917240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163336
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.98 1.56 1.55 3/179 9109
/proc/meminfo: memFree=31247028/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=163588 CPUtime=230.22 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 21348 0 0 0 23007 15 0 0 20 0 2 0 274844774 167514112 22093 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 40897 22093 191 433 0 40461 0
[pid=9063/tid=9066] ppid=9060 vsize=163588 CPUtime=230.24 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 20590 0 0 0 23005 19 0 0 20 0 2 0 274844775 167514112 22093 33554432000 4194304 5965102 140733605803664 140569625917480 4401007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 163588
[startup+243.107 s]
/proc/loadavg: 1.98 1.58 1.55 3/179 9109
/proc/meminfo: memFree=31241436/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=163964 CPUtime=243.02 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 21465 0 0 0 24287 15 0 0 20 0 2 0 274844774 167899136 22210 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 40991 22210 191 433 0 40555 0
[pid=9063/tid=9066] ppid=9060 vsize=163964 CPUtime=243.05 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 20707 0 0 0 24286 19 0 0 20 0 2 0 274844775 167899136 22210 33554432000 4194304 5965102 140733605803664 140569625917432 4401078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 243.02
Current children cumulated vsize (KiB) 163964
[startup+249.5 s]
/proc/loadavg: 1.98 1.58 1.56 3/179 9109
/proc/meminfo: memFree=31230948/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=164448 CPUtime=249.41 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22044 0 0 0 24925 16 0 0 20 0 2 0 274844774 168394752 22793 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41112 22793 191 433 0 40676 0
[pid=9063/tid=9066] ppid=9060 vsize=164448 CPUtime=249.44 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21286 0 0 0 24924 20 0 0 20 0 2 0 274844775 168394752 22793 33554432000 4194304 5965102 140733605803664 140569625917432 4222419 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 164448
[startup+252.7 s]
/proc/loadavg: 1.98 1.58 1.56 3/179 9109
/proc/meminfo: memFree=31228592/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=164880 CPUtime=252.61 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22384 0 0 0 25245 16 0 0 20 0 2 0 274844774 168837120 23133 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41220 23133 191 433 0 40784 0
[pid=9063/tid=9066] ppid=9060 vsize=164880 CPUtime=252.64 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21626 0 0 0 25244 20 0 0 20 0 2 0 274844775 168837120 23133 33554432000 4194304 5965102 140733605803664 140569625917240 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 252.61
Current children cumulated vsize (KiB) 164880
[startup+254.3 s]
/proc/loadavg: 1.98 1.59 1.56 3/179 9109
/proc/meminfo: memFree=31227724/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=165220 CPUtime=254.21 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22573 0 0 0 25404 17 0 0 20 0 2 0 274844774 169185280 23322 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41305 23322 191 433 0 40869 0
[pid=9063/tid=9066] ppid=9060 vsize=165220 CPUtime=254.24 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21815 0 0 0 25403 21 0 0 20 0 2 0 274844775 169185280 23322 33554432000 4194304 5965102 140733605803664 140569625917240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 254.21
Current children cumulated vsize (KiB) 165220
[startup+255.1 s]
/proc/loadavg: 1.98 1.59 1.56 3/179 9109
/proc/meminfo: memFree=31227228/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=165220 CPUtime=255.02 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22617 0 0 0 25485 17 0 0 20 0 2 0 274844774 169185280 23366 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41305 23366 191 433 0 40869 0
[pid=9063/tid=9066] ppid=9060 vsize=165220 CPUtime=255.04 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21859 0 0 0 25483 21 0 0 20 0 2 0 274844775 169185280 23366 33554432000 4194304 5965102 140733605803664 140569625917432 4401556 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 255.02
Current children cumulated vsize (KiB) 165220
[startup+255.5 s]
/proc/loadavg: 1.98 1.59 1.56 3/179 9109
/proc/meminfo: memFree=31227228/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=165220 CPUtime=255.41 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22641 0 0 0 25524 17 0 0 20 0 2 0 274844774 169185280 23390 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41305 23390 191 433 0 40869 0
[pid=9063/tid=9066] ppid=9060 vsize=165220 CPUtime=255.44 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21883 0 0 0 25523 21 0 0 20 0 2 0 274844775 169185280 23390 33554432000 4194304 5965102 140733605803664 140569625917432 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 255.41
Current children cumulated vsize (KiB) 165220
[startup+255.7 s]
/proc/loadavg: 1.98 1.59 1.56 3/179 9109
/proc/meminfo: memFree=31227228/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=165220 CPUtime=255.61 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22658 0 0 0 25544 17 0 0 20 0 2 0 274844774 169185280 23407 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41305 23407 191 433 0 40869 0
[pid=9063/tid=9066] ppid=9060 vsize=165220 CPUtime=255.64 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21900 0 0 0 25543 21 0 0 20 0 2 0 274844775 169185280 23407 33554432000 4194304 5965102 140733605803664 140569625917432 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 255.61
Current children cumulated vsize (KiB) 165220
[startup+255.8 s]
/proc/loadavg: 1.98 1.59 1.56 3/179 9109
/proc/meminfo: memFree=31227228/32873844 swapFree=7108/7108
[pid=9063] ppid=9060 vsize=165220 CPUtime=255.71 cores=1,3,5,7
/proc/9063/stat : 9063 (pwbo2.0) S 9060 9063 9022 0 -1 4202496 22665 0 0 0 25554 17 0 0 20 0 2 0 274844774 169185280 23414 33554432000 4194304 5965102 140733605803664 140733605803184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9063/statm: 41305 23414 191 433 0 40869 0
[pid=9063/tid=9066] ppid=9060 vsize=165220 CPUtime=255.74 cores=1,3,5,7
/proc/9063/task/9066/stat : 9066 (pwbo2.0) R 9060 9063 9022 0 -1 4202560 21907 0 0 0 25553 21 0 0 20 0 2 0 274844775 169185280 23414 33554432000 4194304 5965102 140733605803664 140569625917432 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 255.71
Current children cumulated vsize (KiB) 165220
Child status: 255
Real time (s): 255.811
CPU time (s): 255.767
CPU user time (s): 255.544
CPU system time (s): 0.222966
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 165220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.544
system time used= 0.222966
maximum resident set size= 93692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22674
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= 38
involuntary context switches= 268
runsolver used 0.901862 second user time and 2.74058 second system time
The end