Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (MO) | 1084.86 | 1085.58 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1206_4.std.opb |
MD5SUM | dc2381243433b8fdb488c977baa91e3c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 158 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
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 | 234497 |
Number of constraints which are clauses | 233297 |
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 | 64 |
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.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-2686965-1278445162.opb> 4.40/4.44 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234497 constraints 4.40/4.44 c problem read 4.40/4.44 c presolving settings loaded 5.69/5.70 c presolving: 19.79/19.81 c (round 1) 5203 del vars, 16516 del conss, 3641 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15821316 impls, 0 clqs 29.69/29.71 c (round 2) 11991 del vars, 40942 del conss, 10295 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15848161 impls, 0 clqs 33.28/33.35 c (round 3) 14320 del vars, 51556 del conss, 11564 chg bounds, 43 chg sides, 36 chg coeffs, 0 upgd conss, 15857689 impls, 0 clqs 35.09/35.17 c (round 4) 15200 del vars, 55124 del conss, 12087 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15863433 impls, 0 clqs 36.19/36.21 c (round 5) 15686 del vars, 57037 del conss, 12334 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15867599 impls, 0 clqs 36.88/36.97 c (round 6) 15923 del vars, 58044 del conss, 12472 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15870225 impls, 0 clqs 37.39/37.47 c (round 7) 16054 del vars, 58611 del conss, 12544 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15871842 impls, 0 clqs 37.77/37.87 c (round 8) 16128 del vars, 58932 del conss, 12590 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873020 impls, 0 clqs 38.17/38.22 c (round 9) 16178 del vars, 59151 del conss, 12621 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873757 impls, 0 clqs 38.48/38.56 c (round 10) 16224 del vars, 59339 del conss, 12648 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874440 impls, 0 clqs 38.77/38.85 c (round 11) 16250 del vars, 59466 del conss, 12669 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874538 impls, 0 clqs 39.07/39.13 c (round 12) 16260 del vars, 59518 del conss, 12674 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874632 impls, 0 clqs 39.37/39.40 c (round 13) 16270 del vars, 59561 del conss, 12681 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874677 impls, 0 clqs 832.38/832.61 c (round 14) 16322 del vars, 59577 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312719 impls, 0 clqs 833.48/833.73 c (round 15) 16330 del vars, 60961 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312961 impls, 0 clqs 835.46/835.75 c (round 16) 16330 del vars, 60969 del conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 173528 upgd conss, 41312961 impls, 0 clqs 838.16/838.41 c (round 17) 16330 del vars, 60982 del conss, 12682 chg bounds, 79 chg sides, 292 chg coeffs, 173528 upgd conss, 41313229 impls, 1210 clqs 840.37/840.63 c (round 18) 16330 del vars, 60988 del conss, 12682 chg bounds, 116 chg sides, 426 chg coeffs, 173528 upgd conss, 41313229 impls, 1387 clqs 1083.32/1083.60 c pressed CTRL-C 1 times (5 times for forcing termination) 1083.81/1084.12 c (1075.5s) probing: 585/56570 (1.0%) - 48 fixings, 4 aggregations, 8567820 implications, 0 bound changes 1083.81/1084.12 c (1075.5s) probing aborted: solving stopped 1083.81/1084.14 c presolving (19 rounds): 1083.81/1084.14 c 16332 deleted vars, 60989 deleted constraints, 12682 tightened bounds, 0 added holes, 116 changed sides, 426 changed coefficients 1083.81/1084.14 c 45598631 implications, 1387 cliques 1083.81/1084.14 c presolved problem has 56510 variables (56510 bin, 0 int, 0 impl, 0 cont) and 173552 constraints 1083.81/1084.14 c 1156 constraints of type <knapsack> 1083.81/1084.14 c 38 constraints of type <setppc> 1083.81/1084.14 c 172358 constraints of type <logicor> 1083.81/1084.14 c transformed objective value is always integral (scale: 1) 1083.81/1084.14 c Presolving Time: 1074.92 1083.81/1084.14 c - non default parameters ---------------------------------------------------------------------- 1083.81/1084.14 c # SCIP version 1.2.1.2 1083.81/1084.14 c 1083.81/1084.14 c # frequency for displaying node information lines 1083.81/1084.14 c # [type: int, range: [-1,2147483647], default: 100] 1083.81/1084.14 c display/freq = 10000 1083.81/1084.14 c 1083.81/1084.14 c # maximal time in seconds to run 1083.81/1084.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1083.81/1084.14 c limits/time = 1795.56 1083.81/1084.14 c 1083.81/1084.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1083.81/1084.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1083.81/1084.14 c limits/memory = 1620 1083.81/1084.14 c 1083.81/1084.14 c # should presolving try to simplify inequalities 1083.81/1084.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1083.81/1084.14 c constraints/linear/simplifyinequalities = TRUE 1083.81/1084.14 c 1083.81/1084.14 c # should presolving try to simplify knapsacks 1083.81/1084.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1083.81/1084.14 c constraints/knapsack/simplifyinequalities = TRUE 1083.81/1084.14 c 1083.81/1084.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1083.81/1084.14 c # [type: int, range: [-1,2147483647], default: -1] 1083.81/1084.14 c separating/rapidlearning/freq = 0 1083.81/1084.14 c 1083.81/1084.14 c ----------------------------------------------------------------------------------------------- 1083.81/1084.14 c start solving 1084.00/1084.32 c 1084.00/1084.32 c (node 0) switching to memory saving mode (mem: 1315.8M/1620.0M) 1084.55/1085.39 c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes 1084.55/1085.39 c [src/scip/lp.c:3515] ERROR: Insufficient memory for new chunk 1084.55/1085.39 c [src/scip/lp.c:3515] ERROR: No memory in function call 1084.55/1085.39 c [src/scip/scip.c:11695] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/cons_logicor.c:859] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/cons_logicor.c:882] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/cons_logicor.c:1702] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/cons.c:2338] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:719] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:761] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:798] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:1863] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:2577] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/solve.c:3189] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/scip/scip.c:6167] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/cmain.c:657] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/cmain.c:832] ERROR: Error <-1> in function call 1084.55/1085.39 c [src/cmain.c:908] ERROR: Error <-1> in function call 1084.55/1085.39 c SCIP Error (-1): c insufficient memory errorc 1084.55/1085.39 c Time complete: 1084.68.
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-2686965-1278445162/watcher-2686965-1278445162 -o /tmp/evaluation-result-2686965-1278445162/solver-2686965-1278445162 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686965-1278445162.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 1.00 3/106 21652 /proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=6692 CPUtime=0 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 12724045 6852608 732 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 1673 740 338 984 0 686 0 [startup+0.0593479 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21652 /proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=12788 CPUtime=0.04 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 2492 0 0 0 4 0 0 0 20 0 1 0 12724045 13094912 2412 1992294400 4194304 8223781 140735149488080 18446744073709551615 4907252 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 3318 2422 365 984 0 2331 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12788 [startup+0.101267 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21652 /proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=16048 CPUtime=0.09 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 3300 0 0 0 8 1 0 0 21 0 1 0 12724045 16433152 3220 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 4012 3220 365 984 0 3025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16048 [startup+0.301286 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21652 /proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=28068 CPUtime=0.29 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 6343 0 0 0 27 2 0 0 21 0 1 0 12724045 28741632 6254 1992294400 4194304 8223781 140735149488080 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 7017 6254 365 984 0 6030 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28068 [startup+0.701326 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21652 /proc/meminfo: memFree=1805336/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=48644 CPUtime=0.69 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 11456 0 0 0 65 4 0 0 22 0 1 0 12724045 49811456 11367 1992294400 4194304 8223781 140735149488080 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 12161 11367 365 984 0 11174 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48644 [startup+1.50141 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21653 /proc/meminfo: memFree=1754612/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=64976 CPUtime=1.49 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 15551 0 0 0 144 5 0 0 25 0 1 0 12724045 66535424 15462 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 16244 15462 365 984 0 15257 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64976 [startup+3.10157 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21653 /proc/meminfo: memFree=1733284/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=105140 CPUtime=3.09 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 25567 0 0 0 300 9 0 0 25 0 1 0 12724045 107663360 25478 1992294400 4194304 8223781 140735149488080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21652/statm: 26285 25478 365 984 0 25298 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 105140 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21654 /proc/meminfo: memFree=1471520/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=386516 CPUtime=6.29 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 94648 0 0 0 593 36 0 0 25 0 1 0 12724045 395792384 94170 1992294400 4194304 8223781 140735149488080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 96629 94170 437 984 0 95642 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 386516 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21654 /proc/meminfo: memFree=1167968/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=677788 CPUtime=12.69 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 167093 0 0 0 1199 70 0 0 25 0 1 0 12724045 694054912 166615 1992294400 4194304 8223781 140735149488080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 169447 166615 441 984 0 168460 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 677788 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21655 /proc/meminfo: memFree=987300/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=837648 CPUtime=25.48 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 204985 0 0 0 2445 103 0 0 25 0 1 0 12724045 857751552 204250 1992294400 4194304 8223781 140735149488080 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 209412 204250 445 984 0 208425 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 837648 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21655 /proc/meminfo: memFree=949604/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=877504 CPUtime=51.06 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 217977 0 0 0 4888 218 0 0 25 0 1 0 12724045 898564096 213801 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 219376 213801 460 984 0 218389 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 877504 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21657 /proc/meminfo: memFree=915628/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=913344 CPUtime=102.26 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 226429 0 0 0 10003 223 0 0 25 0 1 0 12724045 935264256 222253 1992294400 4194304 8223781 140735149488080 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 228336 222253 460 984 0 227349 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 913344 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21658 /proc/meminfo: memFree=875948/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=955120 CPUtime=162.24 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 236602 0 0 0 15997 227 0 0 25 0 1 0 12724045 978042880 232426 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 238780 232427 460 984 0 237793 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 955120 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21659 /proc/meminfo: memFree=809856/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1019124 CPUtime=222.22 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 252800 0 0 0 21988 234 0 0 25 0 1 0 12724045 1043582976 248624 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 254781 248624 460 984 0 253794 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1019124 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21661 /proc/meminfo: memFree=744508/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1084588 CPUtime=282.21 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 269088 0 0 0 27980 241 0 0 25 0 1 0 12724045 1110618112 264912 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 271147 264912 460 984 0 270160 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1084588 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21663 /proc/meminfo: memFree=683128/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1147016 CPUtime=342.19 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 284414 0 0 0 33972 247 0 0 25 0 1 0 12724045 1174544384 280238 1992294400 4194304 8223781 140735149488080 18446744073709551615 4688937 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 286754 280238 460 984 0 285767 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1147016 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21665 /proc/meminfo: memFree=641092/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1189472 CPUtime=402.18 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 295283 0 0 0 39966 252 0 0 25 0 1 0 12724045 1218019328 291107 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 297368 291107 460 984 0 296381 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1189472 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21666 /proc/meminfo: memFree=558880/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1274128 CPUtime=462.16 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 315645 0 0 0 45956 260 0 0 25 0 1 0 12724045 1304707072 311213 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 318532 311213 460 984 0 317545 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1274128 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21667 /proc/meminfo: memFree=478404/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1355956 CPUtime=522.15 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 335698 0 0 0 51947 268 0 0 25 0 1 0 12724045 1388498944 331266 1992294400 4194304 8223781 140735149488080 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 338989 331266 460 984 0 338002 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1355956 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21669 /proc/meminfo: memFree=422976/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1411368 CPUtime=582.14 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 349524 0 0 0 57940 274 0 0 25 0 1 0 12724045 1445240832 345092 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 352842 345092 460 984 0 351855 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1411368 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21671 /proc/meminfo: memFree=375732/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1459356 CPUtime=642.12 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 361557 0 0 0 63932 280 0 0 25 0 1 0 12724045 1494380544 356869 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 364839 356869 460 984 0 363852 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1459356 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21673 /proc/meminfo: memFree=323776/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1514088 CPUtime=702.1 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 375088 0 0 0 69923 287 0 0 25 0 1 0 12724045 1550426112 370400 1992294400 4194304 8223781 140735149488080 18446744073709551615 7073987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 378522 370400 460 984 0 377535 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1514088 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21674 /proc/meminfo: memFree=246648/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1589852 CPUtime=762.09 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 394490 0 0 0 75912 297 0 0 25 0 1 0 12724045 1628008448 389290 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 397463 389290 460 984 0 396476 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1589852 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21675 /proc/meminfo: memFree=216764/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1618528 CPUtime=822.07 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 401784 0 0 0 81906 301 0 0 25 0 1 0 12724045 1657372672 396584 1992294400 4194304 8223781 140735149488080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 404632 396584 460 984 0 403645 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1618528 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21677 /proc/meminfo: memFree=152656/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1686272 CPUtime=882.06 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 443221 0 0 0 87824 382 0 0 25 0 1 0 12724045 1726742528 412703 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 421568 412703 478 984 0 420581 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1686272 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21679 /proc/meminfo: memFree=116572/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1724704 CPUtime=942.04 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 452234 0 0 0 93819 385 0 0 25 0 1 0 12724045 1766096896 421716 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 431176 421716 478 984 0 430189 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1724704 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21681 /proc/meminfo: memFree=87060/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1754156 CPUtime=1002.03 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 459322 0 0 0 99814 389 0 0 25 0 1 0 12724045 1796255744 428804 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 438539 428804 479 984 0 437552 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1754156 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21682 /proc/meminfo: memFree=32376/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1811764 CPUtime=1062.01 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 473410 0 0 0 105806 395 0 0 25 0 1 0 12724045 1855246336 442892 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 452941 442892 479 984 0 451954 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1811764 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1083.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21683 /proc/meminfo: memFree=9740/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1844012 CPUtime=1083.32 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 480525 0 0 0 107932 400 0 0 25 0 1 0 12724045 1888268288 450007 1992294400 4194304 8223781 140735149488080 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 461003 450007 479 984 0 460016 0 Current children cumulated CPU time (s) 1083.32 Current children cumulated vsize (KiB) 1844012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1084.62 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21684 /proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1866572 CPUtime=1084.32 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202496 488094 0 0 0 108028 404 0 0 25 0 1 0 12724045 1911369728 455556 1992294400 4194304 8223781 140735149488080 18446744073709551615 6208080 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21652/statm: 466643 455556 510 984 0 465656 0 Current children cumulated CPU time (s) 1084.32 Current children cumulated vsize (KiB) 1866572 [startup+1085.21 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21684 /proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=1887072 CPUtime=1084.55 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4204544 493705 0 0 0 108045 410 0 0 23 0 1 0 12724045 1932361728 460560 1992294400 4194304 8223781 140735149488080 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 34 /proc/21652/statm: 471768 460560 510 984 0 470781 0 Current children cumulated CPU time (s) 1084.55 Current children cumulated vsize (KiB) 1887072 [startup+1085.51 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21684 /proc/meminfo: memFree=10956/2059040 swapFree=4192956/4192956 [pid=21652] ppid=21650 vsize=0 CPUtime=1084.79 /proc/21652/stat : 21652 (pbscip.linux.x8) R 21650 21652 20976 0 -1 4202500 495790 0 0 0 108052 427 0 0 18 0 1 0 12724045 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 41 /proc/21652/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1084.79 Current children cumulated vsize (KiB) 0 Child status: 255 Real time (s): 1085.58 CPU time (s): 1084.86 CPU user time (s): 1080.52 CPU system time (s): 4.33734 CPU usage (%): 99.934 Max. virtual memory (cumulated for all children) (KiB): 1887072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1080.52 system time used= 4.33734 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 495790 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= 15 involuntary context switches= 3717 runsolver used 1.81372 second user time and 5.15022 second system time The end
Begin job on node036 at 2010-07-06 21:39:22 IDJOB=2686965 IDBENCH=77212 IDSOLVER=1169 FILE ID=node036/2686965-1278445162 PBS_JOBID= 11233474 Free space on /tmp= 62496 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.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-2686965-1278445162/watcher-2686965-1278445162 -o /tmp/evaluation-result-2686965-1278445162/solver-2686965-1278445162 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686965-1278445162.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc2381243433b8fdb488c977baa91e3c RANDOM SEED=82031451 node036.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.244 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.48 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.244 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805864 kB Buffers: 18800 kB Cached: 104072 kB SwapCached: 0 kB Active: 38548 kB Inactive: 144776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805864 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 11728 kB Writeback: 0 kB AnonPages: 60576 kB Mapped: 14392 kB Slab: 47896 kB PageTables: 4256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179080 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= 62492 MiB End job on node036 at 2010-07-06 21:57:28