Trace number 1869277

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-44 1796.4 1806.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46
Best CPU time to get the best result obtained on this benchmark1795.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
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 1534
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 1534
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 1534
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.57/1.61	c SCIP version 1.1.0.7
1.57/1.61	c LP-Solver Clp 1.8.2
1.57/1.61	c user parameter file <scip.set> not found - using default parameters
1.57/1.61	c read problem <HOME/instance-1869277-1245168374.opb>
1.57/1.61	c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 125982 constraints
1.77/1.89	c start presolving problem
1.77/1.89	c presolving:
3.31/4.05	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 125982 upgd conss, 251964 impls, 0 clqs
6.00/6.74	c    (4.0s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.00/6.74	c    (4.0s) probing aborted: 100/100 successive totally useless probings
6.00/6.74	c presolving (2 rounds):
6.00/6.74	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.00/6.74	c  251964 implications, 0 cliques
6.00/6.74	c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 125982 constraints
6.00/6.74	c  125982 constraints of type <logicor>
6.00/6.74	c transformed objective value is always integral (scale: 1)
6.00/6.74	c Presolving Time: 3.81
6.00/6.75	c strange?!, PURESAT with obj
6.00/6.75	c -----------------------------------------------------------------------------------------------
6.00/6.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.00/6.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.00/6.75	c limits/memory = c 1620
6.00/6.75	c # maximal time in seconds to run
6.00/6.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.00/6.75	c limits/time = c 1791
6.00/6.75	c # frequency for displaying node information lines
6.00/6.75	c # [type: int, range: [-1,2147483647], default: 100]
6.00/6.75	c display/freq = c 10000
6.00/6.75	c -----------------------------------------------------------------------------------------------
6.00/6.75	c start solving problem
6.00/6.75	c 
10.01/10.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.01/10.76	c   7.9s|     1 |     0 |  1536 | 139M|   0 |1534 |1534 | 125k| 125k|1534 | 125k|   0 |   0 |   0 |-7.670000e+02 |      --      |    Inf 
10.01/10.77	o 0
10.01/10.77	c r 7.9s|     1 |     0 |  1536 | 139M|   0 |1534 |1534 | 125k| 125k|1534 | 125k|   0 |   0 |   0 |-7.670000e+02 | 0.000000e+00 | 100.00%
10.30/11.03	o -1
10.30/11.03	c R 8.2s|     1 |     0 |  1536 | 139M|   0 |1534 |1534 | 125k| 125k|1534 | 125k|   0 |   0 |   0 |-7.670000e+02 |-1.000000e+00 |  99.87%
26.18/28.14	c  23.4s|     1 |     0 |  1958 | 139M|   0 |1458 |1534 | 125k| 125k|1534 | 125k|   9 |   0 |   0 |-7.290000e+02 |-1.000000e+00 |  99.86%
52.13/55.53	c  48.8s|     1 |     0 |  2425 | 139M|   0 |1407 |1534 | 125k| 125k|1534 | 125k|  14 |   0 |   0 |-7.035000e+02 |-1.000000e+00 |  99.86%
88.59/92.26	c  85.3s|     1 |     0 |  3083 | 139M|   0 |1356 |1534 | 125k| 125k|1534 | 126k|  22 |   0 |   0 |-6.780000e+02 |-1.000000e+00 |  99.85%
125.22/129.13	c   122s|     1 |     0 |  3653 | 139M|   0 |1309 |1534 | 125k| 125k|1534 | 126k|  28 |   0 |   0 |-6.545000e+02 |-1.000000e+00 |  99.85%
163.71/167.91	c   160s|     1 |     0 |  4269 | 139M|   0 |1262 |1534 | 125k| 125k|1534 | 126k|  33 |   0 |   0 |-6.310000e+02 |-1.000000e+00 |  99.84%
192.61/197.07	c   189s|     1 |     0 |  4625 | 139M|   0 |1214 |1534 | 125k| 125k|1534 | 126k|  39 |   0 |   0 |-6.070000e+02 |-1.000000e+00 |  99.84%
240.66/245.41	c   237s|     1 |     0 |  5414 | 139M|   0 |1165 |1534 | 125k| 125k|1534 | 126k|  47 |   0 |   0 |-5.825000e+02 |-1.000000e+00 |  99.83%
283.84/288.97	c   280s|     1 |     0 |  6009 | 139M|   0 |1114 |1534 | 125k| 125k|1534 | 126k|  59 |   0 |   0 |-5.570000e+02 |-1.000000e+00 |  99.82%
326.60/332.07	c   323s|     1 |     0 |  6602 | 139M|   0 |1067 |1534 | 125k| 125k|1534 | 126k|  67 |   0 |   0 |-5.335000e+02 |-1.000000e+00 |  99.81%
376.99/382.72	c   373s|     1 |     0 |  7346 | 139M|   0 |1044 |1534 | 125k| 125k|1534 | 126k|  71 |   0 |   0 |-5.220000e+02 |-1.000000e+00 |  99.81%
402.80/408.74	c   399s|     1 |     0 |  7990 | 139M|   0 | 996 |1534 | 125k| 125k|1534 | 126k|  77 |   0 |   0 |-4.980000e+02 |-1.000000e+00 |  99.80%
431.74/437.76	c   428s|     1 |     0 |  8775 | 140M|   0 | 946 |1534 | 125k| 125k|1534 | 126k|  84 |   0 |   0 |-4.730000e+02 |-1.000000e+00 |  99.79%
440.53/446.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
440.53/446.54	c   437s|     1 |     0 |  9014 | 140M|   0 | 921 |1534 | 125k| 125k|1534 | 126k|  90 |   0 |   0 |-4.605000e+02 |-1.000000e+00 |  99.78%
462.53/468.69	c   459s|     1 |     0 |  9644 | 140M|   0 | 873 |1534 | 125k| 125k|1534 | 126k|  96 |   0 |   0 |-4.365000e+02 |-1.000000e+00 |  99.77%
482.91/489.18	c   479s|     1 |     0 | 10252 | 140M|   0 | 825 |1534 | 125k| 125k|1534 | 126k| 103 |   0 |   0 |-4.125000e+02 |-1.000000e+00 |  99.76%
502.37/508.68	c   499s|     1 |     0 | 10885 | 140M|   0 | 778 |1534 | 125k| 125k|1534 | 126k| 108 |   0 |   0 |-3.890000e+02 |-1.000000e+00 |  99.74%
521.75/528.04	c   518s|     1 |     0 | 11515 | 140M|   0 | 725 |1534 | 125k| 125k|1534 | 126k| 119 |   0 |   0 |-3.625000e+02 |-1.000000e+00 |  99.72%
542.20/548.53	c   539s|     1 |     0 | 12213 | 140M|   0 | 677 |1534 | 125k| 125k|1534 | 126k| 128 |   0 |   0 |-3.385000e+02 |-1.000000e+00 |  99.70%
567.78/574.10	c   564s|     1 |     0 | 13055 | 140M|   0 | 628 |1534 | 125k| 125k|1534 | 126k| 136 |   0 |   0 |-3.140000e+02 |-1.000000e+00 |  99.68%
593.05/599.43	c   589s|     1 |     0 | 14092 | 140M|   0 | 580 |1534 | 125k| 125k|1534 | 126k| 142 |   0 |   0 |-2.900000e+02 |-1.000000e+00 |  99.66%
616.78/623.21	c   613s|     1 |     0 | 15116 | 140M|   0 | 532 |1534 | 125k| 125k|1534 | 126k| 153 |   0 |   0 |-2.660000e+02 |-1.000000e+00 |  99.62%
638.46/644.94	c   635s|     1 |     0 | 16069 | 140M|   0 | 486 |1534 | 125k| 125k|1534 | 126k| 160 |   0 |   0 |-2.430000e+02 |-1.000000e+00 |  99.59%
645.74/652.21	c   642s|     1 |     0 | 16411 | 140M|   0 | 459 |1534 | 125k| 125k|1534 | 126k| 170 |   0 |   0 |-2.295000e+02 |-1.000000e+00 |  99.56%
658.54/665.06	c   655s|     1 |     0 | 17067 | 140M|   0 | 410 |1534 | 125k| 125k|1534 | 126k| 179 |   0 |   0 |-2.050000e+02 |-1.000000e+00 |  99.51%
670.32/676.82	c   667s|     1 |     0 | 17694 | 140M|   0 | 360 |1534 | 125k| 125k|1534 | 126k| 190 |   0 |   0 |-1.800000e+02 |-1.000000e+00 |  99.44%
686.71/693.21	c   683s|     1 |     0 | 18562 | 140M|   0 | 310 |1534 | 125k| 125k|1534 | 126k| 199 |   0 |   0 |-1.560000e+02 |-1.000000e+00 |  99.36%
686.71/693.28	o -2
686.71/693.28	c R 683s|     1 |     0 | 18562 | 140M|   0 | 310 |1534 | 125k| 125k|1534 | 126k| 199 |   0 |   0 |-1.560000e+02 |-2.000000e+00 |  98.72%
701.79/708.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
701.79/708.32	c   698s|     1 |     0 | 19408 | 140M|   0 | 267 |1534 | 125k| 125k|1534 | 126k| 203 |   0 |   0 |-1.345000e+02 |-2.000000e+00 |  98.51%
718.19/724.82	c   714s|     1 |     0 | 20630 | 140M|   0 | 233 |1534 | 125k| 125k|1534 | 126k| 211 |   0 |   0 |-1.120000e+02 |-2.000000e+00 |  98.21%
718.19/724.83	o -4
718.19/724.83	c r 714s|     1 |     0 | 20630 | 140M|   0 | 233 |1534 | 125k| 125k|1534 | 126k| 211 |   0 |   0 |-1.120000e+02 |-4.000000e+00 |  96.43%
718.19/724.88	o -5
718.19/724.88	c R 715s|     1 |     0 | 20630 | 140M|   0 | 233 |1534 | 125k| 125k|1534 | 126k| 211 |   0 |   0 |-1.120000e+02 |-5.000000e+00 |  95.54%
724.83/731.51	c   721s|     1 |     0 | 21103 | 140M|   0 | 249 |1534 | 125k| 125k|1534 | 126k| 221 |   0 |   0 |-9.950000e+01 |-5.000000e+00 |  94.97%
731.99/738.75	c   728s|     1 |     0 | 21544 | 140M|   0 | 180 |1534 | 125k| 125k|1534 | 126k| 234 |   0 |   0 |-8.850000e+01 |-5.000000e+00 |  94.35%
742.88/749.77	c   739s|     1 |     0 | 22334 | 140M|   0 | 151 |1534 | 125k| 125k|1534 | 126k| 240 |   0 |   0 |-6.800000e+01 |-5.000000e+00 |  92.65%
742.88/749.78	o -8
742.88/749.78	c r 739s|     1 |     0 | 22334 | 140M|   0 | 151 |1534 | 125k| 125k|1534 | 126k| 240 |   0 |   0 |-6.800000e+01 |-8.000000e+00 |  88.24%
742.98/749.84	o -9
742.98/749.84	c R 739s|     1 |     0 | 22334 | 140M|   0 | 151 |1534 | 125k| 125k|1534 | 126k| 240 |   0 |   0 |-6.800000e+01 |-9.000000e+00 |  86.76%
751.02/757.97	c   747s|     1 |     0 | 22904 | 140M|   0 | 140 |1534 | 125k| 125k|1534 | 126k| 251 |   0 |   0 |-5.900000e+01 |-9.000000e+00 |  84.75%
751.02/757.98	o -10
751.02/757.98	c r 747s|     1 |     0 | 22904 | 140M|   0 | 140 |1534 | 125k| 125k|1534 | 126k| 251 |   0 |   0 |-5.900000e+01 |-1.000000e+01 |  83.05%
751.12/758.02	o -11
751.12/758.02	c R 747s|     1 |     0 | 22904 | 140M|   0 | 140 |1534 | 125k| 125k|1534 | 126k| 251 |   0 |   0 |-5.900000e+01 |-1.100000e+01 |  81.36%
759.96/766.98	c   756s|     1 |     0 | 23490 | 140M|   0 | 237 |1534 | 125k| 125k|1534 | 126k| 266 |   0 |   0 |-5.900000e+01 |-1.100000e+01 |  81.36%
891.64/899.03	c   888s|     1 |     0 | 23895 | 140M|   0 | 279 |1534 | 125k| 125k|1534 | 126k| 275 |   0 |   0 |-5.900000e+01 |-1.100000e+01 |  81.36%
891.74/899.14	o -11
891.74/899.14	c s 888s|     1 |     0 | 23895 | 140M|   0 | 279 |1534 | 125k| 125k|1534 | 126k| 275 |   0 |   0 |-5.900000e+01 |-1.100000e+01 |  81.36%
1066.74/1075.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1066.74/1075.13	c  1063s|     1 |     0 | 24615 | 140M|   0 | 158 |1534 | 125k| 125k|1534 | 126k| 284 |   0 |   0 |-5.900000e+01 |-1.100000e+01 |  81.36%
1066.74/1075.18	o -12
1066.74/1075.18	c R1063s|     1 |     0 | 24615 | 140M|   0 | 158 |1534 | 125k| 125k|1534 | 126k| 284 |   0 |   0 |-5.900000e+01 |-1.200000e+01 |  79.66%
1118.02/1126.40	c  1114s|     1 |     0 | 25626 | 141M|   0 | 366 |1534 | 125k| 125k|1534 | 126k| 295 |   0 |   0 |-5.900000e+01 |-1.200000e+01 |  79.66%
1322.40/1330.93	c  1318s|     1 |     0 | 26382 | 141M|   0 | 204 |1534 | 125k| 125k|1534 | 126k| 303 |   0 |   0 |-5.900000e+01 |-1.200000e+01 |  79.66%
1322.50/1331.01	o -12
1322.50/1331.01	c s1318s|     1 |     0 | 26382 | 141M|   0 | 204 |1534 | 125k| 125k|1534 | 126k| 303 |   0 |   0 |-5.900000e+01 |-1.200000e+01 |  79.66%
1322.50/1331.09	o -44
1322.50/1331.09	c k1318s|     1 |     0 | 26382 | 141M|   0 | 204 |1534 | 125k| 125k|1534 | 126k| 303 |   0 |   0 |-5.900000e+01 |-4.400000e+01 |  25.42%
1325.90/1334.42	c  1321s|     1 |     0 | 26382 | 141M|   0 | 204 |1534 | 125k| 125k|1534 | 126k| 303 |   0 |   0 |-5.900000e+01 |-4.400000e+01 |  25.42%
1467.14/1475.77	c  1463s|     1 |     0 | 27360 | 141M|   0 | 294 |1534 | 125k| 125k|1534 | 126k| 312 |   0 |   0 |-5.900000e+01 |-4.400000e+01 |  25.42%
1795.87/1806.31	c  1791s|     1 |     2 | 27360 | 141M|   0 | 294 |1534 | 125k| 125k|1534 | 126k| 312 |   0 |  15 |-5.900000e+01 |-4.400000e+01 |  25.42%
1795.87/1806.31	c 
1795.87/1806.31	c SCIP Status        : solving was interrupted [time limit reached]
1795.87/1806.31	c Solving Time (sec) : 1791.05
1795.87/1806.31	c Solving Nodes      : 1
1795.87/1806.31	c Primal Bound       : -4.39999999999999e+01 (30 solutions)
1795.87/1806.31	c Dual Bound         : -5.89999999999999e+01
1795.87/1806.31	c Gap                : 25.42 %
1795.87/1806.37	c NODE         1
1795.87/1806.37	c DUAL BOUND   -59
1795.87/1806.37	c PRIMAL BOUND -44
1795.87/1806.37	c GAP          0.254237
1795.87/1806.37	s SATISFIABLE
1795.87/1806.37	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 
1795.87/1806.37	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 
1795.87/1806.37	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 
1795.87/1806.37	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 
1795.87/1806.37	v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
1795.87/1806.37	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 
1795.87/1806.37	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1795.87/1806.37	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 
1795.87/1806.37	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 
1795.87/1806.37	v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 
1795.87/1806.37	v -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 
1795.87/1806.37	v -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 
1795.87/1806.37	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
1795.87/1806.37	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 
1795.87/1806.37	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 
1795.87/1806.37	v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 
1795.87/1806.37	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 
1795.87/1806.37	v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
1795.87/1806.37	v -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 
1795.87/1806.37	v -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 
1795.87/1806.37	v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 
1795.87/1806.37	v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 
1795.87/1806.37	v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1795.87/1806.37	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 
1795.87/1806.37	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 
1795.87/1806.37	v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
1795.87/1806.37	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 
1795.87/1806.37	v -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 
1795.87/1806.37	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 
1795.87/1806.37	v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 
1795.87/1806.37	v -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 
1795.87/1806.37	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 
1795.87/1806.37	v -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 
1795.87/1806.37	v -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 
1795.87/1806.37	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 
1795.87/1806.37	v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 
1795.87/1806.37	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 
1795.87/1806.37	v -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 
1795.87/1806.37	v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 
1795.87/1806.37	v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 
1795.87/1806.37	v -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 
1795.87/1806.37	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 
1795.87/1806.37	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 
1795.87/1806.37	v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 
1795.87/1806.37	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 
1795.87/1806.37	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 
1795.87/1806.37	v x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 
1795.87/1806.37	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 
1795.87/1806.37	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 
1795.87/1806.37	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 
1795.87/1806.37	v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 
1795.87/1806.37	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 
1795.87/1806.37	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 
1795.87/1806.37	v -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 
1795.87/1806.37	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 
1795.87/1806.37	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 
1795.87/1806.37	v -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 
1795.87/1806.37	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 
1795.87/1806.37	v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 
1795.87/1806.37	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
1795.87/1806.37	v -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 
1795.87/1806.37	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 
1795.87/1806.37	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 
1795.87/1806.37	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 
1795.87/1806.37	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 
1795.87/1806.37	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 
1795.87/1806.37	v -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 
1795.87/1806.37	v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 
1795.87/1806.37	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 
1795.87/1806.37	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 
1795.87/1806.37	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 
1795.87/1806.37	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 
1795.87/1806.37	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 
1795.87/1806.37	v -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 
1795.87/1806.37	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 
1795.87/1806.37	v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 
1795.87/1806.37	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 
1795.87/1806.37	c SCIP Status        : solving was interrupted [time limit reached]
1795.87/1806.37	c Solving Time       :    1791.05
1795.87/1806.37	c Original Problem   :
1795.87/1806.37	c   Problem name     : HOME/instance-1869277-1245168374.opb
1795.87/1806.37	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.87/1806.37	c   Constraints      : 125982 initial, 125982 maximal
1795.87/1806.37	c Presolved Problem  :
1795.87/1806.37	c   Problem name     : t_HOME/instance-1869277-1245168374.opb
1795.87/1806.37	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.87/1806.37	c   Constraints      : 125982 initial, 125982 maximal
1795.87/1806.37	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.87/1806.37	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1795.87/1806.37	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.87/1806.37	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.87/1806.37	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.87/1806.37	c   implics          :       0.01          0          0          0          0          0          0          0          0
1795.87/1806.37	c   probing          :       2.50          0          0          0          0          0          0          0          0
1795.87/1806.37	c   logicor          :       0.31          0          0          0          0          0          0          0          0
1795.87/1806.37	c   root node        :          -          0          -          -          0          -          -          -          -
1795.87/1806.37	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.87/1806.37	c   integral         :          0          0          0          1          0          0          0          0          0          2
1795.87/1806.37	c   logicor          :     125982         38        201          0          0          0          0          0          0          0
1795.87/1806.37	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.87/1806.37	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.87/1806.37	c   integral         :     328.41       0.00       0.00     328.41       0.00
1795.87/1806.37	c   logicor          :       2.07       0.74       1.33       0.00       0.00
1795.87/1806.37	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.87/1806.37	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.87/1806.37	c   rootredcost      :       0.00          0          0          0
1795.87/1806.37	c   pseudoobj        :       0.01         35          0          0
1795.87/1806.37	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.87/1806.37	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.87/1806.37	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.87/1806.37	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.87/1806.37	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.87/1806.37	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.87/1806.37	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.87/1806.37	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.87/1806.37	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.87/1806.37	c   cut pool         :       0.00         37          -          -         89          -    (maximal pool size: 642)
1795.87/1806.37	c   redcost          :       0.01         38          0          0          0          0
1795.87/1806.37	c   impliedbounds    :       0.14         38          0          0          0          0
1795.87/1806.37	c   intobj           :       0.00          0          0          0          0          0
1795.87/1806.37	c   gomory           :     679.33         38          0          0      17454          0
1795.87/1806.37	c   strongcg         :      31.24         20          0          0      10000          0
1795.87/1806.37	c   cmir             :      70.00         10          0          0          0          0
1795.87/1806.37	c   flowcover        :      76.04         10          0          0          0          0
1795.87/1806.37	c   clique           :       4.44         38          0          0        339          0
1795.87/1806.37	c   zerohalf         :       0.00          0          0          0          0          0
1795.87/1806.37	c   mcf              :       0.28          1          0          0          0          0
1795.87/1806.37	c Pricers            :       Time      Calls       Vars
1795.87/1806.37	c   problem variables:       0.00          0          0
1795.87/1806.37	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.87/1806.37	c   relpscost        :     328.41          1          0          0          0          0          2
1795.87/1806.37	c   pscost           :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   inference        :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   mostinf          :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   leastinf         :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.87/1806.37	c   random           :       0.00          0          0          0          0          0          0
1795.87/1806.37	c Primal Heuristics  :       Time      Calls      Found
1795.87/1806.37	c   LP solutions     :       0.00          -          0
1795.87/1806.37	c   pseudo solutions :       0.00          -          0
1795.87/1806.37	c   simplerounding   :       0.16         39         12
1795.87/1806.37	c   rounding         :       3.59         39          6
1795.87/1806.37	c   shifting         :       4.86         39         10
1795.87/1806.37	c   intshifting      :       0.00          0          0
1795.87/1806.37	c   oneopt           :       0.07          1          1
1795.87/1806.37	c   fixandinfer      :       0.00          0          0
1795.87/1806.37	c   feaspump         :       0.00          0          0
1795.87/1806.37	c   coefdiving       :       0.00          0          0
1795.87/1806.37	c   pscostdiving     :       0.00          0          0
1795.87/1806.37	c   fracdiving       :       0.00          0          0
1795.87/1806.37	c   veclendiving     :       0.00          0          0
1795.87/1806.37	c   intdiving        :       0.00          0          0
1795.87/1806.37	c   actconsdiving    :       0.00          0          0
1795.87/1806.37	c   objpscostdiving  :       0.00          0          0
1795.87/1806.37	c   rootsoldiving    :       0.00          0          0
1795.87/1806.37	c   linesearchdiving :       0.00          0          0
1795.87/1806.37	c   guideddiving     :       0.00          0          0
1795.87/1806.37	c   octane           :       0.00          0          0
1795.87/1806.37	c   rens             :       3.12          1          1
1795.87/1806.37	c   rins             :       0.00          0          0
1795.87/1806.37	c   localbranching   :       0.00          0          0
1795.87/1806.37	c   mutation         :       0.00          0          0
1795.87/1806.37	c   crossover        :       0.00          0          0
1795.87/1806.37	c   dins             :       0.00          0          0
1795.87/1806.37	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.87/1806.37	c   primal LP        :       4.35          0          0       0.00       0.00
1795.87/1806.37	c   dual LP          :     578.04         39      27360     701.54      47.33
1795.87/1806.37	c   barrier LP       :       0.00          0          0       0.00          -
1795.87/1806.37	c   diving/probing LP:       0.00          0          0       0.00          -
1795.87/1806.37	c   strong branching :     328.41         15      13273     884.87      40.42
1795.87/1806.37	c     (at root node) :          -         15      13273     884.87          -
1795.87/1806.37	c   conflict analysis:       0.00          0          0       0.00          -
1795.87/1806.37	c B&B Tree           :
1795.87/1806.37	c   number of runs   :          1
1795.87/1806.37	c   nodes            :          1
1795.87/1806.37	c   nodes (total)    :          1
1795.87/1806.37	c   nodes left       :          2
1795.87/1806.37	c   max depth        :          0
1795.87/1806.37	c   max depth (total):          0
1795.87/1806.37	c   backtracks       :          0 (0.0%)
1795.87/1806.37	c   delayed cutoffs  :          0
1795.87/1806.37	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.87/1806.37	c   avg switch length:       1.00
1795.87/1806.37	c   switching time   :       0.00
1795.87/1806.37	c Solution           :
1795.87/1806.37	c   Solutions found  :         30 (13 improvements)
1795.87/1806.37	c   Primal Bound     : -4.39999999999999e+01   (in run 1, after 1 nodes, 1318.22 seconds, depth 0, found by <oneopt>)
1795.87/1806.37	c   Dual Bound       : -5.89999999999999e+01
1795.87/1806.37	c   Gap              :      25.42 %
1795.87/1806.37	c   Root Dual Bound  : -5.89999999999999e+01
1796.36/1806.82	c Time complete: 1796.38.

Verifier Data 

OK	-44

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869277-1245168374/watcher-1869277-1245168374 -o /tmp/evaluation-result-1869277-1245168374/solver-1869277-1245168374 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869277-1245168374.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: 2.39 2.38 2.36 5/72 6399
/proc/meminfo: memFree=1501084/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=5276 CPUtime=0
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 45 0 0 0 0 0 0 0 18 0 1 0 184435300 5402624 31 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/6399/statm: 1320 43 33 1256 0 59 0

[startup+0.021825 s]
/proc/loadavg: 2.39 2.38 2.36 5/72 6399
/proc/meminfo: memFree=1501084/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=5812 CPUtime=0
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 506 0 0 0 0 0 0 0 18 0 1 0 184435300 5951488 490 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 0 0 0
/proc/6399/statm: 1453 490 332 1256 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5812

[startup+0.102775 s]
/proc/loadavg: 2.39 2.38 2.36 5/72 6399
/proc/meminfo: memFree=1501084/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=14492 CPUtime=0.08
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 2601 0 0 0 7 1 0 0 18 0 1 0 184435300 14839808 2585 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 3623 2585 378 1256 0 2362 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14492

[startup+0.30179 s]
/proc/loadavg: 2.39 2.38 2.36 5/72 6399
/proc/meminfo: memFree=1501084/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=20044 CPUtime=0.27
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 3999 0 0 0 26 1 0 0 19 0 1 0 184435300 20525056 3983 1992294400 4194304 9342243 548682068736 18446744073709551615 8169728 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 5011 3983 378 1256 0 3750 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 20044

[startup+0.701836 s]
/proc/loadavg: 2.39 2.38 2.36 5/72 6399
/proc/meminfo: memFree=1501084/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=30184 CPUtime=0.68
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 6510 0 0 0 65 3 0 0 23 0 1 0 184435300 30908416 6494 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 7546 6494 378 1256 0 6285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30184

[startup+1.50292 s]
/proc/loadavg: 2.36 2.37 2.35 3/73 6400
/proc/meminfo: memFree=1467604/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=52176 CPUtime=1.47
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 12008 0 0 0 141 6 0 0 25 0 1 0 184435300 53428224 11992 1992294400 4194304 9342243 548682068736 18446744073709551615 8218405 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 13044 11992 378 1256 0 11783 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 52176

[startup+3.13414 s]
/proc/loadavg: 2.36 2.37 2.35 3/73 6400
/proc/meminfo: memFree=1377428/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=137272 CPUtime=2.51
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 33399 0 0 0 224 27 0 0 25 0 1 0 184435300 140566528 33029 1992294400 4194304 9342243 548682068736 18446744073709551615 5089904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 34318 33029 459 1256 0 33057 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 137272

[startup+6.30126 s]
/proc/loadavg: 2.57 2.42 2.37 3/73 6400
/proc/meminfo: memFree=1320340/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=186876 CPUtime=5.6
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 49138 0 0 0 509 51 0 0 25 0 1 0 184435300 191361024 45364 1992294400 4194304 9342243 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 46719 45364 479 1256 0 45458 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 186876

[startup+12.7039 s]
/proc/loadavg: 2.68 2.44 2.38 2/73 6400
/proc/meminfo: memFree=1210324/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=353700 CPUtime=11.64
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 76993 0 0 0 1074 90 0 0 25 0 1 0 184435300 362188800 72911 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 88425 72911 623 1256 0 87164 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 353700

[startup+25.5014 s]
/proc/loadavg: 3.12 2.54 2.41 4/73 6400
/proc/meminfo: memFree=1194324/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=358812 CPUtime=23.67
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 81021 0 0 0 2245 122 0 0 25 0 1 0 184435300 367423488 76939 1992294400 4194304 9342243 548682068736 18446744073709551615 5874804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 89703 76939 644 1256 0 88442 0
Current children cumulated CPU time (s) 23.67
Current children cumulated vsize (KiB) 358812

[startup+51.101 s]
/proc/loadavg: 3.85 2.77 2.49 2/73 6400
/proc/meminfo: memFree=1190676/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=358812 CPUtime=48.09
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 81973 0 0 0 4650 159 0 0 25 0 1 0 184435300 367423488 77891 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 89703 77891 644 1256 0 88442 0
Current children cumulated CPU time (s) 48.09
Current children cumulated vsize (KiB) 358812

[startup+102.301 s]
/proc/loadavg: 3.01 2.71 2.48 3/73 6400
/proc/meminfo: memFree=1183060/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=358812 CPUtime=98.62
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 83937 0 0 0 9676 186 0 0 25 0 1 0 184435300 367423488 79855 1992294400 4194304 9342243 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 89703 79855 644 1256 0 88442 0
Current children cumulated CPU time (s) 98.62
Current children cumulated vsize (KiB) 358812

[startup+162.302 s]
/proc/loadavg: 2.42 2.60 2.45 4/73 6400
/proc/meminfo: memFree=1176660/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=358812 CPUtime=158.16
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 85550 0 0 0 15625 191 0 0 25 0 1 0 184435300 367423488 81468 1992294400 4194304 9342243 548682068736 18446744073709551615 5868784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 89703 81468 644 1256 0 88442 0
Current children cumulated CPU time (s) 158.16
Current children cumulated vsize (KiB) 358812

[startup+222.302 s]
/proc/loadavg: 2.07 2.48 2.42 3/73 6400
/proc/meminfo: memFree=1170772/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=362660 CPUtime=217.73
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 87022 0 0 0 21577 196 0 0 25 0 1 0 184435300 371363840 82940 1992294400 4194304 9342243 548682068736 18446744073709551615 6970131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 90665 82940 646 1256 0 89404 0
Current children cumulated CPU time (s) 217.73
Current children cumulated vsize (KiB) 362660

[startup+282.302 s]
/proc/loadavg: 2.37 2.48 2.43 3/73 6400
/proc/meminfo: memFree=1168468/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=362660 CPUtime=277.29
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 87601 0 0 0 27530 199 0 0 25 0 1 0 184435300 371363840 83519 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6399/statm: 90665 83519 646 1256 0 89404 0
Current children cumulated CPU time (s) 277.29
Current children cumulated vsize (KiB) 362660

[startup+342.301 s]
/proc/loadavg: 2.19 2.41 2.40 2/73 6400
/proc/meminfo: memFree=1167188/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=362660 CPUtime=336.84
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 87888 0 0 0 33481 203 0 0 25 0 1 0 184435300 371363840 83806 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 90665 83806 646 1256 0 89404 0
Current children cumulated CPU time (s) 336.84
Current children cumulated vsize (KiB) 362660

[startup+402.306 s]
/proc/loadavg: 2.15 2.36 2.38 2/73 6400
/proc/meminfo: memFree=1165908/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=362660 CPUtime=396.45
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 88234 0 0 0 39439 206 0 0 25 0 1 0 184435300 371363840 84152 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 90665 84152 646 1256 0 89404 0
Current children cumulated CPU time (s) 396.45
Current children cumulated vsize (KiB) 362660

[startup+462.302 s]
/proc/loadavg: 2.26 2.36 2.38 2/73 6401
/proc/meminfo: memFree=1160212/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369824 CPUtime=456.27
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 89647 0 0 0 45416 211 0 0 25 0 1 0 184435300 378699776 85565 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92456 85565 660 1256 0 91195 0
Current children cumulated CPU time (s) 456.27
Current children cumulated vsize (KiB) 369824

[startup+522.31 s]
/proc/loadavg: 2.30 2.33 2.37 3/73 6401
/proc/meminfo: memFree=1158484/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369824 CPUtime=516.07
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 90081 0 0 0 51395 212 0 0 25 0 1 0 184435300 378699776 85999 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92456 85999 660 1256 0 91195 0
Current children cumulated CPU time (s) 516.07
Current children cumulated vsize (KiB) 369824

[startup+582.312 s]
/proc/loadavg: 2.10 2.27 2.34 4/73 6401
/proc/meminfo: memFree=1166932/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=354560 CPUtime=575.97
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 90213 0 0 0 57382 215 0 0 25 0 1 0 184435300 363069440 83861 1992294400 4194304 9342243 548682068736 18446744073709551615 5874992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 88640 83861 660 1256 0 87379 0
Current children cumulated CPU time (s) 575.97
Current children cumulated vsize (KiB) 354560

[startup+642.302 s]
/proc/loadavg: 2.26 2.28 2.34 3/73 6401
/proc/meminfo: memFree=1166868/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=354560 CPUtime=635.85
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 90220 0 0 0 63368 217 0 0 25 0 1 0 184435300 363069440 83868 1992294400 4194304 9342243 548682068736 18446744073709551615 6964311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 88640 83868 660 1256 0 87379 0
Current children cumulated CPU time (s) 635.85
Current children cumulated vsize (KiB) 354560

[startup+702.303 s]

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

/proc/meminfo: memFree=1164756/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369144 CPUtime=1113.92
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 92506 0 0 0 111127 265 0 0 25 0 1 0 184435300 378003456 84466 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92286 84466 660 1256 0 91025 0
Current children cumulated CPU time (s) 1113.92
Current children cumulated vsize (KiB) 369144

[startup+1182.31 s]
/proc/loadavg: 2.40 2.39 2.36 2/73 6401
/proc/meminfo: memFree=1161684/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369144 CPUtime=1173.91
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 93121 0 0 0 117123 268 0 0 25 0 1 0 184435300 378003456 85081 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92286 85081 660 1256 0 91025 0
Current children cumulated CPU time (s) 1173.91
Current children cumulated vsize (KiB) 369144

[startup+1242.3 s]
/proc/loadavg: 2.48 2.41 2.37 3/73 6401
/proc/meminfo: memFree=1161556/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369144 CPUtime=1233.88
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 93121 0 0 0 123117 271 0 0 25 0 1 0 184435300 378003456 85081 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92286 85081 660 1256 0 91025 0
Current children cumulated CPU time (s) 1233.88
Current children cumulated vsize (KiB) 369144

[startup+1302.3 s]
/proc/loadavg: 2.44 2.42 2.37 4/73 6401
/proc/meminfo: memFree=1161492/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=369144 CPUtime=1293.82
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 93121 0 0 0 129105 277 0 0 25 0 1 0 184435300 378003456 85081 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 92286 85081 660 1256 0 91025 0
Current children cumulated CPU time (s) 1293.82
Current children cumulated vsize (KiB) 369144

[startup+1362.3 s]
/proc/loadavg: 2.61 2.48 2.39 4/73 6401
/proc/meminfo: memFree=1136148/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=393736 CPUtime=1353.78
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 114505 0 0 0 135076 302 0 0 25 0 1 0 184435300 403185664 91355 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 98434 91355 689 1256 0 97173 0
Current children cumulated CPU time (s) 1353.78
Current children cumulated vsize (KiB) 393736

[startup+1422.31 s]
/proc/loadavg: 2.30 2.40 2.37 3/73 6401
/proc/meminfo: memFree=1136148/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=393736 CPUtime=1413.76
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 114505 0 0 0 141067 309 0 0 25 0 1 0 184435300 403185664 91355 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 98434 91355 689 1256 0 97173 0
Current children cumulated CPU time (s) 1413.76
Current children cumulated vsize (KiB) 393736

[startup+1482.32 s]
/proc/loadavg: 2.26 2.38 2.36 3/73 6401
/proc/meminfo: memFree=1128788/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1473.74
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 116380 0 0 0 147060 314 0 0 25 0 1 0 184435300 449212416 93230 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 93230 693 1256 0 108410 0
Current children cumulated CPU time (s) 1473.74
Current children cumulated vsize (KiB) 438684

[startup+1542.3 s]
/proc/loadavg: 2.21 2.34 2.35 3/73 6401
/proc/meminfo: memFree=1130772/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1533.67
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 117313 0 0 0 153052 315 0 0 25 0 1 0 184435300 449212416 92728 1992294400 4194304 9342243 548682068736 18446744073709551615 5874992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92728 693 1256 0 108410 0
Current children cumulated CPU time (s) 1533.67
Current children cumulated vsize (KiB) 438684

[startup+1602.3 s]
/proc/loadavg: 2.44 2.38 2.36 2/73 6401
/proc/meminfo: memFree=1130708/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1593.29
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 118553 0 0 0 159010 319 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1593.29
Current children cumulated vsize (KiB) 438684

[startup+1662.3 s]
/proc/loadavg: 2.46 2.40 2.37 4/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1652.85
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 119789 0 0 0 164963 322 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1652.85
Current children cumulated vsize (KiB) 438684

[startup+1722.31 s]
/proc/loadavg: 2.30 2.36 2.35 3/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1712.41
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 120613 0 0 0 170914 327 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1712.41
Current children cumulated vsize (KiB) 438684

[startup+1782.3 s]
/proc/loadavg: 2.32 2.35 2.35 4/73 6401
/proc/meminfo: memFree=1130452/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1772.05
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 121849 0 0 0 176876 329 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 5874707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1772.05
Current children cumulated vsize (KiB) 438684

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

[startup+1793.81 s]
/proc/loadavg: 2.43 2.37 2.36 4/73 6401
/proc/meminfo: memFree=1130452/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1783.44
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 121849 0 0 0 178014 330 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (KiB) 438684

[startup+1800.2 s]
/proc/loadavg: 2.47 2.38 2.36 2/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1789.8
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122261 0 0 0 178650 330 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 438684

[startup+1803.4 s]
/proc/loadavg: 2.35 2.36 2.35 3/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1792.99
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122261 0 0 0 178969 330 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1792.99
Current children cumulated vsize (KiB) 438684

[startup+1805 s]
/proc/loadavg: 2.35 2.36 2.35 3/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1794.57
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122261 0 0 0 179127 330 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 438684

[startup+1805.8 s]
/proc/loadavg: 2.49 2.38 2.36 2/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=438684 CPUtime=1795.37
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122261 0 0 0 179207 330 0 0 25 0 1 0 184435300 449212416 92732 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6399/statm: 109671 92732 693 1256 0 108410 0
Current children cumulated CPU time (s) 1795.37
Current children cumulated vsize (KiB) 438684

[startup+1806.6 s]
/proc/loadavg: 2.49 2.38 2.36 2/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=390840 CPUtime=1796.16
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122262 0 0 0 179285 331 0 0 25 0 1 0 184435300 400220160 92321 1992294400 4194304 9342243 548682068736 18446744073709551615 4586832 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 97710 92321 694 1256 0 96449 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 390840

[startup+1806.8 s]
/proc/loadavg: 2.49 2.38 2.36 2/73 6401
/proc/meminfo: memFree=1130644/2055920 swapFree=4178716/4192956
[pid=6399] ppid=6397 vsize=293824 CPUtime=1796.36
/proc/6399/stat : 6399 (pbscip.linux.x8) R 6397 6399 6328 0 -1 4194304 122262 0 0 0 179302 334 0 0 25 0 1 0 184435300 300875776 46732 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/6399/statm: 73456 46732 694 1256 0 72195 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 293824

Child status: 0
Real time (s): 1806.83
CPU time (s): 1796.4
CPU user time (s): 1793.03
CPU system time (s): 3.37049
CPU usage (%): 99.4225
Max. virtual memory (cumulated for all children) (KiB): 455708

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

runsolver used 2.21766 second user time and 6.20806 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-16 18:06:14
IDJOB=1869277
IDBENCH=2269
IDSOLVER=684
FILE ID=node90/1869277-1245168374
PBS_JOBID= 9363881
Free space on /tmp= 66524 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/frb59-26-opb/normalized-frb59-26-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-1869277-1245168374/watcher-1869277-1245168374 -o /tmp/evaluation-result-1869277-1245168374/solver-1869277-1245168374 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869277-1245168374.opb

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

MD5SUM BENCH= 2295cbab79cf702b6a93f1d0b8bae876
RANDOM SEED=2104023870

node90.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.231
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.231
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:       1501500 kB
Buffers:         19872 kB
Cached:         449220 kB
SwapCached:       8404 kB
Active:          57240 kB
Inactive:       438792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1501500 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:           14764 kB
Writeback:           0 kB
Mapped:          34316 kB
Slab:            43468 kB
Committed_AS:   599416 kB
PageTables:       2104 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= 66516 MiB
End job on node90 at 2009-06-16 18:36:21