Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.47 | 1800.43 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo |
MD5SUM | 7efdf9913882433684cdc1d0f3b36335 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1212.47 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 21380 |
Total number of constraints | 60984 |
Number of soft constraints | 20761 |
Number of constraints which are clauses | 58828 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2156 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
Top cost | 1041832 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1041831 |
Biggest number in a constraint | 73 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 262 |
Number of bits of the biggest sum of numbers | 9 |
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 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-2693700-1277915086.wbo> 0.49/0.54 c original problem has 62902 variables (42141 bin, 0 int, 0 impl, 20761 cont) and 81746 constraints 0.49/0.54 c problem read 0.49/0.54 c presolving settings loaded 0.49/0.54 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.89/0.90 c presolving: 1.10/1.19 c (round 1) 367 del vars, 17 del conss, 3 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs 1.19/1.23 c (round 2) 373 del vars, 744 del conss, 5 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs 1.19/1.27 c (round 3) 380 del vars, 749 del conss, 7 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 430988 impls, 0 clqs 20.59/20.64 c (20.0s) probing: 1000/41765 (2.4%) - 1 fixings, 6 aggregations, 70101 implications, 0 bound changes 36.89/36.98 c (36.3s) probing: 2000/41765 (4.8%) - 1 fixings, 11 aggregations, 100717 implications, 0 bound changes 52.19/52.23 c (51.5s) probing: 3000/41765 (7.2%) - 1 fixings, 16 aggregations, 120937 implications, 0 bound changes 65.19/65.27 c (64.5s) probing: 4000/41765 (9.6%) - 1 fixings, 18 aggregations, 133179 implications, 0 bound changes 78.00/78.04 c (77.3s) probing: 5000/41765 (12.0%) - 1 fixings, 20 aggregations, 142181 implications, 0 bound changes 90.20/90.29 c (89.5s) probing: 6000/41765 (14.4%) - 1 fixings, 20 aggregations, 146901 implications, 0 bound changes 101.99/102.05 c (101.3s) probing: 7000/41765 (16.8%) - 1 fixings, 24 aggregations, 150037 implications, 0 bound changes 113.69/113.78 c (113.0s) probing: 8000/41765 (19.2%) - 1 fixings, 24 aggregations, 156178 implications, 0 bound changes 125.19/125.29 c (124.5s) probing: 9000/41765 (21.5%) - 1 fixings, 25 aggregations, 159875 implications, 0 bound changes 137.20/137.22 c (136.4s) probing: 10000/41765 (23.9%) - 1 fixings, 25 aggregations, 162795 implications, 0 bound changes 140.49/140.55 c (139.7s) probing: 10292/41765 (24.6%) - 1 fixings, 25 aggregations, 163273 implications, 0 bound changes 140.49/140.55 c (139.7s) probing aborted: 2000/2000 successive useless probings 140.49/140.55 c (round 4) 408 del vars, 753 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 1083675 impls, 0 clqs 140.59/140.63 c (round 5) 409 del vars, 804 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 0 upgd conss, 1083675 impls, 0 clqs 140.90/140.91 c (round 6) 410 del vars, 805 del conss, 20762 chg bounds, 1078 chg sides, 2158 chg coeffs, 39437 upgd conss, 1083675 impls, 0 clqs 143.89/143.93 c (143.1s) probing: 10492/41765 (25.1%) - 1 fixings, 25 aggregations, 166708 implications, 0 bound changes 143.89/143.93 c (143.1s) probing aborted: 2000/2000 successive useless probings 143.89/143.94 c presolving (7 rounds): 143.89/143.94 c 410 deleted vars, 805 deleted constraints, 20762 tightened bounds, 0 added holes, 1078 changed sides, 2158 changed coefficients 143.89/143.94 c 1091111 implications, 0 cliques 143.89/143.94 c presolved problem has 62492 variables (41738 bin, 0 int, 0 impl, 20754 cont) and 80941 constraints 143.89/143.94 c 20754 constraints of type <indicator> 143.89/143.94 c 4 constraints of type <varbound> 143.89/143.94 c 1420 constraints of type <knapsack> 143.89/143.94 c 20750 constraints of type <linear> 143.89/143.94 c 38013 constraints of type <logicor> 143.89/143.94 c transformed objective value is always integral (scale: 1) 143.89/143.94 c Presolving Time: 142.88 143.89/143.94 c - non default parameters ---------------------------------------------------------------------- 143.89/143.94 c # SCIP version 1.2.1.2 143.89/143.94 c 143.89/143.94 c # frequency for displaying node information lines 143.89/143.94 c # [type: int, range: [-1,2147483647], default: 100] 143.89/143.94 c display/freq = 10000 143.89/143.94 c 143.89/143.94 c # maximal time in seconds to run 143.89/143.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 143.89/143.94 c limits/time = 1799.46 143.89/143.94 c 143.89/143.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 143.89/143.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 143.89/143.94 c limits/memory = 3420 143.89/143.94 c 143.89/143.94 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 143.89/143.94 c # [type: int, range: [-1,2147483647], default: 1] 143.89/143.94 c lp/solvefreq = -1 143.89/143.94 c 143.89/143.94 c # should presolving try to simplify inequalities 143.89/143.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 143.89/143.94 c constraints/linear/simplifyinequalities = TRUE 143.89/143.94 c 143.89/143.94 c # should presolving try to simplify knapsacks 143.89/143.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 143.89/143.94 c constraints/knapsack/simplifyinequalities = TRUE 143.89/143.94 c 143.89/143.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 143.89/143.94 c # [type: int, range: [-1,2147483647], default: -1] 143.89/143.94 c separating/rapidlearning/freq = 0 143.89/143.94 c 143.89/143.94 c ----------------------------------------------------------------------------------------------- 143.89/143.94 c start solving 143.89/143.96 c 144.00/144.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 144.00/144.10 c 143s| 1 | 2 | 0 | - | 241M| 0 | - | 62k| 80k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 457.20/457.21 c 456s| 10000 | 10001 | 0 | 0.0 | 265M| 121 | - | 62k| 80k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 784.01/784.04 c 782s| 20000 | 19995 | 0 | 0.0 | 289M| 121 | - | 62k| 80k| 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf 1105.72/1105.74 c 1104s| 30000 | 29995 | 0 | 0.0 | 315M| 121 | - | 62k| 80k| 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf 1420.63/1420.65 c 1418s| 40000 | 39993 | 0 | 0.0 | 340M| 121 | - | 62k| 80k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf 1735.23/1735.24 c 1732s| 50000 | 49993 | 0 | 0.0 | 363M| 121 | - | 62k| 80k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf 1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.02 c 1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.02 c Solving Time (sec) : 1797.01 1800.04/1800.02 c Solving Nodes : 52074 1800.04/1800.02 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.02 c Dual Bound : +0.00000000000000e+00 1800.04/1800.02 c Gap : infinite 1800.04/1800.02 s UNKNOWN 1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.02 c Solving Time : 1797.01 1800.04/1800.02 c Original Problem : 1800.04/1800.02 c Problem name : HOME/instance-2693700-1277915086.wbo 1800.04/1800.02 c Variables : 62902 (42141 binary, 0 integer, 0 implicit integer, 20761 continuous) 1800.04/1800.02 c Constraints : 81746 initial, 81746 maximal 1800.04/1800.02 c Presolved Problem : 1800.04/1800.02 c Problem name : t_HOME/instance-2693700-1277915086.wbo 1800.04/1800.02 c Variables : 62492 (41738 binary, 0 integer, 0 implicit integer, 20754 continuous) 1800.04/1800.02 c Constraints : 80941 initial, 80944 maximal 1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.02 c trivial : 0.04 0 0 0 0 0 0 0 0 1800.04/1800.02 c dualfix : 0.00 13 0 0 0 0 0 0 0 1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c implics : 0.03 0 359 0 0 0 0 0 0 1800.04/1800.02 c probing : 141.93 1 25 0 0 0 0 0 0 1800.04/1800.02 c indicator : 0.02 0 0 0 0 0 7 0 0 1800.04/1800.02 c varbound : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.02 c knapsack : 0.02 0 0 0 0 0 0 0 0 1800.04/1800.02 c linear : 0.57 7 5 0 20762 0 798 1078 2158 1800.04/1800.02 c logicor : 0.08 0 0 0 0 0 0 0 0 1800.04/1800.02 c root node : - 0 - - 0 - - - - 1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.02 c indicator : 20754 0 311412 0 52070 0 9448 0 0 0 1800.04/1800.02 c varbound : 4 0 282628 0 52070 0 0 0 0 0 1800.04/1800.02 c knapsack : 1420 0 282628 0 52070 0 3 0 0 0 1800.04/1800.02 c linear : 20750 0 311412 0 52070 0 9444 0 0 0 1800.04/1800.02 c logicor : 38013+ 0 273952 0 52070 4 1905098 0 0 0 1800.04/1800.02 c countsols : 0 0 0 0 52070 0 0 0 0 0 1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.02 c indicator : 355.02 0.00 181.22 0.00 173.80 1800.04/1800.02 c varbound : 0.46 0.00 0.40 0.00 0.06 1800.04/1800.02 c knapsack : 15.84 0.00 15.73 0.00 0.11 1800.04/1800.02 c linear : 251.78 0.00 251.36 0.00 0.42 1800.04/1800.02 c logicor : 382.55 0.00 9.90 0.00 372.65 1800.04/1800.02 c countsols : 0.03 0.00 0.00 0.00 0.03 1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.02 c vbounds : 0.22 4203 0 0 1800.04/1800.02 c rootredcost : 0.19 0 0 0 1800.04/1800.02 c pseudoobj : 282.50 281933 0 0 1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.02 c propagation : 0.00 4 4 4 3.0 0 0.0 - 1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.02 c applied globally : - - - 4 3.0 - - - 1800.04/1800.02 c applied locally : - - - 0 0.0 - - - 1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.04/1800.02 c redcost : 0.00 0 0 0 0 0 1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0 1800.04/1800.02 c intobj : 0.00 0 0 0 0 0 1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.02 c gomory : 0.00 0 0 0 0 0 1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0 1800.04/1800.02 c cmir : 0.00 0 0 0 0 0 1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.02 c clique : 0.00 0 0 0 0 0 1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.02 c mcf : 0.00 0 0 0 0 0 1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.02 c Pricers : Time Calls Vars 1800.04/1800.02 c problem variables: 0.00 0 0 1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0 1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.02 c inference : 439.57 52070 0 0 0 0 104140 1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.02 c random : 0.00 0 0 0 0 0 0 1800.04/1800.02 c Primal Heuristics : Time Calls Found 1800.04/1800.02 c LP solutions : 0.00 - 0 1800.04/1800.02 c pseudo solutions : 0.00 - 0 1800.04/1800.02 c oneopt : 0.01 0 0 1800.04/1800.02 c trivial : 0.15 2 0 1800.04/1800.02 c simplerounding : 0.00 0 0 1800.04/1800.02 c zirounding : 0.00 0 0 1800.04/1800.02 c rounding : 0.00 0 0 1800.04/1800.02 c shifting : 0.00 0 0 1800.04/1800.02 c intshifting : 0.00 0 0 1800.04/1800.02 c twoopt : 0.00 0 0 1800.04/1800.02 c fixandinfer : 0.00 0 0 1800.04/1800.02 c feaspump : 0.00 0 0 1800.04/1800.02 c coefdiving : 0.00 0 0 1800.04/1800.02 c pscostdiving : 0.00 0 0 1800.04/1800.02 c fracdiving : 0.00 0 0 1800.04/1800.02 c veclendiving : 0.00 0 0 1800.04/1800.02 c intdiving : 0.00 0 0 1800.04/1800.02 c actconsdiving : 0.00 0 0 1800.04/1800.02 c objpscostdiving : 0.00 0 0 1800.04/1800.02 c rootsoldiving : 0.00 0 0 1800.04/1800.02 c linesearchdiving : 0.00 0 0 1800.04/1800.02 c guideddiving : 0.00 0 0 1800.04/1800.02 c octane : 0.00 0 0 1800.04/1800.02 c rens : 0.00 0 0 1800.04/1800.02 c rins : 0.00 0 0 1800.04/1800.02 c localbranching : 0.00 0 0 1800.04/1800.02 c mutation : 0.00 0 0 1800.04/1800.02 c crossover : 0.00 0 0 1800.04/1800.02 c dins : 0.00 0 0 1800.04/1800.02 c undercover : 0.00 0 0 1800.04/1800.02 c nlp : 0.01 0 0 1800.04/1800.02 c trysol : 0.05 1 0 1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.02 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.02 c dual LP : 0.00 0 0 0.00 - 1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.02 c strong branching : 0.00 0 0 0.00 - 1800.04/1800.02 c (at root node) : - 0 0 0.00 - 1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.02 c B&B Tree : 1800.04/1800.02 c number of runs : 1 1800.04/1800.02 c nodes : 52074 1800.04/1800.02 c nodes (total) : 52074 1800.04/1800.02 c nodes left : 52067 1800.04/1800.02 c max depth : 121 1800.04/1800.02 c max depth (total): 121 1800.04/1800.02 c backtracks : 822 (1.6%) 1800.04/1800.02 c delayed cutoffs : 0 1800.04/1800.02 c repropagations : 74 (298 domain reductions, 0 cutoffs) 1800.04/1800.02 c avg switch length: 2.45 1800.04/1800.02 c switching time : 7.25 1800.04/1800.02 c Solution : 1800.04/1800.02 c Solutions found : 0 (0 improvements) 1800.04/1800.02 c Primal Bound : - 1800.04/1800.02 c Dual Bound : +0.00000000000000e+00 1800.04/1800.02 c Gap : infinite 1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.02 c Root Iterations : 0 1800.43/1800.42 c Time complete: 1800.46.
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-2693700-1277915086/watcher-2693700-1277915086 -o /tmp/evaluation-result-2693700-1277915086/solver-2693700-1277915086 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693700-1277915086.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 2.02 4/178 13726 /proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=8300 CPUtime=0 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 1553 0 0 0 0 0 0 0 24 0 1 0 132805575 8499200 1475 4089446400 4194304 7136930 140735926324672 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13726/statm: 2075 1475 275 719 0 1354 0 [startup+0.02433 s] /proc/loadavg: 1.92 1.98 2.02 4/178 13726 /proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=11868 CPUtime=0.02 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 2463 0 0 0 2 0 0 0 24 0 1 0 132805575 12152832 2385 4089446400 4194304 7136930 140735926324672 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13726/statm: 2967 2385 275 719 0 2246 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11868 [startup+0.100325 s] /proc/loadavg: 1.92 1.98 2.02 4/178 13726 /proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=26892 CPUtime=0.09 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 6225 0 0 0 9 0 0 0 24 0 1 0 132805575 27537408 6147 4089446400 4194304 7136930 140735926324672 18446744073709551615 6269137 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13726/statm: 6723 6147 275 719 0 6002 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26892 [startup+0.300313 s] /proc/loadavg: 1.92 1.98 2.02 4/178 13726 /proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=58136 CPUtime=0.29 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 14026 0 0 0 27 2 0 0 25 0 1 0 132805575 59531264 13948 4089446400 4194304 7136930 140735926324672 18446744073709551615 4400167 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13726/statm: 14534 13948 275 719 0 13813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 58136 [startup+0.700212 s] /proc/loadavg: 1.92 1.98 2.02 4/178 13726 /proc/meminfo: memFree=31264424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=192788 CPUtime=0.69 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 47726 0 0 0 63 6 0 0 25 0 1 0 132805575 197414912 47258 4089446400 4194304 7136930 140735926324672 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 48197 47258 289 719 0 47476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 192788 [startup+1.50113 s] /proc/loadavg: 1.92 1.98 2.02 3/179 13727 /proc/meminfo: memFree=31030048/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=264128 CPUtime=1.49 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 67058 0 0 0 136 13 0 0 25 0 1 0 132805575 270467072 63889 4089446400 4194304 7136930 140735926324672 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 66032 63889 368 719 0 65311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 264128 [startup+3.10079 s] /proc/loadavg: 1.92 1.98 2.02 3/179 13727 /proc/meminfo: memFree=31007976/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=266036 CPUtime=3.09 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 67501 0 0 0 295 14 0 0 25 0 1 0 132805575 272420864 64332 4089446400 4194304 7136930 140735926324672 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 66509 64332 368 719 0 65788 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 266036 [startup+6.30023 s] /proc/loadavg: 1.93 1.98 2.02 3/179 13727 /proc/meminfo: memFree=31003580/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=269052 CPUtime=6.29 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 68254 0 0 0 615 14 0 0 25 0 1 0 132805575 275509248 65085 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 67263 65085 368 719 0 66542 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 269052 [startup+12.7011 s] /proc/loadavg: 1.93 1.98 2.02 3/179 13727 /proc/meminfo: memFree=30995892/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=275388 CPUtime=12.7 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 69862 0 0 0 1255 15 0 0 25 0 1 0 132805575 281997312 66693 4089446400 4194304 7136930 140735926324672 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 68847 66693 368 719 0 68126 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 275388 [startup+25.5008 s] /proc/loadavg: 1.95 1.98 2.02 3/179 13727 /proc/meminfo: memFree=30986680/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=281644 CPUtime=25.49 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 71415 0 0 0 2532 17 0 0 25 0 1 0 132805575 288403456 68246 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13726/statm: 70411 68246 374 719 0 69690 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 281644 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 2.02 3/179 13728 /proc/meminfo: memFree=30965872/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=291848 CPUtime=51.1 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 73829 0 0 0 5090 20 0 0 25 0 1 0 132805575 298852352 70660 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 72962 70660 374 719 0 72241 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 291848 [startup+102.306 s] /proc/loadavg: 1.98 1.98 2.01 3/179 13729 /proc/meminfo: memFree=30940668/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=296660 CPUtime=102.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 75024 0 0 0 10204 26 0 0 25 0 1 0 132805575 303779840 71855 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 74165 71855 374 719 0 73444 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 296660 [startup+162.301 s] /proc/loadavg: 1.99 1.98 2.01 3/179 13731 /proc/meminfo: memFree=30886680/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=333816 CPUtime=162.29 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 89090 0 0 0 16190 39 0 0 25 0 1 0 132805575 341827584 80113 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 83454 80113 406 719 0 82733 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 333816 [startup+222.3 s] /proc/loadavg: 1.99 1.98 2.00 3/179 13733 /proc/meminfo: memFree=30852048/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=339064 CPUtime=222.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 90359 0 0 0 22182 48 0 0 25 0 1 0 132805575 347201536 81382 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 84766 81382 406 719 0 84045 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 339064 [startup+282.301 s] /proc/loadavg: 1.99 1.98 2.00 3/179 13735 /proc/meminfo: memFree=30819772/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=344688 CPUtime=282.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 91701 0 0 0 28175 55 0 0 25 0 1 0 132805575 352960512 82724 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 86172 82724 406 719 0 85451 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 344688 [startup+342.301 s] /proc/loadavg: 1.99 1.98 2.00 3/179 13736 /proc/meminfo: memFree=30788848/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=350392 CPUtime=342.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 93083 0 0 0 34168 62 0 0 25 0 1 0 132805575 358801408 84106 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 87598 84106 406 719 0 86877 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 350392 [startup+402.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 13740 /proc/meminfo: memFree=30761896/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=354336 CPUtime=402.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 94012 0 0 0 40161 69 0 0 25 0 1 0 132805575 362840064 85035 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 88584 85035 406 719 0 87863 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 354336 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13742 /proc/meminfo: memFree=30731156/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=359304 CPUtime=462.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 95178 0 0 0 46153 77 0 0 25 0 1 0 132805575 367927296 86201 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 89826 86201 406 719 0 89105 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 359304 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13744 /proc/meminfo: memFree=30707436/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=363156 CPUtime=522.3 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 96118 0 0 0 52145 85 0 0 25 0 1 0 132805575 371871744 87141 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 90789 87141 406 719 0 90068 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 363156 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13746 /proc/meminfo: memFree=30675784/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=368824 CPUtime=582.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 97491 0 0 0 58137 94 0 0 25 0 1 0 132805575 377675776 88514 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 92206 88514 406 719 0 91485 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 368824 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13747 /proc/meminfo: memFree=30654424/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=372728 CPUtime=642.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 98395 0 0 0 64128 103 0 0 25 0 1 0 132805575 381673472 89418 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 93182 89418 406 719 0 92461 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 372728 [startup+702.301 s] ################ # More data... # ################ [startup+942.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13783 /proc/meminfo: memFree=31157892/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=405176 CPUtime=942.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 106222 0 0 0 94090 141 0 0 25 0 1 0 132805575 414900224 97245 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 101294 97245 410 719 0 100573 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 405176 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13784 /proc/meminfo: memFree=31131924/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=410080 CPUtime=1002.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 107380 0 0 0 100082 149 0 0 25 0 1 0 132805575 419921920 98403 4089446400 4194304 7136930 140735926324672 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 102520 98403 410 719 0 101799 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 410080 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13786 /proc/meminfo: memFree=31107468/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=415804 CPUtime=1062.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 108704 0 0 0 106074 157 0 0 25 0 1 0 132805575 425783296 99727 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 103951 99727 410 719 0 103230 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 415804 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13788 /proc/meminfo: memFree=31080264/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=422224 CPUtime=1122.31 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 110218 0 0 0 112067 164 0 0 25 0 1 0 132805575 432357376 101241 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 105556 101241 410 719 0 104835 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 422224 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13790 /proc/meminfo: memFree=31055168/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=427468 CPUtime=1182.32 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 111452 0 0 0 118059 173 0 0 25 0 1 0 132805575 437727232 102475 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 106867 102475 410 719 0 106146 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 427468 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13791 /proc/meminfo: memFree=31029208/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=435904 CPUtime=1242.32 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 113488 0 0 0 124051 181 0 0 25 0 1 0 132805575 446365696 104511 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 108976 104511 410 719 0 108255 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 435904 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13793 /proc/meminfo: memFree=31001016/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=442024 CPUtime=1302.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 114835 0 0 0 130045 188 0 0 25 0 1 0 132805575 452632576 105858 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 110506 105858 410 719 0 109785 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 442024 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13794 /proc/meminfo: memFree=30980764/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=446500 CPUtime=1362.32 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 115918 0 0 0 136036 196 0 0 25 0 1 0 132805575 457216000 106941 4089446400 4194304 7136930 140735926324672 18446744073709551615 5507413 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 111625 106941 410 719 0 110904 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 446500 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13796 /proc/meminfo: memFree=30955676/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=451396 CPUtime=1422.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 117053 0 0 0 142029 204 0 0 25 0 1 0 132805575 462229504 108076 4089446400 4194304 7136930 140735926324672 18446744073709551615 4696948 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 112849 108076 410 719 0 112128 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 451396 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13798 /proc/meminfo: memFree=30930968/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=456976 CPUtime=1482.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 118407 0 0 0 148020 213 0 0 25 0 1 0 132805575 467943424 109430 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 114244 109430 410 719 0 113523 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 456976 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13799 /proc/meminfo: memFree=30907720/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=460932 CPUtime=1542.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 119326 0 0 0 154013 220 0 0 25 0 1 0 132805575 471994368 110349 4089446400 4194304 7136930 140735926324672 18446744073709551615 4697603 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 115233 110349 410 719 0 114512 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 460932 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13800 /proc/meminfo: memFree=30884112/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=465440 CPUtime=1602.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 120450 0 0 0 160005 228 0 0 25 0 1 0 132805575 476610560 111473 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 116360 111473 410 719 0 115639 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 465440 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13802 /proc/meminfo: memFree=30863228/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=468992 CPUtime=1662.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 121311 0 0 0 165997 236 0 0 25 0 1 0 132805575 480247808 112334 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 117248 112334 410 719 0 116527 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 468992 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13804 /proc/meminfo: memFree=30838864/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=472704 CPUtime=1722.34 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 122098 0 0 0 171989 245 0 0 25 0 1 0 132805575 484048896 113121 4089446400 4194304 7136930 140735926324672 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 118176 113121 410 719 0 117455 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 472704 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 13806 /proc/meminfo: memFree=30816132/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=479052 CPUtime=1782.33 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123486 0 0 0 177981 252 0 0 25 0 1 0 132805575 490549248 114509 4089446400 4194304 7136930 140735926324672 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 119763 114509 410 719 0 119042 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 479052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13806 /proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=479788 CPUtime=1800.04 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123690 0 0 0 179750 254 0 0 25 0 1 0 132805575 491302912 114713 4089446400 4194304 7136930 140735926324672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13726/statm: 119947 114713 410 719 0 119226 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 479788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13806 /proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=464908 CPUtime=1800.23 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123696 0 0 0 179769 254 0 0 25 0 1 0 132805575 476065792 111365 4089446400 4194304 7136930 140735926324672 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13726/statm: 116227 111365 416 719 0 115506 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 464908 [startup+1800.4 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13806 /proc/meminfo: memFree=30810536/32950928 swapFree=67111528/67111528 [pid=13726] ppid=13724 vsize=103636 CPUtime=1800.43 /proc/13726/stat : 13726 (pbscip.linux.x8) R 13724 13726 13345 0 -1 4202496 123696 0 0 0 179788 255 0 0 25 0 1 0 132805575 106123264 24765 4089446400 4194304 7136930 140735926324672 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13726/statm: 25909 24765 416 719 0 25188 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 103636 Child status: 0 Real time (s): 1800.43 CPU time (s): 1800.47 CPU user time (s): 1797.9 CPU system time (s): 2.56561 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 479788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.9 system time used= 2.56561 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123703 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= 1 involuntary context switches= 3074 runsolver used 3.15052 second user time and 6.60699 second system time The end
Begin job on node120 at 2010-06-30 18:24:46 IDJOB=2693700 IDBENCH=79046 IDSOLVER=1206 FILE ID=node120/2693700-1277915086 PBS_JOBID= 11197310 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693700-1277915086/watcher-2693700-1277915086 -o /tmp/evaluation-result-2693700-1277915086/solver-2693700-1277915086 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693700-1277915086.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7efdf9913882433684cdc1d0f3b36335 RANDOM SEED=1868446209 node120.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31265076 kB Buffers: 199628 kB Cached: 941896 kB SwapCached: 0 kB Active: 946684 kB Inactive: 595968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31265076 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5080 kB Writeback: 0 kB AnonPages: 401820 kB Mapped: 17796 kB Slab: 78532 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 556016 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node120 at 2010-06-30 18:54:48