Trace number 1870380

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)-30 1800.79 1801.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_4.opb
MD5SUM85583812489e95a26f37a10baffcd23f
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products3130
Sum of products size6260

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.04	c SCIP version 1.1.0.7
0.00/0.04	c LP-Solver SoPlex 1.4.1
0.00/0.04	c user parameter file <scip.set> not found - using default parameters
0.00/0.04	c read problem <HOME/instance-1870380-1245200849.opb>
0.00/0.04	c original problem has 3330 variables (3330 bin, 0 int, 0 impl, 0 cont) and 3330 constraints
0.05/0.07	c start presolving problem
0.05/0.07	c presolving:
0.19/0.23	c (round 1) 3130 del vars, 200 del conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12520 impls, 0 clqs
0.39/0.45	c    (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (2 rounds):
0.39/0.45	c  3130 deleted vars, 200 deleted constraints, 3130 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  18780 implications, 0 cliques
0.39/0.45	c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3130 constraints
0.39/0.45	c    3130 constraints of type <and>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.22
0.39/0.45	c OPT-NLC
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = c 1620
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = c 1791
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = c 10000
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving problem
0.39/0.45	c 
0.49/0.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.51	c   0.3s|     1 |     0 |   208 |  11M|   0 | 200 | 200 |3130 |3130 | 200 |3130 |   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
0.49/0.51	o -17
0.49/0.51	c R 0.3s|     1 |     0 |   208 |  11M|   0 | 200 | 200 |3130 |3130 | 200 |3130 |   0 |   0 |   0 |-1.000000e+02 |-1.700000e+01 |  83.00%
0.59/0.62	c   0.4s|     1 |     0 |   289 |  11M|   0 | 188 | 200 |3130 |3130 | 200 |3138 |   8 |   0 |   0 |-9.400000e+01 |-1.700000e+01 |  81.91%
0.59/0.63	o -18
0.59/0.63	c R 0.4s|     1 |     0 |   289 |  11M|   0 | 188 | 200 |3130 |3130 | 200 |3138 |   8 |   0 |   0 |-9.400000e+01 |-1.800000e+01 |  80.85%
0.69/0.77	c   0.5s|     1 |     0 |   322 |  11M|   0 | 183 | 200 |3130 |3130 | 200 |3143 |  13 |   0 |   0 |-9.150000e+01 |-1.800000e+01 |  80.33%
0.89/0.94	c   0.7s|     1 |     0 |   418 |  11M|   0 | 176 | 200 |3130 |3130 | 200 |3150 |  20 |   0 |   0 |-8.800000e+01 |-1.800000e+01 |  79.55%
1.09/1.11	c   0.9s|     1 |     0 |   517 |  11M|   0 | 171 | 200 |3130 |3130 | 200 |3156 |  26 |   0 |   0 |-8.550000e+01 |-1.800000e+01 |  78.95%
1.29/1.35	c   1.1s|     1 |     0 |   678 |  11M|   0 | 165 | 200 |3130 |3130 | 200 |3162 |  32 |   0 |   0 |-8.250000e+01 |-1.800000e+01 |  78.18%
1.58/1.60	c   1.4s|     1 |     0 |   867 |  11M|   0 | 159 | 200 |3130 |3130 | 200 |3169 |  39 |   0 |   0 |-7.950000e+01 |-1.800000e+01 |  77.36%
1.78/1.81	c   1.6s|     1 |     0 |  1003 |  11M|   0 | 155 | 200 |3130 |3130 | 200 |3177 |  47 |   0 |   0 |-7.750000e+01 |-1.800000e+01 |  76.77%
1.99/2.05	c   1.8s|     1 |     0 |  1156 |  11M|   0 | 153 | 200 |3130 |3130 | 200 |3184 |  54 |   0 |   0 |-7.650000e+01 |-1.800000e+01 |  76.47%
2.19/2.29	c   2.0s|     1 |     0 |  1327 |  11M|   0 | 150 | 200 |3130 |3130 | 200 |3190 |  60 |   0 |   0 |-7.500000e+01 |-1.800000e+01 |  76.00%
2.38/2.44	c   2.2s|     1 |     0 |  1369 |  12M|   0 | 149 | 200 |3130 |3130 | 200 |3194 |  64 |   0 |   0 |-7.450000e+01 |-1.800000e+01 |  75.84%
2.58/2.69	c   2.4s|     1 |     0 |  1574 |  12M|   0 | 146 | 200 |3130 |3130 | 200 | 358 |  70 |   0 |   0 |-7.300000e+01 |-1.800000e+01 |  75.34%
2.68/2.72	c   2.5s|     1 |     0 |  1628 |  12M|   0 | 145 | 200 |3130 |3130 | 200 | 364 |  76 |   0 |   0 |-7.250000e+01 |-1.800000e+01 |  75.17%
2.68/2.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.68/2.78	c   2.5s|     1 |     0 |  1774 |  12M|   0 | 140 | 200 |3130 |3130 | 200 | 371 |  83 |   0 |   0 |-7.175000e+01 |-1.800000e+01 |  74.91%
2.79/2.85	c   2.6s|     1 |     0 |  1927 |  12M|   0 | 161 | 200 |3130 |3130 | 200 | 494 | 206 |   0 |   0 |-7.016667e+01 |-1.800000e+01 |  74.35%
2.88/2.95	c   2.7s|     1 |     0 |  2066 |  12M|   0 | 138 | 200 |3130 |3130 | 200 | 723 | 435 |   0 |   0 |-6.900000e+01 |-1.800000e+01 |  73.91%
2.98/3.04	c   2.8s|     1 |     0 |  2265 |  12M|   0 | 136 | 200 |3130 |3130 | 200 | 734 | 446 |   0 |   0 |-6.800000e+01 |-1.800000e+01 |  73.53%
3.08/3.14	c   2.9s|     1 |     0 |  2488 |  12M|   0 | 159 | 200 |3130 |3130 | 200 | 586 | 452 |   0 |   0 |-6.720000e+01 |-1.800000e+01 |  73.21%
3.18/3.26	c   3.0s|     1 |     0 |  2706 |  12M|   0 | 126 | 200 |3130 |3130 | 200 | 660 | 526 |   0 |   0 |-6.600000e+01 |-1.800000e+01 |  72.73%
3.29/3.35	c   3.1s|     1 |     0 |  2907 |  12M|   0 | 151 | 200 |3130 |3130 | 200 | 718 | 584 |   0 |   0 |-6.450000e+01 |-1.800000e+01 |  72.09%
3.48/3.53	c   3.2s|     1 |     0 |  3157 |  12M|   0 | 159 | 200 |3130 |3130 | 200 | 751 | 617 |   0 |   0 |-6.343243e+01 |-1.800000e+01 |  71.62%
3.59/3.67	c   3.4s|     1 |     0 |  3366 |  13M|   0 | 157 | 200 |3130 |3130 | 200 | 888 | 754 |   0 |   0 |-6.240164e+01 |-1.800000e+01 |  71.15%
3.79/3.82	c   3.5s|     1 |     0 |  3560 |  13M|   0 | 152 | 200 |3130 |3130 | 200 | 945 | 811 |   0 |   0 |-6.169811e+01 |-1.800000e+01 |  70.83%
3.88/3.97	c   3.7s|     1 |     0 |  3787 |  13M|   0 | 165 | 200 |3130 |3130 | 200 | 926 | 839 |   0 |   0 |-6.105053e+01 |-1.800000e+01 |  70.52%
4.08/4.14	c   3.8s|     1 |     0 |  4034 |  14M|   0 | 158 | 200 |3130 |3130 | 200 | 950 | 863 |   0 |   0 |-6.008951e+01 |-1.800000e+01 |  70.04%
4.28/4.31	c   4.0s|     1 |     0 |  4324 |  14M|   0 | 161 | 200 |3130 |3130 | 200 | 961 | 874 |   0 |   0 |-5.959375e+01 |-1.800000e+01 |  69.80%
4.49/4.50	c   4.2s|     1 |     0 |  4563 |  15M|   0 | 154 | 200 |3130 |3130 | 200 | 982 | 895 |   0 |   0 |-5.835985e+01 |-1.800000e+01 |  69.16%
4.58/4.68	c   4.4s|     1 |     0 |  4838 |  16M|   0 | 167 | 200 |3130 |3130 | 200 |1036 | 949 |   0 |   0 |-5.739988e+01 |-1.800000e+01 |  68.64%
4.88/4.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.88/4.94	c   4.6s|     1 |     0 |  5127 |  16M|   0 | 176 | 200 |3130 |3130 | 200 |1084 | 997 |   0 |   0 |-5.640297e+01 |-1.800000e+01 |  68.09%
5.08/5.18	c   4.9s|     1 |     0 |  5339 |  16M|   0 | 165 | 200 |3130 |3130 | 200 | 714 |1021 |   0 |   0 |-5.609209e+01 |-1.800000e+01 |  67.91%
5.29/5.35	c   5.0s|     1 |     0 |  5622 |  17M|   0 | 171 | 200 |3130 |3130 | 200 | 724 |1031 |   0 |   0 |-5.515663e+01 |-1.800000e+01 |  67.37%
5.49/5.54	c   5.2s|     1 |     0 |  5919 |  17M|   0 | 176 | 200 |3130 |3130 | 200 | 784 |1091 |   0 |   0 |-5.386813e+01 |-1.800000e+01 |  66.59%
5.68/5.73	c   5.4s|     1 |     0 |  6151 |  17M|   0 | 180 | 200 |3130 |3130 | 200 | 812 |1119 |   0 |   0 |-5.342553e+01 |-1.800000e+01 |  66.31%
5.78/5.90	c   5.6s|     1 |     0 |  6287 |  17M|   0 | 177 | 200 |3130 |3130 | 200 | 827 |1134 |   0 |   0 |-5.313346e+01 |-1.800000e+01 |  66.12%
5.98/6.09	c   5.8s|     1 |     0 |  6473 |  17M|   0 | 177 | 200 |3130 |3130 | 200 | 852 |1159 |   0 |   0 |-5.267837e+01 |-1.800000e+01 |  65.83%
6.18/6.29	c   6.0s|     1 |     0 |  6651 |  17M|   0 | 178 | 200 |3130 |3130 | 200 | 595 |1184 |   0 |   0 |-5.242284e+01 |-1.800000e+01 |  65.66%
6.39/6.42	c   6.1s|     1 |     0 |  6791 |  17M|   0 | 182 | 200 |3130 |3130 | 200 | 611 |1200 |   0 |   0 |-5.197009e+01 |-1.800000e+01 |  65.36%
6.49/6.56	c   6.2s|     1 |     0 |  6924 |  17M|   0 | 183 | 200 |3130 |3130 | 200 | 624 |1213 |   0 |   0 |-5.173318e+01 |-1.800000e+01 |  65.21%
6.59/6.68	c   6.4s|     1 |     0 |  7026 |  17M|   0 | 187 | 200 |3130 |3130 | 200 | 640 |1229 |   0 |   0 |-5.157401e+01 |-1.800000e+01 |  65.10%
6.78/6.81	c   6.5s|     1 |     0 |  7135 |  17M|   0 | 188 | 200 |3130 |3130 | 200 | 653 |1242 |   0 |   0 |-5.141971e+01 |-1.800000e+01 |  64.99%
6.88/6.96	c   6.6s|     1 |     0 |  7277 |  17M|   0 | 186 | 200 |3130 |3130 | 200 | 665 |1254 |   0 |   0 |-5.111049e+01 |-1.800000e+01 |  64.78%
7.08/7.10	c   6.8s|     1 |     0 |  7399 |  17M|   0 | 186 | 200 |3130 |3130 | 200 | 439 |1266 |   0 |   0 |-5.093301e+01 |-1.800000e+01 |  64.66%
7.18/7.20	c   6.9s|     1 |     0 |  7511 |  17M|   0 | 187 | 200 |3130 |3130 | 200 | 452 |1279 |   0 |   0 |-5.078164e+01 |-1.800000e+01 |  64.55%
7.28/7.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.28/7.30	c   7.0s|     1 |     0 |  7624 |  17M|   0 | 186 | 200 |3130 |3130 | 200 | 462 |1289 |   0 |   0 |-5.065530e+01 |-1.800000e+01 |  64.47%
7.38/7.40	c   7.1s|     1 |     0 |  7722 |  17M|   0 | 190 | 200 |3130 |3130 | 200 | 470 |1297 |   0 |   0 |-5.045338e+01 |-1.800000e+01 |  64.32%
7.48/7.51	c   7.2s|     1 |     0 |  7826 |  17M|   0 | 190 | 200 |3130 |3130 | 200 | 484 |1311 |   0 |   0 |-5.031664e+01 |-1.800000e+01 |  64.23%
7.48/7.60	c   7.3s|     1 |     0 |  7893 |  17M|   0 | 190 | 200 |3130 |3130 | 200 | 493 |1320 |   0 |   0 |-5.023578e+01 |-1.800000e+01 |  64.17%
7.68/7.71	c   7.4s|     1 |     0 |  7983 |  17M|   0 | 191 | 200 |3130 |3130 | 200 | 410 |1329 |   0 |   0 |-5.010075e+01 |-1.800000e+01 |  64.07%
7.78/7.80	c   7.5s|     1 |     0 |  8078 |  17M|   0 | 195 | 200 |3130 |3130 | 200 | 422 |1341 |   0 |   0 |-4.998311e+01 |-1.800000e+01 |  63.99%
7.88/7.90	c   7.6s|     1 |     0 |  8201 |  17M|   0 | 197 | 200 |3130 |3130 | 200 | 432 |1351 |   0 |   0 |-4.977298e+01 |-1.800000e+01 |  63.84%
7.88/7.99	c   7.7s|     1 |     0 |  8259 |  17M|   0 | 198 | 200 |3130 |3130 | 200 | 440 |1359 |   0 |   0 |-4.973247e+01 |-1.800000e+01 |  63.81%
7.98/8.08	c   7.7s|     1 |     0 |  8345 |  17M|   0 | 198 | 200 |3130 |3130 | 200 | 447 |1366 |   0 |   0 |-4.963242e+01 |-1.800000e+01 |  63.73%
8.08/8.17	c   7.8s|     1 |     0 |  8421 |  17M|   0 | 198 | 200 |3130 |3130 | 200 | 453 |1372 |   0 |   0 |-4.960009e+01 |-1.800000e+01 |  63.71%
8.18/8.27	c   7.9s|     1 |     0 |  8496 |  17M|   0 | 198 | 200 |3130 |3130 | 200 | 397 |1382 |   0 |   0 |-4.954995e+01 |-1.800000e+01 |  63.67%
8.29/8.35	c   8.0s|     1 |     0 |  8538 |  17M|   0 | 196 | 200 |3130 |3130 | 200 | 406 |1391 |   0 |   0 |-4.952539e+01 |-1.800000e+01 |  63.66%
8.38/8.43	c   8.1s|     1 |     0 |  8585 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 416 |1401 |   0 |   0 |-4.949237e+01 |-1.800000e+01 |  63.63%
8.48/8.51	c   8.2s|     1 |     0 |  8619 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 424 |1409 |   0 |   0 |-4.946474e+01 |-1.800000e+01 |  63.61%
8.58/8.60	c   8.3s|     1 |     0 |  8688 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 431 |1416 |   0 |   0 |-4.941773e+01 |-1.800000e+01 |  63.58%
8.58/8.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.58/8.70	c   8.3s|     1 |     0 |  8774 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 439 |1424 |   0 |   0 |-4.937862e+01 |-1.800000e+01 |  63.55%
8.68/8.79	c   8.4s|     1 |     0 |  8847 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 387 |1431 |   0 |   0 |-4.930480e+01 |-1.800000e+01 |  63.49%
8.78/8.87	c   8.5s|     1 |     0 |  8880 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 393 |1437 |   0 |   0 |-4.929512e+01 |-1.800000e+01 |  63.49%
8.88/8.94	c   8.6s|     1 |     0 |  8933 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 404 |1448 |   0 |   0 |-4.926968e+01 |-1.800000e+01 |  63.47%
8.98/9.02	c   8.7s|     1 |     0 |  8989 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 417 |1461 |   0 |   0 |-4.924765e+01 |-1.800000e+01 |  63.45%
9.08/9.11	c   8.8s|     1 |     0 |  9049 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 426 |1470 |   0 |   0 |-4.923355e+01 |-1.800000e+01 |  63.44%
9.18/9.20	c   8.8s|     1 |     0 |  9114 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 433 |1477 |   0 |   0 |-4.920571e+01 |-1.800000e+01 |  63.42%
9.18/9.28	c   8.9s|     1 |     0 |  9157 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 398 |1483 |   0 |   0 |-4.919588e+01 |-1.800000e+01 |  63.41%
9.28/9.36	c   9.0s|     1 |     0 |  9203 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 406 |1491 |   0 |   0 |-4.917698e+01 |-1.800000e+01 |  63.40%
9.38/9.44	c   9.1s|     1 |     0 |  9234 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 412 |1497 |   0 |   0 |-4.916898e+01 |-1.800000e+01 |  63.39%
9.48/9.51	c   9.2s|     1 |     0 |  9258 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 417 |1502 |   0 |   0 |-4.916777e+01 |-1.800000e+01 |  63.39%
9.48/9.59	c   9.2s|     1 |     0 |  9283 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 419 |1504 |   0 |   0 |-4.916640e+01 |-1.800000e+01 |  63.39%
9.58/9.67	c   9.3s|     1 |     0 |  9307 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 424 |1509 |   0 |   0 |-4.916489e+01 |-1.800000e+01 |  63.39%
9.68/9.74	c   9.4s|     1 |     0 |  9313 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 381 |1510 |   0 |   0 |-4.916486e+01 |-1.800000e+01 |  63.39%
11.48/11.57	c  11.2s|     1 |     2 |  9313 |  17M|   0 | 199 | 200 |3130 |3130 | 200 | 381 |1510 |   0 |  18 |-4.916486e+01 |-1.800000e+01 |  63.39%
16.38/16.50	o -24
16.38/16.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.38/16.50	c R16.0s|    16 |    15 | 10898 |  17M|  15 |   - | 200 |3130 |  35 | 200 | 353 |2110 |   0 | 299 |-4.867353e+01 |-2.400000e+01 |  50.69%
18.97/19.09	o -25
18.97/19.09	c *18.6s|    32 |    19 | 12284 |  17M|  16 |   - | 200 |3130 |  67 | 200 | 363 |2686 |   0 | 527 |-4.867353e+01 |-2.500000e+01 |  48.64%
29.08/29.17	o -26
29.08/29.17	c *28.4s|   342 |   158 | 36441 |  18M|  29 |   - | 200 |3130 | 104 | 200 | 405 |  12k|   0 |1002 |-4.745938e+01 |-2.600000e+01 |  45.22%
53.26/53.33	o -27
53.26/53.33	c *52.1s|  1553 |  1089 |172663 |  21M|  36 |   - | 200 |3130 |  93 | 200 | 362 |  54k|   0 |1188 |-4.617181e+01 |-2.700000e+01 |  41.52%
141.33/141.49	c   138s| 10000 |  5632 |727702 |  37M|  48 |   - | 200 |3130 |  85 | 200 | 370 | 225k|   0 |1603 |-4.367583e+01 |-2.700000e+01 |  38.18%
148.83/148.92	o -28
148.83/148.92	c * 146s| 10997 |  5152 |773203 |  36M|  49 |   - | 200 |3130 |  50 | 200 | 402 | 239k|   0 |1683 |-4.354149e+01 |-2.800000e+01 |  35.69%
202.82/202.98	c   199s| 20000 |  7851 |  1114k|  45M|  59 |  59 | 200 |3130 | 289 | 200 | 363 | 335k|   0 |2129 |-4.289825e+01 |-2.800000e+01 |  34.73%
214.02/214.16	o -29
214.02/214.16	c * 210s| 21628 |  7011 |  1185k|  44M|  59 |   - | 200 |3130 |  77 | 200 | 380 | 354k|   0 |2231 |-4.274897e+01 |-2.900000e+01 |  32.16%
264.30/264.46	c   259s| 30000 |  9211 |  1505k|  53M|  62 |   - | 200 |3130 | 255 | 200 | 388 | 438k|   0 |2633 |-4.230011e+01 |-2.900000e+01 |  31.44%
321.08/321.22	c   314s| 40000 | 11575 |  1867k|  62M|  64 |  59 | 200 |3130 | 443 | 200 | 370 | 533k|   0 |3047 |-4.193177e+01 |-2.900000e+01 |  30.84%
376.67/376.84	c   369s| 50000 | 13843 |  2224k|  71M|  66 |  57 | 200 |3130 | 269 | 200 | 406 | 623k|   0 |3415 |-4.162500e+01 |-2.900000e+01 |  30.33%
431.55/431.75	c   422s| 60000 | 15999 |  2575k|  79M|  68 |   - | 200 |3130 | 257 | 200 | 422 | 711k|   0 |3733 |-4.133333e+01 |-2.900000e+01 |  29.84%
484.14/484.35	c   474s| 70000 | 18117 |  2911k|  87M|  69 |  55 | 200 |3130 | 325 | 200 | 429 | 788k|   0 |4020 |-4.105639e+01 |-2.900000e+01 |  29.37%
529.72/529.99	c   519s| 80000 | 20001 |  3210k|  94M|  69 |   - | 200 |3130 | 163 | 200 | 352 | 864k|   0 |4263 |-4.086321e+01 |-2.900000e+01 |  29.03%
576.51/576.75	c   564s| 90000 | 21835 |  3513k| 101M|  72 |  50 | 200 |3130 | 293 | 200 | 400 | 939k|   0 |4566 |-4.058947e+01 |-2.900000e+01 |  28.55%
619.20/619.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
619.20/619.46	c   606s|100000 | 23435 |  3797k| 107M|  72 |   - | 200 |3130 | 242 | 200 | 345 |1011k|   0 |4765 |-4.037500e+01 |-2.900000e+01 |  28.17%
661.99/662.24	c   648s|110000 | 24957 |  4079k| 113M|  73 |  49 | 200 |3130 | 268 | 200 | 390 |1082k|   0 |4982 |-4.016667e+01 |-2.900000e+01 |  27.80%
703.78/704.09	c   689s|120000 | 26389 |  4353k| 119M|  73 |  68 | 200 |3130 | 435 | 200 | 361 |1147k|   0 |5220 |-4.000000e+01 |-2.900000e+01 |  27.50%
742.96/743.29	c   727s|130000 | 27797 |  4611k| 124M|  75 |  51 | 200 |3130 | 319 | 200 | 406 |1212k|   0 |5431 |-3.991667e+01 |-2.900000e+01 |  27.35%
783.46/783.71	c   767s|140000 | 29149 |  4877k| 129M|  76 |   - | 200 |3130 | 152 | 200 | 421 |1273k|   0 |5586 |-3.975000e+01 |-2.900000e+01 |  27.04%
823.15/823.42	c   805s|150000 | 30443 |  5139k| 135M|  76 |  56 | 200 |3130 | 262 | 200 | 390 |1336k|   0 |5845 |-3.962500e+01 |-2.900000e+01 |  26.81%
861.93/862.22	c   843s|160000 | 31847 |  5396k| 140M|  78 |  54 | 200 |3130 | 272 | 200 | 403 |1395k|   0 |5990 |-3.950000e+01 |-2.900000e+01 |  26.58%
902.32/902.60	c   883s|170000 | 33291 |  5663k| 145M|  78 |  60 | 200 |3130 | 360 | 200 | 395 |1458k|   0 |6250 |-3.948200e+01 |-2.900000e+01 |  26.55%
941.21/941.57	c   921s|180000 | 34559 |  5919k| 150M|  78 |  44 | 200 |3130 | 234 | 200 | 394 |1515k|   0 |6377 |-3.933333e+01 |-2.900000e+01 |  26.27%
978.39/978.77	c   957s|190000 | 35733 |  6163k| 155M|  78 |  63 | 200 |3130 | 434 | 200 | 374 |1571k|   0 |6561 |-3.925000e+01 |-2.900000e+01 |  26.11%
1015.39/1015.72	c   993s|200000 | 36831 |  6405k| 159M|  81 |  89 | 200 |3130 | 710 | 200 | 415 |1628k|   0 |6743 |-3.916667e+01 |-2.900000e+01 |  25.96%
1051.68/1052.08	c  1029s|210000 | 37865 |  6642k| 163M|  82 |  48 | 200 |3130 | 272 | 200 | 422 |1681k|   0 |6858 |-3.909091e+01 |-2.900000e+01 |  25.81%
1086.67/1087.04	c  1063s|220000 | 38869 |  6871k| 167M|  82 |   - | 200 |3130 | 205 | 200 | 406 |1731k|   0 |6993 |-3.900000e+01 |-2.900000e+01 |  25.64%
1120.75/1121.13	c  1096s|230000 | 39861 |  7097k| 171M|  82 |   - | 200 |3130 | 154 | 200 | 393 |1787k|   0 |7168 |-3.900000e+01 |-2.900000e+01 |  25.64%
1131.75/1132.16	o -30
1131.75/1132.16	c *1107s|233261 | 30821 |  7170k| 143M|  82 |   - | 200 |3130 | 142 | 200 | 416 |1805k|   0 |7248 |-3.900000e+01 |-3.000000e+01 |  23.08%
1155.25/1155.61	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1155.25/1155.61	c  1130s|240000 | 31326 |  7325k| 145M|  82 |  51 | 200 |3130 | 323 | 200 | 395 |1839k|   0 |7350 |-3.900000e+01 |-3.000000e+01 |  23.08%
1192.04/1192.43	c  1166s|250000 | 32018 |  7563k| 148M|  82 |  52 | 200 |3130 | 342 | 200 | 376 |1885k|   0 |7509 |-3.891121e+01 |-3.000000e+01 |  22.90%
1226.23/1226.64	c  1199s|260000 | 32666 |  7786k| 151M|  83 |   - | 200 |3130 | 190 | 200 | 346 |1929k|   0 |7636 |-3.883333e+01 |-3.000000e+01 |  22.75%
1262.22/1262.63	c  1235s|270000 | 33340 |  8020k| 154M|  83 |  58 | 200 |3130 | 366 | 200 | 398 |1974k|   0 |7777 |-3.875000e+01 |-3.000000e+01 |  22.58%
1296.31/1296.75	c  1268s|280000 | 34006 |  8246k| 157M|  83 |  63 | 200 |3130 | 463 | 200 | 362 |2021k|   0 |7895 |-3.872727e+01 |-3.000000e+01 |  22.54%
1332.90/1333.30	c  1304s|290000 | 34670 |  8484k| 160M|  84 |  66 | 200 |3130 | 392 | 200 | 413 |2068k|   0 |8014 |-3.864062e+01 |-3.000000e+01 |  22.36%
1369.29/1369.77	c  1339s|300000 | 35342 |  8723k| 162M|  84 |  52 | 200 |3130 | 317 | 200 | 372 |2112k|   0 |8146 |-3.858095e+01 |-3.000000e+01 |  22.24%
1403.78/1404.20	c  1373s|310000 | 35942 |  8947k| 165M|  84 |   - | 200 |3130 | 148 | 200 | 352 |2155k|   0 |8280 |-3.850000e+01 |-3.000000e+01 |  22.08%
1437.27/1437.73	c  1406s|320000 | 36586 |  9167k| 168M|  84 |   - | 200 |3130 | 328 | 200 | 417 |2196k|   0 |8393 |-3.850000e+01 |-3.000000e+01 |  22.08%
1469.86/1470.36	c  1438s|330000 | 37220 |  9386k| 171M|  84 |  59 | 200 |3130 | 483 | 200 | 385 |2246k|   0 |8522 |-3.850000e+01 |-3.000000e+01 |  22.08%
1502.75/1503.25	c  1470s|340000 | 37822 |  9602k| 173M|  84 |  66 | 200 |3130 | 600 | 200 | 358 |2292k|   0 |8642 |-3.850000e+01 |-3.000000e+01 |  22.08%
1536.64/1537.17	c  1503s|350000 | 38400 |  9824k| 176M|  84 |  53 | 200 |3130 | 285 | 200 | 396 |2335k|   0 |8769 |-3.843836e+01 |-3.000000e+01 |  21.95%
1572.63/1573.20	c  1538s|360000 | 39034 | 10061k| 179M|  84 |  56 | 200 |3130 | 409 | 200 | 411 |2382k|   0 |8907 |-3.834091e+01 |-3.000000e+01 |  21.75%
1605.12/1605.61	c  1570s|370000 | 39580 | 10273k| 181M|  84 |  57 | 200 |3130 | 384 | 200 | 379 |2422k|   0 |9038 |-3.830769e+01 |-3.000000e+01 |  21.69%
1638.61/1639.16	c  1602s|380000 | 40140 | 10491k| 184M|  84 |  81 | 200 |3130 | 653 | 200 | 409 |2462k|   0 |9166 |-3.825000e+01 |-3.000000e+01 |  21.57%
1672.50/1673.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1672.50/1673.03	c  1635s|390000 | 40674 | 10713k| 186M|  84 |  69 | 200 |3130 | 388 | 200 | 394 |2510k|   0 |9302 |-3.825000e+01 |-3.000000e+01 |  21.57%
1705.40/1706.00	c  1668s|400000 | 41196 | 10926k| 188M|  84 |   - | 200 |3130 | 248 | 200 | 357 |2549k|   0 |9416 |-3.817204e+01 |-3.000000e+01 |  21.41%
1737.88/1738.49	c  1699s|410000 | 41740 | 11141k| 191M|  84 |  74 | 200 |3130 | 629 | 200 | 373 |2588k|   0 |9491 |-3.814286e+01 |-3.000000e+01 |  21.35%
1769.87/1770.45	c  1731s|420000 | 42280 | 11352k| 193M|  85 |   - | 200 |3130 | 166 | 200 | 361 |2626k|   0 |9570 |-3.810000e+01 |-3.000000e+01 |  21.26%
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1760.02
1800.07/1800.61	c Solving Nodes      : 428764
1800.07/1800.61	c Primal Bound       : -3.00000000000000e+01 (13 solutions)
1800.07/1800.61	c Dual Bound         : -3.80416666666667e+01
1800.07/1800.61	c Gap                : 21.14 %
1800.07/1800.61	c NODE         428764
1800.07/1800.61	c DUAL BOUND   -38.0417
1800.07/1800.61	c PRIMAL BOUND -30
1800.07/1800.61	c GAP          0.211391
1800.07/1800.61	s SATISFIABLE
1800.07/1800.61	v x200 -x199 x198 -x197 -x196 x195 -x194 x193 x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 
1800.07/1800.61	v -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 
1800.07/1800.61	v -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 x148 x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 
1800.07/1800.61	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 
1800.07/1800.61	v -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 
1800.07/1800.61	v -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 -x65 
1800.07/1800.61	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 
1800.07/1800.61	v -x39 -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.07/1800.61	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time       :    1760.02
1800.07/1800.61	c Original Problem   :
1800.07/1800.61	c   Problem name     : HOME/instance-1870380-1245200849.opb
1800.07/1800.61	c   Variables        : 3330 (3330 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 3330 initial, 3330 maximal
1800.07/1800.61	c Presolved Problem  :
1800.07/1800.61	c   Problem name     : t_HOME/instance-1870380-1245200849.opb
1800.07/1800.61	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 3130 initial, 3130 maximal
1800.07/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   probing          :       0.09          0          0          0          0          0          0          0          0
1800.07/1800.61	c   and              :       0.11          0          0          0          0          0          0          0          0
1800.07/1800.61	c   linear           :       0.02       3130          0          0       3130          0        200          0          0
1800.07/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   integral         :          0          0          0     242023          0        107        709          0          0     483328
1800.07/1800.61	c   and              :       3130     466828     719791          6          0          0    3013077    2662973          0          0
1800.07/1800.61	c   countsols        :          0          0          0          6          0          0          0          0          0          0
1800.07/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.61	c   integral         :      66.07       0.00       0.00      66.07       0.00
1800.07/1800.61	c   and              :     175.77     127.99      47.78       0.00       0.00
1800.07/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.61	c   rootredcost      :       0.30          7          0          0
1800.07/1800.61	c   pseudoobj        :      10.12     721713          0          0
1800.07/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.62	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.62	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.07/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.62	c   cut pool         :       0.08         71          -          -        187          -    (maximal pool size: 2583)
1800.07/1800.62	c   redcost          :       5.18     479285          0      48318          0          0
1800.07/1800.62	c   impliedbounds    :       0.00         72          0          0       1825          0
1800.07/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.62	c   gomory           :       4.38         72          0          0      12319          0
1800.07/1800.62	c   strongcg         :       0.61         20          0          0       8173          0
1800.07/1800.62	c   cmir             :       0.21         10          0          0          0          0
1800.07/1800.62	c   flowcover        :       0.15         10          0          0          0          0
1800.07/1800.62	c   clique           :       0.33         72          0          0        591          0
1800.07/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.62	c   mcf              :       0.01          1          0          0          0          0
1800.07/1800.62	c Pricers            :       Time      Calls       Vars
1800.07/1800.62	c   problem variables:       0.00          0          0
1800.07/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.62	c   relpscost        :      65.63     242017        107        709          0          0     483328
1800.07/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.62	c   LP solutions     :       0.12          -          6
1800.07/1800.62	c   pseudo solutions :       0.00          -          0
1800.07/1800.62	c   feaspump         :       0.02          0          0
1800.07/1800.62	c   oneopt           :       0.21          8          0
1800.07/1800.62	c   crossover        :       0.70         23          0
1800.07/1800.62	c   pscostdiving     :       2.03        260          0
1800.07/1800.62	c   coefdiving       :       1.88        260          0
1800.07/1800.62	c   veclendiving     :       2.07        260          0
1800.07/1800.62	c   linesearchdiving :       2.11        260          0
1800.07/1800.62	c   fracdiving       :       2.37        261          0
1800.07/1800.62	c   guideddiving     :       2.03        261          0
1800.07/1800.62	c   objpscostdiving  :       1.75        131          0
1800.07/1800.62	c   rootsoldiving    :       1.13        131          1
1800.07/1800.62	c   simplerounding   :       0.31          0          0
1800.07/1800.62	c   rounding         :      11.55      54455          3
1800.07/1800.62	c   shifting         :       1.73       5901          3
1800.07/1800.62	c   intshifting      :       0.04          0          0
1800.07/1800.62	c   fixandinfer      :       0.00          0          0
1800.07/1800.62	c   intdiving        :       0.00          0          0
1800.07/1800.62	c   actconsdiving    :       0.00          0          0
1800.07/1800.62	c   octane           :       0.00          0          0
1800.07/1800.62	c   rens             :       0.00          0          0
1800.07/1800.62	c   rins             :       0.00          0          0
1800.07/1800.62	c   localbranching   :       0.00          0          0
1800.07/1800.62	c   mutation         :       0.00          0          0
1800.07/1800.62	c   dins             :       0.00          0          0
1800.07/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.62	c   primal LP        :      46.04          0          0       0.00       0.00
1800.07/1800.62	c   dual LP          :    1227.09     654237   11434350      17.48    9318.27
1800.07/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.62	c   diving/probing LP:      12.08      15151     115149       7.60    9532.20
1800.07/1800.62	c   strong branching :      54.34       9688     483751      49.93    8902.30
1800.07/1800.62	c     (at root node) :          -         18       7112     395.11          -
1800.07/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.62	c B&B Tree           :
1800.07/1800.62	c   number of runs   :          1
1800.07/1800.62	c   nodes            :     428764
1800.07/1800.62	c   nodes (total)    :     428764
1800.07/1800.62	c   nodes left       :      42818
1800.07/1800.62	c   max depth        :         85
1800.07/1800.62	c   max depth (total):         85
1800.07/1800.62	c   backtracks       :      44797 (10.4%)
1800.07/1800.62	c   delayed cutoffs  :          0
1800.07/1800.62	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.07/1800.62	c   avg switch length:       4.79
1800.07/1800.62	c   switching time   :      97.76
1800.07/1800.62	c Solution           :
1800.07/1800.62	c   Solutions found  :         13 (9 improvements)
1800.07/1800.62	c   Primal Bound     : -3.00000000000000e+01   (in run 1, after 233261 nodes, 1107.03 seconds, depth 42, found by <relaxation>)
1800.07/1800.62	c   Dual Bound       : -3.80416666666667e+01
1800.07/1800.62	c   Gap              :      21.14 %
1800.07/1800.62	c   Root Dual Bound  : -4.91648605153788e+01
1800.76/1801.31	c Time complete: 1800.78.

Verifier Data 

OK	-30

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870380-1245200849/watcher-1870380-1245200849 -o /tmp/evaluation-result-1870380-1245200849/solver-1870380-1245200849 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870380-1245200849.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 1.00 3/64 15101
/proc/meminfo: memFree=1863352/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=4648 CPUtime=0
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 491 0 0 0 0 0 0 0 18 0 1 0 187685249 4759552 475 1992294400 4194304 7823515 548682068736 18446744073709551615 5979024 0 0 4096 0 0 0 0 17 1 0 0
/proc/15101/statm: 1162 485 318 886 0 272 0

[startup+0.0614151 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15101
/proc/meminfo: memFree=1863352/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=18104 CPUtime=0.05
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 4149 0 0 0 4 1 0 0 18 0 1 0 187685249 18538496 3777 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 4526 3777 371 886 0 3636 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18104

[startup+0.102419 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15101
/proc/meminfo: memFree=1863352/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=21900 CPUtime=0.09
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 4861 0 0 0 7 2 0 0 18 0 1 0 187685249 22425600 4489 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 5475 4489 404 886 0 4585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21900

[startup+0.30144 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15101
/proc/meminfo: memFree=1863352/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=21900 CPUtime=0.29
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 4895 0 0 0 16 13 0 0 19 0 1 0 187685249 22425600 4523 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 5475 4523 425 886 0 4585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21900

[startup+0.70148 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15101
/proc/meminfo: memFree=1863352/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=30804 CPUtime=0.69
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 7373 0 0 0 50 19 0 0 22 0 1 0 187685249 31543296 6883 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 7701 6883 543 886 0 6811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30804

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1836336/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=32360 CPUtime=1.48
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 7803 0 0 0 128 20 0 0 25 0 1 0 187685249 33136640 7313 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 8090 7313 545 886 0 7200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32360

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1835760/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=34756 CPUtime=3.08
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 8458 0 0 0 285 23 0 0 25 0 1 0 187685249 35590144 7932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 8689 7932 546 886 0 7799 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34756

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1821744/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=46664 CPUtime=6.28
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 11449 0 0 0 601 27 0 0 25 0 1 0 187685249 47783936 10889 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 11666 10889 547 886 0 10776 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46664

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1819696/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=48712 CPUtime=12.68
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 11968 0 0 0 1232 36 0 0 25 0 1 0 187685249 49881088 11408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 12178 11408 554 886 0 11288 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48712

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1819696/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=48712 CPUtime=25.48
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 11969 0 0 0 2488 60 0 0 25 0 1 0 187685249 49881088 11409 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 12178 11409 555 886 0 11288 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48712

[startup+51.1027 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1818032/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=50092 CPUtime=51.06
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 16350 0 0 0 4998 108 0 0 25 0 1 0 187685249 51294208 11802 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 12523 11802 573 886 0 11633 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50092

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1806960/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=61388 CPUtime=102.25
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 25546 0 0 0 10008 217 0 0 25 0 1 0 187685249 62861312 14601 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 15347 14601 574 886 0 14457 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 61388

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1797040/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=71304 CPUtime=162.23
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 34402 0 0 0 15882 341 0 0 25 0 1 0 187685249 73015296 17101 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 17826 17101 574 886 0 16936 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 71304

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1787184/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=80820 CPUtime=222.21
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 41893 0 0 0 21754 467 0 0 25 0 1 0 187685249 82759680 19494 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 20205 19494 574 886 0 19315 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 80820

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1781232/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=87700 CPUtime=282.19
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 43644 0 0 0 27627 592 0 0 25 0 1 0 187685249 89804800 21245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 21925 21245 574 886 0 21035 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 87700

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1768560/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=99608 CPUtime=342.18
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 47505 0 0 0 33500 718 0 0 25 0 1 0 187685249 101998592 24169 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 24902 24169 574 886 0 24012 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99608

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1762032/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=106284 CPUtime=402.16
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 50136 0 0 0 39368 848 0 0 25 0 1 0 187685249 108834816 25863 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 26571 25863 574 886 0 25681 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 106284

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1746864/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=121220 CPUtime=462.15
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 53843 0 0 0 45235 980 0 0 25 0 1 0 187685249 124129280 29568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 30305 29568 574 886 0 29415 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 121220

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1739248/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=128900 CPUtime=522.13
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 55767 0 0 0 51106 1107 0 0 25 0 1 0 187685249 131993600 31492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 32225 31492 574 886 0 31335 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 128900

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1731120/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=136952 CPUtime=582.11
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 57788 0 0 0 56977 1234 0 0 25 0 1 0 187685249 140238848 33513 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 34238 33513 574 886 0 33348 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 136952

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1720368/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=147500 CPUtime=642.09
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 60458 0 0 0 62845 1364 0 0 25 0 1 0 187685249 151040000 36183 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 36875 36183 574 886 0 35985 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 147500

[startup+702.302 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1672432/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=195112 CPUtime=1001.99
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 73355 0 0 0 98024 2175 0 0 25 0 1 0 187685249 199794688 48125 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 48778 48125 574 886 0 47888 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 195112

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1664816/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=202688 CPUtime=1061.98
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 75249 0 0 0 103886 2312 0 0 25 0 1 0 187685249 207552512 50019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 50672 50019 574 886 0 49782 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 202688

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1656880/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=210348 CPUtime=1121.96
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 78118 0 0 0 109754 2442 0 0 25 0 1 0 187685249 215396352 51944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 52587 51944 574 886 0 51697 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 210348

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1654640/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=212564 CPUtime=1181.94
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 80619 0 0 0 115619 2575 0 0 25 0 1 0 187685249 217665536 52499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53141 52499 574 886 0 52251 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 212564

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1654576/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=212548 CPUtime=1241.92
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 81555 0 0 0 121480 2712 0 0 25 0 1 0 187685249 217649152 52499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53137 52499 574 886 0 52247 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 212548

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1654576/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=212548 CPUtime=1301.91
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 81555 0 0 0 127338 2853 0 0 25 0 1 0 187685249 217649152 52499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53137 52499 574 886 0 52247 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 212548

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1653424/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=213580 CPUtime=1361.89
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 82744 0 0 0 133203 2986 0 0 25 0 1 0 187685249 218705920 52752 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53395 52752 574 886 0 52505 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 213580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1652784/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=214404 CPUtime=1421.88
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 82938 0 0 0 139067 3121 0 0 25 0 1 0 187685249 219549696 52946 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53601 52946 574 886 0 52711 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 214404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1652784/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=214404 CPUtime=1481.85
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 82938 0 0 0 144922 3263 0 0 25 0 1 0 187685249 219549696 52946 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 53601 52946 574 886 0 52711 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 214404

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1650480/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=216616 CPUtime=1541.84
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 83510 0 0 0 150782 3402 0 0 25 0 1 0 187685249 221814784 53518 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 54154 53518 574 886 0 53264 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 216616

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1647728/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=219384 CPUtime=1601.82
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 84207 0 0 0 156640 3542 0 0 25 0 1 0 187685249 224649216 54215 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 54846 54215 574 886 0 53956 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 219384

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1643056/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=224056 CPUtime=1661.8
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 85349 0 0 0 162499 3681 0 0 25 0 1 0 187685249 229433344 55357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 56014 55357 574 886 0 55124 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 224056

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1639920/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=227084 CPUtime=1721.78
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 86144 0 0 0 168358 3820 0 0 25 0 1 0 187685249 232534016 56152 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 56771 56152 574 886 0 55881 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 227084

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1634736/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=232136 CPUtime=1781.77
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 87414 0 0 0 174216 3961 0 0 25 0 1 0 187685249 237707264 57422 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 58034 57422 574 886 0 57144 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 232136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1632688/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=234224 CPUtime=1800.07
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 87931 0 0 0 176005 4002 0 0 25 0 1 0 187685249 239845376 57939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15101/statm: 58556 57939 574 886 0 57666 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 234224

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1632688/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=234224 CPUtime=1800.46
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 87933 0 0 0 176044 4002 0 0 25 0 1 0 187685249 239845376 57941 1992294400 4194304 7823515 548682068736 18446744073709551615 5875797 0 0 4096 0 0 0 0 17 1 0 0
/proc/15101/statm: 58556 57941 576 886 0 57666 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 234224

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1632688/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=234224 CPUtime=1800.66
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 87933 0 0 0 176064 4002 0 0 25 0 1 0 187685249 239845376 57941 1992294400 4194304 7823515 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/15101/statm: 58556 57941 576 886 0 57666 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 234224

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15102
/proc/meminfo: memFree=1632688/2055920 swapFree=4181836/4192956
[pid=15101] ppid=15099 vsize=218108 CPUtime=1800.76
/proc/15101/stat : 15101 (pbscip.linux.x8) R 15099 15101 13126 0 -1 4194304 87933 0 0 0 176071 4005 0 0 25 0 1 0 187685249 223342592 53931 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/15101/statm: 54527 53931 40044 886 0 53637 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 218108

Child status: 0
Real time (s): 1801.32
CPU time (s): 1800.79
CPU user time (s): 1760.72
CPU system time (s): 40.0649
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 234224

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

runsolver used 1.53677 second user time and 3.46347 second system time

The end

Launcher Data 

Begin job on node24 at 2009-06-17 03:07:29
IDJOB=1870380
IDBENCH=48189
IDSOLVER=683
FILE ID=node24/1870380-1245200849
PBS_JOBID= 9368291
Free space on /tmp= 66364 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.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-1870380-1245200849/watcher-1870380-1245200849 -o /tmp/evaluation-result-1870380-1245200849/solver-1870380-1245200849 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870380-1245200849.opb

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

MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f
RANDOM SEED=205746502

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1863768 kB
Buffers:         48452 kB
Cached:         100080 kB
SwapCached:       5284 kB
Active:          87608 kB
Inactive:        68668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863768 kB
SwapTotal:     4192956 kB
SwapFree:      4181836 kB
Dirty:            9936 kB
Writeback:           0 kB
Mapped:          12932 kB
Slab:            21784 kB
Committed_AS:   214216 kB
PageTables:       1444 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= 66352 MiB
End job on node24 at 2009-06-17 03:37:32