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 | ? | 1797.29 | 1797.74 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-stp3d.opb |
MD5SUM | af54d857fe3562002a714e0fbd74a69a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 204880 |
Total number of constraints | 159488 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 5805 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
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-2703514-1278560537.opb> 3.89/3.94 c original problem has 204880 variables (204880 bin, 0 int, 0 impl, 0 cont) and 159488 constraints 3.89/3.94 c problem read 3.89/3.94 c presolving settings loaded 6.39/6.43 c presolving: 8.29/8.32 c (round 1) 59160 del vars, 58291 del conss, 15708 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236064 impls, 2190 clqs 8.70/8.72 c (round 2) 64513 del vars, 60846 del conss, 15936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 236282 impls, 2192 clqs 8.80/8.87 c (round 3) 67047 del vars, 61283 del conss, 16253 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 237174 impls, 2001 clqs 8.89/8.99 c (round 4) 67163 del vars, 61469 del conss, 16325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 237210 impls, 1996 clqs 9.09/9.10 c (round 5) 67218 del vars, 61492 del conss, 16336 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 237214 impls, 1991 clqs 9.80/9.86 c (round 6) 67576 del vars, 61500 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 248490 impls, 1988 clqs 9.90/9.98 c (round 7) 67581 del vars, 61783 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 248504 impls, 1988 clqs 9.99/10.09 c (round 8) 67613 del vars, 61785 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 248516 impls, 1984 clqs 10.99/11.07 c (round 9) 67613 del vars, 61785 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73505 upgd conss, 248516 impls, 1984 clqs 81.07/81.11 c (77.2s) probing: 1000/137658 (0.7%) - 394 fixings, 3 aggregations, 285539 implications, 0 bound changes 86.47/86.58 c (round 10) 67671 del vars, 61785 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73505 upgd conss, 3745862 impls, 1984 clqs 86.78/86.80 c (round 11) 67676 del vars, 61840 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73505 upgd conss, 3746092 impls, 1994 clqs 86.97/87.02 c (round 12) 67682 del vars, 61848 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73515 upgd conss, 3746092 impls, 1994 clqs 160.06/160.16 c (156.2s) probing: 2000/137658 (1.5%) - 431 fixings, 10 aggregations, 457051 implications, 0 bound changes 236.24/236.38 c (232.4s) probing: 3000/137658 (2.2%) - 434 fixings, 10 aggregations, 595200 implications, 0 bound changes 312.62/312.74 c (308.8s) probing: 4000/137658 (2.9%) - 434 fixings, 10 aggregations, 734200 implications, 0 bound changes 389.00/389.15 c (385.2s) probing: 5000/137658 (3.6%) - 436 fixings, 10 aggregations, 872922 implications, 0 bound changes 433.98/434.15 c (round 13) 67733 del vars, 61850 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73515 upgd conss, 5036908 impls, 1986 clqs 434.18/434.38 c (round 14) 67741 del vars, 61906 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73515 upgd conss, 5036920 impls, 1986 clqs 467.08/467.26 c (463.3s) probing: 6000/137658 (4.4%) - 456 fixings, 15 aggregations, 1002821 implications, 0 bound changes 545.16/545.34 c (541.4s) probing: 7000/137658 (5.1%) - 461 fixings, 20 aggregations, 1262437 implications, 0 bound changes 624.15/624.39 c (620.4s) probing: 8000/137658 (5.8%) - 461 fixings, 20 aggregations, 1569725 implications, 0 bound changes 644.34/644.51 c (640.6s) probing: 8221/137658 (6.0%) - 461 fixings, 20 aggregations, 1649595 implications, 0 bound changes 644.34/644.51 c (640.6s) probing aborted: 2000/2000 successive useless probings 644.34/644.51 c (round 15) 67768 del vars, 61912 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73515 upgd conss, 6423992 impls, 1984 clqs 644.54/644.72 c (round 16) 67770 del vars, 61931 del conss, 16338 chg bounds, 0 chg sides, 0 chg coeffs, 73515 upgd conss, 6423996 impls, 1984 clqs 663.34/663.59 c (659.6s) probing: 8421/137658 (6.1%) - 461 fixings, 20 aggregations, 1718462 implications, 0 bound changes 663.34/663.59 c (659.6s) probing aborted: 2000/2000 successive useless probings 663.44/663.63 c presolving (17 rounds): 663.44/663.63 c 67775 deleted vars, 61935 deleted constraints, 16338 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 663.44/663.63 c 6561730 implications, 1984 cliques 663.44/663.63 c presolved problem has 137103 variables (137103 bin, 0 int, 0 impl, 0 cont) and 97553 constraints 663.44/663.63 c 73385 constraints of type <setppc> 663.44/663.63 c 24168 constraints of type <linear> 663.44/663.63 c transformed objective value is always integral (scale: 1) 663.44/663.63 c Presolving Time: 658.46 663.44/663.63 c - non default parameters ---------------------------------------------------------------------- 663.44/663.63 c # SCIP version 1.2.1.3 663.44/663.63 c 663.44/663.63 c # frequency for displaying node information lines 663.44/663.63 c # [type: int, range: [-1,2147483647], default: 100] 663.44/663.63 c display/freq = 10000 663.44/663.63 c 663.44/663.63 c # maximal time in seconds to run 663.44/663.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 663.44/663.63 c limits/time = 1786.07 663.44/663.63 c 663.44/663.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 663.44/663.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 663.44/663.63 c limits/memory = 1620 663.44/663.63 c 663.44/663.63 c # default clock type (1: CPU user seconds, 2: wall clock time) 663.44/663.63 c # [type: int, range: [1,2], default: 1] 663.44/663.63 c timing/clocktype = 2 663.44/663.63 c 663.44/663.63 c # should presolving try to simplify inequalities 663.44/663.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 663.44/663.63 c constraints/linear/simplifyinequalities = TRUE 663.44/663.63 c 663.44/663.63 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 663.44/663.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 663.44/663.63 c constraints/indicator/addCouplingCons = TRUE 663.44/663.63 c 663.44/663.63 c # should presolving try to simplify knapsacks 663.44/663.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 663.44/663.63 c constraints/knapsack/simplifyinequalities = TRUE 663.44/663.63 c 663.44/663.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 663.44/663.63 c # [type: int, range: [-1,2147483647], default: -1] 663.44/663.63 c separating/rapidlearning/freq = 0 663.44/663.63 c 663.44/663.63 c ----------------------------------------------------------------------------------------------- 663.44/663.63 c start solving 663.54/663.79 c 1794.85/1795.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1794.85/1795.38 c 1791s| 1 | 0 | 49401 | - | 743M| 0 | - | 137k| 97k| 137k| 97k| 0 | 0 | 0 | 3.304033e+06 | -- | Inf 1795.05/1795.59 c 1792s| 1 | 2 | 49401 | - | 743M| 0 | - | 137k| 97k| 137k| 97k| 0 | 0 | 0 | 3.304033e+06 | -- | Inf 1795.05/1795.59 c 1795.05/1795.59 c SCIP Status : solving was interrupted [time limit reached] 1795.05/1795.59 c Solving Time (sec) : 1791.65 1795.05/1795.59 c Solving Nodes : 1 1795.05/1795.59 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.05/1795.59 c Dual Bound : +3.30403300000000e+06 1795.05/1795.59 c Gap : infinite 1795.05/1795.59 s UNKNOWN 1795.05/1795.59 c SCIP Status : solving was interrupted [time limit reached] 1795.05/1795.59 c Solving Time : 1791.65 1795.05/1795.59 c Original Problem : 1795.05/1795.59 c Problem name : HOME/instance-2703514-1278560537.opb 1795.05/1795.59 c Variables : 204880 (204880 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.05/1795.59 c Constraints : 159488 initial, 159488 maximal 1795.05/1795.59 c Presolved Problem : 1795.05/1795.59 c Problem name : t_HOME/instance-2703514-1278560537.opb 1795.05/1795.59 c Variables : 137103 (137103 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.05/1795.59 c Constraints : 97553 initial, 97553 maximal 1795.05/1795.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.05/1795.59 c trivial : 0.47 0 0 0 0 0 0 0 0 1795.05/1795.59 c dualfix : 0.51 7365 0 0 0 0 0 0 0 1795.05/1795.59 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.05/1795.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.05/1795.59 c implics : 0.46 0 0 0 0 0 0 0 0 1795.05/1795.59 c probing : 651.04 461 20 0 0 0 0 0 0 1795.05/1795.59 c setppc : 0.92 0 5 0 0 0 130 0 0 1795.05/1795.59 c linear : 3.21 16364 43560 0 16338 0 61805 0 0 1795.05/1795.59 c root node : - 0 - - 0 - - - - 1795.05/1795.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.05/1795.59 c integral : 0 0 0 0 0 0 0 0 0 0 1795.05/1795.59 c setppc : 73385 0 26019 0 1 18 0 0 0 0 1795.05/1795.59 c linear : 24168 0 26039 0 1 28 0 0 0 0 1795.05/1795.59 c countsols : 0 0 0 0 1 0 0 0 0 0 1795.05/1795.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.05/1795.59 c integral : 0.00 0.00 0.00 0.00 0.00 1795.05/1795.59 c setppc : 283.39 0.00 283.29 0.00 0.10 1795.05/1795.59 c linear : 71.93 0.00 71.93 0.00 0.00 1795.05/1795.59 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.05/1795.59 c Propagators : Time Calls Cutoffs DomReds 1795.05/1795.59 c vbounds : 0.02 2 0 0 1795.05/1795.59 c rootredcost : 0.02 0 0 0 1795.05/1795.59 c pseudoobj : 0.04 1 0 0 1795.05/1795.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.05/1795.59 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1795.05/1795.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1795.05/1795.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.05/1795.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.05/1795.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.05/1795.59 c applied globally : - - - 0 0.0 - - - 1795.05/1795.59 c applied locally : - - - 0 0.0 - - - 1795.05/1795.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.05/1795.59 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1795.05/1795.59 c redcost : 0.00 0 0 0 0 0 1795.05/1795.59 c impliedbounds : 0.00 0 0 0 0 0 1795.05/1795.59 c intobj : 0.00 0 0 0 0 0 1795.05/1795.59 c cgmip : 0.00 0 0 0 0 0 1795.05/1795.59 c gomory : 0.00 0 0 0 0 0 1795.05/1795.59 c strongcg : 0.00 0 0 0 0 0 1795.05/1795.59 c cmir : 0.00 0 0 0 0 0 1795.05/1795.59 c flowcover : 0.00 0 0 0 0 0 1795.05/1795.59 c clique : 0.00 0 0 0 0 0 1795.05/1795.59 c zerohalf : 0.00 0 0 0 0 0 1795.05/1795.59 c mcf : 0.00 0 0 0 0 0 1795.05/1795.59 c rapidlearning : 0.00 0 0 0 0 0 1795.05/1795.59 c Pricers : Time Calls Vars 1795.05/1795.59 c problem variables: 0.00 0 0 1795.05/1795.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.05/1795.59 c relpscost : 0.00 0 0 0 0 0 0 1795.05/1795.59 c pscost : 0.00 0 0 0 0 0 0 1795.05/1795.59 c inference : 0.10 1 0 0 0 0 2 1795.05/1795.59 c mostinf : 0.00 0 0 0 0 0 0 1795.05/1795.59 c leastinf : 0.00 0 0 0 0 0 0 1795.05/1795.59 c fullstrong : 0.00 0 0 0 0 0 0 1795.05/1795.59 c allfullstrong : 0.00 0 0 0 0 0 0 1795.05/1795.59 c random : 0.00 0 0 0 0 0 0 1795.05/1795.59 c Primal Heuristics : Time Calls Found 1795.05/1795.59 c LP solutions : 0.00 - 0 1795.05/1795.59 c pseudo solutions : 0.00 - 0 1795.05/1795.59 c oneopt : 0.00 0 0 1795.05/1795.59 c trivial : 0.57 2 0 1795.05/1795.59 c simplerounding : 0.00 0 0 1795.05/1795.59 c zirounding : 0.00 0 0 1795.05/1795.59 c rounding : 0.00 0 0 1795.05/1795.59 c shifting : 0.00 0 0 1795.05/1795.59 c intshifting : 0.00 0 0 1795.05/1795.59 c twoopt : 0.00 0 0 1795.05/1795.59 c fixandinfer : 0.00 0 0 1795.05/1795.59 c feaspump : 0.00 0 0 1795.05/1795.59 c coefdiving : 0.00 0 0 1795.05/1795.59 c pscostdiving : 0.00 0 0 1795.05/1795.59 c fracdiving : 0.00 0 0 1795.05/1795.59 c veclendiving : 0.00 0 0 1795.05/1795.59 c intdiving : 0.00 0 0 1795.05/1795.59 c actconsdiving : 0.00 0 0 1795.05/1795.59 c objpscostdiving : 0.00 0 0 1795.05/1795.59 c rootsoldiving : 0.00 0 0 1795.05/1795.59 c linesearchdiving : 0.00 0 0 1795.05/1795.59 c guideddiving : 0.00 0 0 1795.05/1795.59 c octane : 0.00 0 0 1795.05/1795.59 c rens : 0.00 0 0 1795.05/1795.59 c rins : 0.00 0 0 1795.05/1795.59 c localbranching : 0.00 0 0 1795.05/1795.59 c mutation : 0.00 0 0 1795.05/1795.59 c crossover : 0.00 0 0 1795.05/1795.59 c dins : 0.00 0 0 1795.05/1795.59 c undercover : 0.00 0 0 1795.05/1795.59 c nlp : 0.00 0 0 1795.05/1795.59 c trysol : 0.00 0 0 1795.05/1795.59 c LP : Time Calls Iterations Iter/call Iter/sec 1795.05/1795.59 c primal LP : 0.00 0 0 0.00 - 1795.05/1795.59 c dual LP : 1130.26 1 49401 49401.00 43.71 1795.05/1795.59 c lex dual LP : 0.00 0 0 0.00 - 1795.05/1795.59 c barrier LP : 0.00 0 0 0.00 - 1795.05/1795.59 c diving/probing LP: 0.00 0 0 0.00 - 1795.05/1795.59 c strong branching : 0.00 0 0 0.00 - 1795.05/1795.59 c (at root node) : - 0 0 0.00 - 1795.05/1795.59 c conflict analysis: 0.00 0 0 0.00 - 1795.05/1795.59 c B&B Tree : 1795.05/1795.59 c number of runs : 1 1795.05/1795.59 c nodes : 1 1795.05/1795.59 c nodes (total) : 1 1795.05/1795.59 c nodes left : 2 1795.05/1795.59 c max depth : 0 1795.05/1795.59 c max depth (total): 0 1795.05/1795.59 c backtracks : 0 (0.0%) 1795.05/1795.59 c delayed cutoffs : 0 1795.05/1795.59 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1795.05/1795.59 c avg switch length: 1.00 1795.05/1795.59 c switching time : 0.00 1795.05/1795.59 c Solution : 1795.05/1795.59 c Solutions found : 0 (0 improvements) 1795.05/1795.59 c Primal Bound : - 1795.05/1795.59 c Dual Bound : +3.30403300000000e+06 1795.05/1795.59 c Gap : infinite 1795.05/1795.59 c Root Dual Bound : +3.30403300000000e+06 1795.05/1795.59 c Root Iterations : 49401 1797.25/1797.73 c Time complete: 1797.28.
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-2703514-1278560537/watcher-2703514-1278560537 -o /tmp/evaluation-result-2703514-1278560537/solver-2703514-1278560537 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703514-1278560537.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/106 29088 /proc/meminfo: memFree=1827848/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=7904 CPUtime=0 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 24264386 8093696 965 1992294400 4194304 8395647 140737329694240 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 1976 972 365 1026 0 946 0 [startup+0.0446681 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29088 /proc/meminfo: memFree=1827848/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=17184 CPUtime=0.04 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 3590 0 0 0 3 1 0 0 20 0 1 0 24264386 17596416 3500 1992294400 4194304 8395647 140737329694240 18446744073709551615 5758038 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 4296 3500 387 1026 0 3266 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17184 [startup+0.101672 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29088 /proc/meminfo: memFree=1827848/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=27372 CPUtime=0.09 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 6144 0 0 0 8 1 0 0 20 0 1 0 24264386 28028928 6051 1992294400 4194304 8395647 140737329694240 18446744073709551615 4730094 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 6843 6051 389 1026 0 5813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27372 [startup+0.30169 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29088 /proc/meminfo: memFree=1827848/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=64548 CPUtime=0.29 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 15188 0 0 0 24 5 0 0 20 0 1 0 24264386 66097152 15095 1992294400 4194304 8395647 140737329694240 18446744073709551615 7370997 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 16137 15096 393 1026 0 15107 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 64548 [startup+0.701723 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29088 /proc/meminfo: memFree=1827848/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=88548 CPUtime=0.69 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 21165 0 0 0 62 7 0 0 20 0 1 0 24264386 90673152 21070 1992294400 4194304 8395647 140737329694240 18446744073709551615 4730428 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 22137 21070 394 1026 0 21107 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 88548 [startup+1.50079 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29090 /proc/meminfo: memFree=1727248/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=149404 CPUtime=1.49 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 36320 0 0 0 136 13 0 0 23 0 1 0 24264386 152989696 36225 1992294400 4194304 8395647 140737329694240 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 37351 36225 394 1026 0 36321 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 149404 [startup+3.10093 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29090 /proc/meminfo: memFree=1651636/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=198956 CPUtime=3.09 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 48667 0 0 0 292 17 0 0 25 0 1 0 24264386 203730944 48572 1992294400 4194304 8395647 140737329694240 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 49739 48572 394 1026 0 48709 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 198956 [startup+6.30121 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29090 /proc/meminfo: memFree=1341760/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=526436 CPUtime=6.29 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 129379 0 0 0 583 46 0 0 25 0 1 0 24264386 539070464 128930 1992294400 4194304 8395647 140737329694240 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 131609 128930 444 1026 0 130579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 526436 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29090 /proc/meminfo: memFree=1231152/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=607072 CPUtime=12.69 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 153216 0 0 0 1215 54 0 0 25 0 1 0 24264386 621641728 149291 1992294400 4194304 8395647 140737329694240 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 151768 149291 494 1026 0 150738 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 607072 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/107 29091 /proc/meminfo: memFree=1230532/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=607824 CPUtime=25.49 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 153404 0 0 0 2495 54 0 0 25 0 1 0 24264386 622411776 149479 1992294400 4194304 8395647 140737329694240 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 151956 149479 494 1026 0 150926 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 607824 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 29091 /proc/meminfo: memFree=1189612/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=648616 CPUtime=51.08 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 163602 0 0 0 5052 56 0 0 25 0 1 0 24264386 664182784 159677 1992294400 4194304 8395647 140737329694240 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 162154 159677 494 1026 0 161124 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 648616 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 29093 /proc/meminfo: memFree=1139516/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=698776 CPUtime=102.27 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 176114 0 0 0 10168 59 0 0 25 0 1 0 24264386 715546624 172189 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 174694 172189 500 1026 0 173664 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 698776 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29094 /proc/meminfo: memFree=1130092/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=708432 CPUtime=162.26 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 178488 0 0 0 16166 60 0 0 25 0 1 0 24264386 725434368 174563 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 177108 174563 500 1026 0 176078 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 708432 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29095 /proc/meminfo: memFree=1118808/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=719684 CPUtime=222.24 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 181301 0 0 0 22164 60 0 0 25 0 1 0 24264386 736956416 177376 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 179921 177376 500 1026 0 178891 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 719684 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29097 /proc/meminfo: memFree=1106532/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=732916 CPUtime=282.22 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 184609 0 0 0 28161 61 0 0 25 0 1 0 24264386 750505984 180684 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 183229 180684 500 1026 0 182199 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 732916 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29099 /proc/meminfo: memFree=1091156/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=747240 CPUtime=342.21 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 188190 0 0 0 34159 62 0 0 25 0 1 0 24264386 765173760 184265 1992294400 4194304 8395647 140737329694240 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 186810 184265 500 1026 0 185780 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 747240 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29101 /proc/meminfo: memFree=1076772/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=761564 CPUtime=402.2 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 191771 0 0 0 40157 63 0 0 25 0 1 0 24264386 779841536 187846 1992294400 4194304 8395647 140737329694240 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 190391 187846 500 1026 0 189361 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 761564 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29102 /proc/meminfo: memFree=1068588/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=769696 CPUtime=462.19 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 193807 0 0 0 46155 64 0 0 25 0 1 0 24264386 788168704 189882 1992294400 4194304 8395647 140737329694240 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 192424 189882 500 1026 0 191394 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 769696 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29103 /proc/meminfo: memFree=1046764/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=791480 CPUtime=522.16 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 199241 0 0 0 52151 65 0 0 25 0 1 0 24264386 810475520 195316 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 197870 195316 500 1026 0 196840 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 791480 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 29105 /proc/meminfo: memFree=1028040/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=811748 CPUtime=582.16 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 204320 0 0 0 58149 67 0 0 25 0 1 0 24264386 831229952 200395 1992294400 4194304 8395647 140737329694240 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 202937 200395 500 1026 0 201907 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 811748 [startup+642.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 29107 /proc/meminfo: memFree=1010060/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=827936 CPUtime=642.15 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 208357 0 0 0 64147 68 0 0 25 0 1 0 24264386 847806464 204432 1992294400 4194304 8395647 140737329694240 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 206984 204432 500 1026 0 205954 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 827936 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=806824/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1045416 CPUtime=1062.03 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 266784 0 0 0 106073 130 0 0 25 0 1 0 24264386 1070505984 255762 1992294400 4194304 8395647 140737329694240 18446744073709551615 6697808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261354 255762 1202 1026 0 260324 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1045416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29119 /proc/meminfo: memFree=806824/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1045416 CPUtime=1122.03 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 266804 0 0 0 112068 135 0 0 25 0 1 0 24264386 1070505984 255778 1992294400 4194304 8395647 140737329694240 18446744073709551615 6697727 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261354 255778 1198 1026 0 260324 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 1045416 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 29130 /proc/meminfo: memFree=805336/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1045416 CPUtime=1182 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 266819 0 0 0 118061 139 0 0 25 0 1 0 24264386 1070505984 255793 1992294400 4194304 8395647 140737329694240 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261354 255793 1198 1026 0 260324 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1045416 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 29132 /proc/meminfo: memFree=805336/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1045416 CPUtime=1241.97 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 266830 0 0 0 124054 143 0 0 25 0 1 0 24264386 1070505984 255804 1992294400 4194304 8395647 140737329694240 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261354 255804 1198 1026 0 260324 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1045416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29134 /proc/meminfo: memFree=805336/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1045416 CPUtime=1301.97 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 266843 0 0 0 130051 146 0 0 25 0 1 0 24264386 1070505984 255817 1992294400 4194304 8395647 140737329694240 18446744073709551615 6585857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261354 255817 1198 1026 0 260324 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1045416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29135 /proc/meminfo: memFree=805212/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046148 CPUtime=1361.95 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267025 0 0 0 136045 150 0 0 25 0 1 0 24264386 1071255552 255999 1992294400 4194304 8395647 140737329694240 18446744073709551615 6585966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261537 255999 1198 1026 0 260507 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1046148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29136 /proc/meminfo: memFree=805088/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046284 CPUtime=1421.95 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267058 0 0 0 142042 153 0 0 25 0 1 0 24264386 1071394816 256032 1992294400 4194304 8395647 140737329694240 18446744073709551615 6587229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261571 256032 1198 1026 0 260541 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1046284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29138 /proc/meminfo: memFree=804964/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046284 CPUtime=1481.92 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267084 0 0 0 148036 156 0 0 25 0 1 0 24264386 1071394816 256058 1992294400 4194304 8395647 140737329694240 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261571 256058 1198 1026 0 260541 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1046284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29140 /proc/meminfo: memFree=804964/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046428 CPUtime=1541.9 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267118 0 0 0 154031 159 0 0 25 0 1 0 24264386 1071542272 256092 1992294400 4194304 8395647 140737329694240 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261607 256092 1198 1026 0 260577 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1046428 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29142 /proc/meminfo: memFree=804840/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1601.9 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267151 0 0 0 160027 163 0 0 25 0 1 0 24264386 1071677440 256125 1992294400 4194304 8395647 140737329694240 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256125 1198 1026 0 260610 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1046560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29143 /proc/meminfo: memFree=804716/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1661.87 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267182 0 0 0 166022 165 0 0 25 0 1 0 24264386 1071677440 256154 1992294400 4194304 8395647 140737329694240 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256154 1196 1026 0 260610 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1046560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29144 /proc/meminfo: memFree=804592/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1721.87 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267195 0 0 0 172019 168 0 0 25 0 1 0 24264386 1071677440 256157 1992294400 4194304 8395647 140737329694240 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256157 1186 1026 0 260610 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1046560 [startup+1782.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 29146 /proc/meminfo: memFree=804468/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1781.85 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267197 0 0 0 178015 170 0 0 25 0 1 0 24264386 1071677440 256158 1992294400 4194304 8395647 140737329694240 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256158 1185 1026 0 260610 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1046560 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.10 1.03 1.00 2/107 29146 /proc/meminfo: memFree=804468/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1785.04 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267197 0 0 0 178334 170 0 0 25 0 1 0 24264386 1071677440 256158 1992294400 4194304 8395647 140737329694240 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256158 1185 1026 0 260610 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 1046560 [startup+1791.91 s] /proc/loadavg: 1.09 1.03 1.00 2/107 29146 /proc/meminfo: memFree=804468/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1791.46 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267197 0 0 0 178975 171 0 0 25 0 1 0 24264386 1071677440 256158 1992294400 4194304 8395647 140737329694240 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256158 1185 1026 0 260610 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 1046560 [startup+1795.1 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29146 /proc/meminfo: memFree=804468/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1046560 CPUtime=1794.65 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267197 0 0 0 179294 171 0 0 25 0 1 0 24264386 1071677440 256158 1992294400 4194304 8395647 140737329694240 18446744073709551615 6702016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29088/statm: 261640 256158 1185 1026 0 260610 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 1046560 [startup+1796.7 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29146 /proc/meminfo: memFree=805336/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=1044956 CPUtime=1796.25 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267246 0 0 0 179454 171 0 0 25 0 1 0 24264386 1070034944 255806 1992294400 4194304 8395647 140737329694240 18446744073709551615 6345826 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 261239 255806 1196 1026 0 260209 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 1044956 [startup+1797.5 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29146 /proc/meminfo: memFree=806948/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=854516 CPUtime=1797.05 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267246 0 0 0 179532 173 0 0 25 0 1 0 24264386 875024384 211132 1992294400 4194304 8395647 140737329694240 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 213629 211132 587 1026 0 212599 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 854516 [startup+1797.7 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29146 /proc/meminfo: memFree=806948/2059040 swapFree=4139724/4192956 [pid=29088] ppid=29086 vsize=402144 CPUtime=1797.25 /proc/29088/stat : 29088 (pbscip.linux.x8) R 29086 29088 29063 0 -1 4202496 267247 0 0 0 179547 178 0 0 25 0 1 0 24264386 411795456 87906 1992294400 4194304 8395647 140737329694240 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29088/statm: 100536 87906 588 1026 0 99506 0 Current children cumulated CPU time (s) 1797.25 Current children cumulated vsize (KiB) 402144 Child status: 0 Real time (s): 1797.74 CPU time (s): 1797.29 CPU user time (s): 1795.47 CPU system time (s): 1.81972 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1046560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.47 system time used= 1.81972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267254 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= 7427 runsolver used 3.12852 second user time and 8.32873 second system time The end
Begin job on node031 at 2010-07-08 05:42:18 IDJOB=2703514 IDBENCH=2522 IDSOLVER=1213 FILE ID=node031/2703514-1278560537 PBS_JOBID= 11239533 Free space on /tmp= 62560 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.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-2703514-1278560537/watcher-2703514-1278560537 -o /tmp/evaluation-result-2703514-1278560537/solver-2703514-1278560537 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703514-1278560537.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af54d857fe3562002a714e0fbd74a69a RANDOM SEED=186336671 node031.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.220 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.44 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.220 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1828252 kB Buffers: 29040 kB Cached: 108764 kB SwapCached: 6288 kB Active: 109528 kB Inactive: 41540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1828252 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 19388 kB Writeback: 0 kB AnonPages: 11428 kB Mapped: 11968 kB Slab: 57684 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181260 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node031 at 2010-07-08 06:12:16