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-3703498-1338089980/watcher-3703498-1338089980 -o /tmp/evaluation-result-3703498-1338089980/solver-3703498-1338089980 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703498-1338089980.opb
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: 3.98 3.97 3.91 4/178 7655
/proc/meminfo: memFree=28777344/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=4696 CPUtime=0 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) R 7653 7655 7065 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 275123983 4808704 364 33554432000 4194304 5965102 140733755019328 140736731178872 4345096 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 1174 364 167 433 0 649 0
[startup+0.0766139 s]
/proc/loadavg: 3.98 3.97 3.91 4/178 7655
/proc/meminfo: memFree=28777344/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=0.1 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 6483 0 0 0 9 1 0 0 20 0 3 0 275123983 180101120 6282 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 6290 203 433 0 43534 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 175880
[startup+0.100234 s]
/proc/loadavg: 3.98 3.97 3.91 4/178 7655
/proc/meminfo: memFree=28777344/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=0.15 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 6837 0 0 0 14 1 0 0 20 0 3 0 275123983 180101120 6636 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 6636 205 433 0 43534 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 175880
[startup+0.300185 s]
/proc/loadavg: 3.98 3.97 3.91 4/178 7655
/proc/meminfo: memFree=28777344/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=0.55 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 7080 0 0 0 54 1 0 0 20 0 3 0 275123983 180101120 6856 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 6856 207 433 0 43534 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 175880
[startup+0.700188 s]
/proc/loadavg: 3.98 3.97 3.91 4/178 7655
/proc/meminfo: memFree=28777344/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=1.35 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 7476 0 0 0 134 1 0 0 20 0 3 0 275123983 180101120 7252 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 7252 207 433 0 43534 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 175880
[startup+1.50031 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 7658
/proc/meminfo: memFree=28746592/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=2.95 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 8689 0 0 0 293 2 0 0 20 0 3 0 275123983 180101120 8465 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 8465 207 433 0 43534 0
[pid=7655/tid=7657] ppid=7653 vsize=175880 CPUtime=1.45 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 2073 0 0 0 145 0 0 0 20 0 3 0 275123986 180101120 8465 33554432000 4194304 5965102 140733755019328 140331143792632 4390172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=175880 CPUtime=1.46 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 5466 0 0 0 144 2 0 0 20 0 3 0 275123986 180101120 8465 33554432000 4194304 5965102 140733755019328 140331133303096 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 175880
[startup+3.10031 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 7658
/proc/meminfo: memFree=28739516/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=6.15 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 9333 0 0 0 613 2 0 0 20 0 3 0 275123983 180101120 8731 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 8731 207 433 0 43534 0
[pid=7655/tid=7657] ppid=7653 vsize=175880 CPUtime=3.05 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 2495 0 0 0 305 0 0 0 20 0 3 0 275123986 180101120 8731 33554432000 4194304 5965102 140733755019328 140331143793176 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=175880 CPUtime=3.06 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 5688 0 0 0 304 2 0 0 20 0 3 0 275123986 180101120 8731 33554432000 4194304 5965102 140733755019328 140331133303096 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 175880
[startup+6.30031 s]
/proc/loadavg: 4.07 3.99 3.91 5/181 7658
/proc/meminfo: memFree=28721820/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=175880 CPUtime=12.55 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 12402 0 0 0 1252 3 0 0 20 0 3 0 275123983 180101120 11800 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 43970 11800 207 433 0 43534 0
[pid=7655/tid=7657] ppid=7653 vsize=175880 CPUtime=6.25 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 5123 0 0 0 623 2 0 0 20 0 3 0 275123986 180101120 11800 33554432000 4194304 5965102 140733755019328 140331143792440 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=175880 CPUtime=6.25 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 6129 0 0 0 623 2 0 0 20 0 3 0 275123986 180101120 11800 33554432000 4194304 5965102 140733755019328 140331133303144 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 175880
[startup+12.7003 s]
/proc/loadavg: 4.06 3.99 3.91 5/181 7658
/proc/meminfo: memFree=28692356/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=176312 CPUtime=25.34 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 17005 0 0 0 2528 6 0 0 20 0 3 0 275123983 180543488 16403 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 44078 16403 207 433 0 43642 0
[pid=7655/tid=7657] ppid=7653 vsize=176312 CPUtime=12.65 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 8522 0 0 0 1261 4 0 0 20 0 3 0 275123986 180543488 16403 33554432000 4194304 5965102 140733755019328 140331143792440 4393903 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=176312 CPUtime=12.65 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 7333 0 0 0 1262 3 0 0 20 0 3 0 275123986 180543488 16403 33554432000 4194304 5965102 140733755019328 140331133303096 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 176312
[startup+25.5002 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 7661
/proc/meminfo: memFree=28647480/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=176744 CPUtime=50.93 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 24352 0 0 0 5081 12 0 0 20 0 3 0 275123983 180985856 23750 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 44186 23750 207 433 0 43750 0
[pid=7655/tid=7657] ppid=7653 vsize=176744 CPUtime=25.45 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 13511 0 0 0 2538 7 0 0 20 0 3 0 275123986 180985856 23750 33554432000 4194304 5965102 140733755019328 140331143792680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=176744 CPUtime=25.45 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 9691 0 0 0 2539 6 0 0 20 0 3 0 275123986 180985856 23750 33554432000 4194304 5965102 140733755019328 140331133303096 4401780 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 176744
[startup+51.1004 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 7661
/proc/meminfo: memFree=28588556/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=243164 CPUtime=102.12 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 35105 0 0 0 10190 22 0 0 20 0 3 0 275123983 248999936 34499 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 60791 34499 207 433 0 60355 0
[pid=7655/tid=7657] ppid=7653 vsize=243164 CPUtime=51.05 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 19615 0 0 0 5094 11 0 0 20 0 3 0 275123986 248999936 34499 33554432000 4194304 5965102 140733755019328 140331143792440 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=243164 CPUtime=51.05 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 14340 0 0 0 5093 12 0 0 20 0 3 0 275123986 248999936 34499 33554432000 4194304 5965102 140733755019328 140331133303144 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 243164
[startup+102.307 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 7661
/proc/meminfo: memFree=28510876/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=245612 CPUtime=204.51 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 46245 0 0 0 20418 33 0 0 20 0 3 0 275123983 251506688 45622 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 61403 45622 207 433 0 60967 0
[pid=7655/tid=7657] ppid=7653 vsize=245612 CPUtime=102.26 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 27908 0 0 0 10207 19 0 0 20 0 3 0 275123986 251506688 45622 33554432000 4194304 5965102 140733755019328 140331143792440 4401516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=245612 CPUtime=102.25 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 17187 0 0 0 10207 18 0 0 20 0 3 0 275123986 251506688 45622 33554432000 4194304 5965102 140733755019328 140331133303240 4410290 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 245612
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7661
/proc/meminfo: memFree=28408048/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=373612 CPUtime=324.45 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 62046 0 0 0 32399 46 0 0 20 0 3 0 275123983 382578688 61056 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 93403 61056 207 433 0 92967 0
[pid=7655/tid=7657] ppid=7653 vsize=373612 CPUtime=162.22 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 39568 0 0 0 16196 26 0 0 20 0 3 0 275123986 382578688 61056 33554432000 4194304 5965102 140733755019328 140331143793176 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=373612 CPUtime=162.23 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 21328 0 0 0 16198 25 0 0 20 0 3 0 275123986 382578688 61056 33554432000 4194304 5965102 140733755019328 140331133303240 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 373612
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7661
/proc/meminfo: memFree=28383216/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=373744 CPUtime=444.38 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 62188 0 0 0 44392 46 0 0 20 0 3 0 275123983 382713856 61155 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 93436 61155 207 433 0 93000 0
[pid=7655/tid=7657] ppid=7653 vsize=373744 CPUtime=222.2 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 39672 0 0 0 22193 27 0 0 20 0 3 0 275123986 382713856 61155 33554432000 4194304 5965102 140733755019328 140331143793176 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=373744 CPUtime=222.22 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 21366 0 0 0 22196 26 0 0 20 0 3 0 275123986 382713856 61155 33554432000 4194304 5965102 140733755019328 140331133302856 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 373744
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/180 7661
/proc/meminfo: memFree=28275652/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=374104 CPUtime=564.33 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 77575 0 0 0 56373 60 0 0 20 0 3 0 275123983 383082496 78376 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 93526 78376 207 433 0 93090 0
[pid=7655/tid=7657] ppid=7653 vsize=374104 CPUtime=282.2 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 47654 0 0 0 28186 34 0 0 20 0 3 0 275123986 383082496 78376 33554432000 4194304 5965102 140733755019328 140331143792440 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=374104 CPUtime=282.19 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 28771 0 0 0 28184 35 0 0 20 0 3 0 275123986 383082496 78376 33554432000 4194304 5965102 140733755019328 140331133303096 5244967 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 374104
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7662
/proc/meminfo: memFree=28142748/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=505984 CPUtime=684.31 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 99212 0 0 0 68351 80 0 0 20 0 3 0 275123983 518127616 100012 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 126496 100012 207 433 0 126060 0
[pid=7655/tid=7657] ppid=7653 vsize=505984 CPUtime=342.2 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 61266 0 0 0 34176 44 0 0 20 0 3 0 275123986 518127616 100012 33554432000 4194304 5965102 140733755019328 140331143792632 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=505984 CPUtime=342.19 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 36796 0 0 0 34172 47 0 0 20 0 3 0 275123986 518127616 100012 33554432000 4194304 5965102 140733755019328 140331133303096 4400894 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 505984
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7662
/proc/meminfo: memFree=28017536/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=572736 CPUtime=804.28 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 122039 0 0 0 80328 100 0 0 20 0 3 0 275123983 586481664 122837 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 143184 122837 207 433 0 142748 0
[pid=7655/tid=7657] ppid=7653 vsize=572736 CPUtime=402.21 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 73476 0 0 0 40168 53 0 0 20 0 3 0 275123986 586481664 122837 33554432000 4194304 5965102 140733755019328 140331143792440 4400981 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=572736 CPUtime=402.18 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 47413 0 0 0 40157 61 0 0 20 0 3 0 275123986 586481664 122837 33554432000 4194304 5965102 140733755019328 140331133303096 4388991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.28
Current children cumulated vsize (KiB) 572736
[startup+462.3 s]
/proc/loadavg: 4.06 4.00 3.92 5/181 7662
/proc/meminfo: memFree=27968556/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=638552 CPUtime=924.26 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 131726 0 0 0 92313 113 0 0 20 0 3 0 275123983 653877248 132524 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 159638 132524 207 433 0 159202 0
[pid=7655/tid=7657] ppid=7653 vsize=638552 CPUtime=462.21 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 75829 0 0 0 46166 55 0 0 20 0 3 0 275123986 653877248 132524 33554432000 4194304 5965102 140733755019328 140331143792440 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=638552 CPUtime=462.18 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 54747 0 0 0 46145 73 0 0 20 0 3 0 275123986 653877248 132524 33554432000 4194304 5965102 140733755019328 140331133303096 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 638552
[startup+522.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 7662
/proc/meminfo: memFree=27858084/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=704088 CPUtime=1044.21 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 150418 0 0 0 104293 128 0 0 20 0 3 0 275123983 720986112 151515 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 176022 151515 207 433 0 175586 0
[pid=7655/tid=7657] ppid=7653 vsize=704088 CPUtime=522.19 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 93273 0 0 0 52150 69 0 0 20 0 3 0 275123986 720986112 151515 33554432000 4194304 5965102 140733755019328 140331143792632 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=704088 CPUtime=522.16 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 55995 0 0 0 52142 74 0 0 20 0 3 0 275123986 720986112 151515 33554432000 4194304 5965102 140733755019328 140331133303240 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 704088
[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28305024/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=704220 CPUtime=1164.16 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 152437 0 0 0 116286 130 0 0 20 0 3 0 275123983 721121280 153541 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 176055 153541 207 433 0 175619 0
[pid=7655/tid=7657] ppid=7653 vsize=704220 CPUtime=582.19 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 95242 0 0 0 58147 72 0 0 20 0 3 0 275123986 721121280 153541 33554432000 4194304 5965102 140733755019328 140331143792632 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=704220 CPUtime=582.13 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 56045 0 0 0 58138 75 0 0 20 0 3 0 275123986 721121280 153541 33554432000 4194304 5965102 140733755019328 140331133302856 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.16
Current children cumulated vsize (KiB) 704220
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 7706
/proc/meminfo: memFree=28194308/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=769756 CPUtime=1284.11 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 161494 0 0 0 128272 139 0 0 20 0 3 0 275123983 788230144 162806 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 192439 162806 207 433 0 192003 0
[pid=7655/tid=7657] ppid=7653 vsize=769756 CPUtime=642.17 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 104266 0 0 0 64135 82 0 0 20 0 3 0 275123986 788230144 162806 33554432000 4194304 5965102 140733755019328 140331143792440 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=769756 CPUtime=642.12 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 56078 0 0 0 64136 76 0 0 20 0 3 0 275123986 788230144 162806 33554432000 4194304 5965102 140733755019328 140331133302856 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.11
Current children cumulated vsize (KiB) 769756
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28130816/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=769892 CPUtime=1404.07 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 162243 0 0 0 140268 139 0 0 20 0 3 0 275123983 788369408 163553 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 192473 163553 207 433 0 192037 0
[pid=7655/tid=7657] ppid=7653 vsize=769892 CPUtime=702.17 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 104984 0 0 0 70134 83 0 0 20 0 3 0 275123986 788369408 163553 33554432000 4194304 5965102 140733755019328 140331143792504 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=769892 CPUtime=702.1 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 56109 0 0 0 70133 77 0 0 20 0 3 0 275123986 788369408 163553 33554432000 4194304 5965102 140733755019328 140331133302856 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.07
Current children cumulated vsize (KiB) 769892
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28096504/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=770028 CPUtime=1524.04 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 164634 0 0 0 152263 141 0 0 20 0 3 0 275123983 788508672 166018 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 192507 166018 207 433 0 192071 0
[pid=7655/tid=7657] ppid=7653 vsize=770028 CPUtime=762.16 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 105547 0 0 0 76132 84 0 0 20 0 3 0 275123986 788508672 166018 33554432000 4194304 5965102 140733755019328 140331143792504 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=770028 CPUtime=762.11 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 57937 0 0 0 76131 80 0 0 20 0 3 0 275123986 788508672 166018 33554432000 4194304 5965102 140733755019328 140331133303096 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 770028
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=27999284/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=836104 CPUtime=1643.96 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 177086 0 0 0 164247 149 0 0 20 0 3 0 275123983 856170496 178871 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 209026 178871 207 433 0 208590 0
[pid=7655/tid=7657] ppid=7653 vsize=836104 CPUtime=822.13 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 117997 0 0 0 82119 94 0 0 20 0 3 0 275123986 856170496 178871 33554432000 4194304 5965102 140733755019328 140331143792632 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=836104 CPUtime=822.09 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 57939 0 0 0 82128 81 0 0 20 0 3 0 275123986 856170496 178871 33554432000 4194304 5965102 140733755019328 140331133303096 4401009 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1643.96
Current children cumulated vsize (KiB) 836104
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=27934040/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=836104 CPUtime=1763.94 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 180668 0 0 0 176242 152 0 0 20 0 3 0 275123983 856170496 182447 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 209026 182447 207 433 0 208590 0
[pid=7655/tid=7657] ppid=7653 vsize=836104 CPUtime=882.13 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 121564 0 0 0 88115 98 0 0 20 0 3 0 275123986 856170496 182447 33554432000 4194304 5965102 140733755019328 140331143792504 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=836104 CPUtime=882.09 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 57954 0 0 0 88127 82 0 0 20 0 3 0 275123986 856170496 182447 33554432000 4194304 5965102 140733755019328 140331133303096 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1763.94
Current children cumulated vsize (KiB) 836104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7707
/proc/meminfo: memFree=27911316/32873648 swapFree=7372/7372
[pid=7655] ppid=7653 vsize=836104 CPUtime=1800.14 cores=1,3,5,7
/proc/7655/stat : 7655 (pwbo2.0) S 7653 7655 7065 0 -1 4202496 180750 0 0 0 179862 152 0 0 20 0 3 0 275123983 856170496 182529 33554432000 4194304 5965102 140733755019328 140733755018848 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7655/statm: 209026 182529 207 433 0 208590 0
[pid=7655/tid=7657] ppid=7653 vsize=836104 CPUtime=900.24 cores=1,3,5,7
/proc/7655/task/7657/stat : 7657 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 121646 0 0 0 89926 98 0 0 20 0 3 0 275123986 856170496 182529 33554432000 4194304 5965102 140733755019328 140331143792440 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=7655/tid=7658] ppid=7653 vsize=836104 CPUtime=900.19 cores=1,3,5,7
/proc/7655/task/7658/stat : 7658 (pwbo2.0) R 7653 7655 7065 0 -1 4202560 57954 0 0 0 89937 82 0 0 20 0 3 0 275123986 856170496 182529 33554432000 4194304 5965102 140733755019328 140331133303096 4400894 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 836104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.423
CPU time (s): 1800.51
CPU user time (s): 1798.67
CPU system time (s): 1.83172
CPU usage (%): 199.962
Max. virtual memory (cumulated for all children) (KiB): 836104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.83172
maximum resident set size= 730124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180752
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= 542
involuntary context switches= 2248
runsolver used 2.00069 second user time and 5.08523 second system time
The end