Trace number 2664144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)70 1802.17 1802.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664144-1276397939.opb>
0.09/0.10	c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.09/0.10	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.29/0.30	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.59/0.69	c    (0.5s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.59/0.69	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.69	c presolving (3 rounds):
0.59/0.69	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.59/0.69	c  4440 implications, 210 cliques
0.59/0.69	c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.59/0.69	c    1734 constraints of type <knapsack>
0.59/0.69	c     210 constraints of type <setppc>
0.59/0.69	c    2532 constraints of type <logicor>
0.59/0.69	c transformed objective value is always integral (scale: 1)
0.59/0.69	c Presolving Time: 0.53
0.59/0.69	c - non default parameters ----------------------------------------------------------------------
0.59/0.69	c # SCIP version 1.2.1.2
0.59/0.69	c 
0.59/0.69	c # frequency for displaying node information lines
0.59/0.69	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69	c display/freq = 10000
0.59/0.69	c 
0.59/0.69	c # maximal time in seconds to run
0.59/0.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69	c limits/time = 1799.91
0.59/0.69	c 
0.59/0.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69	c limits/memory = 1620
0.59/0.69	c 
0.59/0.69	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69	c lp/solvefreq = -1
0.59/0.69	c 
0.59/0.69	c # should presolving try to simplify inequalities
0.59/0.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69	c constraints/linear/simplifyinequalities = TRUE
0.59/0.69	c 
0.59/0.69	c # should presolving try to simplify knapsacks
0.59/0.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69	c 
0.59/0.69	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69	c separating/rapidlearning/freq = 0
0.59/0.69	c 
0.59/0.69	c -----------------------------------------------------------------------------------------------
0.59/0.69	c start solving
0.59/0.69	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.6s|     1 |     2 |     0 |     - |6341k|   0 |   - | 540 |4476 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.58	o 86
1.49/1.58	c * 1.4s|   876 |   764 |     0 |   0.0 |6928k|  70 |   - | 540 |4656 |   0 |   0 |   0 | 181 |   0 | 0.000000e+00 | 8.600000e+01 |    Inf 
11.39/11.40	c  11.0s| 10000 |  9312 |     0 |   0.0 |  14M|  70 |   - | 540 |4844 |   0 |   0 |   0 |1307 |   0 | 0.000000e+00 | 8.600000e+01 |    Inf 
11.79/11.81	o 76
11.79/11.81	c *11.4s| 10315 |  9587 |     0 |   0.0 |  14M|  70 |   - | 540 |4868 |   0 |   0 |   0 |1381 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
23.59/23.63	c  22.9s| 20000 | 18735 |     0 |   0.0 |  21M|  77 |   - | 540 |4661 |   0 |   0 |   0 |2608 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
34.79/34.86	c  33.9s| 30000 | 28447 |     0 |   0.0 |  29M|  77 |   - | 540 |4664 |   0 |   0 |   0 |3206 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
35.68/35.75	o 74
35.68/35.75	c *34.8s| 30776 | 29211 |     0 |   0.0 |  30M|  77 |   - | 540 |4637 |   0 |   0 |   0 |3216 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
46.48/46.59	c  45.4s| 40000 | 38074 |     0 |   0.0 |  37M|  77 |   - | 540 |4763 |   0 |   0 |   0 |3910 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
59.67/59.74	c  58.2s| 50000 | 47511 |     0 |   0.0 |  46M|  77 |   - | 540 |4878 |   0 |   0 |   0 |5079 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
73.47/73.58	c  71.8s| 60000 | 56581 |     0 |   0.0 |  56M|  77 |   - | 540 |5185 |   0 |   0 |   0 |7419 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
89.17/89.29	c  87.2s| 70000 | 64810 |     0 |   0.0 |  65M|  77 |   - | 540 |5691 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
106.46/106.54	c   104s| 80000 | 72597 |     0 |   0.0 |  74M|  77 |   - | 540 |5914 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
121.35/121.49	c   119s| 90000 | 80368 |     0 |   0.0 |  83M|  77 |   - | 540 |6009 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
135.94/136.00	c   133s|100000 | 88314 |     0 |   0.0 |  92M|  82 |   - | 540 |5825 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
149.34/149.43	c   146s|110000 | 96627 |     0 |   0.0 | 100M|  82 |   - | 540 |5844 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
163.04/163.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
163.04/163.14	c   159s|120000 |105063 |     0 |   0.0 | 109M|  82 |   - | 540 |5818 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
176.63/176.78	c   173s|130000 |113706 |     0 |   0.0 | 117M|  82 |   - | 540 |5306 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
189.73/189.81	c   186s|140000 |122340 |     0 |   0.0 | 126M|  82 |   - | 540 |5557 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
203.33/203.40	c   199s|150000 |130965 |     0 |   0.0 | 134M|  82 |   - | 540 |5498 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
216.72/216.80	c   212s|160000 |139490 |     0 |   0.0 | 143M|  82 |   - | 540 |5725 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
232.51/232.64	c   228s|170000 |147961 |     0 |   0.0 | 151M|  82 |   - | 540 |5580 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
248.70/248.84	c   243s|180000 |156596 |     0 |   0.0 | 160M|  82 |   - | 540 |5519 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
262.00/262.19	c   256s|190000 |165313 |     0 |   0.0 | 169M|  82 |   - | 540 |5558 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
277.10/277.28	c   271s|200000 |173918 |     0 |   0.0 | 178M|  82 |   - | 540 |5428 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
294.00/294.14	c   288s|210000 |182908 |     0 |   0.0 | 187M|  82 |   - | 540 |5478 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
308.89/309.07	c   302s|220000 |191570 |     0 |   0.0 | 197M|  82 |   - | 540 |5546 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
323.59/323.73	c   317s|230000 |200199 |     0 |   0.0 | 207M|  82 |   - | 540 |5538 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
340.18/340.31	c   333s|240000 |208633 |     0 |   0.0 | 216M|  82 |   - | 540 |5868 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
356.77/356.95	c   349s|250000 |216903 |     0 |   0.0 | 226M|  82 |   - | 540 |5819 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
373.47/373.67	c   366s|260000 |224754 |     0 |   0.0 | 236M|  82 |   - | 540 |6378 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
390.46/390.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
390.46/390.68	c   382s|270000 |232410 |     0 |   0.0 | 246M|  82 |   - | 540 |6156 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
404.95/405.18	c   397s|280000 |241381 |     0 |   0.0 | 256M|  82 |   - | 540 |5782 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
420.45/420.61	c   412s|290000 |249754 |     0 |   0.0 | 266M|  82 |   - | 540 |5911 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
436.15/436.35	c   427s|300000 |258062 |     0 |   0.0 | 275M|  82 |   - | 540 |5919 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
452.34/452.53	c   443s|310000 |265969 |     0 |   0.0 | 284M|  82 |   - | 540 |6316 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
469.73/469.98	c   460s|320000 |272906 |     0 |   0.0 | 293M|  82 |   - | 540 |7025 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
489.13/489.34	c   479s|330000 |279437 |     0 |   0.0 | 302M|  82 |   - | 540 |7202 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
507.22/507.49	c   497s|340000 |286130 |     0 |   0.0 | 311M|  82 |   - | 540 |6350 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
521.72/521.97	c   511s|350000 |294261 |     0 |   0.0 | 319M|  82 |   - | 540 |6119 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
538.83/539.05	c   528s|360000 |302277 |     0 |   0.0 | 328M|  82 |   - | 540 |6338 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
555.51/555.70	c   544s|370000 |310285 |     0 |   0.0 | 337M|  82 |   - | 540 |6467 |   0 |   0 |   0 | 159k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
572.81/573.04	c   561s|380000 |317875 |     0 |   0.0 | 346M|  82 |   - | 540 |6663 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
589.80/590.04	c   578s|390000 |325447 |     0 |   0.0 | 354M|  82 |   - | 540 |6624 |   0 |   0 |   0 | 172k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
607.20/607.43	c   595s|400000 |333050 |     0 |   0.0 | 363M|  82 |   - | 540 |6761 |   0 |   0 |   0 | 178k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
626.89/627.12	c   614s|410000 |340005 |     0 |   0.0 | 372M|  82 |   - | 540 |7354 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
645.40/645.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
645.40/645.66	c   632s|420000 |346910 |     0 |   0.0 | 382M|  82 |   - | 540 |7224 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
665.19/665.49	c   652s|430000 |353362 |     0 |   0.0 | 391M|  82 |   - | 540 |7802 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
684.38/684.65	c   671s|440000 |359829 |     0 |   0.0 | 400M|  82 |   - | 540 |6371 |   0 |   0 |   0 | 215k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
701.07/701.37	c   687s|450000 |368357 |     0 |   0.0 | 409M|  82 |   - | 540 |6012 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
717.26/717.58	c   703s|460000 |376481 |     0 |   0.0 | 418M|  82 |   - | 540 |6551 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
732.86/733.14	c   718s|470000 |384742 |     0 |   0.0 | 428M|  82 |   - | 540 |6002 |   0 |   0 |   0 | 229k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
749.56/749.83	c   734s|480000 |392748 |     0 |   0.0 | 438M|  82 |   - | 540 |6448 |   0 |   0 |   0 | 235k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
767.85/768.12	c   752s|490000 |400129 |     0 |   0.0 | 447M|  82 |   - | 540 |7044 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
786.65/786.95	c   771s|500000 |407437 |     0 |   0.0 | 456M|  82 |   - | 540 |7062 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
807.44/807.71	c   791s|510000 |413972 |     0 |   0.0 | 466M|  82 |   - | 540 |7813 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
827.24/827.59	c   811s|520000 |420117 |     0 |   0.0 | 474M|  82 |   - | 540 |7699 |   0 |   0 |   0 | 269k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
841.83/842.15	c   825s|530000 |428156 |     0 |   0.0 | 482M|  82 |   - | 540 |6981 |   0 |   0 |   0 | 275k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
857.23/857.58	c   840s|540000 |436207 |     0 |   0.0 | 491M|  82 |   - | 540 |7089 |   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
871.62/871.93	c   854s|550000 |444309 |     0 |   0.0 | 499M|  82 |   - | 540 |6965 |   0 |   0 |   0 | 286k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
887.12/887.44	c   869s|560000 |451990 |     0 |   0.0 | 507M|  82 |   - | 540 |6809 |   0 |   0 |   0 | 293k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
903.22/903.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
903.22/903.58	c   885s|570000 |459482 |     0 |   0.0 | 516M|  82 |   - | 540 |7045 |   0 |   0 |   0 | 300k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
919.61/919.90	c   901s|580000 |467002 |     0 |   0.0 | 524M|  82 |   - | 540 |6816 |   0 |   0 |   0 | 307k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
934.90/935.26	c   916s|590000 |474815 |     0 |   0.0 | 533M|  82 |   - | 540 |7067 |   0 |   0 |   0 | 313k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
952.31/952.67	c   933s|600000 |482463 |     0 |   0.0 | 542M|  82 |   - | 540 |6450 |   0 |   0 |   0 | 320k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
968.40/968.79	c   949s|610000 |490165 |     0 |   0.0 | 551M|  82 |   - | 540 |6537 |   0 |   0 |   0 | 326k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
984.99/985.30	c   965s|620000 |497753 |     0 |   0.0 | 560M|  82 |   - | 540 |6859 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1001.88/1002.28	c   982s|630000 |505451 |     0 |   0.0 | 569M|  82 |   - | 540 |7006 |   0 |   0 |   0 | 340k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1018.79/1019.12	c   998s|640000 |513282 |     0 |   0.0 | 578M|  82 |   - | 540 |6927 |   0 |   0 |   0 | 346k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1035.88/1036.27	c  1015s|650000 |520878 |     0 |   0.0 | 587M|  82 |   - | 540 |6184 |   0 |   0 |   0 | 353k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1053.17/1053.50	c  1032s|660000 |528240 |     0 |   0.0 | 596M|  82 |   - | 540 |6631 |   0 |   0 |   0 | 360k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1070.07/1070.46	c  1049s|670000 |535876 |     0 |   0.0 | 606M|  82 |   - | 540 |6607 |   0 |   0 |   0 | 367k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1087.57/1087.92	c  1066s|680000 |543444 |     0 |   0.0 | 615M|  82 |   - | 540 |6887 |   0 |   0 |   0 | 374k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1105.96/1106.33	c  1084s|690000 |550856 |     0 |   0.0 | 624M|  82 |   - | 540 |6849 |   0 |   0 |   0 | 381k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1122.95/1123.30	c  1101s|700000 |558358 |     0 |   0.0 | 634M|  82 |   - | 540 |6833 |   0 |   0 |   0 | 388k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1140.15/1140.52	c  1117s|710000 |565751 |     0 |   0.0 | 643M|  82 |   - | 540 |7018 |   0 |   0 |   0 | 395k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1157.54/1157.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1157.54/1157.92	c  1135s|720000 |573124 |     0 |   0.0 | 652M|  82 |   - | 540 |6884 |   0 |   0 |   0 | 403k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1175.14/1175.50	c  1152s|730000 |580601 |     0 |   0.0 | 661M|  82 |   - | 540 |6561 |   0 |   0 |   0 | 410k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1192.54/1192.91	c  1169s|740000 |588084 |     0 |   0.0 | 670M|  82 |   - | 540 |6643 |   0 |   0 |   0 | 417k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1210.33/1210.71	c  1186s|750000 |595317 |     0 |   0.0 | 679M|  82 |   - | 540 |6745 |   0 |   0 |   0 | 424k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1228.43/1228.81	c  1204s|760000 |602506 |     0 |   0.0 | 688M|  82 |   - | 540 |6550 |   0 |   0 |   0 | 432k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1246.61/1247.04	c  1222s|770000 |609691 |     0 |   0.0 | 698M|  82 |   - | 540 |7129 |   0 |   0 |   0 | 439k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1267.11/1267.53	c  1242s|780000 |616684 |     0 |   0.0 | 707M|  82 |   - | 540 |7077 |   0 |   0 |   0 | 447k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1286.90/1287.33	c  1261s|790000 |623701 |     0 |   0.0 | 717M|  82 |   - | 540 |7380 |   0 |   0 |   0 | 456k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1307.51/1307.91	c  1282s|800000 |630355 |     0 |   0.0 | 727M|  82 |   - | 540 |7756 |   0 |   0 |   0 | 464k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1325.49/1325.94	c  1299s|810000 |637356 |     0 |   0.0 | 736M|  82 |   - | 540 |6873 |   0 |   0 |   0 | 472k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1340.59/1341.08	c  1314s|820000 |645262 |     0 |   0.0 | 744M|  82 |   - | 540 |6615 |   0 |   0 |   0 | 479k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1357.27/1357.76	c  1331s|830000 |652944 |     0 |   0.0 | 753M|  82 |   - | 540 |6782 |   0 |   0 |   0 | 485k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1373.07/1373.50	c  1346s|840000 |660606 |     0 |   0.0 | 761M|  82 |   - | 540 |6784 |   0 |   0 |   0 | 492k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1390.97/1391.44	c  1364s|850000 |668370 |     0 |   0.0 | 770M|  82 |   - | 540 |6668 |   0 |   0 |   0 | 498k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1408.26/1408.75	c  1381s|860000 |675990 |     0 |   0.0 | 779M|  82 |   - | 540 |6573 |   0 |   0 |   0 | 505k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1424.26/1424.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1424.26/1424.78	c  1396s|870000 |683922 |     0 |   0.0 | 788M|  82 |   - | 540 |6688 |   0 |   0 |   0 | 510k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1440.35/1440.89	c  1412s|880000 |691676 |     0 |   0.0 | 797M|  82 |   - | 540 |6722 |   0 |   0 |   0 | 517k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1456.84/1457.32	c  1428s|890000 |699268 |     0 |   0.0 | 806M|  82 |   - | 540 |7141 |   0 |   0 |   0 | 524k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1473.44/1473.99	c  1444s|900000 |706846 |     0 |   0.0 | 815M|  82 |   - | 540 |6878 |   0 |   0 |   0 | 531k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1491.43/1491.99	c  1462s|910000 |714209 |     0 |   0.0 | 824M|  82 |   - | 540 |7191 |   0 |   0 |   0 | 539k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1508.13/1508.61	c  1478s|920000 |721891 |     0 |   0.0 | 833M|  82 |   - | 540 |7140 |   0 |   0 |   0 | 545k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1526.33/1526.88	c  1496s|930000 |729524 |     0 |   0.0 | 843M|  82 |   - | 540 |7095 |   0 |   0 |   0 | 552k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1544.22/1544.73	c  1514s|940000 |737085 |     0 |   0.0 | 852M|  82 |   - | 540 |6766 |   0 |   0 |   0 | 559k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1562.31/1562.89	c  1532s|950000 |744550 |     0 |   0.0 | 861M|  82 |   - | 540 |6921 |   0 |   0 |   0 | 566k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1579.02/1579.52	c  1548s|960000 |752163 |     0 |   0.0 | 870M|  82 |   - | 540 |6856 |   0 |   0 |   0 | 573k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1596.70/1597.21	c  1565s|970000 |759529 |     0 |   0.0 | 879M|  82 |   - | 540 |6849 |   0 |   0 |   0 | 580k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1613.89/1614.50	c  1582s|980000 |767011 |     0 |   0.0 | 889M|  82 |   - | 540 |6628 |   0 |   0 |   0 | 587k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1632.69/1633.23	c  1601s|990000 |774067 |     0 |   0.0 | 897M|  82 |   - | 540 |6632 |   0 |   0 |   0 | 595k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1651.78/1652.32	c  1619s|  1000k|781163 |     0 |   0.0 | 907M|  82 |   - | 540 |7665 |   0 |   0 |   0 | 604k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1670.68/1671.26	c  1638s|  1010k|788416 |     0 |   0.0 | 916M|  82 |   - | 540 |7313 |   0 |   0 |   0 | 612k|   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
1675.98/1676.52	o 70
1675.98/1676.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1675.98/1676.52	c *1643s|  1012k|789911 |     0 |   0.0 | 918M|  82 |   - | 540 |7457 |   0 |   0 |   0 | 614k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1690.97/1691.59	c  1658s|  1020k|794964 |     0 |   0.0 | 924M|  82 |   - | 540 |7461 |   0 |   0 |   0 | 621k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1710.86/1711.43	c  1678s|  1030k|801866 |     0 |   0.0 | 933M|  82 |   - | 540 |7397 |   0 |   0 |   0 | 629k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1730.35/1730.90	c  1697s|  1040k|808764 |     0 |   0.0 | 942M|  82 |   - | 540 |7260 |   0 |   0 |   0 | 638k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1749.95/1750.58	c  1716s|  1050k|815460 |     0 |   0.0 | 952M|  82 |   - | 540 |7461 |   0 |   0 |   0 | 647k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1770.14/1770.76	c  1736s|  1060k|822052 |     0 |   0.0 | 961M|  82 |   - | 540 |7610 |   0 |   0 |   0 | 655k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1791.74/1792.36	c  1757s|  1070k|828446 |     0 |   0.0 | 970M|  82 |   - | 540 |7679 |   0 |   0 |   0 | 665k|   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62	c 
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time (sec) : 1765.18
1800.05/1800.62	c Solving Nodes      : 1073777
1800.05/1800.62	c Primal Bound       : +7.00000000000000e+01 (4 solutions)
1800.05/1800.62	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.62	c Gap                : infinite
1800.05/1800.62	s SATISFIABLE
1800.05/1800.62	v x325 x289 x253 -x217 -x181 -x145 x109 x73 -x37 -x1 x360 x324 -x288 x252 -x216 -x180 -x144 x108 x72 -x36 -x353 x317 x281 -x245 x209 
1800.05/1800.62	v x173 -x137 -x101 -x65 x29 x346 -x310 -x274 -x238 x202 x166 x130 -x94 x58 -x22 -x339 -x303 -x267 x231 -x195 x159 x123 x87 
1800.05/1800.62	v -x51 x15 -x332 -x296 x260 x224 x188 -x152 -x116 -x80 x44 x8 -x359 -x323 x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 -x322 
1800.05/1800.62	v -x286 -x250 x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 x177 -x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248 
1800.05/1800.62	v -x212 -x176 -x140 -x104 -x68 x32 -x355 -x319 -x283 -x247 -x211 -x175 x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210 
1800.05/1800.62	v -x174 -x138 -x102 x66 -x30 x352 -x316 -x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 x135 
1800.05/1800.62	v -x99 -x63 -x27 -x350 -x314 -x278 x242 -x206 -x170 -x134 -x98 -x62 -x26 -x349 -x313 -x277 -x241 -x205 -x169 -x133 x97 -x61 -x25 
1800.05/1800.62	v -x348 -x312 -x276 -x240 -x204 -x168 -x132 x96 -x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 x23 -x345 -x309 
1800.05/1800.62	v -x273 x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 x272 -x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 x307 -x271 -x235 -x199 
1800.05/1800.62	v -x163 -x127 -x91 -x55 -x19 x342 -x306 -x270 -x234 -x198 -x162 -x126 -x90 -x54 -x18 -x341 x305 -x269 -x233 -x197 -x161 -x125 
1800.05/1800.62	v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 -x124 -x88 x52 -x16 -x338 -x302 -x266 -x230 x194 -x158 -x122 -x86 -x50 
1800.05/1800.62	v -x14 -x337 -x301 x265 -x229 -x193 -x157 -x121 -x85 -x49 -x13 -x336 x300 -x264 -x228 -x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299 
1800.05/1800.62	v -x263 -x227 -x191 x155 -x119 -x83 -x47 -x11 -x334 -x298 -x262 -x226 -x190 -x154 x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225 
1800.05/1800.62	v -x189 -x153 -x117 x81 -x45 -x9 x331 -x295 -x259 -x223 -x187 -x151 -x115 -x79 -x43 -x7 -x330 -x294 -x258 x222 -x186 -x150 
1800.05/1800.62	v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 x185 -x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 -x184 x148 -x112 -x76 -x40 
1800.05/1800.62	v -x4 -x327 -x291 -x255 -x219 -x183 -x147 -x111 -x75 -x39 x3 -x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 x38 -x2 x540 -x539 
1800.05/1800.62	v -x538 x537 x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 x520 -x519 -x518 -x517 
1800.05/1800.62	v -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 x505 x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 
1800.05/1800.62	v x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 x474 -x473 
1800.05/1800.62	v -x472 -x471 x470 x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 -x452 
1800.05/1800.62	v -x451 -x450 -x449 x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 x433 x432 x431 -x430 
1800.05/1800.62	v -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 x412 -x411 -x410 x409 -x408 
1800.05/1800.62	v -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 
1800.05/1800.62	v x386 x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 
1800.05/1800.62	v -x364 x363 x362 -x361 
1800.05/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.62	c Solving Time       :    1765.18
1800.05/1800.62	c Original Problem   :
1800.05/1800.62	c   Problem name     : HOME/instance-2664144-1276397939.opb
1800.05/1800.62	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 4476 initial, 4476 maximal
1800.05/1800.62	c Presolved Problem  :
1800.05/1800.62	c   Problem name     : t_HOME/instance-2664144-1276397939.opb
1800.05/1800.62	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62	c   Constraints      : 4476 initial, 8777 maximal
1800.05/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   probing          :       0.31          0          0          0          0          0          0          0          0
1800.05/1800.62	c   knapsack         :       0.13          0          0          0          0          0          0       3360       5040
1800.05/1800.62	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.62	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.62	c   knapsack         :       1734          0    3080318          0     970381       4072    1632003          0          0          0
1800.05/1800.62	c   setppc           :        210          0    3076242          0     970377     105338   12193005          0          0          0
1800.05/1800.62	c   logicor          :       2532+         0    2267497          0     970381      26066    5981532          0          0          0
1800.05/1800.62	c   countsols        :          0          0          0          0     970381          0          0          0          0          0
1800.05/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.62	c   knapsack         :     641.79       0.00     523.62       0.00     118.17
1800.05/1800.62	c   setppc           :     139.19       0.00      91.71       0.00      47.48
1800.05/1800.62	c   logicor          :     517.95       0.00     197.77       0.00     320.18
1800.05/1800.62	c   countsols        :       0.45       0.00       0.00       0.00       0.45
1800.05/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.62	c   vbounds          :       1.65          2          0          0
1800.05/1800.62	c   rootredcost      :       1.67          0          0          0
1800.05/1800.62	c   pseudoobj        :      40.39    3082113       2874      19732
1800.05/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.62	c   propagation      :      19.41     138350     138315    1269075       35.7       7921       17.5          -
1800.05/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.62	c   applied globally :          -          -          -     670077       25.2          -          -          -
1800.05/1800.62	c   applied locally  :          -          -          -        113       69.0          -          -          -
1800.05/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.62	c Pricers            :       Time      Calls       Vars
1800.05/1800.62	c   problem variables:       0.00          0          0
1800.05/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   inference        :      99.72     970377          0          0          0          0    1940754
1800.05/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.62	c   LP solutions     :       0.00          -          0
1800.05/1800.62	c   pseudo solutions :       0.03          -          4
1800.05/1800.62	c   oneopt           :       1.43          0          0
1800.05/1800.62	c   trivial          :       0.00          2          0
1800.05/1800.62	c   simplerounding   :       0.00          0          0
1800.05/1800.62	c   zirounding       :       0.00          0          0
1800.05/1800.62	c   rounding         :       0.00          0          0
1800.05/1800.62	c   shifting         :       0.00          0          0
1800.05/1800.62	c   intshifting      :       0.00          0          0
1800.05/1800.62	c   twoopt           :       0.00          0          0
1800.05/1800.62	c   fixandinfer      :       0.00          0          0
1800.05/1800.62	c   feaspump         :       0.00          0          0
1800.05/1800.62	c   coefdiving       :       0.00          0          0
1800.05/1800.62	c   pscostdiving     :       0.00          0          0
1800.05/1800.62	c   fracdiving       :       0.00          0          0
1800.05/1800.62	c   veclendiving     :       0.00          0          0
1800.05/1800.62	c   intdiving        :       0.00          0          0
1800.05/1800.62	c   actconsdiving    :       0.00          0          0
1800.05/1800.62	c   objpscostdiving  :       0.00          0          0
1800.05/1800.62	c   rootsoldiving    :       0.00          0          0
1800.05/1800.62	c   linesearchdiving :       0.00          0          0
1800.05/1800.62	c   guideddiving     :       0.00          0          0
1800.05/1800.62	c   octane           :       0.00          0          0
1800.05/1800.62	c   rens             :       0.00          0          0
1800.05/1800.62	c   rins             :       0.00          0          0
1800.05/1800.62	c   localbranching   :       0.00          0          0
1800.05/1800.62	c   mutation         :       0.00          0          0
1800.05/1800.62	c   crossover        :       0.00          0          0
1800.05/1800.62	c   dins             :       0.00          0          0
1800.05/1800.62	c   undercover       :       0.00          0          0
1800.05/1800.62	c   nlp              :       0.60          0          0
1800.05/1800.62	c   trysol           :       0.73          0          0
1800.05/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.62	c B&B Tree           :
1800.05/1800.62	c   number of runs   :          1
1800.05/1800.62	c   nodes            :    1073777
1800.05/1800.62	c   nodes (total)    :    1073777
1800.05/1800.62	c   nodes left       :     830594
1800.05/1800.62	c   max depth        :         82
1800.05/1800.62	c   max depth (total):         82
1800.05/1800.62	c   backtracks       :      77683 (7.2%)
1800.05/1800.62	c   delayed cutoffs  :      36274
1800.05/1800.62	c   repropagations   :     159909 (2542593 domain reductions, 34954 cutoffs)
1800.05/1800.62	c   avg switch length:       5.69
1800.05/1800.62	c   switching time   :     229.97
1800.05/1800.62	c Solution           :
1800.05/1800.62	c   Solutions found  :          4 (4 improvements)
1800.05/1800.62	c   First Solution   : +8.60000000000000e+01   (in run 1, after 876 nodes, 1.41 seconds, depth 45, found by <relaxation>)
1800.05/1800.62	c   Primal Bound     : +7.00000000000000e+01   (in run 1, after 1012597 nodes, 1643.20 seconds, depth 49, found by <relaxation>)
1800.05/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.62	c   Gap              :   infinite
1800.05/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.62	c   Root Iterations  :          0

Verifier Data 

OK	70

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=6584 CPUtime=0
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 13450264 6742016 915 1992294400 4194304 7136930 140736382226208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 1646 923 254 719 0 925 0

[startup+0.0870211 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=10368 CPUtime=0.07
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 2084 0 0 0 7 0 0 0 20 0 1 0 13450264 10616832 2006 1992294400 4194304 7136930 140736382226208 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 2592 2006 271 719 0 1871 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10368

[startup+0.101022 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=10500 CPUtime=0.09
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 2099 0 0 0 9 0 0 0 20 0 1 0 13450264 10752000 2020 1992294400 4194304 7136930 140736382226208 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 2625 2020 272 719 0 1904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10500

[startup+0.301041 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=21124 CPUtime=0.29
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 6494 0 0 0 26 3 0 0 20 0 1 0 13450264 21630976 4520 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5281 4520 361 719 0 4560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21124

[startup+0.701079 s]
/proc/loadavg: 0.92 1.00 1.04 3/106 21680
/proc/meminfo: memFree=1789980/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=22828 CPUtime=0.69
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 7713 0 0 0 64 5 0 0 21 0 1 0 13450264 23375872 4968 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5707 4968 393 719 0 4986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22828

[startup+1.50116 s]
/proc/loadavg: 0.92 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1771496/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=23240 CPUtime=1.49
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 7823 0 0 0 142 7 0 0 23 0 1 0 13450264 23797760 5078 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 5810 5078 397 719 0 5089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23240

[startup+3.10131 s]
/proc/loadavg: 0.92 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1770504/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=24676 CPUtime=3.09
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 8211 0 0 0 298 11 0 0 25 0 1 0 13450264 25268224 5466 1992294400 4194304 7136930 140736382226208 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 6169 5466 397 719 0 5448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24676

[startup+6.30062 s]
/proc/loadavg: 0.93 1.00 1.04 2/107 21681
/proc/meminfo: memFree=1767528/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=27264 CPUtime=6.29
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 8842 0 0 0 608 21 0 0 25 0 1 0 13450264 27918336 6097 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 6816 6097 397 719 0 6095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27264

[startup+12.7012 s]
/proc/loadavg: 0.93 1.00 1.04 2/107 21683
/proc/meminfo: memFree=1761080/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=32908 CPUtime=12.69
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 10269 0 0 0 1233 36 0 0 25 0 1 0 13450264 33697792 7524 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 8227 7524 397 719 0 7506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32908

[startup+25.5005 s]
/proc/loadavg: 0.95 1.00 1.03 2/107 21683
/proc/meminfo: memFree=1750292/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=43328 CPUtime=25.49
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 12886 0 0 0 2483 66 0 0 25 0 1 0 13450264 44367872 10141 1992294400 4194304 7136930 140736382226208 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 10832 10141 397 719 0 10111 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43328

[startup+51.1009 s]
/proc/loadavg: 0.96 1.00 1.03 2/107 21683
/proc/meminfo: memFree=1726608/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=66828 CPUtime=51.07
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 18811 0 0 0 4985 122 0 0 25 0 1 0 13450264 68431872 16066 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 16707 16066 397 719 0 15986 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66828

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 1.03 2/107 21685
/proc/meminfo: memFree=1687548/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=107884 CPUtime=102.27
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 28510 0 0 0 10002 225 0 0 25 0 1 0 13450264 110473216 25765 1992294400 4194304 7136930 140736382226208 18446744073709551615 4853804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 26971 25765 397 719 0 26250 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107884

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 21696
/proc/meminfo: memFree=1638692/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=156632 CPUtime=162.23
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 40746 0 0 0 15874 349 0 0 25 0 1 0 13450264 160391168 38001 1992294400 4194304 7136930 140736382226208 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 39158 38001 397 719 0 38437 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156632

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.02 2/107 21696
/proc/meminfo: memFree=1596780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=197720 CPUtime=222.22
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 51013 0 0 0 21746 476 0 0 25 0 1 0 13450264 202465280 48268 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 49430 48268 397 719 0 48709 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 197720

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/107 21698
/proc/meminfo: memFree=1548048/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=245836 CPUtime=282.19
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 63142 0 0 0 27628 591 0 0 25 0 1 0 13450264 251736064 60397 1992294400 4194304 7136930 140736382226208 18446744073709551615 4858933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 61459 60397 397 719 0 60738 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 245836

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21700
/proc/meminfo: memFree=1512088/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=285764 CPUtime=342.18
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 72144 0 0 0 33507 711 0 0 25 0 1 0 13450264 292622336 69399 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 71441 69399 397 719 0 70720 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 285764

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21702
/proc/meminfo: memFree=1471664/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=327952 CPUtime=402.15
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 82597 0 0 0 39381 834 0 0 25 0 1 0 13450264 335822848 79852 1992294400 4194304 7136930 140736382226208 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 81988 79852 397 719 0 81267 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 327952

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21704
/proc/meminfo: memFree=1430868/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=367300 CPUtime=462.14
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 92368 0 0 0 45257 957 0 0 25 0 1 0 13450264 376115200 89623 1992294400 4194304 7136930 140736382226208 18446744073709551615 4392915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 91825 89623 397 719 0 91104 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 367300

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21704
/proc/meminfo: memFree=1404456/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=393792 CPUtime=522.12
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 98993 0 0 0 51136 1076 0 0 25 0 1 0 13450264 403243008 96248 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 98448 96248 397 719 0 97727 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 393792

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21706
/proc/meminfo: memFree=1360436/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=437280 CPUtime=582.11
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 109967 0 0 0 57019 1192 0 0 25 0 1 0 13450264 447774720 107222 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 109320 107222 397 719 0 108599 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 437280

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 21708
/proc/meminfo: memFree=1333032/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=464784 CPUtime=642.1
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 116809 0 0 0 62910 1300 0 0 25 0 1 0 13450264 475938816 114064 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 116196 114064 397 719 0 115475 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 464784

[startup+702.301 s]

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

/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 172654 0 0 0 104090 2107 0 0 25 0 1 0 13450264 713728000 169909 1992294400 4194304 7136930 140736382226208 18446744073709551615 4862062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 174250 169909 397 719 0 173529 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 697000

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21720
/proc/meminfo: memFree=1071268/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=734536 CPUtime=1121.95
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 181968 0 0 0 109970 2225 0 0 25 0 1 0 13450264 752164864 179223 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 183634 179223 397 719 0 182913 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 734536

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21722
/proc/meminfo: memFree=1041756/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=763216 CPUtime=1181.94
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 189470 0 0 0 115853 2341 0 0 25 0 1 0 13450264 781533184 186725 1992294400 4194304 7136930 140736382226208 18446744073709551615 4212290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 190804 186725 397 719 0 190083 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 763216

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21724
/proc/meminfo: memFree=1010136/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=793888 CPUtime=1241.92
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 197152 0 0 0 121736 2456 0 0 25 0 1 0 13450264 812941312 194407 1992294400 4194304 7136930 140736382226208 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 198472 194407 397 719 0 197751 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 793888

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21726
/proc/meminfo: memFree=982236/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=821756 CPUtime=1301.91
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 204118 0 0 0 127627 2564 0 0 25 0 1 0 13450264 841478144 201373 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 205439 201373 397 719 0 204718 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 821756

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21728
/proc/meminfo: memFree=952228/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=852664 CPUtime=1361.87
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 211729 0 0 0 133511 2676 0 0 25 0 1 0 13450264 873127936 208984 1992294400 4194304 7136930 140736382226208 18446744073709551615 5922977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 213166 208984 397 719 0 212445 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 852664

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21728
/proc/meminfo: memFree=913044/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=891372 CPUtime=1421.86
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 221369 0 0 0 139391 2795 0 0 25 0 1 0 13450264 912764928 218624 1992294400 4194304 7136930 140736382226208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 222843 218624 397 719 0 222122 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 891372

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21730
/proc/meminfo: memFree=885764/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=919388 CPUtime=1481.83
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 228408 0 0 0 145271 2912 0 0 25 0 1 0 13450264 941453312 225663 1992294400 4194304 7136930 140736382226208 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 229847 225663 397 719 0 229126 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 919388

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21732
/proc/meminfo: memFree=854516/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=950768 CPUtime=1541.82
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 236240 0 0 0 151159 3023 0 0 25 0 1 0 13450264 973586432 233495 1992294400 4194304 7136930 140736382226208 18446744073709551615 4227480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 237692 233495 397 719 0 236971 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 950768

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21734
/proc/meminfo: memFree=815952/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=988268 CPUtime=1601.8
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 245671 0 0 0 157041 3139 0 0 25 0 1 0 13450264 1011986432 242926 1992294400 4194304 7136930 140736382226208 18446744073709551615 4862110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 247067 242926 397 719 0 246346 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 988268

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21736
/proc/meminfo: memFree=785944/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1017892 CPUtime=1661.79
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 253023 0 0 0 162936 3243 0 0 25 0 1 0 13450264 1042321408 250278 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 254473 250278 397 719 0 253752 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1017892

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21736
/proc/meminfo: memFree=756556/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1048148 CPUtime=1721.76
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 260582 0 0 0 168828 3348 0 0 25 0 1 0 13450264 1073303552 257837 1992294400 4194304 7136930 140736382226208 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 262037 257837 397 719 0 261316 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1048148

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=733244/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1069720 CPUtime=1781.75
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 266065 0 0 0 174725 3450 0 0 25 0 1 0 13450264 1095393280 263320 1992294400 4194304 7136930 140736382226208 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 267430 263320 397 719 0 266709 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1069720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=727788/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1800.05
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267407 0 0 0 176526 3479 0 0 25 0 1 0 13450264 1100832768 264662 1992294400 4194304 7136930 140736382226208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264662 397 719 0 268037 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1075032

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21680

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 21738
/proc/meminfo: memFree=727788/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1800.84
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176605 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1075032

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1801.64
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176685 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1075032

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=1075032 CPUtime=1802.04
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4202496 267412 0 0 0 176725 3479 0 0 25 0 1 0 13450264 1100832768 264667 1992294400 4194304 7136930 140736382226208 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21680/statm: 268758 264667 402 719 0 268037 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1075032

[startup+1802.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21739
/proc/meminfo: memFree=727780/2059040 swapFree=4142536/4192956
[pid=21680] ppid=21678 vsize=0 CPUtime=1802.14
/proc/21680/stat : 21680 (pbscip.linux.x8) R 21678 21680 15230 0 -1 4203524 267412 0 0 0 176727 3487 0 0 25 0 1 0 13450264 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21680/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.72
CPU time (s): 1802.17
CPU user time (s): 1767.27
CPU system time (s): 34.8947
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1075032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.27
system time used= 34.8947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267412
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= 3
involuntary context switches= 4057

runsolver used 3.03454 second user time and 8.46871 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-13 04:58:59
IDJOB=2664144
IDBENCH=2007
IDSOLVER=1167
FILE ID=node018/2664144-1276397939
PBS_JOBID= 11173262
Free space on /tmp= 62292 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664144-1276397939/watcher-2664144-1276397939 -o /tmp/evaluation-result-2664144-1276397939/solver-2664144-1276397939 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664144-1276397939.opb -t 1800 -m 1800

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=354492433

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1790384 kB
Buffers:         33292 kB
Cached:         143220 kB
SwapCached:       6916 kB
Active:         123520 kB
Inactive:        68864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1790384 kB
SwapTotal:     4192956 kB
SwapFree:      4142536 kB
Dirty:            3380 kB
Writeback:           0 kB
AnonPages:       13152 kB
Mapped:          12916 kB
Slab:            54484 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62292 MiB
End job on node018 at 2010-06-13 05:29:02