0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665330-1276673805.opb>
0.39/0.43 c original problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38959 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.95 o 0
0.89/0.95 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.95 c presolving:
2.39/2.40 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 299412 impls, 1000 clqs
4.79/4.84 c (4.1s) probing: 101/38458 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.79/4.84 c (4.1s) probing aborted: 100/100 successive totally useless probings
4.79/4.85 c presolving (2 rounds):
4.79/4.85 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.79/4.85 c 299412 implications, 1000 cliques
4.79/4.85 c presolved problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38959 constraints
4.79/4.85 c 1000 constraints of type <setppc>
4.79/4.85 c 37458 constraints of type <and>
4.79/4.85 c 1 constraints of type <linear>
4.79/4.85 c 500 constraints of type <logicor>
4.79/4.85 c transformed objective value is always integral (scale: 1)
4.79/4.85 c Presolving Time: 3.92
4.79/4.85 c - non default parameters ----------------------------------------------------------------------
4.79/4.85 c # SCIP version 1.2.1.2
4.79/4.85 c
4.79/4.85 c # frequency for displaying node information lines
4.79/4.85 c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.85 c display/freq = 10000
4.79/4.85 c
4.79/4.85 c # maximal time in seconds to run
4.79/4.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.85 c limits/time = 1799.58
4.79/4.85 c
4.79/4.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.85 c limits/memory = 1620
4.79/4.85 c
4.79/4.85 c # should presolving try to simplify inequalities
4.79/4.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.85 c constraints/linear/simplifyinequalities = TRUE
4.79/4.85 c
4.79/4.85 c # should presolving try to simplify knapsacks
4.79/4.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.85 c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.85 c
4.79/4.85 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.79/4.85 c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.85 c heuristics/undercover/freq = 0
4.79/4.85 c
4.79/4.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.85 c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.85 c separating/rapidlearning/freq = 0
4.79/4.85 c
4.79/4.85 c -----------------------------------------------------------------------------------------------
4.79/4.85 c start solving
4.79/4.89 c
1800.03/1800.61 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-2665330-1276673805/watcher-2665330-1276673805 -o /tmp/evaluation-result-2665330-1276673805/solver-2665330-1276673805 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665330-1276673805.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: 2.12 2.07 1.67 3/106 15079
/proc/meminfo: memFree=1749000/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=9584 CPUtime=0
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1055 0 0 0 0 0 0 0 20 0 1 0 8672716 9814016 976 1992294400 4194304 9819077 140733262166624 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15079/statm: 2396 986 371 1374 0 1017 0
[startup+0.037735 s]
/proc/loadavg: 2.12 2.07 1.67 3/106 15079
/proc/meminfo: memFree=1749000/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=17012 CPUtime=0.03
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 3078 0 0 0 2 1 0 0 20 0 1 0 8672716 17420288 2999 1992294400 4194304 9819077 140733262166624 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15079/statm: 4253 3012 389 1374 0 2874 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17012
[startup+0.100716 s]
/proc/loadavg: 2.12 2.07 1.67 3/106 15079
/proc/meminfo: memFree=1749000/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=25708 CPUtime=0.09
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 5256 0 0 0 7 2 0 0 20 0 1 0 8672716 26324992 5177 1992294400 4194304 9819077 140733262166624 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15079/statm: 6427 5188 389 1374 0 5048 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25708
[startup+0.300737 s]
/proc/loadavg: 2.12 2.07 1.67 3/106 15079
/proc/meminfo: memFree=1749000/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=45636 CPUtime=0.29
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 10306 0 0 0 25 4 0 0 20 0 1 0 8672716 46731264 10227 1992294400 4194304 9819077 140733262166624 18446744073709551615 5650599 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15079/statm: 11409 10227 389 1374 0 10030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45636
[startup+0.700777 s]
/proc/loadavg: 2.12 2.07 1.67 3/106 15079
/proc/meminfo: memFree=1749000/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=106452 CPUtime=0.69
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 25968 0 0 0 60 9 0 0 21 0 1 0 8672716 109006848 25461 1992294400 4194304 9819077 140733262166624 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 26613 25461 450 1374 0 25234 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106452
[startup+1.50086 s]
/proc/loadavg: 2.12 2.07 1.67 2/107 15080
/proc/meminfo: memFree=1643096/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=121116 CPUtime=1.49
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 29387 0 0 0 137 12 0 0 23 0 1 0 8672716 124022784 28880 1992294400 4194304 9819077 140733262166624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 30279 28880 478 1374 0 28900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121116
[startup+3.10102 s]
/proc/loadavg: 2.03 2.05 1.67 2/107 15080
/proc/meminfo: memFree=1623876/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=139712 CPUtime=3.09
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 36044 0 0 0 284 25 0 0 25 0 1 0 8672716 143065088 33557 1992294400 4194304 9819077 140733262166624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 34928 33557 505 1374 0 33549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139712
[startup+6.30035 s]
/proc/loadavg: 2.03 2.05 1.67 2/107 15080
/proc/meminfo: memFree=1532488/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=300116 CPUtime=6.28
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 72477 0 0 0 580 48 0 0 25 0 1 0 8672716 307318784 66144 1992294400 4194304 9819077 140733262166624 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 75029 66144 636 1374 0 73650 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 300116
[startup+12.701 s]
/proc/loadavg: 1.87 2.02 1.66 2/107 15080
/proc/meminfo: memFree=1484004/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=322864 CPUtime=12.68
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 82123 0 0 0 1214 54 0 0 25 0 1 0 8672716 330612736 66791 1992294400 4194304 9819077 140733262166624 18446744073709551615 6192358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 80716 66791 638 1374 0 79337 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 322864
[startup+25.5013 s]
/proc/loadavg: 1.73 1.98 1.65 2/107 15082
/proc/meminfo: memFree=1481524/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=327276 CPUtime=25.49
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 91382 0 0 0 2489 60 0 0 25 0 1 0 8672716 335130624 67283 1992294400 4194304 9819077 140733262166624 18446744073709551615 7294716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 81819 67283 638 1374 0 80440 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 327276
[startup+51.1009 s]
/proc/loadavg: 1.48 1.90 1.64 2/107 15082
/proc/meminfo: memFree=1483632/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=328492 CPUtime=51.07
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 110654 0 0 0 5037 70 0 0 25 0 1 0 8672716 336375808 66803 1992294400 4194304 9819077 140733262166624 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 82123 66803 639 1374 0 80744 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 328492
[startup+102.308 s]
/proc/loadavg: 1.19 1.75 1.60 2/107 15084
/proc/meminfo: memFree=1480160/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=330668 CPUtime=102.26
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 153193 0 0 0 10132 94 0 0 25 0 1 0 8672716 338604032 67633 1992294400 4194304 9819077 140733262166624 18446744073709551615 7302722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 82667 67633 639 1374 0 81288 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 330668
[startup+162.301 s]
/proc/loadavg: 1.07 1.61 1.56 2/107 15084
/proc/meminfo: memFree=1480408/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=332116 CPUtime=162.24
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 200989 0 0 0 16102 122 0 0 25 0 1 0 8672716 340086784 67919 1992294400 4194304 9819077 140733262166624 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83029 67919 639 1374 0 81650 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 332116
[startup+222.301 s]
/proc/loadavg: 1.02 1.50 1.52 2/107 15086
/proc/meminfo: memFree=1482268/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=332628 CPUtime=222.22
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 245953 0 0 0 22075 147 0 0 25 0 1 0 8672716 340611072 67037 1992294400 4194304 9819077 140733262166624 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83157 67037 639 1374 0 81778 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 332628
[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.49 2/107 15088
/proc/meminfo: memFree=1479912/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=333268 CPUtime=282.2
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 288592 0 0 0 28050 170 0 0 25 0 1 0 8672716 341266432 67851 1992294400 4194304 9819077 140733262166624 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83317 67851 639 1374 0 81938 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 333268
[startup+342.301 s]
/proc/loadavg: 1.00 1.33 1.45 2/107 15090
/proc/meminfo: memFree=1474456/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=333968 CPUtime=342.18
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 327689 0 0 0 34025 193 0 0 25 0 1 0 8672716 341983232 68995 1992294400 4194304 9819077 140733262166624 18446744073709551615 7294784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83492 68995 639 1374 0 82113 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 333968
[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.42 2/107 15092
/proc/meminfo: memFree=1477060/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=334960 CPUtime=402.16
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 372453 0 0 0 39998 218 0 0 25 0 1 0 8672716 342999040 68863 1992294400 4194304 9819077 140733262166624 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83740 68863 639 1374 0 82361 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 334960
[startup+462.301 s]
/proc/loadavg: 1.00 1.21 1.39 2/107 15092
/proc/meminfo: memFree=1482020/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=335892 CPUtime=462.13
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 411526 0 0 0 45972 241 0 0 25 0 1 0 8672716 343953408 67202 1992294400 4194304 9819077 140733262166624 18446744073709551615 6656837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 83973 67202 639 1374 0 82594 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 335892
[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.36 2/107 15094
/proc/meminfo: memFree=1480408/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=336592 CPUtime=522.12
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 452264 0 0 0 51948 264 0 0 25 0 1 0 8672716 344670208 67639 1992294400 4194304 9819077 140733262166624 18446744073709551615 7300342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84148 67639 639 1374 0 82769 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 336592
[startup+582.301 s]
/proc/loadavg: 1.06 1.15 1.34 2/107 15096
/proc/meminfo: memFree=1477556/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=337264 CPUtime=582.1
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 488823 0 0 0 57926 284 0 0 25 0 1 0 8672716 345358336 68317 1992294400 4194304 9819077 140733262166624 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84316 68317 639 1374 0 82937 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 337264
[startup+642.301 s]
/proc/loadavg: 1.02 1.12 1.32 2/107 15098
/proc/meminfo: memFree=1477308/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=337772 CPUtime=642.08
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 525413 0 0 0 63906 302 0 0 25 0 1 0 8672716 345878528 68236 1992294400 4194304 9819077 140733262166624 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84443 68236 639 1374 0 83064 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 337772
[startup+702.301 s]
################
# More data... #
################
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 738212 0 0 0 99779 416 0 0 25 0 1 0 8672716 347164672 68357 1992294400 4194304 9819077 140733262166624 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84757 68357 639 1374 0 83378 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 339028
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.19 2/107 15108
/proc/meminfo: memFree=1479292/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339120 CPUtime=1061.94
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 771325 0 0 0 105760 434 0 0 25 0 1 0 8672716 347258880 67874 1992294400 4194304 9819077 140733262166624 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84780 67874 639 1374 0 83401 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 339120
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/107 15110
/proc/meminfo: memFree=1474828/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339184 CPUtime=1121.92
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 805165 0 0 0 111741 451 0 0 25 0 1 0 8672716 347324416 68928 1992294400 4194304 9819077 140733262166624 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84796 68928 639 1374 0 83417 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 339184
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 15112
/proc/meminfo: memFree=1473712/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339220 CPUtime=1181.91
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 839914 0 0 0 117721 470 0 0 25 0 1 0 8672716 347361280 69291 1992294400 4194304 9819077 140733262166624 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84805 69291 639 1374 0 83426 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 339220
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 15114
/proc/meminfo: memFree=1468008/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=317376 CPUtime=1241.88
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 869002 0 0 0 123701 487 0 0 25 0 1 0 8672716 324993024 64462 1992294400 4194304 9819077 140733262166624 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 79344 64468 639 1374 0 77965 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 317376
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 15116
/proc/meminfo: memFree=1477432/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339280 CPUtime=1301.88
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 913052 0 0 0 129677 511 0 0 25 0 1 0 8672716 347422720 68053 1992294400 4194304 9819077 140733262166624 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84820 68053 639 1374 0 83441 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 339280
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15116
/proc/meminfo: memFree=1475944/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339372 CPUtime=1361.85
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 947314 0 0 0 135655 530 0 0 25 0 1 0 8672716 347516928 68562 1992294400 4194304 9819077 140733262166624 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84843 68562 639 1374 0 83464 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 339372
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 15118
/proc/meminfo: memFree=1467016/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339412 CPUtime=1421.84
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 971400 0 0 0 141641 543 0 0 25 0 1 0 8672716 347557888 70680 1992294400 4194304 9819077 140733262166624 18446744073709551615 7309084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84853 70680 639 1374 0 83474 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 339412
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15129
/proc/meminfo: memFree=1473712/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339408 CPUtime=1481.8
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1005489 0 0 0 147620 560 0 0 25 0 1 0 8672716 347553792 69221 1992294400 4194304 9819077 140733262166624 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84852 69221 639 1374 0 83473 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 339408
[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.10 2/107 15131
/proc/meminfo: memFree=1475448/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339436 CPUtime=1541.79
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1039008 0 0 0 153601 578 0 0 25 0 1 0 8672716 347582464 68547 1992294400 4194304 9819077 140733262166624 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84859 68547 639 1374 0 83480 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 339436
[startup+1602.3 s]
/proc/loadavg: 1.05 1.02 1.09 2/107 15133
/proc/meminfo: memFree=1476936/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339440 CPUtime=1601.77
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1083908 0 0 0 159577 600 0 0 25 0 1 0 8672716 347586560 68244 1992294400 4194304 9819077 140733262166624 18446744073709551615 7300439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84860 68244 639 1374 0 83481 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 339440
[startup+1662.3 s]
/proc/loadavg: 1.12 1.04 1.09 2/107 15133
/proc/meminfo: memFree=1466148/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339504 CPUtime=1661.76
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1113591 0 0 0 165563 613 0 0 25 0 1 0 8672716 347652096 70885 1992294400 4194304 9819077 140733262166624 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84876 70885 639 1374 0 83497 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 339504
[startup+1722.3 s]
/proc/loadavg: 1.12 1.05 1.09 2/107 15135
/proc/meminfo: memFree=1475820/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339568 CPUtime=1721.73
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1153432 0 0 0 171540 633 0 0 25 0 1 0 8672716 347717632 68725 1992294400 4194304 9819077 140733262166624 18446744073709551615 7311116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84892 68725 639 1374 0 83513 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 339568
[startup+1782.3 s]
/proc/loadavg: 1.10 1.05 1.09 2/107 15137
/proc/meminfo: memFree=1469248/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339604 CPUtime=1781.71
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1188603 0 0 0 177521 650 0 0 25 0 1 0 8672716 347754496 70052 1992294400 4194304 9819077 140733262166624 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84901 70052 639 1374 0 83522 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 339604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.08 1.05 1.09 2/107 15137
/proc/meminfo: memFree=1474332/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339604 CPUtime=1800.03
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1200832 0 0 0 179347 656 0 0 25 0 1 0 8672716 347754496 68767 1992294400 4194304 9819077 140733262166624 18446744073709551615 7304771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84901 68767 639 1374 0 83522 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 339604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15079
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.08 1.05 1.09 2/107 15137
/proc/meminfo: memFree=1474332/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339604 CPUtime=1800.81
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1201050 0 0 0 179425 656 0 0 25 0 1 0 8672716 347754496 68985 1992294400 4194304 9819077 140733262166624 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84901 68985 639 1374 0 83522 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 339604
[startup+1802.2 s]
/proc/loadavg: 1.07 1.05 1.09 2/108 15138
/proc/meminfo: memFree=1472960/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339604 CPUtime=1801.61
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1201242 0 0 0 179505 656 0 0 25 0 1 0 8672716 347754496 69177 1992294400 4194304 9819077 140733262166624 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84901 69177 639 1374 0 83522 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 339604
[startup+1802.6 s]
/proc/loadavg: 1.07 1.05 1.09 2/108 15138
/proc/meminfo: memFree=1472960/2059040 swapFree=4192956/4192956
[pid=15079] ppid=15077 vsize=339604 CPUtime=1802.02
/proc/15079/stat : 15079 (pbscip.linux.x8) R 15077 15079 14711 0 -1 4202496 1201380 0 0 0 179545 657 0 0 25 0 1 0 8672716 347754496 69315 1992294400 4194304 9819077 140733262166624 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15079/statm: 84901 69315 639 1374 0 83522 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 339604
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.07
CPU user time (s): 1795.47
CPU system time (s): 6.599
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 339604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.47
system time used= 6.599
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1201389
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= 6601
runsolver used 2.98255 second user time and 8.50971 second system time
The end
Begin job on node045 at 2010-06-16 09:36:45
IDJOB=2665330
IDBENCH=48273
IDSOLVER=1168
FILE ID=node045/2665330-1276673805
PBS_JOBID= 11172519
Free space on /tmp= 62460 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665330-1276673805/watcher-2665330-1276673805 -o /tmp/evaluation-result-2665330-1276673805/solver-2665330-1276673805 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665330-1276673805.opb -t 1800 -m 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d34b8195c337caa741dffbe26b4db95e
RANDOM SEED=182534821
node045.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.247
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.49
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.247
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.43
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2059040 kB
MemFree: 1749528 kB
Buffers: 62904 kB
Cached: 121540 kB
SwapCached: 0 kB
Active: 96200 kB
Inactive: 147664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2059040 kB
LowFree: 1749528 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7240 kB
Writeback: 0 kB
AnonPages: 59400 kB
Mapped: 15340 kB
Slab: 43936 kB
PageTables: 4024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 5222476 kB
Committed_AS: 182448 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= 62452 MiB
End job on node045 at 2010-06-16 10:06:48