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-3712479-1338197772/watcher-3712479-1338197772 -o /tmp/evaluation-result-3712479-1338197772/solver-3712479-1338197772 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712479-1338197772.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: 3.99 3.96 3.78 4/178 15447
/proc/meminfo: memFree=29807652/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=4160 CPUtime=0 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) R 15445 15447 14514 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 285902707 4259840 306 33554432000 4194304 5964478 140736090731232 140736090729480 5136474 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 1040 307 165 433 0 582 0
[startup+0.036547 s]
/proc/loadavg: 3.99 3.96 3.78 4/178 15447
/proc/meminfo: memFree=29807652/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=163272 CPUtime=0.05 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 1645 0 0 0 5 0 0 0 20 0 3 0 285902707 167190528 1424 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 40818 1424 198 433 0 40382 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 163272
[startup+0.100168 s]
/proc/loadavg: 3.99 3.96 3.78 4/178 15447
/proc/meminfo: memFree=29807652/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=163272 CPUtime=0.17 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 2113 0 0 0 17 0 0 0 20 0 3 0 285902707 167190528 1813 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 40818 1813 198 433 0 40382 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163272
[startup+0.300117 s]
/proc/loadavg: 3.99 3.96 3.78 4/178 15447
/proc/meminfo: memFree=29807652/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=163272 CPUtime=0.58 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 2876 0 0 0 57 1 0 0 20 0 3 0 285902707 167190528 2529 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 40818 2529 198 433 0 40382 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163272
[startup+0.700135 s]
/proc/loadavg: 3.99 3.96 3.78 4/178 15447
/proc/meminfo: memFree=29807652/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=163536 CPUtime=1.37 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 3850 0 0 0 136 1 0 0 20 0 3 0 285902707 167460864 3452 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 40884 3452 198 433 0 40448 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163536
[startup+1.50021 s]
/proc/loadavg: 3.99 3.96 3.78 5/181 15450
/proc/meminfo: memFree=29791384/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=163808 CPUtime=2.97 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 5071 0 0 0 295 2 0 0 20 0 3 0 285902707 167739392 4628 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 40952 4628 198 433 0 40516 0
[pid=15447/tid=15449] ppid=15445 vsize=163808 CPUtime=1.46 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 2463 0 0 0 144 2 0 0 20 0 3 0 285902708 167739392 4628 33554432000 4194304 5964478 140736090731232 140723770583032 4388189 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=163808 CPUtime=1.47 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 1650 0 0 0 147 0 0 0 20 0 3 0 285902708 167739392 4628 33554432000 4194304 5964478 140736090731232 140723760093488 4400416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163808
[startup+3.1003 s]
/proc/loadavg: 3.99 3.96 3.78 5/181 15450
/proc/meminfo: memFree=29779976/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=164204 CPUtime=6.17 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 7750 0 0 0 614 3 0 0 20 0 3 0 285902707 168144896 7268 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 41051 7268 198 433 0 40615 0
[pid=15447/tid=15449] ppid=15445 vsize=164204 CPUtime=3.06 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 4263 0 0 0 304 2 0 0 20 0 3 0 285902708 168144896 7268 33554432000 4194304 5964478 140736090731232 140723770583032 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=164204 CPUtime=3.06 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 2529 0 0 0 306 0 0 0 20 0 3 0 285902708 168144896 7268 33554432000 4194304 5964478 140736090731232 140723760093496 4391484 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164204
[startup+6.30031 s]
/proc/loadavg: 3.99 3.96 3.79 5/181 15450
/proc/meminfo: memFree=29742320/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=164644 CPUtime=12.57 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 15570 0 0 0 1251 6 0 0 20 0 3 0 285902707 168595456 15088 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 41161 15088 198 433 0 40725 0
[pid=15447/tid=15449] ppid=15445 vsize=164644 CPUtime=6.25 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 8125 0 0 0 621 4 0 0 20 0 3 0 285902708 168595456 15088 33554432000 4194304 5964478 140736090731232 140723770583032 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=164644 CPUtime=6.25 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 6487 0 0 0 623 2 0 0 20 0 3 0 285902708 168595456 15088 33554432000 4194304 5964478 140736090731232 140723760093544 4400522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164644
[startup+12.7002 s]
/proc/loadavg: 3.99 3.96 3.79 5/181 15450
/proc/meminfo: memFree=29692428/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=165864 CPUtime=25.36 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 25468 0 0 0 2525 11 0 0 20 0 3 0 285902707 169844736 24986 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 41466 24986 198 433 0 41030 0
[pid=15447/tid=15449] ppid=15445 vsize=165864 CPUtime=12.64 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 14076 0 0 0 1256 8 0 0 20 0 3 0 285902708 169844736 24986 33554432000 4194304 5964478 140736090731232 140723770583032 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=165864 CPUtime=12.64 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 10434 0 0 0 1261 3 0 0 20 0 3 0 285902708 169844736 24986 33554432000 4194304 5964478 140736090731232 140723760093544 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165864
[startup+25.5003 s]
/proc/loadavg: 3.99 3.96 3.79 5/181 15450
/proc/meminfo: memFree=29618904/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=298188 CPUtime=50.95 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 38857 0 0 0 5079 16 0 0 20 0 3 0 285902707 305344512 38375 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 74547 38375 198 433 0 74111 0
[pid=15447/tid=15449] ppid=15445 vsize=298188 CPUtime=25.4 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 20026 0 0 0 2530 10 0 0 20 0 3 0 285902708 305344512 38375 33554432000 4194304 5964478 140736090731232 140723770583136 4391371 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=298188 CPUtime=25.4 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 17873 0 0 0 2534 6 0 0 20 0 3 0 285902708 305344512 38375 33554432000 4194304 5964478 140736090731232 140723760093256 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 298188
[startup+51.1003 s]
/proc/loadavg: 3.99 3.96 3.79 5/181 15450
/proc/meminfo: memFree=29512964/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=364900 CPUtime=102.14 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 57434 0 0 0 10190 24 0 0 20 0 3 0 285902707 373657600 56952 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 91225 56952 198 433 0 90789 0
[pid=15447/tid=15449] ppid=15445 vsize=364900 CPUtime=50.94 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 33268 0 0 0 5078 16 0 0 20 0 3 0 285902708 373657600 56952 33554432000 4194304 5964478 140736090731232 140723770582944 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=364900 CPUtime=50.93 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 23208 0 0 0 5085 8 0 0 20 0 3 0 285902708 373657600 56952 33554432000 4194304 5964478 140736090731232 140723760093600 4391375 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 364900
[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=30927728/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=431772 CPUtime=204.52 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 87658 0 0 0 20407 45 0 0 20 0 3 0 285902707 442134528 87228 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 107943 87228 198 433 0 107507 0
[pid=15447/tid=15449] ppid=15445 vsize=431772 CPUtime=102 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10168 32 0 0 20 0 3 0 285902708 442134528 87228 33554432000 4194304 5964478 140736090731232 140723770583032 4400454 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=431772 CPUtime=101.99 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 30566 0 0 0 10185 14 0 0 20 0 3 0 285902708 442134528 87228 33554432000 4194304 5964478 140736090731232 140723760093496 4400060 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 431772
Solver just ended. Dumping a history of the last processes samples
[startup+105.5 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30911112/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=431992 CPUtime=210.92 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 89920 0 0 0 21045 47 0 0 20 0 3 0 285902707 442359808 89490 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 107998 89490 198 433 0 107562 0
[pid=15447/tid=15449] ppid=15445 vsize=431992 CPUtime=105.19 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10487 32 0 0 20 0 3 0 285902708 442359808 89490 33554432000 4194304 5964478 140736090731232 140723770583032 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=431992 CPUtime=105.18 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 32828 0 0 0 10502 16 0 0 20 0 3 0 285902708 442359808 89490 33554432000 4194304 5964478 140736090731232 140723760093496 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 210.92
Current children cumulated vsize (KiB) 431992
[startup+107.1 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30908508/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=431992 CPUtime=214.11 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 90875 0 0 0 21363 48 0 0 20 0 3 0 285902707 442359808 90445 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 107998 90445 198 433 0 107562 0
[pid=15447/tid=15449] ppid=15445 vsize=431992 CPUtime=106.78 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10646 32 0 0 20 0 3 0 285902708 442359808 90445 33554432000 4194304 5964478 140736090731232 140723770583032 4399975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=431992 CPUtime=106.77 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 33783 0 0 0 10660 17 0 0 20 0 3 0 285902708 442359808 90445 33554432000 4194304 5964478 140736090731232 140723760093496 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 214.11
Current children cumulated vsize (KiB) 431992
[startup+107.9 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30905160/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=431992 CPUtime=215.7 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 91380 0 0 0 21522 48 0 0 20 0 3 0 285902707 442359808 90950 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 107998 90950 198 433 0 107562 0
[pid=15447/tid=15449] ppid=15445 vsize=431992 CPUtime=107.58 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10726 32 0 0 20 0 3 0 285902708 442359808 90950 33554432000 4194304 5964478 140736090731232 140723770583032 4381686 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=431992 CPUtime=107.57 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 34288 0 0 0 10739 18 0 0 20 0 3 0 285902708 442359808 90950 33554432000 4194304 5964478 140736090731232 140723760093304 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 215.7
Current children cumulated vsize (KiB) 431992
[startup+108.3 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30905160/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=431992 CPUtime=216.51 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 91550 0 0 0 21602 49 0 0 20 0 3 0 285902707 442359808 91120 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 107998 91120 198 433 0 107562 0
[pid=15447/tid=15449] ppid=15445 vsize=431992 CPUtime=107.98 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10766 32 0 0 20 0 3 0 285902708 442359808 91120 33554432000 4194304 5964478 140736090731232 140723770583032 4400022 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=431992 CPUtime=107.97 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 34458 0 0 0 10779 18 0 0 20 0 3 0 285902708 442359808 91120 33554432000 4194304 5964478 140736090731232 140723760093496 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 216.51
Current children cumulated vsize (KiB) 431992
[startup+108.7 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30905160/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=497528 CPUtime=217.31 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 91681 0 0 0 21682 49 0 0 20 0 3 0 285902707 509468672 91251 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 124382 91251 198 433 0 123946 0
[pid=15447/tid=15449] ppid=15445 vsize=497528 CPUtime=108.38 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10806 32 0 0 20 0 3 0 285902708 509468672 91251 33554432000 4194304 5964478 140736090731232 140723770583032 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=497528 CPUtime=108.37 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 34589 0 0 0 10819 18 0 0 20 0 3 0 285902708 509468672 91251 33554432000 4194304 5964478 140736090731232 140723760093496 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 217.31
Current children cumulated vsize (KiB) 497528
[startup+108.8 s]
/proc/loadavg: 3.99 3.97 3.81 5/181 15491
/proc/meminfo: memFree=30903796/32873648 swapFree=7116/7116
[pid=15447] ppid=15445 vsize=497528 CPUtime=217.52 cores=1,3,5,7
/proc/15447/stat : 15447 (pwbo2.01) S 15445 15447 14514 0 -1 4202496 91681 0 0 0 21703 49 0 0 20 0 3 0 285902707 509468672 91251 33554432000 4194304 5964478 140736090731232 140736090730752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15447/statm: 124382 91251 198 433 0 123946 0
[pid=15447/tid=15449] ppid=15445 vsize=497528 CPUtime=108.48 cores=1,3,5,7
/proc/15447/task/15449/stat : 15449 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 56134 0 0 0 10816 32 0 0 20 0 3 0 285902708 509468672 91251 33554432000 4194304 5964478 140736090731232 140723770583032 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=15447/tid=15450] ppid=15445 vsize=497528 CPUtime=108.47 cores=1,3,5,7
/proc/15447/task/15450/stat : 15450 (pwbo2.01) R 15445 15447 14514 0 -1 4202560 34589 0 0 0 10829 18 0 0 20 0 3 0 285902708 509468672 91251 33554432000 4194304 5964478 140736090731232 140723760093496 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 217.52
Current children cumulated vsize (KiB) 497528
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15447 and gives
# childrusage.ru_utime.tv_sec=216
# childrusage.ru_utime.tv_usec=566076
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=541917
# CPU time returned by wait4() is 217.108
# while last known CPU time is 217.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 108.876
CPU time (s): 217.52
CPU user time (s): 217.03
CPU system time (s): 0.49
CPU usage (%): 199.787
Max. virtual memory (cumulated for all children) (KiB): 497528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.566
system time used= 0.541917
maximum resident set size= 365024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91686
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= 262
involuntary context switches= 459
runsolver used 0.207968 second user time and 0.809876 second system time
The end