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) | 1483.03 | 1484.09 |
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.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-2704972-1278581567.opb> 1.89/1.95 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints 1.89/1.95 c problem read 1.89/1.95 c presolving settings loaded 2.49/2.58 c presolving: 10.90/10.98 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 14.59/14.65 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.69/15.74 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 16.29/16.30 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.59/16.67 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.79/16.88 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.99/17.01 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 17.09/17.11 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 17.19/17.20 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.19/17.29 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 982.85/983.21 c (981.3s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes 1480.86/1481.90 c pressed CTRL-C 1 times (5 times for forcing termination) 1480.96/1482.02 c (1480.1s) probing: 1648/28200 (5.8%) - 1 fixings, 1 aggregations, 11958509 implications, 0 bound changes 1480.96/1482.02 c (1480.1s) probing aborted: solving stopped 1480.96/1482.03 c (round 11) 8524 del vars, 31843 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49401280 impls, 0 clqs 1480.96/1482.03 c presolving (11 rounds): 1480.96/1482.03 c 8524 deleted vars, 31843 deleted constraints, 6620 tightened bounds, 0 added holes, 174 changed sides, 167 changed coefficients 1480.96/1482.03 c 49401280 implications, 0 cliques 1480.96/1482.03 c presolving was interrupted. 1480.96/1482.03 c Presolving Time: 1479.67 1480.96/1482.03 c - non default parameters ---------------------------------------------------------------------- 1480.96/1482.03 c # SCIP version 1.2.1.3 1480.96/1482.03 c 1480.96/1482.03 c # frequency for displaying node information lines 1480.96/1482.03 c # [type: int, range: [-1,2147483647], default: 100] 1480.96/1482.03 c display/freq = 10000 1480.96/1482.03 c 1480.96/1482.03 c # maximal time in seconds to run 1480.96/1482.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1480.96/1482.03 c limits/time = 1788.05 1480.96/1482.03 c 1480.96/1482.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1480.96/1482.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1480.96/1482.03 c limits/memory = 1620 1480.96/1482.03 c 1480.96/1482.03 c # default clock type (1: CPU user seconds, 2: wall clock time) 1480.96/1482.03 c # [type: int, range: [1,2], default: 1] 1480.96/1482.03 c timing/clocktype = 2 1480.96/1482.03 c 1480.96/1482.03 c # should presolving try to simplify inequalities 1480.96/1482.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1480.96/1482.03 c constraints/linear/simplifyinequalities = TRUE 1480.96/1482.03 c 1480.96/1482.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 1480.96/1482.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1480.96/1482.03 c constraints/indicator/addCouplingCons = TRUE 1480.96/1482.03 c 1480.96/1482.03 c # should presolving try to simplify knapsacks 1480.96/1482.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1480.96/1482.03 c constraints/knapsack/simplifyinequalities = TRUE 1480.96/1482.03 c 1480.96/1482.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1480.96/1482.03 c # [type: int, range: [-1,2147483647], default: -1] 1480.96/1482.03 c separating/rapidlearning/freq = 0 1480.96/1482.03 c 1480.96/1482.03 c ----------------------------------------------------------------------------------------------- 1480.96/1482.03 c start solving 1481.04/1482.17 c presolving: 1481.44/1482.51 c (round 12) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 49401280 impls, 0 clqs 1482.43/1483.58 c (round 13) 8524 del vars, 31907 del conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 97201 upgd conss, 49401280 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-2704972-1278581567/watcher-2704972-1278581567 -o /tmp/evaluation-result-2704972-1278581567/solver-2704972-1278581567 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704972-1278581567.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 0.99 0.91 3/106 30427 /proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=7904 CPUtime=0 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 1176 0 0 0 0 0 0 0 20 0 1 0 26369950 8093696 1087 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 1976 1096 365 1026 0 946 0 [startup+0.0658131 s] /proc/loadavg: 1.00 0.99 0.91 3/106 30427 /proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=15644 CPUtime=0.05 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 3197 0 0 0 5 0 0 0 20 0 1 0 26369950 16019456 3108 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382066 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 3911 3108 393 1026 0 2881 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15644 [startup+0.100819 s] /proc/loadavg: 1.00 0.99 0.91 3/106 30427 /proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=18376 CPUtime=0.09 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 3873 0 0 0 8 1 0 0 20 0 1 0 26369950 18817024 3784 1992294400 4194304 8395647 140735020992784 18446744073709551615 4246004 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 4594 3784 393 1026 0 3564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18376 [startup+0.300858 s] /proc/loadavg: 1.00 0.99 0.91 3/106 30427 /proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=32748 CPUtime=0.29 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 7462 0 0 0 27 2 0 0 20 0 1 0 26369950 33533952 7373 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 8187 7373 393 1026 0 7157 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32748 [startup+0.700933 s] /proc/loadavg: 1.00 0.99 0.91 3/106 30427 /proc/meminfo: memFree=1614648/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=41524 CPUtime=0.69 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 9656 0 0 0 66 3 0 0 20 0 1 0 26369950 42520576 9567 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 10381 9567 393 1026 0 9351 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41524 [startup+1.50109 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30428 /proc/meminfo: memFree=1570248/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=65740 CPUtime=1.49 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 15688 0 0 0 144 5 0 0 23 0 1 0 26369950 67317760 15599 1992294400 4194304 8395647 140735020992784 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30427/statm: 16435 15599 393 1026 0 15405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 65740 [startup+3.10139 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30428 /proc/meminfo: memFree=1487912/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=220840 CPUtime=3.09 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 54208 0 0 0 290 19 0 0 25 0 1 0 26369950 226140160 53765 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 55210 53765 463 1026 0 54180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 220840 [startup+6.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30428 /proc/meminfo: memFree=1297456/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=355920 CPUtime=6.29 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 87776 0 0 0 599 30 0 0 25 0 1 0 26369950 364462080 87333 1992294400 4194304 8395647 140735020992784 18446744073709551615 4742904 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 88980 87333 469 1026 0 87950 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 355920 [startup+12.7012 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30428 /proc/meminfo: memFree=1159320/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=468644 CPUtime=12.69 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 114360 0 0 0 1230 39 0 0 25 0 1 0 26369950 479891456 113917 1992294400 4194304 8395647 140735020992784 18446744073709551615 6085517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 117161 113917 475 1026 0 116131 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 468644 [startup+25.5007 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30430 /proc/meminfo: memFree=1107736/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=523508 CPUtime=25.48 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 127364 0 0 0 2505 43 0 0 25 0 1 0 26369950 536072192 126819 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 130877 126819 489 1026 0 129847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 523508 [startup+51.1006 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30430 /proc/meminfo: memFree=1077976/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=556196 CPUtime=51.07 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 134793 0 0 0 5061 46 0 0 25 0 1 0 26369950 569544704 134248 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 139049 134248 489 1026 0 138019 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 556196 [startup+102.308 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30432 /proc/meminfo: memFree=1016224/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=620100 CPUtime=102.26 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 150429 0 0 0 10173 53 0 0 25 0 1 0 26369950 634982400 149884 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 155025 149884 489 1026 0 153995 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 620100 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30432 /proc/meminfo: memFree=952488/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=681304 CPUtime=162.24 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 166189 0 0 0 16165 59 0 0 25 0 1 0 26369950 697655296 165644 1992294400 4194304 8395647 140735020992784 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 170326 165644 489 1026 0 169296 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 681304 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30434 /proc/meminfo: memFree=878088/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=756404 CPUtime=222.21 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 184641 0 0 0 22154 67 0 0 25 0 1 0 26369950 774557696 184096 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 189101 184096 489 1026 0 188071 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 756404 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30436 /proc/meminfo: memFree=752352/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=885604 CPUtime=282.19 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 216289 0 0 0 28140 79 0 0 25 0 1 0 26369950 906858496 215744 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 221401 215744 489 1026 0 220371 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 885604 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30438 /proc/meminfo: memFree=686012/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=950864 CPUtime=342.17 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 232577 0 0 0 34132 85 0 0 25 0 1 0 26369950 973684736 232032 1992294400 4194304 8395647 140735020992784 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 237716 232032 489 1026 0 236686 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 950864 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30440 /proc/meminfo: memFree=624756/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1015080 CPUtime=402.16 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 248368 0 0 0 40125 91 0 0 25 0 1 0 26369950 1039441920 247823 1992294400 4194304 8395647 140735020992784 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 253770 247823 489 1026 0 252740 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1015080 [startup+462.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30440 /proc/meminfo: memFree=542048/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1096564 CPUtime=462.13 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 268500 0 0 0 46115 98 0 0 25 0 1 0 26369950 1122881536 267955 1992294400 4194304 8395647 140735020992784 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 274141 267955 489 1026 0 273111 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1096564 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30442 /proc/meminfo: memFree=494928/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1143248 CPUtime=522.11 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 280268 0 0 0 52109 102 0 0 25 0 1 0 26369950 1170685952 279723 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 285812 279723 489 1026 0 284782 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1143248 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30444 /proc/meminfo: memFree=381220/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1256076 CPUtime=582.1 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 308599 0 0 0 58095 115 0 0 25 0 1 0 26369950 1286221824 308054 1992294400 4194304 8395647 140735020992784 18446744073709551615 4962548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 314019 308054 489 1026 0 312989 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1256076 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30446 /proc/meminfo: memFree=337944/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1300592 CPUtime=642.07 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 319411 0 0 0 64089 118 0 0 25 0 1 0 26369950 1331806208 318866 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 325148 318866 489 1026 0 324118 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 1300592 [startup+702.301 s] ################ # More data... # ################ /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 335595 0 0 0 70079 126 0 0 25 0 1 0 26369950 1396576256 335050 1992294400 4194304 8395647 140735020992784 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 340961 335050 489 1026 0 339931 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 1363844 [startup+762.309 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30448 /proc/meminfo: memFree=226716/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1412096 CPUtime=762.04 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 347151 0 0 0 76074 130 0 0 25 0 1 0 26369950 1445986304 346606 1992294400 4194304 8395647 140735020992784 18446744073709551615 5006272 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 353024 346606 489 1026 0 351994 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1412096 [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30450 /proc/meminfo: memFree=189516/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1449432 CPUtime=822.01 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 356467 0 0 0 82066 135 0 0 25 0 1 0 26369950 1484218368 355922 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 362358 355922 489 1026 0 361328 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1449432 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30452 /proc/meminfo: memFree=118092/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1522428 CPUtime=881.99 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 374489 0 0 0 88056 143 0 0 25 0 1 0 26369950 1558966272 373944 1992294400 4194304 8395647 140735020992784 18446744073709551615 6080353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 380607 373944 489 1026 0 379577 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1522428 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30454 /proc/meminfo: memFree=80024/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1560908 CPUtime=941.97 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 383771 0 0 0 94050 147 0 0 25 0 1 0 26369950 1598369792 383226 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 390227 383226 489 1026 0 389197 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1560908 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30456 /proc/meminfo: memFree=57332/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1580192 CPUtime=1001.95 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 389439 0 0 0 100045 150 0 0 25 0 1 0 26369950 1618116608 388894 1992294400 4194304 8395647 140735020992784 18446744073709551615 4684137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 395048 388894 495 1026 0 394018 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1580192 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30456 /proc/meminfo: memFree=28564/2059040 swapFree=4134964/4192956 [pid=30427] ppid=30425 vsize=1611476 CPUtime=1061.92 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 396726 0 0 0 106039 153 0 0 25 0 1 0 26369950 1650151424 396181 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 402869 396181 495 1026 0 401839 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1611476 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30458 /proc/meminfo: memFree=9940/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1634624 CPUtime=1121.9 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 402833 0 0 0 112034 156 0 0 25 0 1 0 26369950 1673854976 402288 1992294400 4194304 8395647 140735020992784 18446744073709551615 4221239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 408656 402288 495 1026 0 407626 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1634624 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30460 /proc/meminfo: memFree=9664/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1663896 CPUtime=1181.86 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 410156 0 0 0 118025 161 0 0 25 0 1 0 26369950 1703829504 409611 1992294400 4194304 8395647 140735020992784 18446744073709551615 4698201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 415974 409611 495 1026 0 414944 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1663896 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30462 /proc/meminfo: memFree=10216/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1699132 CPUtime=1241.74 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 418898 0 0 0 124009 165 0 0 25 0 1 0 26369950 1739911168 418353 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 424783 418353 495 1026 0 423753 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 1699132 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30464 /proc/meminfo: memFree=10104/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1728372 CPUtime=1301.64 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 426235 0 0 0 129996 168 0 0 25 0 1 0 26369950 1769852928 425690 1992294400 4194304 8395647 140735020992784 18446744073709551615 5608136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 432093 425690 495 1026 0 431063 0 Current children cumulated CPU time (s) 1301.64 Current children cumulated vsize (KiB) 1728372 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30464 /proc/meminfo: memFree=9780/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1766580 CPUtime=1361.51 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 435767 0 0 0 135979 172 0 0 25 0 1 0 26369950 1808977920 435222 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 441645 435222 495 1026 0 440615 0 Current children cumulated CPU time (s) 1361.51 Current children cumulated vsize (KiB) 1766580 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30466 /proc/meminfo: memFree=9460/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1803740 CPUtime=1421.4 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 444773 0 0 0 141963 177 0 0 25 0 1 0 26369950 1847029760 444228 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 450935 444228 495 1026 0 449905 0 Current children cumulated CPU time (s) 1421.4 Current children cumulated vsize (KiB) 1803740 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1481.9 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30468 /proc/meminfo: memFree=9280/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1843820 CPUtime=1480.86 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 454548 0 0 0 147904 182 0 0 25 0 1 0 26369950 1888071680 454003 1992294400 4194304 8395647 140735020992784 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 460955 454003 495 1026 0 459925 0 Current children cumulated CPU time (s) 1480.86 Current children cumulated vsize (KiB) 1843820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 30468 /proc/meminfo: memFree=9280/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1844844 CPUtime=1481.24 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 454939 0 0 0 147942 182 0 0 25 0 1 0 26369950 1889120256 454394 1992294400 4194304 8395647 140735020992784 18446744073709551615 5043030 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30427/statm: 461211 454394 495 1026 0 460181 0 Current children cumulated CPU time (s) 1481.24 Current children cumulated vsize (KiB) 1844844 Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -30427 Solver just ended. Dumping a history of the last processes samples [startup+1483 s] /proc/loadavg: 1.00 0.99 0.91 2/108 30469 /proc/meminfo: memFree=20900/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1864084 CPUtime=1481.94 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 463174 0 0 0 148006 188 0 0 25 0 1 0 26369950 1908822016 459210 1992294400 4194304 8395647 140735020992784 18446744073709551615 4501684 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30427/statm: 466021 459210 499 1026 0 464991 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1864084 [startup+1483.8 s] /proc/loadavg: 1.00 0.99 0.91 2/108 30469 /proc/meminfo: memFree=9808/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=1875240 CPUtime=1482.74 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4202496 465902 0 0 0 148085 189 0 0 25 0 1 0 26369950 1920245760 461938 1992294400 4194304 8395647 140735020992784 18446744073709551615 4953608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30427/statm: 468810 461938 511 1026 0 467780 0 Current children cumulated CPU time (s) 1482.74 Current children cumulated vsize (KiB) 1875240 [startup+1484 s] /proc/loadavg: 1.00 0.99 0.91 2/108 30469 /proc/meminfo: memFree=9808/2059040 swapFree=4135548/4192956 [pid=30427] ppid=30425 vsize=0 CPUtime=1482.94 /proc/30427/stat : 30427 (pbscip.linux.x8) R 30425 30427 29826 0 -1 4203524 465902 0 0 0 148095 199 0 0 25 0 1 0 26369950 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/30427/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1482.94 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1484.09 CPU time (s): 1483.03 CPU user time (s): 1480.95 CPU system time (s): 2.07968 CPU usage (%): 99.9288 Max. virtual memory (cumulated for all children) (KiB): 1875240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1480.95 system time used= 2.07968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465902 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= 18654 runsolver used 2.39764 second user time and 7.08992 second system time The end
Begin job on node009 at 2010-07-08 11:32:47 IDJOB=2704972 IDBENCH=76942 IDSOLVER=1213 FILE ID=node009/2704972-1278581567 PBS_JOBID= 11240107 Free space on /tmp= 62548 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/j60opt/normalized-j6035_5.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-2704972-1278581567/watcher-2704972-1278581567 -o /tmp/evaluation-result-2704972-1278581567/solver-2704972-1278581567 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704972-1278581567.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c RANDOM SEED=2109983745 node009.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.262 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.52 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.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1615176 kB Buffers: 109432 kB Cached: 246220 kB SwapCached: 12672 kB Active: 203024 kB Inactive: 168684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1615176 kB SwapTotal: 4192956 kB SwapFree: 4134964 kB Dirty: 14060 kB Writeback: 0 kB AnonPages: 12440 kB Mapped: 8432 kB Slab: 50208 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183276 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= 62540 MiB End job on node009 at 2010-07-08 11:57:31