Trace number 1869500

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)UNSAT 984.397 984.701

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
MD5SUM8dbaef61ba32642517e0b17ac09a002e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.2785
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2553
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-1869500-1245175274.opb>
0.00/0.01	c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c presolving (3 rounds):
0.00/0.01	c  1 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01	c  0 implications, 0 cliques
0.00/0.01	c presolved problem has 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.01	c       4 constraints of type <linear>
0.00/0.01	c transformed objective value is always integral (scale: 1)
0.00/0.01	c Presolving Time: 0.00
0.00/0.01	c OPT-LIN
0.00/0.01	c -----------------------------------------------------------------------------------------------
0.00/0.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01	c limits/memory = c 1620
0.00/0.01	c # maximal time in seconds to run
0.00/0.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01	c limits/time = c 1791
0.00/0.01	c # frequency for displaying node information lines
0.00/0.01	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01	c display/freq = c 10000
0.00/0.01	c -----------------------------------------------------------------------------------------------
0.00/0.01	c start solving problem
0.00/0.01	c 
0.00/0.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.01	c   0.0s|     1 |     0 |    16 | 172k|   0 |   4 |  30 |   4 |   4 |  30 |   4 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.02	c   0.0s|     1 |     0 |    58 | 189k|   0 |   8 |  30 |   4 |   4 |  30 |   9 |   5 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.02	c   0.0s|     1 |     0 |    64 | 212k|   0 |   8 |  30 |   4 |   4 |  30 |  13 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |    67 | 234k|   0 |  10 |  30 |   4 |   4 |  30 |  17 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |    73 | 252k|   0 |  11 |  30 |   4 |   4 |  30 |  19 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.04	c   0.0s|     1 |     0 |    85 | 259k|   0 |  13 |  30 |   4 |   4 |  30 |  23 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.05	c   0.0s|     1 |     0 |    90 | 270k|   0 |  17 |  30 |   4 |   4 |  30 |  25 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.04/0.07	c   0.1s|     1 |     2 |    90 | 270k|   0 |  17 |  30 |   4 |   4 |  30 |  25 |  21 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
3.09/3.19	c   2.9s| 10000 |  1325 | 16133 |2642k|  25 |   4 |  30 |3591 |  29 |  30 |  18 |  21 |3983 | 358 | 0.000000e+00 |      --      |    Inf 
7.19/7.21	c   6.7s| 20000 |  2223 | 32173 |3686k|  25 |   - |  30 |4043 |  53 |  30 |  18 |  21 |8323 | 480 | 0.000000e+00 |      --      |    Inf 
11.38/11.40	c  10.7s| 30000 |  3591 | 47718 |4879k|  25 |   4 |  30 |4902 |  33 |  30 |  18 |  21 |  11k| 575 | 0.000000e+00 |      --      |    Inf 
16.49/16.52	c  15.6s| 40000 |  4230 | 63367 |5441k|  26 |   - |  30 |4282 |  95 |  30 |  18 |  21 |  16k| 648 | 0.000000e+00 |      --      |    Inf 
21.38/21.48	c  20.3s| 50000 |  4590 | 78504 |5723k|  26 |   - |  30 |3600 | 273 |  30 |  18 |  21 |  20k| 712 | 0.000000e+00 |      --      |    Inf 
26.19/26.26	c  24.9s| 60000 |  4933 | 94124 |6372k|  26 |   4 |  30 |4350 |  26 |  30 |  18 |  21 |  24k| 771 | 0.000000e+00 |      --      |    Inf 
31.38/31.43	c  29.8s| 70000 |  5379 |109522 |7073k|  26 |   4 |  30 |4979 |   7 |  30 |  18 |  21 |  28k| 840 | 0.000000e+00 |      --      |    Inf 
36.47/36.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.47/36.58	c  34.7s| 80000 |  5820 |124513 |7642k|  26 |   4 |  30 |5377 |  22 |  30 |  18 |  21 |  32k| 895 | 0.000000e+00 |      --      |    Inf 
41.77/41.89	c  39.8s| 90000 |  6286 |140056 |8384k|  26 |   - |  30 |6203 |  37 |  30 |  18 |  21 |  36k| 961 | 0.000000e+00 |      --      |    Inf 
47.86/47.98	c  45.6s|100000 |  6383 |155084 |8612k|  26 |   4 |  30 |5830 |   5 |  30 |  18 |  21 |  40k|1017 | 0.000000e+00 |      --      |    Inf 
54.97/55.08	c  52.5s|110000 |  6107 |170132 |8444k|  26 |   4 |  30 |5062 |   6 |  30 |  18 |  21 |  45k|1072 | 0.000000e+00 |      --      |    Inf 
60.96/61.08	c  58.3s|120000 |  6086 |185536 |8658k|  26 |   4 |  30 |5305 |  95 |  30 |  18 |  21 |  49k|1120 | 0.000000e+00 |      --      |    Inf 
66.66/66.80	c  63.8s|130000 |  6169 |200586 |9132k|  26 |   - |  30 |6148 |  15 |  30 |  18 |  21 |  53k|1157 | 0.000000e+00 |      --      |    Inf 
73.76/73.84	c  70.6s|140000 |  6010 |216257 |9034k|  26 |   - |  30 |5492 | 102 |   0 |   0 |  21 |  58k|1204 | 0.000000e+00 |      --      |    Inf 
80.46/80.58	c  77.1s|150000 |  5594 |231514 |8804k|  26 |   - |  30 |5280 | 189 |   0 |   0 |  21 |  62k|1244 | 0.000000e+00 |      --      |    Inf 
86.95/87.06	c  83.3s|160000 |  5289 |246623 |8965k|  26 |   4 |  30 |6106 |   8 |  30 |  18 |  21 |  67k|1285 | 0.000000e+00 |      --      |    Inf 
93.05/93.10	c  89.1s|170000 |  5750 |263042 |9660k|  26 |   - |  30 |7141 |   5 |   0 |   0 |  21 |  71k|1315 | 0.000000e+00 |      --      |    Inf 
100.85/100.92	c  96.7s|180000 |  5406 |279079 |9636k|  26 |   4 |  30 |6816 |   4 |  30 |  18 |  21 |  76k|1361 | 0.000000e+00 |      --      |    Inf 
108.05/108.13	c   104s|190000 |  5111 |294199 |9439k|  26 |   - |  30 |6450 |  30 |   0 |   0 |  21 |  81k|1396 | 0.000000e+00 |      --      |    Inf 
115.55/115.60	c   111s|200000 |  4869 |310117 |9510k|  26 |   4 |  30 |6842 |  54 |  30 |  18 |  21 |  85k|1438 | 0.000000e+00 |      --      |    Inf 
122.84/122.98	c   118s|210000 |  4622 |325498 |9334k|  26 |   4 |  30 |6800 |  13 |  30 |  18 |  21 |  90k|1471 | 0.000000e+00 |      --      |    Inf 
130.64/130.72	c   126s|220000 |  4171 |340596 |8747k|  26 |   4 |  30 |6030 |   6 |  30 |  18 |  21 |  95k|1511 | 0.000000e+00 |      --      |    Inf 
137.64/137.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
137.64/137.71	c   132s|230000 |  3755 |356392 |8564k|  26 |   - |  30 |6376 |   8 |  30 |  18 |  21 | 100k|1542 | 0.000000e+00 |      --      |    Inf 
143.13/143.22	c   138s|240000 |  5219 |372977 |9484k|  26 |   4 |  30 |6652 |   8 |  30 |  18 |  21 | 103k|1577 | 0.000000e+00 |      --      |    Inf 
149.03/149.19	c   143s|250000 |  6468 |388944 |  10M|  26 |   4 |  30 |7281 | 882 |  30 |  18 |  21 | 108k|1605 | 0.000000e+00 |      --      |    Inf 
155.44/155.53	c   149s|260000 |  7528 |404906 |  11M|  26 |   4 |  30 |7873 |  11 |  30 |  18 |  21 | 111k|1638 | 0.000000e+00 |      --      |    Inf 
161.43/161.57	c   155s|270000 |  8679 |420735 |  12M|  26 |   4 |  30 |9052 |  71 |  30 |  18 |  21 | 115k|1660 | 0.000000e+00 |      --      |    Inf 
169.03/169.12	c   163s|280000 |  9275 |436421 |  13M|  26 |   4 |  30 |8950 | 157 |  30 |  18 |  21 | 119k|1687 | 0.000000e+00 |      --      |    Inf 
176.73/176.89	c   170s|290000 |  9706 |452402 |  13M|  26 |   4 |  30 |8978 |  16 |  30 |  18 |  21 | 124k|1716 | 0.000000e+00 |      --      |    Inf 
185.03/185.10	c   178s|300000 |  9958 |468454 |  14M|  26 |   4 |  30 |9253 |  10 |  30 |  18 |  21 | 128k|1750 | 0.000000e+00 |      --      |    Inf 
193.12/193.29	c   186s|310000 | 10272 |483881 |  14M|  26 |   - |  30 |9098 | 115 |   0 |   0 |  21 | 132k|1781 | 0.000000e+00 |      --      |    Inf 
201.12/201.30	c   194s|320000 | 10614 |499651 |  15M|  26 |   4 |  30 |9649 | 185 |  30 |  18 |  21 | 137k|1808 | 0.000000e+00 |      --      |    Inf 
209.72/209.85	c   202s|330000 | 10739 |515056 |  15M|  26 |   4 |  30 |8861 |   7 |  30 |  18 |  21 | 141k|1830 | 0.000000e+00 |      --      |    Inf 
217.72/217.81	c   210s|340000 | 11078 |531105 |  16M|  26 |   4 |  30 |9564 |  15 |  30 |  18 |  21 | 145k|1848 | 0.000000e+00 |      --      |    Inf 
224.71/224.80	c   217s|350000 | 11988 |547021 |  17M|  26 |   - |  30 |  11k|  39 |   0 |   0 |  21 | 149k|1878 | 0.000000e+00 |      --      |    Inf 
235.32/235.44	c   227s|360000 | 11790 |562786 |  17M|  26 |   4 |  30 |9825 |  12 |  30 |  18 |  21 | 154k|1897 | 0.000000e+00 |      --      |    Inf 
244.91/245.03	c   236s|370000 | 11572 |578268 |  17M|  26 |   4 |  30 |9652 | 471 |  30 |  18 |  21 | 158k|1929 | 0.000000e+00 |      --      |    Inf 
255.10/255.23	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
255.10/255.23	c   246s|380000 | 11189 |593837 |  17M|  26 |   - |  30 |9851 |   6 |  30 |  18 |  21 | 162k|1948 | 0.000000e+00 |      --      |    Inf 
265.40/265.58	c   256s|390000 | 10862 |609523 |  16M|  26 |   4 |  30 |9526 |   5 |  30 |  18 |  21 | 167k|1961 | 0.000000e+00 |      --      |    Inf 
275.60/275.76	c   266s|400000 | 10378 |625135 |  16M|  26 |   - |  30 |9433 |  13 |  30 |  18 |  21 | 172k|1980 | 0.000000e+00 |      --      |    Inf 
284.80/284.91	c   275s|410000 | 10340 |640654 |  17M|  26 |   - |  30 |  10k|  18 |   0 |   0 |  21 | 176k|1993 | 0.000000e+00 |      --      |    Inf 
295.19/295.34	c   285s|420000 |  9960 |655607 |  16M|  26 |   - |  30 |9766 |  14 |  30 |  18 |  21 | 180k|2011 | 0.000000e+00 |      --      |    Inf 
304.89/305.03	c   295s|430000 |  9611 |670904 |  16M|  26 |   4 |  30 |  10k| 135 |  30 |  18 |  21 | 185k|2024 | 0.000000e+00 |      --      |    Inf 
314.09/314.28	c   304s|440000 |  9368 |686070 |  16M|  26 |   4 |  30 |  10k|  34 |  30 |  18 |  21 | 189k|2040 | 0.000000e+00 |      --      |    Inf 
325.28/325.45	c   315s|450000 |  8651 |700879 |  15M|  26 |   4 |  30 |9783 | 386 |  30 |  18 |  21 | 193k|2049 | 0.000000e+00 |      --      |    Inf 
335.78/335.96	c   325s|460000 |  8116 |716560 |  15M|  26 |   4 |  30 |  10k|   4 |  30 |  18 |  21 | 198k|2062 | 0.000000e+00 |      --      |    Inf 
346.48/346.69	c   336s|470000 |  7521 |732061 |  14M|  26 |   - |  30 |9697 | 295 |  30 |  18 |  21 | 202k|2072 | 0.000000e+00 |      --      |    Inf 
357.28/357.41	c   346s|480000 |  6966 |747500 |  14M|  26 |   - |  30 |8702 |   7 |   0 |   0 |  21 | 207k|2087 | 0.000000e+00 |      --      |    Inf 
368.27/368.50	c   357s|490000 |  6125 |763060 |  13M|  26 |   - |  30 |8397 |   5 |   0 |   0 |  21 | 212k|2096 | 0.000000e+00 |      --      |    Inf 
378.87/379.08	c   367s|500000 |  5242 |778546 |  12M|  26 |   - |  30 |7470 |   5 |  30 |  18 |  21 | 217k|2113 | 0.000000e+00 |      --      |    Inf 
388.27/388.48	c   376s|510000 |  4632 |794302 |  11M|  26 |   4 |  30 |7470 |  62 |  30 |  18 |  21 | 222k|2123 | 0.000000e+00 |      --      |    Inf 
397.67/397.82	c   385s|520000 |  4065 |809975 |  10M|  26 |   4 |  30 |7907 | 223 |  30 |  18 |  21 | 227k|2133 | 0.000000e+00 |      --      |    Inf 
408.86/409.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
408.86/409.07	c   396s|530000 |  2851 |825581 |8870k|  26 |   4 |  30 |6451 |   4 |  30 |  18 |  21 | 232k|2149 | 0.000000e+00 |      --      |    Inf 
417.65/417.83	c   405s|540000 |  2275 |841000 |8401k|  26 |   - |  30 |7557 |   9 |   0 |   0 |  21 | 237k|2166 | 0.000000e+00 |      --      |    Inf 
427.95/428.18	c   415s|550000 |  1186 |856756 |6442k|  26 |   4 |  30 |6527 | 117 |  30 |  18 |  21 | 242k|2178 | 0.000000e+00 |      --      |    Inf 
435.25/435.45	c   422s|560000 |  1410 |873525 |6951k|  26 |   4 |  30 |8290 |  14 |  30 |  18 |  21 | 247k|2191 | 0.000000e+00 |      --      |    Inf 
445.55/445.75	c   432s|570000 |   810 |889597 |5836k|  26 |   4 |  30 |7930 | 121 |  30 |  18 |  21 | 252k|2212 | 0.000000e+00 |      --      |    Inf 
453.25/453.45	c   440s|580000 |  1320 |905719 |6836k|  26 |   - |  30 |9519 | 291 |   0 |   0 |  21 | 257k|2229 | 0.000000e+00 |      --      |    Inf 
462.24/462.48	c   448s|590000 |  1095 |921628 |7091k|  26 |   - |  30 |  10k| 490 |   0 |   0 |  21 | 261k|2250 | 0.000000e+00 |      --      |    Inf 
472.14/472.37	c   458s|600000 |  1270 |938483 |7505k|  26 |   - |  30 |  10k|   4 |   0 |   0 |  21 | 266k|2273 | 0.000000e+00 |      --      |    Inf 
486.04/486.24	c   472s|610000 |   184 |955242 |5749k|  26 |   4 |  30 |9690 |   6 |  30 |  18 |  21 | 272k|2299 | 0.000000e+00 |      --      |    Inf 
494.63/494.81	c   480s|620000 |  1240 |971868 |6543k|  26 |   - |  30 |  10k|  16 |  30 |  18 |  21 | 277k|2317 | 0.000000e+00 |      --      |    Inf 
503.64/503.81	c   489s|630000 |  1744 |987221 |7250k|  26 |   4 |  30 |  11k| 105 |  30 |  18 |  21 | 281k|2337 | 0.000000e+00 |      --      |    Inf 
513.83/514.05	c   499s|640000 |  1817 |  1002k|7655k|  26 |   - |  30 |  11k|  18 |  30 |  18 |  21 | 285k|2351 | 0.000000e+00 |      --      |    Inf 
524.62/524.81	c   509s|650000 |  1398 |  1017k|7413k|  26 |   4 |  30 |  10k|  16 |  30 |  18 |  21 | 290k|2368 | 0.000000e+00 |      --      |    Inf 
533.62/533.86	c   518s|660000 |  2410 |  1034k|8748k|  26 |   - |  30 |  12k|   4 |   0 |   0 |  21 | 294k|2379 | 0.000000e+00 |      --      |    Inf 
544.12/544.31	c   528s|670000 |  3271 |  1050k|9863k|  26 |   - |  30 |  14k|   7 |  30 |  18 |  21 | 298k|2397 | 0.000000e+00 |      --      |    Inf 
555.32/555.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
555.32/555.58	c   539s|680000 |  3822 |  1066k|  10M|  26 |   - |  30 |  14k| 134 |  30 |  18 |  21 | 302k|2404 | 0.000000e+00 |      --      |    Inf 
568.42/568.62	c   552s|690000 |  3600 |  1083k|  10M|  26 |   4 |  30 |  13k|  22 |  30 |  18 |  21 | 307k|2417 | 0.000000e+00 |      --      |    Inf 
581.31/581.50	c   565s|700000 |  3031 |  1099k|  10M|  26 |   - |  30 |  13k|   5 |  30 |  18 |  21 | 312k|2425 | 0.000000e+00 |      --      |    Inf 
594.90/595.14	c   578s|710000 |  2402 |  1114k|9495k|  26 |   - |  30 |  12k|  38 |  30 |  18 |  21 | 317k|2434 | 0.000000e+00 |      --      |    Inf 
608.40/608.65	c   591s|720000 |  1371 |  1130k|8263k|  26 |   4 |  30 |  12k|   4 |  30 |  18 |  21 | 322k|2446 | 0.000000e+00 |      --      |    Inf 
619.10/619.36	c   602s|730000 |  1290 |  1146k|8776k|  26 |   5 |  30 |  13k|  15 |  30 |  18 |  21 | 327k|2459 | 0.000000e+00 |      --      |    Inf 
633.79/634.10	c   616s|740000 |    72 |  1162k|6481k|  26 |   4 |  30 |  12k|  45 |  30 |  18 |  21 | 332k|2470 | 0.000000e+00 |      --      |    Inf 
643.69/643.99	c   626s|750000 |  1898 |  1179k|7982k|  26 |   4 |  30 |  13k|  24 |  30 |  18 |  21 | 338k|2480 | 0.000000e+00 |      --      |    Inf 
655.49/655.71	c   637s|760000 |  2965 |  1196k|9337k|  26 |   4 |  30 |  15k|   7 |  30 |  18 |  21 | 344k|2490 | 0.000000e+00 |      --      |    Inf 
668.79/669.00	c   651s|770000 |  3711 |  1213k|  10M|  26 |   4 |  30 |  16k| 315 |  30 |  18 |  21 | 351k|2508 | 0.000000e+00 |      --      |    Inf 
684.37/684.67	c   666s|780000 |  4042 |  1230k|  11M|  26 |   - |  30 |  16k|   8 |  30 |  18 |  21 | 357k|2519 | 0.000000e+00 |      --      |    Inf 
700.57/700.88	c   682s|790000 |  4677 |  1247k|  12M|  26 |   4 |  30 |  17k|  84 |  30 |  18 |  21 | 364k|2527 | 0.000000e+00 |      --      |    Inf 
716.66/716.95	c   698s|800000 |  4725 |  1263k|  12M|  26 |   4 |  30 |  16k| 161 |  30 |  18 |  21 | 371k|2538 | 0.000000e+00 |      --      |    Inf 
732.46/732.79	c   713s|810000 |  4811 |  1280k|  12M|  26 |   4 |  30 |  16k|   8 |  30 |  18 |  21 | 378k|2551 | 0.000000e+00 |      --      |    Inf 
748.26/748.54	c   729s|820000 |  4717 |  1297k|  13M|  26 |   4 |  30 |  16k| 311 |  30 |  18 |  21 | 386k|2564 | 0.000000e+00 |      --      |    Inf 
765.65/765.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
765.65/765.96	c   746s|830000 |  4132 |  1313k|  12M|  26 |   4 |  30 |  15k|  96 |  30 |  18 |  21 | 393k|2573 | 0.000000e+00 |      --      |    Inf 
779.85/780.14	c   760s|840000 |  4343 |  1331k|  13M|  26 |   4 |  30 |  16k| 489 |  30 |  18 |  21 | 400k|2580 | 0.000000e+00 |      --      |    Inf 
798.54/798.87	c   778s|850000 |  3451 |  1347k|  12M|  26 |   - |  30 |  15k|   5 |   0 |   0 |  21 | 408k|2596 | 0.000000e+00 |      --      |    Inf 
813.34/813.66	c   793s|860000 |  3619 |  1365k|  13M|  26 |   - |  30 |  18k|  44 |   0 |   0 |  21 | 415k|2604 | 0.000000e+00 |      --      |    Inf 
832.93/833.28	c   812s|870000 |  2901 |  1382k|  12M|  26 |   - |  30 |  17k|  77 |  30 |  18 |  21 | 423k|2616 | 0.000000e+00 |      --      |    Inf 
850.72/851.05	c   830s|880000 |  2919 |  1399k|  12M|  26 |   4 |  30 |  18k|   7 |  30 |  18 |  21 | 430k|2626 | 0.000000e+00 |      --      |    Inf 
866.82/867.15	c   845s|890000 |  3357 |  1416k|  13M|  26 |   - |  30 |  19k|   6 |   0 |   0 |  21 | 437k|2632 | 0.000000e+00 |      --      |    Inf 
885.72/886.06	c   864s|900000 |  3791 |  1433k|  14M|  26 |   - |  30 |  20k|  60 |   0 |   0 |  21 | 444k|2644 | 0.000000e+00 |      --      |    Inf 
906.11/906.44	c   884s|910000 |  3342 |  1450k|  14M|  26 |   - |  30 |  20k|  17 |  30 |  18 |  21 | 451k|2655 | 0.000000e+00 |      --      |    Inf 
926.91/927.21	c   905s|920000 |  2808 |  1468k|  14M|  26 |   4 |  30 |  20k|   4 |  30 |  18 |  21 | 459k|2663 | 0.000000e+00 |      --      |    Inf 
951.49/951.82	c   929s|930000 |  1654 |  1484k|  11M|  26 |   4 |  30 |  17k|   5 |  30 |  18 |  21 | 467k|2673 | 0.000000e+00 |      --      |    Inf 
969.59/969.99	c   947s|940000 |  1149 |  1501k|  11M|  26 |   4 |  30 |  18k|   5 |  30 |  18 |  21 | 475k|2692 | 0.000000e+00 |      --      |    Inf 
984.28/984.65	c 
984.28/984.65	c SCIP Status        : problem is solved [infeasible]
984.28/984.65	c Solving Time (sec) : 961.43
984.28/984.65	c Solving Nodes      : 944541
984.28/984.65	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
984.28/984.65	c Dual Bound         : +1.00000000000000e+20
984.28/984.65	c Gap                : 0.00 %
984.28/984.65	c NODE         944541
984.28/984.65	c DUAL BOUND   1e+20
984.28/984.65	c PRIMAL BOUND 1e+20
984.28/984.65	c GAP          0
984.28/984.65	s UNSATISFIABLE
984.28/984.65	c SCIP Status        : problem is solved [infeasible]
984.28/984.65	c Solving Time       :     961.43
984.28/984.65	c Original Problem   :
984.28/984.65	c   Problem name     : HOME/instance-1869500-1245175274.opb
984.28/984.65	c   Variables        : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
984.28/984.65	c   Constraints      : 9 initial, 9 maximal
984.28/984.65	c Presolved Problem  :
984.28/984.65	c   Problem name     : t_HOME/instance-1869500-1245175274.opb
984.28/984.65	c   Variables        : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
984.28/984.65	c   Constraints      : 4 initial, 21753 maximal
984.28/984.65	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
984.28/984.65	c   trivial          :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
984.28/984.65	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   implics          :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   probing          :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   linear           :       0.00          0          0          0          0          0          5          0          0
984.28/984.65	c   logicor          :       0.00          0          0          0          0          0          0          0          0
984.28/984.65	c   root node        :          -          1          -          -          1          -          -          -          -
984.28/984.65	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
984.28/984.65	c   integral         :          0          0          0     524448          0        353       1124          0          0    1046012
984.28/984.65	c   linear           :          4          6    2184122          0          0     309242    2140652          0          0          0
984.28/984.65	c   logicor          :          0+         0    1065658          0          0       3390     417914          0          0          0
984.28/984.65	c   countsols        :          0          0          0          0          0          0          0          0          0          0
984.28/984.65	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
984.28/984.65	c   integral         :       6.39       0.00       0.00       6.39       0.00
984.28/984.65	c   linear           :      78.63       0.00      78.63       0.00       0.00
984.28/984.65	c   logicor          :     400.41       0.00     400.41       0.00       0.00
984.28/984.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00
984.28/984.65	c Propagators        :       Time      Calls    Cutoffs    DomReds
984.28/984.65	c   rootredcost      :       0.98          0          0          0
984.28/984.65	c   pseudoobj        :       0.57          0          0          0
984.28/984.65	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
984.28/984.65	c   propagation      :      13.22     312632     179081     486736       20.2          9       15.7          -
984.28/984.65	c   infeasible LP    :      10.05     206959     206950     334796       13.4       2290       17.7          0
984.28/984.65	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
984.28/984.65	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
984.28/984.65	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
984.28/984.65	c   applied globally :          -          -          -     479115       15.0          -          -          -
984.28/984.65	c   applied locally  :          -          -          -          0        0.0          -          -          -
984.28/984.65	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
984.28/984.65	c   cut pool         :       0.00          5          -          -         38          -    (maximal pool size: 95)
984.28/984.65	c   redcost          :       0.93     524448          0          0          0          0
984.28/984.65	c   impliedbounds    :       0.00          6          0          0          0          0
984.28/984.65	c   intobj           :       0.00          0          0          0          0          0
984.28/984.65	c   gomory           :       0.00          6          0          0          1          0
984.28/984.65	c   strongcg         :       0.00          6          0          0         29          0
984.28/984.65	c   cmir             :       0.02          6          0          0         38          0
984.28/984.65	c   flowcover        :       0.01          6          0          0         57          0
984.28/984.65	c   clique           :       0.00          1          0          0          0          0
984.28/984.65	c   zerohalf         :       0.00          0          0          0          0          0
984.28/984.65	c   mcf              :       0.00          1          0          0          0          0
984.28/984.65	c Pricers            :       Time      Calls       Vars
984.28/984.65	c   problem variables:       0.00          0          0
984.28/984.65	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
984.28/984.65	c   relpscost        :       5.87     524448        353       1124          0          0    1046012
984.28/984.65	c   pscost           :       0.00          0          0          0          0          0          0
984.28/984.65	c   inference        :       0.00          0          0          0          0          0          0
984.28/984.65	c   mostinf          :       0.00          0          0          0          0          0          0
984.28/984.65	c   leastinf         :       0.00          0          0          0          0          0          0
984.28/984.65	c   fullstrong       :       0.00          0          0          0          0          0          0
984.28/984.65	c   allfullstrong    :       0.00          0          0          0          0          0          0
984.28/984.65	c   random           :       0.00          0          0          0          0          0          0
984.28/984.65	c Primal Heuristics  :       Time      Calls      Found
984.28/984.65	c   LP solutions     :       0.00          -          0
984.28/984.65	c   pseudo solutions :       0.00          -          0
984.28/984.65	c   oneopt           :       0.48          0          0
984.28/984.65	c   crossover        :       0.25          0          0
984.28/984.65	c   guideddiving     :       0.04          0          0
984.28/984.65	c   intshifting      :       0.07          0          0
984.28/984.65	c   coefdiving       :       0.09         92          0
984.28/984.65	c   pscostdiving     :       0.12         92          0
984.28/984.65	c   fracdiving       :       0.04         92          0
984.28/984.65	c   linesearchdiving :       0.11         92          0
984.28/984.65	c   veclendiving     :       0.07         92          0
984.28/984.65	c   feaspump         :       0.11         47          0
984.28/984.65	c   objpscostdiving  :       0.11         47          0
984.28/984.65	c   rootsoldiving    :       0.03         47          0
984.28/984.65	c   simplerounding   :       0.42          0          0
984.28/984.65	c   rounding         :       0.56      10233          0
984.28/984.65	c   shifting         :       1.62       4158          0
984.28/984.65	c   fixandinfer      :       0.00          0          0
984.28/984.65	c   intdiving        :       0.00          0          0
984.28/984.65	c   actconsdiving    :       0.00          0          0
984.28/984.65	c   octane           :       0.00          0          0
984.28/984.65	c   rens             :       0.00          0          0
984.28/984.65	c   rins             :       0.00          0          0
984.28/984.65	c   localbranching   :       0.00          0          0
984.28/984.65	c   mutation         :       0.00          0          0
984.28/984.65	c   dins             :       0.00          0          0
984.28/984.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
984.28/984.65	c   primal LP        :       0.00          0          0       0.00          -
984.28/984.65	c   dual LP          :      54.97     715346    1508187       2.11   27436.55
984.28/984.65	c   barrier LP       :       0.00          0          0       0.00          -
984.28/984.65	c   diving/probing LP:       0.06        553        874       1.58   14566.67
984.28/984.65	c   strong branching :       0.44       2697       8857       3.28   20129.55
984.28/984.65	c     (at root node) :          -         17        498      29.29          -
984.28/984.65	c   conflict analysis:       0.00          0          0       0.00          -
984.28/984.65	c B&B Tree           :
984.28/984.65	c   number of runs   :          1
984.28/984.65	c   nodes            :     944541
984.28/984.65	c   nodes (total)    :     944541
984.28/984.65	c   nodes left       :          0
984.28/984.65	c   max depth        :         26
984.28/984.65	c   max depth (total):         26
984.28/984.65	c   backtracks       :     259899 (27.5%)
984.28/984.65	c   delayed cutoffs  :     101472
984.28/984.65	c   repropagations   :     622692 (966087 domain reductions, 97342 cutoffs)
984.28/984.65	c   avg switch length:       5.51
984.28/984.65	c   switching time   :     264.64
984.28/984.65	c Solution           :
984.28/984.65	c   Solutions found  :          0 (0 improvements)
984.28/984.65	c   Primal Bound     : infeasible
984.28/984.65	c   Dual Bound       :          -
984.28/984.65	c   Gap              :       0.00 %
984.28/984.65	c   Root Dual Bound  : +0.00000000000000e+00
984.28/984.70	c Time complete: 984.38.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

