Trace number 1869251

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-36 1794.72 1799.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.10/1.18	c SCIP version 1.1.0.7
1.10/1.18	c LP-Solver Clp 1.8.2
1.10/1.18	c user parameter file <scip.set> not found - using default parameters
1.10/1.18	c read problem <HOME/instance-1869251-1245166580.opb>
1.10/1.18	c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
1.29/1.39	c start presolving problem
1.29/1.39	c presolving:
2.39/2.46	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94308 upgd conss, 188616 impls, 0 clqs
4.49/4.53	c    (3.0s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.49/4.53	c    (3.0s) probing aborted: 100/100 successive totally useless probings
4.49/4.53	c presolving (2 rounds):
4.49/4.53	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.49/4.53	c  188616 implications, 0 cliques
4.49/4.53	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94308 constraints
4.49/4.53	c   94308 constraints of type <logicor>
4.49/4.53	c transformed objective value is always integral (scale: 1)
4.49/4.53	c Presolving Time: 2.90
4.49/4.53	c strange?!, PURESAT with obj
4.49/4.53	c -----------------------------------------------------------------------------------------------
4.49/4.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.53	c limits/memory = c 1620
4.49/4.53	c # maximal time in seconds to run
4.49/4.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.53	c limits/time = c 1791
4.49/4.53	c # frequency for displaying node information lines
4.49/4.53	c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.53	c display/freq = c 10000
4.49/4.53	c -----------------------------------------------------------------------------------------------
4.49/4.53	c start solving problem
4.49/4.53	c 
7.17/7.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.17/7.25	c   5.7s|     1 |     0 |  1277 | 104M|   0 |1272 |1272 |  94k|  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 |      --      |    Inf 
7.17/7.26	o 0
7.17/7.26	c r 5.7s|     1 |     0 |  1277 | 104M|   0 |1272 |1272 |  94k|  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 | 0.000000e+00 | 100.00%
7.37/7.44	o -1
7.37/7.44	c R 5.8s|     1 |     0 |  1277 | 105M|   0 |1272 |1272 |  94k|  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 |-1.000000e+00 |  99.84%
19.37/19.45	c  17.8s|     1 |     0 |  1697 | 105M|   0 |1203 |1272 |  94k|  94k|1272 |  94k|   7 |   0 |   0 |-6.015000e+02 |-1.000000e+00 |  99.83%
31.77/31.89	c  30.2s|     1 |     0 |  2031 | 105M|   0 |1156 |1272 |  94k|  94k|1272 |  94k|  13 |   0 |   0 |-5.780000e+02 |-1.000000e+00 |  99.83%
51.24/51.33	c  49.6s|     1 |     0 |  2533 | 105M|   0 |1108 |1272 |  94k|  94k|1272 |  94k|  22 |   0 |   0 |-5.540000e+02 |-1.000000e+00 |  99.82%
74.20/74.38	c  72.6s|     1 |     0 |  3071 | 105M|   0 |1066 |1272 |  94k|  94k|1272 |  94k|  28 |   0 |   0 |-5.322500e+02 |-1.000000e+00 |  99.81%
89.55/89.71	c  87.9s|     1 |     0 |  3336 | 105M|   0 |1039 |1272 |  94k|  94k|1272 |  94k|  39 |   0 |   0 |-5.185000e+02 |-1.000000e+00 |  99.81%
108.42/108.67	c   107s|     1 |     0 |  3752 | 105M|   0 | 989 |1272 |  94k|  94k|1272 |  94k|  55 |   0 |   0 |-4.925000e+02 |-1.000000e+00 |  99.80%
136.06/136.45	c   134s|     1 |     0 |  4423 | 105M|   0 | 941 |1272 |  94k|  94k|1272 |  94k|  61 |   0 |   0 |-4.705000e+02 |-1.000000e+00 |  99.79%
166.04/166.41	c   164s|     1 |     0 |  5240 | 105M|   0 | 897 |1272 |  94k|  94k|1272 |  94k|  70 |   0 |   0 |-4.472500e+02 |-1.000000e+00 |  99.78%
198.53/198.99	c   197s|     1 |     0 |  6175 | 105M|   0 | 835 |1272 |  94k|  94k|1272 |  94k|  76 |   0 |   0 |-4.167500e+02 |-1.000000e+00 |  99.76%
230.81/231.29	c   229s|     1 |     0 |  7043 | 105M|   0 | 765 |1272 |  94k|  94k|1272 |  94k|  89 |   0 |   0 |-3.817500e+02 |-1.000000e+00 |  99.74%
248.41/248.86	c   247s|     1 |     0 |  7746 | 105M|   0 | 720 |1272 |  94k|  94k|1272 |  94k|  98 |   0 |   0 |-3.592500e+02 |-1.000000e+00 |  99.72%
262.70/263.18	c   261s|     1 |     0 |  8361 | 105M|   0 | 676 |1272 |  94k|  94k|1272 |  94k| 106 |   0 |   0 |-3.372500e+02 |-1.000000e+00 |  99.70%
282.40/282.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
282.40/282.89	c   281s|     1 |     0 |  9405 | 105M|   0 | 632 |1272 |  94k|  94k|1272 |  94k| 112 |   0 |   0 |-3.160000e+02 |-1.000000e+00 |  99.68%
290.89/291.41	c   289s|     1 |     0 |  9875 | 105M|   0 | 605 |1272 |  94k|  94k|1272 |  94k| 120 |   0 |   0 |-3.025000e+02 |-1.000000e+00 |  99.67%
305.99/306.49	c   304s|     1 |     0 | 10591 | 105M|   0 | 559 |1272 |  94k|  94k|1272 |  94k| 132 |   0 |   0 |-2.795000e+02 |-1.000000e+00 |  99.64%
306.08/306.55	o -2
306.08/306.55	c R 304s|     1 |     0 | 10591 | 105M|   0 | 559 |1272 |  94k|  94k|1272 |  94k| 132 |   0 |   0 |-2.795000e+02 |-2.000000e+00 |  99.28%
322.46/323.08	c   321s|     1 |     0 | 11356 | 105M|   0 | 512 |1272 |  94k|  94k|1272 |  94k| 140 |   0 |   0 |-2.560000e+02 |-2.000000e+00 |  99.22%
336.55/337.24	c   335s|     1 |     0 | 12001 | 105M|   0 | 471 |1272 |  94k|  94k|1272 |  94k| 148 |   0 |   0 |-2.355000e+02 |-2.000000e+00 |  99.15%
347.47/348.21	c   346s|     1 |     0 | 12686 | 105M|   0 | 426 |1272 |  94k|  94k|1272 |  94k| 158 |   0 |   0 |-2.130000e+02 |-2.000000e+00 |  99.06%
360.16/361.09	c   358s|     1 |     0 | 13433 | 105M|   0 | 382 |1272 |  94k|  94k|1272 |  94k| 165 |   0 |   0 |-1.910000e+02 |-2.000000e+00 |  98.95%
374.74/375.73	c   373s|     1 |     0 | 14446 | 105M|   0 | 338 |1272 |  94k|  94k|1272 |  94k| 171 |   0 |   0 |-1.690000e+02 |-2.000000e+00 |  98.82%
385.52/386.58	c   384s|     1 |     0 | 15243 | 105M|   0 | 296 |1272 |  94k|  94k|1272 |  94k| 178 |   0 |   0 |-1.480000e+02 |-2.000000e+00 |  98.65%
390.82/391.83	c   389s|     1 |     0 | 15782 | 105M|   0 | 253 |1272 |  94k|  94k|1272 |  94k| 185 |   0 |   0 |-1.265000e+02 |-2.000000e+00 |  98.42%
400.82/401.94	c   399s|     1 |     0 | 16651 | 105M|   0 | 227 |1272 |  94k|  94k|1272 |  94k| 193 |   0 |   0 |-1.070000e+02 |-2.000000e+00 |  98.13%
408.16/409.35	c   406s|     1 |     0 | 17343 | 105M|   0 | 198 |1272 |  94k|  94k|1272 |  94k| 203 |   0 |   0 |-8.650000e+01 |-2.000000e+00 |  97.69%
408.16/409.36	o -3
408.16/409.36	c r 406s|     1 |     0 | 17343 | 105M|   0 | 198 |1272 |  94k|  94k|1272 |  94k| 203 |   0 |   0 |-8.650000e+01 |-3.000000e+00 |  96.53%
408.16/409.39	o -4
408.16/409.39	c R 406s|     1 |     0 | 17343 | 105M|   0 | 198 |1272 |  94k|  94k|1272 |  94k| 203 |   0 |   0 |-8.650000e+01 |-4.000000e+00 |  95.38%
419.87/421.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
419.87/421.12	c   418s|     1 |     0 | 18639 | 105M|   0 | 237 |1272 |  94k|  94k|1272 |  94k| 213 |   0 |   0 |-7.600000e+01 |-4.000000e+00 |  94.74%
427.33/428.67	c   425s|     1 |     0 | 19191 | 105M|   0 | 239 |1272 |  94k|  94k|1272 |  94k| 220 |   0 |   0 |-6.700000e+01 |-4.000000e+00 |  94.03%
427.43/428.74	o -4
427.43/428.74	c s 426s|     1 |     0 | 19191 | 105M|   0 | 239 |1272 |  94k|  94k|1272 |  94k| 220 |   0 |   0 |-6.700000e+01 |-4.000000e+00 |  94.03%
441.14/442.52	c   439s|     1 |     0 | 20495 | 105M|   0 | 326 |1272 |  94k|  94k|1272 |  94k| 228 |   0 |   0 |-5.850000e+01 |-4.000000e+00 |  93.16%
456.43/457.82	c   455s|     1 |     0 | 21147 | 105M|   0 | 388 |1272 |  94k|  94k|1272 |  94k| 235 |   0 |   0 |-5.395652e+01 |-4.000000e+00 |  92.59%
512.86/514.46	c   511s|     1 |     0 | 21698 | 105M|   0 | 380 |1272 |  94k|  94k|1272 |  94k| 245 |   0 |   0 |-5.300000e+01 |-4.000000e+00 |  92.45%
512.97/514.56	o -4
512.97/514.56	c s 511s|     1 |     0 | 21698 | 105M|   0 | 380 |1272 |  94k|  94k|1272 |  94k| 245 |   0 |   0 |-5.300000e+01 |-4.000000e+00 |  92.45%
643.65/645.70	c   642s|     1 |     0 | 22355 | 105M|   0 | 420 |1272 |  94k|  94k|1272 |  94k| 252 |   0 |   0 |-5.300000e+01 |-4.000000e+00 |  92.45%
777.12/779.38	c   775s|     1 |     0 | 22592 | 105M|   0 | 379 |1272 |  94k|  94k|1272 |  94k| 258 |   0 |   0 |-5.300000e+01 |-4.000000e+00 |  92.45%
777.22/779.44	o -5
777.22/779.44	c R 775s|     1 |     0 | 22592 | 105M|   0 | 379 |1272 |  94k|  94k|1272 |  94k| 258 |   0 |   0 |-5.300000e+01 |-5.000000e+00 |  90.57%
912.62/915.13	c   910s|     1 |     0 | 23148 | 105M|   0 | 327 |1272 |  94k|  94k|1272 |  94k| 264 |   0 |   0 |-5.300000e+01 |-5.000000e+00 |  90.57%
912.62/915.18	o -6
912.62/915.18	c R 910s|     1 |     0 | 23148 | 105M|   0 | 327 |1272 |  94k|  94k|1272 |  94k| 264 |   0 |   0 |-5.300000e+01 |-6.000000e+00 |  88.68%
1033.25/1036.60	c  1031s|     1 |     0 | 23593 | 105M|   0 | 284 |1272 |  94k|  94k|1272 |  94k| 270 |   0 |   0 |-5.300000e+01 |-6.000000e+00 |  88.68%
1033.35/1036.64	o -7
1033.35/1036.64	c R1031s|     1 |     0 | 23593 | 105M|   0 | 284 |1272 |  94k|  94k|1272 |  94k| 270 |   0 |   0 |-5.300000e+01 |-7.000000e+00 |  86.79%
1033.35/1036.69	o -8
1033.35/1036.69	c s1031s|     1 |     0 | 23593 | 105M|   0 | 284 |1272 |  94k|  94k|1272 |  94k| 270 |   0 |   0 |-5.300000e+01 |-8.000000e+00 |  84.91%
1154.94/1159.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1154.94/1159.10	c  1152s|     1 |     0 | 24637 | 105M|   0 | 449 |1272 |  94k|  94k|1272 |  94k| 279 |   0 |   0 |-5.300000e+01 |-8.000000e+00 |  84.91%
1155.04/1159.28	o -36
1155.04/1159.28	c k1152s|     1 |     0 | 24637 | 106M|   0 | 449 |1272 |  94k|  94k|1272 |  94k| 279 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
1163.29/1167.57	c  1160s|     1 |     0 | 24637 | 106M|   0 | 449 |1272 |  94k|  94k|1272 |  94k| 279 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
1322.42/1326.88	c  1319s|     1 |     0 | 25431 | 106M|   0 | 346 |1272 |  94k|  94k|1272 |  94k| 286 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
1645.48/1650.18	c  1642s|     1 |     2 | 25431 | 106M|   0 | 346 |1272 |  94k|  94k|1272 |  94k| 286 |   0 |  33 |-5.300000e+01 |-3.600000e+01 |  32.08%
1794.25/1799.38	c 
1794.25/1799.38	c SCIP Status        : solving was interrupted [time limit reached]
1794.25/1799.38	c Solving Time (sec) : 1791.08
1794.25/1799.38	c Solving Nodes      : 2
1794.25/1799.38	c Primal Bound       : -3.59999999999999e+01 (31 solutions)
1794.25/1799.38	c Dual Bound         : -5.29999999999995e+01
1794.25/1799.38	c Gap                : 32.08 %
1794.35/1799.43	c NODE         2
1794.35/1799.43	c DUAL BOUND   -53
1794.35/1799.43	c PRIMAL BOUND -36
1794.35/1799.43	c GAP          0.320755
1794.35/1799.43	s SATISFIABLE
1794.35/1799.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 
1794.35/1799.43	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
1794.35/1799.43	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
1794.35/1799.43	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
1794.35/1799.43	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
1794.35/1799.43	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 
1794.35/1799.43	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1794.35/1799.43	v x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
1794.35/1799.43	v -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1794.35/1799.43	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1794.35/1799.43	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
1794.35/1799.43	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1794.35/1799.43	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1794.35/1799.43	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 
1794.35/1799.43	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 
1794.35/1799.43	v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 
1794.35/1799.43	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 
1794.35/1799.43	v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
1794.35/1799.43	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 
1794.35/1799.43	v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 
1794.35/1799.43	v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
1794.35/1799.43	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 
1794.35/1799.43	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 
1794.35/1799.43	v -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 
1794.35/1799.43	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 
1794.35/1799.43	v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
1794.35/1799.43	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 
1794.35/1799.43	v -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 
1794.35/1799.43	v x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 
1794.35/1799.43	v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 
1794.35/1799.43	v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 
1794.35/1799.43	v x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 
1794.35/1799.43	v -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 
1794.35/1799.43	v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 
1794.35/1799.43	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 
1794.35/1799.43	v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
1794.35/1799.43	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 
1794.35/1799.43	v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 
1794.35/1799.43	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 
1794.35/1799.43	v -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 
1794.35/1799.43	v -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 
1794.35/1799.43	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 
1794.35/1799.43	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 
1794.35/1799.43	v -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 
1794.35/1799.43	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 
1794.35/1799.43	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 
1794.35/1799.43	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 
1794.35/1799.43	v -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 
1794.35/1799.43	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 
1794.35/1799.43	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 
1794.35/1799.43	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 
1794.35/1799.43	v -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 
1794.35/1799.43	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 
1794.35/1799.43	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 
1794.35/1799.43	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 
1794.35/1799.43	v -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 
1794.35/1799.43	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 
1794.35/1799.43	v -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 
1794.35/1799.43	v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 
1794.35/1799.43	v -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
1794.35/1799.43	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 
1794.35/1799.43	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 
1794.35/1799.43	v x1272 
1794.35/1799.43	c SCIP Status        : solving was interrupted [time limit reached]
1794.35/1799.43	c Solving Time       :    1791.08
1794.35/1799.43	c Original Problem   :
1794.35/1799.43	c   Problem name     : HOME/instance-1869251-1245166580.opb
1794.35/1799.43	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.35/1799.43	c   Constraints      : 94308 initial, 94308 maximal
1794.35/1799.43	c Presolved Problem  :
1794.35/1799.43	c   Problem name     : t_HOME/instance-1869251-1245166580.opb
1794.35/1799.43	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.35/1799.43	c   Constraints      : 94308 initial, 94308 maximal
1794.35/1799.43	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.35/1799.43	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.35/1799.43	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.35/1799.43	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.35/1799.43	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.35/1799.43	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.35/1799.43	c   probing          :       1.93          0          0          0          0          0          0          0          0
1794.35/1799.43	c   logicor          :       0.25          0          0          0          0          0          0          0          0
1794.35/1799.43	c   root node        :          -          0          -          -          0          -          -          -          -
1794.35/1799.43	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.35/1799.43	c   integral         :          0          0          0          2          0          0          0          0          0          4
1794.35/1799.43	c   logicor          :      94308         35        201          0          0          0          0          0          0          0
1794.35/1799.43	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.35/1799.43	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.35/1799.43	c   integral         :     467.47       0.00       0.00     467.47       0.00
1794.35/1799.43	c   logicor          :       1.52       0.51       1.01       0.00       0.00
1794.35/1799.43	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.35/1799.43	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.35/1799.43	c   rootredcost      :       0.00          0          0          0
1794.35/1799.43	c   pseudoobj        :       0.00         33          0          0
1794.35/1799.43	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.35/1799.43	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.35/1799.43	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.35/1799.43	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.35/1799.43	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.35/1799.43	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.35/1799.43	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.35/1799.43	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.35/1799.43	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.35/1799.43	c   cut pool         :       0.00         34          -          -         80          -    (maximal pool size: 626)
1794.35/1799.43	c   redcost          :       0.00         36          0          0          0          0
1794.35/1799.43	c   impliedbounds    :       0.13         35          0          0          0          0
1794.35/1799.43	c   intobj           :       0.00          0          0          0          0          0
1794.35/1799.43	c   gomory           :     826.61         35          0          0      14640          0
1794.35/1799.43	c   strongcg         :      19.33         20          0          0      10000          0
1794.35/1799.43	c   cmir             :      40.22         10          0          0          0          0
1794.35/1799.43	c   flowcover        :      44.33         10          0          0          0          0
1794.35/1799.43	c   clique           :       1.69         35          0          0        330          0
1794.35/1799.43	c   zerohalf         :       0.00          0          0          0          0          0
1794.35/1799.43	c   mcf              :       0.18          1          0          0          0          0
1794.35/1799.43	c Pricers            :       Time      Calls       Vars
1794.35/1799.43	c   problem variables:       0.00          0          0
1794.35/1799.43	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.35/1799.43	c   relpscost        :     467.47          2          0          0          0          0          4
1794.35/1799.43	c   pscost           :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   inference        :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   mostinf          :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   leastinf         :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.35/1799.43	c   random           :       0.00          0          0          0          0          0          0
1794.35/1799.43	c Primal Heuristics  :       Time      Calls      Found
1794.35/1799.43	c   LP solutions     :       0.00          -          0
1794.35/1799.43	c   pseudo solutions :       0.00          -          0
1794.35/1799.43	c   coefdiving       :       0.00          0          0
1794.35/1799.43	c   oneopt           :       0.07          1          1
1794.35/1799.43	c   simplerounding   :       0.11         37         12
1794.35/1799.43	c   rounding         :       2.36         37          6
1794.35/1799.43	c   shifting         :       3.16         36         11
1794.35/1799.43	c   intshifting      :       0.00          0          0
1794.35/1799.43	c   fixandinfer      :       0.00          0          0
1794.35/1799.43	c   feaspump         :       0.00          0          0
1794.35/1799.43	c   pscostdiving     :       0.00          0          0
1794.35/1799.43	c   fracdiving       :       0.00          0          0
1794.35/1799.43	c   veclendiving     :       0.00          0          0
1794.35/1799.43	c   intdiving        :       0.00          0          0
1794.35/1799.43	c   actconsdiving    :       0.00          0          0
1794.35/1799.43	c   objpscostdiving  :       0.00          0          0
1794.35/1799.43	c   rootsoldiving    :       0.00          0          0
1794.35/1799.43	c   linesearchdiving :       0.00          0          0
1794.35/1799.43	c   guideddiving     :       0.00          0          0
1794.35/1799.43	c   octane           :       0.00          0          0
1794.35/1799.43	c   rens             :       8.03          1          1
1794.35/1799.43	c   rins             :       0.00          0          0
1794.35/1799.43	c   localbranching   :       0.00          0          0
1794.35/1799.43	c   mutation         :       0.00          0          0
1794.35/1799.43	c   crossover        :       0.00          0          0
1794.35/1799.43	c   dins             :       0.00          0          0
1794.35/1799.43	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.35/1799.43	c   primal LP        :       5.67          0          0       0.00       0.00
1794.35/1799.43	c   dual LP          :     366.54         37      25652     693.30      69.98
1794.35/1799.43	c   barrier LP       :       0.00          0          0       0.00          -
1794.35/1799.43	c   diving/probing LP:       0.00          0          0       0.00          -
1794.35/1799.43	c   strong branching :     467.47         51      32445     636.18      69.41
1794.35/1799.43	c     (at root node) :          -         33      22126     670.48          -
1794.35/1799.43	c   conflict analysis:       0.00          0          0       0.00          -
1794.35/1799.43	c B&B Tree           :
1794.35/1799.43	c   number of runs   :          1
1794.35/1799.43	c   nodes            :          2
1794.35/1799.43	c   nodes (total)    :          2
1794.35/1799.43	c   nodes left       :          3
1794.35/1799.43	c   max depth        :          1
1794.35/1799.43	c   max depth (total):          1
1794.35/1799.43	c   backtracks       :          0 (0.0%)
1794.35/1799.43	c   delayed cutoffs  :          0
1794.35/1799.43	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.35/1799.43	c   avg switch length:       1.00
1794.35/1799.43	c   switching time   :       1.91
1794.35/1799.43	c Solution           :
1794.35/1799.43	c   Solutions found  :         31 (12 improvements)
1794.35/1799.43	c   Primal Bound     : -3.59999999999999e+01   (in run 1, after 1 nodes, 1152.30 seconds, depth 0, found by <oneopt>)
1794.35/1799.43	c   Dual Bound       : -5.29999999999995e+01
1794.35/1799.43	c   Gap              :      32.08 %
1794.35/1799.43	c   Root Dual Bound  : -5.30000000000000e+01
1794.63/1799.77	c Time complete: 1794.71.

Verifier Data 

OK	-36

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869251-1245166580/watcher-1869251-1245166580 -o /tmp/evaluation-result-1869251-1245166580/solver-1869251-1245166580 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869251-1245166580.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.85 1.96 2.03 2/73 10240
/proc/meminfo: memFree=1826760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=7616 CPUtime=0
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 722 0 0 0 0 0 0 0 20 0 1 0 184255974 7798784 707 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 1904 716 353 1256 0 643 0

[startup+0.0542231 s]
/proc/loadavg: 1.85 1.96 2.03 2/73 10240
/proc/meminfo: memFree=1826760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=12944 CPUtime=0.04
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 2203 0 0 0 4 0 0 0 20 0 1 0 184255974 13254656 2187 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 3236 2187 378 1256 0 1975 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12944

[startup+0.101226 s]
/proc/loadavg: 1.85 1.96 2.03 2/73 10240
/proc/meminfo: memFree=1826760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=14540 CPUtime=0.09
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 2623 0 0 0 9 0 0 0 20 0 1 0 184255974 14888960 2607 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 3635 2607 378 1256 0 2374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14540

[startup+0.301316 s]
/proc/loadavg: 1.85 1.96 2.03 2/73 10240
/proc/meminfo: memFree=1826760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=20244 CPUtime=0.29
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 4023 0 0 0 28 1 0 0 22 0 1 0 184255974 20729856 4007 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 5061 4007 378 1256 0 3800 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20244

[startup+0.701443 s]
/proc/loadavg: 1.85 1.96 2.03 2/73 10240
/proc/meminfo: memFree=1826760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=31180 CPUtime=0.69
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 6774 0 0 0 66 3 0 0 25 0 1 0 184255974 31928320 6758 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 7795 6758 378 1256 0 6534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31180

[startup+1.50139 s]
/proc/loadavg: 1.85 1.96 2.03 2/74 10241
/proc/meminfo: memFree=1793280/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=100332 CPUtime=1.49
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 24085 0 0 0 137 12 0 0 25 0 1 0 184255974 102739968 23715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 25083 23715 459 1256 0 23822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100332

[startup+3.10557 s]
/proc/loadavg: 1.85 1.96 2.03 4/74 10241
/proc/meminfo: memFree=1706624/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=149832 CPUtime=3.09
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 39706 0 0 0 276 33 0 0 25 0 1 0 184255974 153427968 35932 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 37458 35932 479 1256 0 36197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149832

[startup+6.30193 s]
/proc/loadavg: 1.86 1.96 2.03 3/74 10241
/proc/meminfo: memFree=1636736/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=250812 CPUtime=6.28
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 55145 0 0 0 587 41 0 0 25 0 1 0 184255974 256831488 51289 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 62703 51289 605 1256 0 61442 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 250812

[startup+12.7026 s]
/proc/loadavg: 1.95 1.98 2.03 4/74 10241
/proc/meminfo: memFree=1600128/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=269064 CPUtime=12.67
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 60983 0 0 0 1217 50 0 0 25 0 1 0 184255974 275521536 57122 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67266 57122 644 1256 0 66005 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 269064

[startup+25.5011 s]
/proc/loadavg: 1.89 1.96 2.03 4/74 10241
/proc/meminfo: memFree=1597760/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=269064 CPUtime=25.46
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 61556 0 0 0 2495 51 0 0 25 0 1 0 184255974 275521536 57695 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67266 57695 644 1256 0 66005 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 269064

[startup+51.1021 s]
/proc/loadavg: 1.79 1.93 2.01 5/74 10241
/proc/meminfo: memFree=1591104/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=269064 CPUtime=51.04
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 63275 0 0 0 5050 54 0 0 25 0 1 0 184255974 275521536 59414 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67266 59414 644 1256 0 66005 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 269064

[startup+102.309 s]
/proc/loadavg: 1.97 1.95 2.01 3/74 10241
/proc/meminfo: memFree=1586240/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=269064 CPUtime=102.13
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 64437 0 0 0 10156 57 0 0 25 0 1 0 184255974 275521536 60576 1992294400 4194304 9342243 548682068736 18446744073709551615 6960634 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67266 60576 646 1256 0 66005 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 269064

[startup+162.301 s]
/proc/loadavg: 1.96 1.96 2.01 3/74 10241
/proc/meminfo: memFree=1581376/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=269064 CPUtime=161.94
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 65634 0 0 0 16135 59 0 0 25 0 1 0 184255974 275521536 61773 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67266 61773 646 1256 0 66005 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 269064

[startup+222.307 s]
/proc/loadavg: 2.13 2.01 2.02 4/74 10241
/proc/meminfo: memFree=1579520/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=221.91
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66066 0 0 0 22130 61 0 0 25 0 1 0 184255974 277954560 62205 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 62205 646 1256 0 66599 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 271440

[startup+282.306 s]
/proc/loadavg: 2.23 2.06 2.03 3/74 10241
/proc/meminfo: memFree=1577856/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=281.89
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66471 0 0 0 28126 63 0 0 25 0 1 0 184255974 277954560 62610 1992294400 4194304 9342243 548682068736 18446744073709551615 6959725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 62610 646 1256 0 66599 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 271440

[startup+342.302 s]
/proc/loadavg: 2.19 2.08 2.04 3/74 10241
/proc/meminfo: memFree=1576128/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=341.62
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66877 0 0 0 34094 68 0 0 25 0 1 0 184255974 277954560 63016 1992294400 4194304 9342243 548682068736 18446744073709551615 5869938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 63016 659 1256 0 66599 0
Current children cumulated CPU time (s) 341.62
Current children cumulated vsize (KiB) 271440

[startup+402.301 s]
/proc/loadavg: 2.29 2.12 2.06 3/74 10241
/proc/meminfo: memFree=1576128/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=401.21
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66879 0 0 0 40047 74 0 0 25 0 1 0 184255974 277954560 63018 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 63018 659 1256 0 66599 0
Current children cumulated CPU time (s) 401.21
Current children cumulated vsize (KiB) 271440

[startup+462.302 s]
/proc/loadavg: 2.26 2.14 2.07 4/74 10241
/proc/meminfo: memFree=1576000/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=460.93
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66900 0 0 0 46012 81 0 0 25 0 1 0 184255974 277954560 63039 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 63039 660 1256 0 66599 0
Current children cumulated CPU time (s) 460.93
Current children cumulated vsize (KiB) 271440

[startup+522.302 s]
/proc/loadavg: 1.79 2.02 2.03 3/74 10241
/proc/meminfo: memFree=1575936/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=520.71
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66903 0 0 0 51984 87 0 0 25 0 1 0 184255974 277954560 63042 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 63042 660 1256 0 66599 0
Current children cumulated CPU time (s) 520.71
Current children cumulated vsize (KiB) 271440

[startup+582.302 s]
/proc/loadavg: 2.25 2.11 2.05 3/74 10241
/proc/meminfo: memFree=1575936/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=271440 CPUtime=580.37
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 66903 0 0 0 57944 93 0 0 25 0 1 0 184255974 277954560 63042 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 67860 63042 660 1256 0 66599 0
Current children cumulated CPU time (s) 580.37
Current children cumulated vsize (KiB) 271440

[startup+642.302 s]
/proc/loadavg: 2.12 2.10 2.05 4/74 10241
/proc/meminfo: memFree=1571904/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=275152 CPUtime=640.35
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 67922 0 0 0 63936 99 0 0 25 0 1 0 184255974 281755648 64061 1992294400 4194304 9342243 548682068736 18446744073709551615 5868876 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 68788 64061 660 1256 0 67527 0
Current children cumulated CPU time (s) 640.35
Current children cumulated vsize (KiB) 275152

[startup+702.309 s]

################
# More data... #
################

/proc/meminfo: memFree=1571200/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=276164 CPUtime=1058.85
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 68046 0 0 0 105742 143 0 0 25 0 1 0 184255974 282791936 64185 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 69041 64185 660 1256 0 67780 0
Current children cumulated CPU time (s) 1058.85
Current children cumulated vsize (KiB) 276164

[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.03 2/74 10243
/proc/meminfo: memFree=1571264/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=276164 CPUtime=1118.4
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 68046 0 0 0 111687 153 0 0 25 0 1 0 184255974 282791936 64185 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 69041 64185 660 1256 0 67780 0
Current children cumulated CPU time (s) 1118.4
Current children cumulated vsize (KiB) 276164

[startup+1182.3 s]
/proc/loadavg: 2.17 2.09 2.05 3/74 10243
/proc/meminfo: memFree=1494208/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1178.09
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87302 0 0 0 117628 181 0 0 25 0 1 0 184255974 356601856 83441 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83441 689 1256 0 85800 0
Current children cumulated CPU time (s) 1178.09
Current children cumulated vsize (KiB) 348244

[startup+1242.3 s]
/proc/loadavg: 2.08 2.07 2.04 4/74 10243
/proc/meminfo: memFree=1494144/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1237.97
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87302 0 0 0 123611 186 0 0 25 0 1 0 184255974 356601856 83441 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83441 689 1256 0 85800 0
Current children cumulated CPU time (s) 1237.97
Current children cumulated vsize (KiB) 348244

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 2.04 3/74 10243
/proc/meminfo: memFree=1494144/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1297.93
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87302 0 0 0 129600 193 0 0 25 0 1 0 184255974 356601856 83441 1992294400 4194304 9342243 548682068736 18446744073709551615 4339084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83441 689 1256 0 85800 0
Current children cumulated CPU time (s) 1297.93
Current children cumulated vsize (KiB) 348244

[startup+1362.3 s]
/proc/loadavg: 1.98 2.05 2.04 2/74 10243
/proc/meminfo: memFree=1493952/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1357.86
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 135591 195 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1357.86
Current children cumulated vsize (KiB) 348244

[startup+1422.31 s]
/proc/loadavg: 2.21 2.09 2.05 3/74 10243
/proc/meminfo: memFree=1494016/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1417.76
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 141578 198 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1417.76
Current children cumulated vsize (KiB) 348244

[startup+1482.31 s]
/proc/loadavg: 2.09 2.07 2.04 3/74 10249
/proc/meminfo: memFree=1493888/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1477.73
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 147574 199 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1477.73
Current children cumulated vsize (KiB) 348244

[startup+1542.3 s]
/proc/loadavg: 2.35 2.15 2.07 3/74 10249
/proc/meminfo: memFree=1493888/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1537.71
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 153570 201 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1537.71
Current children cumulated vsize (KiB) 348244

[startup+1602.31 s]
/proc/loadavg: 2.11 2.10 2.06 2/74 10249
/proc/meminfo: memFree=1493888/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1597.7
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 159567 203 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1597.7
Current children cumulated vsize (KiB) 348244

[startup+1662.31 s]
/proc/loadavg: 2.16 2.11 2.06 3/74 10249
/proc/meminfo: memFree=1493888/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1657.68
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 165563 205 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1657.68
Current children cumulated vsize (KiB) 348244

[startup+1722.3 s]
/proc/loadavg: 2.17 2.13 2.07 2/74 10249
/proc/meminfo: memFree=1493888/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1717.61
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 171554 207 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 5868830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1717.61
Current children cumulated vsize (KiB) 348244

[startup+1782.3 s]
/proc/loadavg: 2.36 2.20 2.10 2/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1777.35
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 177524 211 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960231 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1777.35
Current children cumulated vsize (KiB) 348244

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 2.31 2.19 2.09 3/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1786.89
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 178477 212 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6040605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1786.89
Current children cumulated vsize (KiB) 348244

[startup+1795.1 s]
/proc/loadavg: 2.36 2.20 2.10 3/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1790.08
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 178796 212 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1790.08
Current children cumulated vsize (KiB) 348244

[startup+1798.3 s]
/proc/loadavg: 2.36 2.20 2.10 3/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1793.26
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 179114 212 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1793.26
Current children cumulated vsize (KiB) 348244

[startup+1799.1 s]
/proc/loadavg: 2.36 2.20 2.10 2/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1794.05
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87340 0 0 0 179193 212 0 0 25 0 1 0 184255974 356601856 83479 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83479 693 1256 0 85800 0
Current children cumulated CPU time (s) 1794.05
Current children cumulated vsize (KiB) 348244

[startup+1799.5 s]
/proc/loadavg: 2.25 2.18 2.09 4/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=348244 CPUtime=1794.44
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87341 0 0 0 179232 212 0 0 25 0 1 0 184255974 356601856 83480 1992294400 4194304 9342243 548682068736 18446744073709551615 4304269 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 87061 83480 694 1256 0 85800 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 348244

[startup+1799.7 s]
/proc/loadavg: 2.25 2.18 2.09 4/74 10249
/proc/meminfo: memFree=1493824/2055920 swapFree=4180892/4192956
[pid=10240] ppid=10238 vsize=251240 CPUtime=1794.63
/proc/10240/stat : 10240 (pbscip.linux.x8) R 10238 10240 9510 0 -1 4194304 87341 0 0 0 179250 213 0 0 25 0 1 0 184255974 257269760 61430 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/10240/statm: 62810 61430 694 1256 0 61549 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 251240

Child status: 0
Real time (s): 1799.78
CPU time (s): 1794.72
CPU user time (s): 1792.54
CPU system time (s): 2.17767
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 348244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 2.17767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87344
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= 16342

runsolver used 2.41963 second user time and 6.42202 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 17:36:20
IDJOB=1869251
IDBENCH=2256
IDSOLVER=684
FILE ID=node87/1869251-1245166580
PBS_JOBID= 9363857
Free space on /tmp= 66536 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.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-1869251-1245166580/watcher-1869251-1245166580 -o /tmp/evaluation-result-1869251-1245166580/solver-1869251-1245166580 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869251-1245166580.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=1995512317

node87.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.235
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.235
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1827112 kB
Buffers:         38296 kB
Cached:         106012 kB
SwapCached:       6176 kB
Active:          84216 kB
Inactive:        85728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827112 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:           13976 kB
Writeback:           0 kB
Mapped:          33088 kB
Slab:            43728 kB
Committed_AS:   592928 kB
PageTables:       2128 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= 66524 MiB
End job on node87 at 2009-06-16 18:06:20