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-3728579-1338672292/watcher-3728579-1338672292 -o /tmp/evaluation-result-3728579-1338672292/solver-3728579-1338672292 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728579-1338672292.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.94 3.84 4/178 20170
/proc/meminfo: memFree=28356956/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 890 0 0 0 0 0 0 0 20 0 3 0 333353711 166387712 837 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40622 838 195 433 0 40186 0
[pid=20170/tid=20171] ppid=20168 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 3 0 333353711 166387712 838 33554432000 4194304 5964478 140733438302512 140183118629976 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162488 CPUtime=0 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 3 0 333353712 166387712 838 33554432000 4194304 5964478 140733438302512 140183108140080 4373453 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0942191 s]
/proc/loadavg: 3.99 3.94 3.84 4/178 20170
/proc/meminfo: memFree=28356956/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162488 CPUtime=0.17 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 1449 0 0 0 17 0 0 0 20 0 3 0 333353711 166387712 1396 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40622 1396 198 433 0 40186 0
[pid=20170/tid=20171] ppid=20168 vsize=162488 CPUtime=0.07 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 399 0 0 0 7 0 0 0 20 0 3 0 333353711 166387712 1396 33554432000 4194304 5964478 140733438302512 140183118628856 5136490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162488 CPUtime=0.07 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 266 0 0 0 7 0 0 0 20 0 3 0 333353712 166387712 1396 33554432000 4194304 5964478 140733438302512 140183108139312 4392944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 162488
[startup+0.100226 s]
/proc/loadavg: 3.99 3.94 3.84 4/178 20170
/proc/meminfo: memFree=28356956/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162488 CPUtime=0.18 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 1479 0 0 0 18 0 0 0 20 0 3 0 333353711 166387712 1426 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40622 1426 198 433 0 40186 0
[pid=20170/tid=20171] ppid=20168 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 416 0 0 0 8 0 0 0 20 0 3 0 333353711 166387712 1426 33554432000 4194304 5964478 140733438302512 140183118628856 4400490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162488 CPUtime=0.08 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 279 0 0 0 8 0 0 0 20 0 3 0 333353712 166387712 1426 33554432000 4194304 5964478 140733438302512 140183108139312 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.300282 s]
/proc/loadavg: 3.99 3.94 3.84 4/178 20170
/proc/meminfo: memFree=28356956/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162488 CPUtime=0.58 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 2179 0 0 0 57 1 0 0 20 0 3 0 333353711 166387712 2126 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40622 2126 198 433 0 40186 0
[pid=20170/tid=20171] ppid=20168 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 859 0 0 0 27 1 0 0 20 0 3 0 333353711 166387712 2126 33554432000 4194304 5964478 140733438302512 140183118628664 4400097 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162488 CPUtime=0.28 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 536 0 0 0 28 0 0 0 20 0 3 0 333353712 166387712 2126 33554432000 4194304 5964478 140733438302512 140183108139128 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162488
[startup+0.700293 s]
/proc/loadavg: 3.99 3.94 3.84 4/178 20170
/proc/meminfo: memFree=28356956/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162632 CPUtime=1.37 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 3029 0 0 0 135 2 0 0 20 0 3 0 333353711 166535168 2976 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40658 2976 198 433 0 40222 0
[pid=20170/tid=20171] ppid=20168 vsize=162632 CPUtime=0.68 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 1455 0 0 0 66 2 0 0 20 0 3 0 333353711 166535168 2976 33554432000 4194304 5964478 140733438302512 140183118628664 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162632 CPUtime=0.68 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 790 0 0 0 68 0 0 0 20 0 3 0 333353712 166535168 2976 33554432000 4194304 5964478 140733438302512 140183108139368 4389172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 162632
[startup+1.50032 s]
/proc/loadavg: 3.99 3.94 3.84 5/181 20173
/proc/meminfo: memFree=28343888/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162848 CPUtime=2.96 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 3861 0 0 0 293 3 0 0 20 0 3 0 333353711 166756352 3808 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40712 3808 198 433 0 40276 0
[pid=20170/tid=20171] ppid=20168 vsize=162848 CPUtime=1.48 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 1934 0 0 0 145 3 0 0 20 0 3 0 333353711 166756352 3808 33554432000 4194304 5964478 140733438302512 140183118628664 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162848 CPUtime=1.47 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 1143 0 0 0 147 0 0 0 20 0 3 0 333353712 166756352 3808 33554432000 4194304 5964478 140733438302512 140183108139312 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 162848
[startup+3.10033 s]
/proc/loadavg: 3.99 3.94 3.84 5/181 20173
/proc/meminfo: memFree=28339292/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=162992 CPUtime=6.16 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 5097 0 0 0 610 6 0 0 20 0 3 0 333353711 166903808 5044 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40748 5045 198 433 0 40312 0
[pid=20170/tid=20171] ppid=20168 vsize=162992 CPUtime=3.07 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 2956 0 0 0 302 5 0 0 20 0 3 0 333353711 166903808 5045 33554432000 4194304 5964478 140733438302512 140183118628768 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=162992 CPUtime=3.06 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 1358 0 0 0 306 0 0 0 20 0 3 0 333353712 166903808 5045 33554432000 4194304 5964478 140733438302512 140183108139312 4403564 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 162992
[startup+6.30036 s]
/proc/loadavg: 3.99 3.94 3.84 5/181 20173
/proc/meminfo: memFree=28327920/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=163384 CPUtime=12.56 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 8015 0 0 0 1248 8 0 0 20 0 3 0 333353711 167305216 7962 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40846 7962 198 433 0 40410 0
[pid=20170/tid=20171] ppid=20168 vsize=163384 CPUtime=6.26 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 4709 0 0 0 619 7 0 0 20 0 3 0 333353711 167305216 7962 33554432000 4194304 5964478 140733438302512 140183118628904 4400097 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=163384 CPUtime=6.25 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 2522 0 0 0 624 1 0 0 20 0 3 0 333353712 167305216 7962 33554432000 4194304 5964478 140733438302512 140183108139312 4403677 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 163384
[startup+12.7004 s]
/proc/loadavg: 3.91 3.93 3.83 5/181 20173
/proc/meminfo: memFree=28318388/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=163568 CPUtime=25.35 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 9625 0 0 0 2526 9 0 0 20 0 3 0 333353711 167493632 9461 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40892 9461 200 433 0 40456 0
[pid=20170/tid=20171] ppid=20168 vsize=163568 CPUtime=12.65 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6165 0 0 0 1258 7 0 0 20 0 3 0 333353711 167493632 9461 33554432000 4194304 5964478 140733438302512 140183118628768 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=163568 CPUtime=12.62 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 2676 0 0 0 1261 1 0 0 20 0 3 0 333353712 167493632 9461 33554432000 4194304 5964478 140733438302512 140183108139312 4400033 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 163568
[startup+25.5004 s]
/proc/loadavg: 3.85 3.91 3.83 5/181 20173
/proc/meminfo: memFree=28288836/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=163944 CPUtime=50.93 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 14176 0 0 0 5082 11 0 0 20 0 3 0 333353711 167878656 13755 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 40986 13755 200 433 0 40550 0
[pid=20170/tid=20171] ppid=20168 vsize=163944 CPUtime=25.41 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 10347 0 0 0 2531 10 0 0 20 0 3 0 333353711 167878656 13755 33554432000 4194304 5964478 140733438302512 140183118628768 4400115 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=163944 CPUtime=25.39 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 3045 0 0 0 2538 1 0 0 20 0 3 0 333353712 167878656 13755 33554432000 4194304 5964478 140733438302512 140183108139128 4400496 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 163944
[startup+51.1004 s]
/proc/loadavg: 3.90 3.92 3.83 5/181 20213
/proc/meminfo: memFree=28398720/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=164776 CPUtime=102.11 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 18666 0 0 0 10192 19 0 0 20 0 3 0 333353711 168730624 17970 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 41194 17970 200 433 0 40758 0
[pid=20170/tid=20171] ppid=20168 vsize=164776 CPUtime=50.93 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 13262 0 0 0 5078 15 0 0 20 0 3 0 333353711 168730624 17970 33554432000 4194304 5964478 140733438302512 140183118628768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=164776 CPUtime=50.92 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 4620 0 0 0 5089 3 0 0 20 0 3 0 333353712 168730624 17970 33554432000 4194304 5964478 140733438302512 140183108139312 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 164776
[startup+102.307 s]
/proc/loadavg: 3.95 3.93 3.84 5/181 20213
/proc/meminfo: memFree=28329540/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=231044 CPUtime=204.49 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 25829 0 0 0 20427 22 0 0 20 0 3 0 333353711 236589056 26376 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 57761 26376 200 433 0 57325 0
[pid=20170/tid=20171] ppid=20168 vsize=231044 CPUtime=101.99 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 19257 0 0 0 10181 18 0 0 20 0 3 0 333353711 236589056 26376 33554432000 4194304 5964478 140733438302512 140183118628960 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=231044 CPUtime=101.98 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 5788 0 0 0 10193 5 0 0 20 0 3 0 333353712 236589056 26376 33554432000 4194304 5964478 140733438302512 140183108139128 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 231044
[startup+162.3 s]
/proc/loadavg: 3.98 3.94 3.84 5/181 20254
/proc/meminfo: memFree=28070876/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=229444 CPUtime=324.45 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 30541 0 0 0 32421 24 0 0 20 0 3 0 333353711 234950656 30299 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 57361 30299 200 433 0 56925 0
[pid=20170/tid=20171] ppid=20168 vsize=229444 CPUtime=161.83 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 22971 0 0 0 16163 20 0 0 20 0 3 0 333353711 234950656 30299 33554432000 4194304 5964478 140733438302512 140183118629816 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=229444 CPUtime=161.8 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6786 0 0 0 16173 7 0 0 20 0 3 0 333353712 234950656 30299 33554432000 4194304 5964478 140733438302512 140183108139312 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 229444
[startup+222.3 s]
/proc/loadavg: 3.99 3.95 3.85 5/181 20254
/proc/meminfo: memFree=27834520/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=232008 CPUtime=444.41 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 36214 0 0 0 44417 24 0 0 20 0 3 0 333353711 237576192 35972 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 58002 35972 200 433 0 57566 0
[pid=20170/tid=20171] ppid=20168 vsize=232008 CPUtime=221.68 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 28612 0 0 0 22147 21 0 0 20 0 3 0 333353711 237576192 35972 33554432000 4194304 5964478 140733438302512 140183118628768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=232008 CPUtime=221.63 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6818 0 0 0 22155 8 0 0 20 0 3 0 333353712 237576192 35972 33554432000 4194304 5964478 140733438302512 140183108139312 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 232008
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 3.99 3.95 3.85 5/181 20254
/proc/meminfo: memFree=27830676/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=232008 CPUtime=447.61 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 36218 0 0 0 44737 24 0 0 20 0 3 0 333353711 237576192 35976 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 58002 35976 200 433 0 57566 0
[pid=20170/tid=20171] ppid=20168 vsize=232008 CPUtime=223.28 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 28616 0 0 0 22307 21 0 0 20 0 3 0 333353711 237576192 35976 33554432000 4194304 5964478 140733438302512 140183118628768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=232008 CPUtime=223.23 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6818 0 0 0 22315 8 0 0 20 0 3 0 333353712 237576192 35976 33554432000 4194304 5964478 140733438302512 140183108139312 4400109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 447.61
Current children cumulated vsize (KiB) 232008
[startup+225.507 s]
/proc/loadavg: 3.99 3.95 3.85 5/181 20254
/proc/meminfo: memFree=27819872/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=232008 CPUtime=450.82 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 36230 0 0 0 45058 24 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 58002 36329 200 433 0 57566 0
[pid=20170/tid=20171] ppid=20168 vsize=232008 CPUtime=224.87 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 28627 0 0 0 22466 21 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140183118628768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=232008 CPUtime=224.83 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6819 0 0 0 22475 8 0 0 20 0 3 0 333353712 237576192 36329 33554432000 4194304 5964478 140733438302512 140183108139312 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 450.82
Current children cumulated vsize (KiB) 232008
[startup+226.3 s]
/proc/loadavg: 3.99 3.95 3.85 5/181 20254
/proc/meminfo: memFree=27819872/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=232008 CPUtime=452.4 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 36230 0 0 0 45216 24 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 58002 36329 200 433 0 57566 0
[pid=20170/tid=20171] ppid=20168 vsize=232008 CPUtime=225.66 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 28627 0 0 0 22545 21 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140183118628768 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=232008 CPUtime=225.62 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6819 0 0 0 22554 8 0 0 20 0 3 0 333353712 237576192 36329 33554432000 4194304 5964478 140733438302512 140183108139424 4400435 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 452.4
Current children cumulated vsize (KiB) 232008
[startup+226.7 s]
/proc/loadavg: 3.99 3.95 3.85 5/181 20254
/proc/meminfo: memFree=27816648/32873648 swapFree=7388/7388
[pid=20170] ppid=20168 vsize=232008 CPUtime=453.2 cores=1,3,5,7
/proc/20170/stat : 20170 (pwbo2.02) S 20168 20170 19426 0 -1 4202496 36230 0 0 0 45296 24 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140733438302032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20170/statm: 58002 36329 200 433 0 57566 0
[pid=20170/tid=20171] ppid=20168 vsize=232008 CPUtime=226.06 cores=1,3,5,7
/proc/20170/task/20171/stat : 20171 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 28627 0 0 0 22585 21 0 0 20 0 3 0 333353711 237576192 36329 33554432000 4194304 5964478 140733438302512 140183118628768 4400416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20170/tid=20172] ppid=20168 vsize=232008 CPUtime=226.02 cores=1,3,5,7
/proc/20170/task/20172/stat : 20172 (pwbo2.02) R 20168 20170 19426 0 -1 4202560 6819 0 0 0 22594 8 0 0 20 0 3 0 333353712 237576192 36329 33554432000 4194304 5964478 140733438302512 140183108139424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 453.2
Current children cumulated vsize (KiB) 232008
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20170 and gives
# childrusage.ru_utime.tv_sec=451
# childrusage.ru_utime.tv_usec=932295
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=320951
# CPU time returned by wait4() is 452.253
# while last known CPU time is 453.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 226.77
CPU time (s): 453.2
CPU user time (s): 452.96
CPU system time (s): 0.24
CPU usage (%): 199.85
Max. virtual memory (cumulated for all children) (KiB): 232692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 451.932
system time used= 0.320951
maximum resident set size= 145336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36235
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= 526
involuntary context switches= 695
runsolver used 0.400939 second user time and 1.21481 second system time
The end