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-3703664-1338095198/watcher-3703664-1338095198 -o /tmp/evaluation-result-3703664-1338095198/solver-3703664-1338095198 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703664-1338095198.opb
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 4.00 3.93 4/180 17959
/proc/meminfo: memFree=29729560/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=5184 CPUtime=0 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) R 17957 17959 15889 0 -1 4202496 458 0 0 0 0 0 0 0 20 0 1 0 275644602 5308416 410 33554432000 4194304 5965102 140733289832640 140733395937512 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 1296 410 171 433 0 677 0
[startup+0.0369319 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17959
/proc/meminfo: memFree=29729560/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=9824 CPUtime=0.03 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) R 17957 17959 15889 0 -1 4202496 1669 0 0 0 3 0 0 0 20 0 1 0 275644602 10059776 1621 33554432000 4194304 5965102 140733289832640 140733395937512 5137076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 2456 1622 249 433 0 1837 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9824
[startup+0.10018 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17959
/proc/meminfo: memFree=29729560/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=173424 CPUtime=0.11 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 5254 0 0 0 11 0 0 0 20 0 3 0 275644602 177586176 5021 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43356 5021 192 433 0 42920 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 173424
[startup+0.300166 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17959
/proc/meminfo: memFree=29729560/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=173424 CPUtime=0.51 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 5309 0 0 0 51 0 0 0 20 0 3 0 275644602 177586176 5076 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43356 5076 198 433 0 42920 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 173424
[startup+0.700153 s]
/proc/loadavg: 4.00 4.00 3.93 4/180 17959
/proc/meminfo: memFree=29729560/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=173424 CPUtime=1.32 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 5408 0 0 0 131 1 0 0 20 0 3 0 275644602 177586176 5175 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43356 5175 198 433 0 42920 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 173424
[startup+1.50027 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29709688/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=173424 CPUtime=2.91 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 5635 0 0 0 290 1 0 0 20 0 3 0 275644602 177586176 5402 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43356 5402 198 433 0 42920 0
[pid=17959/tid=17961] ppid=17957 vsize=173424 CPUtime=1.41 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1679 0 0 0 141 0 0 0 20 0 3 0 275644609 177586176 5402 33554432000 4194304 5965102 140733289832640 140601275824120 4394008 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=173424 CPUtime=1.41 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 277 0 0 0 141 0 0 0 20 0 3 0 275644609 177586176 5402 33554432000 4194304 5965102 140733289832640 140601265334520 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 173424
[startup+3.10029 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29707960/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=174172 CPUtime=6.11 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 6440 0 0 0 609 2 0 0 20 0 3 0 275644602 178352128 6207 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43543 6207 208 433 0 43107 0
[pid=17959/tid=17961] ppid=17957 vsize=174172 CPUtime=3.01 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1919 0 0 0 301 0 0 0 20 0 3 0 275644609 178352128 6207 33554432000 4194304 5965102 140733289832640 140601275823928 4404410 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=174172 CPUtime=3.01 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 842 0 0 0 300 1 0 0 20 0 3 0 275644609 178352128 6207 33554432000 4194304 5965102 140733289832640 140601265334584 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 174172
[startup+6.30029 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29702132/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=174172 CPUtime=12.5 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 7166 0 0 0 1248 2 0 0 20 0 3 0 275644602 178352128 6933 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43543 6933 208 433 0 43107 0
[pid=17959/tid=17961] ppid=17957 vsize=174172 CPUtime=6.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 2381 0 0 0 620 0 0 0 20 0 3 0 275644609 178352128 6933 33554432000 4194304 5965102 140733289832640 140601275824120 4404761 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=174172 CPUtime=6.22 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1106 0 0 0 620 2 0 0 20 0 3 0 275644609 178352128 6933 33554432000 4194304 5965102 140733289832640 140601265334456 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 174172
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29698452/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=174460 CPUtime=25.31 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 7759 0 0 0 2528 3 0 0 20 0 3 0 275644602 178647040 7526 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43615 7526 208 433 0 43179 0
[pid=17959/tid=17961] ppid=17957 vsize=174460 CPUtime=12.6 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 2790 0 0 0 1259 1 0 0 20 0 3 0 275644609 178647040 7526 33554432000 4194304 5965102 140733289832640 140601275823928 4404767 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=174460 CPUtime=12.61 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1290 0 0 0 1259 2 0 0 20 0 3 0 275644609 178647040 7526 33554432000 4194304 5965102 140733289832640 140601265334632 4404416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 174460
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29692508/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=174532 CPUtime=50.9 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 9009 0 0 0 5085 5 0 0 20 0 3 0 275644602 178720768 8776 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43633 8776 208 433 0 43197 0
[pid=17959/tid=17961] ppid=17957 vsize=174532 CPUtime=25.4 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 3996 0 0 0 2537 3 0 0 20 0 3 0 275644609 178720768 8776 33554432000 4194304 5965102 140733289832640 140601275824168 4394008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=174532 CPUtime=25.41 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1334 0 0 0 2539 2 0 0 20 0 3 0 275644609 178720768 8776 33554432000 4194304 5965102 140733289832640 140601265334392 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 174532
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17962
/proc/meminfo: memFree=29677160/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=174640 CPUtime=102.08 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 10803 0 0 0 10200 8 0 0 20 0 3 0 275644602 178831360 10643 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43660 10643 208 433 0 43224 0
[pid=17959/tid=17961] ppid=17957 vsize=174640 CPUtime=50.99 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 5487 0 0 0 5093 6 0 0 20 0 3 0 275644609 178831360 10643 33554432000 4194304 5965102 140733289832640 140601275823928 4383085 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=174640 CPUtime=51 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 1637 0 0 0 5097 3 0 0 20 0 3 0 275644609 178831360 10643 33554432000 4194304 5965102 140733289832640 140601265334392 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 174640
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17963
/proc/meminfo: memFree=29642840/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=175124 CPUtime=204.47 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 14938 0 0 0 20431 16 0 0 20 0 3 0 275644602 179326976 16489 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43781 16489 208 433 0 43345 0
[pid=17959/tid=17961] ppid=17957 vsize=175124 CPUtime=102.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 8735 0 0 0 10207 13 0 0 20 0 3 0 275644609 179326976 16489 33554432000 4194304 5965102 140733289832640 140601275823688 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=175124 CPUtime=102.21 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 2524 0 0 0 10214 7 0 0 20 0 3 0 275644609 179326976 16489 33554432000 4194304 5965102 140733289832640 140601265334392 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 175124
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17963
/proc/meminfo: memFree=29605616/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=175364 CPUtime=324.44 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 17518 0 0 0 32423 21 0 0 20 0 3 0 275644602 179572736 19069 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 43841 19069 208 433 0 43405 0
[pid=17959/tid=17961] ppid=17957 vsize=175364 CPUtime=162.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 10929 0 0 0 16202 18 0 0 20 0 3 0 275644609 179572736 19069 33554432000 4194304 5965102 140733289832640 140601275823928 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=175364 CPUtime=162.2 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 2910 0 0 0 16212 8 0 0 20 0 3 0 275644609 179572736 19069 33554432000 4194304 5965102 140733289832640 140601265334392 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 175364
[startup+222.3 s]
/proc/loadavg: 4.05 4.01 3.94 5/184 17966
/proc/meminfo: memFree=29579196/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=176100 CPUtime=444.42 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 21675 0 0 0 44413 29 0 0 20 0 3 0 275644602 180326400 23226 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 44025 23226 208 433 0 43589 0
[pid=17959/tid=17961] ppid=17957 vsize=176100 CPUtime=222.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 14151 0 0 0 22195 25 0 0 20 0 3 0 275644609 180326400 23226 33554432000 4194304 5965102 140733289832640 140601275823928 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=176100 CPUtime=222.2 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 3845 0 0 0 22209 11 0 0 20 0 3 0 275644609 180326400 23226 33554432000 4194304 5965102 140733289832640 140601265334584 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 176100
[startup+282.3 s]
/proc/loadavg: 4.02 4.01 3.94 5/183 17966
/proc/meminfo: memFree=29545784/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=176916 CPUtime=564.4 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 24690 0 0 0 56404 36 0 0 20 0 3 0 275644602 181161984 26241 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 44229 26241 208 433 0 43793 0
[pid=17959/tid=17961] ppid=17957 vsize=176916 CPUtime=282.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 16372 0 0 0 28189 31 0 0 20 0 3 0 275644609 181161984 26241 33554432000 4194304 5965102 140733289832640 140601275824168 4404735 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=176916 CPUtime=282.2 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 4639 0 0 0 28206 14 0 0 20 0 3 0 275644609 181161984 26241 33554432000 4194304 5965102 140733289832640 140601265334632 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 176916
[startup+342.3 s]
/proc/loadavg: 3.91 3.97 3.93 5/183 18167
/proc/meminfo: memFree=29816768/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=242956 CPUtime=684.36 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 27849 0 0 0 68393 43 0 0 20 0 3 0 275644602 248786944 29499 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 60739 29499 208 433 0 60303 0
[pid=17959/tid=17961] ppid=17957 vsize=242956 CPUtime=342.19 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 19152 0 0 0 34182 37 0 0 20 0 3 0 275644609 248786944 29499 33554432000 4194304 5965102 140733289832640 140601275824120 4400966 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=242956 CPUtime=342.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 5018 0 0 0 34202 17 0 0 20 0 3 0 275644609 248786944 29499 33554432000 4194304 5965102 140733289832640 140601265334392 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 242956
[startup+402.3 s]
/proc/loadavg: 3.87 3.94 3.92 5/183 18248
/proc/meminfo: memFree=29657744/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=244108 CPUtime=804.34 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 30663 0 0 0 80387 47 0 0 20 0 3 0 275644602 249966592 32313 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61027 32313 208 433 0 60591 0
[pid=17959/tid=17961] ppid=17957 vsize=244108 CPUtime=402.19 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 21323 0 0 0 40178 41 0 0 20 0 3 0 275644609 249966592 32313 33554432000 4194304 5965102 140733289832640 140601275824168 4400981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=244108 CPUtime=402.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 5661 0 0 0 40200 19 0 0 20 0 3 0 275644609 249966592 32313 33554432000 4194304 5965102 140733289832640 140601265334392 4393995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 244108
[startup+462.3 s]
/proc/loadavg: 4.03 3.97 3.92 5/182 18248
/proc/meminfo: memFree=29450224/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=244360 CPUtime=924.32 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 33145 0 0 0 92383 49 0 0 20 0 3 0 275644602 250224640 34795 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61090 34795 208 433 0 60654 0
[pid=17959/tid=17961] ppid=17957 vsize=244360 CPUtime=462.19 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 23755 0 0 0 46175 44 0 0 20 0 3 0 275644609 250224640 34795 33554432000 4194304 5965102 140733289832640 140601275824120 4404767 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=244360 CPUtime=462.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 5711 0 0 0 46199 20 0 0 20 0 3 0 275644609 250224640 34795 33554432000 4194304 5965102 140733289832640 140601265334584 4404717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 244360
[startup+522.3 s]
/proc/loadavg: 4.01 3.97 3.92 5/183 18249
/proc/meminfo: memFree=29361468/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=244972 CPUtime=1044.28 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 36419 0 0 0 104375 53 0 0 20 0 3 0 275644602 250851328 38084 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61243 38084 208 433 0 60807 0
[pid=17959/tid=17961] ppid=17957 vsize=244972 CPUtime=522.18 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 26845 0 0 0 52170 48 0 0 20 0 3 0 275644609 250851328 38084 33554432000 4194304 5965102 140733289832640 140601275824168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=244972 CPUtime=522.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 5895 0 0 0 52199 20 0 0 20 0 3 0 275644609 250851328 38084 33554432000 4194304 5965102 140733289832640 140601265334392 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 244972
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18249
/proc/meminfo: memFree=29244988/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=245260 CPUtime=1164.27 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 37881 0 0 0 116371 56 0 0 20 0 3 0 275644602 251146240 39562 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61315 39562 208 433 0 60879 0
[pid=17959/tid=17961] ppid=17957 vsize=245260 CPUtime=582.18 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 27944 0 0 0 58167 51 0 0 20 0 3 0 275644609 251146240 39562 33554432000 4194304 5965102 140733289832640 140601275824120 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=245260 CPUtime=582.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6258 0 0 0 58197 22 0 0 20 0 3 0 275644609 251146240 39562 33554432000 4194304 5965102 140733289832640 140601265334584 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 245260
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18249
/proc/meminfo: memFree=29134904/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=245564 CPUtime=1284.27 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 40442 0 0 0 128367 60 0 0 20 0 3 0 275644602 251457536 42123 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61391 42123 208 433 0 60955 0
[pid=17959/tid=17961] ppid=17957 vsize=245564 CPUtime=642.19 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 30505 0 0 0 64163 56 0 0 20 0 3 0 275644609 251457536 42123 33554432000 4194304 5965102 140733289832640 140601275824032 4394002 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=245564 CPUtime=642.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6258 0 0 0 64196 23 0 0 20 0 3 0 275644609 251457536 42123 33554432000 4194304 5965102 140733289832640 140601265334688 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 245564
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18250
/proc/meminfo: memFree=29056068/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=246428 CPUtime=1404.23 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 42330 0 0 0 140361 62 0 0 20 0 3 0 275644602 252342272 44011 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61607 44011 208 433 0 61171 0
[pid=17959/tid=17961] ppid=17957 vsize=246428 CPUtime=702.19 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 32393 0 0 0 70160 59 0 0 20 0 3 0 275644609 252342272 44011 33554432000 4194304 5965102 140733289832640 140601275823928 4404540 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=246428 CPUtime=702.18 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6258 0 0 0 70194 24 0 0 20 0 3 0 275644609 252342272 44011 33554432000 4194304 5965102 140733289832640 140601265334688 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 246428
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18250
/proc/meminfo: memFree=28809956/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=246716 CPUtime=1524.23 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 43377 0 0 0 152360 63 0 0 20 0 3 0 275644602 252637184 45058 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 61679 45058 208 433 0 61243 0
[pid=17959/tid=17961] ppid=17957 vsize=246716 CPUtime=762.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 33005 0 0 0 76160 60 0 0 20 0 3 0 275644609 252637184 45058 33554432000 4194304 5965102 140733289832640 140601275824168 4404738 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=246716 CPUtime=762.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6693 0 0 0 76193 26 0 0 20 0 3 0 275644609 252637184 45058 33554432000 4194304 5965102 140733289832640 140601265334584 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 246716
[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/184 18253
/proc/meminfo: memFree=28735700/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=313008 CPUtime=1644.2 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 47166 0 0 0 164353 67 0 0 20 0 3 0 275644602 320520192 48847 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 78252 48847 208 433 0 77816 0
[pid=17959/tid=17961] ppid=17957 vsize=313008 CPUtime=822.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 36754 0 0 0 82155 65 0 0 20 0 3 0 275644609 320520192 48847 33554432000 4194304 5965102 140733289832640 140601275824120 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=313008 CPUtime=822.18 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6733 0 0 0 82191 27 0 0 20 0 3 0 275644609 320520192 48847 33554432000 4194304 5965102 140733289832640 140601265334392 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 313008
[startup+882.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18253
/proc/meminfo: memFree=28615252/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=314268 CPUtime=1764.18 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 47685 0 0 0 176351 67 0 0 20 0 3 0 275644602 321810432 49366 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 78567 49366 208 433 0 78131 0
[pid=17959/tid=17961] ppid=17957 vsize=314268 CPUtime=882.2 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 37169 0 0 0 88154 66 0 0 20 0 3 0 275644609 321810432 49366 33554432000 4194304 5965102 140733289832640 140601275824168 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=314268 CPUtime=882.18 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6837 0 0 0 88190 28 0 0 20 0 3 0 275644609 321810432 49366 33554432000 4194304 5965102 140733289832640 140601265334632 4393958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 314268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.97 3.92 5/183 18253
/proc/meminfo: memFree=28594172/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=314448 CPUtime=1800.18 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 48514 0 0 0 179950 68 0 0 20 0 3 0 275644602 321994752 50195 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 78612 50195 208 433 0 78176 0
[pid=17959/tid=17961] ppid=17957 vsize=314448 CPUtime=900.21 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 37998 0 0 0 89953 68 0 0 20 0 3 0 275644609 321994752 50195 33554432000 4194304 5965102 140733289832640 140601275824168 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=314448 CPUtime=900.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6837 0 0 0 89991 28 0 0 20 0 3 0 275644609 321994752 50195 33554432000 4194304 5965102 140733289832640 140601265334632 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 314448
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.00 3.97 3.92 5/183 18253
/proc/meminfo: memFree=28594172/32873844 swapFree=7372/7372
[pid=17959] ppid=17957 vsize=314448 CPUtime=1800.18 cores=0,2,4,6
/proc/17959/stat : 17959 (pwbo2.0) S 17957 17959 15889 0 -1 4202496 48514 0 0 0 179950 68 0 0 20 0 3 0 275644602 321994752 50195 33554432000 4194304 5965102 140733289832640 140733289832160 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17959/statm: 78612 50195 208 433 0 78176 0
[pid=17959/tid=17961] ppid=17957 vsize=314448 CPUtime=900.21 cores=0,2,4,6
/proc/17959/task/17961/stat : 17961 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 37998 0 0 0 89953 68 0 0 20 0 3 0 275644609 321994752 50195 33554432000 4194304 5965102 140733289832640 140601275824168 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17959/tid=17962] ppid=17957 vsize=314448 CPUtime=900.19 cores=0,2,4,6
/proc/17959/task/17962/stat : 17962 (pwbo2.0) R 17957 17959 15889 0 -1 4202560 6837 0 0 0 89991 28 0 0 20 0 3 0 275644609 321994752 50195 33554432000 4194304 5965102 140733289832640 140601265334632 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 314448
Child status: 0
Real time (s): 900.318
CPU time (s): 1800.51
CPU user time (s): 1799.52
CPU system time (s): 0.98385
CPU usage (%): 199.986
Max. virtual memory (cumulated for all children) (KiB): 314448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.98385
maximum resident set size= 200792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48517
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= 138
involuntary context switches= 2282
runsolver used 1.9407 second user time and 5.16521 second system time
The end