Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | OPT | 3 | 14.2768 | 14.2791 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb |
MD5SUM | 66c115908fb4694df4d314e4daf7ce17 |
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 | 6.81996 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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-1869931-1245187315.opb> 0.00/0.01 c original problem has 440 variables (440 bin, 0 int, 0 impl, 0 cont) and 331 constraints 0.00/0.01 c start presolving problem 0.00/0.01 c presolving: 0.02/0.05 c (round 1) 5 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 0 upgd conss, 1640 impls, 0 clqs 0.02/0.05 c (round 2) 21 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 50 chg coeffs, 6 upgd conss, 2536 impls, 0 clqs 0.02/0.06 c (round 3) 37 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 64 chg coeffs, 6 upgd conss, 3208 impls, 0 clqs 0.02/0.06 c (round 4) 53 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 6 upgd conss, 3656 impls, 0 clqs 0.02/0.06 c (round 5) 69 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 6 upgd conss, 3880 impls, 0 clqs 0.02/0.06 c (round 6) 85 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 106 chg coeffs, 6 upgd conss, 3880 impls, 0 clqs 0.02/0.08 c (0.0s) probing: 165/355 (46.5%) - 0 fixings, 0 aggregations, 10 implications, 0 bound changes 0.02/0.08 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.02/0.08 c presolving (7 rounds): 0.02/0.08 c 85 deleted vars, 70 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 106 changed coefficients 0.02/0.08 c 3900 implications, 0 cliques 0.02/0.08 c presolved problem has 355 variables (355 bin, 0 int, 0 impl, 0 cont) and 256 constraints 0.02/0.08 c 245 constraints of type <and> 0.02/0.08 c 5 constraints of type <linear> 0.02/0.08 c 6 constraints of type <logicor> 0.02/0.08 c transformed objective value is always integral (scale: 2) 0.02/0.08 c Presolving Time: 0.04 0.02/0.08 c OPT-NLC 0.02/0.08 c ----------------------------------------------------------------------------------------------- 0.02/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.02/0.08 c limits/memory = c 1620 0.02/0.08 c # maximal time in seconds to run 0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.02/0.08 c limits/time = c 1791 0.02/0.08 c # frequency for displaying node information lines 0.02/0.08 c # [type: int, range: [-1,2147483647], default: 100] 0.02/0.08 c display/freq = c 10000 0.02/0.08 c ----------------------------------------------------------------------------------------------- 0.02/0.08 c start solving problem 0.02/0.08 c 0.02/0.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.02/0.09 c 0.1s| 1 | 0 | 14 |1642k| 0 | 8 | 355 | 256 | 256 | 355 | 501 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 0.10/0.13 c 0.1s| 1 | 0 | 500 |1665k| 0 | 10 | 355 | 256 | 256 | 355 | 504 | 3 | 0 | 0 | 3.000000e+00 | -- | Inf 0.10/0.15 c 0.1s| 1 | 0 | 508 |1676k| 0 | 15 | 355 | 256 | 256 | 355 | 509 | 8 | 0 | 0 | 3.000000e+00 | -- | Inf 0.10/0.18 c 0.1s| 1 | 0 | 512 |1685k| 0 | 19 | 355 | 256 | 256 | 355 | 511 | 10 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.20 c 0.2s| 1 | 0 | 518 |1697k| 0 | 19 | 355 | 256 | 256 | 355 | 514 | 13 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.23 c 0.2s| 1 | 0 | 528 |1711k| 0 | 24 | 355 | 256 | 256 | 355 | 517 | 16 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 578 |1721k| 0 | 28 | 355 | 256 | 256 | 355 | 521 | 20 | 0 | 0 | 3.000000e+00 | -- | Inf 0.39/0.45 c 0.4s| 1 | 2 | 578 |1722k| 0 | 28 | 355 | 256 | 256 | 355 | 521 | 20 | 0 | 23 | 3.000000e+00 | -- | Inf 14.19/14.26 o 3 14.19/14.26 c *14.0s| 2893 | 0 | 54518 |2497k| 63 | - | 355 |1215 | 357 | 355 | 198 | 24k| 961 |2839 | 3.000000e+00 | 3.000000e+00 | 0.00% 14.19/14.26 c 14.19/14.26 c SCIP Status : problem is solved [optimal solution found] 14.19/14.26 c Solving Time (sec) : 14.02 14.19/14.26 c Solving Nodes : 2893 14.19/14.26 c Primal Bound : +3.00000000000000e+00 (1 solutions) 14.19/14.26 c Dual Bound : +3.00000000000000e+00 14.19/14.26 c Gap : 0.00 % 14.19/14.26 c NODE 2893 14.19/14.26 c DUAL BOUND 3 14.19/14.26 c PRIMAL BOUND 3 14.19/14.26 c GAP 0 14.19/14.26 s OPTIMUM FOUND 14.19/14.26 v -x120 -x119 -x118 x117 x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x80 -x79 x78 -x77 -x76 -x75 -x74 x73 14.19/14.26 v -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x64 14.19/14.26 v -x63 x62 -x61 x60 -x59 -x58 x57 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x56 -x55 -x54 -x53 x52 -x51 -x50 x49 x48 x47 x46 14.19/14.26 v x45 -x44 -x43 x42 x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 14.19/14.26 v -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 14.19/14.26 c SCIP Status : problem is solved [optimal solution found] 14.19/14.26 c Solving Time : 14.02 14.19/14.26 c Original Problem : 14.19/14.26 c Problem name : HOME/instance-1869931-1245187315.opb 14.19/14.26 c Variables : 440 (440 binary, 0 integer, 0 implicit integer, 0 continuous) 14.19/14.26 c Constraints : 331 initial, 331 maximal 14.19/14.26 c Presolved Problem : 14.19/14.26 c Problem name : t_HOME/instance-1869931-1245187315.opb 14.19/14.26 c Variables : 355 (355 binary, 0 integer, 0 implicit integer, 0 continuous) 14.19/14.26 c Constraints : 256 initial, 1215 maximal 14.19/14.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 14.19/14.26 c trivial : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c dualfix : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c implics : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c probing : 0.01 0 0 0 0 0 0 0 0 14.19/14.26 c and : 0.03 10 70 0 0 0 70 0 70 14.19/14.26 c linear : 0.00 1 4 0 0 0 0 0 36 14.19/14.26 c logicor : 0.00 0 0 0 0 0 0 0 0 14.19/14.26 c root node : - 0 - - 0 - - - - 14.19/14.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 14.19/14.26 c integral : 0 0 0 2579 0 3 100 0 0 5038 14.19/14.26 c and : 245 8000 8420 1 0 133 11509 24091 0 0 14.19/14.26 c linear : 5 6 8287 1 0 455 4183 0 0 0 14.19/14.26 c logicor : 6+ 6 3119 1 0 28 427 0 0 0 14.19/14.26 c countsols : 0 0 0 1 0 0 0 0 0 0 14.19/14.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 14.19/14.26 c integral : 1.61 0.00 0.00 1.61 0.00 14.19/14.26 c and : 0.31 0.24 0.07 0.00 0.00 14.19/14.26 c linear : 0.27 0.00 0.27 0.00 0.00 14.19/14.26 c logicor : 0.03 0.00 0.03 0.00 0.00 14.19/14.26 c countsols : 0.00 0.00 0.00 0.00 0.00 14.19/14.26 c Propagators : Time Calls Cutoffs DomReds 14.19/14.26 c rootredcost : 0.00 0 0 0 14.19/14.26 c pseudoobj : 0.02 8083 0 0 14.19/14.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 14.19/14.26 c propagation : 0.13 616 599 5790 40.2 58 26.5 - 14.19/14.26 c infeasible LP : 0.00 11 0 0 0.0 0 0.0 0 14.19/14.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 14.19/14.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 14.19/14.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 14.19/14.26 c applied globally : - - - 959 19.6 - - - 14.19/14.26 c applied locally : - - - 2 36.0 - - - 14.19/14.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss 14.19/14.26 c cut pool : 0.00 5 - - 5 - (maximal pool size: 33) 14.19/14.26 c redcost : 0.07 8000 0 0 0 0 14.19/14.26 c impliedbounds : 0.00 6 0 0 11 0 14.19/14.26 c intobj : 0.00 0 0 0 0 0 14.19/14.26 c gomory : 0.02 6 0 0 0 0 14.19/14.26 c strongcg : 0.04 6 0 0 2 0 14.19/14.26 c cmir : 0.00 6 0 0 20 0 14.19/14.26 c flowcover : 0.06 6 0 0 33 0 14.19/14.26 c clique : 0.00 1 0 0 0 0 14.19/14.26 c zerohalf : 0.00 0 0 0 0 0 14.19/14.26 c mcf : 0.00 1 0 0 0 0 14.19/14.26 c Pricers : Time Calls Vars 14.19/14.26 c problem variables: 0.00 0 0 14.19/14.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 14.19/14.26 c relpscost : 1.60 2578 3 100 0 0 5038 14.19/14.26 c pscost : 0.00 0 0 0 0 0 0 14.19/14.26 c inference : 0.00 0 0 0 0 0 0 14.19/14.26 c mostinf : 0.00 0 0 0 0 0 0 14.19/14.26 c leastinf : 0.00 0 0 0 0 0 0 14.19/14.26 c fullstrong : 0.00 0 0 0 0 0 0 14.19/14.26 c allfullstrong : 0.00 0 0 0 0 0 0 14.19/14.26 c random : 0.00 0 0 0 0 0 0 14.19/14.26 c Primal Heuristics : Time Calls Found 14.19/14.26 c LP solutions : 0.01 - 1 14.19/14.26 c pseudo solutions : 0.00 - 0 14.19/14.26 c oneopt : 0.00 0 0 14.19/14.26 c crossover : 0.00 0 0 14.19/14.26 c coefdiving : 0.09 14 0 14.19/14.26 c fracdiving : 0.06 14 0 14.19/14.26 c veclendiving : 0.10 14 0 14.19/14.26 c linesearchdiving : 0.09 14 0 14.19/14.26 c pscostdiving : 0.10 14 0 14.19/14.26 c feaspump : 0.16 8 0 14.19/14.26 c simplerounding : 0.00 0 0 14.19/14.26 c rounding : 0.07 1291 0 14.19/14.26 c shifting : 0.61 372 0 14.19/14.26 c intshifting : 0.00 0 0 14.19/14.26 c fixandinfer : 0.00 0 0 14.19/14.26 c intdiving : 0.00 0 0 14.19/14.26 c actconsdiving : 0.00 0 0 14.19/14.26 c objpscostdiving : 0.15 8 0 14.19/14.26 c rootsoldiving : 0.12 7 0 14.19/14.26 c guideddiving : 0.00 0 0 14.19/14.26 c octane : 0.00 0 0 14.19/14.26 c rens : 0.02 1 0 14.19/14.26 c rins : 0.00 0 0 14.19/14.26 c localbranching : 0.00 0 0 14.19/14.26 c mutation : 0.00 0 0 14.19/14.26 c dins : 0.00 0 0 14.19/14.26 c LP : Time Calls Iterations Iter/call Iter/sec 14.19/14.26 c primal LP : 1.38 0 0 0.00 0.00 14.19/14.26 c dual LP : 7.36 8771 48025 5.48 6525.14 14.19/14.26 c barrier LP : 0.00 0 0 0.00 - 14.19/14.26 c diving/probing LP: 0.73 864 6493 7.52 8894.52 14.19/14.26 c strong branching : 1.55 2839 23289 8.20 15025.16 14.19/14.26 c (at root node) : - 23 1723 74.91 - 14.19/14.26 c conflict analysis: 0.00 0 0 0.00 - 14.19/14.26 c B&B Tree : 14.19/14.26 c number of runs : 1 14.19/14.26 c nodes : 2893 14.19/14.26 c nodes (total) : 2893 14.19/14.26 c nodes left : 0 14.19/14.26 c max depth : 63 14.19/14.26 c max depth (total): 63 14.19/14.26 c backtracks : 249 (8.6%) 14.19/14.26 c delayed cutoffs : 126 14.19/14.26 c repropagations : 679 (2211 domain reductions, 121 cutoffs) 14.19/14.26 c avg switch length: 3.24 14.19/14.26 c switching time : 1.50 14.19/14.26 c Solution : 14.19/14.26 c Solutions found : 1 (1 improvements) 14.19/14.26 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2893 nodes, 14.01 seconds, depth 37, found by <relaxation>) 14.19/14.26 c Dual Bound : +3.00000000000000e+00 14.19/14.26 c Gap : 0.00 % 14.19/14.26 c Root Dual Bound : +3.00000000000000e+00 14.19/14.27 c Time complete: 14.27.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869931-1245187315/watcher-1869931-1245187315 -o /tmp/evaluation-result-1869931-1245187315/solver-1869931-1245187315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869931-1245187315.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.09 1.02 1.01 3/64 5242 /proc/meminfo: memFree=1831272/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=5812 CPUtime=0 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 186331532 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/5242/statm: 1453 501 332 1256 0 192 0 [startup+0.02123 s] /proc/loadavg: 1.09 1.02 1.01 3/64 5242 /proc/meminfo: memFree=1831272/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=13976 CPUtime=0.02 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 2628 0 0 0 1 1 0 0 18 0 1 0 186331532 14311424 2258 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 3494 2258 446 1256 0 2233 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13976 [startup+0.101238 s] /proc/loadavg: 1.09 1.02 1.01 3/64 5242 /proc/meminfo: memFree=1831272/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=16980 CPUtime=0.1 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 3287 0 0 0 6 4 0 0 18 0 1 0 186331532 17387520 2917 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 4245 2917 649 1256 0 2984 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16980 [startup+0.301259 s] /proc/loadavg: 1.09 1.02 1.01 3/64 5242 /proc/meminfo: memFree=1831272/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=21568 CPUtime=0.29 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5654 0 0 0 24 5 0 0 19 0 1 0 186331532 22085632 4272 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5392 4272 686 1256 0 4131 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21568 [startup+0.701302 s] /proc/loadavg: 1.09 1.02 1.01 3/64 5242 /proc/meminfo: memFree=1831272/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=21568 CPUtime=0.7 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5705 0 0 0 64 6 0 0 22 0 1 0 186331532 22085632 4323 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5392 4323 694 1256 0 4131 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 21568 [startup+1.50139 s] /proc/loadavg: 1.09 1.02 1.01 2/65 5243 /proc/meminfo: memFree=1816672/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=21568 CPUtime=1.5 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5722 0 0 0 143 7 0 0 25 0 1 0 186331532 22085632 4340 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5392 4340 697 1256 0 4131 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 21568 [startup+3.10156 s] /proc/loadavg: 1.09 1.02 1.01 2/65 5243 /proc/meminfo: memFree=1816416/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=21568 CPUtime=3.09 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5749 0 0 0 301 8 0 0 25 0 1 0 186331532 22085632 4367 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5392 4367 697 1256 0 4131 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21568 [startup+6.30191 s] /proc/loadavg: 1.08 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1816288/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=21568 CPUtime=6.29 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5770 0 0 0 617 12 0 0 25 0 1 0 186331532 22085632 4388 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5392 4388 697 1256 0 4131 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21568 [startup+12.7016 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1815904/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=22544 CPUtime=12.68 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5892 0 0 0 1247 21 0 0 25 0 1 0 186331532 23085056 4510 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5636 4510 697 1256 0 4375 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22544 Solver just ended. Dumping a history of the last processes samples [startup+13.5017 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1815840/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=22736 CPUtime=13.48 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5899 0 0 0 1326 22 0 0 25 0 1 0 186331532 23281664 4517 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5684 4517 697 1256 0 4423 0 Current children cumulated CPU time (s) 13.48 Current children cumulated vsize (KiB) 22736 [startup+13.9017 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1815840/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=22736 CPUtime=13.89 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5899 0 0 0 1366 23 0 0 25 0 1 0 186331532 23281664 4517 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5684 4517 697 1256 0 4423 0 Current children cumulated CPU time (s) 13.89 Current children cumulated vsize (KiB) 22736 [startup+14.1018 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1815840/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=22736 CPUtime=14.09 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5928 0 0 0 1386 23 0 0 25 0 1 0 186331532 23281664 4546 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5684 4546 697 1256 0 4423 0 Current children cumulated CPU time (s) 14.09 Current children cumulated vsize (KiB) 22736 [startup+14.2018 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5243 /proc/meminfo: memFree=1815712/2055920 swapFree=4182492/4192956 [pid=5242] ppid=5240 vsize=22736 CPUtime=14.19 /proc/5242/stat : 5242 (pbscip.linux.x8) R 5240 5242 4970 0 -1 4194304 5931 0 0 0 1396 23 0 0 25 0 1 0 186331532 23281664 4549 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5242/statm: 5684 4549 697 1256 0 4423 0 Current children cumulated CPU time (s) 14.19 Current children cumulated vsize (KiB) 22736 Child status: 0 Real time (s): 14.2791 CPU time (s): 14.2768 CPU user time (s): 14.0349 CPU system time (s): 0.241963 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 22736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.0349 system time used= 0.241963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5937 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= 17 runsolver used 0.011998 second user time and 0.042993 second system time The end
Begin job on node21 at 2009-06-16 23:21:55 IDJOB=1869931 IDBENCH=47964 IDSOLVER=684 FILE ID=node21/1869931-1245187315 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=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-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-1869931-1245187315/watcher-1869931-1245187315 -o /tmp/evaluation-result-1869931-1245187315/solver-1869931-1245187315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869931-1245187315.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66c115908fb4694df4d314e4daf7ce17 RANDOM SEED=1080361550 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: 1831752 kB Buffers: 51696 kB Cached: 96980 kB SwapCached: 4256 kB Active: 53984 kB Inactive: 102048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831752 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 11960 kB Writeback: 0 kB Mapped: 13420 kB Slab: 54184 kB Committed_AS: 175668 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:22:10