Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (MO) | 1450.63 | 1450.99 |
Name | /OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6035_5.std.opb |
MD5SUM | 5c066885a5dc7aa42baae564c5305e8c |
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 | 76 |
Best CPU time to get the best result obtained on this benchmark | 5.95909 |
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 | 36722 |
Total number of constraints | 129108 |
Number of constraints which are clauses | 127908 |
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 | 21 |
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: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2686847-1278442904.opb> 2.10/2.19 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints 2.10/2.19 c problem read 2.10/2.20 c presolving settings loaded 2.80/2.82 c presolving: 10.49/10.50 c (round 1) 3562 del vars, 10054 del conss, 2773 chg bounds, 9 chg sides, 8 chg coeffs, 0 upgd conss, 8765014 impls, 0 clqs 13.99/14.09 c (round 2) 6587 del vars, 22787 del conss, 5581 chg bounds, 24 chg sides, 21 chg coeffs, 0 upgd conss, 8782450 impls, 0 clqs 15.19/15.21 c (round 3) 7614 del vars, 27813 del conss, 6135 chg bounds, 79 chg sides, 65 chg coeffs, 0 upgd conss, 8789356 impls, 0 clqs 15.79/15.81 c (round 4) 8041 del vars, 29721 del conss, 6386 chg bounds, 104 chg sides, 93 chg coeffs, 0 upgd conss, 8792599 impls, 0 clqs 16.19/16.23 c (round 5) 8307 del vars, 30830 del conss, 6527 chg bounds, 132 chg sides, 125 chg coeffs, 0 upgd conss, 8794682 impls, 0 clqs 16.39/16.49 c (round 6) 8447 del vars, 31423 del conss, 6589 chg bounds, 164 chg sides, 157 chg coeffs, 0 upgd conss, 8795840 impls, 0 clqs 16.59/16.68 c (round 7) 8492 del vars, 31685 del conss, 6607 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796342 impls, 0 clqs 16.78/16.84 c (round 8) 8512 del vars, 31784 del conss, 6615 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796540 impls, 0 clqs 16.88/16.99 c (round 9) 8518 del vars, 31821 del conss, 6618 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796608 impls, 0 clqs 17.09/17.13 c (round 10) 8520 del vars, 31832 del conss, 6619 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796630 impls, 0 clqs 962.26/962.57 c (957.5s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes 1448.44/1448.80 c pressed CTRL-C 1 times (5 times for forcing termination) 1448.54/1448.93 c (1443.1s) probing: 1640/28200 (5.8%) - 1 fixings, 1 aggregations, 11904604 implications, 0 bound changes 1448.54/1448.93 c (1443.1s) probing aborted: solving stopped 1448.54/1448.93 c (round 11) 8524 del vars, 31843 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49291238 impls, 0 clqs 1448.54/1448.93 c presolving (11 rounds): 1448.54/1448.93 c 8524 deleted vars, 31843 deleted constraints, 6620 tightened bounds, 0 added holes, 174 changed sides, 167 changed coefficients 1448.54/1448.93 c 49291238 implications, 0 cliques 1448.54/1448.93 c presolving was interrupted. 1448.54/1448.93 c Presolving Time: 1442.80 1448.54/1448.93 c - non default parameters ---------------------------------------------------------------------- 1448.54/1448.93 c # SCIP version 1.2.1.2 1448.54/1448.93 c 1448.54/1448.93 c # frequency for displaying node information lines 1448.54/1448.93 c # [type: int, range: [-1,2147483647], default: 100] 1448.54/1448.93 c display/freq = 10000 1448.54/1448.93 c 1448.54/1448.93 c # maximal time in seconds to run 1448.54/1448.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1448.54/1448.93 c limits/time = 1797.81 1448.54/1448.93 c 1448.54/1448.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1448.54/1448.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1448.54/1448.93 c limits/memory = 1620 1448.54/1448.93 c 1448.54/1448.93 c # should presolving try to simplify inequalities 1448.54/1448.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1448.54/1448.93 c constraints/linear/simplifyinequalities = TRUE 1448.54/1448.93 c 1448.54/1448.93 c # should presolving try to simplify knapsacks 1448.54/1448.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1448.54/1448.93 c constraints/knapsack/simplifyinequalities = TRUE 1448.54/1448.93 c 1448.54/1448.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1448.54/1448.93 c # [type: int, range: [-1,2147483647], default: -1] 1448.54/1448.93 c separating/rapidlearning/freq = 0 1448.54/1448.93 c 1448.54/1448.93 c ----------------------------------------------------------------------------------------------- 1448.54/1448.93 c start solving 1448.63/1449.08 c presolving: 1449.13/1449.55 c (round 12) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49291238 impls, 0 clqs
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-2686847-1278442904/watcher-2686847-1278442904 -o /tmp/evaluation-result-2686847-1278442904/solver-2686847-1278442904 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2686847-1278442904.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 0.97 0.99 3/106 22054 /proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=9288 CPUtime=0 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 1025 0 0 0 0 0 0 0 20 0 1 0 12503362 9510912 946 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 2322 954 371 1374 0 943 0 [startup+0.0143471 s] /proc/loadavg: 0.95 0.97 0.99 3/106 22054 /proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=11092 CPUtime=0 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 1686 0 0 0 0 0 0 0 20 0 1 0 12503362 11358208 1607 1992294400 4194304 9819077 140734588950736 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 2773 1613 388 1374 0 1394 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11092 [startup+0.101353 s] /proc/loadavg: 0.95 0.97 0.99 3/106 22054 /proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=17608 CPUtime=0.09 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 3320 0 0 0 8 1 0 0 20 0 1 0 12503362 18030592 3241 1992294400 4194304 9819077 140734588950736 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 4643 3244 388 1374 0 3264 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17608 [startup+0.301372 s] /proc/loadavg: 0.95 0.97 0.99 3/106 22054 /proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=29628 CPUtime=0.29 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 6363 0 0 0 27 2 0 0 20 0 1 0 12503362 30339072 6275 1992294400 4194304 9819077 140734588950736 18446744073709551615 5649621 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 7407 6275 388 1374 0 6028 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29628 [startup+0.701409 s] /proc/loadavg: 0.95 0.97 0.99 3/106 22054 /proc/meminfo: memFree=1731404/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=39524 CPUtime=0.69 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 8827 0 0 0 66 3 0 0 20 0 1 0 12503362 40472576 8739 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 9881 8739 388 1374 0 8502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39524 [startup+1.50148 s] /proc/loadavg: 0.95 0.97 0.99 2/107 22055 /proc/meminfo: memFree=1690352/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=59668 CPUtime=1.49 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 13833 0 0 0 144 5 0 0 23 0 1 0 12503362 61100032 13745 1992294400 4194304 9819077 140734588950736 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22054/statm: 14917 13745 388 1374 0 13538 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59668 [startup+3.10063 s] /proc/loadavg: 0.95 0.97 0.99 2/107 22055 /proc/meminfo: memFree=1656872/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=208948 CPUtime=3.09 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 50953 0 0 0 290 19 0 0 25 0 1 0 12503362 213962752 50492 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 52237 50492 483 1374 0 50858 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 208948 [startup+6.30093 s] /proc/loadavg: 0.96 0.97 0.99 2/107 22055 /proc/meminfo: memFree=1414452/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=358384 CPUtime=6.29 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 88091 0 0 0 593 36 0 0 25 0 1 0 12503362 366985216 87630 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 89596 87630 487 1374 0 88217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 358384 [startup+12.7005 s] /proc/loadavg: 0.96 0.97 0.99 2/107 22055 /proc/meminfo: memFree=1276688/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=468876 CPUtime=12.69 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 114316 0 0 0 1211 58 0 0 25 0 1 0 12503362 480129024 113598 1992294400 4194304 9819077 140734588950736 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 117219 113598 491 1374 0 115840 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 468876 [startup+25.5017 s] /proc/loadavg: 0.97 0.97 0.99 2/107 22056 /proc/meminfo: memFree=1224856/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=524772 CPUtime=25.48 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 130118 0 0 0 2436 112 0 0 25 0 1 0 12503362 537366528 126729 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 131193 126729 507 1374 0 129814 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 524772 [startup+51.1011 s] /proc/loadavg: 0.98 0.97 0.99 2/107 22056 /proc/meminfo: memFree=1195096/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=557524 CPUtime=51.08 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 137694 0 0 0 4991 117 0 0 25 0 1 0 12503362 570904576 134305 1992294400 4194304 9819077 140734588950736 18446744073709551615 4948310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 139381 134305 507 1374 0 138002 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 557524 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22058 /proc/meminfo: memFree=1123052/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=630748 CPUtime=102.27 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 155517 0 0 0 10102 125 0 0 25 0 1 0 12503362 645885952 152128 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 157687 152128 507 1374 0 156308 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 630748 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22059 /proc/meminfo: memFree=1065764/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=686884 CPUtime=162.25 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 170833 0 0 0 16091 134 0 0 25 0 1 0 12503362 703369216 166420 1992294400 4194304 9819077 140734588950736 18446744073709551615 5500487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 171721 166420 507 1374 0 170342 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 686884 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22061 /proc/meminfo: memFree=980080/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=772284 CPUtime=222.24 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 192833 0 0 0 22079 145 0 0 25 0 1 0 12503362 790818816 187908 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 193071 187908 508 1374 0 191692 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 772284 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22062 /proc/meminfo: memFree=862900/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=896640 CPUtime=282.23 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 222756 0 0 0 28065 158 0 0 25 0 1 0 12503362 918159360 217831 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 224160 217831 508 1374 0 222781 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 896640 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22064 /proc/meminfo: memFree=794700/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=961952 CPUtime=342.21 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 239240 0 0 0 34055 166 0 0 25 0 1 0 12503362 985038848 234059 1992294400 4194304 9819077 140734588950736 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 240488 234059 508 1374 0 239109 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 961952 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22066 /proc/meminfo: memFree=729352/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1028368 CPUtime=402.2 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 256304 0 0 0 40044 176 0 0 25 0 1 0 12503362 1053048832 250867 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 257092 250867 508 1374 0 255713 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1028368 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22067 /proc/meminfo: memFree=650364/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1107912 CPUtime=462.17 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 275497 0 0 0 46032 185 0 0 25 0 1 0 12503362 1134501888 270060 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 276978 270060 508 1374 0 275599 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1107912 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22069 /proc/meminfo: memFree=598284/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1157724 CPUtime=522.16 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 289261 0 0 0 52021 195 0 0 25 0 1 0 12503362 1185509376 283056 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 289431 283056 508 1374 0 288052 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1157724 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22070 /proc/meminfo: memFree=489908/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1266684 CPUtime=582.14 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 316552 0 0 0 58002 212 0 0 25 0 1 0 12503362 1297084416 310091 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 316671 310091 508 1374 0 315292 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1266684 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22072 /proc/meminfo: memFree=415260/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1340108 CPUtime=642.14 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 335767 0 0 0 63989 225 0 0 25 0 1 0 12503362 1372270592 328537 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 335027 328537 508 1374 0 333648 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1340108 [startup+702.301 s] ################ # More data... # ################ /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 356353 0 0 0 75968 243 0 0 25 0 1 0 12503362 1457266688 349123 1992294400 4194304 9819077 140734588950736 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 355778 349123 508 1374 0 354399 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1423112 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22077 /proc/meminfo: memFree=285928/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1469588 CPUtime=822.09 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 368184 0 0 0 81956 253 0 0 25 0 1 0 12503362 1504858112 360954 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 367397 360954 508 1374 0 366018 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 1469588 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22078 /proc/meminfo: memFree=219836/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1538756 CPUtime=882.08 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 384647 0 0 0 87945 263 0 0 25 0 1 0 12503362 1575686144 377417 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 384689 377417 508 1374 0 383310 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1538756 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22080 /proc/meminfo: memFree=187720/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1571204 CPUtime=942.06 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 392695 0 0 0 93936 270 0 0 25 0 1 0 12503362 1608912896 385465 1992294400 4194304 9819077 140734588950736 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 392801 385465 508 1374 0 391422 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1571204 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22082 /proc/meminfo: memFree=162672/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1594484 CPUtime=1002.05 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 398897 0 0 0 99929 276 0 0 25 0 1 0 12503362 1632751616 391667 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 398621 391667 513 1374 0 397242 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1594484 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22086 /proc/meminfo: memFree=133532/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1623860 CPUtime=1062.02 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 406214 0 0 0 105919 283 0 0 25 0 1 0 12503362 1662832640 398984 1992294400 4194304 9819077 140734588950736 18446744073709551615 4947073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 405965 398984 513 1374 0 404586 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1623860 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22088 /proc/meminfo: memFree=107864/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1648064 CPUtime=1122.01 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 412420 0 0 0 111912 289 0 0 25 0 1 0 12503362 1687617536 405190 1992294400 4194304 9819077 140734588950736 18446744073709551615 5500430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 412016 405190 513 1374 0 410637 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1648064 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22089 /proc/meminfo: memFree=76616/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1681404 CPUtime=1182 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 420451 0 0 0 117903 297 0 0 25 0 1 0 12503362 1721757696 413221 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 420351 413221 513 1374 0 418972 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1681404 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22091 /proc/meminfo: memFree=42144/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1712724 CPUtime=1241.98 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 429397 0 0 0 123893 305 0 0 25 0 1 0 12503362 1753829376 421655 1992294400 4194304 9819077 140734588950736 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 428181 421655 513 1374 0 426802 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1712724 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22093 /proc/meminfo: memFree=9656/2059040 swapFree=4192956/4192956 [pid=22054] ppid=22052 vsize=1748072 CPUtime=1301.98 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 437443 0 0 0 129884 314 0 0 25 0 1 0 12503362 1790025728 429701 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 437018 429701 513 1374 0 435639 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1748072 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22094 /proc/meminfo: memFree=9296/2059040 swapFree=4186180/4192956 [pid=22054] ppid=22052 vsize=1784132 CPUtime=1361.96 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 447084 0 0 0 135874 322 0 0 25 0 1 0 12503362 1826951168 438574 1992294400 4194304 9819077 140734588950736 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 446033 438574 513 1374 0 444654 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1784132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22096 /proc/meminfo: memFree=9704/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1826404 CPUtime=1421.94 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 457849 0 0 0 141863 331 0 0 25 0 1 0 12503362 1870237696 449339 1992294400 4194304 9819077 140734588950736 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 456601 449339 513 1374 0 455222 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1826404 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1448.8 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22097 /proc/meminfo: memFree=10116/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1843488 CPUtime=1448.44 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 462148 0 0 0 144509 335 0 0 25 0 1 0 12503362 1887731712 453638 1992294400 4194304 9819077 140734588950736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 460872 453638 513 1374 0 459493 0 Current children cumulated CPU time (s) 1448.44 Current children cumulated vsize (KiB) 1843488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -22054 Solver just ended. Dumping a history of the last processes samples [startup+1449.4 s] /proc/loadavg: 0.99 0.97 0.99 2/107 22097 /proc/meminfo: memFree=10116/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1844376 CPUtime=1449.03 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 462765 0 0 0 144559 344 0 0 25 0 1 0 12503362 1888641024 453998 1992294400 4194304 9819077 140734588950736 18446744073709551615 5491560 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 461094 453998 514 1374 0 459715 0 Current children cumulated CPU time (s) 1449.03 Current children cumulated vsize (KiB) 1844376 [startup+1450.2 s] /proc/loadavg: 0.99 0.97 0.99 3/108 22098 /proc/meminfo: memFree=10584/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1869456 CPUtime=1449.83 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 472499 0 0 0 144622 361 0 0 25 0 1 0 12503362 1914322944 460263 1992294400 4194304 9819077 140734588950736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 467364 460263 517 1374 0 465985 0 Current children cumulated CPU time (s) 1449.83 Current children cumulated vsize (KiB) 1869456 [startup+1450.6 s] /proc/loadavg: 0.99 0.97 0.99 3/108 22098 /proc/meminfo: memFree=10584/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1862800 CPUtime=1450.23 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 474716 0 0 0 144657 366 0 0 25 0 1 0 12503362 1907507200 458420 1992294400 4194304 9819077 140734588950736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 465700 458420 518 1374 0 464321 0 Current children cumulated CPU time (s) 1450.23 Current children cumulated vsize (KiB) 1862800 [startup+1450.8 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22098 /proc/meminfo: memFree=12904/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=1876416 CPUtime=1450.44 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4202496 478120 0 0 0 144674 370 0 0 25 0 1 0 12503362 1921449984 461824 1992294400 4194304 9819077 140734588950736 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22054/statm: 469104 461824 518 1374 0 467725 0 Current children cumulated CPU time (s) 1450.44 Current children cumulated vsize (KiB) 1876416 [startup+1450.91 s] /proc/loadavg: 0.99 0.97 0.99 2/108 22098 /proc/meminfo: memFree=12904/2059040 swapFree=4164956/4192956 [pid=22054] ppid=22052 vsize=0 CPUtime=1450.54 /proc/22054/stat : 22054 (pbscip.linux.x8) R 22052 22054 20947 0 -1 4203524 478120 0 0 0 144674 380 0 0 25 0 1 0 12503362 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/22054/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1450.54 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1450.99 CPU time (s): 1450.63 CPU user time (s): 1446.74 CPU system time (s): 3.88641 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1876428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1446.74 system time used= 3.88641 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 478120 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= 1 involuntary context switches= 17309 runsolver used 2.43363 second user time and 6.81996 second system time The end
Begin job on node014 at 2010-07-06 21:01:44 IDJOB=2686847 IDBENCH=76942 IDSOLVER=1168 FILE ID=node014/2686847-1278442904 PBS_JOBID= 11233457 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6035_5.std.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686847-1278442904/watcher-2686847-1278442904 -o /tmp/evaluation-result-2686847-1278442904/solver-2686847-1278442904 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2686847-1278442904.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c RANDOM SEED=1656557039 node014.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.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 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: 1731808 kB Buffers: 24096 kB Cached: 167792 kB SwapCached: 0 kB Active: 117744 kB Inactive: 134660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1731808 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9912 kB Writeback: 0 kB AnonPages: 60544 kB Mapped: 14508 kB Slab: 52840 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180356 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= 62560 MiB End job on node014 at 2010-07-06 21:25:55