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.26 | 1790.77 |
Name | /OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3027_1.std.opb |
MD5SUM | 7c9346d90a668a3f1bb18ac05d8f779a |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 43 |
Best CPU time to get the best result obtained on this benchmark | 5.70313 |
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 | 18662 |
Total number of constraints | 62742 |
Number of constraints which are clauses | 61542 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2704959-1278582958.opb> 0.89/0.92 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62742 constraints 0.89/0.92 c problem read 0.89/0.92 c presolving settings loaded 1.19/1.26 c presolving: 4.99/5.03 c (round 1) 977 del vars, 2569 del conss, 683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4282896 impls, 0 clqs 5.99/6.04 c (round 2) 2125 del vars, 6734 del conss, 1723 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4287944 impls, 0 clqs 6.19/6.21 c (round 3) 2389 del vars, 8188 del conss, 1815 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 4290129 impls, 0 clqs 6.19/6.28 c (round 4) 2449 del vars, 8481 del conss, 1831 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 4290555 impls, 0 clqs 6.29/6.33 c (round 5) 2457 del vars, 8549 del conss, 1831 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 4290585 impls, 0 clqs 6.69/6.74 c (round 6) 2457 del vars, 8553 del conss, 1831 chg bounds, 51 chg sides, 47 chg coeffs, 54189 upgd conss, 4290585 impls, 0 clqs 7.08/7.16 c (round 7) 2457 del vars, 8560 del conss, 1831 chg bounds, 85 chg sides, 229 chg coeffs, 54189 upgd conss, 4290633 impls, 249 clqs 7.38/7.44 c (round 8) 2457 del vars, 8561 del conss, 1831 chg bounds, 93 chg sides, 258 chg coeffs, 54189 upgd conss, 4290633 impls, 269 clqs 438.36/438.59 c (437.7s) probing: 1000/16205 (6.2%) - 0 fixings, 0 aggregations, 4150829 implications, 0 bound changes 858.94/859.24 c (858.3s) probing: 2000/16205 (12.3%) - 0 fixings, 0 aggregations, 7123374 implications, 0 bound changes 859.44/859.76 c (858.8s) probing: 2001/16205 (12.3%) - 0 fixings, 0 aggregations, 7125394 implications, 0 bound changes 859.44/859.76 c (858.8s) probing aborted: 2000/2000 successive useless probings 859.44/859.76 c presolving (9 rounds): 859.44/859.76 c 2457 deleted vars, 8561 deleted constraints, 1831 tightened bounds, 0 added holes, 93 changed sides, 259 changed coefficients 859.44/859.76 c 23830345 implications, 269 cliques 859.44/859.76 c presolved problem has 16205 variables (16205 bin, 0 int, 0 impl, 0 cont) and 54200 constraints 859.44/859.76 c 1156 constraints of type <knapsack> 859.44/859.76 c 45003 constraints of type <setppc> 859.44/859.76 c 8041 constraints of type <logicor> 859.44/859.76 c transformed objective value is always integral (scale: 1) 859.44/859.76 c Presolving Time: 858.62 859.44/859.76 c - non default parameters ---------------------------------------------------------------------- 859.44/859.76 c # SCIP version 1.2.1.3 859.44/859.76 c 859.44/859.76 c # frequency for displaying node information lines 859.44/859.76 c # [type: int, range: [-1,2147483647], default: 100] 859.44/859.76 c display/freq = 10000 859.44/859.76 c 859.44/859.76 c # maximal time in seconds to run 859.44/859.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 859.44/859.76 c limits/time = 1789.08 859.44/859.76 c 859.44/859.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 859.44/859.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 859.44/859.76 c limits/memory = 1620 859.44/859.76 c 859.44/859.76 c # default clock type (1: CPU user seconds, 2: wall clock time) 859.44/859.76 c # [type: int, range: [1,2], default: 1] 859.44/859.76 c timing/clocktype = 2 859.44/859.76 c 859.44/859.76 c # should presolving try to simplify inequalities 859.44/859.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 859.44/859.76 c constraints/linear/simplifyinequalities = TRUE 859.44/859.76 c 859.44/859.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 859.44/859.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 859.44/859.76 c constraints/indicator/addCouplingCons = TRUE 859.44/859.76 c 859.44/859.76 c # should presolving try to simplify knapsacks 859.44/859.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 859.44/859.76 c constraints/knapsack/simplifyinequalities = TRUE 859.44/859.76 c 859.44/859.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 859.44/859.76 c # [type: int, range: [-1,2147483647], default: -1] 859.44/859.76 c separating/rapidlearning/freq = 0 859.44/859.76 c 859.44/859.76 c ----------------------------------------------------------------------------------------------- 859.44/859.76 c start solving 859.54/859.80 c 908.33/908.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 908.33/908.64 c 908s| 1 | 0 | 14174 | - | 723M| 0 | 113 | 16k| 54k| 16k| 54k| 0 | 0 | 0 | 4.300000e+01 | -- | Inf 1365.20/1365.65 c 1365s| 1 | 0 | 42262 | - | 725M| 0 | 341 | 16k| 54k| 16k| 54k| 78 | 0 | 0 | 4.300000e+01 | -- | Inf 1481.18/1481.67 c 1481s| 1 | 0 | 57336 | - | 727M| 0 | 357 | 16k| 54k| 16k| 54k| 130 | 0 | 0 | 4.300000e+01 | -- | Inf 1558.04/1558.58 c 1558s| 1 | 0 | 66762 | - | 730M| 0 | 347 | 16k| 54k| 16k| 54k| 163 | 0 | 0 | 4.300000e+01 | -- | Inf 1662.02/1662.52 c 1662s| 1 | 0 | 79934 | - | 732M| 0 | 350 | 16k| 54k| 16k| 54k| 182 | 0 | 0 | 4.300000e+01 | -- | Inf 1789.68/1790.21 c 1789s| 1 | 0 | 95187 | - | 734M| 0 | - | 16k| 54k| 16k| 54k| 207 | 0 | 0 | 4.300000e+01 | -- | Inf 1789.68/1790.26 c 1789s| 1 | 2 | 95187 | - | 734M| 0 | - | 16k| 54k| 16k| 54k| 207 | 0 | 0 | 4.300000e+01 | -- | Inf 1789.68/1790.26 c 1789.68/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.68/1790.26 c Solving Time (sec) : 1789.33 1789.68/1790.26 c Solving Nodes : 1 1789.68/1790.26 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.68/1790.26 c Dual Bound : +4.30000000000000e+01 1789.68/1790.26 c Gap : infinite 1789.68/1790.26 s UNKNOWN 1789.68/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.68/1790.26 c Solving Time : 1789.33 1789.68/1790.26 c Original Problem : 1789.68/1790.26 c Problem name : HOME/instance-2704959-1278582958.opb 1789.68/1790.26 c Variables : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.68/1790.26 c Constraints : 62742 initial, 62742 maximal 1789.68/1790.26 c Presolved Problem : 1789.68/1790.26 c Problem name : t_HOME/instance-2704959-1278582958.opb 1789.68/1790.26 c Variables : 16205 (16205 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.68/1790.26 c Constraints : 54200 initial, 54200 maximal 1789.68/1790.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.68/1790.26 c trivial : 0.03 138 0 0 0 0 0 0 0 1789.68/1790.26 c dualfix : 0.04 30 0 0 0 0 0 0 0 1789.68/1790.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.68/1790.26 c implics : 0.21 0 0 0 0 0 0 0 0 1789.68/1790.26 c probing : 852.15 0 0 0 0 0 0 0 0 1789.68/1790.26 c knapsack : 0.46 0 0 0 0 0 1 42 212 1789.68/1790.26 c setppc : 0.26 0 0 0 0 0 7 0 0 1789.68/1790.26 c linear : 5.21 1693 596 0 1831 0 8553 51 47 1789.68/1790.26 c logicor : 0.06 0 0 0 0 0 0 0 0 1789.68/1790.26 c root node : - 0 - - 0 - - - - 1789.68/1790.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.68/1790.26 c integral : 0 0 0 0 0 0 0 0 0 0 1789.68/1790.26 c knapsack : 1156 5 113081 0 1 0 0 212 0 0 1789.68/1790.26 c setppc : 45003 5 113081 0 1 0 0 0 0 0 1789.68/1790.26 c logicor : 8041 5 104822 0 1 0 0 0 0 0 1789.68/1790.26 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.68/1790.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.68/1790.26 c integral : 0.00 0.00 0.00 0.00 0.00 1789.68/1790.26 c knapsack : 21.75 0.04 21.71 0.00 0.00 1789.68/1790.26 c setppc : 614.45 0.05 614.36 0.00 0.03 1789.68/1790.26 c logicor : 5.99 0.01 5.97 0.00 0.01 1789.68/1790.26 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.68/1790.26 c Propagators : Time Calls Cutoffs DomReds 1789.68/1790.26 c vbounds : 0.10 2 0 0 1789.68/1790.26 c rootredcost : 0.08 0 0 0 1789.68/1790.26 c pseudoobj : 0.05 2 0 0 1789.68/1790.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.68/1790.26 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1789.68/1790.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1789.68/1790.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.68/1790.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.68/1790.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.68/1790.26 c applied globally : - - - 0 0.0 - - - 1789.68/1790.26 c applied locally : - - - 0 0.0 - - - 1789.68/1790.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.68/1790.26 c cut pool : 0.01 4 - - 48 - (maximal pool size: 1015) 1789.68/1790.26 c redcost : 0.01 5 0 0 0 0 1789.68/1790.26 c impliedbounds : 0.05 5 0 0 80 0 1789.68/1790.26 c intobj : 0.00 0 0 0 0 0 1789.68/1790.26 c cgmip : 0.00 0 0 0 0 0 1789.68/1790.26 c gomory : 11.58 5 0 0 1200 0 1789.68/1790.26 c strongcg : 7.58 5 0 0 2383 0 1789.68/1790.26 c cmir : 13.11 5 0 0 18 0 1789.68/1790.26 c flowcover : 20.88 5 0 0 147 0 1789.68/1790.26 c clique : 324.22 5 0 0 37 0 1789.68/1790.26 c zerohalf : 0.00 0 0 0 0 0 1789.68/1790.26 c mcf : 1.82 1 0 0 0 0 1789.68/1790.26 c rapidlearning : 0.00 0 0 0 0 0 1789.68/1790.26 c Pricers : Time Calls Vars 1789.68/1790.26 c problem variables: 0.00 0 0 1789.68/1790.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.68/1790.26 c relpscost : 0.00 0 0 0 0 0 0 1789.68/1790.26 c pscost : 0.00 0 0 0 0 0 0 1789.68/1790.26 c inference : 0.01 1 0 0 0 0 2 1789.68/1790.26 c mostinf : 0.00 0 0 0 0 0 0 1789.68/1790.26 c leastinf : 0.00 0 0 0 0 0 0 1789.68/1790.26 c fullstrong : 0.00 0 0 0 0 0 0 1789.68/1790.26 c allfullstrong : 0.00 0 0 0 0 0 0 1789.68/1790.26 c random : 0.00 0 0 0 0 0 0 1789.68/1790.26 c Primal Heuristics : Time Calls Found 1789.68/1790.26 c LP solutions : 0.00 - 0 1789.68/1790.26 c pseudo solutions : 0.00 - 0 1789.68/1790.26 c oneopt : 0.00 0 0 1789.68/1790.26 c trivial : 0.06 2 0 1789.68/1790.26 c simplerounding : 0.00 0 0 1789.68/1790.26 c zirounding : 0.00 0 0 1789.68/1790.26 c rounding : 0.03 5 0 1789.68/1790.26 c shifting : 0.04 5 0 1789.68/1790.26 c intshifting : 0.00 0 0 1789.68/1790.26 c twoopt : 0.00 0 0 1789.68/1790.26 c fixandinfer : 0.00 0 0 1789.68/1790.26 c feaspump : 27.31 1 0 1789.68/1790.26 c coefdiving : 0.00 0 0 1789.68/1790.26 c pscostdiving : 0.00 0 0 1789.68/1790.26 c fracdiving : 0.00 0 0 1789.68/1790.26 c veclendiving : 0.00 0 0 1789.68/1790.26 c intdiving : 0.00 0 0 1789.68/1790.26 c actconsdiving : 0.00 0 0 1789.68/1790.26 c objpscostdiving : 0.00 0 0 1789.68/1790.26 c rootsoldiving : 0.00 0 0 1789.68/1790.26 c linesearchdiving : 0.00 0 0 1789.68/1790.26 c guideddiving : 0.00 0 0 1789.68/1790.26 c octane : 0.00 0 0 1789.68/1790.26 c rens : 0.00 0 0 1789.68/1790.26 c rins : 0.00 0 0 1789.68/1790.26 c localbranching : 0.00 0 0 1789.68/1790.26 c mutation : 0.00 0 0 1789.68/1790.26 c crossover : 0.00 0 0 1789.68/1790.26 c dins : 0.00 0 0 1789.68/1790.26 c undercover : 0.00 0 0 1789.68/1790.26 c nlp : 0.00 0 0 1789.68/1790.26 c trysol : 0.00 0 0 1789.68/1790.26 c LP : Time Calls Iterations Iter/call Iter/sec 1789.68/1790.26 c primal LP : 0.00 0 0 0.00 - 1789.68/1790.26 c dual LP : 523.09 6 81901 13650.17 156.57 1789.68/1790.26 c lex dual LP : 0.00 0 0 0.00 - 1789.68/1790.26 c barrier LP : 0.00 0 0 0.00 - 1789.68/1790.26 c diving/probing LP: 26.46 31 13286 428.58 502.21 1789.68/1790.26 c strong branching : 0.00 0 0 0.00 - 1789.68/1790.26 c (at root node) : - 0 0 0.00 - 1789.68/1790.26 c conflict analysis: 0.00 0 0 0.00 - 1789.68/1790.26 c B&B Tree : 1789.68/1790.26 c number of runs : 1 1789.68/1790.26 c nodes : 1 1789.68/1790.26 c nodes (total) : 1 1789.68/1790.26 c nodes left : 2 1789.68/1790.26 c max depth : 0 1789.68/1790.26 c max depth (total): 0 1789.68/1790.26 c backtracks : 0 (0.0%) 1789.68/1790.26 c delayed cutoffs : 0 1789.68/1790.26 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1789.68/1790.26 c avg switch length: 1.00 1789.68/1790.26 c switching time : 0.00 1789.68/1790.26 c Solution : 1789.68/1790.26 c Solutions found : 0 (0 improvements) 1789.68/1790.26 c Primal Bound : - 1789.68/1790.26 c Dual Bound : +4.30000000000000e+01 1789.68/1790.26 c Gap : infinite 1789.68/1790.26 c Root Dual Bound : +4.30000000000000e+01 1789.68/1790.26 c Root Iterations : 95187 1790.18/1790.77 c Time complete: 1790.25.
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-2704959-1278582958/watcher-2704959-1278582958 -o /tmp/evaluation-result-2704959-1278582958/solver-2704959-1278582958 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704959-1278582958.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 32753 /proc/meminfo: memFree=1875044/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=7904 CPUtime=0 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 1131 0 0 0 0 0 0 0 25 0 1 0 26503752 8093696 1042 1992294400 4194304 8395647 140733591319344 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 1976 1049 365 1026 0 946 0 [startup+0.036777 s] /proc/loadavg: 0.92 0.98 0.99 3/105 32753 /proc/meminfo: memFree=1875044/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=12844 CPUtime=0.03 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 2511 0 0 0 3 0 0 0 25 0 1 0 26503752 13152256 2422 1992294400 4194304 8395647 140733591319344 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 3211 2422 393 1026 0 2181 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12844 [startup+0.100783 s] /proc/loadavg: 0.92 0.98 0.99 3/105 32753 /proc/meminfo: memFree=1875044/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=18372 CPUtime=0.09 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 3884 0 0 0 9 0 0 0 25 0 1 0 26503752 18812928 3795 1992294400 4194304 8395647 140733591319344 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 4593 3795 393 1026 0 3563 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18372 [startup+0.300808 s] /proc/loadavg: 0.92 0.98 0.99 3/105 32753 /proc/meminfo: memFree=1875044/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=25052 CPUtime=0.29 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 5573 0 0 0 28 1 0 0 25 0 1 0 26503752 25653248 5484 1992294400 4194304 8395647 140733591319344 18446744073709551615 5758814 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 6263 5484 393 1026 0 5233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25052 [startup+0.700857 s] /proc/loadavg: 0.92 0.98 0.99 3/105 32753 /proc/meminfo: memFree=1875044/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=40684 CPUtime=0.69 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 9267 0 0 0 67 2 0 0 25 0 1 0 26503752 41660416 9178 1992294400 4194304 8395647 140733591319344 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 10171 9188 393 1026 0 9141 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40684 [startup+1.50096 s] /proc/loadavg: 0.92 0.98 0.99 2/106 32754 /proc/meminfo: memFree=1806464/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=120424 CPUtime=1.49 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 29320 0 0 0 140 9 0 0 25 0 1 0 26503752 123314176 28877 1992294400 4194304 8395647 140733591319344 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 30106 28877 463 1026 0 29076 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 120424 [startup+3.10115 s] /proc/loadavg: 0.92 0.98 0.99 2/106 32754 /proc/meminfo: memFree=1725740/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=197096 CPUtime=3.09 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 48413 0 0 0 293 16 0 0 25 0 1 0 26503752 201826304 47970 1992294400 4194304 8395647 140733591319344 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 49274 47970 469 1026 0 48244 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 197096 [startup+6.30155 s] /proc/loadavg: 1.01 1.00 1.00 2/106 32754 /proc/meminfo: memFree=1635096/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=249544 CPUtime=6.29 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 60637 0 0 0 609 20 0 0 25 0 1 0 26503752 255533056 60194 1992294400 4194304 8395647 140733591319344 18446744073709551615 4616969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 62386 60194 475 1026 0 61356 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 249544 [startup+12.7013 s] /proc/loadavg: 1.01 1.00 1.00 2/106 32754 /proc/meminfo: memFree=1577312/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=311660 CPUtime=12.69 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 77206 0 0 0 1242 27 0 0 25 0 1 0 26503752 319139840 75063 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 77915 75063 512 1026 0 76885 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 311660 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32756 /proc/meminfo: memFree=1558340/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=332060 CPUtime=25.48 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 81627 0 0 0 2520 28 0 0 25 0 1 0 26503752 340029440 79484 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 83015 79484 512 1026 0 81985 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 332060 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32756 /proc/meminfo: memFree=1513204/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=383888 CPUtime=51.08 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 93975 0 0 0 5076 32 0 0 25 0 1 0 26503752 393101312 91832 1992294400 4194304 8395647 140733591319344 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 95972 91832 512 1026 0 94942 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 383888 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32758 /proc/meminfo: memFree=1412516/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=483520 CPUtime=102.26 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 118267 0 0 0 10185 41 0 0 25 0 1 0 26503752 495124480 116124 1992294400 4194304 8395647 140733591319344 18446744073709551615 7385271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 120880 116124 512 1026 0 119850 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 483520 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32758 /proc/meminfo: memFree=1325468/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=568336 CPUtime=162.25 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 139689 0 0 0 16175 50 0 0 25 0 1 0 26503752 581976064 137546 1992294400 4194304 8395647 140733591319344 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 142084 137546 512 1026 0 141054 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 568336 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32760 /proc/meminfo: memFree=1294220/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=600808 CPUtime=222.23 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 147488 0 0 0 22170 53 0 0 25 0 1 0 26503752 615227392 145345 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 150202 145345 512 1026 0 149172 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 600808 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32762 /proc/meminfo: memFree=1267064/2059040 swapFree=4137044/4192956 [pid=32753] ppid=32751 vsize=625252 CPUtime=282.21 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 154284 0 0 0 28165 56 0 0 25 0 1 0 26503752 640258048 152141 1992294400 4194304 8395647 140733591319344 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 156313 152141 512 1026 0 155283 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 625252 [startup+342.301 s] /proc/loadavg: 1.09 1.03 1.01 2/106 305 /proc/meminfo: memFree=1233308/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=656560 CPUtime=342.18 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 161863 0 0 0 34158 60 0 0 25 0 1 0 26503752 672317440 159720 1992294400 4194304 8395647 140733591319344 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 164140 159720 512 1026 0 163110 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 656560 [startup+402.3 s] /proc/loadavg: 1.03 1.02 1.00 2/106 307 /proc/meminfo: memFree=1204416/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=684868 CPUtime=402.16 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 169112 0 0 0 40153 63 0 0 25 0 1 0 26503752 701304832 166969 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 171217 166969 512 1026 0 170187 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 684868 [startup+462.301 s] /proc/loadavg: 1.01 1.02 1.00 2/106 307 /proc/meminfo: memFree=1176392/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=713152 CPUtime=462.15 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 176111 0 0 0 46149 66 0 0 25 0 1 0 26503752 730267648 173968 1992294400 4194304 8395647 140733591319344 18446744073709551615 5211842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 178288 173968 517 1026 0 177258 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 713152 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 309 /proc/meminfo: memFree=1142044/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=749548 CPUtime=522.14 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 184702 0 0 0 52145 69 0 0 25 0 1 0 26503752 767537152 182559 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 187387 182559 517 1026 0 186357 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 749548 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 311 /proc/meminfo: memFree=1111540/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=780964 CPUtime=582.11 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 192553 0 0 0 58139 72 0 0 25 0 1 0 26503752 799707136 190410 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 195241 190410 517 1026 0 194211 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 780964 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 313 /proc/meminfo: memFree=1085748/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=805204 CPUtime=642.11 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 198697 0 0 0 64136 75 0 0 25 0 1 0 26503752 824528896 196554 1992294400 4194304 8395647 140733591319344 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 201301 196554 517 1026 0 200271 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 805204 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=883628/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1008540 CPUtime=1002 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 251153 0 0 0 100086 114 0 0 25 0 1 0 26503752 1032744960 247115 1992294400 4194304 8395647 140733591319344 18446744073709551615 5792811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 252135 247115 694 1026 0 251105 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1008540 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 323 /proc/meminfo: memFree=883628/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1008540 CPUtime=1061.98 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 251153 0 0 0 106084 114 0 0 25 0 1 0 26503752 1032744960 247115 1992294400 4194304 8395647 140733591319344 18446744073709551615 5792805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 252135 247115 694 1026 0 251105 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1008540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 325 /proc/meminfo: memFree=883628/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1008540 CPUtime=1121.97 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 251154 0 0 0 112083 114 0 0 25 0 1 0 26503752 1032744960 247115 1992294400 4194304 8395647 140733591319344 18446744073709551615 5792687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 252135 247115 693 1026 0 251105 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1008540 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 327 /proc/meminfo: memFree=883628/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1008540 CPUtime=1181.95 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 251154 0 0 0 118081 114 0 0 25 0 1 0 26503752 1032744960 247115 1992294400 4194304 8395647 140733591319344 18446744073709551615 5792687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 252135 247115 693 1026 0 251105 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1008540 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 329 /proc/meminfo: memFree=860812/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1034276 CPUtime=1241.93 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 257035 0 0 0 124078 115 0 0 25 0 1 0 26503752 1059098624 252958 1992294400 4194304 8395647 140733591319344 18446744073709551615 5794573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 258569 252958 655 1026 0 257539 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1034276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 332 /proc/meminfo: memFree=786164/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1121128 CPUtime=1301.92 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 275607 0 0 0 130065 127 0 0 25 0 1 0 26503752 1148035072 271403 1992294400 4194304 8395647 140733591319344 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 280282 271403 696 1026 0 279252 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1121128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 332 /proc/meminfo: memFree=786040/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1121128 CPUtime=1361.9 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 275641 0 0 0 136053 137 0 0 25 0 1 0 26503752 1148035072 271437 1992294400 4194304 8395647 140733591319344 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 280282 271437 696 1026 0 279252 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1121128 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 334 /proc/meminfo: memFree=784800/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1122848 CPUtime=1421.89 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 275952 0 0 0 142044 145 0 0 25 0 1 0 26503752 1149796352 271742 1992294400 4194304 8395647 140733591319344 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 280712 271742 690 1026 0 279682 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1122848 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/106 339 /proc/meminfo: memFree=782196/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1125076 CPUtime=1481.87 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 276448 0 0 0 148034 153 0 0 25 0 1 0 26503752 1152077824 272238 1992294400 4194304 8395647 140733591319344 18446744073709551615 6202560 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 281269 272238 690 1026 0 280239 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1125076 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/106 341 /proc/meminfo: memFree=780708/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1127480 CPUtime=1541.84 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 276832 0 0 0 154024 160 0 0 25 0 1 0 26503752 1154539520 272622 1992294400 4194304 8395647 140733591319344 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 281870 272622 690 1026 0 280840 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1127480 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 343 /proc/meminfo: memFree=771656/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1136660 CPUtime=1601.84 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 279095 0 0 0 160014 170 0 0 25 0 1 0 26503752 1163939840 274885 1992294400 4194304 8395647 140733591319344 18446744073709551615 6697974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284165 274885 690 1026 0 283135 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1136660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 343 /proc/meminfo: memFree=768308/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1661.82 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280329 0 0 0 166003 179 0 0 25 0 1 0 26503752 1165230080 276118 1992294400 4194304 8395647 140733591319344 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276118 1112 1026 0 283450 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1137920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 345 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1721.8 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280434 0 0 0 171994 186 0 0 25 0 1 0 26503752 1165230080 276137 1992294400 4194304 8395647 140733591319344 18446744073709551615 6503069 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276137 1026 1026 0 283450 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1137920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 347 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1781.79 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280438 0 0 0 177984 195 0 0 25 0 1 0 26503752 1165230080 276137 1992294400 4194304 8395647 140733591319344 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276137 1022 1026 0 283450 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1137920 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 347 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1784.98 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280438 0 0 0 178303 195 0 0 25 0 1 0 26503752 1165230080 276137 1992294400 4194304 8395647 140733591319344 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276137 1022 1026 0 283450 0 Current children cumulated CPU time (s) 1784.98 Current children cumulated vsize (KiB) 1137920 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 347 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1788.18 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280438 0 0 0 178622 196 0 0 25 0 1 0 26503752 1165230080 276137 1992294400 4194304 8395647 140733591319344 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276137 1022 1026 0 283450 0 Current children cumulated CPU time (s) 1788.18 Current children cumulated vsize (KiB) 1137920 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 347 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1137920 CPUtime=1788.98 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280438 0 0 0 178702 196 0 0 25 0 1 0 26503752 1165230080 276137 1992294400 4194304 8395647 140733591319344 18446744073709551615 6697679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32753/statm: 284480 276137 1022 1026 0 283450 0 Current children cumulated CPU time (s) 1788.98 Current children cumulated vsize (KiB) 1137920 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 347 /proc/meminfo: memFree=767936/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=1033496 CPUtime=1789.78 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280444 0 0 0 178781 197 0 0 25 0 1 0 26503752 1058299904 253752 1992294400 4194304 8395647 140733591319344 18446744073709551615 6171051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 258374 253752 1028 1026 0 257344 0 Current children cumulated CPU time (s) 1789.78 Current children cumulated vsize (KiB) 1033496 [startup+1790.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 347 /proc/meminfo: memFree=1137952/2059040 swapFree=4137052/4192956 [pid=32753] ppid=32751 vsize=902364 CPUtime=1790.18 /proc/32753/stat : 32753 (pbscip.linux.x8) R 32751 32753 31416 0 -1 4202496 280446 0 0 0 178818 200 0 0 25 0 1 0 26503752 924020736 164458 1992294400 4194304 8395647 140733591319344 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32753/statm: 225591 164458 673 1026 0 224561 0 Current children cumulated CPU time (s) 1790.18 Current children cumulated vsize (KiB) 902364 Child status: 0 Real time (s): 1790.77 CPU time (s): 1790.26 CPU user time (s): 1788.19 CPU system time (s): 2.07468 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1137920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.19 system time used= 2.07468 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280452 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= 5312 runsolver used 2.93755 second user time and 8.47671 second system time The end
Begin job on node080 at 2010-07-08 11:55:58 IDJOB=2704959 IDBENCH=78506 IDSOLVER=1213 FILE ID=node080/2704959-1278582958 PBS_JOBID= 11240068 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= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704959-1278582958/watcher-2704959-1278582958 -o /tmp/evaluation-result-2704959-1278582958/solver-2704959-1278582958 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704959-1278582958.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c9346d90a668a3f1bb18ac05d8f779a RANDOM SEED=1951374385 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: 1875572 kB Buffers: 4544 kB Cached: 93456 kB SwapCached: 6824 kB Active: 38208 kB Inactive: 71576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1875572 kB SwapTotal: 4192956 kB SwapFree: 4137044 kB Dirty: 12280 kB Writeback: 0 kB AnonPages: 9852 kB Mapped: 11480 kB Slab: 51624 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182400 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 12:25:49