[startup+0.04486 s]
/proc/loadavg: 0.85 0.97 0.95 3/64 4849
/proc/meminfo: memFree=1851432/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=11944 CPUtime=0.04
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 2543 0 0 0 3 1 0 0 18 0 1 0 185128493 12230656 2171 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 2986 2171 544 886 0 2096 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11944

[startup+0.101867 s]
/proc/loadavg: 0.85 0.97 0.95 3/64 4849
/proc/meminfo: memFree=1851432/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=14648 CPUtime=0.09
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3215 0 0 0 8 1 0 0 18 0 1 0 185128493 14999552 2843 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 3662 2843 549 886 0 2772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14648

[startup+0.301889 s]
/proc/loadavg: 0.85 0.97 0.95 3/64 4849
/proc/meminfo: memFree=1851432/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=14648 CPUtime=0.29
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3223 0 0 0 26 3 0 0 19 0 1 0 185128493 14999552 2851 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 3662 2851 557 886 0 2772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14648

[startup+0.701937 s]
/proc/loadavg: 0.85 0.97 0.95 3/64 4849
/proc/meminfo: memFree=1851432/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=14648 CPUtime=0.69
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3223 0 0 0 62 7 0 0 22 0 1 0 185128493 14999552 2851 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 3662 2851 557 886 0 2772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14648

