Trace number 2703595

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT190 1789.62 1790.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703595-1278552020.opb>
0.00/0.02	c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 472 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.03	o 473
0.02/0.03	c feasible solution found by trivial heuristic, objective value  4.730000e+02
0.02/0.03	c presolving:
0.02/0.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.05	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 472 upgd conss, 0 impls, 0 clqs
0.02/0.06	c (round 3) 0 del vars, 5 del conss, 0 chg bounds, 117 chg sides, 365 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.02/0.06	c (round 4) 0 del vars, 59 del conss, 0 chg bounds, 267 chg sides, 602 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.02/0.07	c (round 5) 0 del vars, 73 del conss, 0 chg bounds, 306 chg sides, 670 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.02/0.07	c (round 6) 0 del vars, 73 del conss, 0 chg bounds, 310 chg sides, 674 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.02/0.08	c    (0.1s) probing: 101/473 (21.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.08	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.08	c presolving (7 rounds):
0.02/0.08	c  0 deleted vars, 73 deleted constraints, 0 tightened bounds, 0 added holes, 310 changed sides, 674 changed coefficients
0.02/0.08	c  208 implications, 0 cliques
0.02/0.08	c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 534 constraints
0.02/0.08	c     446 constraints of type <knapsack>
0.02/0.08	c      87 constraints of type <setppc>
0.02/0.08	c       1 constraints of type <logicor>
0.02/0.08	c transformed objective value is always integral (scale: 1)
0.02/0.08	c Presolving Time: 0.05
0.02/0.08	c - non default parameters ----------------------------------------------------------------------
0.02/0.08	c # SCIP version 1.2.1.3
0.02/0.08	c 
0.02/0.08	c # frequency for displaying node information lines
0.02/0.08	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.08	c display/freq = 10000
0.02/0.08	c 
0.02/0.08	c # maximal time in seconds to run
0.02/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08	c limits/time = 1789.98
0.02/0.08	c 
0.02/0.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08	c limits/memory = 1620
0.02/0.08	c 
0.02/0.08	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.08	c # [type: int, range: [1,2], default: 1]
0.02/0.08	c timing/clocktype = 2
0.02/0.08	c 
0.02/0.08	c # should presolving try to simplify inequalities
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/linear/simplifyinequalities = TRUE
0.02/0.08	c 
0.02/0.08	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/indicator/addCouplingCons = TRUE
0.02/0.08	c 
0.02/0.08	c # should presolving try to simplify knapsacks
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.08	c 
0.02/0.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08	c separating/rapidlearning/freq = 0
0.02/0.08	c 
0.02/0.08	c -----------------------------------------------------------------------------------------------
0.02/0.08	c start solving
0.02/0.08	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c t 0.7s|     1 |     0 |  1972 |     - |2563k|   0 | 307 | 473 | 534 | 473 | 534 |   0 |   0 |   0 | 1.454985e+02 | 4.730000e+02 | 225.09%
0.59/0.69	o 324
0.59/0.69	c r 0.7s|     1 |     0 |  1972 |     - |2576k|   0 | 307 | 473 | 534 | 473 | 534 |   0 |   0 |   0 | 1.454985e+02 | 3.240000e+02 | 122.68%
0.69/0.70	o 323
0.69/0.70	c R 0.7s|     1 |     0 |  1972 |     - |2590k|   0 | 307 | 473 | 534 | 473 | 534 |   0 |   0 |   0 | 1.454985e+02 | 3.230000e+02 | 122.00%
0.69/0.71	o 322
0.69/0.71	c s 0.7s|     1 |     0 |  1972 |     - |2603k|   0 | 307 | 473 | 534 | 473 | 534 |   0 |   0 |   0 | 1.454985e+02 | 3.220000e+02 | 121.31%
1.29/1.34	o 214
1.29/1.34	c y 1.3s|     1 |     0 |  1972 |     - |2979k|   0 | 307 | 473 | 534 | 473 | 534 |   0 |   0 |   0 | 1.454985e+02 | 2.140000e+02 |  47.08%
2.10/2.14	c   2.1s|     1 |     0 |  2950 |     - |2907k|   0 | 375 | 473 | 534 | 473 | 762 | 228 |   0 |   0 | 1.523959e+02 | 2.140000e+02 |  40.42%
3.49/3.51	c   3.5s|     1 |     0 |  3937 |     - |3145k|   0 | 402 | 473 | 534 | 473 | 951 | 417 |   0 |   0 | 1.563895e+02 | 2.140000e+02 |  36.84%
4.69/4.78	c   4.8s|     1 |     0 |  4644 |     - |3325k|   0 | 426 | 473 | 534 | 473 |1107 | 573 |   0 |   0 | 1.584152e+02 | 2.140000e+02 |  35.09%
6.09/6.18	c   6.2s|     1 |     0 |  5254 |     - |3427k|   0 | 417 | 473 | 534 | 473 |1203 | 669 |   0 |   0 | 1.593327e+02 | 2.140000e+02 |  34.31%
7.49/7.53	c   7.5s|     1 |     0 |  5749 |     - |3483k|   0 | 427 | 473 | 534 | 473 |1263 | 729 |   0 |   0 | 1.597889e+02 | 2.140000e+02 |  33.93%
8.79/8.89	c   8.9s|     1 |     0 |  6182 |     - |3515k|   0 | 429 | 473 | 534 | 473 |1298 | 764 |   0 |   0 | 1.600458e+02 | 2.140000e+02 |  33.71%
10.09/10.13	c  10.1s|     1 |     0 |  6432 |     - |3542k|   0 | 430 | 473 | 534 | 473 |1324 | 790 |   0 |   0 | 1.601457e+02 | 2.140000e+02 |  33.63%
11.00/11.09	c  11.1s|     1 |     0 |  6503 |     - |3550k|   0 | 429 | 473 | 534 | 473 |1328 | 794 |   0 |   0 | 1.601558e+02 | 2.140000e+02 |  33.62%
11.99/12.02	c  12.0s|     1 |     0 |  6558 |     - |3559k|   0 | 433 | 473 | 534 | 473 |1331 | 797 |   0 |   0 | 1.601628e+02 | 2.140000e+02 |  33.61%
12.89/12.98	c  13.0s|     1 |     0 |  6600 |     - |3566k|   0 | 433 | 473 | 534 | 473 |1333 | 799 |   0 |   0 | 1.601634e+02 | 2.140000e+02 |  33.61%
24.29/24.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.29/24.30	c  24.3s|     1 |     2 |  6600 |     - |3580k|   0 | 433 | 473 | 534 | 473 |1333 | 799 |   0 |  21 | 1.601634e+02 | 2.140000e+02 |  33.61%
104.86/104.95	o 213
104.86/104.95	c p 105s|    27 |    28 | 31385 | 953.3 |4438k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.130000e+02 |  32.73%
104.86/104.96	o 211
104.86/104.96	c p 105s|    27 |    28 | 31389 | 953.4 |4439k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.110000e+02 |  31.49%
104.86/104.96	o 210
104.86/104.96	c p 105s|    27 |    28 | 31396 | 953.7 |4442k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.100000e+02 |  30.86%
104.86/104.96	o 208
104.86/104.96	c p 105s|    27 |    28 | 31412 | 954.3 |4443k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.080000e+02 |  29.62%
104.86/104.97	o 208
104.86/104.97	c p 105s|    27 |    28 | 31428 | 954.9 |4444k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.080000e+02 |  29.62%
104.86/104.97	o 207
104.86/104.97	c p 105s|    27 |    28 | 31449 | 955.7 |4446k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.070000e+02 |  28.99%
104.86/104.97	o 206
104.86/104.97	c p 105s|    27 |    28 | 31458 | 956.1 |4447k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.060000e+02 |  28.37%
104.86/104.98	o 205
104.86/104.98	c p 105s|    27 |    28 | 31470 | 956.5 |4448k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.050000e+02 |  27.75%
104.86/104.98	o 204
104.86/104.98	c p 105s|    27 |    28 | 31481 | 957.0 |4451k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.040000e+02 |  27.12%
104.86/104.99	o 203
104.86/104.99	c p 105s|    27 |    28 | 31502 | 957.8 |4453k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.030000e+02 |  26.50%
104.86/104.99	o 203
104.86/104.99	c p 105s|    27 |    28 | 31509 | 958.0 |4454k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.030000e+02 |  26.50%
104.86/104.99	o 201
104.86/104.99	c p 105s|    27 |    28 | 31528 | 958.8 |4457k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.010000e+02 |  25.26%
104.86/105.00	o 200
104.86/105.00	c p 105s|    27 |    28 | 31535 | 959.0 |4459k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 2.000000e+02 |  24.63%
104.96/105.00	o 199
104.96/105.00	c p 105s|    27 |    28 | 31543 | 959.3 |4460k|  14 |   - | 473 | 534 | 473 | 964 | 799 |   0 | 280 | 1.604724e+02 | 1.990000e+02 |  24.01%
189.85/189.96	o 197
189.85/189.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
189.85/189.96	c p 190s|   204 |   205 |182077 | 864.4 |4669k|  27 |   - | 473 | 542 | 473 | 964 | 799 |   8 | 338 | 1.604724e+02 | 1.970000e+02 |  22.76%
189.85/189.96	o 197
189.85/189.96	c p 190s|   204 |   205 |182090 | 864.5 |4673k|  27 |   - | 473 | 542 | 473 | 964 | 799 |   8 | 338 | 1.604724e+02 | 1.970000e+02 |  22.76%
189.85/189.97	o 196
189.85/189.97	c p 190s|   204 |   205 |182097 | 864.5 |4674k|  27 |   - | 473 | 542 | 473 | 964 | 799 |   8 | 338 | 1.604724e+02 | 1.960000e+02 |  22.14%
204.05/204.16	o 195
204.05/204.16	c p 204s|   243 |   244 |210591 | 842.9 |4704k|  27 |   - | 473 | 542 | 473 | 964 | 799 |   8 | 348 | 1.605284e+02 | 1.950000e+02 |  21.47%
313.91/314.00	o 190
313.91/314.00	c C 314s|   443 |   444 |413484 | 920.6 |4686k|  27 | 380 | 473 | 559 | 473 | 964 | 799 |  25 | 442 | 1.605913e+02 | 1.900000e+02 |  18.31%
1219.50/1219.80	c  1220s| 10000 |  6875 |  2274k| 226.8 |9537k| 136 |   - | 473 | 624 | 473 | 964 | 799 |  92 |1287 | 1.612231e+02 | 1.900000e+02 |  17.85%
1758.27/1758.76	c  1759s| 20000 | 12025 |  3467k| 173.1 |  13M| 138 |  68 | 473 | 640 | 473 | 964 | 799 | 136 |1618 | 1.613767e+02 | 1.900000e+02 |  17.74%
1789.56/1790.00	c 
1789.56/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.56/1790.00	c Solving Time (sec) : 1789.98
1789.56/1790.00	c Solving Nodes      : 20604
1789.56/1790.00	c Primal Bound       : +1.90000000000000e+02 (637 solutions)
1789.56/1790.00	c Dual Bound         : +1.61381357879338e+02
1789.56/1790.00	c Gap                : 17.73 %
1789.56/1790.00	s SATISFIABLE
1789.56/1790.00	v x473 -x472 x471 -x470 x469 x468 -x467 x466 x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 
1789.56/1790.00	v x450 x449 -x448 -x447 -x446 x445 -x444 -x443 x442 -x441 x440 x439 x438 -x437 x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 
1789.56/1790.00	v x428 -x427 -x426 -x425 x424 -x423 -x422 x421 x420 -x419 -x418 x417 -x416 -x415 x414 -x413 -x412 -x411 x410 x409 -x408 -x407 
1789.56/1790.00	v -x406 x405 -x404 x403 -x402 -x401 x400 -x399 x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 x387 -x386 x385 -x384 
1789.56/1790.00	v -x383 x382 x381 -x380 -x379 -x378 x377 x376 x375 -x374 x373 -x372 -x371 -x370 x369 -x368 -x367 x366 x365 -x364 x363 x362 
1789.56/1790.00	v x361 -x360 -x359 x358 -x357 x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 x344 x343 -x342 -x341 x340 
1789.56/1790.00	v x339 -x338 x337 -x336 x335 x334 x333 x332 x331 x330 x329 x328 -x327 x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 
1789.56/1790.00	v -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 x307 x306 x305 x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 x295 -x294 
1789.56/1790.00	v x293 -x292 x291 x290 x289 x288 x287 -x286 x285 x284 -x283 -x282 x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 
1789.56/1790.00	v -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 x250 
1789.56/1790.00	v -x249 x248 -x247 -x246 x245 -x244 x243 -x242 -x241 -x240 -x239 x238 -x237 x236 -x235 x234 -x233 -x232 -x231 x230 -x229 x228 
1789.56/1790.00	v -x227 -x226 x225 -x224 x223 x222 x221 -x220 -x219 x218 -x217 -x216 x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 
1789.56/1790.00	v x205 -x204 x203 x202 -x201 -x200 -x199 x198 x197 -x196 -x195 x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 -x185 -x184 -x183 
1789.56/1790.00	v -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 x171 x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 
1789.56/1790.00	v -x161 -x160 -x159 x158 x157 -x156 -x155 x154 x153 -x152 -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 x140 
1789.56/1790.00	v x139 -x138 x137 x136 x135 -x134 x133 -x132 -x131 x130 x129 -x128 x127 x126 -x125 x124 x123 -x122 -x121 -x120 -x119 -x118 x117 
1789.56/1790.00	v x116 -x115 -x114 x113 -x112 x111 -x110 -x109 x108 x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 x94 
1789.56/1790.00	v -x93 -x92 x91 x90 -x89 x88 -x87 x86 -x85 x84 x83 x82 -x81 x80 x79 x78 -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 -x69 -x68 x67 -x66 
1789.56/1790.00	v x65 x64 x63 -x62 x61 x60 x59 x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 x47 x46 x45 -x44 x43 x42 x41 x40 x39 x38 x37 
1789.56/1790.00	v -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 x25 x24 -x23 x22 -x21 x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 
1789.56/1790.00	v x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
1789.56/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.56/1790.00	c Solving Time       :    1789.98
1789.56/1790.00	c Original Problem   :
1789.56/1790.00	c   Problem name     : HOME/instance-2703595-1278552020.opb
1789.56/1790.00	c   Variables        : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.00	c   Constraints      : 472 initial, 472 maximal
1789.56/1790.00	c Presolved Problem  :
1789.56/1790.00	c   Problem name     : t_HOME/instance-2703595-1278552020.opb
1789.56/1790.00	c   Variables        : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.00	c   Constraints      : 534 initial, 641 maximal
1789.56/1790.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.56/1790.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   probing          :       0.01          0          0          0          0          0          0          0          0
1789.56/1790.00	c   knapsack         :       0.02          0          0          0          0          0         25        310        650
1789.56/1790.00	c   setppc           :       0.00          0          0          0          0          0         48          0          0
1789.56/1790.00	c   linear           :       0.01          0          0          0          0          0          0          0         24
1789.56/1790.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.00	c   root node        :          -          0          -          -          0          -          -          -          -
1789.56/1790.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.56/1790.00	c   integral         :          0          0          0      16443          0          0          7          0          0      32880
1789.56/1790.00	c   knapsack         :        446         11     101959          0          0          0      73716        757          0          0
1789.56/1790.00	c   setppc           :         87         11     101958          0          0          0       7459          0          0          0
1789.56/1790.00	c   logicor          :          1+        11      14312          0          0          0          0          0          0          0
1789.56/1790.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.56/1790.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.56/1790.00	c   integral         :     203.23       0.00       0.00     203.23       0.00
1789.56/1790.00	c   knapsack         :       8.02       0.08       7.94       0.00       0.00
1789.56/1790.00	c   setppc           :       0.56       0.00       0.56       0.00       0.00
1789.56/1790.00	c   logicor          :       0.08       0.00       0.08       0.00       0.00
1789.56/1790.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.56/1790.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.56/1790.00	c   vbounds          :       0.06          2          0          0
1789.56/1790.00	c   rootredcost      :       0.08         16          0          0
1789.56/1790.00	c   pseudoobj        :       2.36     101966          0          0
1789.56/1790.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.56/1790.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.56/1790.00	c   infeasible LP    :       0.02        136        136        136        4.0          0        0.0          0
1789.56/1790.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.56/1790.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.56/1790.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.56/1790.00	c   applied globally :          -          -          -        136        4.0          -          -          -
1789.56/1790.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.56/1790.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.56/1790.00	c   cut pool         :       0.00         10          -          -        293          -    (maximal pool size: 1444)
1789.56/1790.00	c   redcost          :       1.42      23842          0     214195          0          0
1789.56/1790.00	c   impliedbounds    :       0.00         11          0          0         37          0
1789.56/1790.00	c   intobj           :       0.00          0          0          0          0          0
1789.56/1790.00	c   cgmip            :       0.00          0          0          0          0          0
1789.56/1790.00	c   gomory           :       4.01         11          0          0          2          0
1789.56/1790.00	c   strongcg         :       3.64         11          0          0          2          0
1789.56/1790.00	c   cmir             :       0.55         10          0          0        845          0
1789.56/1790.00	c   flowcover        :       0.65         10          0          0        903          0
1789.56/1790.00	c   clique           :       0.00          1          0          0          0          0
1789.56/1790.00	c   zerohalf         :       0.00          0          0          0          0          0
1789.56/1790.00	c   mcf              :       0.06          8          0          0         64          0
1789.56/1790.00	c   rapidlearning    :       0.29          1          0          0          0          0
1789.56/1790.00	c Pricers            :       Time      Calls       Vars
1789.56/1790.00	c   problem variables:       0.00          0          0
1789.56/1790.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.56/1790.00	c   relpscost        :     203.20      16443          0          7          0          0      32880
1789.56/1790.00	c   pscost           :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   inference        :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   mostinf          :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   leastinf         :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.56/1790.00	c   random           :       0.00          0          0          0          0          0          0
1789.56/1790.00	c Primal Heuristics  :       Time      Calls      Found
1789.56/1790.00	c   LP solutions     :       0.00          -          0
1789.56/1790.00	c   pseudo solutions :       0.00          -          0
1789.56/1790.00	c   oneopt           :       0.03          5          0
1789.56/1790.00	c   crossover        :       1.21          2          2
1789.56/1790.00	c   trivial          :       0.00          2          3
1789.56/1790.00	c   simplerounding   :       0.84      22549         24
1789.56/1790.00	c   zirounding       :       0.86       1051         21
1789.56/1790.00	c   rounding         :      13.98       6780          1
1789.56/1790.00	c   shifting         :       3.34       1735          1
1789.56/1790.00	c   intshifting      :       0.00          0          0
1789.56/1790.00	c   twoopt           :       0.00          0          0
1789.56/1790.00	c   fixandinfer      :       0.00          0          0
1789.56/1790.00	c   feaspump         :       0.00          0          0
1789.56/1790.00	c   coefdiving       :      63.03         25        158
1789.56/1790.00	c   pscostdiving     :     417.04        179        236
1789.56/1790.00	c   fracdiving       :      59.63         20          0
1789.56/1790.00	c   veclendiving     :      73.69         37         51
1789.56/1790.00	c   intdiving        :       0.00          0          0
1789.56/1790.00	c   actconsdiving    :       0.00          0          0
1789.56/1790.00	c   objpscostdiving  :      51.19          6        118
1789.56/1790.00	c   rootsoldiving    :      12.04         29          0
1789.56/1790.00	c   linesearchdiving :      75.95         43         21
1789.56/1790.00	c   guideddiving     :      63.99         18          0
1789.56/1790.00	c   octane           :       0.00          0          0
1789.56/1790.00	c   rens             :       0.01          0          0
1789.56/1790.00	c   rins             :       0.00          0          0
1789.56/1790.00	c   localbranching   :       0.00          0          0
1789.56/1790.00	c   mutation         :       0.00          0          0
1789.56/1790.00	c   dins             :       0.00          0          0
1789.56/1790.00	c   undercover       :       0.00          0          0
1789.56/1790.00	c   nlp              :       0.01          0          0
1789.56/1790.00	c   trysol           :       0.01          0          0
1789.56/1790.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.56/1790.00	c   primal LP        :       0.01          0          0       0.00          -
1789.56/1790.00	c   dual LP          :     717.63      26704    1614597      60.46    2249.89
1789.56/1790.00	c   lex dual LP      :       0.00          0          0       0.00          -
1789.56/1790.00	c   barrier LP       :       0.00          0          0       0.00          -
1789.56/1790.00	c   diving/probing LP:     790.18      44470    1921936      43.22    2432.27
1789.56/1790.00	c   strong branching :     201.57       1680     354796     211.19    1760.12
1789.56/1790.00	c     (at root node) :          -         21      13614     648.29          -
1789.56/1790.00	c   conflict analysis:       0.00          0          0       0.00          -
1789.56/1790.00	c B&B Tree           :
1789.56/1790.00	c   number of runs   :          1
1789.56/1790.00	c   nodes            :      20604
1789.56/1790.00	c   nodes (total)    :      20604
1789.56/1790.00	c   nodes left       :      12277
1789.56/1790.00	c   max depth        :        138
1789.56/1790.00	c   max depth (total):        138
1789.56/1790.00	c   backtracks       :       2418 (11.7%)
1789.56/1790.00	c   delayed cutoffs  :          0
1789.56/1790.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.56/1790.00	c   avg switch length:       6.50
1789.56/1790.00	c   switching time   :       2.41
1789.56/1790.00	c Solution           :
1789.56/1790.00	c   Solutions found  :        637 (24 improvements)
1789.56/1790.00	c   First Solution   : +4.73000000000000e+02   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.56/1790.00	c   Primal Bound     : +1.90000000000000e+02   (in run 1, after 443 nodes, 313.97 seconds, depth 10, found by <crossover>)
1789.56/1790.00	c   Dual Bound       : +1.61381357879338e+02
1789.56/1790.00	c   Gap              :      17.73 %
1789.56/1790.00	c   Root Dual Bound  : +1.60163412495191e+02
1789.56/1790.00	c   Root Iterations  :       6600
1789.56/1790.04	c Time complete: 1789.62.

Verifier Data 

OK	190

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.04 0.98 3/106 29574
/proc/meminfo: memFree=1704752/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=7904 CPUtime=0
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 1220 0 0 0 0 0 0 0 19 0 1 0 23408492 8093696 1131 1992294400 4194304 8395647 140734624739648 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29574/statm: 1976 1140 365 1026 0 946 0

[startup+0.033173 s]
/proc/loadavg: 1.06 1.04 0.98 3/106 29574
/proc/meminfo: memFree=1704752/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=13240 CPUtime=0.02
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 2907 0 0 0 2 0 0 0 21 0 1 0 23408492 13557760 2464 1992294400 4194304 8395647 140734624739648 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 3310 2466 430 1026 0 2280 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13240

[startup+0.10118 s]
/proc/loadavg: 1.06 1.04 0.98 3/106 29574
/proc/meminfo: memFree=1704752/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=17740 CPUtime=0.09
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 3986 0 0 0 8 1 0 0 21 0 1 0 23408492 18165760 3543 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 4435 3543 569 1026 0 3405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17740

[startup+0.301196 s]
/proc/loadavg: 1.06 1.04 0.98 3/106 29574
/proc/meminfo: memFree=1704752/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=18368 CPUtime=0.29
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 4125 0 0 0 28 1 0 0 21 0 1 0 23408492 18808832 3682 1992294400 4194304 8395647 140734624739648 18446744073709551615 6693391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 4592 3682 576 1026 0 3562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18368

[startup+0.701231 s]
/proc/loadavg: 1.06 1.04 0.98 3/106 29574
/proc/meminfo: memFree=1704752/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=19928 CPUtime=0.69
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 4520 0 0 0 67 2 0 0 22 0 1 0 23408492 20406272 4077 1992294400 4194304 8395647 140734624739648 18446744073709551615 4601521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 4982 4077 580 1026 0 3952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19928

[startup+1.5013 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29575
/proc/meminfo: memFree=1690608/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=20864 CPUtime=1.49
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 7258 0 0 0 143 6 0 0 25 0 1 0 23408492 21364736 4335 1992294400 4194304 8395647 140734624739648 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 5216 4335 628 1026 0 4186 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20864

[startup+3.10144 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29575
/proc/meminfo: memFree=1689120/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=22184 CPUtime=3.09
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 7660 0 0 0 302 7 0 0 25 0 1 0 23408492 22716416 4737 1992294400 4194304 8395647 140734624739648 18446744073709551615 6755518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 5546 4737 628 1026 0 4516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22184

[startup+6.30072 s]
/proc/loadavg: 1.05 1.04 0.98 2/107 29575
/proc/meminfo: memFree=1686516/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24212 CPUtime=6.29
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8169 0 0 0 621 8 0 0 25 0 1 0 23408492 24793088 5246 1992294400 4194304 8395647 140734624739648 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6053 5246 628 1026 0 5023 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24212

[startup+12.7013 s]
/proc/loadavg: 1.05 1.04 0.98 2/107 29575
/proc/meminfo: memFree=1684904/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24884 CPUtime=12.69
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8337 0 0 0 1258 11 0 0 25 0 1 0 23408492 25481216 5414 1992294400 4194304 8395647 140734624739648 18446744073709551615 6125397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6221 5414 628 1026 0 5191 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24884

[startup+25.5014 s]
/proc/loadavg: 1.04 1.03 0.98 2/107 29576
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24420 CPUtime=25.49
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8911 0 0 0 2532 17 0 0 25 0 1 0 23408492 25006080 5252 1992294400 4194304 8395647 140734624739648 18446744073709551615 6652529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6105 5252 631 1026 0 5075 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24420

[startup+51.1006 s]
/proc/loadavg: 1.02 1.03 0.98 2/107 29577
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24420 CPUtime=51.08
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8911 0 0 0 5078 30 0 0 25 0 1 0 23408492 25006080 5252 1992294400 4194304 8395647 140734624739648 18446744073709551615 6701850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6105 5252 631 1026 0 5075 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24420

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 0.98 2/107 29578
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24420 CPUtime=102.27
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8919 0 0 0 10169 58 0 0 25 0 1 0 23408492 25006080 5260 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6105 5260 633 1026 0 5075 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24420

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 29579
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24420 CPUtime=162.25
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8924 0 0 0 16125 100 0 0 25 0 1 0 23408492 25006080 5265 1992294400 4194304 8395647 140734624739648 18446744073709551615 6695895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6105 5265 634 1026 0 5075 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24420

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 29581
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24420 CPUtime=222.24
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 8931 0 0 0 22082 142 0 0 25 0 1 0 23408492 25006080 5272 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6105 5272 634 1026 0 5075 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 24420

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 29583
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24696 CPUtime=282.23
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 9009 0 0 0 28042 181 0 0 25 0 1 0 23408492 25288704 5350 1992294400 4194304 8395647 140734624739648 18446744073709551615 6696152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6174 5350 634 1026 0 5144 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 24696

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 29585
/proc/meminfo: memFree=1685276/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24636 CPUtime=342.21
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11349 0 0 0 33996 225 0 0 25 0 1 0 23408492 25227264 5310 1992294400 4194304 8395647 140734624739648 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6159 5310 641 1026 0 5129 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 24636

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 29586
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24636 CPUtime=402.19
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11350 0 0 0 39951 268 0 0 25 0 1 0 23408492 25227264 5311 1992294400 4194304 8395647 140734624739648 18446744073709551615 6652529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6159 5311 641 1026 0 5129 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 24636

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 29587
/proc/meminfo: memFree=1685152/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24636 CPUtime=462.18
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11350 0 0 0 45905 313 0 0 25 0 1 0 23408492 25227264 5311 1992294400 4194304 8395647 140734624739648 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6159 5311 641 1026 0 5129 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 24636

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 3/107 29589
/proc/meminfo: memFree=1685028/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24636 CPUtime=522.16
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11362 0 0 0 51858 358 0 0 25 0 1 0 23408492 25227264 5323 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6159 5323 641 1026 0 5129 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 24636

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 29591
/proc/meminfo: memFree=1685028/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24636 CPUtime=582.16
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11362 0 0 0 57815 401 0 0 25 0 1 0 23408492 25227264 5323 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6159 5323 641 1026 0 5129 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 24636

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 29593
/proc/meminfo: memFree=1684780/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=24944 CPUtime=642.14
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 11446 0 0 0 63774 440 0 0 25 0 1 0 23408492 25542656 5407 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 6236 5407 641 1026 0 5206 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 24944

[startup+702.301 s]

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

/proc/meminfo: memFree=1678828/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=30284 CPUtime=1062.04
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 15315 0 0 0 105442 762 0 0 25 0 1 0 23408492 31010816 6831 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7571 6831 641 1026 0 6541 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 30284

[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 0.99 2/107 29605
/proc/meminfo: memFree=1678828/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=30284 CPUtime=1122.03
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 15318 0 0 0 111396 807 0 0 25 0 1 0 23408492 31010816 6834 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7571 6834 641 1026 0 6541 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 30284

[startup+1182.3 s]
/proc/loadavg: 1.13 1.05 1.00 2/107 29607
/proc/meminfo: memFree=1678580/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=30728 CPUtime=1182.01
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 16152 0 0 0 117347 854 0 0 25 0 1 0 23408492 31465472 6874 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7682 6874 641 1026 0 6652 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 30728

[startup+1242.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 29609
/proc/meminfo: memFree=1678332/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=30728 CPUtime=1242
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 16169 0 0 0 123300 900 0 0 25 0 1 0 23408492 31465472 6891 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7682 6891 641 1026 0 6652 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 30728

[startup+1302.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 29610
/proc/meminfo: memFree=1678332/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=29956 CPUtime=1301.99
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 16773 0 0 0 129250 949 0 0 25 0 1 0 23408492 30674944 6759 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7489 6759 641 1026 0 6459 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 29956

[startup+1362.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 29611
/proc/meminfo: memFree=1677464/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=31572 CPUtime=1361.97
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 17099 0 0 0 135198 999 0 0 25 0 1 0 23408492 32329728 7085 1992294400 4194304 8395647 140734624739648 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 7893 7085 641 1026 0 6863 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 31572

[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 29613
/proc/meminfo: memFree=1676348/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=32696 CPUtime=1421.96
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 17403 0 0 0 141151 1045 0 0 25 0 1 0 23408492 33480704 7389 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8174 7389 641 1026 0 7144 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 32696

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29615
/proc/meminfo: memFree=1675728/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=33164 CPUtime=1481.94
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 17543 0 0 0 147101 1093 0 0 25 0 1 0 23408492 33959936 7529 1992294400 4194304 8395647 140734624739648 18446744073709551615 6701854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8291 7529 641 1026 0 7261 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 33164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29617
/proc/meminfo: memFree=1675604/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=33772 CPUtime=1541.92
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 17570 0 0 0 153051 1141 0 0 25 0 1 0 23408492 34582528 7556 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8443 7556 641 1026 0 7413 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 33772

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29618
/proc/meminfo: memFree=1674984/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=33912 CPUtime=1601.91
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 17744 0 0 0 159000 1191 0 0 25 0 1 0 23408492 34725888 7730 1992294400 4194304 8395647 140734624739648 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8478 7730 641 1026 0 7448 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 33912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29619
/proc/meminfo: memFree=1674984/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=33824 CPUtime=1661.9
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18479 0 0 0 164948 1242 0 0 25 0 1 0 23408492 34635776 7729 1992294400 4194304 8395647 140734624739648 18446744073709551615 6696080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8456 7729 641 1026 0 7426 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 33824

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 29621
/proc/meminfo: memFree=1674240/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1721.88
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18630 0 0 0 170900 1288 0 0 25 0 1 0 23408492 35323904 7880 1992294400 4194304 8395647 140734624739648 18446744073709551615 6741205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7880 641 1026 0 7594 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 34496

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1781.87
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 176848 1339 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 6667505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 34496

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

[startup+1785.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1785.06
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177164 1342 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 34496

[startup+1787.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1786.66
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177323 1343 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1786.66
Current children cumulated vsize (KiB) 34496

[startup+1788.7 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1788.27
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177483 1344 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 34496

[startup+1789.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1789.07
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177562 1345 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1789.07
Current children cumulated vsize (KiB) 34496

[startup+1789.9 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1789.46
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177601 1345 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 6693705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (KiB) 34496

[startup+1790 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 29623
/proc/meminfo: memFree=1673992/2059040 swapFree=4139820/4192956
[pid=29574] ppid=29572 vsize=34496 CPUtime=1789.56
/proc/29574/stat : 29574 (pbscip.linux.x8) R 29572 29574 28067 0 -1 4202496 18634 0 0 0 177611 1345 0 0 25 0 1 0 23408492 35323904 7884 1992294400 4194304 8395647 140734624739648 18446744073709551615 6697419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29574/statm: 8624 7884 641 1026 0 7594 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (KiB) 34496

Child status: 0
Real time (s): 1790.05
CPU time (s): 1789.62
CPU user time (s): 1776.16
CPU system time (s): 13.461
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 36120

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

runsolver used 2.66659 second user time and 8.74167 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 03:20:20
IDJOB=2703595
IDBENCH=1962
IDSOLVER=1213
FILE ID=node055/2703595-1278552020
PBS_JOBID= 11239487
Free space on /tmp= 62576 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703595-1278552020/watcher-2703595-1278552020 -o /tmp/evaluation-result-2703595-1278552020/solver-2703595-1278552020 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703595-1278552020.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=558671107

node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.224
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
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.224
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1705280 kB
Buffers:         58328 kB
Cached:         206324 kB
SwapCached:       7140 kB
Active:         167868 kB
Inactive:       110760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1705280 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:           12224 kB
Writeback:           8 kB
AnonPages:       11400 kB
Mapped:          11872 kB
Slab:            53236 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node055 at 2010-07-08 03:50:11