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-3712736-1338203095/watcher-3712736-1338203095 -o /tmp/evaluation-result-3712736-1338203095/solver-3712736-1338203095 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712736-1338203095.wbo
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: 3.98 4.05 4.01 4/180 24604
/proc/meminfo: memFree=30343968/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) R 24602 24604 22874 0 -1 4202496 435 0 0 0 0 0 0 0 20 0 1 0 286434875 4681728 388 33554432000 4194304 5964478 140736509446256 140736509444504 4395513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 1143 388 168 433 0 683 0
[startup+0.10229 s]
/proc/loadavg: 3.98 4.05 4.01 4/180 24604
/proc/meminfo: memFree=30343968/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=0.18 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 3176 0 0 0 17 1 0 0 20 0 3 0 286434875 168214528 2560 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 2560 198 433 0 40632 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164272
[startup+0.200203 s]
/proc/loadavg: 3.98 4.05 4.01 4/180 24604
/proc/meminfo: memFree=30343968/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=0.37 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 4566 0 0 0 36 1 0 0 20 0 3 0 286434875 168214528 3230 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 3230 198 433 0 40632 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 164272
[startup+0.300167 s]
/proc/loadavg: 3.98 4.05 4.01 4/180 24604
/proc/meminfo: memFree=30343968/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 5269 0 0 0 56 1 0 0 20 0 3 0 286434875 168214528 3529 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 3529 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.70014 s]
/proc/loadavg: 3.98 4.05 4.01 4/180 24604
/proc/meminfo: memFree=30343968/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=1.36 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 7272 0 0 0 135 1 0 0 20 0 3 0 286434875 168214528 4811 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 4811 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272
[startup+1.5003 s]
/proc/loadavg: 3.98 4.05 4.01 5/183 24607
/proc/meminfo: memFree=30317904/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=2.96 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 10223 0 0 0 293 3 0 0 20 0 3 0 286434875 168214528 6536 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 6536 198 433 0 40632 0
[pid=24604/tid=24606] ppid=24602 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 3422 0 0 0 145 1 0 0 20 0 3 0 286434876 168214528 6536 33554432000 4194304 5964478 140736509446256 140455064877048 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 5711 0 0 0 145 1 0 0 20 0 3 0 286434876 168214528 6536 33554432000 4194304 5964478 140736509446256 140455054387864 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272
[startup+3.10031 s]
/proc/loadavg: 3.98 4.05 4.01 5/183 24607
/proc/meminfo: memFree=30308580/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=6.16 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 13402 0 0 0 610 6 0 0 20 0 3 0 286434875 168214528 9303 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 9303 198 433 0 40632 0
[pid=24604/tid=24606] ppid=24602 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 5840 0 0 0 302 4 0 0 20 0 3 0 286434876 168214528 9303 33554432000 4194304 5964478 140736509446256 140455064877048 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 6472 0 0 0 305 1 0 0 20 0 3 0 286434876 168214528 9303 33554432000 4194304 5964478 140736509446256 140455054387864 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272
[startup+6.30031 s]
/proc/loadavg: 4.06 4.07 4.01 5/183 24607
/proc/meminfo: memFree=30277828/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=164272 CPUtime=12.56 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 20223 0 0 0 1241 15 0 0 20 0 3 0 286434875 168214528 15554 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 41068 15554 198 433 0 40632 0
[pid=24604/tid=24606] ppid=24602 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 11769 0 0 0 612 13 0 0 20 0 3 0 286434876 168214528 15554 33554432000 4194304 5964478 140736509446256 140455064877048 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 7364 0 0 0 624 1 0 0 20 0 3 0 286434876 168214528 15554 33554432000 4194304 5964478 140736509446256 140455054387720 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 4.06 4.07 4.01 5/183 24607
/proc/meminfo: memFree=30227228/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=229808 CPUtime=25.36 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 28566 0 0 0 2512 24 0 0 20 0 3 0 286434875 235323392 23895 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 57452 23895 198 433 0 57016 0
[pid=24604/tid=24606] ppid=24602 vsize=229808 CPUtime=12.64 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 19534 0 0 0 1242 22 0 0 20 0 3 0 286434876 235323392 23895 33554432000 4194304 5964478 140736509446256 140455064877048 4391484 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=229808 CPUtime=12.63 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 7942 0 0 0 1262 1 0 0 20 0 3 0 286434876 235323392 23895 33554432000 4194304 5964478 140736509446256 140455054387720 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 229808
[startup+25.5004 s]
/proc/loadavg: 4.04 4.06 4.01 5/183 24607
/proc/meminfo: memFree=30128012/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=295476 CPUtime=50.95 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 48483 0 0 0 5065 30 0 0 20 0 3 0 286434875 302567424 43608 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 73869 43608 198 433 0 73433 0
[pid=24604/tid=24606] ppid=24602 vsize=295476 CPUtime=25.4 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 38481 0 0 0 2513 27 0 0 20 0 3 0 286434876 302567424 43608 33554432000 4194304 5964478 140736509446256 140455064877048 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=295476 CPUtime=25.4 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 8912 0 0 0 2538 2 0 0 20 0 3 0 286434876 302567424 43608 33554432000 4194304 5964478 140736509446256 140455054387512 4403648 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 295476
[startup+51.1004 s]
/proc/loadavg: 4.03 4.06 4.01 5/183 24607
/proc/meminfo: memFree=29978188/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=362580 CPUtime=102.14 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 78254 0 0 0 10160 54 0 0 20 0 3 0 286434875 371281920 73070 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 90645 73070 198 433 0 90209 0
[pid=24604/tid=24606] ppid=24602 vsize=362580 CPUtime=50.94 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 56526 0 0 0 5051 43 0 0 20 0 3 0 286434876 371281920 73070 33554432000 4194304 5964478 140736509446256 140455064877048 4387891 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=362580 CPUtime=50.93 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 20638 0 0 0 5083 10 0 0 20 0 3 0 286434876 371281920 73070 33554432000 4194304 5964478 140736509446256 140455054387560 4403701 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 362580
[startup+102.3 s]
/proc/loadavg: 4.06 4.06 4.01 5/183 24607
/proc/meminfo: memFree=29730720/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=560732 CPUtime=204.54 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 119423 0 0 0 20380 74 0 0 20 0 3 0 286434875 574189568 114059 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 140183 114059 198 433 0 139747 0
[pid=24604/tid=24606] ppid=24602 vsize=560732 CPUtime=102.01 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 73287 0 0 0 10146 55 0 0 20 0 3 0 286434876 574189568 114059 33554432000 4194304 5964478 140736509446256 140455064877048 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=560732 CPUtime=102 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 45046 0 0 0 10180 20 0 0 20 0 3 0 286434876 574189568 114059 33554432000 4194304 5964478 140736509446256 140455054387864 4403676 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 560732
[startup+162.3 s]
/proc/loadavg: 3.95 4.03 4.00 5/183 24648
/proc/meminfo: memFree=30423696/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=823660 CPUtime=324.48 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 173534 0 0 0 32354 94 0 0 20 0 3 0 286434875 843427840 168534 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 205915 168534 198 433 0 205479 0
[pid=24604/tid=24606] ppid=24602 vsize=823660 CPUtime=161.83 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 115567 0 0 0 16110 73 0 0 20 0 3 0 286434876 843427840 168534 33554432000 4194304 5964478 140736509446256 140455064877048 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=823660 CPUtime=161.84 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 56877 0 0 0 16160 24 0 0 20 0 3 0 286434876 843427840 168534 33554432000 4194304 5964478 140736509446256 140455054387272 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 823660
[startup+222.307 s]
/proc/loadavg: 3.98 4.02 4.00 5/183 24649
/proc/meminfo: memFree=30070944/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=890796 CPUtime=444.43 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 189839 0 0 0 44342 101 0 0 20 0 3 0 286434875 912175104 183716 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 222699 183716 198 433 0 222263 0
[pid=24604/tid=24606] ppid=24602 vsize=890796 CPUtime=221.67 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 115599 0 0 0 22093 74 0 0 20 0 3 0 286434876 912175104 183716 33554432000 4194304 5964478 140736509446256 140455064876960 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=890796 CPUtime=221.66 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 73150 0 0 0 22134 32 0 0 20 0 3 0 286434876 912175104 183716 33554432000 4194304 5964478 140736509446256 140455054387544 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 890796
[startup+282.3 s]
/proc/loadavg: 3.99 4.02 4.00 5/183 24649
/proc/meminfo: memFree=29728608/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1022984 CPUtime=564.34 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 224320 0 0 0 56321 113 0 0 20 0 3 0 286434875 1047535616 218194 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 255746 218194 198 433 0 255310 0
[pid=24604/tid=24606] ppid=24602 vsize=1022984 CPUtime=281.47 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 133538 0 0 0 28066 81 0 0 20 0 3 0 286434876 1047535616 218194 33554432000 4194304 5964478 140736509446256 140455064877048 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1022984 CPUtime=281.48 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 89692 0 0 0 28108 40 0 0 20 0 3 0 286434876 1047535616 218194 33554432000 4194304 5964478 140736509446256 140455054387512 4400460 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.34
Current children cumulated vsize (KiB) 1022984
[startup+342.3 s]
/proc/loadavg: 4.04 4.03 4.00 5/184 24652
/proc/meminfo: memFree=29491788/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1154956 CPUtime=684.28 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 262518 0 0 0 68298 130 0 0 20 0 3 0 286434875 1182674944 256291 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 288739 256291 198 433 0 288303 0
################
# More data... #
################
[pid=24604/tid=24607] ppid=24602 vsize=1154956 CPUtime=341.31 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 90245 0 0 0 34090 41 0 0 20 0 3 0 286434876 1182674944 256291 33554432000 4194304 5964478 140736509446256 140455054387544 4390961 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (KiB) 1154956
[startup+402.3 s]
/proc/loadavg: 4.01 4.02 4.00 5/183 24652
/proc/meminfo: memFree=29074688/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1286568 CPUtime=804.21 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 304313 0 0 0 80272 149 0 0 20 0 3 0 286434875 1317445632 298058 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 321642 298058 198 433 0 321206 0
[pid=24604/tid=24606] ppid=24602 vsize=1286568 CPUtime=401.1 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 212963 0 0 0 39992 118 0 0 20 0 3 0 286434876 1317445632 298058 33554432000 4194304 5964478 140736509446256 140455064877048 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1286568 CPUtime=401.15 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 90260 0 0 0 40073 42 0 0 20 0 3 0 286434876 1317445632 298058 33554432000 4194304 5964478 140736509446256 140455054387616 4403661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.21
Current children cumulated vsize (KiB) 1286568
[startup+462.3 s]
/proc/loadavg: 4.00 4.02 4.00 5/183 24652
/proc/meminfo: memFree=28792864/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1417972 CPUtime=924.14 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 332078 0 0 0 92251 163 0 0 20 0 3 0 286434875 1452003328 325793 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 354493 325793 198 433 0 354057 0
[pid=24604/tid=24606] ppid=24602 vsize=1417972 CPUtime=460.9 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 240633 0 0 0 45958 132 0 0 20 0 3 0 286434876 1452003328 325793 33554432000 4194304 5964478 140736509446256 140455064876856 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1417972 CPUtime=460.99 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 90355 0 0 0 46056 43 0 0 20 0 3 0 286434876 1452003328 325793 33554432000 4194304 5964478 140736509446256 140455054387272 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.14
Current children cumulated vsize (KiB) 1417972
[startup+522.3 s]
/proc/loadavg: 4.04 4.03 4.00 5/183 24653
/proc/meminfo: memFree=28659220/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1418304 CPUtime=1044.07 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 335816 0 0 0 104243 164 0 0 20 0 3 0 286434875 1452343296 329485 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 354576 329485 198 433 0 354140 0
[pid=24604/tid=24606] ppid=24602 vsize=1418304 CPUtime=520.7 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 240681 0 0 0 51937 133 0 0 20 0 3 0 286434876 1452343296 329485 33554432000 4194304 5964478 140736509446256 140455064876856 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1418304 CPUtime=520.83 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 94045 0 0 0 52038 45 0 0 20 0 3 0 286434876 1452343296 329485 33554432000 4194304 5964478 140736509446256 140455054387272 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.07
Current children cumulated vsize (KiB) 1418304
[startup+582.3 s]
/proc/loadavg: 4.01 4.02 4.00 5/183 24653
/proc/meminfo: memFree=28506992/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1418492 CPUtime=1164.03 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 340121 0 0 0 116236 167 0 0 20 0 3 0 286434875 1452535808 335217 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 354623 335217 198 433 0 354187 0
[pid=24604/tid=24606] ppid=24602 vsize=1418492 CPUtime=580.54 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 240692 0 0 0 57920 134 0 0 20 0 3 0 286434876 1452535808 335217 33554432000 4194304 5964478 140736509446256 140455064876856 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1418492 CPUtime=580.65 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 98339 0 0 0 58017 48 0 0 20 0 3 0 286434876 1452535808 335217 33554432000 4194304 5964478 140736509446256 140455054387864 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.03
Current children cumulated vsize (KiB) 1418492
[startup+642.3 s]
/proc/loadavg: 4.00 4.01 4.00 5/183 24653
/proc/meminfo: memFree=28463248/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1418808 CPUtime=1284.01 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 340185 0 0 0 128234 167 0 0 20 0 3 0 286434875 1452859392 335281 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 354702 335281 198 433 0 354266 0
[pid=24604/tid=24606] ppid=24602 vsize=1418808 CPUtime=640.39 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 240705 0 0 0 63904 135 0 0 20 0 3 0 286434876 1452859392 335281 33554432000 4194304 5964478 140736509446256 140455064876960 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1418808 CPUtime=640.49 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 98390 0 0 0 64000 49 0 0 20 0 3 0 286434876 1452859392 335281 33554432000 4194304 5964478 140736509446256 140455054387272 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.01
Current children cumulated vsize (KiB) 1418808
[startup+702.3 s]
/proc/loadavg: 4.00 4.01 4.00 5/183 24653
/proc/meminfo: memFree=28454660/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1419348 CPUtime=1403.99 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 340323 0 0 0 140232 167 0 0 20 0 3 0 286434875 1453412352 335419 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 354837 335419 198 433 0 354401 0
[pid=24604/tid=24606] ppid=24602 vsize=1419348 CPUtime=700.24 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 240728 0 0 0 69888 136 0 0 20 0 3 0 286434876 1453412352 335419 33554432000 4194304 5964478 140736509446256 140455064876960 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1419348 CPUtime=700.34 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 98505 0 0 0 69984 50 0 0 20 0 3 0 286434876 1453412352 335419 33554432000 4194304 5964478 140736509446256 140455054387272 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.99
Current children cumulated vsize (KiB) 1419348
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/183 24653
/proc/meminfo: memFree=28242772/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1550752 CPUtime=1523.98 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 380103 0 0 0 152215 183 0 0 20 0 3 0 286434875 1587970048 375199 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 387688 375199 198 433 0 387252 0
[pid=24604/tid=24606] ppid=24602 vsize=1550752 CPUtime=760.09 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 260143 0 0 0 75863 146 0 0 20 0 3 0 286434876 1587970048 375199 33554432000 4194304 5964478 140736509446256 140455064877048 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1550752 CPUtime=760.19 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 118870 0 0 0 75961 58 0 0 20 0 3 0 286434876 1587970048 375199 33554432000 4194304 5964478 140736509446256 140455054387512 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 1550752
[startup+822.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/183 24654
/proc/meminfo: memFree=27974092/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1682548 CPUtime=1643.96 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 409664 0 0 0 164198 198 0 0 20 0 3 0 286434875 1722929152 404672 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 420637 404672 198 433 0 420201 0
[pid=24604/tid=24606] ppid=24602 vsize=1682548 CPUtime=819.93 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 289677 0 0 0 81831 162 0 0 20 0 3 0 286434876 1722929152 404672 33554432000 4194304 5964478 140736509446256 140455064877048 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1682548 CPUtime=820.03 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 118897 0 0 0 81944 59 0 0 20 0 3 0 286434876 1722929152 404672 33554432000 4194304 5964478 140736509446256 140455054387544 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.96
Current children cumulated vsize (KiB) 1682548
[startup+882.307 s]
/proc/loadavg: 4.02 4.01 4.00 5/183 24654
/proc/meminfo: memFree=27697228/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1879772 CPUtime=1763.95 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 454729 0 0 0 176178 217 0 0 20 0 3 0 286434875 1924886528 449737 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 469943 449737 198 433 0 469507 0
[pid=24604/tid=24606] ppid=24602 vsize=1879772 CPUtime=879.78 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 322239 0 0 0 87801 177 0 0 20 0 3 0 286434876 1924886528 449737 33554432000 4194304 5964478 140736509446256 140455064877048 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1879772 CPUtime=879.88 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 131400 0 0 0 87924 64 0 0 20 0 3 0 286434876 1924886528 449737 33554432000 4194304 5964478 140736509446256 140455054387616 4403701 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.95
Current children cumulated vsize (KiB) 1879772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.01 4.01 4.00 5/183 24654
/proc/meminfo: memFree=27632220/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1945544 CPUtime=1800.14 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 464066 0 0 0 179793 221 0 0 20 0 3 0 286434875 1992237056 459074 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 486386 459074 198 433 0 485950 0
[pid=24604/tid=24606] ppid=24602 vsize=1945544 CPUtime=897.83 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 331505 0 0 0 89601 182 0 0 20 0 3 0 286434876 1992237056 459074 33554432000 4194304 5964478 140736509446256 140455064877048 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1945544 CPUtime=897.94 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 131471 0 0 0 89730 64 0 0 20 0 3 0 286434876 1992237056 459074 33554432000 4194304 5964478 140736509446256 140455054387272 4400500 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 1945544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.4 s]
/proc/loadavg: 4.01 4.01 4.00 5/183 24654
/proc/meminfo: memFree=27632220/32873844 swapFree=7112/7112
[pid=24604] ppid=24602 vsize=1945544 CPUtime=1800.14 cores=0,2,4,6
/proc/24604/stat : 24604 (pwbo2.01) S 24602 24604 22874 0 -1 4202496 464066 0 0 0 179793 221 0 0 20 0 3 0 286434875 1992237056 459074 33554432000 4194304 5964478 140736509446256 140736509445776 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24604/statm: 486386 459074 198 433 0 485950 0
[pid=24604/tid=24606] ppid=24602 vsize=1945544 CPUtime=897.83 cores=0,2,4,6
/proc/24604/task/24606/stat : 24606 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 331505 0 0 0 89601 182 0 0 20 0 3 0 286434876 1992237056 459074 33554432000 4194304 5964478 140736509446256 140455064877048 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24604/tid=24607] ppid=24602 vsize=1945544 CPUtime=897.94 cores=0,2,4,6
/proc/24604/task/24607/stat : 24607 (pwbo2.01) R 24602 24604 22874 0 -1 4202560 131471 0 0 0 89730 64 0 0 20 0 3 0 286434876 1992237056 459074 33554432000 4194304 5964478 140736509446256 140455054387272 4400500 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 1945544
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24604 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=334371
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=563610
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.492
CPU time (s): 1800.14
CPU user time (s): 1797.93
CPU system time (s): 2.21
CPU usage (%): 199.906
Max. virtual memory (cumulated for all children) (KiB): 1945544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 2.56361
maximum resident set size= 1836304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464068
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= 738
involuntary context switches= 1967
runsolver used 1.58176 second user time and 5.35319 second system time
The end