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.96 | 1790.37 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb |
MD5SUM | 523aad2a62a776290fed26e3ef5d80ef |
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 | 20024 |
Total number of constraints | 1258 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 912 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15837 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 83886080000000 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 572975239517507 |
Number of bits of the biggest sum of numbers | 50 |
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-2703465-1278557858.opb> 0.39/0.47 c original problem has 20024 variables (20024 bin, 0 int, 0 impl, 0 cont) and 1258 constraints 0.39/0.47 c problem read 0.39/0.47 c presolving settings loaded 0.70/0.78 c presolving: 1.00/1.05 c (round 1) 791 del vars, 0 del conss, 580 chg bounds, 156 chg sides, 156 chg coeffs, 0 upgd conss, 2 impls, 912 clqs 1.00/1.06 c (round 2) 791 del vars, 0 del conss, 580 chg bounds, 312 chg sides, 312 chg coeffs, 0 upgd conss, 2 impls, 912 clqs 1.10/1.15 c (round 3) 791 del vars, 0 del conss, 580 chg bounds, 312 chg sides, 312 chg coeffs, 1043 upgd conss, 2 impls, 912 clqs 1.10/1.19 c (round 4) 791 del vars, 0 del conss, 580 chg bounds, 442 chg sides, 1969 chg coeffs, 1043 upgd conss, 2090 impls, 912 clqs 26.39/26.41 c (25.9s) probing: 1000/19233 (5.2%) - 0 fixings, 0 aggregations, 1309 implications, 0 bound changes 49.98/50.03 c (49.6s) probing: 2000/19233 (10.4%) - 1 fixings, 0 aggregations, 2424 implications, 0 bound changes 72.67/72.79 c (72.3s) probing: 3000/19233 (15.6%) - 1 fixings, 0 aggregations, 3589 implications, 0 bound changes 90.87/90.93 c (90.5s) probing: 3830/19233 (19.9%) - 1 fixings, 0 aggregations, 4441 implications, 0 bound changes 90.87/90.93 c (90.5s) probing aborted: 2000/2000 successive useless probings 90.87/90.94 c presolving (5 rounds): 90.87/90.94 c 792 deleted vars, 0 deleted constraints, 580 tightened bounds, 0 added holes, 442 changed sides, 1969 changed coefficients 90.87/90.94 c 10972 implications, 912 cliques 90.87/90.94 c presolved problem has 19232 variables (19232 bin, 0 int, 0 impl, 0 cont) and 1258 constraints 90.87/90.94 c 130 constraints of type <knapsack> 90.87/90.94 c 913 constraints of type <setppc> 90.87/90.94 c 215 constraints of type <linear> 90.87/90.94 c transformed objective value is always integral (scale: 2) 90.87/90.94 c Presolving Time: 90.27 90.87/90.94 c - non default parameters ---------------------------------------------------------------------- 90.87/90.94 c # SCIP version 1.2.1.3 90.87/90.94 c 90.87/90.94 c # frequency for displaying node information lines 90.87/90.94 c # [type: int, range: [-1,2147483647], default: 100] 90.87/90.94 c display/freq = 10000 90.87/90.94 c 90.87/90.94 c # maximal time in seconds to run 90.87/90.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 90.87/90.94 c limits/time = 1789.53 90.87/90.94 c 90.87/90.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 90.87/90.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 90.87/90.94 c limits/memory = 1620 90.87/90.94 c 90.87/90.94 c # default clock type (1: CPU user seconds, 2: wall clock time) 90.87/90.94 c # [type: int, range: [1,2], default: 1] 90.87/90.94 c timing/clocktype = 2 90.87/90.94 c 90.87/90.94 c # should presolving try to simplify inequalities 90.87/90.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 90.87/90.94 c constraints/linear/simplifyinequalities = TRUE 90.87/90.94 c 90.87/90.94 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 90.87/90.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 90.87/90.94 c constraints/indicator/addCouplingCons = TRUE 90.87/90.94 c 90.87/90.94 c # should presolving try to simplify knapsacks 90.87/90.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 90.87/90.94 c constraints/knapsack/simplifyinequalities = TRUE 90.87/90.94 c 90.87/90.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 90.87/90.94 c # [type: int, range: [-1,2147483647], default: -1] 90.87/90.94 c separating/rapidlearning/freq = 0 90.87/90.94 c 90.87/90.94 c ----------------------------------------------------------------------------------------------- 90.87/90.94 c start solving 90.87/90.96 c 91.57/91.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 91.57/91.67 c 91.2s| 1 | 0 | 604 | - | 69M| 0 | 179 | 19k|1258 | 19k|1258 | 0 | 0 | 0 | 1.079773e+09 | -- | Inf 98.67/98.76 c 98.3s| 1 | 0 | 3851 | - | 69M| 0 | 179 | 19k|1258 | 19k|1258 | 0 | 0 | 0 | 1.079773e+09 | -- | Inf 181.25/181.34 c 181s| 1 | 0 | 4373 | - | 84M| 0 | 190 | 19k|1258 | 19k|1474 | 216 | 0 | 0 | 1.079883e+09 | -- | Inf 264.72/264.80 c 264s| 1 | 0 | 4571 | - | 85M| 0 | 212 | 19k|1258 | 19k|1561 | 303 | 0 | 0 | 1.079900e+09 | -- | Inf 349.00/349.11 c 349s| 1 | 0 | 4676 | - | 85M| 0 | 204 | 19k|1258 | 19k|1610 | 352 | 0 | 0 | 1.079910e+09 | -- | Inf 432.28/432.49 c 432s| 1 | 0 | 4735 | - | 86M| 0 | 205 | 19k|1258 | 19k|1630 | 372 | 0 | 0 | 1.079910e+09 | -- | Inf 515.87/516.05 c 516s| 1 | 0 | 4836 | - | 86M| 0 | 212 | 19k|1258 | 19k|1651 | 393 | 0 | 0 | 1.079911e+09 | -- | Inf 599.75/599.94 c 599s| 1 | 0 | 4898 | - | 86M| 0 | 215 | 19k|1258 | 19k|1668 | 410 | 0 | 0 | 1.079912e+09 | -- | Inf 604.54/604.72 c 604s| 1 | 2 | 4898 | - | 86M| 0 | 215 | 19k|1258 | 19k|1668 | 410 | 0 | 25 | 1.079912e+09 | -- | Inf 1789.59/1790.02 c 1789.59/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.59/1790.02 c Solving Time (sec) : 1789.54 1789.59/1790.02 c Solving Nodes : 2536 1789.59/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.59/1790.02 c Dual Bound : +1.07991556456397e+09 1789.59/1790.02 c Gap : infinite 1789.59/1790.02 s UNKNOWN 1789.59/1790.02 c SCIP Status : solving was interrupted [time limit reached] 1789.59/1790.02 c Solving Time : 1789.54 1789.59/1790.02 c Original Problem : 1789.59/1790.02 c Problem name : HOME/instance-2703465-1278557858.opb 1789.59/1790.02 c Variables : 20024 (20024 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.59/1790.02 c Constraints : 1258 initial, 1258 maximal 1789.59/1790.02 c Presolved Problem : 1789.59/1790.02 c Problem name : t_HOME/instance-2703465-1278557858.opb 1789.59/1790.02 c Variables : 19232 (19232 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.59/1790.02 c Constraints : 1258 initial, 5905 maximal 1789.59/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.59/1790.02 c trivial : 0.02 0 0 0 0 0 0 0 0 1789.59/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0 1789.59/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.02 c implics : 0.01 0 0 0 0 0 0 0 0 1789.59/1790.02 c probing : 89.72 1 0 0 0 0 0 0 0 1789.59/1790.02 c knapsack : 0.01 0 0 0 0 0 0 130 1657 1789.59/1790.02 c setppc : 0.03 0 0 0 0 0 0 0 0 1789.59/1790.02 c linear : 0.32 791 0 0 580 0 0 312 312 1789.59/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.59/1790.02 c root node : - 11 - - 11 - - - - 1789.59/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.59/1790.02 c integral : 0 0 0 2810 0 0 733 0 0 4498 1789.59/1790.02 c knapsack : 130 6 43050 0 0 60 3792 0 0 0 1789.59/1790.02 c setppc : 913 6 42990 0 0 4 29256 0 0 0 1789.59/1790.02 c linear : 215 6 42986 0 0 965 531936 396 0 0 1789.59/1790.02 c logicor : 0+ 0 3916 0 0 141 655 0 0 0 1789.59/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0 1789.59/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.59/1790.02 c integral : 219.97 0.00 0.00 219.97 0.00 1789.59/1790.02 c knapsack : 0.88 0.00 0.87 0.00 0.00 1789.59/1790.02 c setppc : 4.28 0.00 4.28 0.00 0.00 1789.59/1790.02 c linear : 916.44 485.92 430.52 0.00 0.00 1789.59/1790.02 c logicor : 2.11 0.00 2.11 0.00 0.00 1789.59/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.59/1790.02 c Propagators : Time Calls Cutoffs DomReds 1789.59/1790.02 c vbounds : 0.04 2 0 0 1789.59/1790.02 c rootredcost : 0.04 0 0 0 1789.59/1790.02 c pseudoobj : 0.22 31582 0 1 1789.59/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.59/1790.02 c propagation : 216.41 1170 1170 10726 622.5 3 603.7 - 1789.59/1790.02 c infeasible LP : 36.29 313 311 3316 706.0 10 886.2 0 1789.59/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.59/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.59/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.59/1790.02 c applied globally : - - - 7027 468.1 - - - 1789.59/1790.02 c applied locally : - - - 0 0.0 - - - 1789.59/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.59/1790.02 c cut pool : 0.01 5 - - 32 - (maximal pool size: 683) 1789.59/1790.02 c redcost : 10.25 2652 0 0 0 0 1789.59/1790.02 c impliedbounds : 0.02 6 0 0 0 0 1789.59/1790.02 c intobj : 0.00 0 0 0 0 0 1789.59/1790.02 c cgmip : 0.00 0 0 0 0 0 1789.59/1790.02 c gomory : 0.48 6 0 0 30 0 1789.59/1790.02 c strongcg : 0.50 6 0 0 67 0 1789.59/1790.02 c cmir : 3.41 6 0 0 207 0 1789.59/1790.02 c flowcover : 8.96 6 0 0 422 0 1789.59/1790.02 c clique : 0.05 6 0 0 0 0 1789.59/1790.02 c zerohalf : 0.00 0 0 0 0 0 1789.59/1790.02 c mcf : 0.01 1 0 0 0 0 1789.59/1790.02 c rapidlearning : 0.00 0 0 0 0 0 1789.59/1790.02 c Pricers : Time Calls Vars 1789.59/1790.02 c problem variables: 0.00 0 0 1789.59/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.59/1790.02 c relpscost : 219.95 2810 0 733 0 0 4498 1789.59/1790.02 c pscost : 0.00 0 0 0 0 0 0 1789.59/1790.02 c inference : 0.00 0 0 0 0 0 0 1789.59/1790.02 c mostinf : 0.00 0 0 0 0 0 0 1789.59/1790.02 c leastinf : 0.00 0 0 0 0 0 0 1789.59/1790.02 c fullstrong : 0.00 0 0 0 0 0 0 1789.59/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0 1789.59/1790.02 c random : 0.00 0 0 0 0 0 0 1789.59/1790.02 c Primal Heuristics : Time Calls Found 1789.59/1790.02 c LP solutions : 0.00 - 0 1789.59/1790.02 c pseudo solutions : 0.00 - 0 1789.59/1790.02 c oneopt : 0.01 0 0 1789.59/1790.02 c crossover : 0.00 0 0 1789.59/1790.02 c guideddiving : 0.00 0 0 1789.59/1790.02 c intshifting : 0.00 0 0 1789.59/1790.02 c rootsoldiving : 13.98 1 0 1789.59/1790.02 c feaspump : 13.59 3 0 1789.59/1790.02 c veclendiving : 85.78 7 0 1789.59/1790.02 c coefdiving : 70.86 8 0 1789.59/1790.02 c linesearchdiving : 189.79 11 0 1789.59/1790.02 c fracdiving : 121.60 14 0 1789.59/1790.02 c pscostdiving : 151.07 17 0 1789.59/1790.02 c objpscostdiving : 2.30 14 0 1789.59/1790.02 c trivial : 0.05 2 0 1789.59/1790.02 c simplerounding : 0.01 0 0 1789.59/1790.02 c zirounding : 0.35 1000 0 1789.59/1790.02 c rounding : 2.55 763 0 1789.59/1790.02 c shifting : 17.14 165 0 1789.59/1790.02 c twoopt : 0.00 0 0 1789.59/1790.02 c fixandinfer : 0.00 0 0 1789.59/1790.02 c intdiving : 0.00 0 0 1789.59/1790.02 c actconsdiving : 0.00 0 0 1789.59/1790.02 c octane : 0.00 0 0 1789.59/1790.02 c rens : 0.64 1 0 1789.59/1790.02 c rins : 0.00 0 0 1789.59/1790.02 c localbranching : 0.00 0 0 1789.59/1790.02 c mutation : 0.00 0 0 1789.59/1790.02 c dins : 0.00 0 0 1789.59/1790.02 c undercover : 0.00 0 0 1789.59/1790.02 c nlp : 0.00 0 0 1789.59/1790.02 c trysol : 0.01 0 0 1789.59/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1789.59/1790.02 c primal LP : 0.01 0 0 0.00 - 1789.59/1790.02 c dual LP : 147.82 2845 122309 42.99 827.44 1789.59/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1789.59/1790.02 c barrier LP : 0.00 0 0 0.00 - 1789.59/1790.02 c diving/probing LP: 227.89 18739 92002 4.91 403.70 1789.59/1790.02 c strong branching : 219.30 6114 144368 23.61 658.30 1789.59/1790.02 c (at root node) : - 25 2250 90.00 - 1789.59/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1789.59/1790.02 c B&B Tree : 1789.59/1790.02 c number of runs : 1 1789.59/1790.02 c nodes : 2536 1789.59/1790.02 c nodes (total) : 2536 1789.59/1790.02 c nodes left : 1963 1789.59/1790.02 c max depth : 73 1789.59/1790.02 c max depth (total): 73 1789.59/1790.02 c backtracks : 88 (3.5%) 1789.59/1790.02 c delayed cutoffs : 0 1789.59/1790.02 c repropagations : 2029 (470 domain reductions, 0 cutoffs) 1789.59/1790.02 c avg switch length: 3.48 1789.59/1790.02 c switching time : 3.66 1789.59/1790.02 c Solution : 1789.59/1790.02 c Solutions found : 0 (0 improvements) 1789.59/1790.02 c Primal Bound : - 1789.59/1790.02 c Dual Bound : +1.07991556456397e+09 1789.59/1790.02 c Gap : infinite 1789.59/1790.02 c Root Dual Bound : +1.07991163888709e+09 1789.59/1790.02 c Root Iterations : 4898 1789.89/1790.34 c Time complete: 1789.94.
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-2703465-1278557858/watcher-2703465-1278557858 -o /tmp/evaluation-result-2703465-1278557858/solver-2703465-1278557858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703465-1278557858.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 29086 /proc/meminfo: memFree=1706348/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=7904 CPUtime=0 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 1070 0 0 0 0 0 0 0 21 0 1 0 23992466 8093696 981 1992294400 4194304 8395647 140736756459200 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29086/statm: 1976 989 365 1026 0 946 0 [startup+0.093112 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29086 /proc/meminfo: memFree=1706348/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=20148 CPUtime=0.08 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 4309 0 0 0 7 1 0 0 21 0 1 0 23992466 20631552 4220 1992294400 4194304 8395647 140736756459200 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29086/statm: 5037 4220 393 1026 0 4007 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20148 [startup+0.101112 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29086 /proc/meminfo: memFree=1706348/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=20296 CPUtime=0.09 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 4328 0 0 0 8 1 0 0 21 0 1 0 23992466 20783104 4239 1992294400 4194304 8395647 140736756459200 18446744073709551615 6348904 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29086/statm: 5074 4239 393 1026 0 4044 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20296 [startup+0.301125 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29086 /proc/meminfo: memFree=1706348/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=25852 CPUtime=0.3 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 5656 0 0 0 28 2 0 0 21 0 1 0 23992466 26472448 5562 1992294400 4194304 8395647 140736756459200 18446744073709551615 7370118 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29086/statm: 6463 5562 394 1026 0 5433 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 25852 [startup+0.701151 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29086 /proc/meminfo: memFree=1706348/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=66288 CPUtime=0.7 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 15980 0 0 0 64 6 0 0 22 0 1 0 23992466 67878912 15532 1992294400 4194304 8395647 140736756459200 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 16572 15532 431 1026 0 15542 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 66288 [startup+1.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29087 /proc/meminfo: memFree=1642728/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=77352 CPUtime=1.49 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18363 0 0 0 143 6 0 0 25 0 1 0 23992466 79208448 17896 1992294400 4194304 8395647 140736756459200 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19338 17896 553 1026 0 18308 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 77352 [startup+3.10131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29087 /proc/meminfo: memFree=1636404/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=77352 CPUtime=3.09 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18363 0 0 0 303 6 0 0 25 0 1 0 23992466 79208448 17896 1992294400 4194304 8395647 140736756459200 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19338 17896 553 1026 0 18308 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77352 [startup+6.30052 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29087 /proc/meminfo: memFree=1636032/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=77352 CPUtime=6.29 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18363 0 0 0 623 6 0 0 25 0 1 0 23992466 79208448 17896 1992294400 4194304 8395647 140736756459200 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19338 17896 553 1026 0 18308 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77352 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29087 /proc/meminfo: memFree=1635908/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=77352 CPUtime=12.69 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18395 0 0 0 1263 6 0 0 25 0 1 0 23992466 79208448 17896 1992294400 4194304 8395647 140736756459200 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19338 17896 521 1026 0 18308 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77352 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29088 /proc/meminfo: memFree=1635908/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=77352 CPUtime=25.48 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18409 0 0 0 2542 6 0 0 25 0 1 0 23992466 79208448 17897 1992294400 4194304 8395647 140736756459200 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19338 17897 508 1026 0 18308 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77352 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29089 /proc/meminfo: memFree=1635164/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=79136 CPUtime=51.08 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 18858 0 0 0 5102 6 0 0 25 0 1 0 23992466 81035264 18338 1992294400 4194304 8395647 140736756459200 18446744073709551615 5028126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 19784 18338 506 1026 0 18754 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 79136 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29091 /proc/meminfo: memFree=1593252/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=125312 CPUtime=102.28 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 31884 0 0 0 10215 13 0 0 25 0 1 0 23992466 128319488 28644 1992294400 4194304 8395647 140736756459200 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 31328 28644 592 1026 0 30298 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 125312 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29091 /proc/meminfo: memFree=1588416/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=130432 CPUtime=162.25 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 33188 0 0 0 16212 13 0 0 25 0 1 0 23992466 133562368 29948 1992294400 4194304 8395647 140736756459200 18446744073709551615 4904066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 32608 29948 593 1026 0 31578 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 130432 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29102 /proc/meminfo: memFree=1566716/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=153160 CPUtime=222.23 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 38374 0 0 0 22208 15 0 0 25 0 1 0 23992466 156835840 35112 1992294400 4194304 8395647 140736756459200 18446744073709551615 6013880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 38290 35112 684 1026 0 37260 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 153160 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29104 /proc/meminfo: memFree=1562996/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=157148 CPUtime=282.22 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39404 0 0 0 28206 16 0 0 25 0 1 0 23992466 160919552 36082 1992294400 4194304 8395647 140736756459200 18446744073709551615 4331165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39287 36082 624 1026 0 38257 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 157148 [startup+342.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 29106 /proc/meminfo: memFree=1562996/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=157148 CPUtime=342.2 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39404 0 0 0 34204 16 0 0 25 0 1 0 23992466 160919552 36082 1992294400 4194304 8395647 140736756459200 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39287 36082 624 1026 0 38257 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 157148 [startup+402.302 s] /proc/loadavg: 1.12 1.04 1.01 2/107 29107 /proc/meminfo: memFree=1562004/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=159216 CPUtime=402.19 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39667 0 0 0 40203 16 0 0 25 0 1 0 23992466 163037184 36342 1992294400 4194304 8395647 140736756459200 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39804 36342 621 1026 0 38774 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 159216 [startup+462.302 s] /proc/loadavg: 1.04 1.03 1.00 2/107 29108 /proc/meminfo: memFree=1561508/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=159376 CPUtime=462.17 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39801 0 0 0 46201 16 0 0 25 0 1 0 23992466 163201024 36475 1992294400 4194304 8395647 140736756459200 18446744073709551615 4904068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39844 36475 620 1026 0 38814 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 159376 [startup+522.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 29110 /proc/meminfo: memFree=1561260/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=159528 CPUtime=522.17 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39889 0 0 0 52200 17 0 0 25 0 1 0 23992466 163356672 36563 1992294400 4194304 8395647 140736756459200 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39882 36563 620 1026 0 38852 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 159528 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29112 /proc/meminfo: memFree=1561260/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=159528 CPUtime=582.15 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 39889 0 0 0 58198 17 0 0 25 0 1 0 23992466 163356672 36563 1992294400 4194304 8395647 140736756459200 18446744073709551615 4299037 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 39882 36563 620 1026 0 38852 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 159528 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29114 /proc/meminfo: memFree=1556672/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=163296 CPUtime=642.14 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 59355 0 0 0 64172 42 0 0 25 0 1 0 23992466 167215104 37694 1992294400 4194304 8395647 140736756459200 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 40824 37694 642 1026 0 39794 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 163296 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1525672/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=194584 CPUtime=1002.06 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 67046 0 0 0 100067 139 0 0 25 0 1 0 23992466 199254016 45374 1992294400 4194304 8395647 140736756459200 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 48646 45374 642 1026 0 47616 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 194584 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29124 /proc/meminfo: memFree=1513520/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=206532 CPUtime=1062.05 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 70047 0 0 0 106054 151 0 0 25 0 1 0 23992466 211488768 48375 1992294400 4194304 8395647 140736756459200 18446744073709551615 6586915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 51633 48375 642 1026 0 50603 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 206532 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29126 /proc/meminfo: memFree=1508932/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=211328 CPUtime=1122.03 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 71213 0 0 0 112039 164 0 0 25 0 1 0 23992466 216399872 49541 1992294400 4194304 8395647 140736756459200 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 52832 49541 642 1026 0 51802 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 211328 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29128 /proc/meminfo: memFree=1502980/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=217320 CPUtime=1182.02 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 72715 0 0 0 118028 174 0 0 25 0 1 0 23992466 222535680 51043 1992294400 4194304 8395647 140736756459200 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 54330 51043 642 1026 0 53300 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 217320 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29130 /proc/meminfo: memFree=1498516/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=221640 CPUtime=1242 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 73767 0 0 0 124017 183 0 0 25 0 1 0 23992466 226959360 52095 1992294400 4194304 8395647 140736756459200 18446744073709551615 5026404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 55410 52095 642 1026 0 54380 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 221640 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29132 /proc/meminfo: memFree=1494176/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=225764 CPUtime=1302 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 74817 0 0 0 130008 192 0 0 25 0 1 0 23992466 231182336 53145 1992294400 4194304 8395647 140736756459200 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 56441 53145 642 1026 0 55411 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 225764 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29135 /proc/meminfo: memFree=1488720/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=230740 CPUtime=1361.98 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 76139 0 0 0 135993 205 0 0 25 0 1 0 23992466 236277760 54466 1992294400 4194304 8395647 140736756459200 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 57685 54466 740 1026 0 56655 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 230740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29137 /proc/meminfo: memFree=1487852/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=231560 CPUtime=1421.98 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 76387 0 0 0 141983 215 0 0 25 0 1 0 23992466 237117440 54714 1992294400 4194304 8395647 140736756459200 18446744073709551615 6594784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 57890 54714 740 1026 0 56860 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 231560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29139 /proc/meminfo: memFree=1478676/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=240852 CPUtime=1481.95 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 78669 0 0 0 147968 227 0 0 25 0 1 0 23992466 246632448 56996 1992294400 4194304 8395647 140736756459200 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 60213 56996 740 1026 0 59183 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 240852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29141 /proc/meminfo: memFree=1474460/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=245144 CPUtime=1541.94 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 79737 0 0 0 153956 238 0 0 25 0 1 0 23992466 251027456 58061 1992294400 4194304 8395647 140736756459200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 61286 58061 740 1026 0 60256 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 245144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29143 /proc/meminfo: memFree=1470244/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=249352 CPUtime=1601.92 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 80819 0 0 0 159948 244 0 0 25 0 1 0 23992466 255336448 59143 1992294400 4194304 8395647 140736756459200 18446744073709551615 4766955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 62338 59143 740 1026 0 61308 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 249352 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29143 /proc/meminfo: memFree=1466276/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=253420 CPUtime=1661.92 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 81819 0 0 0 165938 254 0 0 25 0 1 0 23992466 259502080 60143 1992294400 4194304 8395647 140736756459200 18446744073709551615 6652555 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 63355 60143 740 1026 0 62325 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 253420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29145 /proc/meminfo: memFree=1463796/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=255804 CPUtime=1721.9 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 82433 0 0 0 171925 265 0 0 25 0 1 0 23992466 261943296 60757 1992294400 4194304 8395647 140736756459200 18446744073709551615 6652352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 63951 60757 740 1026 0 62921 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 255804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29147 /proc/meminfo: memFree=1460820/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258488 CPUtime=1781.89 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83131 0 0 0 177917 272 0 0 25 0 1 0 23992466 264691712 61455 1992294400 4194304 8395647 140736756459200 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 64622 61455 740 1026 0 63592 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 258488 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 29147 /proc/meminfo: memFree=1460820/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258488 CPUtime=1785.09 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83131 0 0 0 178237 272 0 0 25 0 1 0 23992466 264691712 61455 1992294400 4194304 8395647 140736756459200 18446744073709551615 6652348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 64622 61455 740 1026 0 63592 0 Current children cumulated CPU time (s) 1785.09 Current children cumulated vsize (KiB) 258488 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29147 /proc/meminfo: memFree=1460696/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258632 CPUtime=1788.29 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83152 0 0 0 178556 273 0 0 25 0 1 0 23992466 264839168 61476 1992294400 4194304 8395647 140736756459200 18446744073709551615 6574052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 64658 61476 740 1026 0 63628 0 Current children cumulated CPU time (s) 1788.29 Current children cumulated vsize (KiB) 258632 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29147 /proc/meminfo: memFree=1460696/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258772 CPUtime=1789.09 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83177 0 0 0 178636 273 0 0 25 0 1 0 23992466 264982528 61501 1992294400 4194304 8395647 140736756459200 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 64693 61501 740 1026 0 63663 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (KiB) 258772 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29147 /proc/meminfo: memFree=1460696/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258772 CPUtime=1789.49 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83177 0 0 0 178676 273 0 0 25 0 1 0 23992466 264982528 61501 1992294400 4194304 8395647 140736756459200 18446744073709551615 5541118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29086/statm: 64693 61501 740 1026 0 63663 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (KiB) 258772 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29147 /proc/meminfo: memFree=1460696/2059040 swapFree=4121688/4192956 [pid=29086] ppid=29084 vsize=258772 CPUtime=1789.89 /proc/29086/stat : 29086 (pbscip.linux.x8) R 29084 29086 25688 0 -1 4202496 83182 0 0 0 178716 273 0 0 25 0 1 0 23992466 264982528 61506 1992294400 4194304 8395647 140736756459200 18446744073709551615 4750673 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29086/statm: 64693 61506 742 1026 0 63663 0 Current children cumulated CPU time (s) 1789.89 Current children cumulated vsize (KiB) 258772 Child status: 0 Real time (s): 1790.37 CPU time (s): 1789.96 CPU user time (s): 1787.2 CPU system time (s): 2.75958 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 258772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.2 system time used= 2.75958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83183 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= 5 involuntary context switches= 2311 runsolver used 2.95555 second user time and 8.45172 second system time The end
Begin job on node052 at 2010-07-08 04:57:38 IDJOB=2703465 IDBENCH=2352 IDSOLVER=1213 FILE ID=node052/2703465-1278557858 PBS_JOBID= 11239489 Free space on /tmp= 62536 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-blp-ar98.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-2703465-1278557858/watcher-2703465-1278557858 -o /tmp/evaluation-result-2703465-1278557858/solver-2703465-1278557858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703465-1278557858.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 523aad2a62a776290fed26e3ef5d80ef RANDOM SEED=2140009447 node052.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.213 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.42 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.213 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1706752 kB Buffers: 40884 kB Cached: 206832 kB SwapCached: 25068 kB Active: 118328 kB Inactive: 155632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706752 kB SwapTotal: 4192956 kB SwapFree: 4121688 kB Dirty: 12944 kB Writeback: 0 kB AnonPages: 10888 kB Mapped: 6916 kB Slab: 56340 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180768 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= 62524 MiB End job on node052 at 2010-07-08 05:27:29