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) | 1121.87 | 1122.28 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9023_3.std.opb |
MD5SUM | ab00cc8e8b09e97f2dcc186b02d98b59 |
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 | 116 |
Best CPU time to get the best result obtained on this benchmark | 6.62899 |
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 | 54782 |
Total number of constraints | 184370 |
Number of constraints which are clauses | 183170 |
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 | 51 |
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-2704984-1278582424.opb> 2.79/2.85 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184370 constraints 2.79/2.85 c problem read 2.79/2.86 c presolving settings loaded 3.79/3.83 c presolving: 15.89/15.98 c (round 1) 4855 del vars, 13915 del conss, 3653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12562144 impls, 0 clqs 23.38/23.44 c (round 2) 10084 del vars, 36939 del conss, 8654 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12589793 impls, 0 clqs 25.98/26.09 c (round 3) 12422 del vars, 46921 del conss, 10041 chg bounds, 48 chg sides, 44 chg coeffs, 0 upgd conss, 12605617 impls, 0 clqs 27.78/27.86 c (round 4) 13630 del vars, 51670 del conss, 10908 chg bounds, 73 chg sides, 72 chg coeffs, 0 upgd conss, 12616129 impls, 0 clqs 28.98/29.09 c (round 5) 14520 del vars, 54999 del conss, 11511 chg bounds, 90 chg sides, 92 chg coeffs, 0 upgd conss, 12624477 impls, 0 clqs 29.69/29.77 c (round 6) 15075 del vars, 57219 del conss, 11836 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12630688 impls, 0 clqs 30.38/30.42 c (round 7) 15538 del vars, 58831 del conss, 12124 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12636701 impls, 0 clqs 30.87/30.95 c (round 8) 15919 del vars, 60272 del conss, 12364 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12641340 impls, 0 clqs 31.27/31.38 c (round 9) 16250 del vars, 61506 del conss, 12567 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12645359 impls, 0 clqs 31.57/31.67 c (round 10) 16446 del vars, 62337 del conss, 12675 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12648093 impls, 0 clqs 31.78/31.86 c (round 11) 16569 del vars, 62869 del conss, 12747 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12649553 impls, 0 clqs 32.07/32.10 c (round 12) 16634 del vars, 63167 del conss, 12787 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12650346 impls, 0 clqs 32.17/32.23 c (round 13) 16665 del vars, 63327 del conss, 12798 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12650993 impls, 0 clqs 32.37/32.44 c (round 14) 16683 del vars, 63408 del conss, 12816 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651265 impls, 0 clqs 32.47/32.57 c (round 15) 16705 del vars, 63501 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651445 impls, 0 clqs 32.57/32.68 c (round 16) 16709 del vars, 63527 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 0 upgd conss, 12651485 impls, 0 clqs 33.58/33.67 c (round 17) 16709 del vars, 63529 del conss, 12819 chg bounds, 95 chg sides, 96 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs 34.58/34.61 c (round 18) 16709 del vars, 63533 del conss, 12819 chg bounds, 135 chg sides, 262 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs 34.98/35.05 c (round 19) 16709 del vars, 63536 del conss, 12819 chg bounds, 147 chg sides, 291 chg coeffs, 120841 upgd conss, 12651485 impls, 0 clqs 1121.00/1121.30 c pressed CTRL-C 1 times (5 times for forcing termination) 1121.00/1121.33 c (1118.5s) probing: 902/38073 (2.4%) - 0 fixings, 0 aggregations, 8325065 implications, 0 bound changes 1121.00/1121.33 c (1118.5s) probing aborted: solving stopped 1121.00/1121.34 c presolving (20 rounds): 1121.00/1121.34 c 16709 deleted vars, 63536 deleted constraints, 12819 tightened bounds, 0 added holes, 150 changed sides, 314 changed coefficients 1121.00/1121.34 c 49843833 implications, 0 cliques 1121.00/1121.34 c presolved problem has 38073 variables (38073 bin, 0 int, 0 impl, 0 cont) and 120856 constraints 1121.00/1121.34 c 1060 constraints of type <knapsack> 1121.00/1121.34 c 101010 constraints of type <setppc> 1121.00/1121.34 c 18786 constraints of type <logicor> 1121.00/1121.34 c transformed objective value is always integral (scale: 1) 1121.00/1121.34 c Presolving Time: 1117.85 1121.00/1121.34 c - non default parameters ---------------------------------------------------------------------- 1121.00/1121.34 c # SCIP version 1.2.1.3 1121.00/1121.34 c 1121.00/1121.34 c # frequency for displaying node information lines 1121.00/1121.34 c # [type: int, range: [-1,2147483647], default: 100] 1121.00/1121.34 c display/freq = 10000 1121.00/1121.34 c 1121.00/1121.34 c # maximal time in seconds to run 1121.00/1121.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1121.00/1121.34 c limits/time = 1787.15 1121.00/1121.34 c 1121.00/1121.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1121.00/1121.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1121.00/1121.34 c limits/memory = 1620 1121.00/1121.34 c 1121.00/1121.34 c # default clock type (1: CPU user seconds, 2: wall clock time) 1121.00/1121.34 c # [type: int, range: [1,2], default: 1] 1121.00/1121.34 c timing/clocktype = 2 1121.00/1121.34 c 1121.00/1121.34 c # should presolving try to simplify inequalities 1121.00/1121.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1121.00/1121.34 c constraints/linear/simplifyinequalities = TRUE 1121.00/1121.34 c 1121.00/1121.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1121.00/1121.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1121.00/1121.34 c constraints/indicator/addCouplingCons = TRUE 1121.00/1121.34 c 1121.00/1121.34 c # should presolving try to simplify knapsacks 1121.00/1121.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1121.00/1121.34 c constraints/knapsack/simplifyinequalities = TRUE 1121.00/1121.34 c 1121.00/1121.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1121.00/1121.34 c # [type: int, range: [-1,2147483647], default: -1] 1121.00/1121.34 c separating/rapidlearning/freq = 0 1121.00/1121.34 c 1121.00/1121.34 c ----------------------------------------------------------------------------------------------- 1121.00/1121.34 c start solving 1121.10/1121.44 c 1121.10/1121.44 c (node 0) switching to memory saving mode (mem: 1357.1M/1620.0M) 1121.64/1122.10 c [src/scip/sepastore.c:60] ERROR: Insufficient memory for reallocation of 1080968 bytes 1121.64/1122.10 c [src/scip/sepastore.c:60] ERROR: No memory in function call 1121.64/1122.10 c [src/scip/sepastore.c:258] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/sepastore.c:375] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/scip.c:13571] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/cons_logicor.c:888] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/cons_logicor.c:1700] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/cons.c:2338] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:713] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:755] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:792] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:1912] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:2591] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/solve.c:3206] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/scip/scip.c:6312] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/cmain.c:674] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/cmain.c:849] ERROR: Error <-1> in function call 1121.64/1122.10 c [src/cmain.c:925] ERROR: Error <-1> in function call 1121.64/1122.10 c SCIP Error (-1): c insufficient memory errorc 1121.64/1122.10 c Time complete: 1121.7.
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-2704984-1278582424/watcher-2704984-1278582424 -o /tmp/evaluation-result-2704984-1278582424/solver-2704984-1278582424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704984-1278582424.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.10 1.06 1.00 3/106 579 /proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=5692 CPUtime=0 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 728 0 0 0 0 0 0 0 15 0 1 0 26448976 5828608 643 1992294400 4194304 8395647 140736267424208 18446744073709551615 5503360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 1423 647 304 1026 0 393 0 [startup+0.078459 s] /proc/loadavg: 1.10 1.06 1.00 3/106 579 /proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=16668 CPUtime=0.07 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 3470 0 0 0 6 1 0 0 17 0 1 0 26448976 17068032 3381 1992294400 4194304 8395647 140736267424208 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 4167 3381 393 1026 0 3137 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16668 [startup+0.10046 s] /proc/loadavg: 1.10 1.06 1.00 3/106 579 /proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=18376 CPUtime=0.09 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 3872 0 0 0 8 1 0 0 17 0 1 0 26448976 18817024 3783 1992294400 4194304 8395647 140736267424208 18446744073709551615 6014177 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 4594 3783 393 1026 0 3564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18376 [startup+0.300477 s] /proc/loadavg: 1.10 1.06 1.00 3/106 579 /proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=32748 CPUtime=0.29 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 7461 0 0 0 27 2 0 0 17 0 1 0 26448976 33533952 7372 1992294400 4194304 8395647 140736267424208 18446744073709551615 7324740 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 8187 7372 393 1026 0 7157 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32748 [startup+0.700512 s] /proc/loadavg: 1.10 1.06 1.00 3/106 579 /proc/meminfo: memFree=1777780/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=47008 CPUtime=0.69 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 11007 0 0 0 65 4 0 0 17 0 1 0 26448976 48136192 10918 1992294400 4194304 8395647 140736267424208 18446744073709551615 4437222 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 11752 10918 393 1026 0 10722 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47008 [startup+1.50058 s] /proc/loadavg: 1.10 1.06 1.00 2/107 580 /proc/meminfo: memFree=1727924/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=65768 CPUtime=1.49 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 15711 0 0 0 144 5 0 0 18 0 1 0 26448976 67346432 15622 1992294400 4194304 8395647 140736267424208 18446744073709551615 6014148 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/579/statm: 16442 15622 393 1026 0 15412 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 65768 [startup+3.10072 s] /proc/loadavg: 1.10 1.06 1.00 2/107 580 /proc/meminfo: memFree=1692336/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=192752 CPUtime=3.09 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 47666 0 0 0 292 17 0 0 21 0 1 0 26448976 197378048 47223 1992294400 4194304 8395647 140736267424208 18446744073709551615 4497876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 48188 47223 412 1026 0 47158 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 192752 [startup+6.301 s] /proc/loadavg: 1.09 1.06 1.00 2/107 580 /proc/meminfo: memFree=1428712/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=398760 CPUtime=6.29 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 98344 0 0 0 593 36 0 0 25 0 1 0 26448976 408330240 97901 1992294400 4194304 8395647 140736267424208 18446744073709551615 7385355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 99690 97901 469 1026 0 98660 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 398760 [startup+12.7016 s] /proc/loadavg: 1.08 1.06 1.00 2/107 580 /proc/meminfo: memFree=1196336/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=610512 CPUtime=12.69 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 149433 0 0 0 1216 53 0 0 25 0 1 0 26448976 625164288 148990 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 152628 148990 469 1026 0 151598 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 610512 [startup+25.5007 s] /proc/loadavg: 1.06 1.06 1.00 2/107 580 /proc/meminfo: memFree=1136444/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=657992 CPUtime=25.48 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 160812 0 0 0 2492 56 0 0 25 0 1 0 26448976 673783808 160369 1992294400 4194304 8395647 140736267424208 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 164498 160369 475 1026 0 163468 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 657992 [startup+51.1009 s] /proc/loadavg: 1.04 1.05 1.00 2/107 580 /proc/meminfo: memFree=1075312/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=722288 CPUtime=51.07 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 179892 0 0 0 5045 62 0 0 25 0 1 0 26448976 739622912 175956 1992294400 4194304 8395647 140736267424208 18446744073709551615 6349002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 180572 175956 519 1026 0 179542 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 722288 [startup+102.308 s] /proc/loadavg: 1.02 1.04 1.00 2/107 582 /proc/meminfo: memFree=1028068/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=771648 CPUtime=102.25 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 191659 0 0 0 10160 65 0 0 25 0 1 0 26448976 790167552 187723 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 192912 187723 519 1026 0 191882 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 771648 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 584 /proc/meminfo: memFree=946352/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=853404 CPUtime=162.23 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 211803 0 0 0 16152 71 0 0 25 0 1 0 26448976 873885696 207867 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 213351 207867 519 1026 0 212321 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 853404 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 584 /proc/meminfo: memFree=866248/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=934636 CPUtime=222.22 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 231804 0 0 0 22142 80 0 0 25 0 1 0 26448976 957067264 227868 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 233659 227868 519 1026 0 232629 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 934636 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 586 /proc/meminfo: memFree=806232/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=994600 CPUtime=282.21 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 246815 0 0 0 28135 86 0 0 25 0 1 0 26448976 1018470400 242879 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 248650 242879 519 1026 0 247620 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 994600 [startup+342.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 588 /proc/meminfo: memFree=716456/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1083504 CPUtime=342.19 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 269165 0 0 0 34124 95 0 0 25 0 1 0 26448976 1109508096 265229 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 270876 265229 519 1026 0 269846 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1083504 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 590 /proc/meminfo: memFree=656564/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1146160 CPUtime=402.18 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 284408 0 0 0 40117 101 0 0 25 0 1 0 26448976 1173667840 280472 1992294400 4194304 8395647 140736267424208 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 286540 280472 519 1026 0 285510 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1146160 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 592 /proc/meminfo: memFree=566912/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1234024 CPUtime=462.17 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 306461 0 0 0 46107 110 0 0 25 0 1 0 26448976 1263640576 302525 1992294400 4194304 8395647 140736267424208 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 308506 302525 519 1026 0 307476 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1234024 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 592 /proc/meminfo: memFree=500696/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1301804 CPUtime=522.15 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 323411 0 0 0 52098 117 0 0 25 0 1 0 26448976 1333047296 319475 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 325451 319475 519 1026 0 324421 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1301804 [startup+582.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 594 /proc/meminfo: memFree=443036/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1364032 CPUtime=582.13 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 338414 0 0 0 58090 123 0 0 25 0 1 0 26448976 1396768768 334478 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 341008 334478 519 1026 0 339978 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1364032 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 596 /proc/meminfo: memFree=371612/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1430492 CPUtime=642.13 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 355218 0 0 0 64082 131 0 0 25 0 1 0 26448976 1464823808 351282 1992294400 4194304 8395647 140736267424208 18446744073709551615 5215894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 357623 351282 519 1026 0 356593 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1430492 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 598 /proc/meminfo: memFree=307504/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1494980 CPUtime=702.1 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 371208 0 0 0 70074 136 0 0 25 0 1 0 26448976 1530859520 367272 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 373745 367272 519 1026 0 372715 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1494980 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 600 /proc/meminfo: memFree=225416/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1576240 CPUtime=762.1 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 391615 0 0 0 76062 148 0 0 25 0 1 0 26448976 1614069760 387679 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210343 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 394060 387679 519 1026 0 393030 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1576240 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 600 /proc/meminfo: memFree=195036/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1607704 CPUtime=822.08 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 399185 0 0 0 82057 151 0 0 25 0 1 0 26448976 1646288896 395249 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 401926 395249 519 1026 0 400896 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1607704 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 611 /proc/meminfo: memFree=152256/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1649388 CPUtime=882.05 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 409891 0 0 0 88049 156 0 0 25 0 1 0 26448976 1688973312 405955 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 412347 405955 519 1026 0 411317 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1649388 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 613 /proc/meminfo: memFree=107492/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1694864 CPUtime=942.04 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 421090 0 0 0 94043 161 0 0 25 0 1 0 26448976 1735540736 417154 1992294400 4194304 8395647 140736267424208 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 423716 417154 519 1026 0 422686 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1694864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 615 /proc/meminfo: memFree=33464/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1772776 CPUtime=1002.02 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 440024 0 0 0 100034 168 0 0 25 0 1 0 26448976 1815322624 436088 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 443194 436088 519 1026 0 442164 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1772776 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 617 /proc/meminfo: memFree=10508/2059040 swapFree=4139820/4192956 [pid=579] ppid=577 vsize=1817088 CPUtime=1062.01 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 450712 0 0 0 106028 173 0 0 25 0 1 0 26448976 1860698112 446776 1992294400 4194304 8395647 140736267424208 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 454272 446776 519 1026 0 453242 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1817088 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1121.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 617 /proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956 [pid=579] ppid=577 vsize=1843288 CPUtime=1121 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 457063 0 0 0 111923 177 0 0 25 0 1 0 26448976 1887526912 453127 1992294400 4194304 8395647 140736267424208 18446744073709551615 4698201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 460822 453127 519 1026 0 459792 0 Current children cumulated CPU time (s) 1121 Current children cumulated vsize (KiB) 1843288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1121.41 s] /proc/loadavg: 1.00 1.00 1.00 2/107 617 /proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956 [pid=579] ppid=577 vsize=1843288 CPUtime=1121.1 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 457072 0 0 0 111933 177 0 0 25 0 1 0 26448976 1887526912 453136 1992294400 4194304 8395647 140736267424208 18446744073709551615 4215707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 460822 453136 528 1026 0 459792 0 Current children cumulated CPU time (s) 1121.1 Current children cumulated vsize (KiB) 1843288 [startup+1121.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 617 /proc/meminfo: memFree=10688/2059040 swapFree=4139816/4192956 [pid=579] ppid=577 vsize=1869460 CPUtime=1121.5 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202496 464052 0 0 0 111967 183 0 0 25 0 1 0 26448976 1914327040 459970 1992294400 4194304 8395647 140736267424208 18446744073709551615 6152678 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/579/statm: 467365 459970 541 1026 0 466335 0 Current children cumulated CPU time (s) 1121.5 Current children cumulated vsize (KiB) 1869460 [startup+1122.2 s] /proc/loadavg: 1.00 1.00 1.00 3/108 618 /proc/meminfo: memFree=7812/2059040 swapFree=4138844/4192956 [pid=579] ppid=577 vsize=0 CPUtime=1121.79 /proc/579/stat : 579 (pbscip.linux.x8) R 577 579 32113 0 -1 4202500 470748 0 0 0 111980 199 0 0 25 0 1 0 26448976 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 10 /proc/579/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 0 Child status: 255 Real time (s): 1122.28 CPU time (s): 1121.87 CPU user time (s): 1119.8 CPU system time (s): 2.07069 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 1890796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1119.8 system time used= 2.07069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470748 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= 4 involuntary context switches= 2444 runsolver used 1.9837 second user time and 5.18621 second system time The end
Begin job on node055 at 2010-07-08 11:47:05 IDJOB=2704984 IDBENCH=77831 IDSOLVER=1213 FILE ID=node055/2704984-1278582424 PBS_JOBID= 11240072 Free space on /tmp= 62576 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/j90opt/normalized-j9023_3.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-2704984-1278582424/watcher-2704984-1278582424 -o /tmp/evaluation-result-2704984-1278582424/solver-2704984-1278582424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704984-1278582424.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ab00cc8e8b09e97f2dcc186b02d98b59 RANDOM SEED=89708254 node055.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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778308 kB Buffers: 32268 kB Cached: 160376 kB SwapCached: 6292 kB Active: 131324 kB Inactive: 74784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778308 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 15940 kB Writeback: 0 kB AnonPages: 11856 kB Mapped: 12040 kB Slab: 52756 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180992 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= 62564 MiB End job on node055 at 2010-07-08 12:05:49