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-3704162-1338088343/watcher-3704162-1338088343 -o /tmp/evaluation-result-3704162-1338088343/solver-3704162-1338088343 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704162-1338088343.opb
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.02 1.97 1.75 3/177 17613
/proc/meminfo: memFree=28746572/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) R 17611 17613 17458 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 274958843 3309568 254 33554432000 4194304 5965102 140734272541072 140734507554264 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 808 254 168 433 0 351 0
[startup+0.00810407 s]
/proc/loadavg: 2.02 1.97 1.75 3/177 17613
/proc/meminfo: memFree=28746572/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) R 17611 17613 17458 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 274958843 3309568 281 33554432000 4194304 5965102 140734272541072 140734507554264 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 808 281 177 433 0 351 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3232
[startup+0.100242 s]
/proc/loadavg: 2.02 1.97 1.75 3/177 17613
/proc/meminfo: memFree=28746572/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=83840 CPUtime=0.09 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 1164 0 0 0 9 0 0 0 20 0 2 0 274958843 85852160 1096 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 20960 1096 190 433 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.30022 s]
/proc/loadavg: 2.02 1.97 1.75 3/177 17613
/proc/meminfo: memFree=28746572/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=83840 CPUtime=0.29 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 1535 0 0 0 29 0 0 0 20 0 2 0 274958843 85852160 1467 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 20960 1467 190 433 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.70022 s]
/proc/loadavg: 2.02 1.97 1.75 3/177 17613
/proc/meminfo: memFree=28746572/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=83984 CPUtime=0.69 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 1877 0 0 0 69 0 0 0 20 0 2 0 274958843 85999616 1809 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 20996 1809 190 433 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50025 s]
/proc/loadavg: 2.02 1.97 1.75 3/179 17615
/proc/meminfo: memFree=28739340/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=83984 CPUtime=1.48 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 2580 0 0 0 148 0 0 0 20 0 2 0 274958843 85999616 2512 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 20996 2512 190 433 0 20560 0
[pid=17613/tid=17615] ppid=17611 vsize=83984 CPUtime=1.47 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 1792 0 0 0 147 0 0 0 20 0 2 0 274958843 85999616 2512 33554432000 4194304 5965102 140734272541072 140340064245752 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83984
[startup+3.10026 s]
/proc/loadavg: 2.02 1.97 1.75 3/179 17615
/proc/meminfo: memFree=28736256/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=84056 CPUtime=3.08 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 3600 0 0 0 308 0 0 0 20 0 2 0 274958843 86073344 3532 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 21014 3532 190 433 0 20578 0
[pid=17613/tid=17615] ppid=17611 vsize=84056 CPUtime=3.07 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 2812 0 0 0 307 0 0 0 20 0 2 0 274958843 86073344 3532 33554432000 4194304 5965102 140734272541072 140340064245800 4380288 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84056
[startup+6.30025 s]
/proc/loadavg: 2.02 1.97 1.75 3/179 17615
/proc/meminfo: memFree=28728828/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=84164 CPUtime=6.29 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 4979 0 0 0 628 1 0 0 20 0 2 0 274958843 86183936 4911 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 21041 4911 190 433 0 20605 0
[pid=17613/tid=17615] ppid=17611 vsize=84164 CPUtime=6.26 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 4191 0 0 0 625 1 0 0 20 0 2 0 274958843 86183936 4911 33554432000 4194304 5965102 140734272541072 140340064245560 4400966 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84164
[startup+12.7003 s]
/proc/loadavg: 2.01 1.97 1.75 3/179 17615
/proc/meminfo: memFree=28719876/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=84324 CPUtime=12.68 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 6786 0 0 0 1267 1 0 0 20 0 2 0 274958843 86347776 6718 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 21081 6718 190 433 0 20645 0
[pid=17613/tid=17615] ppid=17611 vsize=84324 CPUtime=12.64 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 5998 0 0 0 1263 1 0 0 20 0 2 0 274958843 86347776 6718 33554432000 4194304 5965102 140734272541072 140340064245800 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84324
[startup+25.5003 s]
/proc/loadavg: 2.01 1.97 1.75 3/179 17615
/proc/meminfo: memFree=28708604/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=84468 CPUtime=25.48 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 9222 0 0 0 2546 2 0 0 20 0 2 0 274958843 86495232 9154 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 21117 9154 190 433 0 20681 0
[pid=17613/tid=17615] ppid=17611 vsize=84468 CPUtime=25.41 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 8434 0 0 0 2539 2 0 0 20 0 2 0 274958843 86495232 9154 33554432000 4194304 5965102 140734272541072 140340064245800 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84468
[startup+51.1003 s]
/proc/loadavg: 2.08 1.99 1.76 3/179 17615
/proc/meminfo: memFree=28682564/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=85140 CPUtime=51.08 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 13569 0 0 0 5104 4 0 0 20 0 2 0 274958843 87183360 13501 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 21285 13501 190 433 0 20849 0
[pid=17613/tid=17615] ppid=17611 vsize=85140 CPUtime=50.95 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 12781 0 0 0 5091 4 0 0 20 0 2 0 274958843 87183360 13501 33554432000 4194304 5965102 140734272541072 140340064245560 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85140
[startup+102.306 s]
/proc/loadavg: 2.08 2.00 1.78 3/179 17615
/proc/meminfo: memFree=28630732/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=153988 CPUtime=102.28 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 21134 0 0 0 10220 8 0 0 20 0 2 0 274958843 157683712 21066 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 38497 21066 190 433 0 38061 0
[pid=17613/tid=17615] ppid=17611 vsize=153988 CPUtime=102.02 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 20346 0 0 0 10194 8 0 0 20 0 2 0 274958843 157683712 21066 33554432000 4194304 5965102 140734272541072 140340064245560 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153988
[startup+162.3 s]
/proc/loadavg: 2.11 2.02 1.80 3/179 17616
/proc/meminfo: memFree=28605188/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=155788 CPUtime=162.27 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 27714 0 0 0 16216 11 0 0 20 0 2 0 274958843 159526912 27646 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 38947 27646 190 433 0 38511 0
[pid=17613/tid=17615] ppid=17611 vsize=155788 CPUtime=161.86 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 26926 0 0 0 16173 13 0 0 20 0 2 0 274958843 159526912 27646 33554432000 4194304 5965102 140734272541072 140340064245800 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 155788
[startup+222.3 s]
/proc/loadavg: 2.12 2.03 1.81 3/179 17616
/proc/meminfo: memFree=28568016/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=223772 CPUtime=222.22 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 35281 0 0 0 22207 15 0 0 20 0 2 0 274958843 229142528 35288 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 55943 35288 190 433 0 55507 0
[pid=17613/tid=17615] ppid=17611 vsize=223772 CPUtime=221.67 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 34493 0 0 0 22149 18 0 0 20 0 2 0 274958843 229142528 35288 33554432000 4194304 5965102 140734272541072 140340064245752 4401149 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 223772
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 2.11 2.03 1.81 3/179 17616
/proc/meminfo: memFree=28565340/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=224132 CPUtime=230.22 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 35673 0 0 0 23006 16 0 0 20 0 2 0 274958843 229511168 35693 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56033 35693 190 433 0 55597 0
[pid=17613/tid=17615] ppid=17611 vsize=224132 CPUtime=229.65 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 34885 0 0 0 22946 19 0 0 20 0 2 0 274958843 229511168 35693 33554432000 4194304 5965102 140734272541072 140340064245560 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 224132
[startup+243.107 s]
/proc/loadavg: 2.08 2.03 1.82 3/179 17616
/proc/meminfo: memFree=28553556/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=224744 CPUtime=243.02 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 37612 0 0 0 24285 17 0 0 20 0 2 0 274958843 230137856 38389 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56186 38389 190 433 0 55750 0
[pid=17613/tid=17615] ppid=17611 vsize=224744 CPUtime=242.42 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 36824 0 0 0 24222 20 0 0 20 0 2 0 274958843 230137856 38389 33554432000 4194304 5965102 140734272541072 140340064245752 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 243.02
Current children cumulated vsize (KiB) 224744
[startup+249.5 s]
/proc/loadavg: 2.08 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28548780/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=225176 CPUtime=249.42 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 38836 0 0 0 24924 18 0 0 20 0 2 0 274958843 230580224 39613 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56294 39613 190 433 0 55858 0
[pid=17613/tid=17615] ppid=17611 vsize=225176 CPUtime=248.8 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 38048 0 0 0 24859 21 0 0 20 0 2 0 274958843 230580224 39613 33554432000 4194304 5965102 140734272541072 140340064245800 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (KiB) 225176
[startup+255.9 s]
/proc/loadavg: 2.07 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28543380/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=226256 CPUtime=255.82 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 39965 0 0 0 25563 19 0 0 20 0 2 0 274958843 231686144 40742 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56564 40742 190 433 0 56128 0
[pid=17613/tid=17615] ppid=17611 vsize=226256 CPUtime=255.18 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 39177 0 0 0 25496 22 0 0 20 0 2 0 274958843 231686144 40742 33554432000 4194304 5965102 140734272541072 140340064245800 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 255.82
Current children cumulated vsize (KiB) 226256
[startup+259.1 s]
/proc/loadavg: 2.06 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28541752/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=226256 CPUtime=259.02 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 40082 0 0 0 25883 19 0 0 20 0 2 0 274958843 231686144 40859 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56564 40859 190 433 0 56128 0
[pid=17613/tid=17615] ppid=17611 vsize=226256 CPUtime=258.37 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 39294 0 0 0 25815 22 0 0 20 0 2 0 274958843 231686144 40859 33554432000 4194304 5965102 140734272541072 140340064245752 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 259.02
Current children cumulated vsize (KiB) 226256
[startup+260.706 s]
/proc/loadavg: 2.06 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28540884/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=226256 CPUtime=260.62 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 40083 0 0 0 26043 19 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56564 40860 190 433 0 56128 0
[pid=17613/tid=17615] ppid=17611 vsize=226256 CPUtime=259.97 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 39295 0 0 0 25975 22 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140340064245560 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 260.62
Current children cumulated vsize (KiB) 226256
[startup+261.1 s]
/proc/loadavg: 2.06 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28540884/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=226256 CPUtime=261.02 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 40083 0 0 0 26083 19 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56564 40860 190 433 0 56128 0
[pid=17613/tid=17615] ppid=17611 vsize=226256 CPUtime=260.37 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 39295 0 0 0 26015 22 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140340064245560 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 261.02
Current children cumulated vsize (KiB) 226256
[startup+261.3 s]
/proc/loadavg: 2.06 2.02 1.82 3/179 17616
/proc/meminfo: memFree=28540884/32873648 swapFree=6604/6604
[pid=17613] ppid=17611 vsize=226256 CPUtime=261.22 cores=0,2,4,6
/proc/17613/stat : 17613 (pwbo2.0) S 17611 17613 17458 0 -1 4202496 40083 0 0 0 26103 19 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140734272540592 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17613/statm: 56564 40860 190 433 0 56128 0
[pid=17613/tid=17615] ppid=17611 vsize=226256 CPUtime=260.57 cores=0,2,4,6
/proc/17613/task/17615/stat : 17615 (pwbo2.0) R 17611 17613 17458 0 -1 4202560 39295 0 0 0 26035 22 0 0 20 0 2 0 274958843 231686144 40860 33554432000 4194304 5965102 140734272541072 140340064245560 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 261.22
Current children cumulated vsize (KiB) 226256
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17613 and gives
# childrusage.ru_utime.tv_sec=260
# childrusage.ru_utime.tv_usec=367418
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=234964
# CPU time returned by wait4() is 260.602
# while last known CPU time is 261.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 261.323
CPU time (s): 261.22
CPU user time (s): 261.03
CPU system time (s): 0.19
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 226256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.367
system time used= 0.234964
maximum resident set size= 163452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40086
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= 57
involuntary context switches= 267
runsolver used 0.512922 second user time and 1.13783 second system time
The end