Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (MO) | 939.635 | 940.074 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12021_8.std.opb |
MD5SUM | 33a0c5076a13a0bc08e55dbdcaafa3d4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 127 |
Best CPU time to get the best result obtained on this benchmark | 8.84266 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 245119 |
Number of constraints which are clauses | 243919 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704927-1278581926.opb> 3.79/3.80 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints 3.79/3.80 c problem read 3.79/3.80 c presolving settings loaded 4.99/5.04 c presolving: 21.19/21.22 c (round 1) 6854 del vars, 20781 del conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs 33.78/33.88 c (round 2) 14849 del vars, 53140 del conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs 37.98/38.05 c (round 3) 17795 del vars, 66903 del conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs 40.78/40.80 c (round 4) 19319 del vars, 72661 del conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs 42.79/42.85 c (round 5) 20634 del vars, 77571 del conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs 44.18/44.26 c (round 6) 21481 del vars, 80847 del conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs 45.18/45.20 c (round 7) 22071 del vars, 83150 del conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs 45.78/45.86 c (round 8) 22469 del vars, 84751 del conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs 46.28/46.32 c (round 9) 22743 del vars, 85862 del conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs 46.58/46.63 c (round 10) 22932 del vars, 86610 del conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs 47.08/47.16 c (round 11) 23069 del vars, 87168 del conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs 47.38/47.44 c (round 12) 23173 del vars, 87614 del conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs 47.98/48.04 c (round 13) 23245 del vars, 87888 del conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs 48.08/48.18 c (round 14) 23325 del vars, 88226 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs 48.28/48.32 c (round 15) 23325 del vars, 88252 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs 49.49/49.55 c (round 16) 23325 del vars, 88252 del conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs 50.38/50.48 c (round 17) 23325 del vars, 88252 del conss, 18370 chg bounds, 153 chg sides, 292 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs 51.08/51.14 c (round 18) 23325 del vars, 88265 del conss, 18370 chg bounds, 196 chg sides, 404 chg coeffs, 156867 upgd conss, 16807226 impls, 3536 clqs 51.58/51.63 c (round 19) 23325 del vars, 88272 del conss, 18370 chg bounds, 205 chg sides, 428 chg coeffs, 156867 upgd conss, 16807226 impls, 3539 clqs 938.66/938.91 c pressed CTRL-C 1 times (5 times for forcing termination) 938.66/938.96 c (935.2s) probing: 558/49517 (1.1%) - 1 fixings, 1 aggregations, 7206406 implications, 0 bound changes 938.66/938.96 c (935.2s) probing aborted: solving stopped 938.66/938.98 c presolving (20 rounds): 938.66/938.98 c 23327 deleted vars, 88272 deleted constraints, 18370 tightened bounds, 0 added holes, 205 changed sides, 428 changed coefficients 938.66/938.98 c 48233252 implications, 3508 cliques 938.66/938.98 c presolved problem has 49515 variables (49515 bin, 0 int, 0 impl, 0 cont) and 156912 constraints 938.66/938.98 c 1089 constraints of type <knapsack> 938.66/938.98 c 131412 constraints of type <setppc> 938.66/938.98 c 24411 constraints of type <logicor> 938.66/938.98 c transformed objective value is always integral (scale: 1) 938.66/938.98 c Presolving Time: 934.39 938.66/938.98 c - non default parameters ---------------------------------------------------------------------- 938.66/938.98 c # SCIP version 1.2.1.3 938.66/938.98 c 938.66/938.98 c # frequency for displaying node information lines 938.66/938.98 c # [type: int, range: [-1,2147483647], default: 100] 938.66/938.98 c display/freq = 10000 938.66/938.98 c 938.66/938.98 c # maximal time in seconds to run 938.66/938.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 938.66/938.98 c limits/time = 1786.2 938.66/938.98 c 938.66/938.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 938.66/938.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 938.66/938.98 c limits/memory = 1620 938.66/938.98 c 938.66/938.98 c # default clock type (1: CPU user seconds, 2: wall clock time) 938.66/938.98 c # [type: int, range: [1,2], default: 1] 938.66/938.98 c timing/clocktype = 2 938.66/938.98 c 938.66/938.98 c # should presolving try to simplify inequalities 938.66/938.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 938.66/938.98 c constraints/linear/simplifyinequalities = TRUE 938.66/938.98 c 938.66/938.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 938.66/938.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 938.66/938.98 c constraints/indicator/addCouplingCons = TRUE 938.66/938.98 c 938.66/938.98 c # should presolving try to simplify knapsacks 938.66/938.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 938.66/938.98 c constraints/knapsack/simplifyinequalities = TRUE 938.66/938.98 c 938.66/938.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 938.66/938.98 c # [type: int, range: [-1,2147483647], default: -1] 938.66/938.98 c separating/rapidlearning/freq = 0 938.66/938.98 c 938.66/938.98 c ----------------------------------------------------------------------------------------------- 938.66/938.98 c start solving 938.84/939.12 c 938.84/939.12 c (node 0) switching to memory saving mode (mem: 1340.2M/1620.0M) 939.37/939.90 c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes 939.37/939.90 c [src/scip/lp.c:3540] ERROR: Insufficient memory for new chunk 939.37/939.90 c [src/scip/lp.c:3540] ERROR: No memory in function call 939.37/939.90 c [src/scip/scip.c:12056] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/cons_setppc.c:1401] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/cons_setppc.c:1424] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/cons_setppc.c:2577] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/cons.c:2338] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:713] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:755] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:792] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:1912] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:2591] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/solve.c:3206] ERROR: Error <-1> in function call 939.37/939.90 c [src/scip/scip.c:6312] ERROR: Error <-1> in function call 939.37/939.90 c [src/cmain.c:674] ERROR: Error <-1> in function call 939.37/939.90 c [src/cmain.c:849] ERROR: Error <-1> in function call 939.37/939.90 c [src/cmain.c:925] ERROR: Error <-1> in function call 939.37/939.90 c SCIP Error (-1): c insufficient memory errorc 939.37/939.90 c Time complete: 939.46.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704927-1278581926/watcher-2704927-1278581926 -o /tmp/evaluation-result-2704927-1278581926/solver-2704927-1278581926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704927-1278581926.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: 1.00 1.00 0.95 3/106 4406 /proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=7904 CPUtime=0 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 1743733 8093696 979 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 1976 987 365 1026 0 946 0 [startup+0.0322421 s] /proc/loadavg: 1.00 1.00 0.95 3/106 4406 /proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=12092 CPUtime=0.02 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 2321 0 0 0 2 0 0 0 20 0 1 0 1743733 12382208 2232 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 3023 2232 393 1026 0 1993 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12092 [startup+0.101254 s] /proc/loadavg: 1.00 1.00 0.95 3/106 4406 /proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=18372 CPUtime=0.09 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 3871 0 0 0 8 1 0 0 20 0 1 0 1743733 18812928 3782 1992294400 4194304 8395647 140735809978336 18446744073709551615 6765685 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 4593 3782 393 1026 0 3563 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18372 [startup+0.300274 s] /proc/loadavg: 1.00 1.00 0.95 3/106 4406 /proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=32744 CPUtime=0.29 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 7458 0 0 0 27 2 0 0 20 0 1 0 1743733 33529856 7369 1992294400 4194304 8395647 140735809978336 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 8186 7369 393 1026 0 7156 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32744 [startup+0.700321 s] /proc/loadavg: 1.00 1.00 0.95 3/106 4406 /proc/meminfo: memFree=1737548/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=53124 CPUtime=0.69 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 12588 0 0 0 65 4 0 0 20 0 1 0 1743733 54398976 12499 1992294400 4194304 8395647 140735809978336 18446744073709551615 7278805 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 13281 12499 393 1026 0 12251 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53124 [startup+1.50041 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4407 /proc/meminfo: memFree=1682112/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=71892 CPUtime=1.49 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 17257 0 0 0 143 6 0 0 22 0 1 0 1743733 73617408 17168 1992294400 4194304 8395647 140735809978336 18446744073709551615 7370187 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 17973 17168 393 1026 0 16943 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71892 [startup+3.1006 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4407 /proc/meminfo: memFree=1655452/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=123120 CPUtime=3.09 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 30025 0 0 0 297 12 0 0 25 0 1 0 1743733 126074880 29936 1992294400 4194304 8395647 140735809978336 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4406/statm: 30780 29936 393 1026 0 29750 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123120 [startup+6.30097 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4407 /proc/meminfo: memFree=1371864/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=421880 CPUtime=6.29 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 103641 0 0 0 591 38 0 0 25 0 1 0 1743733 432005120 103198 1992294400 4194304 8395647 140735809978336 18446744073709551615 5049837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 105470 103198 463 1026 0 104440 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 421880 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4407 /proc/meminfo: memFree=1092616/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=675372 CPUtime=12.69 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 166597 0 0 0 1209 60 0 0 25 0 1 0 1743733 691580928 166154 1992294400 4194304 8395647 140735809978336 18446744073709551615 4684112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 168843 166154 469 1026 0 167813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 675372 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4408 /proc/meminfo: memFree=900664/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=856544 CPUtime=25.48 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 209613 0 0 0 2475 73 0 0 25 0 1 0 1743733 877101056 209170 1992294400 4194304 8395647 140735809978336 18446744073709551615 6085496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 214136 209170 475 1026 0 213106 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 856544 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4408 /proc/meminfo: memFree=841764/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=915392 CPUtime=51.08 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 227854 0 0 0 5028 80 0 0 25 0 1 0 1743733 937361408 223963 1992294400 4194304 8395647 140735809978336 18446744073709551615 5598803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 228848 223963 555 1026 0 227818 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 915392 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4410 /proc/meminfo: memFree=803820/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=957124 CPUtime=102.27 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 237496 0 0 0 10144 83 0 0 25 0 1 0 1743733 980094976 233575 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 239281 233575 551 1026 0 238251 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 957124 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4411 /proc/meminfo: memFree=766620/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=994980 CPUtime=162.24 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 246745 0 0 0 16138 86 0 0 25 0 1 0 1743733 1018859520 242824 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 248745 242824 551 1026 0 247715 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 994980 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4413 /proc/meminfo: memFree=699288/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1063588 CPUtime=222.23 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 263427 0 0 0 22132 91 0 0 25 0 1 0 1743733 1089114112 259506 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 265897 259506 551 1026 0 264867 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1063588 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4414 /proc/meminfo: memFree=610256/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1165584 CPUtime=282.21 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 289082 0 0 0 28121 100 0 0 25 0 1 0 1743733 1193558016 285161 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 291396 285161 551 1026 0 290366 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1165584 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4416 /proc/meminfo: memFree=511676/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1250992 CPUtime=342.2 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 310208 0 0 0 34112 108 0 0 25 0 1 0 1743733 1281015808 306287 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 312748 306287 551 1026 0 311718 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1250992 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4418 /proc/meminfo: memFree=441492/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1324288 CPUtime=402.18 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 327714 0 0 0 40103 115 0 0 25 0 1 0 1743733 1356070912 323793 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 331072 323793 551 1026 0 330042 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1324288 [startup+462.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4419 /proc/meminfo: memFree=360272/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1406332 CPUtime=462.16 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 348221 0 0 0 46094 122 0 0 25 0 1 0 1743733 1440083968 344300 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 351583 344300 551 1026 0 350553 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1406332 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4421 /proc/meminfo: memFree=298520/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1467352 CPUtime=522.15 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 363455 0 0 0 52087 128 0 0 25 0 1 0 1743733 1502568448 359534 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 366838 359534 551 1026 0 365808 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1467352 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 4422 /proc/meminfo: memFree=244828/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1522296 CPUtime=582.13 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 376894 0 0 0 58081 132 0 0 25 0 1 0 1743733 1558831104 372973 1992294400 4194304 8395647 140735809978336 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 380574 372973 551 1026 0 379544 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1522296 [startup+642.301 s] /proc/loadavg: 1.06 1.02 0.96 2/107 4427 /proc/meminfo: memFree=186424/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1579784 CPUtime=642.12 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 391161 0 0 0 64073 139 0 0 25 0 1 0 1743733 1617698816 387240 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 394946 387240 551 1026 0 393916 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1579784 [startup+702.301 s] /proc/loadavg: 1.02 1.01 0.96 2/107 4429 /proc/meminfo: memFree=117232/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1648752 CPUtime=702.1 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 408743 0 0 0 70064 146 0 0 25 0 1 0 1743733 1688322048 404822 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 412188 404822 551 1026 0 411158 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1648752 [startup+762.308 s] /proc/loadavg: 1.01 1.00 0.96 2/107 4430 /proc/meminfo: memFree=46056/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1720096 CPUtime=762.09 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 426225 0 0 0 76055 154 0 0 25 0 1 0 1743733 1761378304 422304 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 430024 422304 551 1026 0 428994 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1720096 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 4432 /proc/meminfo: memFree=10720/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1760624 CPUtime=822.07 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 436548 0 0 0 82048 159 0 0 25 0 1 0 1743733 1802878976 432627 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 440156 432627 551 1026 0 439126 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1760624 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 4433 /proc/meminfo: memFree=9236/2059040 swapFree=4192956/4192956 [pid=4406] ppid=4404 vsize=1806196 CPUtime=882.05 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 448373 0 0 0 88039 166 0 0 25 0 1 0 1743733 1849544704 444452 1992294400 4194304 8395647 140735809978336 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 451549 444452 551 1026 0 450519 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1806196 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+938.906 s] /proc/loadavg: 1.00 1.00 0.96 2/107 4435 /proc/meminfo: memFree=9240/2059040 swapFree=4182088/4192956 [pid=4406] ppid=4404 vsize=1844172 CPUtime=938.66 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 457201 0 0 0 93695 171 0 0 25 0 1 0 1743733 1888432128 453280 1992294400 4194304 8395647 140735809978336 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 461043 453280 551 1026 0 460013 0 Current children cumulated CPU time (s) 938.66 Current children cumulated vsize (KiB) 1844172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+939.022 s] /proc/loadavg: 1.00 1.00 0.96 2/107 4435 /proc/meminfo: memFree=9240/2059040 swapFree=4182088/4192956 [pid=4406] ppid=4404 vsize=1845196 CPUtime=938.76 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 457474 0 0 0 93705 171 0 0 25 0 1 0 1743733 1889480704 453553 1992294400 4194304 8395647 140735809978336 18446744073709551615 4215691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4406/statm: 461299 453553 560 1026 0 460269 0 Current children cumulated CPU time (s) 938.76 Current children cumulated vsize (KiB) 1845196 [startup+939.812 s] /proc/loadavg: 1.00 1.00 0.96 2/108 4436 /proc/meminfo: memFree=7808/2059040 swapFree=4175356/4192956 [pid=4406] ppid=4404 vsize=1884340 CPUtime=939.37 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202496 467949 0 0 0 93755 182 0 0 25 0 1 0 1743733 1929564160 463725 1992294400 4194304 8395647 140735809978336 18446744073709551615 6152678 0 0 4096 16384 0 0 0 17 1 0 0 18 /proc/4406/statm: 471085 463725 543 1026 0 470055 0 Current children cumulated CPU time (s) 939.37 Current children cumulated vsize (KiB) 1884340 [startup+940.002 s] /proc/loadavg: 1.00 1.00 0.96 2/108 4436 /proc/meminfo: memFree=7808/2059040 swapFree=4175356/4192956 [pid=4406] ppid=4404 vsize=0 CPUtime=939.56 /proc/4406/stat : 4406 (pbscip.linux.x8) R 4404 4406 3727 0 -1 4202500 470307 0 0 0 93763 193 0 0 25 0 1 0 1743733 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 18 /proc/4406/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 939.56 Current children cumulated vsize (KiB) 0 Child status: 255 Real time (s): 940.074 CPU time (s): 939.635 CPU user time (s): 937.631 CPU system time (s): 2.00369 CPU usage (%): 99.9533 Max. virtual memory (cumulated for all children) (KiB): 1884340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 937.631 system time used= 2.0037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470307 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= 10 involuntary context switches= 1751 runsolver used 1.57876 second user time and 4.44132 second system time The end
Begin job on node033 at 2010-07-08 11:38:46 IDJOB=2704927 IDBENCH=77130 IDSOLVER=1213 FILE ID=node033/2704927-1278581926 PBS_JOBID= 11240091 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.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-2704927-1278581926/watcher-2704927-1278581926 -o /tmp/evaluation-result-2704927-1278581926/solver-2704927-1278581926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704927-1278581926.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 33a0c5076a13a0bc08e55dbdcaafa3d4 RANDOM SEED=1006859123 node033.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.224 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.44 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.224 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: 1738076 kB Buffers: 54576 kB Cached: 158456 kB SwapCached: 0 kB Active: 122600 kB Inactive: 149604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1738076 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 17492 kB Writeback: 0 kB AnonPages: 59108 kB Mapped: 14384 kB Slab: 26964 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179456 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= 62496 MiB End job on node033 at 2010-07-08 11:54:27