0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666600-1276652437.opb>
0.09/0.19 c original problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.29/0.38 c presolving:
1.39/1.49 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1062646 impls, 0 clqs
2.49/2.50 c (2.0s) probing: 101/16222 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.49/2.50 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.49/2.51 c presolving (2 rounds):
2.49/2.51 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.49/2.51 c 1062646 implications, 0 cliques
2.49/2.51 c presolved problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
2.49/2.51 c 15722 constraints of type <and>
2.49/2.51 c 500 constraints of type <logicor>
2.49/2.51 c transformed objective value is always integral (scale: 1)
2.49/2.51 c Presolving Time: 1.97
2.49/2.51 c - non default parameters ----------------------------------------------------------------------
2.49/2.51 c # SCIP version 1.2.1.2
2.49/2.51 c
2.49/2.51 c # frequency for displaying node information lines
2.49/2.51 c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.51 c display/freq = 10000
2.49/2.51 c
2.49/2.51 c # maximal time in seconds to run
2.49/2.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51 c limits/time = 1799.82
2.49/2.51 c
2.49/2.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51 c limits/memory = 1620
2.49/2.51 c
2.49/2.51 c # should presolving try to simplify inequalities
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c constraints/linear/simplifyinequalities = TRUE
2.49/2.51 c
2.49/2.51 c # should presolving try to simplify knapsacks
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.51 c
2.49/2.51 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.49/2.51 c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51 c heuristics/undercover/freq = 0
2.49/2.51 c
2.49/2.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.51 c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51 c separating/rapidlearning/freq = 0
2.49/2.51 c
2.49/2.51 c -----------------------------------------------------------------------------------------------
2.49/2.51 c start solving
2.49/2.52 c
3.09/3.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.11 c 2.6s| 1 | 0 | 1000 | - | 96M| 0 |1000 | 16k| 16k| 16k| 31k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.20/3.22 o 65
3.20/3.22 c s 2.7s| 1 | 0 | 1000 | - | 97M| 0 |1000 | 16k| 16k| 16k| 31k| 0 | 0 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
9.90/9.99 c 8.8s| 1 | 0 | 2500 | - | 97M| 0 |1000 | 16k| 16k| 16k| 32k|1001 | 0 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
15.39/15.48 c 14.1s| 1 | 0 | 4000 | - | 98M| 0 |1000 | 16k| 16k| 16k| 33k|2003 | 0 | 0 | 0.000000e+00 | 6.500000e+01 | Inf
15.59/15.61 o 58
15.59/15.61 c s14.2s| 1 | 0 | 4000 | - | 98M| 0 |1000 | 16k| 16k| 16k| 33k|2003 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
21.28/21.31 c 19.7s| 1 | 0 | 5500 | - | 98M| 0 |1000 | 16k| 16k| 16k| 34k|3003 | 0 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
21.38/21.44 o 50
21.38/21.44 c s19.9s| 1 | 0 | 5500 | - | 99M| 0 |1000 | 16k| 16k| 16k| 34k|3003 | 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
27.39/27.48 c 25.7s| 1 | 0 | 7002 | - | 99M| 0 |1000 | 16k| 16k| 16k| 35k|4009 | 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
27.58/27.60 o 48
27.58/27.60 c s25.8s| 1 | 0 | 7002 | - | 99M| 0 |1000 | 16k| 16k| 16k| 35k|4009 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
33.98/34.02 c 32.0s| 1 | 0 | 8503 | - | 100M| 0 |1000 | 16k| 16k| 16k| 36k|5013 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
34.08/34.15 o 47
34.08/34.15 c s32.1s| 1 | 0 | 8503 | - | 100M| 0 |1000 | 16k| 16k| 16k| 36k|5013 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
40.77/40.88 c 38.6s| 1 | 0 | 10003 | - | 100M| 0 |1000 | 16k| 16k| 16k| 37k|6015 | 0 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
40.96/41.01 o 45
40.96/41.01 c s38.7s| 1 | 0 | 10003 | - | 101M| 0 |1000 | 16k| 16k| 16k| 37k|6015 | 0 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
47.27/47.37 c 44.8s| 1 | 2 | 10003 | - | 101M| 0 |1000 | 16k| 16k| 16k| 37k|6015 | 0 | 21 | 0.000000e+00 | 4.500000e+01 | Inf
1800.06/1801.00 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666600-1276652437/watcher-2666600-1276652437 -o /tmp/evaluation-result-2666600-1276652437/solver-2666600-1276652437 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666600-1276652437.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=6692 CPUtime=0
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 822 0 0 0 0 0 0 0 19 0 1 0 6536011 6852608 742 1992294400 4194304 8223781 140734361600448 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 1673 753 338 984 0 686 0
[startup+0.0673209 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=15984 CPUtime=0.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 3297 0 0 0 5 1 0 0 19 0 1 0 6536011 16367616 3217 1992294400 4194304 8223781 140734361600448 18446744073709551615 7163976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 3996 3217 366 984 0 3009 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15984
[startup+0.101326 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=18852 CPUtime=0.09
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 4008 0 0 0 8 1 0 0 20 0 1 0 6536011 19304448 3928 1992294400 4194304 8223781 140734361600448 18446744073709551615 4680976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13106/statm: 4713 3928 366 984 0 3726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18852
[startup+0.301362 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=49996 CPUtime=0.29
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 12129 0 0 0 25 4 0 0 20 0 1 0 6536011 51195904 11670 1992294400 4194304 8223781 140734361600448 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 12499 11670 403 984 0 11512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49996
[startup+0.700436 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 13106
/proc/meminfo: memFree=1770928/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=71720 CPUtime=0.69
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 17008 0 0 0 63 6 0 0 21 0 1 0 6536011 73441280 16549 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 17930 16549 427 984 0 16943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71720
[startup+1.50058 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1692304/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=97648 CPUtime=1.49
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 24378 0 0 0 130 19 0 0 23 0 1 0 6536011 99991552 23052 1992294400 4194304 8223781 140734361600448 18446744073709551615 5489894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 24412 23052 447 984 0 23425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97648
[startup+3.10087 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1677920/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=158564 CPUtime=3.09
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 40677 0 0 0 275 34 0 0 25 0 1 0 6536011 162369536 37306 1992294400 4194304 8223781 140734361600448 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 39641 37306 541 984 0 38654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158564
[startup+6.30045 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 13107
/proc/meminfo: memFree=1622616/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=160248 CPUtime=6.29
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 108467 0 0 0 574 55 0 0 25 0 1 0 6536011 164093952 37468 1992294400 4194304 8223781 140734361600448 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 40062 37468 557 984 0 39075 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160248
[startup+12.7006 s]
/proc/loadavg: 0.94 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1613936/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=169564 CPUtime=12.69
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 176966 0 0 0 1152 117 0 0 25 0 1 0 6536011 173633536 39570 1992294400 4194304 8223781 140734361600448 18446744073709551615 5716525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 42391 39570 574 984 0 41404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169564
[startup+25.5019 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1610340/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=174876 CPUtime=25.49
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 316827 0 0 0 2387 162 0 0 25 0 1 0 6536011 179073024 40394 1992294400 4194304 8223781 140734361600448 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 43719 40394 573 984 0 42732 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 174876
[startup+51.1016 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 13109
/proc/meminfo: memFree=1607736/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=177456 CPUtime=51.07
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 518635 0 0 0 4866 241 0 0 25 0 1 0 6536011 181714944 41009 1992294400 4194304 8223781 140734361600448 18446744073709551615 6505908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 44364 41009 576 984 0 43377 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 177456
[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 13111
/proc/meminfo: memFree=1602280/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=183864 CPUtime=102.25
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 585235 0 0 0 9932 293 0 0 25 0 1 0 6536011 188276736 42435 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 45966 42435 581 984 0 44979 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 183864
[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13113
/proc/meminfo: memFree=1598312/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=186084 CPUtime=162.22
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 682867 0 0 0 15861 361 0 0 25 0 1 0 6536011 190550016 43304 1992294400 4194304 8223781 140734361600448 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 46521 43304 581 984 0 45534 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 186084
[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13113
/proc/meminfo: memFree=1596452/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188796 CPUtime=222.2
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 751105 0 0 0 21808 412 0 0 25 0 1 0 6536011 193327104 43749 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47199 43749 583 984 0 46212 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 188796
[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13115
/proc/meminfo: memFree=1596452/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188796 CPUtime=282.18
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 804396 0 0 0 27768 450 0 0 25 0 1 0 6536011 193327104 43768 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47199 43768 583 984 0 46212 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 188796
[startup+342.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13117
/proc/meminfo: memFree=1595460/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188868 CPUtime=342.15
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 837465 0 0 0 33738 477 0 0 25 0 1 0 6536011 193400832 43928 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47217 43928 583 984 0 46230 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 188868
[startup+402.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13119
/proc/meminfo: memFree=1595212/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188924 CPUtime=402.12
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 861505 0 0 0 39709 503 0 0 25 0 1 0 6536011 193458176 43990 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47231 43990 583 984 0 46244 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 188924
[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13121
/proc/meminfo: memFree=1595088/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=462.11
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 881325 0 0 0 45685 526 0 0 25 0 1 0 6536011 193474560 43995 1992294400 4194304 8223781 140734361600448 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 43995 583 984 0 46248 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 188940
[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13121
/proc/meminfo: memFree=1595088/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=522.08
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 900562 0 0 0 51658 550 0 0 25 0 1 0 6536011 193474560 44000 1992294400 4194304 8223781 140734361600448 18446744073709551615 6563023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44000 583 984 0 46248 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 188940
[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13123
/proc/meminfo: memFree=1594964/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=582.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 921166 0 0 0 57632 574 0 0 25 0 1 0 6536011 193474560 44051 1992294400 4194304 8223781 140734361600448 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44051 583 984 0 46248 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 188940
[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 13125
/proc/meminfo: memFree=1594964/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=188940 CPUtime=642.04
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 940742 0 0 0 63605 599 0 0 25 0 1 0 6536011 193474560 44015 1992294400 4194304 8223781 140734361600448 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 47235 44015 583 984 0 46248 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 188940
[startup+702.301 s]
################
# More data... #
################
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1174315 0 0 0 105359 828 0 0 25 0 1 0 6536011 196833280 44566 1992294400 4194304 8223781 140734361600448 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48055 44566 583 984 0 47068 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 192220
[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 13137
/proc/meminfo: memFree=1591492/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=193092 CPUtime=1121.85
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1266701 0 0 0 111290 895 0 0 25 0 1 0 6536011 197726208 44872 1992294400 4194304 8223781 140734361600448 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48273 44872 583 984 0 47286 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 193092
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13139
/proc/meminfo: memFree=1590748/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=193060 CPUtime=1181.83
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1373941 0 0 0 117215 968 0 0 25 0 1 0 6536011 197693440 45014 1992294400 4194304 8223781 140734361600448 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48265 45014 583 984 0 47278 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 193060
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13150
/proc/meminfo: memFree=1588888/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=194544 CPUtime=1241.79
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1501350 0 0 0 123131 1048 0 0 25 0 1 0 6536011 199213056 45422 1992294400 4194304 8223781 140734361600448 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48636 45422 583 984 0 47649 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 194544
[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 13652
/proc/meminfo: memFree=1579284/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=195984 CPUtime=1301.56
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1662137 0 0 0 129010 1146 0 0 25 0 1 0 6536011 200687616 45487 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 48996 45487 583 984 0 48009 0
Current children cumulated CPU time (s) 1301.56
Current children cumulated vsize (KiB) 195984
[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13654
/proc/meminfo: memFree=1579532/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=196000 CPUtime=1361.52
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1767020 0 0 0 134932 1220 0 0 25 0 1 0 6536011 200704000 45516 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49000 45516 583 984 0 48013 0
Current children cumulated CPU time (s) 1361.52
Current children cumulated vsize (KiB) 196000
[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13654
/proc/meminfo: memFree=1576308/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=199292 CPUtime=1421.51
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 1915783 0 0 0 140848 1303 0 0 25 0 1 0 6536011 204075008 46307 1992294400 4194304 8223781 140734361600448 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49823 46307 583 984 0 48836 0
Current children cumulated CPU time (s) 1421.51
Current children cumulated vsize (KiB) 199292
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13656
/proc/meminfo: memFree=1576432/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=198908 CPUtime=1481.48
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2071403 0 0 0 146759 1389 0 0 25 0 1 0 6536011 203681792 46253 1992294400 4194304 8223781 140734361600448 18446744073709551615 6559356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 49727 46253 583 984 0 48740 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 198908
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13658
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201192 CPUtime=1541.45
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2265894 0 0 0 152654 1491 0 0 25 0 1 0 6536011 206020608 46812 1992294400 4194304 8223781 140734361600448 18446744073709551615 6569353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50298 46812 583 984 0 49311 0
Current children cumulated CPU time (s) 1541.45
Current children cumulated vsize (KiB) 201192
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13660
/proc/meminfo: memFree=1574208/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201592 CPUtime=1601.43
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2468512 0 0 0 158541 1602 0 0 25 0 1 0 6536011 206430208 46882 1992294400 4194304 8223781 140734361600448 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50398 46882 583 984 0 49411 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 201592
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13662
/proc/meminfo: memFree=1574580/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=200888 CPUtime=1661.41
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2572227 0 0 0 164475 1666 0 0 25 0 1 0 6536011 205709312 46759 1992294400 4194304 8223781 140734361600448 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50222 46759 583 984 0 49235 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 200888
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13662
/proc/meminfo: memFree=1574084/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201512 CPUtime=1721.39
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2724744 0 0 0 170394 1745 0 0 25 0 1 0 6536011 206348288 46845 1992294400 4194304 8223781 140734361600448 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50378 46845 583 984 0 49391 0
Current children cumulated CPU time (s) 1721.39
Current children cumulated vsize (KiB) 201512
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13664
/proc/meminfo: memFree=1574332/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201148 CPUtime=1781.37
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2909314 0 0 0 176293 1844 0 0 25 0 1 0 6536011 205975552 46795 1992294400 4194304 8223781 140734361600448 18446744073709551615 6591263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50287 46795 583 984 0 49300 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 201148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13664
/proc/meminfo: memFree=1574456/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201280 CPUtime=1800.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2965346 0 0 0 178130 1876 0 0 25 0 1 0 6536011 206110720 46786 1992294400 4194304 8223781 140734361600448 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50320 46786 583 984 0 49333 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 201280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13106
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13664
/proc/meminfo: memFree=1574456/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201516 CPUtime=1800.46
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2965599 0 0 0 178169 1877 0 0 25 0 1 0 6536011 206352384 46838 1992294400 4194304 8223781 140734361600448 18446744073709551615 6567192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50379 46838 583 984 0 49392 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 201516
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201572 CPUtime=1801.25
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2966797 0 0 0 178248 1877 0 0 25 0 1 0 6536011 206409728 46842 1992294400 4194304 8223781 140734361600448 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50393 46842 583 984 0 49406 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 201572
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201368 CPUtime=1801.65
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2967326 0 0 0 178288 1877 0 0 25 0 1 0 6536011 206200832 46786 1992294400 4194304 8223781 140734361600448 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50342 46786 583 984 0 49355 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 201368
[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13665
/proc/meminfo: memFree=1574448/2059040 swapFree=4192956/4192956
[pid=13106] ppid=13104 vsize=201624 CPUtime=1802.06
/proc/13106/stat : 13106 (pbscip.linux.x8) R 13104 13106 11820 0 -1 4202496 2967601 0 0 0 178328 1878 0 0 25 0 1 0 6536011 206462976 46852 1992294400 4194304 8223781 140734361600448 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13106/statm: 50406 46852 583 984 0 49419 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 201624
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.03
CPU time (s): 1802.09
CPU user time (s): 1783.29
CPU system time (s): 18.8001
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 261940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.29
system time used= 18.8001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2967601
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= 2
involuntary context switches= 28130
runsolver used 2.94955 second user time and 8.5617 second system time
The end
Begin job on node044 at 2010-06-16 03:40:37
IDJOB=2666600
IDBENCH=48113
IDSOLVER=1169
FILE ID=node044/2666600-1276652437
PBS_JOBID= 11172426
Free space on /tmp= 62588 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666600-1276652437/watcher-2666600-1276652437 -o /tmp/evaluation-result-2666600-1276652437/solver-2666600-1276652437 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666600-1276652437.opb -t 1800 -m 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=1515173753
node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.266
cache size : 2048 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips : 6000.53
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.266
cache size : 2048 KB
physical id : 3
siblings : 1
core id : 0
cpu cores : 1
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips : 5599.46
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2059040 kB
MemFree: 1771332 kB
Buffers: 26316 kB
Cached: 136860 kB
SwapCached: 0 kB
Active: 122856 kB
Inactive: 99756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2059040 kB
LowFree: 1771332 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4732 kB
Writeback: 0 kB
AnonPages: 59448 kB
Mapped: 15452 kB
Slab: 43204 kB
PageTables: 4000 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 5222476 kB
Committed_AS: 179832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-16 04:10:40