Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.74 | 1790.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb |
MD5SUM | 69b04711942c7a7cbb28264339dbffe2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 235 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 223 |
Optimality of the best value was proved | NO |
Number of variables | 5584 |
Total number of constraints | 10895 |
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 | 10895 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2555 |
Number of bits of the biggest sum of numbers | 12 |
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-2703954-1278561065.opb> 0.69/0.73 c original problem has 5584 variables (5584 bin, 0 int, 0 impl, 0 cont) and 10895 constraints 0.69/0.73 c problem read 0.69/0.73 c presolving settings loaded 0.89/0.96 c presolving: 1.10/1.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 0 upgd conss, 0 impls, 0 clqs 1.19/1.21 c (round 2) 0 del vars, 5320 del conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 135 upgd conss, 0 impls, 0 clqs 1.19/1.29 c (round 3) 0 del vars, 5320 del conss, 0 chg bounds, 240 chg sides, 240 chg coeffs, 255 upgd conss, 1874 impls, 0 clqs 1.29/1.32 c (round 4) 0 del vars, 5320 del conss, 0 chg bounds, 345 chg sides, 420 chg coeffs, 255 upgd conss, 1874 impls, 0 clqs 7.19/7.22 c (6.5s) probing: 200/5584 (3.6%) - 8 fixings, 0 aggregations, 455 implications, 0 bound changes 7.19/7.22 c (6.5s) probing aborted: 100/100 successive totally useless probings 7.19/7.22 c (round 5) 8 del vars, 5320 del conss, 0 chg bounds, 345 chg sides, 420 chg coeffs, 255 upgd conss, 3176 impls, 0 clqs 7.28/7.32 c presolving (6 rounds): 7.28/7.32 c 8 deleted vars, 5320 deleted constraints, 0 tightened bounds, 0 added holes, 345 changed sides, 426 changed coefficients 7.28/7.32 c 3176 implications, 0 cliques 7.28/7.32 c presolved problem has 5576 variables (5576 bin, 0 int, 0 impl, 0 cont) and 5575 constraints 7.28/7.32 c 255 constraints of type <knapsack> 7.28/7.32 c 5320 constraints of type <linear> 7.28/7.32 c transformed objective value is always integral (scale: 1) 7.28/7.32 c Presolving Time: 6.39 7.28/7.32 c - non default parameters ---------------------------------------------------------------------- 7.28/7.32 c # SCIP version 1.2.1.3 7.28/7.32 c 7.28/7.32 c # frequency for displaying node information lines 7.28/7.32 c # [type: int, range: [-1,2147483647], default: 100] 7.28/7.32 c display/freq = 10000 7.28/7.32 c 7.28/7.32 c # maximal time in seconds to run 7.28/7.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 7.28/7.32 c limits/time = 1789.28 7.28/7.32 c 7.28/7.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 7.28/7.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 7.28/7.32 c limits/memory = 1620 7.28/7.32 c 7.28/7.32 c # default clock type (1: CPU user seconds, 2: wall clock time) 7.28/7.32 c # [type: int, range: [1,2], default: 1] 7.28/7.32 c timing/clocktype = 2 7.28/7.32 c 7.28/7.32 c # should presolving try to simplify inequalities 7.28/7.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.28/7.32 c constraints/linear/simplifyinequalities = TRUE 7.28/7.32 c 7.28/7.32 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 7.28/7.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.28/7.32 c constraints/indicator/addCouplingCons = TRUE 7.28/7.32 c 7.28/7.32 c # should presolving try to simplify knapsacks 7.28/7.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.28/7.32 c constraints/knapsack/simplifyinequalities = TRUE 7.28/7.32 c 7.28/7.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 7.28/7.32 c # [type: int, range: [-1,2147483647], default: -1] 7.28/7.32 c separating/rapidlearning/freq = 0 7.28/7.32 c 7.28/7.32 c ----------------------------------------------------------------------------------------------- 7.28/7.32 c start solving 7.28/7.33 c 9.29/9.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 9.29/9.30 c 8.6s| 1 | 0 | 5705 | - | 50M| 0 |3202 |5576 |5575 |5576 |5575 | 0 | 0 | 0 | 1.500000e+01 | -- | Inf 27.79/27.88 c 27.2s| 1 | 0 | 15257 | - | 51M| 0 |3207 |5576 |5575 |5576 |5617 | 42 | 0 | 0 | 1.500000e+01 | -- | Inf 29.08/29.13 c 28.4s| 1 | 0 | 15382 | - | 51M| 0 |3194 |5576 |5575 |5576 |5673 | 98 | 0 | 0 | 1.500000e+01 | -- | Inf 30.59/30.70 c 30.0s| 1 | 0 | 15735 | - | 52M| 0 |3219 |5576 |5575 |5576 |5745 | 170 | 0 | 0 | 1.500130e+01 | -- | Inf 33.18/33.24 c 32.5s| 1 | 0 | 16652 | - | 52M| 0 |3121 |5576 |5575 |5576 |5805 | 230 | 0 | 0 | 1.600000e+01 | -- | Inf 35.78/35.80 c 35.1s| 1 | 0 | 17024 | - | 53M| 0 |3128 |5576 |5575 |5576 |5868 | 293 | 0 | 0 | 1.600000e+01 | -- | Inf 38.78/38.83 c 38.1s| 1 | 0 | 17477 | - | 53M| 0 |3126 |5576 |5575 |5576 |5942 | 367 | 0 | 0 | 1.600000e+01 | -- | Inf 42.98/43.02 c 42.3s| 1 | 0 | 18141 | - | 54M| 0 |3135 |5576 |5575 |5576 |6000 | 425 | 0 | 0 | 1.600000e+01 | -- | Inf 47.67/47.74 c 47.0s| 1 | 0 | 19306 | - | 55M| 0 |3129 |5576 |5575 |5576 |6069 | 494 | 0 | 0 | 1.600000e+01 | -- | Inf 51.48/51.52 c 50.8s| 1 | 0 | 20109 | - | 55M| 0 |3134 |5576 |5575 |5576 |6115 | 540 | 0 | 0 | 1.600020e+01 | -- | Inf 142.15/142.27 c 142s| 1 | 2 | 20109 | - | 55M| 0 |3134 |5576 |5575 |5576 |6115 | 540 | 0 | 43 | 1.600020e+01 | -- | Inf 1789.53/1790.02 c 1789.53/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.53/1790.02 c Solving Time (sec) : 1789.29 1789.53/1790.02 c Solving Nodes : 1268 1789.53/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.53/1790.02 c Dual Bound : +1.80000000000007e+01 1789.53/1790.02 c Gap : infinite 1789.53/1790.02 s UNKNOWN 1789.53/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.53/1790.02 c Solving Time : 1789.29 1789.53/1790.02 c Original Problem : 1789.53/1790.02 c Problem name : HOME/instance-2703954-1278561065.opb 1789.53/1790.02 c Variables : 5584 (5584 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.53/1790.02 c Constraints : 10895 initial, 10895 maximal 1789.53/1790.02 c Presolved Problem : 1789.53/1790.02 c Problem name : t_HOME/instance-2703954-1278561065.opb 1789.53/1790.02 c Variables : 5576 (5576 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.53/1790.02 c Constraints : 5575 initial, 8556 maximal 1789.53/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.53/1790.02 c trivial : 0.01 0 0 0 0 0 0 0 0 1789.53/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.02 c probing : 5.88 8 0 0 0 0 0 0 0 1789.53/1790.02 c knapsack : 0.03 0 0 0 0 0 0 105 186 1789.53/1790.02 c linear : 0.40 0 0 0 0 0 5320 240 240 1789.53/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.53/1790.02 c root node : - 0 - - 0 - - - - 1789.53/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.53/1790.02 c integral : 0 0 0 1251 0 0 204 0 0 2374 1789.53/1790.02 c knapsack : 255 9 11097 0 1 32 1783 1715 0 0 1789.53/1790.02 c linear : 5320 9 11065 0 0 27 7789 2 0 0 1789.53/1790.02 c logicor : 0+ 0 4272 0 0 3 507 0 0 0 1789.53/1790.02 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.53/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.53/1790.02 c integral : 545.58 0.00 0.00 545.58 0.00 1789.53/1790.02 c knapsack : 2.83 0.08 2.75 0.00 0.00 1789.53/1790.02 c linear : 34.47 0.02 34.45 0.00 0.00 1789.53/1790.02 c logicor : 0.11 0.00 0.11 0.00 0.00 1789.53/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.53/1790.02 c Propagators : Time Calls Cutoffs DomReds 1789.53/1790.02 c vbounds : 0.01 2 0 0 1789.53/1790.02 c rootredcost : 0.01 0 0 0 1789.53/1790.02 c pseudoobj : 0.04 10676 0 0 1789.53/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.53/1790.02 c propagation : 0.01 54 54 231 20.5 6 9.2 - 1789.53/1790.02 c infeasible LP : 6.98 2763 2763 2839 10.8 22 9.5 0 1789.53/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.53/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.53/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.53/1790.02 c applied globally : - - - 2981 11.1 - - - 1789.53/1790.02 c applied locally : - - - 0 0.0 - - - 1789.53/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.53/1790.02 c cut pool : 0.01 8 - - 3033 - (maximal pool size: 5927) 1789.53/1790.02 c redcost : 0.87 1257 0 12 0 0 1789.53/1790.02 c impliedbounds : 0.01 9 0 0 52 0 1789.53/1790.02 c intobj : 0.00 0 0 0 0 0 1789.53/1790.02 c cgmip : 0.00 0 0 0 0 0 1789.53/1790.02 c gomory : 0.54 9 0 0 34 0 1789.53/1790.02 c strongcg : 0.54 9 0 0 33 0 1789.53/1790.02 c cmir : 7.03 9 0 0 4500 0 1789.53/1790.02 c flowcover : 4.48 9 0 0 1608 0 1789.53/1790.02 c clique : 0.00 1 0 0 0 0 1789.53/1790.02 c zerohalf : 0.00 0 0 0 0 0 1789.53/1790.02 c mcf : 0.00 1 0 0 0 0 1789.53/1790.02 c rapidlearning : 2.36 1 0 0 0 0 1789.53/1790.02 c Pricers : Time Calls Vars 1789.53/1790.02 c problem variables: 0.00 0 0 1789.53/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.53/1790.02 c relpscost : 545.57 1251 0 204 0 0 2374 1789.53/1790.02 c pscost : 0.00 0 0 0 0 0 0 1789.53/1790.02 c inference : 0.00 1 0 0 0 0 2 1789.53/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1789.53/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1789.53/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1789.53/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1789.53/1790.02 c random : 0.00 0 0 0 0 0 0 1789.53/1790.02 c Primal Heuristics : Time Calls Found 1789.53/1790.02 c LP solutions : 0.00 - 0 1789.53/1790.02 c pseudo solutions : 0.00 - 0 1789.53/1790.02 c oneopt : 0.00 0 0 1789.53/1790.02 c crossover : 0.00 0 0 1789.53/1790.02 c trivial : 0.01 2 0 1789.53/1790.02 c simplerounding : 0.00 0 0 1789.53/1790.02 c zirounding : 0.81 1000 0 1789.53/1790.02 c rounding : 3.09 453 0 1789.53/1790.02 c shifting : 10.54 119 0 1789.53/1790.02 c intshifting : 0.00 0 0 1789.53/1790.02 c twoopt : 0.00 0 0 1789.53/1790.02 c fixandinfer : 0.00 0 0 1789.53/1790.02 c feaspump : 44.69 9 0 1789.53/1790.02 c coefdiving : 235.18 1 0 1789.53/1790.02 c pscostdiving : 44.54 8 0 1789.53/1790.02 c fracdiving : 192.76 1 0 1789.53/1790.02 c veclendiving : 36.87 7 0 1789.53/1790.02 c intdiving : 0.00 0 0 1789.53/1790.02 c actconsdiving : 0.00 0 0 1789.53/1790.02 c objpscostdiving : 57.55 2 0 1789.53/1790.02 c rootsoldiving : 23.18 3 0 1789.53/1790.02 c linesearchdiving : 55.27 10 0 1789.53/1790.02 c guideddiving : 0.00 0 0 1789.53/1790.02 c octane : 0.00 0 0 1789.53/1790.02 c rens : 0.02 0 0 1789.53/1790.02 c rins : 0.00 0 0 1789.53/1790.02 c localbranching : 0.00 0 0 1789.53/1790.02 c mutation : 0.00 0 0 1789.53/1790.02 c dins : 0.00 0 0 1789.53/1790.02 c undercover : 0.00 0 0 1789.53/1790.02 c nlp : 0.00 0 0 1789.53/1790.02 c trysol : 0.00 0 0 1789.53/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1789.53/1790.02 c primal LP : 0.05 0 0 0.00 0.00 1789.53/1790.02 c dual LP : 494.39 1326 457396 344.94 925.16 1789.53/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1789.53/1790.02 c barrier LP : 0.00 0 0 0.00 - 1789.53/1790.02 c diving/probing LP: 634.37 6508 705311 108.38 1111.82 1789.53/1790.02 c strong branching : 543.41 1179 363821 308.58 669.51 1789.53/1790.02 c (at root node) : - 43 30528 709.95 - 1789.53/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1789.53/1790.02 c B&B Tree : 1789.53/1790.02 c number of runs : 1 1789.53/1790.02 c nodes : 1268 1789.53/1790.02 c nodes (total) : 1268 1789.53/1790.02 c nodes left : 1109 1789.53/1790.02 c max depth : 67 1789.53/1790.02 c max depth (total): 67 1789.53/1790.02 c backtracks : 121 (9.5%) 1789.53/1790.02 c delayed cutoffs : 0 1789.53/1790.02 c repropagations : 516 (3354 domain reductions, 0 cutoffs) 1789.53/1790.02 c avg switch length: 3.21 1789.53/1790.02 c switching time : 1.73 1789.53/1790.02 c Solution : 1789.53/1790.02 c Solutions found : 0 (0 improvements) 1789.53/1790.02 c Primal Bound : - 1789.53/1790.02 c Dual Bound : +1.80000000000007e+01 1789.53/1790.02 c Gap : infinite 1789.53/1790.02 c Root Dual Bound : +1.60001953125000e+01 1789.53/1790.02 c Root Iterations : 20109 1789.63/1790.19 c Time complete: 1789.73.
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-2703954-1278561065/watcher-2703954-1278561065 -o /tmp/evaluation-result-2703954-1278561065/solver-2703954-1278561065 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703954-1278561065.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.93 0.98 0.97 3/106 27533 /proc/meminfo: memFree=1693584/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=7904 CPUtime=0 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 24318758 8093696 946 1992294400 4194304 8395647 140733827884320 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 1976 955 365 1026 0 946 0 [startup+0.04562 s] /proc/loadavg: 0.93 0.98 0.97 3/106 27533 /proc/meminfo: memFree=1693584/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=11012 CPUtime=0.04 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 2048 0 0 0 4 0 0 0 20 0 1 0 24318758 11276288 1959 1992294400 4194304 8395647 140733827884320 18446744073709551615 6765802 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 2753 1959 393 1026 0 1723 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11012 [startup+0.100625 s] /proc/loadavg: 0.93 0.98 0.97 3/106 27533 /proc/meminfo: memFree=1693584/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=12780 CPUtime=0.09 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 2472 0 0 0 9 0 0 0 20 0 1 0 24318758 13086720 2383 1992294400 4194304 8395647 140733827884320 18446744073709551615 7301554 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 3195 2383 393 1026 0 2165 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12780 [startup+0.300643 s] /proc/loadavg: 0.93 0.98 0.97 3/106 27533 /proc/meminfo: memFree=1693584/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=17696 CPUtime=0.29 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 3700 0 0 0 29 0 0 0 20 0 1 0 24318758 18120704 3611 1992294400 4194304 8395647 140733827884320 18446744073709551615 6765598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 4424 3611 393 1026 0 3394 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17696 [startup+0.700682 s] /proc/loadavg: 0.93 0.98 0.97 3/106 27533 /proc/meminfo: memFree=1693584/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=26756 CPUtime=0.69 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 5965 0 0 0 67 2 0 0 20 0 1 0 24318758 27398144 5876 1992294400 4194304 8395647 140733827884320 18446744073709551615 7301293 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 6689 5876 393 1026 0 5659 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26756 [startup+1.50076 s] /proc/loadavg: 0.93 0.98 0.97 2/107 27534 /proc/meminfo: memFree=1589416/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=113284 CPUtime=1.49 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 27273 0 0 0 140 9 0 0 22 0 1 0 24318758 116002816 26830 1992294400 4194304 8395647 140733827884320 18446744073709551615 5026509 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 28321 26830 493 1026 0 27291 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 113284 [startup+3.10091 s] /proc/loadavg: 0.93 0.98 0.97 2/107 27534 /proc/meminfo: memFree=1586440/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=114032 CPUtime=3.09 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 27469 0 0 0 300 9 0 0 25 0 1 0 24318758 116768768 27026 1992294400 4194304 8395647 140733827884320 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 28508 27026 493 1026 0 27478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 114032 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.97 2/107 27534 /proc/meminfo: memFree=1586564/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=114032 CPUtime=6.29 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 27469 0 0 0 620 9 0 0 25 0 1 0 24318758 116768768 27026 1992294400 4194304 8395647 140733827884320 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 28508 27026 493 1026 0 27478 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 114032 [startup+12.7008 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27534 /proc/meminfo: memFree=1556432/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=148032 CPUtime=12.69 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 36396 0 0 0 1254 15 0 0 25 0 1 0 24318758 151584768 34656 1992294400 4194304 8395647 140733827884320 18446744073709551615 6708265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 37008 34656 607 1026 0 35978 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 148032 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.97 2/107 27535 /proc/meminfo: memFree=1556432/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=158208 CPUtime=25.48 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 39176 0 0 0 2530 18 0 0 25 0 1 0 24318758 162004992 37422 1992294400 4194304 8395647 140733827884320 18446744073709551615 4246060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 39552 37422 622 1026 0 38522 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 158208 [startup+51.1005 s] /proc/loadavg: 0.97 0.98 0.97 2/107 27536 /proc/meminfo: memFree=1477940/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=51.08 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56082 0 0 0 5076 32 0 0 25 0 1 0 24318758 235220992 54304 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54304 640 1026 0 56397 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 229708 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.97 2/107 27538 /proc/meminfo: memFree=1477816/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=102.27 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56103 0 0 0 10183 44 0 0 25 0 1 0 24318758 235220992 54305 1992294400 4194304 8395647 140733827884320 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54305 621 1026 0 56397 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 229708 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27538 /proc/meminfo: memFree=1477816/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=162.25 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56104 0 0 0 16163 62 0 0 25 0 1 0 24318758 235220992 54306 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54306 622 1026 0 56397 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 229708 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27540 /proc/meminfo: memFree=1477816/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=222.24 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56104 0 0 0 22142 82 0 0 25 0 1 0 24318758 235220992 54306 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54306 622 1026 0 56397 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 229708 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27542 /proc/meminfo: memFree=1477692/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=282.22 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56104 0 0 0 28118 104 0 0 25 0 1 0 24318758 235220992 54306 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54306 622 1026 0 56397 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 229708 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27544 /proc/meminfo: memFree=1477692/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=342.21 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56109 0 0 0 34093 128 0 0 25 0 1 0 24318758 235220992 54311 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54311 627 1026 0 56397 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 229708 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27545 /proc/meminfo: memFree=1477692/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=402.19 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56109 0 0 0 40062 157 0 0 25 0 1 0 24318758 235220992 54311 1992294400 4194304 8395647 140733827884320 18446744073709551615 6587066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54311 627 1026 0 56397 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 229708 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27546 /proc/meminfo: memFree=1477692/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=462.17 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56109 0 0 0 46037 180 0 0 25 0 1 0 24318758 235220992 54311 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54311 627 1026 0 56397 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 229708 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27548 /proc/meminfo: memFree=1477568/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=522.16 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56109 0 0 0 52022 194 0 0 25 0 1 0 24318758 235220992 54311 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54311 627 1026 0 56397 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 229708 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27550 /proc/meminfo: memFree=1477568/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=582.14 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56112 0 0 0 58004 210 0 0 25 0 1 0 24318758 235220992 54314 1992294400 4194304 8395647 140733827884320 18446744073709551615 6692834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54314 629 1026 0 56397 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 229708 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27561 /proc/meminfo: memFree=1477320/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=642.13 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56112 0 0 0 63975 238 0 0 25 0 1 0 24318758 235220992 54314 1992294400 4194304 8395647 140733827884320 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54314 629 1026 0 56397 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 229708 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1477196/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1002.03 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 99808 395 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 229708 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27571 /proc/meminfo: memFree=1477196/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1062.02 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 105783 419 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6751179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 229708 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27573 /proc/meminfo: memFree=1477196/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1122.01 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 111754 447 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6746628 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 229708 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27575 /proc/meminfo: memFree=1477196/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1181.99 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 117729 470 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 5006698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 229708 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27577 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1241.97 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 123703 494 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6697301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 229708 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27579 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1301.97 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 129684 513 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 229708 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27579 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1361.94 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 135653 541 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 229708 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27581 /proc/meminfo: memFree=1476948/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1421.93 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 141626 567 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6587048 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 229708 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27583 /proc/meminfo: memFree=1476948/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1481.91 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 147601 590 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 229708 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27585 /proc/meminfo: memFree=1477444/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1541.89 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 153575 614 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6708572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 229708 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27586 /proc/meminfo: memFree=1477444/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1601.88 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 159547 641 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 229708 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27587 /proc/meminfo: memFree=1477320/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1661.86 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 165523 663 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6449475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 229708 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27592 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1721.85 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 171502 683 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 229708 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1781.84 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 177478 706 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 229708 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1785.04 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 177797 707 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 229708 [startup+1788.7 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1788.23 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 178116 707 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1788.23 Current children cumulated vsize (KiB) 229708 [startup+1789.5 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1789.03 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 178195 708 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6698409 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1789.03 Current children cumulated vsize (KiB) 229708 [startup+1789.9 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1789.43 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56114 0 0 0 178235 708 0 0 25 0 1 0 24318758 235220992 54316 1992294400 4194304 8395647 140733827884320 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54316 629 1026 0 56397 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (KiB) 229708 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.97 2/107 27594 /proc/meminfo: memFree=1477072/2059040 swapFree=4139400/4192956 [pid=27533] ppid=27531 vsize=229708 CPUtime=1789.63 /proc/27533/stat : 27533 (pbscip.linux.x8) R 27531 27533 27373 0 -1 4202496 56117 0 0 0 178255 708 0 0 25 0 1 0 24318758 235220992 54319 1992294400 4194304 8395647 140733827884320 18446744073709551615 4969448 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27533/statm: 57427 54319 632 1026 0 56397 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (KiB) 229708 Child status: 0 Real time (s): 1790.2 CPU time (s): 1789.74 CPU user time (s): 1782.63 CPU system time (s): 7.11192 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 229708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.63 system time used= 7.11192 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56120 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= 4477 runsolver used 2.89956 second user time and 8.50971 second system time The end
Begin job on node018 at 2010-07-08 05:51:05 IDJOB=2703954 IDBENCH=2627 IDSOLVER=1213 FILE ID=node018/2703954-1278561065 PBS_JOBID= 11239546 Free space on /tmp= 62520 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-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.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-2703954-1278561065/watcher-2703954-1278561065 -o /tmp/evaluation-result-2703954-1278561065/solver-2703954-1278561065 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703954-1278561065.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2 RANDOM SEED=1925409084 node018.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1693988 kB Buffers: 59388 kB Cached: 218200 kB SwapCached: 6956 kB Active: 162780 kB Inactive: 128420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1693988 kB SwapTotal: 4192956 kB SwapFree: 4139400 kB Dirty: 13720 kB Writeback: 0 kB AnonPages: 11388 kB Mapped: 11944 kB Slab: 51872 kB PageTables: 4300 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180020 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= 62508 MiB End job on node018 at 2010-07-08 06:20:55