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-3712487-1338197303/watcher-3712487-1338197303 -o /tmp/evaluation-result-3712487-1338197303/solver-3712487-1338197303 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712487-1338197303.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: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=4320 CPUtime=0 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) R 21161 21163 20249 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 285854830 4423680 345 33554432000 4194304 5964478 140736038813840 140736160607688 4344643 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 1080 345 166 433 0 621 0
[startup+0.086967 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.14 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 2878 0 0 0 14 0 0 0 20 0 3 0 285854830 167698432 2102 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2102 198 433 0 40506 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 163768
[startup+0.100176 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.17 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 3126 0 0 0 17 0 0 0 20 0 3 0 285854830 167698432 2241 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2241 198 433 0 40506 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163768
[startup+0.300119 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=0.58 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 4199 0 0 0 57 1 0 0 20 0 3 0 285854830 167698432 2931 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 2931 198 433 0 40506 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163768
[startup+0.700133 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21163
/proc/meminfo: memFree=30590852/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=1.37 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 5594 0 0 0 136 1 0 0 20 0 3 0 285854830 167698432 3978 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 3978 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768
[startup+1.50029 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30573924/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=163768 CPUtime=2.97 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 6493 0 0 0 296 1 0 0 20 0 3 0 285854830 167698432 4822 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 40942 4822 198 433 0 40506 0
[pid=21163/tid=21165] ppid=21161 vsize=163768 CPUtime=1.47 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 2268 0 0 0 147 0 0 0 20 0 3 0 285854831 167698432 4822 33554432000 4194304 5964478 140736038813840 140601561094240 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=163768 CPUtime=1.46 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 3203 0 0 0 146 0 0 0 20 0 3 0 285854831 167698432 4822 33554432000 4194304 5964478 140736038813840 140601550604512 4399910 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) 163768
[startup+3.10031 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30567888/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=164032 CPUtime=6.16 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 8990 0 0 0 614 2 0 0 20 0 3 0 285854830 167968768 7263 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 41008 7264 198 433 0 40572 0
[pid=21163/tid=21165] ppid=21161 vsize=164032 CPUtime=3.06 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 4238 0 0 0 305 1 0 0 20 0 3 0 285854831 167968768 7264 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=164032 CPUtime=3.06 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 3731 0 0 0 306 0 0 0 20 0 3 0 285854831 167968768 7264 33554432000 4194304 5964478 140736038813840 140601550604952 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164032
[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30550288/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=164300 CPUtime=12.57 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 13268 0 0 0 1253 4 0 0 20 0 3 0 285854830 168243200 11540 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 41075 11540 198 433 0 40639 0
[pid=21163/tid=21165] ppid=21161 vsize=164300 CPUtime=6.25 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 8106 0 0 0 623 2 0 0 20 0 3 0 285854831 168243200 11540 33554432000 4194304 5964478 140736038813840 140601561094128 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=164300 CPUtime=6.25 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 4140 0 0 0 625 0 0 0 20 0 3 0 285854831 168243200 11540 33554432000 4194304 5964478 140736038813840 140601550604704 4221120 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) 164300
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30492620/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=230376 CPUtime=25.36 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 28147 0 0 0 2528 8 0 0 20 0 3 0 285854830 235905024 26355 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 57594 26355 198 433 0 57158 0
[pid=21163/tid=21165] ppid=21161 vsize=230376 CPUtime=12.64 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 19025 0 0 0 1259 5 0 0 20 0 3 0 285854831 235905024 26355 33554432000 4194304 5964478 140736038813840 140601561094136 4400060 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=230376 CPUtime=12.64 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 8100 0 0 0 1262 2 0 0 20 0 3 0 285854831 235905024 26355 33554432000 4194304 5964478 140736038813840 140601550604600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 230376
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30419824/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=231420 CPUtime=50.95 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 43980 0 0 0 5081 14 0 0 20 0 3 0 285854830 236974080 42131 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 57855 42131 198 433 0 57419 0
[pid=21163/tid=21165] ppid=21161 vsize=231420 CPUtime=25.4 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 27089 0 0 0 2531 9 0 0 20 0 3 0 285854831 236974080 42131 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=231420 CPUtime=25.4 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 15869 0 0 0 2536 4 0 0 20 0 3 0 285854831 236974080 42131 33554432000 4194304 5964478 140736038813840 140601550604704 4388310 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 231420
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21166
/proc/meminfo: memFree=30281408/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=364348 CPUtime=102.15 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 69497 0 0 0 10185 30 0 0 20 0 3 0 285854830 373092352 67542 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 91087 67542 198 433 0 90651 0
[pid=21163/tid=21165] ppid=21161 vsize=364348 CPUtime=50.94 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 42665 0 0 0 5073 21 0 0 20 0 3 0 285854831 373092352 67542 33554432000 4194304 5964478 140736038813840 140601561094136 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=364348 CPUtime=50.93 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 25810 0 0 0 5085 8 0 0 20 0 3 0 285854831 373092352 67542 33554432000 4194304 5964478 140736038813840 140601550604704 4400022 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) 364348
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21169
/proc/meminfo: memFree=29967832/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=628776 CPUtime=204.55 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 135010 0 0 0 20396 59 0 0 20 0 3 0 285854830 643866624 133055 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 157194 133055 198 433 0 156758 0
[pid=21163/tid=21165] ppid=21161 vsize=628776 CPUtime=102.01 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 77655 0 0 0 10164 37 0 0 20 0 3 0 285854831 643866624 133055 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=628776 CPUtime=102 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 56333 0 0 0 10178 22 0 0 20 0 3 0 285854831 643866624 133055 33554432000 4194304 5964478 140736038813840 140601550604704 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 628776
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29831840/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=695304 CPUtime=324.52 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 151459 0 0 0 32387 65 0 0 20 0 3 0 285854830 711991296 149432 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 173826 149432 198 433 0 173390 0
[pid=21163/tid=21165] ppid=21161 vsize=695304 CPUtime=161.85 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 86457 0 0 0 16143 42 0 0 20 0 3 0 285854831 711991296 149432 33554432000 4194304 5964478 140736038813840 140601561094048 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=695304 CPUtime=161.84 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 63980 0 0 0 16158 26 0 0 20 0 3 0 285854831 711991296 149432 33554432000 4194304 5964478 140736038813840 140601550604600 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 695304
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29591944/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=827356 CPUtime=444.45 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 187458 0 0 0 44363 82 0 0 20 0 3 0 285854830 847212544 185855 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 206839 185855 198 433 0 206403 0
[pid=21163/tid=21165] ppid=21161 vsize=827356 CPUtime=221.68 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 110570 0 0 0 22112 56 0 0 20 0 3 0 285854831 847212544 185855 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=827356 CPUtime=221.67 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 75866 0 0 0 22135 32 0 0 20 0 3 0 285854831 847212544 185855 33554432000 4194304 5964478 140736038813840 140601550604360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 827356
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29421968/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=961048 CPUtime=564.39 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 208755 0 0 0 56347 92 0 0 20 0 3 0 285854830 984113152 207154 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 240262 207154 198 433 0 239826 0
[pid=21163/tid=21165] ppid=21161 vsize=961048 CPUtime=281.51 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 121045 0 0 0 28089 62 0 0 20 0 3 0 285854831 984113152 207154 33554432000 4194304 5964478 140736038813840 140601561094048 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=961048 CPUtime=281.48 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 86688 0 0 0 28110 38 0 0 20 0 3 0 285854831 984113152 207154 33554432000 4194304 5964478 140736038813840 140601550604360 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 961048
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21170
/proc/meminfo: memFree=29248644/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1028420 CPUtime=684.32 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 234177 0 0 0 68327 105 0 0 20 0 3 0 285854830 1053102080 232548 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 257105 232548 198 433 0 256669 0
[pid=21163/tid=21165] ppid=21161 vsize=1028420 CPUtime=341.33 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 121216 0 0 0 34070 63 0 0 20 0 3 0 285854831 1053102080 232548 33554432000 4194304 5964478 140736038813840 140601561093704 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1028420 CPUtime=341.29 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 111939 0 0 0 34078 51 0 0 20 0 3 0 285854831 1053102080 232548 33554432000 4194304 5964478 140736038813840 140601550604632 4400512 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (KiB) 1028420
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 21171
/proc/meminfo: memFree=29150208/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1094116 CPUtime=804.24 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 248721 0 0 0 80307 117 0 0 20 0 3 0 285854830 1120374784 246981 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 273529 246981 198 433 0 273093 0
[pid=21163/tid=21165] ppid=21161 vsize=1094116 CPUtime=401.14 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 135688 0 0 0 40038 76 0 0 20 0 3 0 285854831 1120374784 246981 33554432000 4194304 5964478 140736038813840 140601561094136 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1094116 CPUtime=401.12 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 112011 0 0 0 40060 52 0 0 20 0 3 0 285854831 1120374784 246981 33554432000 4194304 5964478 140736038813840 140601550604632 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.24
Current children cumulated vsize (KiB) 1094116
[startup+462.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 21172
/proc/meminfo: memFree=28975032/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1225772 CPUtime=924.17 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 283140 0 0 0 92280 137 0 0 20 0 3 0 285854830 1255190528 281371 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 306443 281371 198 433 0 306007 0
[pid=21163/tid=21165] ppid=21161 vsize=1225772 CPUtime=460.94 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 166165 0 0 0 46000 94 0 0 20 0 3 0 285854831 1255190528 281371 33554432000 4194304 5964478 140736038813840 140601561094136 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1225772 CPUtime=460.95 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 115953 0 0 0 46041 54 0 0 20 0 3 0 285854831 1255190528 281371 33554432000 4194304 5964478 140736038813840 140601550604600 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.17
Current children cumulated vsize (KiB) 1225772
[startup+522.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/181 21212
/proc/meminfo: memFree=29734184/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1357768 CPUtime=1044.1 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 315080 0 0 0 104253 157 0 0 20 0 3 0 285854830 1390354432 313273 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 339442 313273 198 433 0 339006 0
[pid=21163/tid=21165] ppid=21161 vsize=1357768 CPUtime=520.74 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 190202 0 0 0 51964 110 0 0 20 0 3 0 285854831 1390354432 313273 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1357768 CPUtime=520.79 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 123856 0 0 0 52019 60 0 0 20 0 3 0 285854831 1390354432 313273 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.1
Current children cumulated vsize (KiB) 1357768
[startup+582.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/181 21212
/proc/meminfo: memFree=29512748/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1425000 CPUtime=1164.03 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 340150 0 0 0 116228 175 0 0 20 0 3 0 285854830 1459200000 338299 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356250 338299 198 433 0 355814 0
[pid=21163/tid=21165] ppid=21161 vsize=1425000 CPUtime=580.58 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210191 0 0 0 57932 126 0 0 20 0 3 0 285854831 1459200000 338299 33554432000 4194304 5964478 140736038813840 140601561094136 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1425000 CPUtime=580.59 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 128937 0 0 0 57994 65 0 0 20 0 3 0 285854831 1459200000 338299 33554432000 4194304 5964478 140736038813840 140601550604600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.03
Current children cumulated vsize (KiB) 1425000
[startup+642.3 s]
/proc/loadavg: 4.02 4.02 3.94 5/181 21212
/proc/meminfo: memFree=29435276/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1425144 CPUtime=1283.97 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 340245 0 0 0 128222 175 0 0 20 0 3 0 285854830 1459347456 338361 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356286 338361 198 433 0 355850 0
[pid=21163/tid=21165] ppid=21161 vsize=1425144 CPUtime=640.4 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210228 0 0 0 63913 127 0 0 20 0 3 0 285854831 1459347456 338361 33554432000 4194304 5964478 140736038813840 140601561094240 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1425144 CPUtime=640.42 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 128995 0 0 0 63976 66 0 0 20 0 3 0 285854831 1459347456 338361 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.97
Current children cumulated vsize (KiB) 1425144
[startup+702.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/182 21215
/proc/meminfo: memFree=29331712/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1422484 CPUtime=1403.94 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 344081 0 0 0 140215 179 0 0 20 0 3 0 285854830 1456623616 341127 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 355621 341127 200 433 0 355185 0
[pid=21163/tid=21165] ppid=21161 vsize=1422484 CPUtime=700.24 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210246 0 0 0 69896 128 0 0 20 0 3 0 285854831 1456623616 341127 33554432000 4194304 5964478 140736038813840 140601561094008 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1422484 CPUtime=700.26 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 132813 0 0 0 69956 70 0 0 20 0 3 0 285854831 1456623616 341127 33554432000 4194304 5964478 140736038813840 140601550604360 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.94
Current children cumulated vsize (KiB) 1422484
[startup+762.307 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 21216
/proc/meminfo: memFree=29263688/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1423880 CPUtime=1523.94 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 344293 0 0 0 152215 179 0 0 20 0 3 0 285854830 1458053120 341339 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 355970 341339 200 433 0 355534 0
[pid=21163/tid=21165] ppid=21161 vsize=1423880 CPUtime=760.1 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210255 0 0 0 75881 129 0 0 20 0 3 0 285854831 1458053120 341339 33554432000 4194304 5964478 140736038813840 140601561094048 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1423880 CPUtime=760.1 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 133016 0 0 0 75939 71 0 0 20 0 3 0 285854831 1458053120 341339 33554432000 4194304 5964478 140736038813840 140601550604704 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.94
Current children cumulated vsize (KiB) 1423880
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29194152/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1424256 CPUtime=1643.91 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 346382 0 0 0 164208 183 0 0 20 0 3 0 285854830 1458438144 343428 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 356064 343428 200 433 0 355628 0
[pid=21163/tid=21165] ppid=21161 vsize=1424256 CPUtime=819.93 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210300 0 0 0 81863 130 0 0 20 0 3 0 285854831 1458438144 343428 33554432000 4194304 5964478 140736038813840 140601561094240 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1424256 CPUtime=819.94 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 135060 0 0 0 81919 75 0 0 20 0 3 0 285854831 1458438144 343428 33554432000 4194304 5964478 140736038813840 140601550604600 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 1424256
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29101676/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1490300 CPUtime=1763.88 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 354765 0 0 0 176193 195 0 0 20 0 3 0 285854830 1526067200 351811 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 372575 351811 200 433 0 372139 0
[pid=21163/tid=21165] ppid=21161 vsize=1490300 CPUtime=879.78 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210331 0 0 0 87847 131 0 0 20 0 3 0 285854831 1526067200 351811 33554432000 4194304 5964478 140736038813840 140601561094240 4400406 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1490300 CPUtime=879.78 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 143412 0 0 0 87889 89 0 0 20 0 3 0 285854831 1526067200 351811 33554432000 4194304 5964478 140736038813840 140601550604360 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.88
Current children cumulated vsize (KiB) 1490300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 21216
/proc/meminfo: memFree=29082192/32873844 swapFree=6080/6080
[pid=21163] ppid=21161 vsize=1490692 CPUtime=1800.09 cores=0,2,4,6
/proc/21163/stat : 21163 (pwbo2.01) S 21161 21163 20249 0 -1 4202496 354806 0 0 0 179814 195 0 0 20 0 3 0 285854830 1526468608 351852 33554432000 4194304 5964478 140736038813840 140736038813360 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21163/statm: 372673 351852 200 433 0 372237 0
[pid=21163/tid=21165] ppid=21161 vsize=1490692 CPUtime=897.84 cores=0,2,4,6
/proc/21163/task/21165/stat : 21165 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 210368 0 0 0 89653 131 0 0 20 0 3 0 285854831 1526468608 351852 33554432000 4194304 5964478 140736038813840 140601561094240 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21163/tid=21166] ppid=21161 vsize=1490692 CPUtime=897.84 cores=0,2,4,6
/proc/21163/task/21166/stat : 21166 (pwbo2.01) R 21161 21163 20249 0 -1 4202560 143416 0 0 0 89695 89 0 0 20 0 3 0 285854831 1526468608 351852 33554432000 4194304 5964478 140736038813840 140601550604360 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1490692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21163 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=503346
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=274654
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.458
CPU time (s): 1800.09
CPU user time (s): 1798.14
CPU system time (s): 1.95
CPU usage (%): 199.908
Max. virtual memory (cumulated for all children) (KiB): 1490692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.5
system time used= 2.27465
maximum resident set size= 1407412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354807
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= 999
involuntary context switches= 1886
runsolver used 1.75973 second user time and 4.90725 second system time
The end