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 | ? | 1789.63 | 1790.14 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 158d85b2efcaf56eab2db834482aadfb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
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-2703513-1278560523.opb> 0.09/0.18 c original problem has 16224 variables (16224 bin, 0 int, 0 impl, 0 cont) and 1488 constraints 0.09/0.18 c problem read 0.09/0.18 c presolving settings loaded 0.29/0.35 c presolving: 0.39/0.44 c (round 1) 6931 del vars, 24 del conss, 6807 chg bounds, 240 chg sides, 4565 chg coeffs, 0 upgd conss, 480 impls, 0 clqs 0.39/0.46 c (round 2) 7224 del vars, 24 del conss, 7080 chg bounds, 240 chg sides, 4565 chg coeffs, 0 upgd conss, 480 impls, 0 clqs 0.49/0.51 c (round 3) 7224 del vars, 24 del conss, 7080 chg bounds, 240 chg sides, 4565 chg coeffs, 1224 upgd conss, 480 impls, 0 clqs 0.49/0.58 c (round 4) 7320 del vars, 24 del conss, 7104 chg bounds, 2832 chg sides, 24389 chg coeffs, 1224 upgd conss, 14446 impls, 456 clqs 0.59/0.63 c (round 5) 7320 del vars, 24 del conss, 7104 chg bounds, 3240 chg sides, 25613 chg coeffs, 1344 upgd conss, 14446 impls, 456 clqs 2.59/2.62 c (2.4s) probing: 1000/8904 (11.2%) - 24 fixings, 0 aggregations, 8206 implications, 0 bound changes 4.39/4.41 c (4.2s) probing: 2000/8904 (22.5%) - 28 fixings, 0 aggregations, 14827 implications, 0 bound changes 4.89/4.92 c (4.7s) probing: 2293/8904 (25.8%) - 28 fixings, 0 aggregations, 14859 implications, 0 bound changes 4.89/4.92 c (4.7s) probing aborted: 100/100 successive totally useless probings 4.89/4.92 c (round 6) 7348 del vars, 24 del conss, 7104 chg bounds, 3240 chg sides, 25613 chg coeffs, 1344 upgd conss, 126158 impls, 424 clqs 4.89/4.96 c (round 7) 7348 del vars, 32 del conss, 7104 chg bounds, 3410 chg sides, 26027 chg coeffs, 1344 upgd conss, 126158 impls, 424 clqs 4.89/4.98 c (round 8) 7348 del vars, 38 del conss, 7104 chg bounds, 3436 chg sides, 26094 chg coeffs, 1344 upgd conss, 126158 impls, 443 clqs 5.19/5.27 c (5.1s) probing: 2433/8904 (27.3%) - 38 fixings, 0 aggregations, 15075 implications, 0 bound changes 5.19/5.27 c (5.1s) probing aborted: 100/100 successive totally useless probings 5.19/5.27 c (round 9) 7358 del vars, 38 del conss, 7104 chg bounds, 3436 chg sides, 26094 chg coeffs, 1344 upgd conss, 126590 impls, 443 clqs 5.69/5.75 c (5.6s) probing: 2660/8904 (29.9%) - 38 fixings, 0 aggregations, 15079 implications, 0 bound changes 5.69/5.75 c (5.6s) probing aborted: 100/100 successive totally useless probings 5.69/5.75 c presolving (10 rounds): 5.69/5.75 c 7358 deleted vars, 38 deleted constraints, 7104 tightened bounds, 0 added holes, 3436 changed sides, 26094 changed coefficients 5.69/5.75 c 126606 implications, 443 cliques 5.69/5.75 c presolved problem has 8866 variables (8866 bin, 0 int, 0 impl, 0 cont) and 2109 constraints 5.69/5.75 c 975 constraints of type <knapsack> 5.69/5.75 c 870 constraints of type <setppc> 5.69/5.75 c 120 constraints of type <linear> 5.69/5.75 c 144 constraints of type <logicor> 5.69/5.75 c transformed objective value is always integral (scale: 1) 5.69/5.75 c Presolving Time: 5.49 5.69/5.75 c - non default parameters ---------------------------------------------------------------------- 5.69/5.75 c # SCIP version 1.2.1.3 5.69/5.75 c 5.69/5.75 c # frequency for displaying node information lines 5.69/5.75 c # [type: int, range: [-1,2147483647], default: 100] 5.69/5.75 c display/freq = 10000 5.69/5.75 c 5.69/5.75 c # maximal time in seconds to run 5.69/5.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.75 c limits/time = 1789.83 5.69/5.75 c 5.69/5.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 5.69/5.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 5.69/5.75 c limits/memory = 1620 5.69/5.75 c 5.69/5.75 c # default clock type (1: CPU user seconds, 2: wall clock time) 5.69/5.75 c # [type: int, range: [1,2], default: 1] 5.69/5.75 c timing/clocktype = 2 5.69/5.75 c 5.69/5.75 c # should presolving try to simplify inequalities 5.69/5.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.75 c constraints/linear/simplifyinequalities = TRUE 5.69/5.75 c 5.69/5.75 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 5.69/5.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.75 c constraints/indicator/addCouplingCons = TRUE 5.69/5.75 c 5.69/5.75 c # should presolving try to simplify knapsacks 5.69/5.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 5.69/5.75 c constraints/knapsack/simplifyinequalities = TRUE 5.69/5.75 c 5.69/5.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 5.69/5.75 c # [type: int, range: [-1,2147483647], default: -1] 5.69/5.75 c separating/rapidlearning/freq = 0 5.69/5.75 c 5.69/5.75 c ----------------------------------------------------------------------------------------------- 5.69/5.75 c start solving 5.69/5.76 c 6.39/6.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.39/6.41 c 6.2s| 1 | 2 | 8891 | - | 46M| 0 | - |8866 |2109 |8866 |2109 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1789.48/1790.02 c 1789.48/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.48/1790.02 c Solving Time (sec) : 1789.84 1789.48/1790.02 c Solving Nodes : 6566 1789.48/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.48/1790.02 c Dual Bound : +0.00000000000000e+00 1789.48/1790.02 c Gap : infinite 1789.48/1790.02 s UNKNOWN 1789.48/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.48/1790.02 c Solving Time : 1789.84 1789.48/1790.02 c Original Problem : 1789.48/1790.02 c Problem name : HOME/instance-2703513-1278560523.opb 1789.48/1790.02 c Variables : 16224 (16224 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.48/1790.02 c Constraints : 1488 initial, 1488 maximal 1789.48/1790.02 c Presolved Problem : 1789.48/1790.02 c Problem name : t_HOME/instance-2703513-1278560523.opb 1789.48/1790.02 c Variables : 8866 (8866 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.48/1790.02 c Constraints : 2109 initial, 2173 maximal 1789.48/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.48/1790.02 c trivial : 0.02 0 0 0 0 0 0 0 0 1789.48/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0 1789.48/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.48/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.48/1790.02 c implics : 0.01 0 0 0 0 0 0 0 0 1789.48/1790.02 c probing : 5.02 38 0 0 0 0 0 0 0 1789.48/1790.02 c knapsack : 0.13 72 0 0 24 0 9 3196 21529 1789.48/1790.02 c setppc : 0.02 0 0 0 0 0 5 0 0 1789.48/1790.02 c linear : 0.15 7176 72 0 7080 0 24 240 4565 1789.48/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.48/1790.02 c root node : - 0 - - 0 - - - - 1789.48/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.48/1790.02 c integral : 0 0 0 0 0 0 0 0 0 0 1789.48/1790.02 c knapsack : 975 0 15677 0 6519 3 11943 0 0 0 1789.48/1790.02 c setppc : 870 0 15674 0 6519 0 2668 0 0 0 1789.48/1790.02 c linear : 120 0 15674 0 6519 16 4148 0 0 0 1789.48/1790.02 c logicor : 144+ 0 803 0 6519 0 26 0 0 0 1789.48/1790.02 c countsols : 0 0 0 0 6519 0 0 0 0 0 1789.48/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.48/1790.02 c integral : 0.00 0.00 0.00 0.00 0.00 1789.48/1790.02 c knapsack : 13.28 0.00 1.54 0.00 11.74 1789.48/1790.02 c setppc : 2.68 0.00 0.75 0.00 1.93 1789.48/1790.02 c linear : 0.89 0.00 0.87 0.00 0.02 1789.48/1790.02 c logicor : 0.28 0.00 0.00 0.00 0.28 1789.48/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.48/1790.02 c Propagators : Time Calls Cutoffs DomReds 1789.48/1790.02 c vbounds : 0.02 2 0 0 1789.48/1790.02 c rootredcost : 0.02 0 0 0 1789.48/1790.02 c pseudoobj : 7.37 8808 0 0 1789.48/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.48/1790.02 c propagation : 0.00 5 5 18 29.6 0 0.0 - 1789.48/1790.02 c infeasible LP : 0.12 42 16 71 39.9 0 0.0 0 1789.48/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.48/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.48/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.48/1790.02 c applied globally : - - - 64 32.1 - - - 1789.48/1790.02 c applied locally : - - - 0 0.0 - - - 1789.48/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.48/1790.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1789.48/1790.02 c redcost : 0.00 0 0 0 0 0 1789.48/1790.02 c impliedbounds : 0.00 0 0 0 0 0 1789.48/1790.02 c intobj : 0.00 0 0 0 0 0 1789.48/1790.02 c cgmip : 0.00 0 0 0 0 0 1789.48/1790.02 c gomory : 0.00 0 0 0 0 0 1789.48/1790.02 c strongcg : 0.00 0 0 0 0 0 1789.48/1790.02 c cmir : 0.00 0 0 0 0 0 1789.48/1790.02 c flowcover : 0.00 0 0 0 0 0 1789.48/1790.02 c clique : 0.00 0 0 0 0 0 1789.48/1790.02 c zerohalf : 0.00 0 0 0 0 0 1789.48/1790.02 c mcf : 0.00 0 0 0 0 0 1789.48/1790.02 c rapidlearning : 0.00 0 0 0 0 0 1789.48/1790.02 c Pricers : Time Calls Vars 1789.48/1790.02 c problem variables: 0.00 0 0 1789.48/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.48/1790.02 c relpscost : 0.00 0 0 0 0 0 0 1789.48/1790.02 c pscost : 0.00 0 0 0 0 0 0 1789.48/1790.02 c inference : 20.28 6519 0 0 0 0 13038 1789.48/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1789.48/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1789.48/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1789.48/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1789.48/1790.02 c random : 0.00 0 0 0 0 0 0 1789.48/1790.02 c Primal Heuristics : Time Calls Found 1789.48/1790.02 c LP solutions : 0.00 - 0 1789.48/1790.02 c pseudo solutions : 0.00 - 0 1789.48/1790.02 c oneopt : 0.00 0 0 1789.48/1790.02 c coefdiving : 0.00 0 0 1789.48/1790.02 c pscostdiving : 0.00 0 0 1789.48/1790.02 c fracdiving : 0.00 0 0 1789.48/1790.02 c veclendiving : 0.00 0 0 1789.48/1790.02 c objpscostdiving : 0.00 0 0 1789.48/1790.02 c rootsoldiving : 0.00 0 0 1789.48/1790.02 c linesearchdiving : 0.00 0 0 1789.48/1790.02 c guideddiving : 0.00 0 0 1789.48/1790.02 c crossover : 0.00 0 0 1789.48/1790.02 c trivial : 0.04 2 0 1789.48/1790.02 c simplerounding : 0.00 0 0 1789.48/1790.02 c zirounding : 0.00 0 0 1789.48/1790.02 c rounding : 0.00 0 0 1789.48/1790.02 c shifting : 0.00 0 0 1789.48/1790.02 c intshifting : 0.00 0 0 1789.48/1790.02 c twoopt : 0.00 0 0 1789.48/1790.02 c fixandinfer : 0.00 0 0 1789.48/1790.02 c feaspump : 0.00 0 0 1789.48/1790.02 c intdiving : 0.00 0 0 1789.48/1790.02 c actconsdiving : 0.00 0 0 1789.48/1790.02 c octane : 0.00 0 0 1789.48/1790.02 c rens : 0.00 0 0 1789.48/1790.02 c rins : 0.00 0 0 1789.48/1790.02 c localbranching : 0.00 0 0 1789.48/1790.02 c mutation : 0.00 0 0 1789.48/1790.02 c dins : 0.00 0 0 1789.48/1790.02 c undercover : 0.00 0 0 1789.48/1790.02 c nlp : 0.01 0 0 1789.48/1790.02 c trysol : 0.01 0 0 1789.48/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1789.48/1790.02 c primal LP : 0.00 0 0 0.00 - 1789.48/1790.02 c dual LP : 1702.39 19628 21519318 1096.36 12640.64 1789.48/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1789.48/1790.02 c barrier LP : 0.00 0 0 0.00 - 1789.48/1790.02 c diving/probing LP: 0.00 0 0 0.00 - 1789.48/1790.02 c strong branching : 0.00 0 0 0.00 - 1789.48/1790.02 c (at root node) : - 0 0 0.00 - 1789.48/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1789.48/1790.02 c B&B Tree : 1789.48/1790.02 c number of runs : 1 1789.48/1790.02 c nodes : 6566 1789.48/1790.02 c nodes (total) : 6566 1789.48/1790.02 c nodes left : 6473 1789.48/1790.02 c max depth : 1567 1789.48/1790.02 c max depth (total): 1567 1789.48/1790.02 c backtracks : 11 (0.2%) 1789.48/1790.02 c delayed cutoffs : 0 1789.48/1790.02 c repropagations : 1113 (36 domain reductions, 0 cutoffs) 1789.48/1790.02 c avg switch length: 2.33 1789.48/1790.02 c switching time : 0.25 1789.48/1790.02 c Solution : 1789.48/1790.02 c Solutions found : 0 (0 improvements) 1789.48/1790.02 c Primal Bound : - 1789.48/1790.02 c Dual Bound : +0.00000000000000e+00 1789.48/1790.02 c Gap : infinite 1789.48/1790.02 c Root Dual Bound : +0.00000000000000e+00 1789.48/1790.02 c Root Iterations : 8891 1789.58/1790.13 c Time complete: 1789.61.
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-2703513-1278560523/watcher-2703513-1278560523 -o /tmp/evaluation-result-2703513-1278560523/solver-2703513-1278560523 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703513-1278560523.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.92 0.98 0.99 3/105 31503 /proc/meminfo: memFree=1879624/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=7904 CPUtime=0 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 1227 0 0 0 0 0 0 0 20 0 1 0 24259014 8093696 1139 1992294400 4194304 8395647 140733332486608 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31503/statm: 1976 1147 365 1026 0 946 0 [startup+0.01622 s] /proc/loadavg: 0.92 0.98 0.99 3/105 31503 /proc/meminfo: memFree=1879624/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=10020 CPUtime=0.01 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 1811 0 0 0 1 0 0 0 20 0 1 0 24259014 10260480 1722 1992294400 4194304 8395647 140733332486608 18446744073709551615 7301433 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31503/statm: 2505 1722 375 1026 0 1475 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10020 [startup+0.10122 s] /proc/loadavg: 0.92 0.98 0.99 3/105 31503 /proc/meminfo: memFree=1879624/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=23576 CPUtime=0.09 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 5192 0 0 0 8 1 0 0 20 0 1 0 24259014 24141824 5098 1992294400 4194304 8395647 140733332486608 18446744073709551615 7301391 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31503/statm: 5894 5098 394 1026 0 4864 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23576 [startup+0.301244 s] /proc/loadavg: 0.92 0.98 0.99 3/105 31503 /proc/meminfo: memFree=1879624/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=45276 CPUtime=0.29 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 10928 0 0 0 26 3 0 0 20 0 1 0 24259014 46362624 10480 1992294400 4194304 8395647 140733332486608 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 11319 10480 431 1026 0 10289 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45276 [startup+0.701295 s] /proc/loadavg: 0.92 0.98 0.99 3/105 31503 /proc/meminfo: memFree=1879624/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=62460 CPUtime=0.69 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 14844 0 0 0 65 4 0 0 21 0 1 0 24259014 63959040 14396 1992294400 4194304 8395647 140733332486608 18446744073709551615 4743411 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 15615 14396 510 1026 0 14585 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62460 [startup+1.5014 s] /proc/loadavg: 0.92 0.98 0.99 2/106 31504 /proc/meminfo: memFree=1822576/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=63988 CPUtime=1.49 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 15228 0 0 0 145 4 0 0 23 0 1 0 24259014 65523712 14780 1992294400 4194304 8395647 140733332486608 18446744073709551615 5026824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 15997 14780 510 1026 0 14967 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63988 [startup+3.1016 s] /proc/loadavg: 0.93 0.98 0.99 2/106 31504 /proc/meminfo: memFree=1821708/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=66616 CPUtime=3.09 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 15901 0 0 0 305 4 0 0 25 0 1 0 24259014 68214784 15453 1992294400 4194304 8395647 140733332486608 18446744073709551615 5608336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 16654 15453 515 1026 0 15624 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66616 [startup+6.301 s] /proc/loadavg: 0.93 0.98 0.99 2/106 31504 /proc/meminfo: memFree=1815384/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78596 CPUtime=6.29 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19034 0 0 0 621 8 0 0 25 0 1 0 24259014 80482304 18548 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19649 18548 605 1026 0 18619 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 78596 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.99 2/106 31505 /proc/meminfo: memFree=1806828/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78892 CPUtime=12.69 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19105 0 0 0 1238 31 0 0 25 0 1 0 24259014 80785408 18619 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19723 18619 607 1026 0 18693 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78892 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/106 31506 /proc/meminfo: memFree=1806828/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78892 CPUtime=25.49 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19105 0 0 0 2469 80 0 0 25 0 1 0 24259014 80785408 18619 1992294400 4194304 8395647 140733332486608 18446744073709551615 6594329 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19723 18619 607 1026 0 18693 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78892 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/106 31506 /proc/meminfo: memFree=1806828/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78892 CPUtime=51.08 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19110 0 0 0 4949 159 0 0 25 0 1 0 24259014 80785408 18624 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19723 18624 607 1026 0 18693 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78892 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/106 31508 /proc/meminfo: memFree=1806828/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78892 CPUtime=102.27 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19112 0 0 0 9862 365 0 0 25 0 1 0 24259014 80785408 18626 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19723 18626 607 1026 0 18693 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78892 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31508 /proc/meminfo: memFree=1806828/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=78892 CPUtime=162.24 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19122 0 0 0 15604 620 0 0 25 0 1 0 24259014 80785408 18636 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19723 18636 607 1026 0 18693 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 78892 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31510 /proc/meminfo: memFree=1806704/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=79024 CPUtime=222.23 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19157 0 0 0 21363 860 0 0 25 0 1 0 24259014 80920576 18671 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19756 18671 610 1026 0 18726 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 79024 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31512 /proc/meminfo: memFree=1805960/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=79832 CPUtime=282.21 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19348 0 0 0 27110 1111 0 0 25 0 1 0 24259014 81747968 18862 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19958 18862 611 1026 0 18928 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 79832 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31514 /proc/meminfo: memFree=1805960/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=79832 CPUtime=342.19 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19348 0 0 0 32894 1325 0 0 25 0 1 0 24259014 81747968 18862 1992294400 4194304 8395647 140733332486608 18446744073709551615 6574271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19958 18862 611 1026 0 18928 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 79832 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31516 /proc/meminfo: memFree=1805960/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=79832 CPUtime=402.18 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19351 0 0 0 38693 1525 0 0 25 0 1 0 24259014 81747968 18865 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19958 18865 611 1026 0 18928 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 79832 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31517 /proc/meminfo: memFree=1805960/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=79832 CPUtime=462.16 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19351 0 0 0 44494 1722 0 0 25 0 1 0 24259014 81747968 18865 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 19958 18865 611 1026 0 18928 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 79832 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31518 /proc/meminfo: memFree=1804844/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=81056 CPUtime=522.15 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19654 0 0 0 50289 1926 0 0 25 0 1 0 24259014 83001344 19168 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20264 19168 611 1026 0 19234 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 81056 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31520 /proc/meminfo: memFree=1804844/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=81056 CPUtime=582.13 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19661 0 0 0 56086 2127 0 0 25 0 1 0 24259014 83001344 19175 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20264 19175 611 1026 0 19234 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 81056 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31522 /proc/meminfo: memFree=1804224/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=81648 CPUtime=642.12 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19794 0 0 0 61884 2328 0 0 25 0 1 0 24259014 83607552 19308 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20412 19308 611 1026 0 19382 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 81648 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1803852/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=81840 CPUtime=1002.01 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19877 0 0 0 96629 3572 0 0 25 0 1 0 24259014 83804160 19391 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20460 19391 615 1026 0 19430 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 81840 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31532 /proc/meminfo: memFree=1803480/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82300 CPUtime=1062 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19978 0 0 0 102422 3778 0 0 25 0 1 0 24259014 84275200 19487 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20575 19487 615 1026 0 19545 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 82300 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31534 /proc/meminfo: memFree=1803356/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82300 CPUtime=1121.98 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 19980 0 0 0 108221 3977 0 0 25 0 1 0 24259014 84275200 19489 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20575 19489 615 1026 0 19545 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 82300 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31545 /proc/meminfo: memFree=1802240/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82480 CPUtime=1181.95 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20127 0 0 0 114001 4194 0 0 25 0 1 0 24259014 84459520 19636 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20620 19636 714 1026 0 19590 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 82480 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31547 /proc/meminfo: memFree=1802240/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82480 CPUtime=1241.93 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20127 0 0 0 119774 4419 0 0 25 0 1 0 24259014 84459520 19636 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20620 19636 714 1026 0 19590 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 82480 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31549 /proc/meminfo: memFree=1802240/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82480 CPUtime=1301.93 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20128 0 0 0 125562 4631 0 0 25 0 1 0 24259014 84459520 19637 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20620 19637 714 1026 0 19590 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 82480 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31549 /proc/meminfo: memFree=1802240/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82480 CPUtime=1361.9 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20152 0 0 0 131343 4847 0 0 25 0 1 0 24259014 84459520 19661 1992294400 4194304 8395647 140733332486608 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20620 19661 714 1026 0 19590 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 82480 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31551 /proc/meminfo: memFree=1802240/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=82756 CPUtime=1421.89 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20189 0 0 0 137131 5058 0 0 25 0 1 0 24259014 84742144 19698 1992294400 4194304 8395647 140733332486608 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20689 19698 714 1026 0 19659 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 82756 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31553 /proc/meminfo: memFree=1802116/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83188 CPUtime=1481.87 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20307 0 0 0 142922 5265 0 0 25 0 1 0 24259014 85184512 19816 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20797 19816 714 1026 0 19767 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 83188 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31555 /proc/meminfo: memFree=1801744/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1541.85 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20375 0 0 0 148706 5479 0 0 25 0 1 0 24259014 85467136 19884 1992294400 4194304 8395647 140733332486608 18446744073709551615 6379512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19884 714 1026 0 19836 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 83464 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31557 /proc/meminfo: memFree=1801744/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1601.83 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20377 0 0 0 154499 5684 0 0 25 0 1 0 24259014 85467136 19886 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19886 714 1026 0 19836 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 83464 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31557 /proc/meminfo: memFree=1801744/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1661.82 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20377 0 0 0 160295 5887 0 0 25 0 1 0 24259014 85467136 19886 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19886 714 1026 0 19836 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 83464 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31559 /proc/meminfo: memFree=1801620/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1721.8 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20377 0 0 0 166092 6088 0 0 25 0 1 0 24259014 85467136 19886 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19886 714 1026 0 19836 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 83464 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1781.79 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20384 0 0 0 171889 6290 0 0 25 0 1 0 24259014 85467136 19893 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19893 714 1026 0 19836 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 83464 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1784.98 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20384 0 0 0 172197 6301 0 0 25 0 1 0 24259014 85467136 19893 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19893 714 1026 0 19836 0 Current children cumulated CPU time (s) 1784.98 Current children cumulated vsize (KiB) 83464 [startup+1788.7 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1788.18 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20384 0 0 0 172503 6315 0 0 25 0 1 0 24259014 85467136 19893 1992294400 4194304 8395647 140733332486608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19893 714 1026 0 19836 0 Current children cumulated CPU time (s) 1788.18 Current children cumulated vsize (KiB) 83464 [startup+1789.5 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1788.98 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20384 0 0 0 172581 6317 0 0 25 0 1 0 24259014 85467136 19893 1992294400 4194304 8395647 140733332486608 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19893 714 1026 0 19836 0 Current children cumulated CPU time (s) 1788.98 Current children cumulated vsize (KiB) 83464 [startup+1789.9 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1789.39 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20384 0 0 0 172620 6319 0 0 25 0 1 0 24259014 85467136 19893 1992294400 4194304 8395647 140733332486608 18446744073709551615 6744628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19893 714 1026 0 19836 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (KiB) 83464 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/106 31561 /proc/meminfo: memFree=1801372/2059040 swapFree=4139404/4192956 [pid=31503] ppid=31501 vsize=83464 CPUtime=1789.58 /proc/31503/stat : 31503 (pbscip.linux.x8) R 31501 31503 31478 0 -1 4202496 20405 0 0 0 172639 6319 0 0 25 0 1 0 24259014 85467136 19914 1992294400 4194304 8395647 140733332486608 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31503/statm: 20866 19914 721 1026 0 19836 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (KiB) 83464 Child status: 0 Real time (s): 1790.14 CPU time (s): 1789.63 CPU user time (s): 1726.43 CPU system time (s): 63.2054 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 83464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.43 system time used= 63.2054 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20410 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= 2 involuntary context switches= 11197 runsolver used 3.13352 second user time and 8.27074 second system time The end
Begin job on node054 at 2010-07-08 05:42:04 IDJOB=2703513 IDBENCH=2521 IDSOLVER=1213 FILE ID=node054/2703513-1278560523 PBS_JOBID= 11239531 Free space on /tmp= 62468 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/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.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-2703513-1278560523/watcher-2703513-1278560523 -o /tmp/evaluation-result-2703513-1278560523/solver-2703513-1278560523 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703513-1278560523.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 158d85b2efcaf56eab2db834482aadfb RANDOM SEED=151126061 node054.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.239 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.47 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.239 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1880028 kB Buffers: 5052 kB Cached: 84468 kB SwapCached: 7128 kB Active: 59292 kB Inactive: 43624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1880028 kB SwapTotal: 4192956 kB SwapFree: 4139404 kB Dirty: 11488 kB Writeback: 0 kB AnonPages: 11264 kB Mapped: 11856 kB Slab: 54288 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179152 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node054 at 2010-07-08 06:11:54