Trace number 1869233

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-45 1794.96 1795.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark568.149
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
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 1400
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 1400
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 1400
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.39/1.45	c SCIP version 1.1.0.7
1.39/1.45	c LP-Solver Clp 1.8.2
1.39/1.45	c user parameter file <scip.set> not found - using default parameters
1.39/1.45	c read problem <HOME/instance-1869233-1245165537.opb>
1.39/1.45	c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109601 constraints
1.59/1.69	c start presolving problem
1.59/1.69	c presolving:
2.89/2.99	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109601 upgd conss, 219202 impls, 0 clqs
5.38/5.40	c    (3.6s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.38/5.40	c    (3.6s) probing aborted: 100/100 successive totally useless probings
5.38/5.40	c presolving (2 rounds):
5.38/5.40	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.38/5.40	c  219202 implications, 0 cliques
5.38/5.40	c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109601 constraints
5.38/5.40	c  109601 constraints of type <logicor>
5.38/5.40	c transformed objective value is always integral (scale: 1)
5.38/5.40	c Presolving Time: 3.41
5.38/5.41	c strange?!, PURESAT with obj
5.38/5.41	c -----------------------------------------------------------------------------------------------
5.38/5.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.38/5.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.38/5.41	c limits/memory = c 1620
5.38/5.41	c # maximal time in seconds to run
5.38/5.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.38/5.41	c limits/time = c 1791
5.38/5.41	c # frequency for displaying node information lines
5.38/5.41	c # [type: int, range: [-1,2147483647], default: 100]
5.38/5.41	c display/freq = c 10000
5.38/5.41	c -----------------------------------------------------------------------------------------------
5.38/5.41	c start solving problem
5.38/5.41	c 
8.58/8.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.58/8.64	c   6.7s|     1 |     0 |  1406 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |      --      |    Inf 
8.58/8.65	o 0
8.58/8.65	c r 6.8s|     1 |     0 |  1406 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 | 0.000000e+00 | 100.00%
8.79/8.88	o -1
8.79/8.88	c R 7.0s|     1 |     0 |  1406 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-1.000000e+00 |  99.86%
9.08/9.16	o -2
9.08/9.16	c s 7.2s|     1 |     0 |  1406 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-2.000000e+00 |  99.71%
21.78/21.84	c  19.8s|     1 |     0 |  1762 | 121M|   0 |1328 |1400 | 109k| 109k|1400 | 109k|   9 |   0 |   0 |-6.640000e+02 |-2.000000e+00 |  99.70%
42.57/42.67	c  40.6s|     1 |     0 |  2231 | 121M|   0 |1281 |1400 | 109k| 109k|1400 | 109k|  15 |   0 |   0 |-6.405000e+02 |-2.000000e+00 |  99.69%
70.86/70.95	c  68.9s|     1 |     0 |  2788 | 121M|   0 |1234 |1400 | 109k| 109k|1400 | 109k|  19 |   0 |   0 |-6.170000e+02 |-2.000000e+00 |  99.68%
100.45/100.55	c  98.5s|     1 |     0 |  3401 | 121M|   0 |1186 |1400 | 109k| 109k|1400 | 109k|  27 |   0 |   0 |-5.930000e+02 |-2.000000e+00 |  99.66%
129.25/129.31	c   127s|     1 |     0 |  3865 | 121M|   0 |1141 |1400 | 109k| 109k|1400 | 109k|  36 |   0 |   0 |-5.688750e+02 |-2.000000e+00 |  99.65%
170.04/170.13	c   168s|     1 |     0 |  4725 | 121M|   0 |1092 |1400 | 109k| 109k|1400 | 109k|  48 |   0 |   0 |-5.452500e+02 |-2.000000e+00 |  99.63%
202.03/202.14	c   200s|     1 |     0 |  5260 | 121M|   0 |1044 |1400 | 109k| 109k|1400 | 109k|  55 |   0 |   0 |-5.212500e+02 |-2.000000e+00 |  99.62%
243.72/243.83	c   242s|     1 |     0 |  6044 | 122M|   0 | 975 |1400 | 109k| 109k|1400 | 109k|  66 |   0 |   0 |-4.867500e+02 |-2.000000e+00 |  99.59%
285.21/285.38	c   283s|     1 |     0 |  6815 | 122M|   0 | 929 |1400 | 109k| 109k|1400 | 109k|  73 |   0 |   0 |-4.637500e+02 |-2.000000e+00 |  99.57%
328.29/328.41	c   326s|     1 |     0 |  7663 | 122M|   0 | 882 |1400 | 109k| 109k|1400 | 109k|  83 |   0 |   0 |-4.397500e+02 |-2.000000e+00 |  99.55%
351.09/351.20	c   349s|     1 |     0 |  8376 | 122M|   0 | 836 |1400 | 109k| 109k|1400 | 109k|  92 |   0 |   0 |-4.170000e+02 |-2.000000e+00 |  99.52%
371.48/371.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
371.48/371.61	c   369s|     1 |     0 |  9084 | 122M|   0 | 793 |1400 | 109k| 109k|1400 | 109k|  97 |   0 |   0 |-3.955000e+02 |-2.000000e+00 |  99.49%
395.78/396.00	c   394s|     1 |     0 | 10037 | 122M|   0 | 747 |1400 | 109k| 109k|1400 | 109k| 106 |   0 |   0 |-3.727500e+02 |-2.000000e+00 |  99.46%
414.87/415.04	c   413s|     1 |     0 | 10790 | 122M|   0 | 699 |1400 | 109k| 109k|1400 | 109k| 113 |   0 |   0 |-3.487500e+02 |-2.000000e+00 |  99.43%
434.57/434.74	c   432s|     1 |     0 | 11661 | 122M|   0 | 652 |1400 | 109k| 109k|1400 | 109k| 122 |   0 |   0 |-3.252500e+02 |-2.000000e+00 |  99.39%
440.57/440.74	c   438s|     1 |     0 | 11914 | 122M|   0 | 628 |1400 | 109k| 109k|1400 | 109k| 130 |   0 |   0 |-3.132500e+02 |-2.000000e+00 |  99.36%
459.47/459.63	c   457s|     1 |     0 | 12705 | 122M|   0 | 592 |1400 | 109k| 109k|1400 | 109k| 138 |   0 |   0 |-2.952500e+02 |-2.000000e+00 |  99.32%
468.06/468.25	c   466s|     1 |     0 | 13141 | 122M|   0 | 543 |1400 | 109k| 109k|1400 | 109k| 150 |   0 |   0 |-2.707500e+02 |-2.000000e+00 |  99.26%
488.35/488.51	c   486s|     1 |     0 | 14091 | 122M|   0 | 499 |1400 | 109k| 109k|1400 | 109k| 154 |   0 |   0 |-2.487500e+02 |-2.000000e+00 |  99.20%
504.95/505.14	c   503s|     1 |     0 | 14813 | 122M|   0 | 446 |1400 | 109k| 109k|1400 | 109k| 169 |   0 |   0 |-2.222500e+02 |-2.000000e+00 |  99.10%
517.74/517.96	c   516s|     1 |     0 | 15494 | 122M|   0 | 400 |1400 | 109k| 109k|1400 | 109k| 177 |   0 |   0 |-1.992500e+02 |-2.000000e+00 |  99.00%
525.65/525.90	c   524s|     1 |     0 | 15971 | 122M|   0 | 376 |1400 | 109k| 109k|1400 | 109k| 191 |   0 |   0 |-1.872500e+02 |-2.000000e+00 |  98.93%
529.95/530.12	c   528s|     1 |     0 | 16202 | 122M|   0 | 355 |1400 | 109k| 109k|1400 | 109k| 197 |   0 |   0 |-1.757500e+02 |-2.000000e+00 |  98.86%
539.24/539.42	c   537s|     1 |     0 | 16835 | 122M|   0 | 310 |1400 | 109k| 109k|1400 | 109k| 209 |   0 |   0 |-1.542500e+02 |-2.000000e+00 |  98.70%
552.54/552.74	c   550s|     1 |     0 | 17633 | 122M|   0 | 292 |1400 | 109k| 109k|1400 | 109k| 214 |   0 |   0 |-1.442500e+02 |-2.000000e+00 |  98.61%
566.73/566.91	c   565s|     1 |     0 | 18695 | 122M|   0 | 269 |1400 | 109k| 109k|1400 | 109k| 220 |   0 |   0 |-1.337500e+02 |-2.000000e+00 |  98.50%
571.23/571.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
571.23/571.45	c   569s|     1 |     0 | 19099 | 122M|   0 | 229 |1400 | 109k| 109k|1400 | 109k| 228 |   0 |   0 |-1.132500e+02 |-2.000000e+00 |  98.23%
576.63/576.89	c   575s|     1 |     0 | 19666 | 122M|   0 | 193 |1400 | 109k| 109k|1400 | 109k| 245 |   0 |   0 |-9.125000e+01 |-2.000000e+00 |  97.81%
580.23/580.47	c   578s|     1 |     0 | 19915 | 122M|   0 | 170 |1400 | 109k| 109k|1400 | 109k| 253 |   0 |   0 |-8.100000e+01 |-2.000000e+00 |  97.53%
580.33/580.52	o -3
580.33/580.52	c R 578s|     1 |     0 | 19915 | 122M|   0 | 170 |1400 | 109k| 109k|1400 | 109k| 253 |   0 |   0 |-8.100000e+01 |-3.000000e+00 |  96.30%
580.33/580.56	o -4
580.33/580.56	c s 578s|     1 |     0 | 19915 | 122M|   0 | 170 |1400 | 109k| 109k|1400 | 109k| 253 |   0 |   0 |-8.100000e+01 |-4.000000e+00 |  95.06%
583.93/584.12	c   582s|     1 |     0 | 20258 | 122M|   0 | 147 |1400 | 109k| 109k|1400 | 109k| 260 |   0 |   0 |-7.450000e+01 |-4.000000e+00 |  94.63%
583.93/584.17	o -5
583.93/584.17	c R 582s|     1 |     0 | 20258 | 122M|   0 | 147 |1400 | 109k| 109k|1400 | 109k| 260 |   0 |   0 |-7.450000e+01 |-5.000000e+00 |  93.29%
584.03/584.21	o -6
584.03/584.21	c s 582s|     1 |     0 | 20258 | 122M|   0 | 147 |1400 | 109k| 109k|1400 | 109k| 260 |   0 |   0 |-7.450000e+01 |-6.000000e+00 |  91.95%
590.33/590.54	c   588s|     1 |     0 | 20832 | 122M|   0 | 150 |1400 | 109k| 109k|1400 | 109k| 267 |   0 |   0 |-6.250000e+01 |-6.000000e+00 |  90.40%
593.03/593.22	c   591s|     1 |     0 | 21003 | 122M|   0 | 135 |1400 | 109k| 109k|1400 | 109k| 276 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
595.13/595.39	c   593s|     1 |     0 | 21118 | 122M|   0 | 130 |1400 | 109k| 109k|1400 | 109k| 290 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
597.93/598.16	c   596s|     1 |     0 | 21291 | 122M|   0 | 156 |1400 | 109k| 109k|1400 | 109k| 299 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
601.82/602.09	c   600s|     1 |     0 | 21479 | 122M|   0 | 157 |1400 | 109k| 109k|1400 | 109k| 317 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
601.92/602.15	o -6
601.92/602.15	c s 600s|     1 |     0 | 21479 | 122M|   0 | 157 |1400 | 109k| 109k|1400 | 109k| 317 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
605.83/606.00	c   604s|     1 |     0 | 21627 | 122M|   0 | 161 |1400 | 109k| 109k|1400 | 109k| 327 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
609.52/609.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
609.52/609.71	c   607s|     1 |     0 | 21850 | 122M|   0 | 191 |1400 | 109k| 109k|1400 | 109k| 341 |   0 |   0 |-5.600000e+01 |-6.000000e+00 |  89.29%
609.52/609.75	o -7
609.52/609.75	c R 607s|     1 |     0 | 21850 | 122M|   0 | 191 |1400 | 109k| 109k|1400 | 109k| 341 |   0 |   0 |-5.600000e+01 |-7.000000e+00 |  87.50%
609.62/609.88	o -36
609.62/609.88	c k 607s|     1 |     0 | 21850 | 122M|   0 | 191 |1400 | 109k| 109k|1400 | 109k| 341 |   0 |   0 |-5.600000e+01 |-3.600000e+01 |  35.71%
613.22/613.46	c   611s|     1 |     0 | 21850 | 122M|   0 | 191 |1400 | 109k| 109k|1400 | 109k| 341 |   0 |   0 |-5.600000e+01 |-3.600000e+01 |  35.71%
619.12/619.38	c   617s|     1 |     0 | 22306 | 123M|   0 | 238 |1400 | 109k| 109k|1400 | 109k| 354 |   0 |   0 |-5.600000e+01 |-3.600000e+01 |  35.71%
786.08/786.32	c   784s|     1 |     2 | 22306 | 123M|   0 | 238 |1400 | 109k| 109k|1400 | 109k| 354 |   0 |  33 |-5.600000e+01 |-3.600000e+01 |  35.71%
1107.19/1107.56	o -42
1107.19/1107.56	c c1105s|    19 |    19 | 25388 | 124M|  18 |   - |1400 | 109k| 106k|1400 | 109k| 354 |   0 | 443 |-5.600000e+01 |-4.200000e+01 |  25.00%
1197.77/1198.19	o -43
1197.77/1198.19	c p1195s|    31 |    30 | 26843 | 126M|  19 |   - |1400 | 109k|  64k|1400 | 109k| 354 |   0 | 642 |-5.600000e+01 |-4.300000e+01 |  23.21%
1401.92/1402.31	o -44
1401.92/1402.31	c p1399s|   134 |   133 | 49547 | 129M|  21 |   - |1400 | 109k|  39k|1400 | 109k| 354 |   0 | 841 |-5.600000e+01 |-4.400000e+01 |  21.43%
1734.03/1734.55	o -45
1734.03/1734.55	c c1731s|   414 |   409 | 98154 | 137M|  29 |   - |1400 | 109k|  62k|1400 | 109k| 354 |   0 | 965 |-5.600000e+01 |-4.500000e+01 |  19.64%
1794.41/1794.92	c 
1794.41/1794.92	c SCIP Status        : solving was interrupted [time limit reached]
1794.41/1794.92	c Solving Time (sec) : 1791.06
1794.41/1794.92	c Solving Nodes      : 458
1794.41/1794.92	c Primal Bound       : -4.50000000000007e+01 (319 solutions)
1794.41/1794.92	c Dual Bound         : -5.59999999999998e+01
1794.41/1794.92	c Gap                : 19.64 %
1794.41/1794.97	c NODE         458
1794.41/1794.97	c DUAL BOUND   -56
1794.41/1794.97	c PRIMAL BOUND -45
1794.41/1794.97	c GAP          0.196429
1794.41/1794.97	s SATISFIABLE
1794.41/1794.97	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.41/1794.97	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.41/1794.97	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.41/1794.97	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.41/1794.97	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
1794.41/1794.97	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 
1794.41/1794.97	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1794.41/1794.97	v -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 
1794.41/1794.97	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1794.41/1794.97	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1794.41/1794.97	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 
1794.41/1794.97	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1794.41/1794.97	v -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1794.41/1794.97	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1794.41/1794.97	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1794.41/1794.97	v -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1794.41/1794.97	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
1794.41/1794.97	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
1794.41/1794.97	v -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 
1794.41/1794.97	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1794.41/1794.97	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
1794.41/1794.97	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 
1794.41/1794.97	v -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1794.41/1794.97	v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 
1794.41/1794.97	v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 
1794.41/1794.97	v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 
1794.41/1794.97	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 
1794.41/1794.97	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 
1794.41/1794.97	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 
1794.41/1794.97	v -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 
1794.41/1794.97	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 
1794.41/1794.97	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 
1794.41/1794.97	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
1794.41/1794.97	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 
1794.41/1794.97	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
1794.41/1794.97	v -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
1794.41/1794.97	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 
1794.41/1794.97	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 
1794.41/1794.97	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 
1794.41/1794.97	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1794.41/1794.97	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
1794.41/1794.97	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
1794.41/1794.97	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 
1794.41/1794.97	v -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
1794.41/1794.97	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 
1794.41/1794.97	v -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 
1794.41/1794.97	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
1794.41/1794.97	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 
1794.41/1794.97	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
1794.41/1794.97	v -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
1794.41/1794.97	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 
1794.41/1794.97	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
1794.41/1794.97	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 
1794.41/1794.97	v -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 
1794.41/1794.97	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
1794.41/1794.97	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 
1794.41/1794.97	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
1794.41/1794.97	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 
1794.41/1794.97	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
1794.41/1794.97	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 
1794.41/1794.97	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 
1794.41/1794.97	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 
1794.41/1794.97	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
1794.41/1794.97	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 
1794.41/1794.97	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 
1794.41/1794.97	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
1794.41/1794.97	v x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 
1794.41/1794.97	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 
1794.41/1794.97	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 
1794.41/1794.97	v -x1398 -x1399 -x1400 
1794.41/1794.97	c SCIP Status        : solving was interrupted [time limit reached]
1794.41/1794.97	c Solving Time       :    1791.06
1794.41/1794.97	c Original Problem   :
1794.41/1794.97	c   Problem name     : HOME/instance-1869233-1245165537.opb
1794.41/1794.97	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.41/1794.97	c   Constraints      : 109601 initial, 109601 maximal
1794.41/1794.97	c Presolved Problem  :
1794.41/1794.97	c   Problem name     : t_HOME/instance-1869233-1245165537.opb
1794.41/1794.97	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.41/1794.97	c   Constraints      : 109601 initial, 109601 maximal
1794.41/1794.97	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.41/1794.97	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.41/1794.97	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.41/1794.97	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.41/1794.97	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.41/1794.97	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.41/1794.97	c   probing          :       2.24          0          0          0          0          0          0          0          0
1794.41/1794.97	c   logicor          :       0.29          0          0          0          0          0          0          0          0
1794.41/1794.97	c   root node        :          -          0          -          -          0          -          -          -          -
1794.41/1794.97	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.41/1794.97	c   integral         :          0          0          0        459          0          0          1          0          0        916
1794.41/1794.97	c   logicor          :     109601         38       1022          0          0          0      18666          0          0          0
1794.41/1794.97	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.41/1794.97	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.41/1794.97	c   integral         :     705.64       0.00       0.00     705.64       0.00
1794.41/1794.97	c   logicor          :       3.05       0.69       2.36       0.00       0.00
1794.41/1794.97	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.41/1794.97	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.41/1794.97	c   rootredcost      :       0.00          4          0          0
1794.41/1794.97	c   pseudoobj        :       0.20       1718          0          0
1794.41/1794.97	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.41/1794.97	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.41/1794.97	c   infeasible LP    :       0.05        114          0          0        0.0          0        0.0          0
1794.41/1794.97	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.41/1794.97	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.41/1794.97	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.41/1794.97	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.41/1794.97	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.41/1794.97	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.41/1794.97	c   cut pool         :       0.00         37          -          -        102          -    (maximal pool size: 769)
1794.41/1794.97	c   redcost          :       0.09        496          0          0          0          0
1794.41/1794.97	c   impliedbounds    :       0.13         38          0          0          0          0
1794.41/1794.97	c   intobj           :       0.00          0          0          0          0          0
1794.41/1794.97	c   gomory           :      54.37         38          0          0      19000          0
1794.41/1794.97	c   strongcg         :      26.88         20          0          0      10000          0
1794.41/1794.97	c   cmir             :      61.15         10          0          0          0          0
1794.41/1794.97	c   flowcover        :      68.46         10          0          0          0          0
1794.41/1794.97	c   clique           :       3.23         38          0          0        351          0
1794.41/1794.97	c   zerohalf         :       0.00          0          0          0          0          0
1794.41/1794.97	c   mcf              :       0.22          1          0          0          0          0
1794.41/1794.97	c Pricers            :       Time      Calls       Vars
1794.41/1794.97	c   problem variables:       0.00          0          0
1794.41/1794.97	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.41/1794.97	c   relpscost        :     705.63        459          0          1          0          0        916
1794.41/1794.97	c   pscost           :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   inference        :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   mostinf          :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   leastinf         :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.41/1794.97	c   random           :       0.00          0          0          0          0          0          0
1794.41/1794.97	c Primal Heuristics  :       Time      Calls      Found
1794.41/1794.97	c   LP solutions     :       0.00          -          0
1794.41/1794.97	c   pseudo solutions :       0.00          -          0
1794.41/1794.97	c   oneopt           :       0.18          5          1
1794.41/1794.97	c   crossover        :       0.94          1          1
1794.41/1794.97	c   linesearchdiving :      15.06          4         39
1794.41/1794.97	c   guideddiving     :      20.37          4         22
1794.41/1794.97	c   coefdiving       :      16.90          5         28
1794.41/1794.97	c   pscostdiving     :      14.56          5         39
1794.41/1794.97	c   fracdiving       :      27.22          5         30
1794.41/1794.97	c   objpscostdiving  :      13.81          3         37
1794.41/1794.97	c   rootsoldiving    :      13.23          3         21
1794.41/1794.97	c   simplerounding   :       0.77        497         74
1794.41/1794.97	c   rounding         :       9.49        497          4
1794.41/1794.97	c   shifting         :       4.58         81         10
1794.41/1794.97	c   intshifting      :       0.00          0          0
1794.41/1794.97	c   fixandinfer      :       0.00          0          0
1794.41/1794.97	c   feaspump         :       0.00          0          0
1794.41/1794.97	c   veclendiving     :      27.39          5         12
1794.41/1794.97	c   intdiving        :       0.00          0          0
1794.41/1794.97	c   actconsdiving    :       0.00          0          0
1794.41/1794.97	c   octane           :       0.00          0          0
1794.41/1794.97	c   rens             :       3.38          1          1
1794.41/1794.97	c   rins             :       0.00          0          0
1794.41/1794.97	c   localbranching   :       0.00          0          0
1794.41/1794.97	c   mutation         :       0.00          0          0
1794.41/1794.97	c   dins             :       0.00          0          0
1794.41/1794.97	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.41/1794.97	c   primal LP        :       3.96          0          0       0.00       0.00
1794.41/1794.97	c   dual LP          :     678.42        497      90339     181.77     133.16
1794.41/1794.97	c   barrier LP       :       0.00          0          0       0.00          -
1794.41/1794.97	c   diving/probing LP:     136.11        629      16940      26.93     124.46
1794.41/1794.97	c   strong branching :     705.55        985     162995     165.48     231.02
1794.41/1794.97	c     (at root node) :          -         33      17010     515.45          -
1794.41/1794.97	c   conflict analysis:       0.00          0          0       0.00          -
1794.41/1794.97	c B&B Tree           :
1794.41/1794.97	c   number of runs   :          1
1794.41/1794.97	c   nodes            :        458
1794.41/1794.97	c   nodes (total)    :        458
1794.41/1794.97	c   nodes left       :        453
1794.41/1794.97	c   max depth        :         29
1794.41/1794.97	c   max depth (total):         29
1794.41/1794.97	c   backtracks       :         33 (7.2%)
1794.41/1794.97	c   delayed cutoffs  :          0
1794.41/1794.97	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.41/1794.97	c   avg switch length:       2.14
1794.41/1794.97	c   switching time   :       1.77
1794.41/1794.97	c Solution           :
1794.41/1794.97	c   Solutions found  :        319 (14 improvements)
1794.41/1794.97	c   Primal Bound     : -4.50000000000007e+01   (in run 1, after 414 nodes, 1730.74 seconds, depth 43, found by <coefdiving>)
1794.41/1794.97	c   Dual Bound       : -5.59999999999998e+01
1794.41/1794.97	c   Gap              :      19.64 %
1794.41/1794.97	c   Root Dual Bound  : -5.60000000000000e+01
1794.91/1795.43	c Time complete: 1794.95.

Verifier Data 

OK	-45

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869233-1245165537/watcher-1869233-1245165537 -o /tmp/evaluation-result-1869233-1245165537/solver-1869233-1245165537 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869233-1245165537.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: 0.99 0.97 0.98 3/64 3513
/proc/meminfo: memFree=1883512/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=5812 CPUtime=0
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 184153785 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 1453 503 332 1256 0 192 0

[startup+0.034557 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 3513
/proc/meminfo: memFree=1883512/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=12072 CPUtime=0.02
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 2007 0 0 0 2 0 0 0 18 0 1 0 184153785 12361728 1991 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 3018 1991 378 1256 0 1757 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12072

[startup+0.101556 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 3513
/proc/meminfo: memFree=1883512/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=14492 CPUtime=0.09
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 2603 0 0 0 9 0 0 0 18 0 1 0 184153785 14839808 2587 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 3623 2587 378 1256 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14492

[startup+0.301576 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 3513
/proc/meminfo: memFree=1883512/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=20040 CPUtime=0.29
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 4000 0 0 0 28 1 0 0 19 0 1 0 184153785 20520960 3984 1992294400 4194304 9342243 548682068736 18446744073709551615 8228225 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 5010 3984 378 1256 0 3749 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20040

[startup+0.701619 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 3513
/proc/meminfo: memFree=1883512/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=29920 CPUtime=0.69
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 6474 0 0 0 67 2 0 0 23 0 1 0 184153785 30638080 6458 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 7480 6458 378 1256 0 6219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29920

[startup+1.50171 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1851312/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=62940 CPUtime=1.49
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 15082 0 0 0 144 5 0 0 25 0 1 0 184153785 64450560 14712 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 15735 14712 411 1256 0 14474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62940

[startup+3.10188 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1773104/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=164816 CPUtime=3.09
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 43691 0 0 0 270 39 0 0 25 0 1 0 184153785 168771584 39917 1992294400 4194304 9342243 548682068736 18446744073709551615 5858821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 41204 39917 466 1256 0 39943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 164816

[startup+6.30122 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1725040/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=265448 CPUtime=6.28
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 59202 0 0 0 582 46 0 0 25 0 1 0 184153785 271818752 55137 1992294400 4194304 9342243 548682068736 18446744073709551615 6948982 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 66362 55137 604 1256 0 65101 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 265448

[startup+12.7029 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1631600/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=307404 CPUtime=12.68
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 67582 0 0 0 1212 56 0 0 25 0 1 0 184153785 314781696 63517 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 76851 63517 633 1256 0 75590 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 307404

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1615728/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=313400 CPUtime=25.47
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 71466 0 0 0 2487 60 0 0 25 0 1 0 184153785 320921600 67401 1992294400 4194304 9342243 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78350 67401 644 1256 0 77089 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 313400

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1612208/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=313400 CPUtime=51.07
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 72366 0 0 0 5046 61 0 0 25 0 1 0 184153785 320921600 68301 1992294400 4194304 9342243 548682068736 18446744073709551615 5597657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78350 68301 644 1256 0 77089 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 313400

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1604848/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=313400 CPUtime=102.26
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 74200 0 0 0 10163 63 0 0 25 0 1 0 184153785 320921600 70135 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78350 70135 644 1256 0 77089 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 313400

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1600752/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=313400 CPUtime=162.24
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 75215 0 0 0 16159 65 0 0 25 0 1 0 184153785 320921600 71150 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78350 71150 645 1256 0 77089 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 313400

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1597488/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=313400 CPUtime=222.22
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 76013 0 0 0 22156 66 0 0 25 0 1 0 184153785 320921600 71948 1992294400 4194304 9342243 548682068736 18446744073709551615 5597657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78350 71948 646 1256 0 77089 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 313400

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1593392/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=314532 CPUtime=282.21
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 77044 0 0 0 28152 69 0 0 25 0 1 0 184153785 322080768 72979 1992294400 4194304 9342243 548682068736 18446744073709551615 6960832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78633 72979 647 1256 0 77372 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 314532

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1593136/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=314532 CPUtime=342.2
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 77082 0 0 0 34150 70 0 0 25 0 1 0 184153785 322080768 73017 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 78633 73017 647 1256 0 77372 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 314532

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1589872/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=324836 CPUtime=402.18
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 77898 0 0 0 40146 72 0 0 25 0 1 0 184153785 332632064 73833 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 81209 73833 660 1256 0 79948 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 324836

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1588976/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=324836 CPUtime=462.16
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 78118 0 0 0 46142 74 0 0 25 0 1 0 184153785 332632064 74053 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 81209 74053 660 1256 0 79948 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 324836

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1593712/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=317252 CPUtime=522.14
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 80342 0 0 0 52137 77 0 0 25 0 1 0 184153785 324866048 72835 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 79313 72835 660 1256 0 78052 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 317252

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1589936/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=316680 CPUtime=582.13
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 81652 0 0 0 58132 81 0 0 25 0 1 0 184153785 324280320 73762 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 79170 73762 660 1256 0 77909 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 316680

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1508464/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=642.12
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102020 0 0 0 64107 105 0 0 25 0 1 0 184153785 391659520 94130 1992294400 4194304 9342243 548682068736 18446744073709551615 6960768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94130 693 1256 0 94359 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 382480

[startup+702.302 s]

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

/proc/meminfo: memFree=1508144/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1122
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102021 0 0 0 112065 135 0 0 25 0 1 0 184153785 391659520 94131 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94131 694 1256 0 94359 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 382480

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1508080/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1181.98
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102021 0 0 0 118056 142 0 0 25 0 1 0 184153785 391659520 94131 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94131 694 1256 0 94359 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 382480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1508016/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1241.96
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102024 0 0 0 124049 147 0 0 25 0 1 0 184153785 391659520 94134 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94134 697 1256 0 94359 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 382480

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1508016/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1301.95
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102024 0 0 0 130044 151 0 0 25 0 1 0 184153785 391659520 94134 1992294400 4194304 9342243 548682068736 18446744073709551615 6952849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94134 697 1256 0 94359 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 382480

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1507952/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1361.93
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102039 0 0 0 136038 155 0 0 25 0 1 0 184153785 391659520 94134 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94134 697 1256 0 94359 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 382480

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1507888/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1421.92
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102040 0 0 0 142032 160 0 0 25 0 1 0 184153785 391659520 94135 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94135 697 1256 0 94359 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 382480

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1507824/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1481.9
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102045 0 0 0 148026 164 0 0 25 0 1 0 184153785 391659520 94140 1992294400 4194304 9342243 548682068736 18446744073709551615 5397839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94140 697 1256 0 94359 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 382480

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1507888/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1541.88
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102045 0 0 0 154019 169 0 0 25 0 1 0 184153785 391659520 94140 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94140 697 1256 0 94359 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 382480

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1507888/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=382480 CPUtime=1601.87
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 102047 0 0 0 160013 174 0 0 25 0 1 0 184153785 391659520 94142 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 95620 94142 697 1256 0 94359 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 382480

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495152/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1661.85
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 165996 189 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 395040

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495088/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1721.84
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 171991 193 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 6018248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 395040

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495088/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1781.82
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 177985 197 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 6059531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 395040

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495088/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1785.02
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 178305 197 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 6018252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 395040

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1791.42
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 178945 197 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 6253555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 395040

[startup+1793.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1793.01
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 179104 197 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 6240157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 395040

[startup+1794.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1793.81
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105212 0 0 0 179184 197 0 0 25 0 1 0 184153785 404520960 97307 1992294400 4194304 9342243 548682068736 18446744073709551615 7289222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97307 702 1256 0 97499 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 395040

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1794.62
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105213 0 0 0 179265 197 0 0 17 0 1 0 184153785 404520960 97308 1992294400 4194304 9342243 548682068736 18446744073709551615 4302007 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97308 703 1256 0 97499 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 395040

[startup+1795.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=395040 CPUtime=1794.81
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105213 0 0 0 179284 197 0 0 18 0 1 0 184153785 404520960 97308 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 98760 97308 703 1256 0 97499 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 395040

[startup+1795.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 3514
/proc/meminfo: memFree=1495024/2055920 swapFree=4181536/4192956
[pid=3513] ppid=3511 vsize=256888 CPUtime=1794.91
/proc/3513/stat : 3513 (pbscip.linux.x8) R 3511 3513 3395 0 -1 4194304 105213 0 0 0 179291 200 0 0 19 0 1 0 184153785 263053312 63072 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3513/statm: 64222 63072 10823 1256 0 62961 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 256888

Child status: 0
Real time (s): 1795.44
CPU time (s): 1794.96
CPU user time (s): 1792.92
CPU system time (s): 2.04469
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 395040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.92
system time used= 2.04469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105216
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= 14
involuntary context switches= 2052

runsolver used 1.54476 second user time and 3.9274 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 17:18:57
IDJOB=1869233
IDBENCH=2247
IDSOLVER=684
FILE ID=node19/1869233-1245165537
PBS_JOBID= 9363875
Free space on /tmp= 66156 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/frb56-25-opb/normalized-frb56-25-5.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-1869233-1245165537/watcher-1869233-1245165537 -o /tmp/evaluation-result-1869233-1245165537/solver-1869233-1245165537 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869233-1245165537.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=439133485

node19.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.234
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.234
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:       1883928 kB
Buffers:         30160 kB
Cached:          77340 kB
SwapCached:       6060 kB
Active:          71512 kB
Inactive:        44764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1883928 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:           14360 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            41668 kB
Committed_AS:   193588 kB
PageTables:       1456 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= 66144 MiB
End job on node19 at 2009-06-16 17:48:52