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-3712461-1338196719/watcher-3712461-1338196719 -o /tmp/evaluation-result-3712461-1338196719/solver-3712461-1338196719 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712461-1338196719.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.75 3.95 3.83 4/180 23210
/proc/meminfo: memFree=31302744/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=4300 CPUtime=0 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) R 23208 23210 22874 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 285797238 4403200 338 33554432000 4194304 5964478 140737042663232 140736053112840 4344643 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 1075 338 169 433 0 617 0
[startup+0.0347159 s]
/proc/loadavg: 3.75 3.95 3.83 4/180 23210
/proc/meminfo: memFree=31302744/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=163348 CPUtime=0.05 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 1682 0 0 0 5 0 0 0 20 0 3 0 285797238 167268352 1459 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 40837 1459 198 433 0 40401 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 163348
[startup+0.100163 s]
/proc/loadavg: 3.75 3.95 3.83 4/180 23210
/proc/meminfo: memFree=31302744/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=163348 CPUtime=0.18 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 2047 0 0 0 18 0 0 0 20 0 3 0 285797238 167268352 1783 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 40837 1783 198 433 0 40401 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163348
[startup+0.300119 s]
/proc/loadavg: 3.75 3.95 3.83 4/180 23210
/proc/meminfo: memFree=31302744/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=163348 CPUtime=0.57 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 2865 0 0 0 57 0 0 0 20 0 3 0 285797238 167268352 2494 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 40837 2494 198 433 0 40401 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163348
[startup+0.700125 s]
/proc/loadavg: 3.75 3.95 3.83 4/180 23210
/proc/meminfo: memFree=31302744/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=163480 CPUtime=1.37 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 3661 0 0 0 137 0 0 0 20 0 3 0 285797238 167403520 3257 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 40870 3257 198 433 0 40434 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163480
[startup+1.5003 s]
/proc/loadavg: 3.75 3.95 3.83 5/183 23213
/proc/meminfo: memFree=31279300/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=163748 CPUtime=2.97 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 4591 0 0 0 296 1 0 0 20 0 3 0 285797238 167677952 4172 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 40937 4172 198 433 0 40501 0
[pid=23210/tid=23212] ppid=23208 vsize=163748 CPUtime=1.47 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 2121 0 0 0 147 0 0 0 20 0 3 0 285797239 167677952 4172 33554432000 4194304 5964478 140737042663232 140261747218416 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=163748 CPUtime=1.47 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 1512 0 0 0 147 0 0 0 20 0 3 0 285797239 167677952 4172 33554432000 4194304 5964478 140737042663232 140261736728992 4400500 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163748
[startup+3.1003 s]
/proc/loadavg: 3.75 3.95 3.83 5/183 23213
/proc/meminfo: memFree=31265116/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=164012 CPUtime=6.17 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 6603 0 0 0 615 2 0 0 20 0 3 0 285797238 167948288 6168 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 41003 6168 198 433 0 40567 0
[pid=23210/tid=23212] ppid=23208 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 3732 0 0 0 305 1 0 0 20 0 3 0 285797239 167948288 6168 33554432000 4194304 5964478 140737042663232 140261747218424 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 1913 0 0 0 306 0 0 0 20 0 3 0 285797239 167948288 6168 33554432000 4194304 5964478 140737042663232 140261736728880 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164012
[startup+6.30032 s]
/proc/loadavg: 3.77 3.95 3.83 5/183 23213
/proc/meminfo: memFree=31222212/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=164880 CPUtime=12.57 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 12537 0 0 0 1252 5 0 0 20 0 3 0 285797238 168837120 12102 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 41220 12102 198 433 0 40784 0
[pid=23210/tid=23212] ppid=23208 vsize=164880 CPUtime=6.26 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 6825 0 0 0 623 3 0 0 20 0 3 0 285797239 168837120 12102 33554432000 4194304 5964478 140737042663232 140261747218424 4400526 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=164880 CPUtime=6.26 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 4754 0 0 0 625 1 0 0 20 0 3 0 285797239 168837120 12102 33554432000 4194304 5964478 140737042663232 140261736728888 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164880
[startup+12.7003 s]
/proc/loadavg: 3.79 3.95 3.83 5/183 23213
/proc/meminfo: memFree=31138964/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=166088 CPUtime=25.37 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 20849 0 0 0 2528 9 0 0 20 0 3 0 285797238 170074112 20394 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 41522 20394 198 433 0 41086 0
[pid=23210/tid=23212] ppid=23208 vsize=166088 CPUtime=12.64 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 11728 0 0 0 1259 5 0 0 20 0 3 0 285797239 170074112 20394 33554432000 4194304 5964478 140737042663232 140261747218424 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=166088 CPUtime=12.64 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 8163 0 0 0 1261 3 0 0 20 0 3 0 285797239 170074112 20394 33554432000 4194304 5964478 140737042663232 140261736728648 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166088
[startup+25.5003 s]
/proc/loadavg: 3.84 3.95 3.83 5/183 23213
/proc/meminfo: memFree=31024728/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=232544 CPUtime=50.96 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 36593 0 0 0 5080 16 0 0 20 0 3 0 285797238 238125056 36138 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 58136 36138 198 433 0 57700 0
[pid=23210/tid=23212] ppid=23208 vsize=232544 CPUtime=25.41 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 21139 0 0 0 2532 9 0 0 20 0 3 0 285797239 238125056 36138 33554432000 4194304 5964478 140737042663232 140261747218424 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=232544 CPUtime=25.41 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 14496 0 0 0 2534 7 0 0 20 0 3 0 285797239 238125056 36138 33554432000 4194304 5964478 140737042663232 140261736728888 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 232544
[startup+51.1003 s]
/proc/loadavg: 3.89 3.95 3.83 5/183 23213
/proc/meminfo: memFree=30855684/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=365236 CPUtime=102.15 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 60843 0 0 0 10187 28 0 0 20 0 3 0 285797238 374001664 60388 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 91309 60388 198 433 0 90873 0
[pid=23210/tid=23212] ppid=23208 vsize=365236 CPUtime=50.94 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 34582 0 0 0 5078 16 0 0 20 0 3 0 285797239 374001664 60388 33554432000 4194304 5964478 140737042663232 140261747218424 4400060 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=365236 CPUtime=50.94 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 25303 0 0 0 5082 12 0 0 20 0 3 0 285797239 374001664 60388 33554432000 4194304 5964478 140737042663232 140261736728888 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 365236
[startup+102.307 s]
/proc/loadavg: 3.95 3.96 3.84 5/184 23216
/proc/meminfo: memFree=30728992/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=433344 CPUtime=204.54 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 85495 0 0 0 20411 43 0 0 20 0 3 0 285797238 443744256 85040 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 108336 85040 198 433 0 107900 0
[pid=23210/tid=23212] ppid=23208 vsize=433344 CPUtime=102.01 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 49229 0 0 0 10174 27 0 0 20 0 3 0 285797239 443744256 85040 33554432000 4194304 5964478 140737042663232 140261747218424 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=433344 CPUtime=102.01 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 35308 0 0 0 10183 18 0 0 20 0 3 0 285797239 443744256 85040 33554432000 4194304 5964478 140737042663232 140261736728648 4400022 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 433344
[startup+162.3 s]
/proc/loadavg: 3.98 3.97 3.84 5/183 23217
/proc/meminfo: memFree=30518756/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=500416 CPUtime=324.51 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 103991 0 0 0 32393 58 0 0 20 0 3 0 285797238 512425984 103933 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 125104 103933 198 433 0 124668 0
[pid=23210/tid=23212] ppid=23208 vsize=500416 CPUtime=161.85 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 60142 0 0 0 16147 38 0 0 20 0 3 0 285797239 512425984 103933 33554432000 4194304 5964478 140737042663232 140261747218424 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=500416 CPUtime=161.85 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 42891 0 0 0 16161 24 0 0 20 0 3 0 285797239 512425984 103933 33554432000 4194304 5964478 140737042663232 140261736728648 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 500416
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.85 5/183 23257
/proc/meminfo: memFree=30659604/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=634452 CPUtime=444.43 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 131191 0 0 0 44368 75 0 0 20 0 3 0 285797238 649678848 131218 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 158613 131218 198 433 0 158177 0
[pid=23210/tid=23212] ppid=23208 vsize=634452 CPUtime=221.65 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 76287 0 0 0 22115 50 0 0 20 0 3 0 285797239 649678848 131218 33554432000 4194304 5964478 140737042663232 140261747218336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=634452 CPUtime=221.69 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 53946 0 0 0 22138 31 0 0 20 0 3 0 285797239 649678848 131218 33554432000 4194304 5964478 140737042663232 140261736728648 4400474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 634452
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.85 5/183 23257
/proc/meminfo: memFree=30362900/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=635068 CPUtime=564.36 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 138830 0 0 0 56356 80 0 0 20 0 3 0 285797238 650309632 138859 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 158767 138859 198 433 0 158331 0
[pid=23210/tid=23212] ppid=23208 vsize=635068 CPUtime=281.44 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 76369 0 0 0 28093 51 0 0 20 0 3 0 285797239 650309632 138859 33554432000 4194304 5964478 140737042663232 140261747218336 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=635068 CPUtime=281.53 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 61503 0 0 0 28116 37 0 0 20 0 3 0 285797239 650309632 138859 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 635068
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/183 23257
/proc/meminfo: memFree=30136504/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=702504 CPUtime=684.28 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 150050 0 0 0 68337 91 0 0 20 0 3 0 285797238 719364096 150032 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 175626 150032 198 433 0 175190 0
################
# More data... #
################
/proc/loadavg: 4.06 3.99 3.88 5/183 23298
/proc/meminfo: memFree=30117208/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=839396 CPUtime=1044.12 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 187424 0 0 0 104276 136 0 0 20 0 3 0 285797238 859541504 189092 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 209849 189092 198 433 0 209413 0
[pid=23210/tid=23212] ppid=23208 vsize=839396 CPUtime=520.78 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 102772 0 0 0 51998 80 0 0 20 0 3 0 285797239 859541504 189092 33554432000 4194304 5964478 140737042663232 140261747218424 4399925 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=839396 CPUtime=520.79 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 83694 0 0 0 52010 69 0 0 20 0 3 0 285797239 859541504 189092 33554432000 4194304 5964478 140737042663232 140261736728648 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.12
Current children cumulated vsize (KiB) 839396
[startup+582.3 s]
/proc/loadavg: 4.02 3.99 3.89 5/183 23298
/proc/meminfo: memFree=29856160/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=906528 CPUtime=1164.1 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 201632 0 0 0 116254 156 0 0 20 0 3 0 285797238 928284672 203299 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 226632 203299 198 433 0 226196 0
[pid=23210/tid=23212] ppid=23208 vsize=906528 CPUtime=580.63 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 116874 0 0 0 57962 101 0 0 20 0 3 0 285797239 928284672 203299 33554432000 4194304 5964478 140737042663232 140261747218424 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=906528 CPUtime=580.64 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 83800 0 0 0 57994 70 0 0 20 0 3 0 285797239 928284672 203299 33554432000 4194304 5964478 140737042663232 140261736728648 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.1
Current children cumulated vsize (KiB) 906528
[startup+642.3 s]
/proc/loadavg: 4.01 3.99 3.89 5/183 23298
/proc/meminfo: memFree=29692108/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=909504 CPUtime=1284.07 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 214534 0 0 0 128233 174 0 0 20 0 3 0 285797238 931332096 216509 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 227376 216509 198 433 0 226940 0
[pid=23210/tid=23212] ppid=23208 vsize=909504 CPUtime=640.46 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 129586 0 0 0 63926 120 0 0 20 0 3 0 285797239 931332096 216509 33554432000 4194304 5964478 140737042663232 140261747218424 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=909504 CPUtime=640.49 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 83990 0 0 0 63978 71 0 0 20 0 3 0 285797239 931332096 216509 33554432000 4194304 5964478 140737042663232 140261736728648 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.07
Current children cumulated vsize (KiB) 909504
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.90 5/184 23301
/proc/meminfo: memFree=29625540/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1041612 CPUtime=1403.98 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 229013 0 0 0 140207 191 0 0 20 0 3 0 285797238 1066610688 230993 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 260403 230993 198 433 0 259967 0
[pid=23210/tid=23212] ppid=23208 vsize=1041612 CPUtime=700.27 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 141581 0 0 0 69891 136 0 0 20 0 3 0 285797239 1066610688 230993 33554432000 4194304 5964478 140737042663232 140261747218472 4410861 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1041612 CPUtime=700.29 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 86474 0 0 0 69954 75 0 0 20 0 3 0 285797239 1066610688 230993 33554432000 4194304 5964478 140737042663232 140261736728648 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.98
Current children cumulated vsize (KiB) 1041612
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 23301
/proc/meminfo: memFree=29374112/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108272 CPUtime=1523.91 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 245836 0 0 0 152173 218 0 0 20 0 3 0 285797238 1134870528 247850 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277068 247850 198 433 0 276632 0
[pid=23210/tid=23212] ppid=23208 vsize=1108272 CPUtime=760.07 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 153545 0 0 0 75851 156 0 0 20 0 3 0 285797239 1134870528 247850 33554432000 4194304 5964478 140737042663232 140261747218424 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108272 CPUtime=760.14 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91333 0 0 0 75931 83 0 0 20 0 3 0 285797239 1134870528 247850 33554432000 4194304 5964478 140737042663232 140261736728992 4400612 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.91
Current children cumulated vsize (KiB) 1108272
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29361068/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108272 CPUtime=1535.09 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 246818 0 0 0 153289 220 0 0 20 0 3 0 285797238 1134870528 248829 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277068 248829 198 433 0 276632 0
[pid=23210/tid=23212] ppid=23208 vsize=1108272 CPUtime=765.64 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 154527 0 0 0 76406 158 0 0 20 0 3 0 285797239 1134870528 248829 33554432000 4194304 5964478 140737042663232 140261747218472 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108272 CPUtime=765.72 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91333 0 0 0 76489 83 0 0 20 0 3 0 285797239 1134870528 248829 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1535.09
Current children cumulated vsize (KiB) 1108272
[startup+774.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29342468/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1547.9 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 248260 0 0 0 154568 222 0 0 20 0 3 0 285797238 1135034368 250271 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 250271 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=772.03 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 155969 0 0 0 77042 161 0 0 20 0 3 0 285797239 1135034368 250271 33554432000 4194304 5964478 140737042663232 140261747218424 4399907 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=772.11 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91333 0 0 0 77128 83 0 0 20 0 3 0 285797239 1135034368 250271 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1547.9
Current children cumulated vsize (KiB) 1108432
[startup+777.5 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29337740/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1554.28 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 248927 0 0 0 155204 224 0 0 20 0 3 0 285797238 1135034368 250931 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 250931 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=775.21 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 156636 0 0 0 77359 162 0 0 20 0 3 0 285797239 1135034368 250931 33554432000 4194304 5964478 140737042663232 140261747218424 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=775.29 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91333 0 0 0 77446 83 0 0 20 0 3 0 285797239 1135034368 250931 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1554.28
Current children cumulated vsize (KiB) 1108432
[startup+779.1 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29330300/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1557.48 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 249236 0 0 0 155524 224 0 0 20 0 3 0 285797238 1135034368 251240 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 251240 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=776.81 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 156944 0 0 0 77519 162 0 0 20 0 3 0 285797239 1135034368 251240 33554432000 4194304 5964478 140737042663232 140261747218336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=776.89 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91334 0 0 0 77606 83 0 0 20 0 3 0 285797239 1135034368 251240 33554432000 4194304 5964478 140737042663232 140261736728992 5122451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1557.48
Current children cumulated vsize (KiB) 1108432
[startup+779.907 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29326952/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1559.09 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 249369 0 0 0 155685 224 0 0 20 0 3 0 285797238 1135034368 251373 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 251373 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=777.61 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 157075 0 0 0 77599 162 0 0 20 0 3 0 285797239 1135034368 251373 33554432000 4194304 5964478 140737042663232 140261747218424 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=777.69 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91336 0 0 0 77686 83 0 0 20 0 3 0 285797239 1135034368 251373 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1559.09
Current children cumulated vsize (KiB) 1108432
[startup+780.1 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29326952/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1559.48 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 249428 0 0 0 155724 224 0 0 20 0 3 0 285797238 1135034368 251432 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 251432 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=777.8 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 157134 0 0 0 77618 162 0 0 20 0 3 0 285797239 1135034368 251432 33554432000 4194304 5964478 140737042663232 140261747218424 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=777.89 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91336 0 0 0 77706 83 0 0 20 0 3 0 285797239 1135034368 251432 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1559.48
Current children cumulated vsize (KiB) 1108432
[startup+780.2 s]
/proc/loadavg: 4.00 3.99 3.91 5/183 23302
/proc/meminfo: memFree=29326952/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=1108432 CPUtime=1559.68 cores=0,2,4,6
/proc/23210/stat : 23210 (pwbo2.01) S 23208 23210 22874 0 -1 4202496 249452 0 0 0 155744 224 0 0 20 0 3 0 285797238 1135034368 251456 33554432000 4194304 5964478 140737042663232 140737042662752 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23210/statm: 277108 251456 198 433 0 276672 0
[pid=23210/tid=23212] ppid=23208 vsize=1108432 CPUtime=777.9 cores=0,2,4,6
/proc/23210/task/23212/stat : 23212 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 157158 0 0 0 77628 162 0 0 20 0 3 0 285797239 1135034368 251456 33554432000 4194304 5964478 140737042663232 140261747218424 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23210/tid=23213] ppid=23208 vsize=1108432 CPUtime=777.99 cores=0,2,4,6
/proc/23210/task/23213/stat : 23213 (pwbo2.01) R 23208 23210 22874 0 -1 4202560 91336 0 0 0 77716 83 0 0 20 0 3 0 285797239 1135034368 251456 33554432000 4194304 5964478 140737042663232 140261736728992 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1559.68
Current children cumulated vsize (KiB) 1108432
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23210 and gives
# childrusage.ru_utime.tv_sec=1553
# childrusage.ru_utime.tv_usec=561822
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=490621
# CPU time returned by wait4() is 1556.05
# while last known CPU time is 1559.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 780.274
CPU time (s): 1559.68
CPU user time (s): 1557.44
CPU system time (s): 2.24
CPU usage (%): 199.889
Max. virtual memory (cumulated for all children) (KiB): 1108432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1553.56
system time used= 2.49062
maximum resident set size= 1005888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249468
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= 922
involuntary context switches= 1736
runsolver used 1.19182 second user time and 3.14452 second system time
The end