[startup+1.50103 s]
/proc/loadavg: 0.85 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1842208/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=14648 CPUtime=1.49
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3226 0 0 0 134 15 0 0 25 0 1 0 185128493 14999552 2854 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 3662 2854 557 886 0 2772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14648

[startup+3.10122 s]
/proc/loadavg: 0.85 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1841632/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=15972 CPUtime=3.09
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3553 0 0 0 285 24 0 0 25 0 1 0 185128493 16355328 3181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 3993 3181 557 886 0 3103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15972

[startup+6.3026 s]
/proc/loadavg: 0.86 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1839840/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=16628 CPUtime=6.28
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 3704 0 0 0 585 43 0 0 25 0 1 0 185128493 17027072 3332 1992294400 4194304 7823515 548682068736 18446744073709551615 5102809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 4157 3332 557 886 0 3267 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16628

[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1837352/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=19300 CPUtime=12.69
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 4390 0 0 0 1193 76 0 0 25 0 1 0 185128493 19763200 4018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 4825 4018 557 886 0 3935 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19300

[startup+25.5019 s]
/proc/loadavg: 0.90 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1835944/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=20780 CPUtime=25.48
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 4744 0 0 0 2415 133 0 0 25 0 1 0 185128493 21278720 4372 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 5195 4372 557 886 0 4305 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20780

[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1831912/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=24844 CPUtime=51.06
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 5740 0 0 0 4863 243 0 0 25 0 1 0 185128493 25440256 5368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 6211 5368 557 886 0 5321 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 24844

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1830824/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=26056 CPUtime=102.25
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 6010 0 0 0 9802 423 0 0 25 0 1 0 185128493 26681344 5638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 6514 5638 557 886 0 5624 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26056

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1827880/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=29008 CPUtime=162.23
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 6729 0 0 0 15599 624 0 0 25 0 1 0 185128493 29704192 6357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 7252 6357 557 886 0 6362 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29008

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1823016/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=33764 CPUtime=222.21
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 7927 0 0 0 21419 802 0 0 25 0 1 0 185128493 34574336 7555 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 8441 7555 557 886 0 7551 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 33764

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1822056/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=34604 CPUtime=282.2
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8147 0 0 0 27269 951 0 0 25 0 1 0 185128493 35434496 7775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 8651 7775 557 886 0 7761 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 34604

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1821800/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=34980 CPUtime=342.18
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8200 0 0 0 33126 1092 0 0 25 0 1 0 185128493 35819520 7828 1992294400 4194304 7823515 548682068736 18446744073709551615 5102837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 8745 7828 557 886 0 7855 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 34980

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1821480/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=35304 CPUtime=402.16
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8268 0 0 0 38986 1230 0 0 25 0 1 0 185128493 36151296 7896 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 8826 7896 557 886 0 7936 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 35304

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1821160/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=35708 CPUtime=462.14
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8331 0 0 0 44820 1394 0 0 25 0 1 0 185128493 36564992 7959 1992294400 4194304 7823515 548682068736 18446744073709551615 4208383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 8927 7959 557 886 0 8037 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 35708

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1820520/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=36696 CPUtime=522.13
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8487 0 0 0 50685 1528 0 0 25 0 1 0 185128493 37576704 8115 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9174 8115 557 886 0 8284 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 36696

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1820264/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=36908 CPUtime=582.11
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8550 0 0 0 56553 1658 0 0 25 0 1 0 185128493 37793792 8178 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9227 8178 557 886 0 8337 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 36908

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1819752/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=37612 CPUtime=642.1
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8663 0 0 0 62439 1771 0 0 25 0 1 0 185128493 38514688 8291 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9403 8291 558 886 0 8513 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 37612

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1818536/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=38688 CPUtime=702.07
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8947 0 0 0 68330 1877 0 0 25 0 1 0 185128493 39616512 8575 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9672 8575 558 886 0 8782 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 38688

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1818472/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=38688 CPUtime=762.06
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 8951 0 0 0 74235 1971 0 0 25 0 1 0 185128493 39616512 8579 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9672 8579 558 886 0 8782 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 38688

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1817960/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=39136 CPUtime=822.04
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9077 0 0 0 80132 2072 0 0 25 0 1 0 185128493 40075264 8705 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 9784 8705 558 886 0 8894 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 39136

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816744/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40212 CPUtime=882.02
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9369 0 0 0 86042 2160 0 0 25 0 1 0 185128493 41177088 8997 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10053 8997 558 886 0 9163 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 40212

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=942
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 91961 2239 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 4240381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 40608

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

[startup+947.106 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=946.8
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 92434 2246 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 946.8
Current children cumulated vsize (KiB) 40608

[startup+959.901 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=959.59
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 93699 2260 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 959.59
Current children cumulated vsize (KiB) 40608

[startup+972.703 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=972.39
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 94960 2279 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 972.39
Current children cumulated vsize (KiB) 40608

[startup+979.102 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=978.79
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 95594 2285 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (KiB) 40608

[startup+982.306 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=981.99
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 95910 2289 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 981.99
Current children cumulated vsize (KiB) 40608

[startup+983.901 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=983.59
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 96068 2291 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 983.59
Current children cumulated vsize (KiB) 40608

[startup+984.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=983.98
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 96107 2291 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 983.98
Current children cumulated vsize (KiB) 40608

[startup+984.505 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=984.19
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 96128 2291 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 984.19
Current children cumulated vsize (KiB) 40608

[startup+984.601 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 4850
/proc/meminfo: memFree=1816488/2055920 swapFree=4191900/4192956
[pid=4849] ppid=4847 vsize=40608 CPUtime=984.28
/proc/4849/stat : 4849 (pbscip.linux.x8) R 4847 4849 4812 0 -1 4194304 9424 0 0 0 96137 2291 0 0 25 0 1 0 185128493 41582592 9052 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4849/statm: 10152 9052 558 886 0 9262 0
Current children cumulated CPU time (s) 984.28
Current children cumulated vsize (KiB) 40608

Child status: 0
Real time (s): 984.701
CPU time (s): 984.397
CPU user time (s): 961.47
CPU system time (s): 22.9275
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 40608

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

runsolver used 0.724889 second user time and 2.03669 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 20:01:14
IDJOB=1869500
IDBENCH=2905
IDSOLVER=683
FILE ID=node1/1869500-1245175274
PBS_JOBID= 9363936
Free space on /tmp= 66220 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/market-split/normalized-market-split_4_30_1.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-1869500-1245175274/watcher-1869500-1245175274 -o /tmp/evaluation-result-1869500-1245175274/solver-1869500-1245175274 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869500-1245175274.opb

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

MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e
RANDOM SEED=349933947

node1.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.245
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.245
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:       1851848 kB
Buffers:         41736 kB
Cached:          85300 kB
SwapCached:        260 kB
Active:          48140 kB
Inactive:        92044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851848 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10044 kB
Writeback:           0 kB
Mapped:          22408 kB
Slab:            49856 kB
Committed_AS:   159056 kB
PageTables:       1436 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= 66212 MiB
End job on node1 at 2009-06-16 20:17:39