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-3712755-1338203816/watcher-3712755-1338203816 -o /tmp/evaluation-result-3712755-1338203816/solver-3712755-1338203816 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712755-1338203816.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.02 4.01 4.00 4/178 22597
/proc/meminfo: memFree=29364404/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=4572 CPUtime=0 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) R 22595 22597 20249 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 286506199 4681728 387 33554432000 4194304 5964478 140735883791968 140733519230312 4395183 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 1143 387 167 433 0 683 0
[startup+0.0779151 s]
/proc/loadavg: 4.02 4.01 4.00 4/178 22597
/proc/meminfo: memFree=29364404/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=0.13 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 2861 0 0 0 12 1 0 0 20 0 3 0 286506199 168214528 2351 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 2351 198 433 0 40632 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 164272
[startup+0.100208 s]
/proc/loadavg: 4.02 4.01 4.00 4/178 22597
/proc/meminfo: memFree=29364404/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=0.17 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 3064 0 0 0 16 1 0 0 20 0 3 0 286506199 168214528 2457 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 2457 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300146 s]
/proc/loadavg: 4.02 4.01 4.00 4/178 22597
/proc/meminfo: memFree=29364404/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=0.56 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 5419 0 0 0 55 1 0 0 20 0 3 0 286506199 168214528 3522 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 3522 198 433 0 40632 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 164272
[startup+0.700147 s]
/proc/loadavg: 4.02 4.01 4.00 4/178 22597
/proc/meminfo: memFree=29364404/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=1.37 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 7739 0 0 0 134 3 0 0 20 0 3 0 286506199 168214528 4946 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 4946 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50026 s]
/proc/loadavg: 4.02 4.01 4.00 5/181 22600
/proc/meminfo: memFree=29343152/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=2.97 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 9180 0 0 0 294 3 0 0 20 0 3 0 286506199 168214528 6186 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 6186 198 433 0 40632 0
[pid=22597/tid=22599] ppid=22595 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 3349 0 0 0 144 3 0 0 20 0 3 0 286506200 168214528 6186 33554432000 4194304 5964478 140735883791968 139858246457384 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=164272 CPUtime=1.46 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 4739 0 0 0 146 0 0 0 20 0 3 0 286506200 168214528 6186 33554432000 4194304 5964478 140735883791968 139858235968008 4403676 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272
[startup+3.10028 s]
/proc/loadavg: 4.02 4.01 4.00 5/181 22600
/proc/meminfo: memFree=29338564/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=6.16 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 10526 0 0 0 613 3 0 0 20 0 3 0 286506199 168214528 7332 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 7332 198 433 0 40632 0
[pid=22597/tid=22599] ppid=22595 vsize=164272 CPUtime=3.07 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 4231 0 0 0 304 3 0 0 20 0 3 0 286506200 168214528 7332 33554432000 4194304 5964478 140735883791968 139858246457336 4403395 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 5203 0 0 0 306 0 0 0 20 0 3 0 286506200 168214528 7332 33554432000 4194304 5964478 140735883791968 139858235968008 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272
[startup+6.3003 s]
/proc/loadavg: 4.02 4.01 4.00 5/181 22600
/proc/meminfo: memFree=29324056/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=164272 CPUtime=12.57 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 14749 0 0 0 1252 5 0 0 20 0 3 0 286506199 168214528 11552 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 41068 11552 198 433 0 40632 0
[pid=22597/tid=22599] ppid=22595 vsize=164272 CPUtime=6.25 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 7617 0 0 0 622 3 0 0 20 0 3 0 286506200 168214528 11552 33554432000 4194304 5964478 140735883791968 139858246457336 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=164272 CPUtime=6.25 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 6040 0 0 0 624 1 0 0 20 0 3 0 286506200 168214528 11552 33554432000 4194304 5964478 140735883791968 139858235967912 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 4.02 4.01 4.00 5/181 22600
/proc/meminfo: memFree=29266148/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=230344 CPUtime=25.35 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 29318 0 0 0 2524 11 0 0 20 0 3 0 286506199 235872256 26158 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 57586 26158 198 433 0 57150 0
[pid=22597/tid=22599] ppid=22595 vsize=230344 CPUtime=12.63 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 20368 0 0 0 1257 6 0 0 20 0 3 0 286506200 235872256 26158 33554432000 4194304 5964478 140735883791968 139858246457336 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=230344 CPUtime=12.63 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 7858 0 0 0 1259 4 0 0 20 0 3 0 286506200 235872256 26158 33554432000 4194304 5964478 140735883791968 139858235967800 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 230344
[startup+25.5003 s]
/proc/loadavg: 4.01 4.01 4.00 5/181 22600
/proc/meminfo: memFree=29169536/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=296708 CPUtime=50.94 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 52130 0 0 0 5067 27 0 0 20 0 3 0 286506199 303828992 48841 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 74177 48841 198 433 0 73741 0
[pid=22597/tid=22599] ppid=22595 vsize=296708 CPUtime=25.4 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 37350 0 0 0 2527 13 0 0 20 0 3 0 286506200 303828992 48841 33554432000 4194304 5964478 140735883791968 139858246457248 4388212 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=296708 CPUtime=25.39 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 13688 0 0 0 2525 14 0 0 20 0 3 0 286506200 303828992 48841 33554432000 4194304 5964478 140735883791968 139858235967904 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296708
[startup+51.1004 s]
/proc/loadavg: 4.01 4.00 4.00 5/181 22600
/proc/meminfo: memFree=29000616/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=429976 CPUtime=102.11 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 94323 0 0 0 10152 59 0 0 20 0 3 0 286506199 440295424 91021 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 107494 91021 198 433 0 107058 0
[pid=22597/tid=22599] ppid=22595 vsize=429976 CPUtime=50.93 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 47299 0 0 0 5076 17 0 0 20 0 3 0 286506200 440295424 91021 33554432000 4194304 5964478 140735883791968 139858246457336 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=429976 CPUtime=50.9 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 45932 0 0 0 5048 42 0 0 20 0 3 0 286506200 440295424 91021 33554432000 4194304 5964478 140735883791968 139858235967560 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 429976
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22600
/proc/meminfo: memFree=28783024/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=628768 CPUtime=204.45 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 144102 0 0 0 20348 97 0 0 20 0 3 0 286506199 643858432 140779 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 157192 140779 198 433 0 156756 0
[pid=22597/tid=22599] ppid=22595 vsize=628768 CPUtime=101.95 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 73943 0 0 0 10163 32 0 0 20 0 3 0 286506200 643858432 140779 33554432000 4194304 5964478 140735883791968 139858246457336 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=628768 CPUtime=101.98 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 69067 0 0 0 10131 67 0 0 20 0 3 0 286506200 643858432 140779 33554432000 4194304 5964478 140735883791968 139858235967560 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 628768
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22600
/proc/meminfo: memFree=28626788/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=760464 CPUtime=324.41 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 157056 0 0 0 32334 107 0 0 20 0 3 0 286506199 778715136 155374 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 190116 155377 198 433 0 189680 0
[pid=22597/tid=22599] ppid=22595 vsize=760464 CPUtime=161.77 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 83960 0 0 0 16139 38 0 0 20 0 3 0 286506200 778715136 155377 33554432000 4194304 5964478 140735883791968 139858246457336 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=760464 CPUtime=161.82 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 72007 0 0 0 16110 72 0 0 20 0 3 0 286506200 778715136 155377 33554432000 4194304 5964478 140735883791968 139858235967800 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 760464
[startup+222.3 s]
/proc/loadavg: 3.88 3.97 3.99 5/182 22644
/proc/meminfo: memFree=30054332/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=957780 CPUtime=444.37 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 216929 0 0 0 44294 143 0 0 20 0 3 0 286506199 980766720 215092 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 239445 215092 198 433 0 239009 0
[pid=22597/tid=22599] ppid=22595 vsize=957780 CPUtime=221.61 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 133852 0 0 0 22096 65 0 0 20 0 3 0 286506200 980766720 215092 33554432000 4194304 5964478 140735883791968 139858246457336 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=957780 CPUtime=221.66 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 81985 0 0 0 22083 83 0 0 20 0 3 0 286506200 980766720 215092 33554432000 4194304 5964478 140735883791968 139858235967832 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (KiB) 957780
[startup+282.3 s]
/proc/loadavg: 3.96 3.97 3.99 5/181 22644
/proc/meminfo: memFree=29535196/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1155780 CPUtime=564.32 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 266838 0 0 0 56237 195 0 0 20 0 3 0 286506199 1183518720 264895 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 288945 264895 198 433 0 288509 0
[pid=22597/tid=22599] ppid=22595 vsize=1155780 CPUtime=281.41 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 157930 0 0 0 28042 99 0 0 20 0 3 0 286506200 1183518720 264895 33554432000 4194304 5964478 140735883791968 139858246457248 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=1155780 CPUtime=281.5 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 107816 0 0 0 28047 103 0 0 20 0 3 0 286506200 1183518720 264895 33554432000 4194304 5964478 140735883791968 139858235967904 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 1155780
[startup+342.3 s]
/proc/loadavg: 4.02 3.99 3.99 5/181 22645
/proc/meminfo: memFree=29404884/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1156520 CPUtime=684.28 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 267022 0 0 0 68233 195 0 0 20 0 3 0 286506199 1184276480 264916 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 289130 264916 198 433 0 288694 0
################
# More data... #
################
Current children cumulated CPU time (s) 1044.07
Current children cumulated vsize (KiB) 1486156
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22645
/proc/meminfo: memFree=28362296/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1552260 CPUtime=1163.99 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 367116 0 0 0 116121 278 0 0 20 0 3 0 286506199 1589514240 364805 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 388065 364805 198 433 0 387629 0
[pid=22597/tid=22599] ppid=22595 vsize=1552260 CPUtime=580.53 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 224553 0 0 0 57886 167 0 0 20 0 3 0 286506200 1589514240 364805 33554432000 4194304 5964478 140735883791968 139858246457336 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=1552260 CPUtime=580.63 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 141471 0 0 0 57936 127 0 0 20 0 3 0 286506200 1589514240 364805 33554432000 4194304 5964478 140735883791968 139858235967560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.99
Current children cumulated vsize (KiB) 1552260
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22686
/proc/meminfo: memFree=29370984/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1750152 CPUtime=1283.98 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 414549 0 0 0 128077 321 0 0 20 0 3 0 286506199 1792155648 412228 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 437538 412228 198 433 0 437102 0
[pid=22597/tid=22599] ppid=22595 vsize=1750152 CPUtime=640.39 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 249023 0 0 0 63859 180 0 0 20 0 3 0 286506200 1792155648 412228 33554432000 4194304 5964478 140735883791968 139858246457336 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=1750152 CPUtime=640.47 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 164434 0 0 0 63889 158 0 0 20 0 3 0 286506200 1792155648 412228 33554432000 4194304 5964478 140735883791968 139858235967560 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.98
Current children cumulated vsize (KiB) 1750152
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22686
/proc/meminfo: memFree=28975432/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1816416 CPUtime=1403.95 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 440354 0 0 0 140057 338 0 0 20 0 3 0 286506199 1860009984 438004 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 454104 438004 198 433 0 453668 0
[pid=22597/tid=22599] ppid=22595 vsize=1816416 CPUtime=700.22 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 274682 0 0 0 69824 198 0 0 20 0 3 0 286506200 1860009984 438004 33554432000 4194304 5964478 140735883791968 139858246457336 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=1816416 CPUtime=700.3 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 164580 0 0 0 69871 159 0 0 20 0 3 0 286506200 1860009984 438004 33554432000 4194304 5964478 140735883791968 139858235967560 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.95
Current children cumulated vsize (KiB) 1816416
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22686
/proc/meminfo: memFree=28770228/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=1883120 CPUtime=1523.95 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 460868 0 0 0 152043 352 0 0 20 0 3 0 286506199 1928314880 458518 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 470780 458518 198 433 0 470344 0
[pid=22597/tid=22599] ppid=22595 vsize=1883120 CPUtime=760.08 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 295081 0 0 0 75795 213 0 0 20 0 3 0 286506200 1928314880 458518 33554432000 4194304 5964478 140735883791968 139858246457336 4399970 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=1883120 CPUtime=760.16 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 164695 0 0 0 75856 160 0 0 20 0 3 0 286506200 1928314880 458518 33554432000 4194304 5964478 140735883791968 139858235967904 4400073 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.95
Current children cumulated vsize (KiB) 1883120
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 22689
/proc/meminfo: memFree=28384004/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=2080768 CPUtime=1643.91 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 493920 0 0 0 164014 377 0 0 20 0 3 0 286506199 2130706432 491570 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 520192 491570 198 433 0 519756 0
[pid=22597/tid=22599] ppid=22595 vsize=2080768 CPUtime=819.91 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 315280 0 0 0 81757 234 0 0 20 0 3 0 286506200 2130706432 491570 33554432000 4194304 5964478 140735883791968 139858246457336 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=2080768 CPUtime=820 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 177548 0 0 0 81833 167 0 0 20 0 3 0 286506200 2130706432 491570 33554432000 4194304 5964478 140735883791968 139858235967800 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.91
Current children cumulated vsize (KiB) 2080768
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22689
/proc/meminfo: memFree=28022704/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=2278628 CPUtime=1763.89 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 549268 0 0 0 175970 419 0 0 20 0 3 0 286506199 2333315072 546918 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 569657 546918 198 433 0 569221 0
[pid=22597/tid=22599] ppid=22595 vsize=2278628 CPUtime=879.76 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 334636 0 0 0 87718 258 0 0 20 0 3 0 286506200 2333315072 546918 33554432000 4194304 5964478 140735883791968 139858246457336 4400075 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=2278628 CPUtime=879.84 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 213540 0 0 0 87798 186 0 0 20 0 3 0 286506200 2333315072 546918 33554432000 4194304 5964478 140735883791968 139858235967800 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 2278628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22689
/proc/meminfo: memFree=27992292/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=2278772 CPUtime=1800.09 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 553965 0 0 0 179584 425 0 0 20 0 3 0 286506199 2333462528 551615 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 569693 551615 198 433 0 569257 0
[pid=22597/tid=22599] ppid=22595 vsize=2278772 CPUtime=897.82 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 339285 0 0 0 89517 265 0 0 20 0 3 0 286506200 2333462528 551615 33554432000 4194304 5964478 140735883791968 139858246457336 4379300 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=2278772 CPUtime=897.9 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 213588 0 0 0 89604 186 0 0 20 0 3 0 286506200 2333462528 551615 33554432000 4194304 5964478 140735883791968 139858235967560 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2278772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1798.03 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.05994 s) to the 'lost time'.
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22689
/proc/meminfo: memFree=27992292/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=2278772 CPUtime=1800.09 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) S 22595 22597 20249 0 -1 4202496 553965 0 0 0 179584 425 0 0 20 0 3 0 286506199 2333462528 551615 33554432000 4194304 5964478 140735883791968 140735883791488 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 569693 551615 198 433 0 569257 0
[pid=22597/tid=22599] ppid=22595 vsize=2278772 CPUtime=897.82 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 339285 0 0 0 89517 265 0 0 20 0 3 0 286506200 2333462528 551615 33554432000 4194304 5964478 140735883791968 139858246457336 4379300 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=2278772 CPUtime=897.9 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4202560 213588 0 0 0 89604 186 0 0 20 0 3 0 286506200 2333462528 551615 33554432000 4194304 5964478 140735883791968 139858235967560 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2278772
[startup+900.512 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22689
/proc/meminfo: memFree=27992292/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) Z 22595 22597 20249 0 -1 4202508 553966 0 0 0 179354 449 0 0 20 0 2 0 286506199 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 0 0 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=0 CPUtime=898.01 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4203588 213588 0 0 0 89605 196 0 0 20 0 2 0 286506200 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+900.512 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22689
/proc/meminfo: memFree=27992292/32873844 swapFree=6080/6080
[pid=22597] ppid=22595 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/22597/stat : 22597 (pwbo2.01) Z 22595 22597 20249 0 -1 4202508 553966 0 0 0 179354 449 0 0 20 0 2 0 286506199 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22597/statm: 0 0 0 0 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=0 CPUtime=898.01 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (pwbo2.01) R 22595 22597 20249 0 -1 4203588 213588 0 0 0 89605 196 0 0 20 0 2 0 286506200 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22597 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=247688
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=640294
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1798.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.05994
# lost CPU user time (s): 2.29993
# lost CPU system time (s): -0.24
Real time (s): 900.52
CPU time (s): 1800.09
CPU user time (s): 1795.84
CPU system time (s): 4.25
CPU usage (%): 199.895
Max. virtual memory (cumulated for all children) (KiB): 2278772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.25
system time used= 4.64029
maximum resident set size= 2206464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553966
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= 965
involuntary context switches= 2692
runsolver used 2.02069 second user time and 5.54516 second system time
The end