Trace number 1869446

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)39 1800.22 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
MD5SUM9ce5413471f93025df24c6fa43fb2680
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39
Optimality of the best value was proved NO
Number of variables492
Total number of constraints200
Number of constraints which are clauses200
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 constraint10
Maximum length of a constraint10
Number of terms in the objective function 492
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 492
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 492
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.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869446-1245172660.opb>
0.00/0.01	c original problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.02	c start presolving problem
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03	c presolving (2 rounds):
0.00/0.03	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.03	c     200 constraints of type <logicor>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.01
0.00/0.03	c strange?!, PURESAT with obj
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = c 1620
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = c 1791
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = c 10000
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving problem
0.00/0.03	c 
0.09/0.19	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.19	c   0.2s|     1 |     0 |  1273 |1327k|   0 | 153 | 492 | 200 | 200 | 492 | 200 |   0 |   0 |   0 | 3.355595e+01 |      --      |    Inf 
0.09/0.19	o 153
0.09/0.19	c r 0.2s|     1 |     0 |  1273 |1340k|   0 | 153 | 492 | 200 | 200 | 492 | 200 |   0 |   0 |   0 | 3.355595e+01 | 1.530000e+02 | 355.95%
0.09/0.19	o 152
0.09/0.19	c R 0.2s|     1 |     0 |  1273 |1354k|   0 | 153 | 492 | 200 | 200 | 492 | 200 |   0 |   0 |   0 | 3.355595e+01 | 1.520000e+02 | 352.97%
0.09/0.19	o 151
0.09/0.19	c s 0.2s|     1 |     0 |  1273 |1367k|   0 | 153 | 492 | 200 | 200 | 492 | 200 |   0 |   0 |   0 | 3.355595e+01 | 1.510000e+02 | 349.99%
0.29/0.34	c   0.3s|     1 |     0 |  1328 |3707k|   0 | 155 | 492 | 200 | 200 | 492 | 201 |   1 |   0 |   0 | 3.359618e+01 | 1.510000e+02 | 349.46%
0.29/0.34	o 150
0.29/0.34	c R 0.3s|     1 |     0 |  1328 |3720k|   0 | 155 | 492 | 200 | 200 | 492 | 201 |   1 |   0 |   0 | 3.359618e+01 | 1.500000e+02 | 346.48%
0.29/0.35	o 149
0.29/0.35	c s 0.3s|     1 |     0 |  1328 |3727k|   0 | 155 | 492 | 200 | 200 | 492 | 201 |   1 |   0 |   0 | 3.359618e+01 | 1.490000e+02 | 343.50%
0.48/0.50	c   0.5s|     1 |     0 |  1377 |6067k|   0 | 153 | 492 | 200 | 200 | 492 | 202 |   2 |   0 |   0 | 3.361575e+01 | 1.490000e+02 | 343.24%
0.48/0.50	o 148
0.48/0.50	c R 0.5s|     1 |     0 |  1377 |6081k|   0 | 153 | 492 | 200 | 200 | 492 | 202 |   2 |   0 |   0 | 3.361575e+01 | 1.480000e+02 | 340.27%
0.48/0.51	o 147
0.48/0.51	c s 0.5s|     1 |     0 |  1377 |6087k|   0 | 153 | 492 | 200 | 200 | 492 | 202 |   2 |   0 |   0 | 3.361575e+01 | 1.470000e+02 | 337.29%
0.59/0.67	c   0.6s|     1 |     0 |  1449 |7818k|   0 | 157 | 492 | 200 | 200 | 492 | 203 |   3 |   0 |   0 | 3.363284e+01 | 1.470000e+02 | 337.07%
0.59/0.67	o 146
0.59/0.67	c R 0.6s|     1 |     0 |  1449 |7831k|   0 | 157 | 492 | 200 | 200 | 492 | 203 |   3 |   0 |   0 | 3.363284e+01 | 1.460000e+02 | 334.10%
0.59/0.67	o 145
0.59/0.67	c s 0.6s|     1 |     0 |  1449 |7838k|   0 | 157 | 492 | 200 | 200 | 492 | 203 |   3 |   0 |   0 | 3.363284e+01 | 1.450000e+02 | 331.13%
0.79/0.82	c   0.8s|     1 |     0 |  1499 |8527k|   0 | 156 | 492 | 200 | 200 | 492 | 204 |   4 |   0 |   0 | 3.363942e+01 | 1.450000e+02 | 331.04%
0.79/0.82	o 144
0.79/0.82	c R 0.8s|     1 |     0 |  1499 |8540k|   0 | 156 | 492 | 200 | 200 | 492 | 204 |   4 |   0 |   0 | 3.363942e+01 | 1.440000e+02 | 328.07%
0.79/0.82	o 143
0.79/0.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.82	c s 0.8s|     1 |     0 |  1499 |8547k|   0 | 156 | 492 | 200 | 200 | 492 | 204 |   4 |   0 |   0 | 3.363942e+01 | 1.430000e+02 | 325.10%
0.89/0.97	c   0.9s|     1 |     0 |  1532 |8681k|   0 | 158 | 492 | 200 | 200 | 492 | 205 |   5 |   0 |   0 | 3.364335e+01 | 1.430000e+02 | 325.05%
0.89/0.97	o 142
0.89/0.97	c R 0.9s|     1 |     0 |  1532 |8695k|   0 | 158 | 492 | 200 | 200 | 492 | 205 |   5 |   0 |   0 | 3.364335e+01 | 1.420000e+02 | 322.07%
0.89/0.97	o 141
0.89/0.97	c s 0.9s|     1 |     0 |  1532 |8702k|   0 | 158 | 492 | 200 | 200 | 492 | 205 |   5 |   0 |   0 | 3.364335e+01 | 1.410000e+02 | 319.10%
1.09/1.12	c   1.1s|     1 |     0 |  1569 |8767k|   0 | 158 | 492 | 200 | 200 | 492 | 206 |   6 |   0 |   0 | 3.364474e+01 | 1.410000e+02 | 319.08%
1.09/1.12	o 140
1.09/1.12	c R 1.1s|     1 |     0 |  1569 |8781k|   0 | 158 | 492 | 200 | 200 | 492 | 206 |   6 |   0 |   0 | 3.364474e+01 | 1.400000e+02 | 316.11%
1.09/1.12	o 139
1.09/1.12	c s 1.1s|     1 |     0 |  1569 |8787k|   0 | 158 | 492 | 200 | 200 | 492 | 206 |   6 |   0 |   0 | 3.364474e+01 | 1.390000e+02 | 313.14%
1.19/1.29	c   1.2s|     1 |     0 |  1597 |8797k|   0 | 157 | 492 | 200 | 200 | 492 | 207 |   7 |   0 |   0 | 3.364552e+01 | 1.390000e+02 | 313.13%
1.19/1.29	o 138
1.19/1.29	c R 1.2s|     1 |     0 |  1597 |8811k|   0 | 157 | 492 | 200 | 200 | 492 | 207 |   7 |   0 |   0 | 3.364552e+01 | 1.380000e+02 | 310.16%
1.19/1.29	o 137
1.19/1.29	c s 1.2s|     1 |     0 |  1597 |8818k|   0 | 157 | 492 | 200 | 200 | 492 | 207 |   7 |   0 |   0 | 3.364552e+01 | 1.370000e+02 | 307.19%
1.39/1.45	c   1.4s|     1 |     0 |  1639 |8828k|   0 | 152 | 492 | 200 | 200 | 492 | 208 |   8 |   0 |   0 | 3.364768e+01 | 1.370000e+02 | 307.16%
1.39/1.45	o 136
1.39/1.45	c R 1.4s|     1 |     0 |  1639 |8841k|   0 | 152 | 492 | 200 | 200 | 492 | 208 |   8 |   0 |   0 | 3.364768e+01 | 1.360000e+02 | 304.19%
1.39/1.46	o 135
1.39/1.46	c s 1.4s|     1 |     0 |  1639 |8848k|   0 | 152 | 492 | 200 | 200 | 492 | 208 |   8 |   0 |   0 | 3.364768e+01 | 1.350000e+02 | 301.22%
1.49/1.51	c   1.5s|     1 |     0 |  1669 |8857k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 1.350000e+02 | 301.20%
1.49/1.51	o 134
1.49/1.51	c R 1.5s|     1 |     0 |  1669 |8871k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 1.340000e+02 | 298.23%
1.49/1.51	o 133
1.49/1.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.51	c s 1.5s|     1 |     0 |  1669 |8878k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 1.330000e+02 | 295.26%
1.49/1.56	o 52
1.49/1.56	c k 1.5s|     1 |     0 |  1669 |8891k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 5.200000e+01 |  54.54%
5.59/5.60	o 40
5.59/5.60	c E 5.4s|     1 |     0 |  1669 |8890k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 4.000000e+01 |  18.88%
5.59/5.61	c   5.4s|     1 |     0 |  1669 |8890k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |   0 | 3.364868e+01 | 4.000000e+01 |  18.88%
7.38/7.44	c   7.2s|     1 |     2 |  1669 |8891k|   0 | 153 | 492 | 200 | 200 | 492 | 209 |   9 |   0 |  22 | 3.364868e+01 | 4.000000e+01 |  18.88%
73.05/73.20	o 39
73.05/73.20	c *72.1s|  1566 |   664 |206052 |9890k|  32 |   - | 492 | 200 |  83 | 492 | 209 |   9 |   0 |1369 | 3.502232e+01 | 3.900000e+01 |  11.36%
260.48/260.61	c   257s| 10000 |  5104 |  1019k|  26M|  32 |   - | 492 | 200 | 159 | 492 | 209 |   9 |   0 |3170 | 3.596977e+01 | 3.900000e+01 |   8.42%
443.92/444.11	c   438s| 20000 |  9200 |  1857k|  46M|  32 |   - | 492 | 200 | 138 | 492 | 209 |   9 |   0 |4144 | 3.628528e+01 | 3.900000e+01 |   7.48%
613.95/614.22	c   605s| 30000 | 12056 |  2614k|  62M|  32 |   - | 492 | 200 | 112 | 492 | 209 |   9 |   0 |5273 | 3.644645e+01 | 3.900000e+01 |   7.01%
768.70/769.03	c   758s| 40000 | 14614 |  3310k|  78M|  32 |   - | 492 | 200 | 120 | 492 | 209 |   9 |   0 |6342 | 3.656878e+01 | 3.900000e+01 |   6.65%
905.95/906.38	c   893s| 50000 | 16356 |  3945k|  91M|  32 | 108 | 492 | 200 | 142 | 492 | 209 |   9 |   0 |7058 | 3.665218e+01 | 3.900000e+01 |   6.41%
1039.40/1039.87	c  1025s| 60000 | 17726 |  4545k| 102M|  32 | 142 | 492 | 200 | 173 | 492 | 209 |   9 |   0 |7951 | 3.673099e+01 | 3.900000e+01 |   6.18%
1164.86/1165.35	c  1148s| 70000 | 18922 |  5119k| 113M|  32 | 133 | 492 | 200 | 172 | 492 | 209 |   9 |   0 |8708 | 3.680064e+01 | 3.900000e+01 |   5.98%
1284.81/1285.33	c  1266s| 80000 | 19718 |  5671k| 121M|  32 | 132 | 492 | 200 | 168 | 492 | 209 |   9 |   0 |9408 | 3.685234e+01 | 3.900000e+01 |   5.83%
1400.67/1401.21	c  1381s| 90000 | 20066 |  6198k| 127M|  32 |   - | 492 | 200 | 137 | 492 | 209 |   9 |   0 |  10k| 3.689630e+01 | 3.900000e+01 |   5.70%
1514.73/1515.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1514.73/1515.36	c  1493s|100000 | 20392 |  6724k| 133M|  32 | 127 | 492 | 200 | 162 | 492 | 209 |   9 |   0 |  10k| 3.694105e+01 | 3.900000e+01 |   5.57%
1622.89/1623.50	c  1600s|110000 | 20450 |  7233k| 137M|  32 |   - | 492 | 200 | 149 | 492 | 209 |   9 |   0 |  11k| 3.698459e+01 | 3.900000e+01 |   5.45%
1728.06/1728.71	c  1703s|120000 | 20284 |  7719k| 140M|  32 |   - | 492 | 200 | 172 | 492 | 209 |   9 |   0 |  11k| 3.703764e+01 | 3.900000e+01 |   5.30%
1800.04/1800.72	c 
1800.04/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.72	c Solving Time (sec) : 1774.13
1800.04/1800.72	c Solving Nodes      : 126742
1800.04/1800.72	c Primal Bound       : +3.90000000000000e+01 (916 solutions)
1800.04/1800.72	c Dual Bound         : +3.70655671497260e+01
1800.04/1800.72	c Gap                : 5.22 %
1800.04/1800.72	c NODE         126742
1800.04/1800.72	c DUAL BOUND   37.0656
1800.04/1800.72	c PRIMAL BOUND 39
1800.04/1800.72	c GAP          0.0521895
1800.04/1800.72	s SATISFIABLE
1800.04/1800.72	v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 
1800.04/1800.72	v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 
1800.04/1800.72	v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 
1800.04/1800.72	v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 
1800.04/1800.72	v -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
1800.04/1800.72	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 
1800.04/1800.72	v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 
1800.04/1800.72	v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 
1800.04/1800.72	v -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 
1800.04/1800.72	v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 
1800.04/1800.72	v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 
1800.04/1800.72	v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 
1800.04/1800.72	v -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 
1800.04/1800.72	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 
1800.04/1800.72	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 
1800.04/1800.72	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 
1800.04/1800.72	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
1800.04/1800.72	v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
1800.04/1800.72	v -x113 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 x96 -x95 -x94 x93 -x92 -x91 -x90 
1800.04/1800.72	v -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 
1800.04/1800.72	v 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 
1800.04/1800.72	v -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 
1800.04/1800.72	v -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1 
1800.04/1800.72	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.72	c Solving Time       :    1774.13
1800.04/1800.72	c Original Problem   :
1800.04/1800.72	c   Problem name     : HOME/instance-1869446-1245172660.opb
1800.04/1800.72	c   Variables        : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72	c   Constraints      : 200 initial, 200 maximal
1800.04/1800.72	c Presolved Problem  :
1800.04/1800.72	c   Problem name     : t_HOME/instance-1869446-1245172660.opb
1800.04/1800.72	c   Variables        : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72	c   Constraints      : 200 initial, 200 maximal
1800.04/1800.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.72	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.72	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.72	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.72	c   integral         :          0          0          0      76553          0        279       4195          0          0     147124
1800.04/1800.72	c   logicor          :        200         10     153841          1          0          0       4255          0          0          0
1800.04/1800.72	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1800.04/1800.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.72	c   integral         :     167.12       0.00       0.00     167.12       0.00
1800.04/1800.72	c   logicor          :       3.25       0.00       3.25       0.00       0.00
1800.04/1800.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.72	c   rootredcost      :       0.16          1          0          0
1800.04/1800.72	c   pseudoobj        :       7.23     293829          0          0
1800.04/1800.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.72	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.72	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.72	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.72	c   cut pool         :       0.02          9          -          -         19          -    (maximal pool size: 534)
1800.04/1800.72	c   redcost          :      10.84     144080          0    5141897          0          0
1800.04/1800.72	c   impliedbounds    :       0.00         11          0          0          0          0
1800.04/1800.72	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.72	c   gomory           :       0.47         11          0          0          0          0
1800.04/1800.72	c   strongcg         :       0.48         11          0          0        534          0
1800.04/1800.72	c   cmir             :       0.06         10          0          0          0          0
1800.04/1800.72	c   flowcover        :       0.16         10          0          0          0          0
1800.04/1800.72	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.72	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.72	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.72	c Pricers            :       Time      Calls       Vars
1800.04/1800.72	c   problem variables:       0.00          0          0
1800.04/1800.72	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.72	c   relpscost        :     167.01      76552        279       4195          0          0     147124
1800.04/1800.72	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.72	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.72	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.72	c   LP solutions     :       0.00          -          1
1800.04/1800.72	c   pseudo solutions :       0.00          -          0
1800.04/1800.72	c   feaspump         :       0.01          0          0
1800.04/1800.72	c   oneopt           :       0.06          2          1
1800.04/1800.72	c   crossover        :       0.85         10          2
1800.04/1800.72	c   objpscostdiving  :      89.70        162        469
1800.04/1800.72	c   veclendiving     :      16.06        570         28
1800.04/1800.72	c   fracdiving       :      28.48        570         39
1800.04/1800.72	c   coefdiving       :      40.58        570         25
1800.04/1800.72	c   pscostdiving     :      42.53        570        169
1800.04/1800.72	c   linesearchdiving :      36.21        571          2
1800.04/1800.72	c   guideddiving     :      29.13        571          0
1800.04/1800.72	c   simplerounding   :       2.37      76561        158
1800.04/1800.72	c   rounding         :      16.54      35898         10
1800.04/1800.72	c   shifting         :       2.01       3478         10
1800.04/1800.72	c   intshifting      :       0.00          0          0
1800.04/1800.72	c   fixandinfer      :       0.00          0          0
1800.04/1800.72	c   intdiving        :       0.00          0          0
1800.04/1800.72	c   actconsdiving    :       0.00          0          0
1800.04/1800.72	c   rootsoldiving    :       7.64        121          1
1800.04/1800.72	c   octane           :       0.00          0          0
1800.04/1800.72	c   rens             :       3.92          1          1
1800.04/1800.72	c   rins             :       0.00          0          0
1800.04/1800.72	c   localbranching   :       0.00          0          0
1800.04/1800.72	c   mutation         :       0.00          0          0
1800.04/1800.72	c   dins             :       0.00          0          0
1800.04/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.72	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.72	c   dual LP          :    1227.36     129462    6597887      50.96    5375.67
1800.04/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.72	c   diving/probing LP:     266.26     101403    1453419      14.33    5458.65
1800.04/1800.72	c   strong branching :     160.88      12199     856525      70.21    5324.00
1800.04/1800.72	c     (at root node) :          -         22       5990     272.27          -
1800.04/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.72	c B&B Tree           :
1800.04/1800.72	c   number of runs   :          1
1800.04/1800.72	c   nodes            :     126742
1800.04/1800.72	c   nodes (total)    :     126742
1800.04/1800.72	c   nodes left       :      20084
1800.04/1800.72	c   max depth        :         32
1800.04/1800.72	c   max depth (total):         32
1800.04/1800.72	c   backtracks       :      30501 (24.1%)
1800.04/1800.72	c   delayed cutoffs  :          0
1800.04/1800.72	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.72	c   avg switch length:       5.54
1800.04/1800.72	c   switching time   :      10.82
1800.04/1800.72	c Solution           :
1800.04/1800.72	c   Solutions found  :        916 (24 improvements)
1800.04/1800.72	c   Primal Bound     : +3.90000000000000e+01   (in run 1, after 1566 nodes, 72.07 seconds, depth 29, found by <relaxation>)
1800.04/1800.72	c   Dual Bound       : +3.70655671497260e+01
1800.04/1800.72	c   Gap              :       5.22 %
1800.04/1800.72	c   Root Dual Bound  : +3.36486819906699e+01
1800.14/1800.87	c Time complete: 1800.21.

