Trace number 3733102

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-46 1794.43 1794.72

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-52
Best CPU time to get the best result obtained on this benchmark1800.09
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

0.48/0.58	c SCIP version 1.1.0.7
0.48/0.58	c LP-Solver SoPlex 1.4.1
0.48/0.58	c user parameter file <scip.set> not found - using default parameters
0.48/0.58	c read problem <HOME/instance-3733102-1338698388.opb>
0.48/0.58	c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109601 constraints
0.69/0.70	c start presolving problem
0.69/0.70	c presolving:
1.28/1.34	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
2.29/2.32	c    (1.6s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.32	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.29/2.32	c presolving (2 rounds):
2.29/2.32	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.32	c  219202 implications, 0 cliques
2.29/2.32	c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109601 constraints
2.29/2.32	c  109601 constraints of type <logicor>
2.29/2.32	c transformed objective value is always integral (scale: 1)
2.29/2.32	c Presolving Time: 1.51
2.29/2.32	c strange?!, PURESAT with obj
2.29/2.32	c -----------------------------------------------------------------------------------------------
2.29/2.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.32	c limits/memory = c 13950
2.29/2.32	c # maximal time in seconds to run
2.29/2.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.32	c limits/time = c 1791
2.29/2.32	c # frequency for displaying node information lines
2.29/2.32	c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.32	c display/freq = c 10000
2.29/2.32	c -----------------------------------------------------------------------------------------------
2.29/2.32	c start solving problem
2.29/2.32	c 
5.99/6.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.02	c   5.2s|     1 |     0 |  1600 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |      --      |    Inf 
5.99/6.03	o 0
5.99/6.03	c r 5.2s|     1 |     0 |  1600 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 | 0.000000e+00 | 100.00%
6.09/6.12	o -1
6.09/6.12	c R 5.3s|     1 |     0 |  1600 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-1.000000e+00 |  99.86%
6.19/6.22	o -2
6.19/6.22	c s 5.5s|     1 |     0 |  1600 | 121M|   0 |1400 |1400 | 109k| 109k|1400 | 109k|   0 |   0 |   0 |-7.000000e+02 |-2.000000e+00 |  99.71%
8.99/9.08	c   8.3s|     1 |     0 |  1823 | 121M|   0 |1328 |1400 | 109k| 109k|1400 | 109k|   8 |   0 |   0 |-6.640000e+02 |-2.000000e+00 |  99.70%
13.69/13.75	c  12.9s|     1 |     0 |  2069 | 121M|   0 |1276 |1400 | 109k| 109k|1400 | 109k|  18 |   0 |   0 |-6.380000e+02 |-2.000000e+00 |  99.69%
19.69/19.77	c  18.9s|     1 |     0 |  2334 | 121M|   0 |1224 |1400 | 109k| 109k|1400 | 109k|  28 |   0 |   0 |-6.120000e+02 |-2.000000e+00 |  99.67%
27.09/27.16	c  26.3s|     1 |     0 |  2560 | 121M|   0 |1173 |1400 | 109k| 109k|1400 | 109k|  38 |   0 |   0 |-5.865000e+02 |-2.000000e+00 |  99.66%
36.68/36.75	c  35.9s|     1 |     0 |  2931 | 122M|   0 |1127 |1400 | 109k| 109k|1400 | 109k|  46 |   0 |   0 |-5.632500e+02 |-2.000000e+00 |  99.64%
47.08/47.20	c  46.4s|     1 |     0 |  3453 | 122M|   0 |1076 |1400 | 109k| 109k|1400 | 109k|  59 |   0 |   0 |-5.367500e+02 |-2.000000e+00 |  99.63%
56.58/56.65	c  55.8s|     1 |     0 |  3683 | 122M|   0 |1043 |1400 | 109k| 109k|1400 | 109k|  72 |   0 |   0 |-5.207500e+02 |-2.000000e+00 |  99.62%
66.67/66.70	c  65.8s|     1 |     0 |  3956 | 122M|   0 | 992 |1400 | 109k| 109k|1400 | 109k|  84 |   0 |   0 |-4.947500e+02 |-2.000000e+00 |  99.60%
77.68/77.76	c  76.9s|     1 |     0 |  4432 | 122M|   0 | 921 |1400 | 109k| 109k|1400 | 109k|  92 |   0 |   0 |-4.597500e+02 |-2.000000e+00 |  99.56%
88.47/88.58	c  87.7s|     1 |     0 |  4815 | 122M|   0 | 894 |1400 | 109k| 109k|1400 | 109k| 100 |   0 |   0 |-4.462500e+02 |-2.000000e+00 |  99.55%
92.18/92.23	c  91.4s|     1 |     0 |  5389 | 122M|   0 | 830 |1400 | 109k| 109k|1400 | 109k| 108 |   0 |   0 |-4.135000e+02 |-2.000000e+00 |  99.52%
94.28/94.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.28/94.33	c  93.5s|     1 |     0 |  5590 | 122M|   0 | 785 |1400 | 109k| 109k|1400 | 109k| 113 |   0 |   0 |-3.905000e+02 |-2.000000e+00 |  99.49%
96.78/96.89	c  96.0s|     1 |     0 |  5946 | 122M|   0 | 738 |1400 | 109k| 109k|1400 | 109k| 121 |   0 |   0 |-3.680000e+02 |-2.000000e+00 |  99.46%
99.27/99.37	c  98.5s|     1 |     0 |  6234 | 122M|   0 | 713 |1400 | 109k| 109k|1400 | 109k| 128 |   0 |   0 |-3.565000e+02 |-2.000000e+00 |  99.44%
102.47/102.57	c   102s|     1 |     0 |  6739 | 122M|   0 | 667 |1400 | 109k| 109k|1400 | 109k| 135 |   0 |   0 |-3.335000e+02 |-2.000000e+00 |  99.40%
106.07/106.10	c   105s|     1 |     0 |  7295 | 122M|   0 | 629 |1400 | 109k| 109k|1400 | 109k| 143 |   0 |   0 |-3.145000e+02 |-2.000000e+00 |  99.36%
109.67/109.74	c   109s|     1 |     0 |  7841 | 122M|   0 | 584 |1400 | 109k| 109k|1400 | 109k| 149 |   0 |   0 |-2.920000e+02 |-2.000000e+00 |  99.32%
112.97/113.05	c   112s|     1 |     0 |  8344 | 122M|   0 | 561 |1400 | 109k| 109k|1400 | 109k| 154 |   0 |   0 |-2.805000e+02 |-2.000000e+00 |  99.29%
115.48/115.55	c   115s|     1 |     0 |  8650 | 122M|   0 | 539 |1400 | 109k| 109k|1400 | 109k| 161 |   0 |   0 |-2.695000e+02 |-2.000000e+00 |  99.26%
117.86/117.92	c   117s|     1 |     0 |  9009 | 122M|   0 | 492 |1400 | 109k| 109k|1400 | 109k| 169 |   0 |   0 |-2.460000e+02 |-2.000000e+00 |  99.19%
120.17/120.20	c   119s|     1 |     0 |  9437 | 122M|   0 | 468 |1400 | 109k| 109k|1400 | 109k| 172 |   0 |   0 |-2.340000e+02 |-2.000000e+00 |  99.15%
122.57/122.67	c   122s|     1 |     0 |  9943 | 122M|   0 | 445 |1400 | 109k| 109k|1400 | 109k| 179 |   0 |   0 |-2.220000e+02 |-2.000000e+00 |  99.10%
124.77/124.84	c   124s|     1 |     0 | 10362 | 122M|   0 | 400 |1400 | 109k| 109k|1400 | 109k| 188 |   0 |   0 |-2.000000e+02 |-2.000000e+00 |  99.00%
126.56/126.60	c   126s|     1 |     0 | 10689 | 122M|   0 | 375 |1400 | 109k| 109k|1400 | 109k| 196 |   0 |   0 |-1.875000e+02 |-2.000000e+00 |  98.93%
128.87/128.93	c   128s|     1 |     0 | 11208 | 122M|   0 | 330 |1400 | 109k| 109k|1400 | 109k| 203 |   0 |   0 |-1.650000e+02 |-2.000000e+00 |  98.79%
131.37/131.40	c   130s|     1 |     0 | 11700 | 122M|   0 | 299 |1400 | 109k| 109k|1400 | 109k| 209 |   0 |   0 |-1.495000e+02 |-2.000000e+00 |  98.66%
135.96/136.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.96/136.09	c   135s|     1 |     0 | 13038 | 122M|   0 | 259 |1400 | 109k| 109k|1400 | 109k| 219 |   0 |   0 |-1.290000e+02 |-2.000000e+00 |  98.45%
139.17/139.20	c   138s|     1 |     0 | 13770 | 122M|   0 | 217 |1400 | 109k| 109k|1400 | 109k| 227 |   0 |   0 |-1.080000e+02 |-2.000000e+00 |  98.15%
141.27/141.30	c   140s|     1 |     0 | 14253 | 122M|   0 | 181 |1400 | 109k| 109k|1400 | 109k| 239 |   0 |   0 |-8.750000e+01 |-2.000000e+00 |  97.71%
141.27/141.32	o -3
141.27/141.32	c R 140s|     1 |     0 | 14253 | 122M|   0 | 181 |1400 | 109k| 109k|1400 | 109k| 239 |   0 |   0 |-8.750000e+01 |-3.000000e+00 |  96.57%
142.66/142.74	c   142s|     1 |     0 | 14504 | 122M|   0 | 154 |1400 | 109k| 109k|1400 | 109k| 249 |   0 |   0 |-7.800000e+01 |-3.000000e+00 |  96.15%
144.26/144.39	c   143s|     1 |     0 | 14868 | 122M|   0 | 152 |1400 | 109k| 109k|1400 | 109k| 258 |   0 |   0 |-6.900000e+01 |-3.000000e+00 |  95.65%
144.36/144.41	o -3
144.36/144.41	c s 143s|     1 |     0 | 14868 | 122M|   0 | 152 |1400 | 109k| 109k|1400 | 109k| 258 |   0 |   0 |-6.900000e+01 |-3.000000e+00 |  95.65%
145.97/146.03	c   145s|     1 |     0 | 15193 | 122M|   0 | 135 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-6.100000e+01 |-3.000000e+00 |  95.08%
145.97/146.05	o -4
145.97/146.05	c R 145s|     1 |     0 | 15193 | 122M|   0 | 135 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-6.100000e+01 |-4.000000e+00 |  93.44%
145.97/146.07	o -5
145.97/146.07	c s 145s|     1 |     0 | 15193 | 122M|   0 | 135 |1400 | 109k| 109k|1400 | 109k| 264 |   0 |   0 |-6.100000e+01 |-5.000000e+00 |  91.80%
147.37/147.44	c   146s|     1 |     0 | 15422 | 122M|   0 | 186 |1400 | 109k| 109k|1400 | 109k| 270 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
148.47/148.53	c   148s|     1 |     0 | 15553 | 122M|   0 | 178 |1400 | 109k| 109k|1400 | 109k| 282 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
148.47/148.56	o -5
148.47/148.56	c s 148s|     1 |     0 | 15553 | 122M|   0 | 178 |1400 | 109k| 109k|1400 | 109k| 282 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
150.27/150.34	c   149s|     1 |     0 | 15896 | 122M|   0 | 226 |1400 | 109k| 109k|1400 | 109k| 298 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
152.66/152.75	c   152s|     1 |     0 | 16319 | 122M|   0 | 325 |1400 | 109k| 109k|1400 | 109k| 310 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
152.66/152.79	o -5
152.66/152.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
152.66/152.79	c s 152s|     1 |     0 | 16319 | 122M|   0 | 325 |1400 | 109k| 109k|1400 | 109k| 310 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
194.35/194.42	c   193s|     1 |     0 | 16640 | 122M|   0 | 301 |1400 | 109k| 109k|1400 | 109k| 323 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
234.43/234.50	c   233s|     1 |     0 | 16873 | 122M|   0 | 269 |1400 | 109k| 109k|1400 | 109k| 331 |   0 |   0 |-5.600000e+01 |-5.000000e+00 |  91.07%
234.43/234.56	o -37
234.43/234.56	c k 233s|     1 |     0 | 16873 | 122M|   0 | 269 |1400 | 109k| 109k|1400 | 109k| 331 |   0 |   0 |-5.600000e+01 |-3.700000e+01 |  33.93%
236.83/236.91	c   236s|     1 |     0 | 16873 | 122M|   0 | 269 |1400 | 109k| 109k|1400 | 109k| 331 |   0 |   0 |-5.600000e+01 |-3.700000e+01 |  33.93%
239.94/240.00	c   239s|     1 |     0 | 17455 | 122M|   0 | 323 |1400 | 109k| 109k|1400 | 109k| 343 |   0 |   0 |-5.600000e+01 |-3.700000e+01 |  33.93%
296.73/296.82	c   295s|     1 |     2 | 17455 | 122M|   0 | 323 |1400 | 109k| 109k|1400 | 109k| 343 |   0 |  17 |-5.600000e+01 |-3.700000e+01 |  33.93%
861.15/861.32	o -40
861.15/861.32	c c 859s|    22 |    23 | 23191 | 125M|  21 |   - |1400 | 109k| 105k|1400 | 109k| 343 |   0 | 232 |-5.600000e+01 |-4.000000e+01 |  28.57%
877.74/877.91	o -41
877.74/877.91	c p 876s|    35 |    36 | 26995 | 126M|  21 |   - |1400 | 109k|  58k|1400 | 109k| 343 |   0 | 232 |-5.600000e+01 |-4.100000e+01 |  26.79%
877.74/877.95	o -45
877.74/877.95	c p 876s|    35 |    36 | 26997 | 126M|  21 |   - |1400 | 109k|  57k|1400 | 109k| 343 |   0 | 232 |-5.600000e+01 |-4.500000e+01 |  19.64%
1726.31/1726.65	o -46
1726.31/1726.65	c l1723s|   689 |   688 |162423 | 144M|  47 |   - |1400 | 109k|  34k|1400 | 109k| 343 |   0 | 491 |-5.600000e+01 |-4.600000e+01 |  17.86%
1794.10/1794.48	c 
1794.10/1794.48	c SCIP Status        : solving was interrupted [time limit reached]
1794.10/1794.48	c Solving Time (sec) : 1791.21
1794.10/1794.48	c Solving Nodes      : 727
1794.10/1794.48	c Primal Bound       : -4.60000000000000e+01 (361 solutions)
1794.10/1794.48	c Dual Bound         : -5.59999999999999e+01
1794.10/1794.48	c Gap                : 17.86 %
1794.20/1794.51	c NODE         727
1794.20/1794.51	c DUAL BOUND   -56
1794.20/1794.51	c PRIMAL BOUND -46
1794.20/1794.51	c GAP          0.178571
1794.20/1794.51	s SATISFIABLE
1794.20/1794.51	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.20/1794.51	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.20/1794.51	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.20/1794.51	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.20/1794.51	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 
1794.20/1794.51	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
1794.20/1794.51	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
1794.20/1794.51	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 
1794.20/1794.51	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
1794.20/1794.51	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
1794.20/1794.51	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 
1794.20/1794.51	v -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
1794.20/1794.51	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
1794.20/1794.51	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 
1794.20/1794.51	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
1794.20/1794.51	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
1794.20/1794.51	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 
1794.20/1794.51	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 
1794.20/1794.51	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
1794.20/1794.51	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
1794.20/1794.51	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
1794.20/1794.51	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 
1794.20/1794.51	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
1794.20/1794.51	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
1794.20/1794.51	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 
1794.20/1794.51	v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 
1794.20/1794.51	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 
1794.20/1794.51	v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 
1794.20/1794.51	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 
1794.20/1794.51	v -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 
1794.20/1794.51	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 
1794.20/1794.51	v -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
1794.20/1794.51	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
1794.20/1794.51	v -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 
1794.20/1794.51	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 
1794.20/1794.51	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 
1794.20/1794.51	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 
1794.20/1794.51	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 
1794.20/1794.51	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
1794.20/1794.51	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
1794.20/1794.51	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
1794.20/1794.51	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 
1794.20/1794.51	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 
1794.20/1794.51	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
1794.20/1794.51	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 
1794.20/1794.51	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 
1794.20/1794.51	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
1794.20/1794.51	v -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 
1794.20/1794.51	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
1794.20/1794.51	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
1794.20/1794.51	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 
1794.20/1794.51	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
1794.20/1794.51	v -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 
1794.20/1794.51	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 
1794.20/1794.51	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 
1794.20/1794.51	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 
1794.20/1794.51	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
1794.20/1794.51	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 
1794.20/1794.51	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 
1794.20/1794.51	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
1794.20/1794.51	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 
1794.20/1794.51	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
1794.20/1794.51	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
1794.20/1794.51	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 
1794.20/1794.51	v -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 
1794.20/1794.51	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
1794.20/1794.51	v -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 
1794.20/1794.51	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 
1794.20/1794.51	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 
1794.20/1794.51	v -x1398 -x1399 x1400 
1794.20/1794.51	c SCIP Status        : solving was interrupted [time limit reached]
1794.20/1794.51	c Solving Time       :    1791.21
1794.20/1794.51	c Original Problem   :
1794.20/1794.51	c   Problem name     : HOME/instance-3733102-1338698388.opb
1794.20/1794.51	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.20/1794.51	c   Constraints      : 109601 initial, 109601 maximal
1794.20/1794.51	c Presolved Problem  :
1794.20/1794.51	c   Problem name     : t_HOME/instance-3733102-1338698388.opb
1794.20/1794.51	c   Variables        : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.20/1794.51	c   Constraints      : 109601 initial, 109601 maximal
1794.20/1794.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.20/1794.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.51	c   probing          :       0.91          0          0          0          0          0          0          0          0
1794.20/1794.51	c   logicor          :       0.13          0          0          0          0          0          0          0          0
1794.20/1794.51	c   root node        :          -          0          -          -          0          -          -          -          -
1794.20/1794.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.20/1794.51	c   integral         :          0          0          0        727          0          0          0          0          0       1454
1794.20/1794.51	c   logicor          :     109601         39       1804          0          0          0      27760          0          0          0
1794.20/1794.51	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.20/1794.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.20/1794.51	c   integral         :     823.39       0.00       0.00     823.39       0.00
1794.20/1794.51	c   logicor          :       2.03       0.22       1.81       0.00       0.00
1794.20/1794.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.20/1794.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.20/1794.51	c   rootredcost      :       0.00          4          0          0
1794.20/1794.51	c   pseudoobj        :       0.16       3915          0          0
1794.20/1794.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.20/1794.51	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.20/1794.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.20/1794.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.20/1794.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.20/1794.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.20/1794.51	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.20/1794.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.20/1794.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.20/1794.51	c   cut pool         :       0.00         38          -          -         86          -    (maximal pool size: 692)
1794.20/1794.51	c   redcost          :       0.09        765          0          0          0          0
1794.20/1794.51	c   impliedbounds    :       0.08         39          0          0          0          0
1794.20/1794.51	c   intobj           :       0.00          0          0          0          0          0
1794.20/1794.51	c   gomory           :      95.13         39          0          0      18545          0
1794.20/1794.51	c   strongcg         :       8.76         20          0          0      10000          0
1794.20/1794.51	c   cmir             :      27.56         10          0          0          0          0
1794.20/1794.51	c   flowcover        :      29.04         10          0          0          0          0
1794.20/1794.51	c   clique           :       1.78         39          0          0        369          0
1794.20/1794.51	c   zerohalf         :       0.00          0          0          0          0          0
1794.20/1794.51	c   mcf              :       0.09          1          0          0          0          0
1794.20/1794.51	c Pricers            :       Time      Calls       Vars
1794.20/1794.51	c   problem variables:       0.00          0          0
1794.20/1794.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.20/1794.51	c   relpscost        :     823.39        727          0          0          0          0       1454
1794.20/1794.51	c   pscost           :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   inference        :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   mostinf          :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   leastinf         :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.20/1794.51	c   random           :       0.00          0          0          0          0          0          0
1794.20/1794.51	c Primal Heuristics  :       Time      Calls      Found
1794.20/1794.51	c   LP solutions     :       0.00          -          0
1794.20/1794.51	c   pseudo solutions :       0.00          -          0
1794.20/1794.51	c   oneopt           :       0.07          4          1
1794.20/1794.51	c   crossover        :       0.36          1          0
1794.20/1794.51	c   guideddiving     :      32.41         10         21
1794.20/1794.51	c   fracdiving       :      34.30         10         18
1794.20/1794.51	c   veclendiving     :      49.41         10          9
1794.20/1794.51	c   coefdiving       :      32.68         11         37
1794.20/1794.51	c   pscostdiving     :      25.74         11         36
1794.20/1794.51	c   objpscostdiving  :      59.26          6         61
1794.20/1794.51	c   rootsoldiving    :      13.77          6         29
1794.20/1794.51	c   simplerounding   :       0.45        766         96
1794.20/1794.51	c   rounding         :       6.78        766          3
1794.20/1794.51	c   shifting         :       1.97        110         10
1794.20/1794.51	c   intshifting      :       0.00          0          0
1794.20/1794.51	c   fixandinfer      :       0.00          0          0
1794.20/1794.51	c   feaspump         :       0.00          0          0
1794.20/1794.51	c   intdiving        :       0.00          0          0
1794.20/1794.51	c   actconsdiving    :       0.00          0          0
1794.20/1794.51	c   linesearchdiving :      21.98         10         39
1794.20/1794.51	c   octane           :       0.00          0          0
1794.20/1794.51	c   rens             :       2.26          1          1
1794.20/1794.51	c   rins             :       0.00          0          0
1794.20/1794.51	c   localbranching   :       0.00          0          0
1794.20/1794.51	c   mutation         :       0.00          0          0
1794.20/1794.51	c   dins             :       0.00          0          0
1794.20/1794.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.20/1794.51	c   primal LP        :       0.20          0          0       0.00       0.00
1794.20/1794.51	c   dual LP          :     506.84        766     123620     161.38     243.90
1794.20/1794.51	c   barrier LP       :       0.00          0          0       0.00          -
1794.20/1794.51	c   diving/probing LP:     245.94       2044      50402      24.66     204.94
1794.20/1794.51	c   strong branching :     823.37        513     174833     340.81     212.34
1794.20/1794.51	c     (at root node) :          -         17      12857     756.29          -
1794.20/1794.51	c   conflict analysis:       0.00          0          0       0.00          -
1794.20/1794.51	c B&B Tree           :
1794.20/1794.51	c   number of runs   :          1
1794.20/1794.51	c   nodes            :        727
1794.20/1794.51	c   nodes (total)    :        727
1794.20/1794.51	c   nodes left       :        726
1794.20/1794.51	c   max depth        :         47
1794.20/1794.51	c   max depth (total):         47
1794.20/1794.51	c   backtracks       :         74 (10.2%)
1794.20/1794.51	c   delayed cutoffs  :          0
1794.20/1794.51	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.20/1794.51	c   avg switch length:       2.89
1794.20/1794.51	c   switching time   :       1.55
1794.20/1794.51	c Solution           :
1794.20/1794.51	c   Solutions found  :        361 (14 improvements)
1794.20/1794.51	c   Primal Bound     : -4.60000000000000e+01   (in run 1, after 689 nodes, 1723.47 seconds, depth 49, found by <linesearchdiving>)
1794.20/1794.51	c   Dual Bound       : -5.59999999999999e+01
1794.20/1794.51	c   Gap              :      17.86 %
1794.20/1794.51	c   Root Dual Bound  : -5.59999999999999e+01
1794.40/1794.71	c Time complete: 1794.41.

Verifier Data

OK	-46

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733102-1338698388/watcher-3733102-1338698388 -o /tmp/evaluation-result-3733102-1338698388/solver-3733102-1338698388 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733102-1338698388.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22076
/proc/meminfo: memFree=27187664/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=8420 CPUtime=0 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 1464 0 0 0 0 0 0 0 20 0 1 0 335963885 8622080 1416 33554432000 4194304 7823515 140737276831824 140737276763816 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 2105 1419 349 887 0 1215 0

[startup+0.0129981 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22076
/proc/meminfo: memFree=27187664/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=10200 CPUtime=0 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 1895 0 0 0 0 0 0 0 20 0 1 0 335963885 10444800 1847 33554432000 4194304 7823515 140737276831824 140737276763816 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 2550 1847 354 887 0 1660 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10200

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22076
/proc/meminfo: memFree=27187664/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=17544 CPUtime=0.09 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 3729 0 0 0 9 0 0 0 20 0 1 0 335963885 17965056 3681 33554432000 4194304 7823515 140737276831824 140737276763816 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 4386 3681 354 887 0 3496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17544

[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22076
/proc/meminfo: memFree=27187664/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=29824 CPUtime=0.29 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 6778 0 0 0 28 1 0 0 20 0 1 0 335963885 30539776 6730 33554432000 4194304 7823515 140737276831824 140737276763816 4511625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 7456 6730 354 887 0 6566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29824

[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22076
/proc/meminfo: memFree=27187664/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=109628 CPUtime=0.69 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 27055 0 0 0 65 4 0 0 20 0 1 0 335963885 112259072 26653 33554432000 4194304 7823515 140737276831824 140737276763816 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 27407 26653 375 887 0 26517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109628

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22077
/proc/meminfo: memFree=27059724/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=164256 CPUtime=1.49 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 38234 0 0 0 133 16 0 0 20 0 1 0 335963885 168198144 40049 33554432000 4194304 7823515 140737276831824 140737276828760 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 41064 40049 437 887 0 40174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 164256

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22077
/proc/meminfo: memFree=27028536/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=248648 CPUtime=3.09 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 54951 0 0 0 290 19 0 0 20 0 1 0 335963885 254615552 59297 33554432000 4194304 7823515 140737276831824 140737276827240 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 62162 59297 506 887 0 61272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248648

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22077
/proc/meminfo: memFree=26913316/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=295460 CPUtime=6.29 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 61566 0 0 0 608 21 0 0 20 0 1 0 335963885 302551040 69729 33554432000 4194304 7823515 140737276831824 140737276827512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 73865 69729 525 887 0 72975 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 295460

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22077
/proc/meminfo: memFree=26905076/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=299100 CPUtime=12.68 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 63107 0 0 0 1244 24 0 0 20 0 1 0 335963885 306278400 70770 33554432000 4194304 7823515 140737276831824 140737276827624 5728496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 74775 70770 546 887 0 73885 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 299100

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 22080
/proc/meminfo: memFree=26898620/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=302872 CPUtime=25.48 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 64860 0 0 0 2523 25 0 0 20 0 1 0 335963885 310140928 72523 33554432000 4194304 7823515 140737276831824 140737276827624 5597670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 75718 72523 547 887 0 74828 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 302872

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 22081
/proc/meminfo: memFree=26897264/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=303732 CPUtime=51.08 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 65216 0 0 0 5081 27 0 0 20 0 1 0 335963885 311021568 72879 33554432000 4194304 7823515 140737276831824 140737276827576 5575803 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 75933 72879 548 887 0 75043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 303732

[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 22119
/proc/meminfo: memFree=26750836/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=304524 CPUtime=102.28 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 66014 0 0 0 10198 30 0 0 20 0 1 0 335963885 311832576 73704 33554432000 4194304 7823515 140737276831824 140737276827160 6212176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 76131 73704 548 887 0 75241 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 304524

[startup+162.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 22119
/proc/meminfo: memFree=26746304/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=304524 CPUtime=162.26 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 66118 0 0 0 16186 40 0 0 20 0 1 0 335963885 311832576 74279 33554432000 4194304 7823515 140737276831824 140737276826920 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 76131 74279 548 887 0 75241 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 304524

[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 22119
/proc/meminfo: memFree=26741828/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=304524 CPUtime=222.24 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 66139 0 0 0 22173 51 0 0 20 0 1 0 335963885 311832576 75341 33554432000 4194304 7823515 140737276831824 140737276826920 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 76131 75341 548 887 0 75241 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 304524

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 22119
/proc/meminfo: memFree=26672292/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=282.23 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 28154 69 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826872 6211638 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 372800

[startup+342.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/176 22119
/proc/meminfo: memFree=26604460/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=342.22 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 34144 78 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826520 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 372800

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/177 22120
/proc/meminfo: memFree=26604392/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=402.21 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 40137 84 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826520 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 372800

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 22120
/proc/meminfo: memFree=26603520/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=462.21 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 46130 91 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826520 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 372800

[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22120
/proc/meminfo: memFree=26603768/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=522.2 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 52123 97 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826872 5924546 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 372800

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 22120
/proc/meminfo: memFree=26603952/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=582.19 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83267 0 0 0 58116 103 0 0 20 0 1 0 335963885 381747200 92473 33554432000 4194304 7823515 140737276831824 140737276826520 6212769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92473 570 887 0 92310 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 372800

[startup+642.3 s]

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

/proc/meminfo: memFree=26590000/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=1062.11 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83273 0 0 0 106054 157 0 0 20 0 1 0 335963885 381747200 92490 33554432000 4194304 7823515 140737276831824 140737276827160 6211574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92490 571 887 0 92310 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 372800

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22125
/proc/meminfo: memFree=26589876/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=372800 CPUtime=1122.1 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 83273 0 0 0 112046 164 0 0 20 0 1 0 335963885 381747200 92490 33554432000 4194304 7823515 140737276831824 140737276826872 6212169 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 93200 92490 571 887 0 92310 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 372800

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 22125
/proc/meminfo: memFree=26577476/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1182.09 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 118035 174 0 0 20 0 1 0 335963885 394276864 95559 33554432000 4194304 7823515 140737276831824 140737276827160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95559 576 887 0 95369 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 385036

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 22128
/proc/meminfo: memFree=26577528/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1242.08 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 124026 182 0 0 20 0 1 0 335963885 394276864 95559 33554432000 4194304 7823515 140737276831824 140737276827160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95559 576 887 0 95369 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 385036

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 22151
/proc/meminfo: memFree=26575468/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1302.08 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 130020 188 0 0 20 0 1 0 335963885 394276864 95559 33554432000 4194304 7823515 140737276831824 140737276827288 6109354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95559 576 887 0 95369 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 385036

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22151
/proc/meminfo: memFree=26575600/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1362.07 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 136013 194 0 0 20 0 1 0 335963885 394276864 95559 33554432000 4194304 7823515 140737276831824 140737276826872 6211309 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95559 576 887 0 95369 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 385036

[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 22151
/proc/meminfo: memFree=26575972/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1422.07 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 142007 200 0 0 20 0 1 0 335963885 394276864 95559 33554432000 4194304 7823515 140737276831824 140737276827624 6109387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95559 576 887 0 95369 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 385036

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22151
/proc/meminfo: memFree=26575784/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1482.04 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 147998 206 0 0 20 0 1 0 335963885 394276864 95621 33554432000 4194304 7823515 140737276831824 140737276827272 6109349 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95621 576 887 0 95369 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 385036

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 22151
/proc/meminfo: memFree=26574840/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1542.04 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 153992 212 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827288 6908067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 385036

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22152
/proc/meminfo: memFree=26581044/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1602.03 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 159984 219 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827304 6109407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 385036

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1662.02 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 165976 226 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827288 6099759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 385036

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22152
/proc/meminfo: memFree=26581292/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1722.01 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 171968 233 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827160 6211042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 385036

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26580796/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1782.01 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 177961 240 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827288 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 385036

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26580796/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1785.2 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 178280 240 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827160 6211272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 385036

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26581044/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1788.4 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 178599 241 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827576 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 385036

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1791.61 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 178920 241 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 385036

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1793.2 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 179078 242 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276827160 6211297 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 385036

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=385036 CPUtime=1794 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86342 0 0 0 179158 242 0 0 20 0 1 0 335963885 394276864 95874 33554432000 4194304 7823515 140737276831824 140737276826520 6212736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 96259 95874 576 887 0 95369 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 385036

[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22152
/proc/meminfo: memFree=26581168/32873844 swapFree=7116/7116
[pid=22076] ppid=22074 vsize=317676 CPUtime=1794.4 cores=1,3,5,7
/proc/22076/stat : 22076 (pbscip.linux.x8) R 22074 22076 10620 0 -1 4202496 86344 0 0 0 179198 242 0 0 20 0 1 0 335963885 325300224 79073 33554432000 4194304 7823515 140737276831824 140737276826520 5875138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22076/statm: 79419 79073 578 887 0 78529 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 317676

Child status: 0
Real time (s): 1794.72
CPU time (s): 1794.43
CPU user time (s): 1792
CPU system time (s): 2.42763
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 385036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792
system time used= 2.42763
maximum resident set size= 383504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86347
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= 30
involuntary context switches= 1842

runsolver used 3.53246 second user time and 9.66753 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-03 06:39:48
IDJOB=3733102
IDBENCH=2247
IDSOLVER=2321
FILE ID=node138/3733102-1338698388
RUNJOBID= node138-1338679216-19463
PBS_JOBID= 14636675
Free space on /tmp= 70780 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733102-1338698388/watcher-3733102-1338698388 -o /tmp/evaluation-result-3733102-1338698388/solver-3733102-1338698388 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733102-1338698388.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=1794394115

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27187920 kB
Buffers:          711028 kB
Cached:          3897332 kB
SwapCached:          208 kB
Active:          2498900 kB
Inactive:        2283228 kB
Active(anon):     158164 kB
Inactive(anon):    11376 kB
Active(file):    2340736 kB
Inactive(file):  2271852 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             12420 kB
Writeback:             0 kB
AnonPages:        173920 kB
Mapped:            16628 kB
Shmem:               200 kB
Slab:             764064 kB
SReclaimable:     206132 kB
SUnreclaim:       557932 kB
KernelStack:        1432 kB
PageTables:         4236 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     281148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70768 MiB
End job on node138 at 2012-06-03 07:09:43