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 | ? | 1790.09 | 1790.71 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-czprob.opb |
MD5SUM | b2a2d9103ca6e5798123e19b8527d11e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 232914362812081 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 231334362819826 |
Optimality of the best value was proved | NO |
Number of variables | 98820 |
Total number of constraints | 927 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 927 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 11190 |
Number of terms in the objective function | 98250 |
Biggest coefficient in the objective function | 16496969383936000 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 33458351340667288266 |
Number of bits of the sum of numbers in the objective function | 65 |
Biggest number in a constraint | 16496969383936000 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 33458351340667288266 |
Number of bits of the biggest sum of numbers | 65 |
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-2703878-1278559375.opb> 0.99/1.00 c original problem has 98820 variables (98820 bin, 0 int, 0 impl, 0 cont) and 927 constraints 0.99/1.00 c problem read 0.99/1.00 c presolving settings loaded 1.99/2.04 c presolving: 2.49/2.55 c (round 1) 56357 del vars, 238 del conss, 56160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 2.59/2.69 c (round 2) 56448 del vars, 239 del conss, 56251 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 3.89/3.92 c (round 3) 56448 del vars, 239 del conss, 56251 chg bounds, 0 chg sides, 0 chg coeffs, 26 upgd conss, 0 impls, 0 clqs 4.59/4.61 c (round 4) 56448 del vars, 239 del conss, 56251 chg bounds, 1 chg sides, 12 chg coeffs, 26 upgd conss, 8 impls, 129 clqs 14.59/14.64 c (13.6s) probing: 644/42372 (1.5%) - 1 fixings, 0 aggregations, 1413 implications, 0 bound changes 14.59/14.64 c (13.6s) probing aborted: 100/100 successive totally useless probings 14.59/14.66 c presolving (5 rounds): 14.59/14.66 c 56449 deleted vars, 239 deleted constraints, 56251 tightened bounds, 0 added holes, 1 changed sides, 12 changed coefficients 14.59/14.66 c 2834 implications, 129 cliques 14.59/14.66 c presolved problem has 42371 variables (42371 bin, 0 int, 0 impl, 0 cont) and 688 constraints 14.59/14.66 c 26 constraints of type <knapsack> 14.59/14.66 c 662 constraints of type <linear> 14.59/14.66 c transformed objective value is always integral (scale: 1) 14.59/14.66 c Presolving Time: 13.25 14.59/14.66 c - non default parameters ---------------------------------------------------------------------- 14.59/14.66 c # SCIP version 1.2.1.3 14.59/14.66 c 14.59/14.66 c # frequency for displaying node information lines 14.59/14.66 c # [type: int, range: [-1,2147483647], default: 100] 14.59/14.66 c display/freq = 10000 14.59/14.66 c 14.59/14.66 c # maximal time in seconds to run 14.59/14.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 14.59/14.66 c limits/time = 1789.01 14.59/14.66 c 14.59/14.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 14.59/14.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 14.59/14.66 c limits/memory = 1620 14.59/14.66 c 14.59/14.66 c # default clock type (1: CPU user seconds, 2: wall clock time) 14.59/14.66 c # [type: int, range: [1,2], default: 1] 14.59/14.66 c timing/clocktype = 2 14.59/14.66 c 14.59/14.66 c # should presolving try to simplify inequalities 14.59/14.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 14.59/14.66 c constraints/linear/simplifyinequalities = TRUE 14.59/14.66 c 14.59/14.66 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 14.59/14.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 14.59/14.66 c constraints/indicator/addCouplingCons = TRUE 14.59/14.66 c 14.59/14.66 c # should presolving try to simplify knapsacks 14.59/14.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 14.59/14.66 c constraints/knapsack/simplifyinequalities = TRUE 14.59/14.66 c 14.59/14.66 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 14.59/14.66 c # [type: int, range: [-1,2147483647], default: -1] 14.59/14.66 c separating/rapidlearning/freq = 0 14.59/14.66 c 14.59/14.66 c ----------------------------------------------------------------------------------------------- 14.59/14.66 c start solving 14.68/14.71 c 25.08/25.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 25.08/25.12 c 24.1s| 1 | 0 | 27212 | - | 202M| 0 | 591 | 42k| 688 | 42k| 688 | 0 | 0 | 0 | 2.074194e+14 | -- | Inf 42.88/42.94 c 41.9s| 1 | 2 | 64373 | - | 207M| 0 | - | 42k| 688 | 42k|1246 | 562 | 0 | 0 | 2.074194e+14 | -- | Inf 1789.57/1790.23 c 1789.57/1790.23 c SCIP Status : solving was interrupted [time limit reached] 1789.57/1790.23 c Solving Time (sec) : 1789.23 1789.57/1790.23 c Solving Nodes : 131 1789.57/1790.23 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.57/1790.23 c Dual Bound : +2.07419424746792e+14 1789.57/1790.23 c Gap : infinite 1789.57/1790.23 s UNKNOWN 1789.57/1790.23 c SCIP Status : solving was interrupted [time limit reached] 1789.57/1790.23 c Solving Time : 1789.23 1789.57/1790.23 c Original Problem : 1789.57/1790.23 c Problem name : HOME/instance-2703878-1278559375.opb 1789.57/1790.23 c Variables : 98820 (98820 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.57/1790.23 c Constraints : 927 initial, 927 maximal 1789.57/1790.23 c Presolved Problem : 1789.57/1790.23 c Problem name : t_HOME/instance-2703878-1278559375.opb 1789.57/1790.23 c Variables : 42371 (42371 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.57/1790.23 c Constraints : 688 initial, 688 maximal 1789.57/1790.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.57/1790.23 c trivial : 0.05 0 0 0 0 0 0 0 0 1789.57/1790.23 c dualfix : 0.05 0 0 0 0 0 0 0 0 1789.57/1790.23 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.57/1790.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.57/1790.23 c implics : 0.02 0 0 0 0 0 0 0 0 1789.57/1790.23 c probing : 10.00 1 0 0 0 0 0 0 0 1789.57/1790.23 c knapsack : 0.66 0 0 0 0 0 0 1 12 1789.57/1790.23 c linear : 1.81 56251 197 0 56251 0 239 0 0 1789.57/1790.23 c root node : - 1 - - 1 - - - - 1789.57/1790.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.57/1790.23 c integral : 0 0 0 0 0 0 0 0 0 0 1789.57/1790.23 c knapsack : 26 1 1567 0 131 0 101 12 0 0 1789.57/1790.23 c linear : 662 1 1567 0 0 0 339 209 0 0 1789.57/1790.23 c countsols : 0 0 0 0 131 0 0 0 0 0 1789.57/1790.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.57/1790.23 c integral : 0.00 0.00 0.00 0.00 0.00 1789.57/1790.23 c knapsack : 0.73 0.38 0.29 0.00 0.06 1789.57/1790.23 c linear : 3.85 0.06 3.80 0.00 0.00 1789.57/1790.23 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.57/1790.23 c Propagators : Time Calls Cutoffs DomReds 1789.57/1790.23 c vbounds : 0.00 2 0 0 1789.57/1790.23 c rootredcost : 0.00 0 0 0 1789.57/1790.23 c pseudoobj : 1.18 156 0 0 1789.57/1790.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.57/1790.23 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.57/1790.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.57/1790.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.57/1790.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.57/1790.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.57/1790.23 c applied globally : - - - 0 0.0 - - - 1789.57/1790.23 c applied locally : - - - 0 0.0 - - - 1789.57/1790.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.57/1790.23 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1245) 1789.57/1790.23 c redcost : 0.01 1 0 0 0 0 1789.57/1790.23 c impliedbounds : 0.01 1 0 0 6 0 1789.57/1790.23 c intobj : 0.00 0 0 0 0 0 1789.57/1790.23 c cgmip : 0.00 0 0 0 0 0 1789.57/1790.23 c gomory : 0.17 1 0 0 149 0 1789.57/1790.23 c strongcg : 0.18 1 0 0 480 0 1789.57/1790.23 c cmir : 2.28 1 0 0 500 0 1789.57/1790.23 c flowcover : 0.72 1 0 0 201 0 1789.57/1790.23 c clique : 0.04 1 0 0 5 0 1789.57/1790.23 c zerohalf : 0.00 0 0 0 0 0 1789.57/1790.23 c mcf : 0.00 1 0 0 0 0 1789.57/1790.23 c rapidlearning : 0.00 0 0 0 0 0 1789.57/1790.23 c Pricers : Time Calls Vars 1789.57/1790.23 c problem variables: 0.00 0 0 1789.57/1790.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.57/1790.23 c relpscost : 0.00 0 0 0 0 0 0 1789.57/1790.23 c pscost : 0.00 0 0 0 0 0 0 1789.57/1790.23 c inference : 2.11 131 0 0 0 0 262 1789.57/1790.23 c mostinf : 0.00 0 0 0 0 0 0 1789.57/1790.23 c leastinf : 0.00 0 0 0 0 0 0 1789.57/1790.23 c fullstrong : 0.00 0 0 0 0 0 0 1789.57/1790.23 c allfullstrong : 0.00 0 0 0 0 0 0 1789.57/1790.23 c random : 0.00 0 0 0 0 0 0 1789.57/1790.23 c Primal Heuristics : Time Calls Found 1789.57/1790.23 c LP solutions : 0.00 - 0 1789.57/1790.23 c pseudo solutions : 0.00 - 0 1789.57/1790.23 c oneopt : 0.00 0 0 1789.57/1790.23 c trivial : 0.28 2 0 1789.57/1790.23 c simplerounding : 0.01 0 0 1789.57/1790.23 c zirounding : 0.00 0 0 1789.57/1790.23 c rounding : 0.00 1 0 1789.57/1790.23 c shifting : 0.56 1 0 1789.57/1790.23 c intshifting : 0.00 0 0 1789.57/1790.23 c twoopt : 0.00 0 0 1789.57/1790.23 c fixandinfer : 0.00 0 0 1789.57/1790.23 c feaspump : 1.03 1 0 1789.57/1790.23 c coefdiving : 0.00 0 0 1789.57/1790.23 c pscostdiving : 0.00 0 0 1789.57/1790.23 c fracdiving : 0.00 0 0 1789.57/1790.23 c veclendiving : 0.00 0 0 1789.57/1790.23 c intdiving : 0.00 0 0 1789.57/1790.23 c actconsdiving : 0.00 0 0 1789.57/1790.23 c objpscostdiving : 0.00 0 0 1789.57/1790.23 c rootsoldiving : 0.00 0 0 1789.57/1790.23 c linesearchdiving : 0.00 0 0 1789.57/1790.23 c guideddiving : 0.00 0 0 1789.57/1790.23 c octane : 0.00 0 0 1789.57/1790.23 c rens : 0.00 0 0 1789.57/1790.23 c rins : 0.00 0 0 1789.57/1790.23 c localbranching : 0.00 0 0 1789.57/1790.23 c mutation : 0.00 0 0 1789.57/1790.23 c crossover : 0.00 0 0 1789.57/1790.23 c dins : 0.00 0 0 1789.57/1790.23 c undercover : 0.00 0 0 1789.57/1790.23 c nlp : 0.00 0 0 1789.57/1790.23 c trysol : 0.00 0 0 1789.57/1790.23 c LP : Time Calls Iterations Iter/call Iter/sec 1789.57/1790.23 c primal LP : 0.00 0 0 0.00 - 1789.57/1790.23 c dual LP : 1763.08 394 4189775 10633.95 2376.39 1789.57/1790.23 c lex dual LP : 0.00 0 0 0.00 - 1789.57/1790.23 c barrier LP : 0.00 0 0 0.00 - 1789.57/1790.23 c diving/probing LP: 0.97 2 2732 1366.00 2825.24 1789.57/1790.23 c strong branching : 0.00 0 0 0.00 - 1789.57/1790.23 c (at root node) : - 0 0 0.00 - 1789.57/1790.23 c conflict analysis: 0.00 0 0 0.00 - 1789.57/1790.23 c B&B Tree : 1789.57/1790.23 c number of runs : 1 1789.57/1790.23 c nodes : 131 1789.57/1790.23 c nodes (total) : 131 1789.57/1790.23 c nodes left : 132 1789.57/1790.23 c max depth : 130 1789.57/1790.23 c max depth (total): 130 1789.57/1790.23 c backtracks : 0 (0.0%) 1789.57/1790.23 c delayed cutoffs : 0 1789.57/1790.23 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.57/1790.23 c avg switch length: 1.00 1789.57/1790.23 c switching time : 0.01 1789.57/1790.23 c Solution : 1789.57/1790.23 c Solutions found : 0 (0 improvements) 1789.57/1790.23 c Primal Bound : - 1789.57/1790.23 c Dual Bound : +2.07419424746792e+14 1789.57/1790.23 c Gap : infinite 1789.57/1790.23 c Root Dual Bound : +2.07419424746792e+14 1789.57/1790.23 c Root Iterations : 64373 1790.07/1790.71 c Time complete: 1790.08.
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-2703878-1278559375/watcher-2703878-1278559375 -o /tmp/evaluation-result-2703878-1278559375/solver-2703878-1278559375 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703878-1278559375.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.99 0.97 0.91 3/106 27152 /proc/meminfo: memFree=1670900/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=7904 CPUtime=0 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 1065 0 0 0 0 0 0 0 18 0 1 0 24151104 8093696 977 1992294400 4194304 8395647 140736259663408 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 1976 986 365 1026 0 946 0 [startup+0.104537 s] /proc/loadavg: 0.99 0.97 0.91 3/106 27152 /proc/meminfo: memFree=1670900/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=27372 CPUtime=0.09 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 6141 0 0 0 7 2 0 0 20 0 1 0 24151104 28028928 6049 1992294400 4194304 8395647 140736259663408 18446744073709551615 6765573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 6843 6049 389 1026 0 5813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27372 [startup+0.201555 s] /proc/loadavg: 0.99 0.97 0.91 3/106 27152 /proc/meminfo: memFree=1670900/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=45156 CPUtime=0.19 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 10494 0 0 0 15 4 0 0 20 0 1 0 24151104 46239744 10402 1992294400 4194304 8395647 140736259663408 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 11289 10402 389 1026 0 10259 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 45156 [startup+0.301575 s] /proc/loadavg: 0.99 0.97 0.91 3/106 27152 /proc/meminfo: memFree=1670900/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=63524 CPUtime=0.29 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 14884 0 0 0 23 6 0 0 20 0 1 0 24151104 65048576 14792 1992294400 4194304 8395647 140736259663408 18446744073709551615 5755110 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 15881 14792 389 1026 0 14851 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 63524 [startup+0.701653 s] /proc/loadavg: 0.99 0.97 0.91 3/106 27152 /proc/meminfo: memFree=1670900/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=83664 CPUtime=0.69 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 19791 0 0 0 61 8 0 0 21 0 1 0 24151104 85671936 19697 1992294400 4194304 8395647 140736259663408 18446744073709551615 7370124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 20916 19697 394 1026 0 19886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83664 [startup+1.50081 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27153 /proc/meminfo: memFree=1550116/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=190512 CPUtime=1.49 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 46680 0 0 0 133 16 0 0 23 0 1 0 24151104 195084288 46232 1992294400 4194304 8395647 140736259663408 18446744073709551615 4601501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 47628 46232 431 1026 0 46598 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 190512 [startup+3.10113 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27153 /proc/meminfo: memFree=1467036/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=218588 CPUtime=3.09 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 52111 0 0 0 291 18 0 0 25 0 1 0 24151104 223834112 51663 1992294400 4194304 8395647 140736259663408 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 54647 51663 474 1026 0 53617 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 218588 [startup+6.30175 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27153 /proc/meminfo: memFree=1445584/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=239596 CPUtime=6.29 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 57112 0 0 0 609 20 0 0 25 0 1 0 24151104 245346304 56619 1992294400 4194304 8395647 140736259663408 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 59899 56619 536 1026 0 58869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 239596 [startup+12.701 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27153 /proc/meminfo: memFree=1445212/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=239852 CPUtime=12.69 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 57205 0 0 0 1249 20 0 0 25 0 1 0 24151104 245608448 56683 1992294400 4194304 8395647 140736259663408 18446744073709551615 5604552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 59963 56683 507 1026 0 58933 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 239852 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27155 /proc/meminfo: memFree=1415452/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=273220 CPUtime=25.48 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 64927 0 0 0 2516 32 0 0 25 0 1 0 24151104 279777280 64189 1992294400 4194304 8395647 140736259663408 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 68305 64189 582 1026 0 67275 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 273220 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27155 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=51.08 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 5054 54 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 305536 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27157 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=102.26 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 10123 103 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 305536 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27157 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=162.24 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 16055 169 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6503830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 305536 [startup+222.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27159 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=222.22 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 21983 239 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 305536 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27161 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=282.19 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 27911 308 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 305536 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27163 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=342.17 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 33838 379 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 305536 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27165 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=402.15 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 39766 449 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 305536 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27165 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=462.13 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 45690 523 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 305536 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27167 /proc/meminfo: memFree=1386312/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=522.11 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 51639 572 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 305536 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27169 /proc/meminfo: memFree=1386188/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=582.08 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72708 0 0 0 57593 615 0 0 25 0 1 0 24151104 312868864 71515 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71515 633 1026 0 75354 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 305536 [startup+642.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27171 /proc/meminfo: memFree=1386188/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=642.07 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 63544 663 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 305536 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1385940/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1061.92 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 105220 972 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 6652293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 305536 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27183 /proc/meminfo: memFree=1385940/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1121.91 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 111166 1025 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 305536 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27185 /proc/meminfo: memFree=1385940/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1181.88 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 117099 1089 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 6503055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 305536 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27187 /proc/meminfo: memFree=1385816/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1241.86 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 123050 1136 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 305536 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27189 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1301.83 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72709 0 0 0 128994 1189 0 0 25 0 1 0 24151104 312868864 71516 1992294400 4194304 8395647 140736259663408 18446744073709551615 6585941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71516 633 1026 0 75354 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 305536 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27189 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1361.81 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72710 0 0 0 134936 1245 0 0 25 0 1 0 24151104 312868864 71517 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71517 633 1026 0 75354 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 305536 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27191 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1421.81 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 140881 1300 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 305536 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27193 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1481.77 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 146831 1346 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6501614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 305536 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27195 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1541.76 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 152778 1398 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6577739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 305536 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27197 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1601.74 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 158732 1442 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6669642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 305536 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27197 /proc/meminfo: memFree=1385692/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1661.71 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 164678 1493 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6585950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 305536 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27199 /proc/meminfo: memFree=1385568/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1721.69 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 170625 1544 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6503567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 305536 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1781.67 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 176582 1585 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 305536 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1784.97 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 176910 1587 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1784.97 Current children cumulated vsize (KiB) 305536 [startup+1788.8 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1788.16 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 177226 1590 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1788.16 Current children cumulated vsize (KiB) 305536 [startup+1789.6 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1788.97 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72711 0 0 0 177306 1591 0 0 25 0 1 0 24151104 312868864 71518 1992294400 4194304 8395647 140736259663408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71518 633 1026 0 75354 0 Current children cumulated CPU time (s) 1788.97 Current children cumulated vsize (KiB) 305536 [startup+1790.4 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1789.77 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72718 0 0 0 177385 1592 0 0 25 0 1 0 24151104 312868864 71525 1992294400 4194304 8395647 140736259663408 18446744073709551615 6070923 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71525 640 1026 0 75354 0 Current children cumulated CPU time (s) 1789.77 Current children cumulated vsize (KiB) 305536 [startup+1790.6 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=305536 CPUtime=1789.97 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72718 0 0 0 177405 1592 0 0 25 0 1 0 24151104 312868864 71525 1992294400 4194304 8395647 140736259663408 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 76384 71525 640 1026 0 75354 0 Current children cumulated CPU time (s) 1789.97 Current children cumulated vsize (KiB) 305536 [startup+1790.7 s] /proc/loadavg: 0.99 0.97 0.91 2/107 27201 /proc/meminfo: memFree=1385444/2059040 swapFree=4147384/4192956 [pid=27152] ppid=27150 vsize=164348 CPUtime=1790.07 /proc/27152/stat : 27152 (pbscip.linux.x8) R 27150 27152 25861 0 -1 4202496 72719 0 0 0 177413 1594 0 0 25 0 1 0 24151104 168292352 31552 1992294400 4194304 8395647 140736259663408 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27152/statm: 41087 31536 628 1026 0 40057 0 Current children cumulated CPU time (s) 1790.07 Current children cumulated vsize (KiB) 164348 Child status: 0 Real time (s): 1790.71 CPU time (s): 1790.09 CPU user time (s): 1774.14 CPU system time (s): 15.9556 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 305536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.14 system time used= 15.9556 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72725 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= 4811 runsolver used 3.14752 second user time and 8.26474 second system time The end
Begin job on node006 at 2010-07-08 05:22:55 IDJOB=2703878 IDBENCH=2429 IDSOLVER=1213 FILE ID=node006/2703878-1278559375 PBS_JOBID= 11239524 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= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.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-2703878-1278559375/watcher-2703878-1278559375 -o /tmp/evaluation-result-2703878-1278559375/solver-2703878-1278559375 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703878-1278559375.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b2a2d9103ca6e5798123e19b8527d11e RANDOM SEED=948352032 node006.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.269 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.53 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.269 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: 1671428 kB Buffers: 66432 kB Cached: 227692 kB SwapCached: 4172 kB Active: 152332 kB Inactive: 160836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1671428 kB SwapTotal: 4192956 kB SwapFree: 4147384 kB Dirty: 15972 kB Writeback: 0 kB AnonPages: 16008 kB Mapped: 12084 kB Slab: 52440 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179420 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 node006 at 2010-07-08 05:52:46