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.08 | 1790.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb |
MD5SUM | 14e0de9f4556c57c4cf25980f23fb0f1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 409600 |
Best CPU time to get the best result obtained on this benchmark | 1800.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 409600 |
Optimality of the best value was proved | NO |
Number of variables | 19747 |
Total number of constraints | 3145 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073847295 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147758078 |
Number of bits of the biggest sum of numbers | 32 |
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-2703844-1278557787.opb> 0.29/0.37 c original problem has 19747 variables (19747 bin, 0 int, 0 impl, 0 cont) and 3145 constraints 0.29/0.37 c problem read 0.29/0.37 c presolving settings loaded 0.60/0.63 c presolving: 0.69/0.72 c (round 1) 30 del vars, 1 del conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 0.89/0.90 c (round 2) 30 del vars, 205 del conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 2156 upgd conss, 0 impls, 0 clqs 1.09/1.13 c (round 3) 234 del vars, 205 del conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 2156 upgd conss, 1236 impls, 0 clqs 1.29/1.32 c (round 4) 234 del vars, 205 del conss, 30 chg bounds, 2880 chg sides, 3288 chg coeffs, 2736 upgd conss, 1236 impls, 0 clqs 6.09/6.12 c (5.8s) probing: 923/19513 (4.7%) - 0 fixings, 0 aggregations, 1397 implications, 0 bound changes 6.09/6.12 c (5.8s) probing aborted: 100/100 successive totally useless probings 6.09/6.13 c presolving (5 rounds): 6.09/6.13 c 234 deleted vars, 205 deleted constraints, 30 tightened bounds, 0 added holes, 2880 changed sides, 3288 changed coefficients 6.09/6.13 c 7030 implications, 0 cliques 6.09/6.13 c presolved problem has 19513 variables (19513 bin, 0 int, 0 impl, 0 cont) and 3348 constraints 6.09/6.13 c 2310 constraints of type <knapsack> 6.09/6.13 c 408 constraints of type <setppc> 6.09/6.13 c 204 constraints of type <linear> 6.09/6.13 c 426 constraints of type <logicor> 6.09/6.13 c transformed objective value is always integral (scale: 1024) 6.09/6.13 c Presolving Time: 5.62 6.09/6.13 c - non default parameters ---------------------------------------------------------------------- 6.09/6.13 c # SCIP version 1.2.1.3 6.09/6.13 c 6.09/6.13 c # frequency for displaying node information lines 6.09/6.13 c # [type: int, range: [-1,2147483647], default: 100] 6.09/6.13 c display/freq = 10000 6.09/6.13 c 6.09/6.13 c # maximal time in seconds to run 6.09/6.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.09/6.13 c limits/time = 1789.64 6.09/6.13 c 6.09/6.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.09/6.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 6.09/6.13 c limits/memory = 1620 6.09/6.13 c 6.09/6.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 6.09/6.13 c # [type: int, range: [1,2], default: 1] 6.09/6.13 c timing/clocktype = 2 6.09/6.13 c 6.09/6.13 c # should presolving try to simplify inequalities 6.09/6.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.09/6.13 c constraints/linear/simplifyinequalities = TRUE 6.09/6.13 c 6.09/6.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 6.09/6.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.09/6.13 c constraints/indicator/addCouplingCons = TRUE 6.09/6.13 c 6.09/6.13 c # should presolving try to simplify knapsacks 6.09/6.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 6.09/6.13 c constraints/knapsack/simplifyinequalities = TRUE 6.09/6.13 c 6.09/6.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 6.09/6.13 c # [type: int, range: [-1,2147483647], default: -1] 6.09/6.13 c separating/rapidlearning/freq = 0 6.09/6.13 c 6.09/6.13 c ----------------------------------------------------------------------------------------------- 6.09/6.13 c start solving 6.09/6.15 c 6.69/6.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6.69/6.72 c 6.3s| 1 | 0 | 2117 | - | 77M| 0 |1312 | 19k|3348 | 19k|3348 | 0 | 0 | 0 | 4.065280e+05 | -- | Inf 12.48/12.51 c 12.1s| 1 | 0 | 7361 | - | 77M| 0 |1380 | 19k|3348 | 19k|3448 | 100 | 0 | 0 | 4.065280e+05 | -- | Inf 13.89/13.94 c 13.6s| 1 | 0 | 7604 | - | 78M| 0 |1544 | 19k|3348 | 19k|3882 | 534 | 0 | 0 | 4.065280e+05 | -- | Inf 15.49/15.59 c 15.2s| 1 | 0 | 7942 | - | 78M| 0 |1662 | 19k|3348 | 19k|4330 | 982 | 0 | 0 | 4.065280e+05 | -- | Inf 17.39/17.40 c 17.0s| 1 | 0 | 8216 | - | 78M| 0 |1811 | 19k|3348 | 19k|4594 |1246 | 0 | 0 | 4.065280e+05 | -- | Inf 19.48/19.55 c 19.2s| 1 | 0 | 8482 | - | 79M| 0 |1895 | 19k|3348 | 19k|4780 |1432 | 0 | 0 | 4.065280e+05 | -- | Inf 21.68/21.79 c 21.4s| 1 | 0 | 8746 | - | 79M| 0 |2012 | 19k|3348 | 19k|4956 |1608 | 0 | 0 | 4.065280e+05 | -- | Inf 26.49/26.54 c 26.2s| 1 | 2 | 8746 | - | 79M| 0 |2012 | 19k|3348 | 19k|4956 |1608 | 0 | 18 | 4.065280e+05 | -- | Inf 74.77/74.87 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 74.77/74.87 c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 74.77/74.87 c (node 8) error in strong branching call for variable <t_x19402> with solution 0.529412 409.08/409.28 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 409.08/409.29 c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 409.08/409.29 c (node 2182) error in strong branching call for variable <t_x10197> with solution 0.38322 409.17/409.37 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 409.17/409.37 c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 409.17/409.37 c (node 2183) error in strong branching call for variable <t_x10197> with solution 0.38322 1544.37/1544.81 c 1544s| 10000 | 5793 |930833 | 92.2 | 138M| 515 | - | 19k|5761 | 0 | 0 |1608 |7963 |8155 | 4.065280e+05 | -- | Inf 1789.71/1790.26 c 1789.71/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.71/1790.26 c Solving Time (sec) : 1789.90 1789.71/1790.26 c Solving Nodes : 11488 1789.71/1790.26 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.71/1790.26 c Dual Bound : +4.06528000000000e+05 1789.71/1790.26 c Gap : infinite 1789.71/1790.26 s UNKNOWN 1789.71/1790.26 c SCIP Status : solving was interrupted [time limit reached] 1789.71/1790.26 c Solving Time : 1789.90 1789.71/1790.26 c Original Problem : 1789.71/1790.26 c Problem name : HOME/instance-2703844-1278557787.opb 1789.71/1790.26 c Variables : 19747 (19747 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.71/1790.26 c Constraints : 3145 initial, 3145 maximal 1789.71/1790.26 c Presolved Problem : 1789.71/1790.26 c Problem name : t_HOME/instance-2703844-1278557787.opb 1789.71/1790.26 c Variables : 19513 (19513 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.71/1790.26 c Constraints : 3348 initial, 6483 maximal 1789.71/1790.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.71/1790.26 c trivial : 0.02 0 0 0 0 0 0 0 0 1789.71/1790.26 c dualfix : 0.02 0 0 0 0 0 0 0 0 1789.71/1790.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.71/1790.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.71/1790.26 c implics : 0.01 0 0 0 0 0 0 0 0 1789.71/1790.26 c probing : 4.74 0 0 0 0 0 0 0 0 1789.71/1790.26 c knapsack : 0.38 0 0 0 0 0 0 408 816 1789.71/1790.26 c setppc : 0.00 0 0 0 0 0 0 0 0 1789.71/1790.26 c linear : 0.28 30 204 0 30 0 205 2472 2472 1789.71/1790.26 c logicor : 0.01 0 0 0 0 0 0 0 0 1789.71/1790.26 c root node : - 0 - - 0 - - - - 1789.71/1790.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.71/1790.26 c integral : 0 0 0 10524 0 5 1977 0 0 19860 1789.71/1790.26 c knapsack : 2310 6 111337 0 0 423 391566 1203 0 0 1789.71/1790.26 c setppc : 408 6 110914 0 0 0 1901 0 0 0 1789.71/1790.26 c linear : 204 6 110914 0 0 896 237305 0 0 0 1789.71/1790.26 c logicor : 426+ 6 28828 0 0 90 15123 0 0 0 1789.71/1790.26 c countsols : 0 0 0 0 0 0 0 0 0 0 1789.71/1790.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.71/1790.26 c integral : 577.15 0.00 0.00 577.15 0.00 1789.71/1790.26 c knapsack : 28.47 0.73 27.74 0.00 0.00 1789.71/1790.26 c setppc : 0.37 0.00 0.37 0.00 0.00 1789.71/1790.26 c linear : 7.95 0.00 7.95 0.00 0.00 1789.71/1790.26 c logicor : 0.82 0.00 0.82 0.00 0.00 1789.71/1790.26 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.71/1790.26 c Propagators : Time Calls Cutoffs DomReds 1789.71/1790.26 c vbounds : 0.05 2 0 0 1789.71/1790.26 c rootredcost : 0.06 0 0 0 1789.71/1790.26 c pseudoobj : 1.19 108856 0 0 1789.71/1790.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.71/1790.26 c propagation : 3.51 1409 1408 18593 131.9 512 32.2 - 1789.71/1790.26 c infeasible LP : 7.99 1038 982 4494 85.8 281 45.2 0 1789.71/1790.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.71/1790.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.71/1790.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.71/1790.26 c applied globally : - - - 9357 76.2 - - - 1789.71/1790.26 c applied locally : - - - 0 0.0 - - - 1789.71/1790.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.71/1790.26 c cut pool : 0.00 4 - - 7 - (maximal pool size: 956) 1789.71/1790.26 c redcost : 27.52 10522 0 33 0 0 1789.71/1790.26 c impliedbounds : 0.02 6 0 0 1190 0 1789.71/1790.26 c intobj : 0.00 0 0 0 0 0 1789.71/1790.26 c cgmip : 0.00 0 0 0 0 0 1789.71/1790.26 c gomory : 2.32 6 0 0 12 0 1789.71/1790.26 c strongcg : 2.27 6 0 0 412 0 1789.71/1790.26 c cmir : 1.84 6 0 0 0 0 1789.71/1790.26 c flowcover : 1.05 6 0 0 1 0 1789.71/1790.26 c clique : 0.02 1 0 0 0 0 1789.71/1790.26 c zerohalf : 0.00 0 0 0 0 0 1789.71/1790.26 c mcf : 0.01 1 0 0 0 0 1789.71/1790.26 c rapidlearning : 0.00 0 0 0 0 0 1789.71/1790.26 c Pricers : Time Calls Vars 1789.71/1790.26 c problem variables: 0.00 0 0 1789.71/1790.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.71/1790.26 c relpscost : 577.10 10524 5 1977 0 0 19860 1789.71/1790.26 c pscost : 0.00 0 0 0 0 0 0 1789.71/1790.26 c inference : 0.00 0 0 0 0 0 0 1789.71/1790.26 c mostinf : 0.00 0 0 0 0 0 0 1789.71/1790.26 c leastinf : 0.00 0 0 0 0 0 0 1789.71/1790.26 c fullstrong : 0.00 0 0 0 0 0 0 1789.71/1790.26 c allfullstrong : 0.00 0 0 0 0 0 0 1789.71/1790.26 c random : 0.00 0 0 0 0 0 0 1789.71/1790.26 c Primal Heuristics : Time Calls Found 1789.71/1790.26 c LP solutions : 0.00 - 0 1789.71/1790.26 c pseudo solutions : 0.00 - 0 1789.71/1790.26 c oneopt : 0.02 0 0 1789.71/1790.26 c crossover : 0.02 0 0 1789.71/1790.26 c guideddiving : 0.00 0 0 1789.71/1790.26 c intshifting : 0.00 0 0 1789.71/1790.26 c objpscostdiving : 37.90 1 0 1789.71/1790.26 c rootsoldiving : 17.17 3 0 1789.71/1790.26 c veclendiving : 40.10 12 0 1789.71/1790.26 c linesearchdiving : 67.45 12 0 1789.71/1790.26 c pscostdiving : 60.59 12 0 1789.71/1790.26 c coefdiving : 109.67 13 0 1789.71/1790.26 c fracdiving : 57.27 13 0 1789.71/1790.26 c feaspump : 20.43 7 0 1789.71/1790.26 c trivial : 0.06 2 0 1789.71/1790.26 c simplerounding : 0.01 0 0 1789.71/1790.26 c zirounding : 0.50 1000 0 1789.71/1790.26 c rounding : 1.82 1400 0 1789.71/1790.26 c shifting : 106.89 393 0 1789.71/1790.26 c twoopt : 0.00 0 0 1789.71/1790.26 c fixandinfer : 0.00 0 0 1789.71/1790.26 c intdiving : 0.00 0 0 1789.71/1790.26 c actconsdiving : 0.00 0 0 1789.71/1790.26 c octane : 0.00 0 0 1789.71/1790.26 c rens : 0.49 1 0 1789.71/1790.26 c rins : 0.00 0 0 1789.71/1790.26 c localbranching : 0.00 0 0 1789.71/1790.26 c mutation : 0.00 0 0 1789.71/1790.26 c dins : 0.00 0 0 1789.71/1790.26 c undercover : 0.00 0 0 1789.71/1790.26 c nlp : 0.01 0 0 1789.71/1790.26 c trysol : 0.02 0 0 1789.71/1790.26 c LP : Time Calls Iterations Iter/call Iter/sec 1789.71/1790.26 c primal LP : 0.01 0 0 0.00 0.00 1789.71/1790.26 c dual LP : 487.79 11145 736472 66.08 1509.81 1789.71/1790.26 c lex dual LP : 0.00 0 0 0.00 - 1789.71/1790.26 c barrier LP : 0.00 0 0 0.00 - 1789.71/1790.26 c diving/probing LP: 294.38 11731 340690 29.04 1157.33 1789.71/1790.26 c strong branching : 568.04 10015 474679 47.40 835.65 1789.71/1790.26 c (at root node) : - 18 3928 218.22 - 1789.71/1790.26 c conflict analysis: 0.00 0 0 0.00 - 1789.71/1790.26 c B&B Tree : 1789.71/1790.26 c number of runs : 1 1789.71/1790.26 c nodes : 11488 1789.71/1790.26 c nodes (total) : 11488 1789.71/1790.26 c nodes left : 6917 1789.71/1790.26 c max depth : 515 1789.71/1790.26 c max depth (total): 515 1789.71/1790.26 c backtracks : 397 (3.5%) 1789.71/1790.26 c delayed cutoffs : 1456 1789.71/1790.26 c repropagations : 32577 (101157 domain reductions, 138 cutoffs) 1789.71/1790.26 c avg switch length: 7.98 1789.71/1790.26 c switching time : 11.14 1789.71/1790.26 c Solution : 1789.71/1790.26 c Solutions found : 0 (0 improvements) 1789.71/1790.26 c Primal Bound : - 1789.71/1790.26 c Dual Bound : +4.06528000000000e+05 1789.71/1790.26 c Gap : infinite 1789.71/1790.26 c Root Dual Bound : +4.06528000000000e+05 1789.71/1790.26 c Root Iterations : 8746 1790.01/1790.55 c Time complete: 1790.06.
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-2703844-1278557787/watcher-2703844-1278557787 -o /tmp/evaluation-result-2703844-1278557787/solver-2703844-1278557787 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703844-1278557787.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26497 /proc/meminfo: memFree=1636916/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=7904 CPUtime=0 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 23992295 8093696 968 1992294400 4194304 8395647 140737256694480 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 1976 976 365 1026 0 946 0 [startup+0.043443 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26497 /proc/meminfo: memFree=1636916/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=17624 CPUtime=0.04 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 3687 0 0 0 3 1 0 0 20 0 1 0 23992295 18046976 3598 1992294400 4194304 8395647 140737256694480 18446744073709551615 4729771 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 4406 3598 393 1026 0 3376 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17624 [startup+0.101448 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26497 /proc/meminfo: memFree=1636916/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=25856 CPUtime=0.09 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 5738 0 0 0 8 1 0 0 20 0 1 0 23992295 26476544 5649 1992294400 4194304 8395647 140737256694480 18446744073709551615 7301374 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 6464 5649 393 1026 0 5434 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25856 [startup+0.300469 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26497 /proc/meminfo: memFree=1636916/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=29148 CPUtime=0.29 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 6572 0 0 0 27 2 0 0 20 0 1 0 23992295 29847552 6483 1992294400 4194304 8395647 140737256694480 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 7287 6483 393 1026 0 6257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29148 [startup+0.701511 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26497 /proc/meminfo: memFree=1636916/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=69872 CPUtime=0.69 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 16499 0 0 0 63 6 0 0 20 0 1 0 23992295 71548928 16056 1992294400 4194304 8395647 140737256694480 18446744073709551615 4964297 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 17468 16056 465 1026 0 16438 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 69872 [startup+1.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26498 /proc/meminfo: memFree=1550232/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=97232 CPUtime=1.49 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 23474 0 0 0 140 9 0 0 23 0 1 0 23992295 99565568 22959 1992294400 4194304 8395647 140737256694480 18446744073709551615 5608096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 24308 22959 543 1026 0 23278 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 97232 [startup+3.10176 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26498 /proc/meminfo: memFree=1546760/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=97232 CPUtime=3.09 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 23474 0 0 0 300 9 0 0 25 0 1 0 23992295 99565568 22959 1992294400 4194304 8395647 140737256694480 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 24308 22959 543 1026 0 23278 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97232 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26498 /proc/meminfo: memFree=1545768/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=118532 CPUtime=6.29 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 28700 0 0 0 619 10 0 0 25 0 1 0 23992295 121376768 28106 1992294400 4194304 8395647 140737256694480 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 29633 28119 584 1026 0 28603 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118532 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26498 /proc/meminfo: memFree=1514272/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=136588 CPUtime=12.68 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 33534 0 0 0 1251 17 0 0 25 0 1 0 23992295 139866112 32102 1992294400 4194304 8395647 140737256694480 18446744073709551615 4936180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 34147 32102 759 1026 0 33117 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 136588 [startup+25.5011 s] /proc/loadavg: 1.15 1.03 1.01 2/107 26498 /proc/meminfo: memFree=1504848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=142332 CPUtime=25.48 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 50250 0 0 0 2519 29 0 0 25 0 1 0 23992295 145747968 33409 1992294400 4194304 8395647 140737256694480 18446744073709551615 6698282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 35583 33409 771 1026 0 34553 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142332 [startup+51.1008 s] /proc/loadavg: 1.16 1.04 1.01 2/107 26500 /proc/meminfo: memFree=1504848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=142332 CPUtime=51.08 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 50260 0 0 0 5062 46 0 0 25 0 1 0 23992295 145747968 33419 1992294400 4194304 8395647 140737256694480 18446744073709551615 6585960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 35583 33419 772 1026 0 34553 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 142332 [startup+102.308 s] /proc/loadavg: 1.18 1.07 1.02 2/107 26500 /proc/meminfo: memFree=1504848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=142544 CPUtime=102.26 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 50287 0 0 0 10151 75 0 0 25 0 1 0 23992295 145965056 33446 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 35636 33446 777 1026 0 34606 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 142544 [startup+162.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 26502 /proc/meminfo: memFree=1501252/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=146752 CPUtime=162.25 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 51308 0 0 0 16116 109 0 0 25 0 1 0 23992295 150274048 34467 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 36688 34467 778 1026 0 35658 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 146752 [startup+222.301 s] /proc/loadavg: 1.02 1.04 1.01 2/107 26504 /proc/meminfo: memFree=1500012/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=148172 CPUtime=222.22 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 51604 0 0 0 22080 142 0 0 25 0 1 0 23992295 151728128 34763 1992294400 4194304 8395647 140737256694480 18446744073709551615 6723046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 37043 34763 778 1026 0 36013 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 148172 [startup+282.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 26515 /proc/meminfo: memFree=1496292/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=151248 CPUtime=282.2 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 52419 0 0 0 28062 158 0 0 25 0 1 0 23992295 154877952 35578 1992294400 4194304 8395647 140737256694480 18446744073709551615 6586897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 37812 35578 778 1026 0 36782 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 151248 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26517 /proc/meminfo: memFree=1493812/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=153736 CPUtime=342.19 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 53155 0 0 0 34040 179 0 0 25 0 1 0 23992295 157425664 36229 1992294400 4194304 8395647 140737256694480 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 38434 36229 778 1026 0 37404 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 153736 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 26517 /proc/meminfo: memFree=1492944/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=154768 CPUtime=402.17 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 53446 0 0 0 40010 207 0 0 25 0 1 0 23992295 158482432 36520 1992294400 4194304 8395647 140737256694480 18446744073709551615 6721217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 38692 36520 778 1026 0 37662 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 154768 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 26519 /proc/meminfo: memFree=1489968/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=157364 CPUtime=462.15 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 54120 0 0 0 45986 229 0 0 25 0 1 0 23992295 161140736 37194 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 39341 37194 778 1026 0 38311 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 157364 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26521 /proc/meminfo: memFree=1486000/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=161332 CPUtime=522.14 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 55108 0 0 0 51959 255 0 0 25 0 1 0 23992295 165203968 38182 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 40333 38182 778 1026 0 39303 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 161332 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26523 /proc/meminfo: memFree=1479056/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=168316 CPUtime=582.13 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 56832 0 0 0 57921 292 0 0 25 0 1 0 23992295 172355584 39878 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 42079 39878 778 1026 0 41049 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 168316 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26525 /proc/meminfo: memFree=1475460/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=171788 CPUtime=642.12 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 57734 0 0 0 63897 315 0 0 25 0 1 0 23992295 175910912 40780 1992294400 4194304 8395647 140737256694480 18446744073709551615 6723502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 42947 40780 778 1026 0 41917 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 171788 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1454132/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=192756 CPUtime=1002.01 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 63021 0 0 0 99718 483 0 0 25 0 1 0 23992295 197382144 46041 1992294400 4194304 8395647 140737256694480 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 48189 46041 778 1026 0 47159 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 192756 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26535 /proc/meminfo: memFree=1451404/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=195612 CPUtime=1062 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 63702 0 0 0 105686 514 0 0 25 0 1 0 23992295 200306688 46721 1992294400 4194304 8395647 140737256694480 18446744073709551615 6574271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 48903 46721 778 1026 0 47873 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 195612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26537 /proc/meminfo: memFree=1448304/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=198720 CPUtime=1121.98 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 64488 0 0 0 111659 539 0 0 25 0 1 0 23992295 203489280 47506 1992294400 4194304 8395647 140737256694480 18446744073709551615 6003207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 49680 47506 778 1026 0 48650 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 198720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26539 /proc/meminfo: memFree=1445824/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=201044 CPUtime=1181.97 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 65116 0 0 0 117632 565 0 0 25 0 1 0 23992295 205869056 48125 1992294400 4194304 8395647 140737256694480 18446744073709551615 6585964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 50261 48125 778 1026 0 49231 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 201044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26541 /proc/meminfo: memFree=1440740/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=206028 CPUtime=1241.96 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 66352 0 0 0 123606 590 0 0 25 0 1 0 23992295 210972672 49361 1992294400 4194304 8395647 140737256694480 18446744073709551615 6449797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 51507 49361 778 1026 0 50477 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 206028 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26541 /proc/meminfo: memFree=1438508/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=208188 CPUtime=1301.94 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 66890 0 0 0 129575 619 0 0 25 0 1 0 23992295 213184512 49899 1992294400 4194304 8395647 140737256694480 18446744073709551615 6585848 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 52047 49899 778 1026 0 51017 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 208188 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 26546 /proc/meminfo: memFree=1434416/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=212548 CPUtime=1361.92 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 68013 0 0 0 135548 644 0 0 25 0 1 0 23992295 217649152 50948 1992294400 4194304 8395647 140737256694480 18446744073709551615 7185516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 53137 50948 780 1026 0 52107 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 212548 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/107 26548 /proc/meminfo: memFree=1429456/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=217312 CPUtime=1421.91 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 69251 0 0 0 141518 673 0 0 25 0 1 0 23992295 222527488 52161 1992294400 4194304 8395647 140737256694480 18446744073709551615 6586862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 54328 52161 778 1026 0 53298 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 217312 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26550 /proc/meminfo: memFree=1426728/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=219844 CPUtime=1481.89 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 69926 0 0 0 147482 707 0 0 25 0 1 0 23992295 225120256 52836 1992294400 4194304 8395647 140737256694480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 54961 52836 778 1026 0 53931 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 219844 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26552 /proc/meminfo: memFree=1425116/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=221600 CPUtime=1541.87 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 70320 0 0 0 153445 742 0 0 25 0 1 0 23992295 226918400 53230 1992294400 4194304 8395647 140737256694480 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 55400 53230 778 1026 0 54370 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 221600 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26552 /proc/meminfo: memFree=1420404/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=226120 CPUtime=1601.86 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 71503 0 0 0 159417 769 0 0 25 0 1 0 23992295 231546880 54408 1992294400 4194304 8395647 140737256694480 18446744073709551615 6586940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 56530 54408 778 1026 0 55500 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 226120 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26554 /proc/meminfo: memFree=1417304/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=229108 CPUtime=1661.85 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 72264 0 0 0 165387 798 0 0 25 0 1 0 23992295 234606592 55169 1992294400 4194304 8395647 140737256694480 18446744073709551615 6574271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 57277 55169 778 1026 0 56247 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 229108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26556 /proc/meminfo: memFree=1415320/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=232320 CPUtime=1721.83 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 72956 0 0 0 171360 823 0 0 25 0 1 0 23992295 237895680 55861 1992294400 4194304 8395647 140737256694480 18446744073709551615 6654351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 58080 55861 778 1026 0 57050 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 232320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411972/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1781.81 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73585 0 0 0 177326 855 0 0 25 0 1 0 23992295 240353280 56490 1992294400 4194304 8395647 140737256694480 18446744073709551615 6654356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56490 778 1026 0 57650 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 234720 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1785.01 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73595 0 0 0 177644 857 0 0 25 0 1 0 23992295 240353280 56500 1992294400 4194304 8395647 140737256694480 18446744073709551615 6586862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56500 778 1026 0 57650 0 Current children cumulated CPU time (s) 1785.01 Current children cumulated vsize (KiB) 234720 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1788.21 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73597 0 0 0 177962 859 0 0 25 0 1 0 23992295 240353280 56502 1992294400 4194304 8395647 140737256694480 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56502 778 1026 0 57650 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (KiB) 234720 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1789.01 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73597 0 0 0 178042 859 0 0 25 0 1 0 23992295 240353280 56502 1992294400 4194304 8395647 140737256694480 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56502 778 1026 0 57650 0 Current children cumulated CPU time (s) 1789.01 Current children cumulated vsize (KiB) 234720 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1789.81 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73599 0 0 0 178122 859 0 0 25 0 1 0 23992295 240353280 56504 1992294400 4194304 8395647 140737256694480 18446744073709551615 6171738 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56504 780 1026 0 57650 0 Current children cumulated CPU time (s) 1789.81 Current children cumulated vsize (KiB) 234720 [startup+1790.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26558 /proc/meminfo: memFree=1411848/2059040 swapFree=4161224/4192956 [pid=26497] ppid=26495 vsize=234720 CPUtime=1790.01 /proc/26497/stat : 26497 (pbscip.linux.x8) R 26495 26497 24705 0 -1 4202496 73599 0 0 0 178142 859 0 0 25 0 1 0 23992295 240353280 56504 1992294400 4194304 8395647 140737256694480 18446744073709551615 6345275 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26497/statm: 58680 56504 780 1026 0 57650 0 Current children cumulated CPU time (s) 1790.01 Current children cumulated vsize (KiB) 234720 Child status: 0 Real time (s): 1790.56 CPU time (s): 1790.08 CPU user time (s): 1781.46 CPU system time (s): 8.62369 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 234720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.46 system time used= 8.62369 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73600 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= 3 involuntary context switches= 4510 runsolver used 2.95155 second user time and 8.45771 second system time The end
Begin job on node007 at 2010-07-08 04:56:27 IDJOB=2703844 IDBENCH=2343 IDSOLVER=1213 FILE ID=node007/2703844-1278557787 PBS_JOBID= 11239523 Free space on /tmp= 62528 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-railway_8_1_0.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-2703844-1278557787/watcher-2703844-1278557787 -o /tmp/evaluation-result-2703844-1278557787/solver-2703844-1278557787 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703844-1278557787.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14e0de9f4556c57c4cf25980f23fb0f1 RANDOM SEED=684933519 node007.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.256 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.256 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1637444 kB Buffers: 75308 kB Cached: 228440 kB SwapCached: 1860 kB Active: 154052 kB Inactive: 179716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1637444 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 12348 kB Writeback: 4 kB AnonPages: 28144 kB Mapped: 13052 kB Slab: 65948 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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= 62520 MiB End job on node007 at 2010-07-08 05:26:18