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-3712482-1338197304/watcher-3712482-1338197304 -o /tmp/evaluation-result-3712482-1338197304/solver-3712482-1338197304 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712482-1338197304.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 21194
/proc/meminfo: memFree=28509060/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=4280 CPUtime=0 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) R 21192 21194 20320 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 285854499 4382720 346 33554432000 4194304 5964478 140735330672544 140734862762488 4344243 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 1070 347 167 433 0 611 0
[startup+0.0893411 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21194
/proc/meminfo: memFree=28509060/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=163768 CPUtime=0.15 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 2787 0 0 0 15 0 0 0 20 0 3 0 285854499 167698432 2101 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 40942 2101 198 433 0 40506 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 163768
[startup+0.100189 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21194
/proc/meminfo: memFree=28509060/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=163768 CPUtime=0.18 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 2911 0 0 0 17 1 0 0 20 0 3 0 285854499 167698432 2166 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 40942 2166 198 433 0 40506 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163768
[startup+0.300118 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21194
/proc/meminfo: memFree=28509060/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=163768 CPUtime=0.57 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 3747 0 0 0 55 2 0 0 20 0 3 0 285854499 167698432 2862 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 40942 2862 198 433 0 40506 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163768
[startup+0.700132 s]
/proc/loadavg: 4.00 3.99 3.92 4/178 21194
/proc/meminfo: memFree=28509060/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=163768 CPUtime=1.37 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 4678 0 0 0 133 4 0 0 20 0 3 0 285854499 167698432 3633 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 40942 3633 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768
[startup+1.50026 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28493436/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=163768 CPUtime=2.97 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 6173 0 0 0 291 6 0 0 20 0 3 0 285854499 167698432 4929 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 40942 4929 198 433 0 40506 0
[pid=21194/tid=21196] ppid=21192 vsize=163768 CPUtime=1.47 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 2672 0 0 0 141 6 0 0 20 0 3 0 285854500 167698432 4929 33554432000 4194304 5964478 140735330672544 139655346292728 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=163768 CPUtime=1.47 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 2481 0 0 0 147 0 0 0 20 0 3 0 285854500 167698432 4929 33554432000 4194304 5964478 140735330672544 139655335803192 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163768
[startup+3.10028 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28484260/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=164036 CPUtime=6.17 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 9366 0 0 0 610 7 0 0 20 0 3 0 285854499 167972864 8063 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 41009 8063 198 433 0 40573 0
[pid=21194/tid=21196] ppid=21192 vsize=164036 CPUtime=3.07 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 5178 0 0 0 300 7 0 0 20 0 3 0 285854500 167972864 8063 33554432000 4194304 5964478 140735330672544 139655346292728 4400526 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=164036 CPUtime=3.06 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 3168 0 0 0 306 0 0 0 20 0 3 0 285854500 167972864 8063 33554432000 4194304 5964478 140735330672544 139655335803184 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164036
[startup+6.30029 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28454260/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=164580 CPUtime=12.56 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 17246 0 0 0 1246 10 0 0 20 0 3 0 285854499 168529920 15943 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 41145 15943 198 433 0 40709 0
[pid=21194/tid=21196] ppid=21192 vsize=164580 CPUtime=6.27 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 10806 0 0 0 618 9 0 0 20 0 3 0 285854500 168529920 15943 33554432000 4194304 5964478 140735330672544 139655346292728 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=164580 CPUtime=6.26 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 5420 0 0 0 625 1 0 0 20 0 3 0 285854500 168529920 15943 33554432000 4194304 5964478 140735330672544 139655335803192 4399896 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) 164580
[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28413340/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=230668 CPUtime=25.36 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 26978 0 0 0 2522 14 0 0 20 0 3 0 285854499 236204032 25591 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 57667 25591 198 433 0 57231 0
[pid=21194/tid=21196] ppid=21192 vsize=230668 CPUtime=12.67 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 17895 0 0 0 1255 12 0 0 20 0 3 0 285854500 236204032 25591 33554432000 4194304 5964478 140735330672544 139655346292728 4388313 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=230668 CPUtime=12.66 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 8063 0 0 0 1264 2 0 0 20 0 3 0 285854500 236204032 25592 33554432000 4194304 5964478 140735330672544 139655335803184 4400008 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) 230668
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28314200/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=298076 CPUtime=50.96 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 50820 0 0 0 5072 24 0 0 20 0 3 0 285854499 305229824 49433 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 74519 49433 198 433 0 74083 0
[pid=21194/tid=21196] ppid=21192 vsize=298076 CPUtime=25.48 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 28648 0 0 0 2530 18 0 0 20 0 3 0 285854500 305229824 49433 33554432000 4194304 5964478 140735330672544 139655346292832 4399925 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=298076 CPUtime=25.46 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 21152 0 0 0 2539 7 0 0 20 0 3 0 285854500 305229824 49433 33554432000 4194304 5964478 140735330672544 139655335803240 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 298076
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21197
/proc/meminfo: memFree=28185068/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=430688 CPUtime=102.15 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 82779 0 0 0 10179 36 0 0 20 0 3 0 285854499 441024512 81392 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 107672 81392 198 433 0 107236 0
[pid=21194/tid=21196] ppid=21192 vsize=430688 CPUtime=51.07 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 41739 0 0 0 5085 22 0 0 20 0 3 0 285854500 441024512 81392 33554432000 4194304 5964478 140735330672544 139655346292728 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=430688 CPUtime=51.06 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 40020 0 0 0 5092 14 0 0 20 0 3 0 285854500 441024512 81392 33554432000 4194304 5964478 140735330672544 139655335802952 4400416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 430688
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 21200
/proc/meminfo: memFree=27999944/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=628632 CPUtime=204.54 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 128218 0 0 0 20378 76 0 0 20 0 3 0 285854499 643719168 126831 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 157158 126831 198 433 0 156722 0
[pid=21194/tid=21196] ppid=21192 vsize=628632 CPUtime=102.28 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 67286 0 0 0 10189 39 0 0 20 0 3 0 285854500 643719168 126831 33554432000 4194304 5964478 140735330672544 139655346292728 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=628632 CPUtime=102.27 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 59912 0 0 0 10187 40 0 0 20 0 3 0 285854500 643719168 126831 33554432000 4194304 5964478 140735330672544 139655335803184 4221120 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) 628632
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21201
/proc/meminfo: memFree=27785868/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=761148 CPUtime=324.5 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 181258 0 0 0 32338 112 0 0 20 0 3 0 285854499 779415552 179780 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 190287 179780 198 433 0 189851 0
[pid=21194/tid=21196] ppid=21192 vsize=761148 CPUtime=162.28 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 113886 0 0 0 16154 74 0 0 20 0 3 0 285854500 779415552 179780 33554432000 4194304 5964478 140735330672544 139655346292728 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=761148 CPUtime=162.26 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 66352 0 0 0 16182 44 0 0 20 0 3 0 285854500 779415552 179780 33554432000 4194304 5964478 140735330672544 139655335803296 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 761148
[startup+222.3 s]
/proc/loadavg: 4.06 4.00 3.93 5/181 21201
/proc/meminfo: memFree=27684464/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=827384 CPUtime=444.49 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 195040 0 0 0 44329 120 0 0 20 0 3 0 285854499 847241216 193562 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 206846 193562 198 433 0 206410 0
[pid=21194/tid=21196] ppid=21192 vsize=827384 CPUtime=222.29 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 127631 0 0 0 22147 82 0 0 20 0 3 0 285854500 847241216 193562 33554432000 4194304 5964478 140735330672544 139655346292640 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=827384 CPUtime=222.26 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 66389 0 0 0 22181 45 0 0 20 0 3 0 285854500 847241216 193562 33554432000 4194304 5964478 140735330672544 139655335803296 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 827384
[startup+282.3 s]
/proc/loadavg: 4.02 4.00 3.93 5/181 21242
/proc/meminfo: memFree=29003524/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=827540 CPUtime=564.46 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 195105 0 0 0 56326 120 0 0 20 0 3 0 285854499 847400960 193935 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 206885 193935 198 433 0 206449 0
[pid=21194/tid=21196] ppid=21192 vsize=827540 CPUtime=282.28 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 127659 0 0 0 28145 83 0 0 20 0 3 0 285854500 847400960 193935 33554432000 4194304 5964478 140735330672544 139655346292640 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=827540 CPUtime=282.26 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 66426 0 0 0 28180 46 0 0 20 0 3 0 285854500 847400960 193935 33554432000 4194304 5964478 140735330672544 139655335802952 4400000 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 827540
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21242
/proc/meminfo: memFree=28613632/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=958612 CPUtime=684.42 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 222972 0 0 0 68308 134 0 0 20 0 3 0 285854499 981618688 221618 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 239653 221618 198 433 0 239217 0
[pid=21194/tid=21196] ppid=21192 vsize=958612 CPUtime=342.26 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 154474 0 0 0 34129 97 0 0 20 0 3 0 285854500 981618688 221618 33554432000 4194304 5964478 140735330672544 139655346292728 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=958612 CPUtime=342.27 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 67478 0 0 0 34179 48 0 0 20 0 3 0 285854500 981618688 221618 33554432000 4194304 5964478 140735330672544 139655335803296 4400051 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 958612
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21242
/proc/meminfo: memFree=28283452/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1155936 CPUtime=804.37 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 270448 0 0 0 80280 157 0 0 20 0 3 0 285854499 1183678464 269100 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 288984 269100 198 433 0 288548 0
[pid=21194/tid=21196] ppid=21192 vsize=1155936 CPUtime=402.23 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 179776 0 0 0 40111 112 0 0 20 0 3 0 285854500 1183678464 269100 33554432000 4194304 5964478 140735330672544 139655346292728 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1155936 CPUtime=402.26 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 89652 0 0 0 40168 58 0 0 20 0 3 0 285854500 1183678464 269100 33554432000 4194304 5964478 140735330672544 139655335802952 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 1155936
[startup+462.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/181 21243
/proc/meminfo: memFree=28017624/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1287576 CPUtime=924.32 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 293380 0 0 0 92260 172 0 0 20 0 3 0 285854499 1318477824 291705 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 321894 291705 198 433 0 321458 0
[pid=21194/tid=21196] ppid=21192 vsize=1287576 CPUtime=462.21 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 202562 0 0 0 46092 129 0 0 20 0 3 0 285854500 1318477824 291705 33554432000 4194304 5964478 140735330672544 139655346292728 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1287576 CPUtime=462.27 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 89798 0 0 0 46168 59 0 0 20 0 3 0 285854500 1318477824 291705 33554432000 4194304 5964478 140735330672544 139655335802952 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 1287576
[startup+522.3 s]
/proc/loadavg: 4.12 4.04 3.94 5/181 21243
/proc/meminfo: memFree=27701080/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1355524 CPUtime=1044.27 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 326403 0 0 0 104238 189 0 0 20 0 3 0 285854499 1388056576 324689 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 338881 324689 198 433 0 338445 0
[pid=21194/tid=21196] ppid=21192 vsize=1355524 CPUtime=522.19 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224721 0 0 0 52079 140 0 0 20 0 3 0 285854500 1388056576 324689 33554432000 4194304 5964478 140735330672544 139655346292728 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1355524 CPUtime=522.25 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 100662 0 0 0 52161 64 0 0 20 0 3 0 285854500 1388056576 324689 33554432000 4194304 5964478 140735330672544 139655335802952 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (KiB) 1355524
[startup+582.3 s]
/proc/loadavg: 4.12 4.06 3.95 5/181 21243
/proc/meminfo: memFree=27630184/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1421704 CPUtime=1164.23 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 338347 0 0 0 116229 194 0 0 20 0 3 0 285854499 1455824896 336429 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 355426 336429 198 433 0 354990 0
[pid=21194/tid=21196] ppid=21192 vsize=1421704 CPUtime=582.19 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224753 0 0 0 58078 141 0 0 20 0 3 0 285854500 1455824896 336429 33554432000 4194304 5964478 140735330672544 139655346292832 4400419 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1421704 CPUtime=582.23 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 112574 0 0 0 58152 71 0 0 20 0 3 0 285854500 1455824896 336429 33554432000 4194304 5964478 140735330672544 139655335803224 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.23
Current children cumulated vsize (KiB) 1421704
[startup+642.3 s]
/proc/loadavg: 4.10 4.06 3.96 5/181 21243
/proc/meminfo: memFree=27581484/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1421704 CPUtime=1284.19 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 338420 0 0 0 128225 194 0 0 20 0 3 0 285854499 1455824896 336459 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 355426 336459 198 433 0 354990 0
[pid=21194/tid=21196] ppid=21192 vsize=1421704 CPUtime=642.18 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224792 0 0 0 64076 142 0 0 20 0 3 0 285854500 1455824896 336459 33554432000 4194304 5964478 140735330672544 139655346292832 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1421704 CPUtime=642.23 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 112608 0 0 0 64151 72 0 0 20 0 3 0 285854500 1455824896 336459 33554432000 4194304 5964478 140735330672544 139655335803104 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 1421704
[startup+702.3 s]
/proc/loadavg: 4.09 4.06 3.96 5/182 21246
/proc/meminfo: memFree=27462556/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1422192 CPUtime=1404.13 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 338576 0 0 0 140219 194 0 0 20 0 3 0 285854499 1456324608 336509 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 355548 336509 198 433 0 355112 0
[pid=21194/tid=21196] ppid=21192 vsize=1422192 CPUtime=702.17 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224809 0 0 0 70074 143 0 0 20 0 3 0 285854500 1456324608 336509 33554432000 4194304 5964478 140735330672544 139655346292832 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1422192 CPUtime=702.19 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 112747 0 0 0 70146 73 0 0 20 0 3 0 285854500 1456324608 336509 33554432000 4194304 5964478 140735330672544 139655335802952 4403532 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 1422192
[startup+762.307 s]
/proc/loadavg: 4.13 4.08 3.97 5/181 21247
/proc/meminfo: memFree=27333988/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1422700 CPUtime=1524.1 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 343368 0 0 0 152213 197 0 0 20 0 3 0 285854499 1456844800 342407 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 355675 342407 198 433 0 355239 0
[pid=21194/tid=21196] ppid=21192 vsize=1422700 CPUtime=762.16 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224874 0 0 0 76072 144 0 0 20 0 3 0 285854500 1456844800 342407 33554432000 4194304 5964478 140735330672544 139655346292832 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1422700 CPUtime=762.2 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 117474 0 0 0 76144 76 0 0 20 0 3 0 285854500 1456844800 342407 33554432000 4194304 5964478 140735330672544 139655335803192 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 1422700
[startup+822.3 s]
/proc/loadavg: 4.05 4.06 3.97 5/181 21247
/proc/meminfo: memFree=27104932/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1554552 CPUtime=1644.07 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 366129 0 0 0 164197 210 0 0 20 0 3 0 285854499 1591861248 365168 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 388638 365168 198 433 0 388202 0
[pid=21194/tid=21196] ppid=21192 vsize=1554552 CPUtime=822.16 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 224898 0 0 0 82071 145 0 0 20 0 3 0 285854500 1591861248 365168 33554432000 4194304 5964478 140735330672544 139655346292640 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1554552 CPUtime=822.2 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 140211 0 0 0 82130 90 0 0 20 0 3 0 285854500 1591861248 365168 33554432000 4194304 5964478 140735330672544 139655335803296 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.07
Current children cumulated vsize (KiB) 1554552
[startup+882.3 s]
/proc/loadavg: 4.02 4.05 3.97 5/181 21247
/proc/meminfo: memFree=26931608/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1620372 CPUtime=1764.05 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 382703 0 0 0 176182 223 0 0 20 0 3 0 285854499 1659260928 381742 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 405093 381742 198 433 0 404657 0
[pid=21194/tid=21196] ppid=21192 vsize=1620372 CPUtime=882.16 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 241408 0 0 0 88057 159 0 0 20 0 3 0 285854500 1659260928 381742 33554432000 4194304 5964478 140735330672544 139655346292728 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1620372 CPUtime=882.2 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 140275 0 0 0 88129 91 0 0 20 0 3 0 285854500 1659260928 381742 33554432000 4194304 5964478 140735330672544 139655335802952 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.05
Current children cumulated vsize (KiB) 1620372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.01 4.05 3.97 5/181 21247
/proc/meminfo: memFree=26905040/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1686196 CPUtime=1800.06 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 389120 0 0 0 179778 228 0 0 20 0 3 0 285854499 1726664704 388159 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 421549 388159 198 433 0 421113 0
[pid=21194/tid=21196] ppid=21192 vsize=1686196 CPUtime=900.17 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 247745 0 0 0 89853 164 0 0 20 0 3 0 285854500 1726664704 388159 33554432000 4194304 5964478 140735330672544 139655346292728 4400526 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1686196 CPUtime=900.21 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 140355 0 0 0 89930 91 0 0 20 0 3 0 285854500 1726664704 388159 33554432000 4194304 5964478 140735330672544 139655335802952 4391464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1686196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.01 4.05 3.97 5/181 21247
/proc/meminfo: memFree=26905040/32873648 swapFree=7368/7368
[pid=21194] ppid=21192 vsize=1686196 CPUtime=1800.06 cores=0,2,4,6
/proc/21194/stat : 21194 (pwbo2.01) S 21192 21194 20320 0 -1 4202496 389120 0 0 0 179778 228 0 0 20 0 3 0 285854499 1726664704 388159 33554432000 4194304 5964478 140735330672544 140735330672064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21194/statm: 421549 388159 198 433 0 421113 0
[pid=21194/tid=21196] ppid=21192 vsize=1686196 CPUtime=900.17 cores=0,2,4,6
/proc/21194/task/21196/stat : 21196 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 247745 0 0 0 89853 164 0 0 20 0 3 0 285854500 1726664704 388159 33554432000 4194304 5964478 140735330672544 139655346292728 4400526 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21194/tid=21197] ppid=21192 vsize=1686196 CPUtime=900.21 cores=0,2,4,6
/proc/21194/task/21197/stat : 21197 (pwbo2.01) R 21192 21194 20320 0 -1 4202560 140355 0 0 0 89930 91 0 0 20 0 3 0 285854500 1726664704 388159 33554432000 4194304 5964478 140735330672544 139655335802952 4391464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1686196
Child status: 0
Real time (s): 900.369
CPU time (s): 1800.49
CPU user time (s): 1797.86
CPU system time (s): 2.6316
CPU usage (%): 199.972
Max. virtual memory (cumulated for all children) (KiB): 1686196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.6316
maximum resident set size= 1552640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389121
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= 859
involuntary context switches= 2021
runsolver used 1.84972 second user time and 5.07623 second system time
The end