Verifier Data 

OK	39

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 5420
/proc/meminfo: memFree=1824856/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=4328 CPUtime=0
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 184860177 4431872 471 1992294400 4194304 7823515 548682068736 18446744073709551615 6041808 0 0 4096 0 0 0 0 17 1 0 0
/proc/5420/statm: 1162 482 315 886 0 272 0

[startup+0.100006 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 5420
/proc/meminfo: memFree=1824856/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=13764 CPUtime=0.09
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 2981 0 0 0 8 1 0 0 18 0 1 0 184860177 14094336 2609 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 3441 2609 501 886 0 2551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13764

[startup+0.203024 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 5420
/proc/meminfo: memFree=1824856/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=14248 CPUtime=0.19
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 3092 0 0 0 18 1 0 0 18 0 1 0 184860177 14589952 2720 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 3562 2720 520 886 0 2672 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14248

[startup+0.302042 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 5420
/proc/meminfo: memFree=1824856/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=17464 CPUtime=0.29
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 3884 0 0 0 28 1 0 0 19 0 1 0 184860177 17883136 3512 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 4366 3512 522 886 0 3476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17464

[startup+0.701115 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 5420
/proc/meminfo: memFree=1824856/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=21272 CPUtime=0.69
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 4901 0 0 0 67 2 0 0 22 0 1 0 184860177 21782528 4529 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 5318 4529 539 886 0 4428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21272

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5421
/proc/meminfo: memFree=1805712/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=25240 CPUtime=1.49
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 5869 0 0 0 146 3 0 0 25 0 1 0 184860177 25845760 5493 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 6310 5493 540 886 0 5420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25240

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5421
/proc/meminfo: memFree=1795024/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36444 CPUtime=3.09
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 8386 0 0 0 302 7 0 0 25 0 1 0 184860177 37318656 7992 1992294400 4194304 7823515 548682068736 18446744073709551615 5994754 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5420/statm: 9111 7992 555 886 0 8221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36444

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5421
/proc/meminfo: memFree=1794640/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36444 CPUtime=6.28
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 8399 0 0 0 613 15 0 0 25 0 1 0 184860177 37318656 8005 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 9111 8005 560 886 0 8221 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36444

[startup+12.7013 s]
/proc/loadavg: 1.08 1.02 0.95 2/65 5421
/proc/meminfo: memFree=1794640/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36444 CPUtime=12.67
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 8399 0 0 0 1245 22 0 0 25 0 1 0 184860177 37318656 8005 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 9111 8005 560 886 0 8221 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36444

[startup+25.5026 s]
/proc/loadavg: 1.13 1.03 0.96 2/65 5421
/proc/meminfo: memFree=1794776/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36444 CPUtime=25.47
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 8406 0 0 0 2507 40 0 0 25 0 1 0 184860177 37318656 8012 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 9111 8012 561 886 0 8221 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 36444

[startup+51.1023 s]
/proc/loadavg: 1.09 1.03 0.96 2/65 5421
/proc/meminfo: memFree=1794072/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36444 CPUtime=51.06
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 8626 0 0 0 5033 73 0 0 25 0 1 0 184860177 37318656 8232 1992294400 4194304 7823515 548682068736 18446744073709551615 6216128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 9111 8232 565 886 0 8221 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36444

[startup+102.302 s]
/proc/loadavg: 1.08 1.04 0.96 2/65 5421
/proc/meminfo: memFree=1795736/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=34276 CPUtime=102.24
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 9086 0 0 0 10072 152 0 0 25 0 1 0 184860177 35098624 7783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 8569 7783 565 886 0 7679 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 34276

[startup+162.301 s]
/proc/loadavg: 1.03 1.03 0.96 2/65 5421
/proc/meminfo: memFree=1793112/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=36832 CPUtime=162.22
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 13037 0 0 0 15989 233 0 0 25 0 1 0 184860177 37715968 8456 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 9208 8456 565 886 0 8318 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 36832

[startup+222.305 s]
/proc/loadavg: 1.01 1.02 0.96 2/65 5421
/proc/meminfo: memFree=1785560/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=44392 CPUtime=222.2
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 17043 0 0 0 21902 318 0 0 25 0 1 0 184860177 45457408 10344 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 11098 10344 565 886 0 10208 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 44392

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/65 5421
/proc/meminfo: memFree=1776472/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=53512 CPUtime=282.18
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 20546 0 0 0 27823 395 0 0 25 0 1 0 184860177 54796288 12608 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 13378 12608 569 886 0 12488 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 53512

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 5421
/proc/meminfo: memFree=1767064/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=63204 CPUtime=342.15
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 22869 0 0 0 33736 479 0 0 25 0 1 0 184860177 64720896 14931 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 15801 14931 569 886 0 14911 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 63204

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1761048/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=69356 CPUtime=402.13
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 25642 0 0 0 39651 562 0 0 25 0 1 0 184860177 71020544 16447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 17339 16447 569 886 0 16449 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 69356

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1753624/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=77212 CPUtime=462.11
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 27476 0 0 0 45557 654 0 0 25 0 1 0 184860177 79065088 18281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 19303 18281 569 886 0 18413 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 77212

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1742488/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=88880 CPUtime=522.09
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 30271 0 0 0 51468 741 0 0 25 0 1 0 184860177 91013120 21076 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 22220 21076 569 886 0 21330 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 88880

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1732568/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=99520 CPUtime=582.06
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 32730 0 0 0 57379 827 0 0 25 0 1 0 184860177 101908480 23535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 24880 23535 569 886 0 23990 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 99520

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1727128/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=105304 CPUtime=642.05
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 35358 0 0 0 63291 914 0 0 25 0 1 0 184860177 107831296 24877 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 26326 24877 569 886 0 25436 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 105304

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1697944/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=136096 CPUtime=881.96
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 42662 0 0 0 86939 1257 0 0 25 0 1 0 184860177 139362304 32181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 34024 32181 569 886 0 33134 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 136096

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1689432/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=144476 CPUtime=941.94
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 44789 0 0 0 92848 1346 0 0 25 0 1 0 184860177 147943424 34308 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 36119 34308 569 886 0 35229 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 144476

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1680088/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=154528 CPUtime=1001.91
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 48351 0 0 0 98759 1432 0 0 25 0 1 0 184860177 158236672 36619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 38632 36619 569 886 0 37742 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 154528

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1673496/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=161580 CPUtime=1061.9
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 49994 0 0 0 104666 1524 0 0 25 0 1 0 184860177 165457920 38262 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 40395 38262 569 886 0 39505 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 161580

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1666776/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=169352 CPUtime=1121.87
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 51668 0 0 0 110580 1607 0 0 25 0 1 0 184860177 173416448 39936 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 42338 39936 569 886 0 41448 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 169352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1661784/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=174652 CPUtime=1181.85
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 52915 0 0 0 116491 1694 0 0 25 0 1 0 184860177 178843648 41183 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 43663 41183 569 886 0 42773 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 174652

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1656792/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=179828 CPUtime=1241.83
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 54128 0 0 0 122403 1780 0 0 25 0 1 0 184860177 184143872 42396 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 44957 42396 569 886 0 44067 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 179828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1654616/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=182020 CPUtime=1301.81
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 54661 0 0 0 128318 1863 0 0 25 0 1 0 184860177 186388480 42929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 45505 42929 569 886 0 44615 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 182020

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1651992/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=185044 CPUtime=1361.79
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 55306 0 0 0 134228 1951 0 0 25 0 1 0 184860177 189485056 43574 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 46261 43574 569 886 0 45371 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 185044

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1649048/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=188464 CPUtime=1421.77
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 56017 0 0 0 140142 2035 0 0 25 0 1 0 184860177 192987136 44285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 47116 44285 569 886 0 46226 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 188464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1645720/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=192000 CPUtime=1481.74
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 56838 0 0 0 146052 2122 0 0 25 0 1 0 184860177 196608000 45106 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 48000 45106 569 886 0 47110 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 192000

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1643928/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=193360 CPUtime=1541.72
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 57266 0 0 0 151964 2208 0 0 25 0 1 0 184860177 198000640 45534 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 48340 45534 569 886 0 47450 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 193360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1640984/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=195988 CPUtime=1601.7
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 59255 0 0 0 157871 2299 0 0 25 0 1 0 184860177 200691712 46253 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 48997 46253 569 886 0 48107 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 195988

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1637208/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=200020 CPUtime=1661.68
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 60216 0 0 0 163779 2389 0 0 25 0 1 0 184860177 204820480 47214 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 50005 47214 569 886 0 49115 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 200020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1635416/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=201624 CPUtime=1721.66
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 60644 0 0 0 169686 2480 0 0 25 0 1 0 184860177 206462976 47642 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 50406 47642 569 886 0 49516 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 201624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1632408/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=205184 CPUtime=1781.64
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 61423 0 0 0 175598 2566 0 0 25 0 1 0 184860177 210108416 48421 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 51296 48421 569 886 0 50406 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 205184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1632216/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=205184 CPUtime=1800.04
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 61469 0 0 0 177413 2591 0 0 25 0 1 0 184860177 210108416 48467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5420/statm: 51296 48467 569 886 0 50406 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205184

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 5421
/proc/meminfo: memFree=1632216/2055920 swapFree=4182476/4192956
[pid=5420] ppid=5418 vsize=205184 CPUtime=1800.14
/proc/5420/stat : 5420 (pbscip.linux.x8) R 5418 5420 4861 0 -1 4194304 61471 0 0 0 177423 2591 0 0 17 0 1 0 184860177 210108416 48469 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/5420/statm: 51296 48469 571 886 0 50406 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 205184

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.22
CPU user time (s): 1774.28
CPU system time (s): 25.9421
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 205184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.28
system time used= 25.9421
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61474
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= 4
involuntary context switches= 3047

runsolver used 1.60076 second user time and 3.39248 second system time

The end

Launcher Data 

Begin job on node67 at 2009-06-16 19:17:40
IDJOB=1869446
IDBENCH=2878
IDSOLVER=683
FILE ID=node67/1869446-1245172660
PBS_JOBID= 9363871
Free space on /tmp= 66428 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.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-1869446-1245172660/watcher-1869446-1245172660 -o /tmp/evaluation-result-1869446-1245172660/solver-1869446-1245172660 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869446-1245172660.opb

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

MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680
RANDOM SEED=1565267017

node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825272 kB
Buffers:         21956 kB
Cached:         145220 kB
SwapCached:       4524 kB
Active:          53740 kB
Inactive:       121072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825272 kB
SwapTotal:     4192956 kB
SwapFree:      4182476 kB
Dirty:            9852 kB
Writeback:           0 kB
Mapped:          13444 kB
Slab:            41700 kB
Committed_AS:   103964 kB
PageTables:       1440 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66420 MiB
End job on node67 at 2009-06-16 19:47:43