Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | OPT | 3 | 15.4207 | 15.431 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb |
MD5SUM | 133707692e98c55077a0d19203c18204 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 12.7321 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver Clp 1.8.2 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1870045-1245188376.opb> 0.00/0.01 c original problem has 648 variables (648 bin, 0 int, 0 impl, 0 cont) and 499 constraints 0.00/0.02 c start presolving problem 0.00/0.02 c presolving: 0.07/0.10 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 49 chg coeffs, 0 upgd conss, 2544 impls, 0 clqs 0.09/0.10 c (round 2) 24 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 65 chg coeffs, 7 upgd conss, 3984 impls, 0 clqs 0.09/0.10 c (round 3) 42 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 81 chg coeffs, 7 upgd conss, 5136 impls, 0 clqs 0.09/0.11 c (round 4) 60 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 97 chg coeffs, 7 upgd conss, 6000 impls, 0 clqs 0.09/0.11 c (round 5) 78 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 113 chg coeffs, 7 upgd conss, 6576 impls, 0 clqs 0.09/0.11 c (round 6) 96 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs 0.09/0.11 c (round 7) 114 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 145 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs 0.09/0.14 c (0.1s) probing: 190/534 (35.6%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes 0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.14 c presolving (8 rounds): 0.09/0.14 c 114 deleted vars, 96 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 145 changed coefficients 0.09/0.14 c 6888 implications, 0 cliques 0.09/0.14 c presolved problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 397 constraints 0.09/0.14 c 384 constraints of type <and> 0.09/0.14 c 6 constraints of type <linear> 0.09/0.14 c 7 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 2) 0.09/0.14 c Presolving Time: 0.07 0.09/0.14 c OPT-NLC 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = c 1620 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = c 1791 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = c 10000 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving problem 0.09/0.14 c 0.09/0.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.15 c 0.1s| 1 | 0 | 23 |2436k| 0 | 15 | 534 | 397 | 397 | 534 | 781 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.22 c 0.1s| 1 | 0 | 413 |2457k| 0 | 19 | 534 | 397 | 397 | 534 | 787 | 6 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 421 |2460k| 0 | 19 | 534 | 397 | 397 | 534 | 788 | 7 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 424 |2462k| 0 | 11 | 534 | 397 | 397 | 534 | 789 | 8 | 0 | 0 | 3.000000e+00 | -- | Inf 0.29/0.32 c 0.2s| 1 | 0 | 428 |2475k| 0 | 31 | 534 | 397 | 397 | 534 | 792 | 11 | 0 | 0 | 3.000000e+00 | -- | Inf 0.29/0.37 c 0.3s| 1 | 0 | 432 |2476k| 0 | 33 | 534 | 397 | 397 | 534 | 795 | 14 | 0 | 0 | 3.000000e+00 | -- | Inf 0.49/0.50 c 0.4s| 1 | 2 | 432 |2476k| 0 | 33 | 534 | 397 | 397 | 534 | 795 | 14 | 0 | 22 | 3.000000e+00 | -- | Inf 15.39/15.41 o 3 15.39/15.41 c *15.1s| 3033 | 0 | 38074 |3443k| 85 | - | 534 |1436 | 250 | 534 | 315 | 17k|1052 |3557 | 3.000000e+00 | 3.000000e+00 | 0.00% 15.39/15.41 c 15.39/15.41 c SCIP Status : problem is solved [optimal solution found] 15.39/15.41 c Solving Time (sec) : 15.14 15.39/15.41 c Solving Nodes : 3033 15.39/15.41 c Primal Bound : +3.00000000000000e+00 (1 solutions) 15.39/15.41 c Dual Bound : +3.00000000000000e+00 15.39/15.41 c Gap : 0.00 % 15.39/15.41 c NODE 3033 15.39/15.41 c DUAL BOUND 3 15.39/15.41 c PRIMAL BOUND 3 15.39/15.41 c GAP 0 15.39/15.41 s OPTIMUM FOUND 15.39/15.41 v -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x108 -x107 -x106 -x105 15.39/15.41 v x104 -x103 -x102 x101 x100 -x144 -x143 -x142 x141 x140 x139 -x138 x137 -x136 -x99 -x98 -x97 x96 x95 x94 x93 -x92 x91 -x135 -x134 15.39/15.41 v -x133 -x132 x131 x130 x129 -x128 -x127 -x90 -x89 x88 x87 -x86 x85 x84 -x83 x82 -x126 x125 -x124 -x123 -x122 x121 x120 x119 15.39/15.41 v x118 x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x72 x71 -x70 -x69 x68 15.39/15.41 v -x67 x66 x65 x64 -x63 x62 -x61 x60 x59 x58 -x57 x56 x55 -x54 x53 -x52 -x51 -x50 x49 x48 x47 x46 x45 -x44 -x43 -x42 x41 -x40 15.39/15.41 v -x39 -x38 x37 -x36 -x35 -x34 x33 -x32 x31 x30 -x29 x28 x27 x26 x25 x24 -x23 -x22 x21 x20 x19 -x18 x17 x16 -x15 x14 x13 x12 -x11 15.39/15.41 v x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 15.39/15.41 c SCIP Status : problem is solved [optimal solution found] 15.39/15.41 c Solving Time : 15.14 15.39/15.41 c Original Problem : 15.39/15.41 c Problem name : HOME/instance-1870045-1245188376.opb 15.39/15.41 c Variables : 648 (648 binary, 0 integer, 0 implicit integer, 0 continuous) 15.39/15.41 c Constraints : 499 initial, 499 maximal 15.39/15.41 c Presolved Problem : 15.39/15.41 c Problem name : t_HOME/instance-1870045-1245188376.opb 15.39/15.41 c Variables : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous) 15.39/15.41 c Constraints : 397 initial, 1436 maximal 15.39/15.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 15.39/15.41 c trivial : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c dualfix : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c boundshift : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c implics : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c probing : 0.03 0 0 0 0 0 0 0 0 15.39/15.41 c and : 0.03 12 96 0 0 0 96 0 96 15.39/15.41 c linear : 0.01 1 5 0 0 0 0 0 49 15.39/15.41 c logicor : 0.00 0 0 0 0 0 0 0 0 15.39/15.41 c root node : - 0 - - 0 - - - - 15.39/15.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 15.39/15.41 c integral : 0 0 0 2624 0 0 117 0 0 5106 15.39/15.41 c and : 384 7108 8745 0 0 192 15418 17763 0 0 15.39/15.41 c linear : 6 6 8552 0 0 527 5825 0 0 0 15.39/15.41 c logicor : 7+ 6 3646 0 0 25 878 0 0 0 15.39/15.41 c countsols : 0 0 0 1 0 0 0 0 0 0 15.39/15.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 15.39/15.41 c integral : 2.25 0.00 0.00 2.25 0.00 15.39/15.41 c and : 0.61 0.41 0.20 0.00 0.00 15.39/15.41 c linear : 0.37 0.00 0.37 0.00 0.00 15.39/15.41 c logicor : 0.05 0.00 0.05 0.00 0.00 15.39/15.41 c countsols : 0.00 0.00 0.00 0.00 0.00 15.39/15.41 c Propagators : Time Calls Cutoffs DomReds 15.39/15.41 c rootredcost : 0.00 0 0 0 15.39/15.41 c pseudoobj : 0.01 8356 0 0 15.39/15.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 15.39/15.41 c propagation : 0.22 744 743 7518 67.4 168 56.9 - 15.39/15.41 c infeasible LP : 0.00 7 0 0 0.0 0 0.0 0 15.39/15.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 15.39/15.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 15.39/15.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 15.39/15.41 c applied globally : - - - 1045 24.2 - - - 15.39/15.41 c applied locally : - - - 7 68.7 - - - 15.39/15.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss 15.39/15.41 c cut pool : 0.00 5 - - 1 - (maximal pool size: 17) 15.39/15.41 c redcost : 0.09 7109 0 0 0 0 15.39/15.41 c impliedbounds : 0.00 6 0 0 8 0 15.39/15.41 c intobj : 0.00 0 0 0 0 0 15.39/15.41 c gomory : 0.03 6 0 0 2 0 15.39/15.41 c strongcg : 0.03 6 0 0 2 0 15.39/15.41 c cmir : 0.03 6 0 0 12 0 15.39/15.41 c flowcover : 0.10 6 0 0 19 0 15.39/15.41 c clique : 0.00 1 0 0 0 0 15.39/15.41 c zerohalf : 0.00 0 0 0 0 0 15.39/15.41 c mcf : 0.00 1 0 0 0 0 15.39/15.41 c Pricers : Time Calls Vars 15.39/15.41 c problem variables: 0.00 0 0 15.39/15.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 15.39/15.41 c relpscost : 2.25 2623 0 117 0 0 5106 15.39/15.41 c pscost : 0.00 0 0 0 0 0 0 15.39/15.41 c inference : 0.00 0 0 0 0 0 0 15.39/15.41 c mostinf : 0.00 0 0 0 0 0 0 15.39/15.41 c leastinf : 0.00 0 0 0 0 0 0 15.39/15.41 c fullstrong : 0.00 0 0 0 0 0 0 15.39/15.41 c allfullstrong : 0.00 0 0 0 0 0 0 15.39/15.41 c random : 0.00 0 0 0 0 0 0 15.39/15.41 c Primal Heuristics : Time Calls Found 15.39/15.41 c LP solutions : 0.01 - 1 15.39/15.41 c pseudo solutions : 0.00 - 0 15.39/15.41 c oneopt : 0.00 0 0 15.39/15.41 c crossover : 0.00 0 0 15.39/15.41 c guideddiving : 0.00 0 0 15.39/15.41 c intshifting : 0.00 0 0 15.39/15.41 c rootsoldiving : 0.05 2 0 15.39/15.41 c coefdiving : 0.07 4 0 15.39/15.41 c pscostdiving : 0.06 4 0 15.39/15.41 c fracdiving : 0.03 4 0 15.39/15.41 c veclendiving : 0.04 4 0 15.39/15.41 c linesearchdiving : 0.03 4 0 15.39/15.41 c feaspump : 0.09 3 0 15.39/15.41 c objpscostdiving : 0.09 3 0 15.39/15.41 c simplerounding : 0.00 0 0 15.39/15.41 c rounding : 0.02 1204 0 15.39/15.41 c shifting : 0.76 347 0 15.39/15.41 c fixandinfer : 0.00 0 0 15.39/15.41 c intdiving : 0.00 0 0 15.39/15.41 c actconsdiving : 0.00 0 0 15.39/15.41 c octane : 0.00 0 0 15.39/15.41 c rens : 0.02 1 0 15.39/15.41 c rins : 0.00 0 0 15.39/15.41 c localbranching : 0.00 0 0 15.39/15.41 c mutation : 0.00 0 0 15.39/15.41 c dins : 0.00 0 0 15.39/15.41 c LP : Time Calls Iterations Iter/call Iter/sec 15.39/15.41 c primal LP : 1.27 0 0 0.00 0.00 15.39/15.41 c dual LP : 7.55 7619 35902 4.71 4755.23 15.39/15.41 c barrier LP : 0.00 0 0 0.00 - 15.39/15.41 c diving/probing LP: 0.36 360 2172 6.03 6033.33 15.39/15.41 c strong branching : 2.22 3557 29564 8.31 13317.12 15.39/15.41 c (at root node) : - 22 673 30.59 - 15.39/15.41 c conflict analysis: 0.00 0 0 0.00 - 15.39/15.41 c B&B Tree : 15.39/15.41 c number of runs : 1 15.39/15.41 c nodes : 3033 15.39/15.41 c nodes (total) : 3033 15.39/15.41 c nodes left : 0 15.39/15.41 c max depth : 85 15.39/15.41 c max depth (total): 85 15.39/15.41 c backtracks : 287 (9.5%) 15.39/15.41 c delayed cutoffs : 229 15.39/15.41 c repropagations : 647 (3285 domain reductions, 225 cutoffs) 15.39/15.41 c avg switch length: 3.81 15.39/15.41 c switching time : 1.49 15.39/15.41 c Solution : 15.39/15.41 c Solutions found : 1 (1 improvements) 15.39/15.41 c Primal Bound : +3.00000000000000e+00 (in run 1, after 3033 nodes, 15.13 seconds, depth 77, found by <relaxation>) 15.39/15.41 c Dual Bound : +3.00000000000000e+00 15.39/15.41 c Gap : 0.00 % 15.39/15.41 c Root Dual Bound : +3.00000000000000e+00 15.39/15.43 c Time complete: 15.41.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870045-1245188376/watcher-1870045-1245188376 -o /tmp/evaluation-result-1870045-1245188376/solver-1870045-1245188376 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870045-1245188376.opb 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 2/64 5552 /proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=8648 CPUtime=0 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 1084 0 0 0 0 0 0 0 18 0 1 0 186437638 8855552 1068 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/5552/statm: 2162 1074 362 1256 0 901 0 [startup+0.078065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5552 /proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=14844 CPUtime=0.07 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 2860 0 0 0 3 4 0 0 18 0 1 0 186437638 15200256 2490 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 3711 2490 446 1256 0 2450 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14844 [startup+0.101067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5552 /proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=15932 CPUtime=0.09 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 3145 0 0 0 4 5 0 0 18 0 1 0 186437638 16314368 2775 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 3983 2775 475 1256 0 2722 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15932 [startup+0.301089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5552 /proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=23068 CPUtime=0.29 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 4641 0 0 0 23 6 0 0 19 0 1 0 186437638 23621632 4269 1992294400 4194304 9342243 548682068736 18446744073709551615 5397214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 5767 4269 677 1256 0 4506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23068 [startup+0.701131 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5552 /proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=24100 CPUtime=0.69 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 6787 0 0 0 61 8 0 0 22 0 1 0 186437638 24678400 4425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6025 4425 694 1256 0 4764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24100 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1810712/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=24100 CPUtime=1.48 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 6920 0 0 0 139 9 0 0 25 0 1 0 186437638 24678400 4557 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6025 4557 698 1256 0 4764 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24100 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1810328/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=24100 CPUtime=3.09 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 7045 0 0 0 298 11 0 0 25 0 1 0 186437638 24678400 4682 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6025 4682 698 1256 0 4764 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24100 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1808792/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=24888 CPUtime=6.28 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 7339 0 0 0 613 15 0 0 25 0 1 0 186437638 25485312 4976 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6222 4976 698 1256 0 4961 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24888 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1806936/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=26952 CPUtime=12.68 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 7812 0 0 0 1246 22 0 0 25 0 1 0 186437638 27598848 5449 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6738 5449 698 1256 0 5477 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26952 Solver just ended. Dumping a history of the last processes samples [startup+14.3056 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1806360/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=27120 CPUtime=14.28 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 7900 0 0 0 1405 23 0 0 25 0 1 0 186437638 27770880 5537 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6780 5537 698 1256 0 5519 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 27120 [startup+15.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1806360/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=27120 CPUtime=15.08 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 7954 0 0 0 1483 25 0 0 25 0 1 0 186437638 27770880 5591 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 6780 5591 698 1256 0 5519 0 Current children cumulated CPU time (s) 15.08 Current children cumulated vsize (KiB) 27120 [startup+15.3017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1805912/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=28108 CPUtime=15.28 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 8009 0 0 0 1503 25 0 0 25 0 1 0 186437638 28782592 5646 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 7027 5646 698 1256 0 5766 0 Current children cumulated CPU time (s) 15.28 Current children cumulated vsize (KiB) 28108 [startup+15.4057 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5553 /proc/meminfo: memFree=1805912/2055920 swapFree=4182492/4192956 [pid=5552] ppid=5550 vsize=28108 CPUtime=15.39 /proc/5552/stat : 5552 (pbscip.linux.x8) R 5550 5552 4970 0 -1 4194304 8016 0 0 0 1513 26 0 0 25 0 1 0 186437638 28782592 5653 1992294400 4194304 9342243 548682068736 18446744073709551615 6253405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5552/statm: 7027 5653 698 1256 0 5766 0 Current children cumulated CPU time (s) 15.39 Current children cumulated vsize (KiB) 28108 Child status: 0 Real time (s): 15.431 CPU time (s): 15.4207 CPU user time (s): 15.1537 CPU system time (s): 0.266959 CPU usage (%): 99.9329 Max. virtual memory (cumulated for all children) (KiB): 28108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.1537 system time used= 0.266959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8021 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= 2 involuntary context switches= 26 runsolver used 0.015997 second user time and 0.046992 second system time The end
Begin job on node21 at 2009-06-16 23:39:36 IDJOB=1870045 IDBENCH=48021 IDSOLVER=684 FILE ID=node21/1870045-1245188376 PBS_JOBID= 9368278 Free space on /tmp= 66092 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870045-1245188376/watcher-1870045-1245188376 -o /tmp/evaluation-result-1870045-1245188376/solver-1870045-1245188376 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870045-1245188376.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 133707692e98c55077a0d19203c18204 RANDOM SEED=874045680 node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.239 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.239 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1826432 kB Buffers: 52384 kB Cached: 101664 kB SwapCached: 4256 kB Active: 60188 kB Inactive: 101216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826432 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 11740 kB Writeback: 0 kB Mapped: 13420 kB Slab: 54040 kB Committed_AS: 177912 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66080 MiB End job on node21 at 2009-06-16 23:39:52