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-2666731-1276669248.opb>
0.49/0.54 c original problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38867 constraints
0.49/0.54 c problem read
0.49/0.55 c presolving settings loaded
1.00/1.07 o 0
1.00/1.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.07 c presolving:
2.49/2.53 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 298296 impls, 1000 clqs
4.89/4.97 c (4.1s) probing: 101/38366 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.89/4.97 c (4.1s) probing aborted: 100/100 successive totally useless probings
4.89/4.98 c presolving (2 rounds):
4.89/4.98 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.89/4.98 c 298296 implications, 1000 cliques
4.89/4.98 c presolved problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38867 constraints
4.89/4.98 c 1000 constraints of type <setppc>
4.89/4.98 c 37366 constraints of type <and>
4.89/4.98 c 1 constraints of type <linear>
4.89/4.98 c 500 constraints of type <logicor>
4.89/4.98 c transformed objective value is always integral (scale: 1)
4.89/4.98 c Presolving Time: 3.90
4.89/4.98 c - non default parameters ----------------------------------------------------------------------
4.89/4.98 c # SCIP version 1.2.1.2
4.89/4.98 c
4.89/4.98 c # frequency for displaying node information lines
4.89/4.98 c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.98 c display/freq = 10000
4.89/4.98 c
4.89/4.98 c # maximal time in seconds to run
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.98 c limits/time = 1799.46
4.89/4.98 c
4.89/4.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.98 c limits/memory = 1620
4.89/4.98 c
4.89/4.98 c # should presolving try to simplify inequalities
4.89/4.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.98 c constraints/linear/simplifyinequalities = TRUE
4.89/4.98 c
4.89/4.98 c # should presolving try to simplify knapsacks
4.89/4.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.98 c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.98 c
4.89/4.98 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c heuristics/undercover/freq = 0
4.89/4.98 c
4.89/4.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.89/4.98 c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.98 c separating/rapidlearning/freq = 0
4.89/4.98 c
4.89/4.98 c -----------------------------------------------------------------------------------------------
4.89/4.98 c start solving
4.99/5.01 c
1800.05/1800.50 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-2666731-1276669248/watcher-2666731-1276669248 -o /tmp/evaluation-result-2666731-1276669248/solver-2666731-1276669248 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666731-1276669248.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 1.00 0.99 3/106 14821
/proc/meminfo: memFree=1755376/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=8016 CPUtime=0
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 1035 0 0 0 0 0 0 0 15 0 1 0 8217036 8208384 955 1992294400 4194304 8223781 140735340215872 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14821/statm: 2004 963 348 984 0 1017 0
[startup+0.0384541 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 14821
/proc/meminfo: memFree=1755376/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=13148 CPUtime=0.03
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 2516 0 0 0 2 1 0 0 15 0 1 0 8217036 13463552 2436 1992294400 4194304 8223781 140735340215872 18446744073709551615 4470704 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14821/statm: 3287 2436 366 984 0 2300 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13148
[startup+0.101448 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 14821
/proc/meminfo: memFree=1755376/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=19196 CPUtime=0.09
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 4034 0 0 0 8 1 0 0 18 0 1 0 8217036 19656704 3954 1992294400 4194304 8223781 140735340215872 18446744073709551615 4240605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14821/statm: 4799 3954 366 984 0 3812 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19196
[startup+0.301466 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 14821
/proc/meminfo: memFree=1755376/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=37872 CPUtime=0.29
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 8754 0 0 0 26 3 0 0 18 0 1 0 8217036 38780928 8674 1992294400 4194304 8223781 140735340215872 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14821/statm: 9468 8674 366 984 0 8481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37872
[startup+0.701507 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 14821
/proc/meminfo: memFree=1755376/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=92296 CPUtime=0.69
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 22695 0 0 0 60 9 0 0 18 0 1 0 8217036 94511104 22178 1992294400 4194304 8223781 140735340215872 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 23074 22178 383 984 0 22087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92296
[startup+1.50159 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 14822
/proc/meminfo: memFree=1650340/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=117984 CPUtime=1.49
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 28897 0 0 0 136 13 0 0 20 0 1 0 8217036 120815616 28380 1992294400 4194304 8223781 140735340215872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 29496 28380 432 984 0 28509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117984
[startup+3.10079 s]
/proc/loadavg: 0.92 1.00 0.99 3/107 14824
/proc/meminfo: memFree=1633600/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=138428 CPUtime=3.09
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 35996 0 0 0 281 28 0 0 24 0 1 0 8217036 141750272 33499 1992294400 4194304 8223781 140735340215872 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 34607 33499 459 984 0 33620 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138428
[startup+6.30108 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 14824
/proc/meminfo: memFree=1557712/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=280184 CPUtime=6.29
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 75064 0 0 0 578 51 0 0 25 0 1 0 8217036 286908416 66317 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569462 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 70046 66317 532 984 0 69059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 280184
[startup+12.7007 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 14824
/proc/meminfo: memFree=1485048/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=289172 CPUtime=12.69
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 81794 0 0 0 1213 56 0 0 25 0 1 0 8217036 296112128 67846 1992294400 4194304 8223781 140735340215872 18446744073709551615 6360063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 72293 67846 536 984 0 71306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 289172
[startup+25.501 s]
/proc/loadavg: 0.95 1.00 0.99 2/107 14824
/proc/meminfo: memFree=1483932/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=291852 CPUtime=25.49
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 95059 0 0 0 2484 65 0 0 25 0 1 0 8217036 298856448 68129 1992294400 4194304 8223781 140735340215872 18446744073709551615 6359593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 72963 68129 536 984 0 71976 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 291852
[startup+51.1016 s]
/proc/loadavg: 0.96 1.00 0.99 2/107 14824
/proc/meminfo: memFree=1480708/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=296292 CPUtime=51.08
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 122219 0 0 0 5027 81 0 0 25 0 1 0 8217036 303403008 68959 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 74073 68959 536 984 0 73086 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 296292
[startup+102.309 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 14826
/proc/meminfo: memFree=1474632/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=302052 CPUtime=102.27
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 176466 0 0 0 10116 111 0 0 25 0 1 0 8217036 309301248 70432 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 75513 70432 536 984 0 74526 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 302052
[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14828
/proc/meminfo: memFree=1474260/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=303088 CPUtime=162.25
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 209080 0 0 0 16095 130 0 0 25 0 1 0 8217036 310362112 70494 1992294400 4194304 8223781 140735340215872 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 75772 70494 536 984 0 74785 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 303088
[startup+222.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14828
/proc/meminfo: memFree=1473268/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=304120 CPUtime=222.24
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 241079 0 0 0 22075 149 0 0 25 0 1 0 8217036 311418880 70734 1992294400 4194304 8223781 140735340215872 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 76030 70734 536 984 0 75043 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 304120
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14830
/proc/meminfo: memFree=1471532/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=305748 CPUtime=282.22
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 275519 0 0 0 28053 169 0 0 25 0 1 0 8217036 313085952 71192 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 76437 71192 536 984 0 75450 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 305748
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1470664/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=308300 CPUtime=342.21
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 306153 0 0 0 34033 188 0 0 25 0 1 0 8217036 315699200 71381 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 77075 71381 536 984 0 76088 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 308300
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14834
/proc/meminfo: memFree=1467564/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=310396 CPUtime=402.19
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 335480 0 0 0 40013 206 0 0 25 0 1 0 8217036 317845504 71714 1992294400 4194304 8223781 140735340215872 18446744073709551615 6571352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 77599 71714 536 984 0 76612 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 310396
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14836
/proc/meminfo: memFree=1465828/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=311504 CPUtime=462.17
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 360209 0 0 0 45998 219 0 0 25 0 1 0 8217036 318980096 72572 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 77876 72572 536 984 0 76889 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 311504
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14836
/proc/meminfo: memFree=1464092/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=314696 CPUtime=522.16
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 385757 0 0 0 51980 236 0 0 25 0 1 0 8217036 322248704 73011 1992294400 4194304 8223781 140735340215872 18446744073709551615 6562612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 78674 73011 536 984 0 77687 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 314696
[startup+582.302 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 14838
/proc/meminfo: memFree=1463348/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=325128 CPUtime=582.14
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 410204 0 0 0 57963 251 0 0 25 0 1 0 8217036 332931072 74574 1992294400 4194304 8223781 140735340215872 18446744073709551615 6590219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 81282 74574 536 984 0 80295 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 325128
[startup+642.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14840
/proc/meminfo: memFree=1457024/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=325656 CPUtime=642.14
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 433853 0 0 0 63949 265 0 0 25 0 1 0 8217036 333471744 74724 1992294400 4194304 8223781 140735340215872 18446744073709551615 6590211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 81414 74724 536 984 0 80427 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 325656
[startup+702.302 s]
################
# More data... #
################
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 593832 0 0 0 105842 360 0 0 25 0 1 0 8217036 328839168 74159 1992294400 4194304 8223781 140735340215872 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80283 74159 536 984 0 79296 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 321132
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14855
/proc/meminfo: memFree=1452064/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=321192 CPUtime=1122.01
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 615920 0 0 0 111828 373 0 0 25 0 1 0 8217036 328900608 74134 1992294400 4194304 8223781 140735340215872 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80298 74134 536 984 0 79311 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 321192
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14857
/proc/meminfo: memFree=1458388/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=330924 CPUtime=1181.99
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 636468 0 0 0 117814 385 0 0 25 0 1 0 8217036 338866176 75772 1992294400 4194304 8223781 140735340215872 18446744073709551615 6590360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 82731 75772 536 984 0 81744 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 330924
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14859
/proc/meminfo: memFree=1458388/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=321440 CPUtime=1241.98
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 657206 0 0 0 123801 397 0 0 25 0 1 0 8217036 329154560 74270 1992294400 4194304 8223781 140735340215872 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80360 74270 536 984 0 79373 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 321440
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14861
/proc/meminfo: memFree=1458388/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=321556 CPUtime=1301.97
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 682276 0 0 0 129787 410 0 0 25 0 1 0 8217036 329273344 74264 1992294400 4194304 8223781 140735340215872 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80389 74264 536 984 0 79402 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 321556
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14863
/proc/meminfo: memFree=1458636/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=321640 CPUtime=1361.95
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 704333 0 0 0 135772 423 0 0 25 0 1 0 8217036 329359360 74196 1992294400 4194304 8223781 140735340215872 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80410 74196 536 984 0 79423 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 321640
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14863
/proc/meminfo: memFree=1459132/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=321732 CPUtime=1421.94
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 726289 0 0 0 141759 435 0 0 25 0 1 0 8217036 329453568 74098 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80433 74098 536 984 0 79446 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 321732
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14865
/proc/meminfo: memFree=1459008/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=322356 CPUtime=1481.92
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 745444 0 0 0 147744 448 0 0 25 0 1 0 8217036 330092544 74146 1992294400 4194304 8223781 140735340215872 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80589 74146 536 984 0 79602 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 322356
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 14867
/proc/meminfo: memFree=1458512/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323168 CPUtime=1541.9
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 767596 0 0 0 153728 462 0 0 25 0 1 0 8217036 330924032 74256 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80792 74256 536 984 0 79805 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 323168
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14869
/proc/meminfo: memFree=1459008/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323504 CPUtime=1601.89
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 790121 0 0 0 159714 475 0 0 25 0 1 0 8217036 331268096 74135 1992294400 4194304 8223781 140735340215872 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80876 74135 536 984 0 79889 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 323504
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14871
/proc/meminfo: memFree=1457892/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323592 CPUtime=1661.87
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 809170 0 0 0 165702 485 0 0 25 0 1 0 8217036 331358208 74414 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80898 74414 536 984 0 79911 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 323592
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14871
/proc/meminfo: memFree=1458140/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323748 CPUtime=1721.85
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 831986 0 0 0 171689 496 0 0 25 0 1 0 8217036 331517952 74335 1992294400 4194304 8223781 140735340215872 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80937 74335 536 984 0 79950 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 323748
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 14873
/proc/meminfo: memFree=1457396/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=333376 CPUtime=1781.84
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 853044 0 0 0 177676 508 0 0 25 0 1 0 8217036 341377024 75954 1992294400 4194304 8223781 140735340215872 18446744073709551615 6590196 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 83344 75954 536 984 0 82357 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 333376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14873
/proc/meminfo: memFree=1451072/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=333400 CPUtime=1800.05
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 859599 0 0 0 179493 512 0 0 25 0 1 0 8217036 341401600 76009 1992294400 4194304 8223781 140735340215872 18446744073709551615 6590719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 83350 76009 536 984 0 82363 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 333400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14821
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14874
/proc/meminfo: memFree=1451064/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323848 CPUtime=1800.94
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 861185 0 0 0 179581 513 0 0 25 0 1 0 8217036 331620352 74285 1992294400 4194304 8223781 140735340215872 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80962 74285 536 984 0 79975 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 323848
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14874
/proc/meminfo: memFree=1457884/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323848 CPUtime=1801.74
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 861201 0 0 0 179661 513 0 0 25 0 1 0 8217036 331620352 74301 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80962 74301 536 984 0 79975 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 323848
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14874
/proc/meminfo: memFree=1457884/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323848 CPUtime=1801.94
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 861205 0 0 0 179681 513 0 0 25 0 1 0 8217036 331620352 74305 1992294400 4194304 8223781 140735340215872 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80962 74305 536 984 0 79975 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 323848
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14874
/proc/meminfo: memFree=1457884/2059040 swapFree=4192956/4192956
[pid=14821] ppid=14819 vsize=323848 CPUtime=1802.03
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 14711 0 -1 4202496 861207 0 0 0 179690 513 0 0 25 0 1 0 8217036 331620352 74307 1992294400 4194304 8223781 140735340215872 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14821/statm: 80962 74307 536 984 0 79975 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 323848
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.08
CPU user time (s): 1796.92
CPU system time (s): 5.16521
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 333408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.92
system time used= 5.16521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 861207
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= 1317
runsolver used 3.14652 second user time and 8.33973 second system time
The end
Begin job on node045 at 2010-06-16 08:20:48
IDJOB=2666731
IDBENCH=48244
IDSOLVER=1169
FILE ID=node045/2666731-1276669248
PBS_JOBID= 11172519
Free space on /tmp= 62460 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/bsg/normalized-bsg_500_60_1.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-2666731-1276669248/watcher-2666731-1276669248 -o /tmp/evaluation-result-2666731-1276669248/solver-2666731-1276669248 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666731-1276669248.opb -t 1800 -m 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6c6505c4760e09c43f48167716751a54
RANDOM SEED=1910128297
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: 1755904 kB
Buffers: 58728 kB
Cached: 119608 kB
SwapCached: 0 kB
Active: 94360 kB
Inactive: 143308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2059040 kB
LowFree: 1755904 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 5496 kB
Writeback: 0 kB
AnonPages: 59364 kB
Mapped: 15368 kB
Slab: 43800 kB
PageTables: 3984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 5222476 kB
Committed_AS: 182596 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= 62456 MiB
End job on node045 at 2010-06-16 08:50:51