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.23 | 1790.79 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb |
MD5SUM | bb02029eb777c2a6ae8e192b29bcb9de |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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-2703461-1278557782.opb> 0.79/0.89 c original problem has 107808 variables (107808 bin, 0 int, 0 impl, 0 cont) and 3904 constraints 0.79/0.89 c problem read 0.79/0.89 c presolving settings loaded 1.89/1.96 c presolving: 2.29/2.33 c (round 1) 37894 del vars, 0 del conss, 37878 chg bounds, 0 chg sides, 512 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 2.39/2.42 c (round 2) 38748 del vars, 0 del conss, 38732 chg bounds, 0 chg sides, 512 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 2.59/2.64 c (round 3) 38748 del vars, 0 del conss, 38732 chg bounds, 0 chg sides, 512 chg coeffs, 1856 upgd conss, 0 impls, 0 clqs 3.20/3.26 c (round 4) 38748 del vars, 0 del conss, 38732 chg bounds, 0 chg sides, 2048 chg coeffs, 2624 upgd conss, 0 impls, 15424 clqs 3.59/3.60 c (round 5) 38748 del vars, 1536 del conss, 38732 chg bounds, 15360 chg sides, 48128 chg coeffs, 2624 upgd conss, 2048 impls, 15424 clqs 9.49/9.54 c (8.6s) probing: 261/69060 (0.4%) - 0 fixings, 0 aggregations, 32160 implications, 0 bound changes 9.49/9.54 c (8.6s) probing aborted: 100/100 successive totally useless probings 9.49/9.56 c presolving (6 rounds): 9.49/9.56 c 38748 deleted vars, 1536 deleted constraints, 38732 tightened bounds, 0 added holes, 15360 changed sides, 48128 changed coefficients 9.49/9.56 c 66368 implications, 15424 cliques 9.49/9.56 c presolved problem has 69060 variables (69060 bin, 0 int, 0 impl, 0 cont) and 17728 constraints 9.49/9.56 c 1088 constraints of type <knapsack> 9.49/9.56 c 15360 constraints of type <setppc> 9.49/9.56 c 1280 constraints of type <linear> 9.49/9.56 c transformed objective value is always integral (scale: 1) 9.49/9.56 c Presolving Time: 8.25 9.49/9.56 c - non default parameters ---------------------------------------------------------------------- 9.49/9.56 c # SCIP version 1.2.1.3 9.49/9.56 c 9.49/9.56 c # frequency for displaying node information lines 9.49/9.56 c # [type: int, range: [-1,2147483647], default: 100] 9.49/9.56 c display/freq = 10000 9.49/9.56 c 9.49/9.56 c # maximal time in seconds to run 9.49/9.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 9.49/9.56 c limits/time = 1789.11 9.49/9.56 c 9.49/9.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 9.49/9.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 9.49/9.56 c limits/memory = 1620 9.49/9.56 c 9.49/9.56 c # default clock type (1: CPU user seconds, 2: wall clock time) 9.49/9.56 c # [type: int, range: [1,2], default: 1] 9.49/9.56 c timing/clocktype = 2 9.49/9.56 c 9.49/9.56 c # should presolving try to simplify inequalities 9.49/9.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 9.49/9.56 c constraints/linear/simplifyinequalities = TRUE 9.49/9.56 c 9.49/9.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 9.49/9.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 9.49/9.56 c constraints/indicator/addCouplingCons = TRUE 9.49/9.56 c 9.49/9.56 c # should presolving try to simplify knapsacks 9.49/9.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 9.49/9.56 c constraints/knapsack/simplifyinequalities = TRUE 9.49/9.56 c 9.49/9.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 9.49/9.56 c # [type: int, range: [-1,2147483647], default: -1] 9.49/9.56 c separating/rapidlearning/freq = 0 9.49/9.56 c 9.49/9.56 c ----------------------------------------------------------------------------------------------- 9.49/9.56 c start solving 9.59/9.62 c 16.99/17.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 16.99/17.09 c 16.2s| 1 | 0 | 8103 | - | 269M| 0 |3089 | 69k| 17k| 69k| 17k| 0 | 0 | 0 | 2.939754e+08 | -- | Inf 101.26/101.33 c 100s| 1 | 0 | 31884 | - | 272M| 0 |3245 | 69k| 17k| 69k| 18k| 702 | 0 | 0 | 2.939754e+08 | -- | Inf 124.26/124.34 c 123s| 1 | 0 | 32709 | - | 273M| 0 |3571 | 69k| 17k| 69k| 18k|1198 | 0 | 0 | 2.939813e+08 | -- | Inf 150.04/150.12 c 149s| 1 | 0 | 34528 | - | 274M| 0 |3760 | 69k| 17k| 69k| 19k|1954 | 0 | 0 | 3.017255e+08 | -- | Inf 172.93/173.07 c 172s| 1 | 0 | 35707 | - | 275M| 0 |3924 | 69k| 17k| 69k| 20k|2581 | 0 | 0 | 3.100602e+08 | -- | Inf 190.14/190.21 c 189s| 1 | 0 | 36216 | - | 275M| 0 |4113 | 69k| 17k| 69k| 20k|2839 | 0 | 0 | 3.130872e+08 | -- | Inf 214.52/214.64 c 214s| 1 | 0 | 36670 | - | 275M| 0 |4228 | 69k| 17k| 69k| 20k|3074 | 0 | 0 | 3.148169e+08 | -- | Inf 241.42/241.59 c 241s| 1 | 0 | 37219 | - | 275M| 0 |4356 | 69k| 17k| 69k| 21k|3321 | 0 | 0 | 3.157106e+08 | -- | Inf 269.31/269.43 c 269s| 1 | 0 | 38109 | - | 276M| 0 |4385 | 69k| 17k| 69k| 21k|3650 | 0 | 0 | 3.171127e+08 | -- | Inf 300.99/301.15 c 300s| 1 | 0 | 40807 | - | 276M| 0 |4653 | 69k| 17k| 69k| 21k|4096 | 0 | 0 | 3.281154e+08 | -- | Inf 349.77/349.98 c 349s| 1 | 2 | 54607 | - | 276M| 0 | - | 69k| 17k| 69k| 22k|5002 | 0 | 0 | 3.281154e+08 | -- | Inf 1789.53/1790.12 c 1789.53/1790.12 c SCIP Status : solving was interrupted [time limit reached] 1789.53/1790.12 c Solving Time (sec) : 1789.23 1789.53/1790.12 c Solving Nodes : 8 1789.53/1790.12 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.53/1790.12 c Dual Bound : +3.45511731225706e+08 1789.53/1790.12 c Gap : infinite 1789.53/1790.12 s UNKNOWN 1789.53/1790.12 c SCIP Status : solving was interrupted [time limit reached] 1789.53/1790.12 c Solving Time : 1789.23 1789.53/1790.12 c Original Problem : 1789.53/1790.12 c Problem name : HOME/instance-2703461-1278557782.opb 1789.53/1790.12 c Variables : 107808 (107808 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.53/1790.12 c Constraints : 3904 initial, 3904 maximal 1789.53/1790.12 c Presolved Problem : 1789.53/1790.12 c Problem name : t_HOME/instance-2703461-1278557782.opb 1789.53/1790.12 c Variables : 69060 (69060 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.53/1790.12 c Constraints : 17728 initial, 17728 maximal 1789.53/1790.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.53/1790.12 c trivial : 0.08 0 0 0 0 0 0 0 0 1789.53/1790.12 c dualfix : 0.08 0 0 0 0 0 0 0 0 1789.53/1790.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.12 c implics : 0.03 0 0 0 0 0 0 0 0 1789.53/1790.12 c probing : 5.86 0 0 0 0 0 0 0 0 1789.53/1790.12 c knapsack : 0.77 0 0 0 0 0 1536 15360 47616 1789.53/1790.12 c setppc : 0.05 0 0 0 0 0 0 0 0 1789.53/1790.12 c linear : 0.60 38732 16 0 38732 0 0 0 512 1789.53/1790.12 c root node : - 0 - - 0 - - - - 1789.53/1790.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.53/1790.12 c integral : 0 0 0 3 0 0 0 0 0 6 1789.53/1790.12 c knapsack : 1088 10 942 0 5 0 272 2005 0 0 1789.53/1790.12 c setppc : 15360 10 942 0 5 0 189 0 0 0 1789.53/1790.12 c linear : 1280 10 942 0 0 0 0 2059 0 0 1789.53/1790.12 c countsols : 0 0 0 0 5 0 0 0 0 0 1789.53/1790.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.53/1790.12 c integral : 23.80 0.00 0.00 23.80 0.00 1789.53/1790.12 c knapsack : 0.55 0.31 0.18 0.00 0.05 1789.53/1790.12 c setppc : 1.21 0.02 1.16 0.00 0.03 1789.53/1790.12 c linear : 1.20 0.83 0.37 0.00 0.00 1789.53/1790.12 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.53/1790.12 c Propagators : Time Calls Cutoffs DomReds 1789.53/1790.12 c vbounds : 0.00 2 0 0 1789.53/1790.12 c rootredcost : 0.00 0 0 0 1789.53/1790.12 c pseudoobj : 0.14 24 0 0 1789.53/1790.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.53/1790.12 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.53/1790.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.53/1790.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.53/1790.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.53/1790.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.53/1790.12 c applied globally : - - - 0 0.0 - - - 1789.53/1790.12 c applied locally : - - - 0 0.0 - - - 1789.53/1790.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.53/1790.12 c cut pool : 0.00 9 - - 382 - (maximal pool size: 3907) 1789.53/1790.12 c redcost : 0.15 13 0 0 0 0 1789.53/1790.12 c impliedbounds : 0.15 10 0 0 5256 0 1789.53/1790.12 c intobj : 0.00 0 0 0 0 0 1789.53/1790.12 c cgmip : 0.00 0 0 0 0 0 1789.53/1790.12 c gomory : 80.21 10 0 0 1809 0 1789.53/1790.12 c strongcg : 68.20 10 0 0 3380 0 1789.53/1790.12 c cmir : 14.10 10 0 0 0 0 1789.53/1790.12 c flowcover : 30.30 10 0 0 0 0 1789.53/1790.12 c clique : 2.41 10 0 0 62 0 1789.53/1790.12 c zerohalf : 0.00 0 0 0 0 0 1789.53/1790.12 c mcf : 0.05 1 0 0 0 0 1789.53/1790.12 c rapidlearning : 0.00 0 0 0 0 0 1789.53/1790.12 c Pricers : Time Calls Vars 1789.53/1790.12 c problem variables: 0.00 0 0 1789.53/1790.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.53/1790.12 c relpscost : 23.80 3 0 0 0 0 6 1789.53/1790.12 c pscost : 0.00 0 0 0 0 0 0 1789.53/1790.12 c inference : 0.13 5 0 0 0 0 10 1789.53/1790.12 c mostinf : 0.00 0 0 0 0 0 0 1789.53/1790.12 c leastinf : 0.00 0 0 0 0 0 0 1789.53/1790.12 c fullstrong : 0.00 0 0 0 0 0 0 1789.53/1790.12 c allfullstrong : 0.00 0 0 0 0 0 0 1789.53/1790.12 c random : 0.00 0 0 0 0 0 0 1789.53/1790.12 c Primal Heuristics : Time Calls Found 1789.53/1790.12 c LP solutions : 0.00 - 0 1789.53/1790.12 c pseudo solutions : 0.00 - 0 1789.53/1790.12 c oneopt : 0.00 0 0 1789.53/1790.12 c intshifting : 0.00 0 0 1789.53/1790.12 c coefdiving : 0.00 0 0 1789.53/1790.12 c crossover : 0.00 0 0 1789.53/1790.12 c pscostdiving : 0.00 0 0 1789.53/1790.12 c feaspump : 54.34 1 0 1789.53/1790.12 c trivial : 0.33 2 0 1789.53/1790.12 c simplerounding : 0.01 0 0 1789.53/1790.12 c zirounding : 0.01 3 0 1789.53/1790.12 c rounding : 3.04 13 0 1789.53/1790.12 c shifting : 42.21 10 0 1789.53/1790.12 c twoopt : 0.00 0 0 1789.53/1790.12 c fixandinfer : 0.00 0 0 1789.53/1790.12 c fracdiving : 0.00 0 0 1789.53/1790.12 c veclendiving : 0.00 0 0 1789.53/1790.12 c intdiving : 0.00 0 0 1789.53/1790.12 c actconsdiving : 0.00 0 0 1789.53/1790.12 c objpscostdiving : 0.00 0 0 1789.53/1790.12 c rootsoldiving : 0.00 0 0 1789.53/1790.12 c linesearchdiving : 0.00 0 0 1789.53/1790.12 c guideddiving : 0.00 0 0 1789.53/1790.12 c octane : 0.00 0 0 1789.53/1790.12 c rens : 0.00 0 0 1789.53/1790.12 c rins : 0.00 0 0 1789.53/1790.12 c localbranching : 0.00 0 0 1789.53/1790.12 c mutation : 0.00 0 0 1789.53/1790.12 c dins : 0.00 0 0 1789.53/1790.12 c undercover : 0.00 0 0 1789.53/1790.12 c nlp : 0.00 0 0 1789.53/1790.12 c trysol : 0.00 0 0 1789.53/1790.12 c LP : Time Calls Iterations Iter/call Iter/sec 1789.53/1790.12 c primal LP : 0.00 0 0 0.00 - 1789.53/1790.12 c dual LP : 1458.01 33 389726 11809.88 267.30 1789.53/1790.12 c lex dual LP : 0.00 0 0 0.00 - 1789.53/1790.12 c barrier LP : 0.00 0 0 0.00 - 1789.53/1790.12 c diving/probing LP: 54.22 4 15907 3976.75 293.35 1789.53/1790.12 c strong branching : 23.79 63 6836 108.51 287.40 1789.53/1790.12 c (at root node) : - 0 0 0.00 - 1789.53/1790.12 c conflict analysis: 0.00 0 0 0.00 - 1789.53/1790.12 c B&B Tree : 1789.53/1790.12 c number of runs : 1 1789.53/1790.12 c nodes : 8 1789.53/1790.12 c nodes (total) : 8 1789.53/1790.12 c nodes left : 9 1789.53/1790.12 c max depth : 5 1789.53/1790.12 c max depth (total): 5 1789.53/1790.12 c backtracks : 1 (12.5%) 1789.53/1790.12 c delayed cutoffs : 0 1789.53/1790.12 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.53/1790.12 c avg switch length: 1.62 1789.53/1790.12 c switching time : 0.01 1789.53/1790.12 c Solution : 1789.53/1790.12 c Solutions found : 0 (0 improvements) 1789.53/1790.12 c Primal Bound : - 1789.53/1790.12 c Dual Bound : +3.45511731225706e+08 1789.53/1790.12 c Gap : infinite 1789.53/1790.12 c Root Dual Bound : +3.28115448257617e+08 1789.53/1790.12 c Root Iterations : 54607 1790.14/1790.76 c Time complete: 1790.19.
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-2703461-1278557782/watcher-2703461-1278557782 -o /tmp/evaluation-result-2703461-1278557782/solver-2703461-1278557782 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703461-1278557782.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.07 1.07 1.01 3/105 30072 /proc/meminfo: memFree=1797108/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=7904 CPUtime=0 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 1146 0 0 0 0 0 0 0 23 0 1 0 23986124 8093696 1057 1992294400 4194304 8395647 140736372112176 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 1976 1066 365 1026 0 946 0 [startup+0.061171 s] /proc/loadavg: 1.07 1.07 1.01 3/105 30072 /proc/meminfo: memFree=1797108/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=20672 CPUtime=0.05 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 4469 0 0 0 4 1 0 0 23 0 1 0 23986124 21168128 4376 1992294400 4194304 8395647 140736372112176 18446744073709551615 6765598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 5168 4376 389 1026 0 4138 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20672 [startup+0.101176 s] /proc/loadavg: 1.07 1.07 1.01 3/105 30072 /proc/meminfo: memFree=1797108/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=29672 CPUtime=0.09 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 6543 0 0 0 7 2 0 0 23 0 1 0 23986124 30384128 6450 1992294400 4194304 8395647 140736372112176 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 7418 6461 389 1026 0 6388 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29672 [startup+0.3012 s] /proc/loadavg: 1.07 1.07 1.01 3/105 30072 /proc/meminfo: memFree=1797108/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=66764 CPUtime=0.29 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 15855 0 0 0 23 6 0 0 23 0 1 0 23986124 68366336 15760 1992294400 4194304 8395647 140736372112176 18446744073709551615 7301336 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 16691 15760 394 1026 0 15661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 66764 [startup+0.701249 s] /proc/loadavg: 1.07 1.07 1.01 3/105 30072 /proc/meminfo: memFree=1797108/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=84724 CPUtime=0.7 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 20305 0 0 0 62 8 0 0 25 0 1 0 23986124 86757376 20210 1992294400 4194304 8395647 140736372112176 18446744073709551615 6767037 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 21437 20214 394 1026 0 20407 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 84724 [startup+1.50135 s] /proc/loadavg: 1.06 1.07 1.01 2/106 30073 /proc/meminfo: memFree=1663180/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=210344 CPUtime=1.49 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 51945 0 0 0 131 18 0 0 25 0 1 0 23986124 215392256 51496 1992294400 4194304 8395647 140736372112176 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 52586 51496 431 1026 0 51556 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 210344 [startup+3.10154 s] /proc/loadavg: 1.06 1.07 1.01 2/106 30073 /proc/meminfo: memFree=1573280/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=268960 CPUtime=3.09 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 64550 0 0 0 287 22 0 0 25 0 1 0 23986124 275415040 64069 1992294400 4194304 8395647 140736372112176 18446744073709551615 4953443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 67240 64069 486 1026 0 66210 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 268960 [startup+6.30094 s] /proc/loadavg: 1.06 1.07 1.01 2/106 30073 /proc/meminfo: memFree=1515744/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=296364 CPUtime=6.29 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 73501 0 0 0 604 25 0 0 25 0 1 0 23986124 303476736 71335 1992294400 4194304 8395647 140736372112176 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 74091 71335 506 1026 0 73061 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 296364 [startup+12.7007 s] /proc/loadavg: 1.05 1.06 1.01 2/106 30073 /proc/meminfo: memFree=1443824/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=369912 CPUtime=12.69 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 91630 0 0 0 1236 33 0 0 25 0 1 0 23986124 378789888 88640 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 92478 88640 597 1026 0 91448 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 369912 [startup+25.5013 s] /proc/loadavg: 1.04 1.06 1.01 2/106 30073 /proc/meminfo: memFree=1440972/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=372820 CPUtime=25.49 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 92493 0 0 0 2515 34 0 0 25 0 1 0 23986124 381767680 89445 1992294400 4194304 8395647 140736372112176 18446744073709551615 6637047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 93205 89445 588 1026 0 92175 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 372820 [startup+51.1014 s] /proc/loadavg: 1.02 1.05 1.01 2/106 30073 /proc/meminfo: memFree=1438244/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=375948 CPUtime=51.07 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 93085 0 0 0 5066 41 0 0 25 0 1 0 23986124 384970752 90037 1992294400 4194304 8395647 140736372112176 18446744073709551615 6698282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 93987 90037 620 1026 0 92957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 375948 [startup+102.309 s] /proc/loadavg: 1.01 1.04 1.00 2/106 30075 /proc/meminfo: memFree=1412948/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=402420 CPUtime=102.27 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 99756 0 0 0 10166 61 0 0 25 0 1 0 23986124 412078080 96383 1992294400 4194304 8395647 140736372112176 18446744073709551615 5543011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 100605 96383 641 1026 0 99575 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 402420 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 30077 /proc/meminfo: memFree=1402408/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=414676 CPUtime=162.25 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 103278 0 0 0 16146 79 0 0 25 0 1 0 23986124 424628224 99894 1992294400 4194304 8395647 140736372112176 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 103669 99894 1540 1026 0 102639 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 414676 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 30079 /proc/meminfo: memFree=1398068/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=416424 CPUtime=222.23 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 104371 0 0 0 22131 92 0 0 25 0 1 0 23986124 426418176 100157 1992294400 4194304 8395647 140736372112176 18446744073709551615 6440501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 104106 100157 710 1026 0 103076 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 416424 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 30088 /proc/meminfo: memFree=1395216/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=416424 CPUtime=282.2 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 104788 0 0 0 28114 106 0 0 25 0 1 0 23986124 426418176 100495 1992294400 4194304 8395647 140736372112176 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 104106 100495 631 1026 0 103076 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 416424 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 30090 /proc/meminfo: memFree=1388644/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=424312 CPUtime=342.18 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 106579 0 0 0 34098 120 0 0 25 0 1 0 23986124 434495488 102286 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106078 102286 631 1026 0 105048 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 424312 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/106 30092 /proc/meminfo: memFree=1386288/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=402.16 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107184 0 0 0 40083 133 0 0 25 0 1 0 23986124 436940800 102891 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102891 634 1026 0 105645 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 426700 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30094 /proc/meminfo: memFree=1386164/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=462.14 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107184 0 0 0 46068 146 0 0 25 0 1 0 23986124 436940800 102891 1992294400 4194304 8395647 140736372112176 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102891 634 1026 0 105645 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 426700 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30096 /proc/meminfo: memFree=1386164/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=522.12 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107184 0 0 0 52052 160 0 0 25 0 1 0 23986124 436940800 102891 1992294400 4194304 8395647 140736372112176 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102891 634 1026 0 105645 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 426700 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30096 /proc/meminfo: memFree=1386164/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=582.1 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107184 0 0 0 58033 177 0 0 25 0 1 0 23986124 436940800 102891 1992294400 4194304 8395647 140736372112176 18446744073709551615 6701660 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102891 634 1026 0 105645 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 426700 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30098 /proc/meminfo: memFree=1386164/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=642.1 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107184 0 0 0 64019 191 0 0 25 0 1 0 23986124 436940800 102891 1992294400 4194304 8395647 140736372112176 18446744073709551615 6375814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102891 634 1026 0 105645 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 426700 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1386040/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1001.97 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 99918 279 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 426700 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30110 /proc/meminfo: memFree=1386040/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1061.95 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 105902 293 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6696653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 426700 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30112 /proc/meminfo: memFree=1385916/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1121.94 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 111885 309 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6635072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 426700 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30112 /proc/meminfo: memFree=1385916/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1181.92 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 117872 320 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 426700 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30114 /proc/meminfo: memFree=1385916/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1241.9 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 123856 334 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 426700 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30116 /proc/meminfo: memFree=1385792/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1301.88 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 129840 348 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 426700 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30118 /proc/meminfo: memFree=1385792/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1361.86 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 135822 364 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6709578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 426700 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30120 /proc/meminfo: memFree=1385792/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1421.86 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 141807 379 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 426700 [startup+1482.3 s] /proc/loadavg: 1.03 1.01 1.00 2/106 30123 /proc/meminfo: memFree=1385172/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1481.82 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 147791 391 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 426700 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/106 30125 /proc/meminfo: memFree=1385420/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1541.8 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 153774 406 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 426700 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30127 /proc/meminfo: memFree=1385420/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1601.79 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 159759 420 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 426700 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30129 /proc/meminfo: memFree=1385420/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1661.77 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 165740 437 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6697691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 426700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30131 /proc/meminfo: memFree=1385420/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1721.75 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107186 0 0 0 171723 452 0 0 25 0 1 0 23986124 436940800 102893 1992294400 4194304 8395647 140736372112176 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102893 634 1026 0 105645 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 426700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30131 /proc/meminfo: memFree=1385420/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1781.73 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107285 0 0 0 177702 471 0 0 25 0 1 0 23986124 436940800 102992 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102992 733 1026 0 105645 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 426700 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30131 /proc/meminfo: memFree=1385296/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1784.93 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107285 0 0 0 178020 473 0 0 25 0 1 0 23986124 436940800 102992 1992294400 4194304 8395647 140736372112176 18446744073709551615 6669605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102992 733 1026 0 105645 0 Current children cumulated CPU time (s) 1784.93 Current children cumulated vsize (KiB) 426700 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30131 /proc/meminfo: memFree=1385296/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1788.13 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107285 0 0 0 178339 474 0 0 25 0 1 0 23986124 436940800 102992 1992294400 4194304 8395647 140736372112176 18446744073709551615 6502744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102992 733 1026 0 105645 0 Current children cumulated CPU time (s) 1788.13 Current children cumulated vsize (KiB) 426700 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30131 /proc/meminfo: memFree=1385296/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1788.93 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107285 0 0 0 178419 474 0 0 25 0 1 0 23986124 436940800 102992 1992294400 4194304 8395647 140736372112176 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102992 733 1026 0 105645 0 Current children cumulated CPU time (s) 1788.93 Current children cumulated vsize (KiB) 426700 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30133 /proc/meminfo: memFree=1385296/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=426700 CPUtime=1789.73 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107290 0 0 0 178499 474 0 0 25 0 1 0 23986124 436940800 102997 1992294400 4194304 8395647 140736372112176 18446744073709551615 4421298 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 106675 102997 738 1026 0 105645 0 Current children cumulated CPU time (s) 1789.73 Current children cumulated vsize (KiB) 426700 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30133 /proc/meminfo: memFree=1429192/2059040 swapFree=4140272/4192956 [pid=30072] ppid=30070 vsize=372656 CPUtime=1790.14 /proc/30072/stat : 30072 (pbscip.linux.x8) R 30070 30072 28584 0 -1 4202496 107292 0 0 0 178539 475 0 0 25 0 1 0 23986124 381599744 90092 1992294400 4194304 8395647 140736372112176 18446744073709551615 6345891 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30072/statm: 93164 90092 740 1026 0 92134 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (KiB) 372656 Child status: 0 Real time (s): 1790.79 CPU time (s): 1790.23 CPU user time (s): 1785.44 CPU system time (s): 4.79127 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 426700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.44 system time used= 4.79127 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107296 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= 4401 runsolver used 2.89356 second user time and 8.5257 second system time The end
Begin job on node080 at 2010-07-08 04:56:22 IDJOB=2703461 IDBENCH=2342 IDSOLVER=1213 FILE ID=node080/2703461-1278557782 PBS_JOBID= 11239483 Free space on /tmp= 62544 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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.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-2703461-1278557782/watcher-2703461-1278557782 -o /tmp/evaluation-result-2703461-1278557782/solver-2703461-1278557782 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703461-1278557782.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de RANDOM SEED=1092031311 node080.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.255 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.51 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.255 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797636 kB Buffers: 11896 kB Cached: 148700 kB SwapCached: 11268 kB Active: 95088 kB Inactive: 83876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797636 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 15060 kB Writeback: 0 kB AnonPages: 11520 kB Mapped: 12000 kB Slab: 60660 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182056 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= 62532 MiB End job on node080 at 2010-07-08 05:26:13