Trace number 2664138

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)-20 1802.15 1802.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM7f40f8d513f22fc9adca96d8fdf626e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved NO
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
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 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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-2664138-1276357353.opb>
0.05/0.08	c original problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
0.05/0.08	c problem read
0.05/0.08	c presolving settings loaded
0.05/0.08	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.10	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
3.99/4.04	c    (3.9s) probing: 1000/1835 (54.5%) - 0 fixings, 0 aggregations, 136373 implications, 0 bound changes
7.29/7.32	c presolving (2 rounds):
7.29/7.32	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.29/7.32	c  461024 implications, 84 cliques
7.29/7.32	c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
7.29/7.32	c     120 constraints of type <knapsack>
7.29/7.32	c      84 constraints of type <setppc>
7.29/7.32	c       2 constraints of type <linear>
7.29/7.32	c    1906 constraints of type <logicor>
7.29/7.32	c transformed objective value is always integral (scale: 1)
7.29/7.32	c Presolving Time: 7.07
7.29/7.32	c - non default parameters ----------------------------------------------------------------------
7.29/7.32	c # SCIP version 1.2.1.2
7.29/7.32	c 
7.29/7.32	c # frequency for displaying node information lines
7.29/7.32	c # [type: int, range: [-1,2147483647], default: 100]
7.29/7.32	c display/freq = 10000
7.29/7.32	c 
7.29/7.32	c # maximal time in seconds to run
7.29/7.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.32	c limits/time = 1799.93
7.29/7.32	c 
7.29/7.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.29/7.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.29/7.32	c limits/memory = 1620
7.29/7.32	c 
7.29/7.32	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
7.29/7.32	c # [type: int, range: [-1,2147483647], default: 1]
7.29/7.32	c lp/solvefreq = -1
7.29/7.32	c 
7.29/7.32	c # should presolving try to simplify inequalities
7.29/7.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.32	c constraints/linear/simplifyinequalities = TRUE
7.29/7.32	c 
7.29/7.32	c # should presolving try to simplify knapsacks
7.29/7.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.29/7.32	c constraints/knapsack/simplifyinequalities = TRUE
7.29/7.32	c 
7.29/7.32	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.29/7.32	c # [type: int, range: [-1,2147483647], default: -1]
7.29/7.32	c separating/rapidlearning/freq = 0
7.29/7.32	c 
7.29/7.32	c -----------------------------------------------------------------------------------------------
7.29/7.32	c start solving
7.29/7.33	c 
7.29/7.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.29/7.33	c   7.1s|     1 |     2 |     0 |     - |  20M|   0 |   - |1835 |2112 |   0 |   0 |   0 |   0 |   0 |-1.200000e+02 |      --      |    Inf 
26.58/26.69	c  26.2s| 10000 |  9935 |     0 |   0.0 |  25M| 849 |   - |1835 |2186 |   0 |   0 |   0 | 162 |   0 |-1.200000e+02 |      --      |    Inf 
46.08/46.13	c  45.4s| 20000 | 19868 |     0 |   0.0 |  30M| 849 |   - |1835 |2256 |   0 |   0 |   0 | 357 |   0 |-1.200000e+02 |      --      |    Inf 
64.77/64.89	c  63.9s| 30000 | 29835 |     0 |   0.0 |  34M| 849 |   - |1835 |2268 |   0 |   0 |   0 | 416 |   0 |-1.200000e+02 |      --      |    Inf 
82.96/83.09	c  81.9s| 40000 | 39789 |     0 |   0.0 |  38M| 849 |   - |1835 |2333 |   0 |   0 |   0 | 536 |   0 |-1.200000e+02 |      --      |    Inf 
100.57/100.62	c  99.1s| 50000 | 49760 |     0 |   0.0 |  42M| 849 |   - |1835 |2335 |   0 |   0 |   0 | 628 |   0 |-1.200000e+02 |      --      |    Inf 
117.56/117.67	c   116s| 60000 | 59723 |     0 |   0.0 |  46M| 849 |   - |1835 |2355 |   0 |   0 |   0 | 707 |   0 |-1.200000e+02 |      --      |    Inf 
134.45/134.59	c   133s| 70000 | 69644 |     0 |   0.0 |  51M| 849 |   - |1835 |2251 |   0 |   0 |   0 | 820 |   0 |-1.200000e+02 |      --      |    Inf 
151.66/151.77	c   150s| 80000 | 79364 |     0 |   0.0 |  57M| 849 |   - |1835 |2394 |   0 |   0 |   0 |1147 |   0 |-1.200000e+02 |      --      |    Inf 
168.44/168.57	c   166s| 90000 | 89226 |     0 |   0.0 |  62M| 849 |   - |1835 |2410 |   0 |   0 |   0 |1282 |   0 |-1.200000e+02 |      --      |    Inf 
179.74/179.85	o -14
179.74/179.85	c * 177s| 96731 | 95860 |     0 |   0.0 |  65M| 849 |   - |1835 |2477 |   0 |   0 |   0 |1426 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
184.95/185.07	c   182s|100000 | 99081 |     0 |   0.0 |  67M| 849 |   - |1835 |2527 |   0 |   0 |   0 |1534 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
201.04/201.19	c   198s|110000 |108903 |     0 |   0.0 |  72M| 849 |   - |1835 |2626 |   0 |   0 |   0 |1905 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
216.64/216.79	c   214s|120000 |118758 |     0 |   0.0 |  77M| 849 |   - |1835 |2706 |   0 |   0 |   0 |2243 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
232.43/232.54	c   229s|130000 |128608 |     0 |   0.0 |  82M| 849 |   - |1835 |2736 |   0 |   0 |   0 |2555 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
248.32/248.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
248.32/248.46	c   245s|140000 |138434 |     0 |   0.0 |  87M| 849 |   - |1835 |2833 |   0 |   0 |   0 |2951 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
263.83/263.97	c   260s|150000 |148273 |     0 |   0.0 |  92M| 849 |   - |1835 |2899 |   0 |   0 |   0 |3282 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
279.42/279.57	c   275s|160000 |158094 |     0 |   0.0 |  98M| 849 |   - |1835 |2919 |   0 |   0 |   0 |3654 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
294.92/295.04	c   291s|170000 |167944 |     0 |   0.0 | 103M| 849 |   - |1835 |2915 |   0 |   0 |   0 |3943 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
310.71/310.81	c   306s|180000 |177812 |     0 |   0.0 | 108M| 849 |   - |1835 |2897 |   0 |   0 |   0 |4168 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
326.31/326.46	c   321s|190000 |187659 |     0 |   0.0 | 113M| 849 |   - |1835 |2938 |   0 |   0 |   0 |4431 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
342.21/342.35	c   337s|200000 |197485 |     0 |   0.0 | 119M| 849 |   - |1835 |2991 |   0 |   0 |   0 |4790 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
358.20/358.36	c   353s|210000 |207288 |     0 |   0.0 | 125M| 849 |   - |1835 |3116 |   0 |   0 |   0 |5238 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
374.49/374.63	c   369s|220000 |217087 |     0 |   0.0 | 131M| 849 |   - |1835 |3230 |   0 |   0 |   0 |5763 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
390.89/391.00	c   385s|230000 |226863 |     0 |   0.0 | 137M| 849 |   - |1835 |3435 |   0 |   0 |   0 |6424 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
407.69/407.84	c   401s|240000 |236473 |     0 |   0.0 | 145M| 849 |   - |1835 |3542 |   0 |   0 |   0 |7718 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
423.98/424.11	c   417s|250000 |246116 |     0 |   0.0 | 152M| 849 |   - |1835 |3881 |   0 |   0 |   0 |8823 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
439.79/439.93	c   433s|260000 |255766 |     0 |   0.0 | 158M| 849 |   - |1835 |3663 |   0 |   0 |   0 |9794 |   0 |-1.200000e+02 |-1.400000e+01 |  88.33%
455.77/455.98	o -16
455.77/455.98	c * 449s|269146 |264168 |     0 |   0.0 | 167M| 849 |   - |1835 |4198 |   0 |   0 |   0 |  12k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
457.28/457.43	c   450s|270000 |264964 |     0 |   0.0 | 167M| 849 |   - |1835 |4072 |   0 |   0 |   0 |  12k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
475.17/475.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
475.17/475.34	c   468s|280000 |274081 |     0 |   0.0 | 174M| 849 |   - |1835 |3180 |   0 |   0 |   0 |  14k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
491.67/491.82	c   484s|290000 |283435 |     0 |   0.0 | 181M| 849 |   - |1835 |3247 |   0 |   0 |   0 |  15k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
507.86/508.05	c   500s|300000 |292846 |     0 |   0.0 | 188M| 849 |   - |1835 |3413 |   0 |   0 |   0 |  16k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
523.96/524.16	c   516s|310000 |302328 |     0 |   0.0 | 194M| 849 |   - |1835 |3518 |   0 |   0 |   0 |  17k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
540.16/540.31	c   532s|320000 |311691 |     0 |   0.0 | 201M| 849 |   - |1835 |3792 |   0 |   0 |   0 |  18k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
555.96/556.16	c   547s|330000 |321195 |     0 |   0.0 | 207M| 849 |   - |1835 |3771 |   0 |   0 |   0 |  19k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
571.86/572.04	c   563s|340000 |330732 |     0 |   0.0 | 213M| 849 |   - |1835 |3851 |   0 |   0 |   0 |  20k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
587.55/587.74	c   578s|350000 |340267 |     0 |   0.0 | 219M| 849 |   - |1835 |3913 |   0 |   0 |   0 |  21k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
604.04/604.21	c   594s|360000 |349734 |     0 |   0.0 | 226M| 849 |   - |1835 |3837 |   0 |   0 |   0 |  22k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
619.74/619.98	c   610s|370000 |359295 |     0 |   0.0 | 232M| 849 |   - |1835 |3905 |   0 |   0 |   0 |  22k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
635.94/636.17	c   626s|380000 |368803 |     0 |   0.0 | 238M| 849 |   - |1835 |3892 |   0 |   0 |   0 |  23k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
651.83/652.01	c   641s|390000 |378377 |     0 |   0.0 | 244M| 849 |   - |1835 |3965 |   0 |   0 |   0 |  24k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
667.83/668.06	c   657s|400000 |387912 |     0 |   0.0 | 250M| 849 |   - |1835 |3778 |   0 |   0 |   0 |  25k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
683.52/683.70	c   672s|410000 |397455 |     0 |   0.0 | 256M| 849 |   - |1835 |3907 |   0 |   0 |   0 |  26k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
699.22/699.49	c   688s|420000 |406990 |     0 |   0.0 | 262M| 849 |   - |1835 |3877 |   0 |   0 |   0 |  27k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
714.83/715.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
714.83/715.05	c   703s|430000 |416593 |     0 |   0.0 | 267M| 849 |   - |1835 |3886 |   0 |   0 |   0 |  27k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
730.41/730.65	c   718s|440000 |426204 |     0 |   0.0 | 273M| 849 |   - |1835 |3994 |   0 |   0 |   0 |  28k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
746.21/746.41	c   734s|450000 |435733 |     0 |   0.0 | 279M| 849 |   - |1835 |3975 |   0 |   0 |   0 |  29k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
762.01/762.28	c   750s|460000 |445292 |     0 |   0.0 | 285M| 849 |   - |1835 |4013 |   0 |   0 |   0 |  30k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
777.70/777.92	c   765s|470000 |454952 |     0 |   0.0 | 291M| 849 |   - |1835 |3891 |   0 |   0 |   0 |  30k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
793.50/793.73	c   780s|480000 |464584 |     0 |   0.0 | 296M| 849 |   - |1835 |4060 |   0 |   0 |   0 |  31k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
809.40/809.65	c   796s|490000 |474143 |     0 |   0.0 | 302M| 849 |   - |1835 |3981 |   0 |   0 |   0 |  32k|   0 |-1.200000e+02 |-1.600000e+01 |  86.67%
820.09/820.38	o -17
820.09/820.38	c * 807s|496736 |480573 |     0 |   0.0 | 306M| 849 |   - |1835 |3983 |   0 |   0 |   0 |  32k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
825.28/825.58	c   812s|500000 |483681 |     0 |   0.0 | 308M| 849 |   - |1835 |4012 |   0 |   0 |   0 |  33k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
841.29/841.55	c   827s|510000 |493216 |     0 |   0.0 | 314M| 849 |   - |1835 |4131 |   0 |   0 |   0 |  33k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
857.38/857.61	c   843s|520000 |502732 |     0 |   0.0 | 321M| 849 |   - |1835 |4184 |   0 |   0 |   0 |  34k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
873.09/873.30	c   859s|530000 |512279 |     0 |   0.0 | 326M| 849 |   - |1835 |4278 |   0 |   0 |   0 |  35k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
888.48/888.79	c   874s|540000 |521875 |     0 |   0.0 | 332M| 849 |   - |1835 |4135 |   0 |   0 |   0 |  36k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
903.47/903.78	c   888s|550000 |531557 |     0 |   0.0 | 337M| 849 |   - |1835 |4287 |   0 |   0 |   0 |  36k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
918.67/918.97	c   903s|560000 |541193 |     0 |   0.0 | 343M| 849 |   - |1835 |4448 |   0 |   0 |   0 |  37k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
934.47/934.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
934.47/934.75	c   919s|570000 |550726 |     0 |   0.0 | 349M| 849 |   - |1835 |4324 |   0 |   0 |   0 |  38k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
950.17/950.49	c   934s|580000 |560239 |     0 |   0.0 | 356M| 849 |   - |1835 |4317 |   0 |   0 |   0 |  39k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
965.96/966.25	c   950s|590000 |569806 |     0 |   0.0 | 362M| 849 |   - |1835 |4221 |   0 |   0 |   0 |  40k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
981.86/982.16	c   965s|600000 |579370 |     0 |   0.0 | 367M| 849 |   - |1835 |4226 |   0 |   0 |   0 |  41k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
997.55/997.86	c   981s|610000 |588950 |     0 |   0.0 | 374M| 849 |   - |1835 |4221 |   0 |   0 |   0 |  42k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1013.44/1013.74	c   996s|620000 |598395 |     0 |   0.0 | 380M| 849 |   - |1835 |4408 |   0 |   0 |   0 |  43k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1028.74/1029.04	c  1011s|630000 |607953 |     0 |   0.0 | 386M| 849 |   - |1835 |4421 |   0 |   0 |   0 |  44k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1044.34/1044.62	c  1027s|640000 |617452 |     0 |   0.0 | 393M| 849 |   - |1835 |4453 |   0 |   0 |   0 |  45k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1059.94/1060.30	c  1042s|650000 |626917 |     0 |   0.0 | 401M| 849 |   - |1835 |4598 |   0 |   0 |   0 |  47k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1075.44/1075.75	c  1057s|660000 |636384 |     0 |   0.0 | 408M| 849 |   - |1835 |4689 |   0 |   0 |   0 |  48k|   0 |-1.200000e+02 |-1.700000e+01 |  85.83%
1079.84/1080.15	o -20
1079.84/1080.15	c *1061s|662502 |638540 |     0 |   0.0 | 410M| 849 |   - |1835 |4699 |   0 |   0 |   0 |  49k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1092.63/1092.92	c  1074s|670000 |645849 |     0 |   0.0 | 413M| 849 |   - |1835 |3878 |   0 |   0 |   0 |  49k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1109.02/1109.39	c  1090s|680000 |655575 |     0 |   0.0 | 418M| 849 |   - |1835 |3655 |   0 |   0 |   0 |  50k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1125.81/1126.14	c  1107s|690000 |665289 |     0 |   0.0 | 424M| 849 |   - |1835 |3396 |   0 |   0 |   0 |  50k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1141.61/1141.94	c  1122s|700000 |675100 |     0 |   0.0 | 429M| 849 |   - |1835 |3141 |   0 |   0 |   0 |  50k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1157.41/1157.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1157.41/1157.71	c  1138s|710000 |684916 |     0 |   0.0 | 434M| 849 |   - |1835 |3142 |   0 |   0 |   0 |  51k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1173.50/1173.88	c  1154s|720000 |694733 |     0 |   0.0 | 438M| 849 |   - |1835 |3139 |   0 |   0 |   0 |  51k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1189.50/1189.86	c  1169s|730000 |704570 |     0 |   0.0 | 443M| 849 |   - |1835 |3154 |   0 |   0 |   0 |  51k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1204.99/1205.36	c  1185s|740000 |714402 |     0 |   0.0 | 448M| 849 |   - |1835 |3136 |   0 |   0 |   0 |  52k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1220.99/1221.37	c  1200s|750000 |724241 |     0 |   0.0 | 453M| 849 |   - |1835 |3125 |   0 |   0 |   0 |  52k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1237.48/1237.86	c  1217s|760000 |734036 |     0 |   0.0 | 457M| 849 |   - |1835 |3188 |   0 |   0 |   0 |  52k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1253.78/1254.11	c  1233s|770000 |743873 |     0 |   0.0 | 462M| 849 |   - |1835 |3247 |   0 |   0 |   0 |  53k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1269.78/1270.18	c  1248s|780000 |753559 |     0 |   0.0 | 467M| 849 |   - |1835 |3280 |   0 |   0 |   0 |  53k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1285.97/1286.33	c  1264s|790000 |763412 |     0 |   0.0 | 472M| 849 |   - |1835 |3263 |   0 |   0 |   0 |  53k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1302.17/1302.56	c  1280s|800000 |773243 |     0 |   0.0 | 477M| 849 |   - |1835 |3326 |   0 |   0 |   0 |  54k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1318.17/1318.59	c  1296s|810000 |783065 |     0 |   0.0 | 482M| 849 |   - |1835 |3338 |   0 |   0 |   0 |  54k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1333.86/1334.22	c  1311s|820000 |792952 |     0 |   0.0 | 486M| 849 |   - |1835 |3282 |   0 |   0 |   0 |  54k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1349.85/1350.25	c  1327s|830000 |802794 |     0 |   0.0 | 491M| 849 |   - |1835 |3304 |   0 |   0 |   0 |  55k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1366.16/1366.59	c  1343s|840000 |812617 |     0 |   0.0 | 496M| 849 |   - |1835 |3373 |   0 |   0 |   0 |  55k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1382.15/1382.50	c  1359s|850000 |822466 |     0 |   0.0 | 500M| 849 |   - |1835 |3362 |   0 |   0 |   0 |  55k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1397.65/1398.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1397.65/1398.08	c  1374s|860000 |832302 |     0 |   0.0 | 505M| 849 |   - |1835 |3369 |   0 |   0 |   0 |  56k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1414.04/1414.48	c  1390s|870000 |842116 |     0 |   0.0 | 510M| 849 |   - |1835 |3333 |   0 |   0 |   0 |  56k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1430.64/1431.01	c  1407s|880000 |851915 |     0 |   0.0 | 515M| 849 |   - |1835 |3305 |   0 |   0 |   0 |  56k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1446.54/1446.93	c  1422s|890000 |861743 |     0 |   0.0 | 521M| 849 |   - |1835 |3331 |   0 |   0 |   0 |  57k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1461.93/1462.30	c  1437s|900000 |871560 |     0 |   0.0 | 526M| 849 |   - |1835 |3329 |   0 |   0 |   0 |  57k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1477.93/1478.35	c  1453s|910000 |881376 |     0 |   0.0 | 531M| 849 |   - |1835 |3354 |   0 |   0 |   0 |  57k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1493.92/1494.38	c  1469s|920000 |891148 |     0 |   0.0 | 536M| 849 |   - |1835 |3420 |   0 |   0 |   0 |  58k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1510.12/1510.59	c  1485s|930000 |900936 |     0 |   0.0 | 540M| 849 |   - |1835 |3444 |   0 |   0 |   0 |  58k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1526.51/1526.92	c  1501s|940000 |910633 |     0 |   0.0 | 545M| 849 |   - |1835 |3464 |   0 |   0 |   0 |  59k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1542.51/1542.94	c  1517s|950000 |920464 |     0 |   0.0 | 551M| 849 |   - |1835 |3436 |   0 |   0 |   0 |  59k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1558.61/1559.05	c  1533s|960000 |930259 |     0 |   0.0 | 556M| 849 |   - |1835 |3469 |   0 |   0 |   0 |  59k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1574.60/1575.07	c  1548s|970000 |940033 |     0 |   0.0 | 562M| 849 |   - |1835 |3625 |   0 |   0 |   0 |  60k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1590.40/1590.83	c  1564s|980000 |949815 |     0 |   0.0 | 568M| 849 |   - |1835 |3705 |   0 |   0 |   0 |  60k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1606.40/1606.85	c  1580s|990000 |959668 |     0 |   0.0 | 573M| 849 |   - |1835 |3687 |   0 |   0 |   0 |  61k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1622.70/1623.10	c  1596s|  1000k|969490 |     0 |   0.0 | 578M| 849 |   - |1835 |3773 |   0 |   0 |   0 |  61k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1638.79/1639.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1638.79/1639.25	c  1611s|  1010k|979247 |     0 |   0.0 | 584M| 849 |   - |1835 |4116 |   0 |   0 |   0 |  62k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1654.68/1655.11	c  1627s|  1020k|988769 |     0 |   0.0 | 591M| 849 |   - |1835 |4359 |   0 |   0 |   0 |  64k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1671.89/1672.31	c  1644s|  1030k|997944 |     0 |   0.0 | 599M| 849 |   - |1835 |4588 |   0 |   0 |   0 |  66k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1688.09/1688.54	c  1660s|  1040k|  1007k|     0 |   0.0 | 605M| 849 |   - |1835 |4097 |   0 |   0 |   0 |  68k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1703.17/1703.65	c  1675s|  1050k|  1016k|     0 |   0.0 | 613M| 849 |   - |1835 |4397 |   0 |   0 |   0 |  69k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1718.97/1719.46	c  1690s|  1060k|  1025k|     0 |   0.0 | 619M| 849 |   - |1835 |4313 |   0 |   0 |   0 |  71k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1734.18/1734.70	c  1705s|  1070k|  1034k|     0 |   0.0 | 627M| 849 |   - |1835 |4503 |   0 |   0 |   0 |  73k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1749.96/1750.48	c  1720s|  1080k|  1043k|     0 |   0.0 | 634M| 849 |   - |1835 |4635 |   0 |   0 |   0 |  74k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1765.86/1766.31	c  1736s|  1090k|  1053k|     0 |   0.0 | 641M| 849 |   - |1835 |4510 |   0 |   0 |   0 |  76k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1782.26/1782.73	c  1752s|  1100k|  1062k|     0 |   0.0 | 649M| 849 |   - |1835 |4924 |   0 |   0 |   0 |  78k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1798.65/1799.10	c  1768s|  1110k|  1071k|     0 |   0.0 | 656M| 849 |   - |1835 |4787 |   0 |   0 |   0 |  80k|   0 |-1.200000e+02 |-2.000000e+01 |  83.33%
1800.05/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51	c 
1800.05/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.51	c Solving Time (sec) : 1769.54
1800.05/1800.51	c Solving Nodes      : 1110821
1800.05/1800.51	c Primal Bound       : -2.00000000000000e+01 (4 solutions)
1800.05/1800.51	c Dual Bound         : -1.20000000000000e+02
1800.05/1800.51	c Gap                : 83.33 %
1800.05/1800.51	s SATISFIABLE
1800.05/1800.51	v -x132 -x150 -x151 -x153 -x122 -x124 -x126 -x127 -x129 -x131 -x134 -x135 -x137 -x138 -x141 -x145 -x147 -x149 -x517 -x535 -x536 x538 
1800.05/1800.51	v -x507 -x509 -x511 -x512 -x514 -x516 -x519 -x520 -x522 -x523 -x526 -x530 -x532 -x534 -x902 -x920 -x921 -x923 -x892 -x894 -x896 
1800.05/1800.51	v -x897 -x899 -x901 -x904 -x905 -x907 -x908 -x911 -x915 -x917 -x919 -x1287 -x1305 -x1306 -x1308 -x1277 -x1279 -x1281 -x1282 
1800.05/1800.51	v -x1284 -x1286 -x1289 -x1290 -x1292 -x1293 -x1296 -x1300 -x1302 -x1304 -x1672 -x1690 -x1691 -x1693 -x1662 -x1664 -x1666 -x1667 
1800.05/1800.51	v -x1669 -x1671 -x1674 -x1675 -x1677 -x1678 -x1681 -x1685 -x1687 -x1689 -x1707 -x1725 -x1726 -x1728 -x1697 -x1699 -x1701 -x1702 
1800.05/1800.51	v -x1704 -x1706 -x1709 -x1710 -x1712 -x1713 -x1716 -x1720 -x1722 -x1724 -x1742 -x1760 -x1761 -x1763 -x1732 -x1734 -x1736 -x1737 
1800.05/1800.51	v -x1739 -x1741 -x1744 -x1745 -x1747 -x1748 -x1751 -x1755 -x1757 -x1759 -x1777 -x1795 x1796 -x1798 -x1767 -x1769 -x1771 -x1772 
1800.05/1800.51	v -x1774 -x1776 -x1779 -x1780 -x1782 -x1783 -x1786 -x1790 -x1792 -x1794 -x1812 -x1830 -x1831 -x1833 -x1802 -x1804 -x1806 -x1807 
1800.05/1800.51	v -x1809 -x1811 -x1814 -x1815 -x1817 -x1818 -x1821 -x1825 -x1827 -x1829 -x167 -x185 -x186 -x188 -x157 -x159 -x161 -x162 -x164 
1800.05/1800.51	v x166 -x169 -x170 -x172 -x173 -x176 -x180 -x182 -x184 -x202 -x220 -x221 -x223 -x192 -x194 -x196 -x197 -x199 -x201 -x204 -x205 
1800.05/1800.51	v -x207 -x208 -x211 -x215 -x217 -x219 -x237 -x255 -x256 -x258 -x227 -x229 -x231 -x232 -x234 -x236 x239 -x240 -x242 -x243 -x246 
1800.05/1800.51	v -x250 -x252 -x254 -x272 -x290 -x291 -x293 -x262 -x264 -x266 -x267 -x269 -x271 -x274 -x275 -x277 -x278 -x281 -x285 -x287 
1800.05/1800.51	v -x289 -x307 -x325 -x326 -x328 -x297 -x299 -x301 -x302 -x304 -x306 -x309 -x310 -x312 -x313 -x316 -x320 -x322 -x324 -x342 x360 
1800.05/1800.51	v -x361 -x363 -x332 -x334 -x336 -x337 -x339 -x341 -x344 -x345 -x347 -x348 -x351 -x355 -x357 -x359 -x377 -x395 -x396 -x398 -x367 
1800.05/1800.51	v -x369 -x371 -x372 -x374 -x376 -x379 -x380 -x382 -x383 -x386 -x390 -x392 -x394 -x412 -x430 -x431 -x433 -x402 -x404 -x406 -x407 
1800.05/1800.51	v -x409 -x411 -x414 -x415 -x417 -x418 -x421 -x425 -x427 -x429 -x447 -x465 -x466 -x468 -x437 -x439 -x441 -x442 -x444 -x446 -x449 
1800.05/1800.51	v -x450 -x452 -x453 -x456 -x460 -x462 -x464 -x482 -x500 -x501 -x503 -x472 -x474 -x476 -x477 -x479 -x481 -x484 -x485 -x487 -x488 
1800.05/1800.51	v -x491 -x495 -x497 -x499 -x552 -x570 -x571 -x573 -x542 -x544 -x546 -x547 -x549 -x551 -x554 x555 -x557 -x558 -x561 -x565 -x567 
1800.05/1800.51	v -x569 -x587 -x605 -x606 -x608 -x577 -x579 -x581 -x582 -x584 -x586 -x589 -x590 -x592 -x593 -x596 -x600 -x602 -x604 -x622 -x640 
1800.05/1800.51	v -x641 -x643 -x612 -x614 -x616 -x617 -x619 -x621 -x624 -x625 -x627 -x628 -x631 -x635 -x637 -x639 x657 -x675 -x676 -x678 -x647 
1800.05/1800.51	v -x649 -x651 -x652 -x654 -x656 -x659 -x660 -x662 -x663 -x666 -x670 -x672 -x674 -x692 -x710 -x711 -x713 x682 -x684 -x686 -x687 
1800.05/1800.51	v -x689 -x691 -x694 -x695 -x697 -x698 -x701 -x705 -x707 -x709 -x727 -x745 -x746 -x748 -x717 x719 -x721 -x722 -x724 -x726 -x729 
1800.05/1800.51	v -x730 -x732 -x733 -x736 -x740 -x742 -x744 -x762 -x780 -x781 -x783 -x752 -x754 -x756 -x757 x759 -x761 -x764 -x765 -x767 -x768 
1800.05/1800.51	v -x771 -x775 -x777 -x779 -x797 -x815 -x816 -x818 -x787 -x789 -x791 x792 -x794 -x796 -x799 -x800 -x802 -x803 -x806 -x810 -x812 
1800.05/1800.51	v -x814 -x832 -x850 -x851 -x853 -x822 -x824 -x826 -x827 -x829 -x831 -x834 -x835 -x837 -x838 -x841 -x845 -x847 -x849 -x867 
1800.05/1800.51	v -x885 -x886 -x888 -x857 -x859 -x861 -x862 -x864 -x866 -x869 -x870 -x872 -x873 -x876 -x880 -x882 -x884 -x937 -x955 -x956 -x958 
1800.05/1800.51	v -x927 -x929 -x931 -x932 -x934 -x936 -x939 -x940 -x942 -x943 -x946 -x950 -x952 x954 -x972 -x990 -x991 -x993 -x962 -x964 -x966 
1800.05/1800.51	v -x967 -x969 -x971 -x974 -x975 -x977 -x978 -x981 -x985 -x987 -x989 -x1007 -x1025 -x1026 -x1028 -x997 -x999 -x1001 -x1002 -x1004 
1800.05/1800.51	v -x1006 -x1009 -x1010 -x1012 -x1013 -x1016 -x1020 -x1022 -x1024 -x1042 -x1060 -x1061 -x1063 -x1032 -x1034 -x1036 -x1037 -x1039 
1800.05/1800.51	v -x1041 -x1044 -x1045 -x1047 -x1048 -x1051 -x1055 -x1057 -x1059 -x1077 -x1095 -x1096 -x1098 -x1067 -x1069 x1071 -x1072 -x1074 
1800.05/1800.51	v -x1076 -x1079 -x1080 -x1082 -x1083 -x1086 -x1090 -x1092 -x1094 -x1112 -x1130 -x1131 -x1133 -x1102 -x1104 -x1106 -x1107 -x1109 
1800.05/1800.51	v -x1111 -x1114 -x1115 x1117 -x1118 -x1121 -x1125 -x1127 -x1129 -x1147 -x1165 -x1166 -x1168 -x1137 -x1139 -x1141 -x1142 -x1144 
1800.05/1800.51	v -x1146 -x1149 -x1150 -x1152 -x1153 -x1156 -x1160 -x1162 -x1164 -x1182 -x1200 -x1201 -x1203 -x1172 -x1174 -x1176 -x1177 -x1179 
1800.05/1800.51	v -x1181 -x1184 -x1185 -x1187 -x1188 -x1191 -x1195 -x1197 -x1199 -x1217 -x1235 -x1236 -x1238 -x1207 -x1209 -x1211 -x1212 
1800.05/1800.51	v -x1214 -x1216 -x1219 -x1220 -x1222 -x1223 -x1226 -x1230 x1232 -x1234 -x1252 -x1270 -x1271 -x1273 -x1242 -x1244 -x1246 -x1247 
1800.05/1800.51	v -x1249 -x1251 -x1254 -x1255 -x1257 -x1258 -x1261 -x1265 -x1267 -x1269 -x1322 -x1340 -x1341 -x1343 -x1312 -x1314 -x1316 -x1317 
1800.05/1800.51	v -x1319 -x1321 -x1324 -x1325 -x1327 -x1328 -x1331 -x1335 -x1337 -x1339 -x1357 -x1375 -x1376 -x1378 -x1347 -x1349 -x1351 -x1352 
1800.05/1800.51	v -x1354 -x1356 -x1359 -x1360 -x1362 -x1363 -x1366 -x1370 -x1372 -x1374 -x1392 -x1410 -x1411 -x1413 -x1382 -x1384 -x1386 -x1387 
1800.05/1800.51	v -x1389 -x1391 -x1394 -x1395 -x1397 x1398 -x1401 -x1405 -x1407 -x1409 -x1427 -x1445 -x1446 -x1448 -x1417 -x1419 -x1421 -x1422 
1800.05/1800.51	v -x1424 -x1426 -x1429 -x1430 -x1432 -x1433 -x1436 -x1440 -x1442 -x1444 -x1462 -x1480 -x1481 -x1483 -x1452 -x1454 -x1456 -x1457 
1800.05/1800.51	v -x1459 -x1461 -x1464 -x1465 -x1467 -x1468 -x1471 -x1475 -x1477 -x1479 -x1497 -x1515 -x1516 -x1518 -x1487 -x1489 -x1491 -x1492 
1800.05/1800.51	v -x1494 -x1496 -x1499 -x1500 -x1502 -x1503 -x1506 -x1510 -x1512 -x1514 -x1532 -x1550 -x1551 -x1553 -x1522 -x1524 -x1526 -x1527 
1800.05/1800.51	v -x1529 -x1531 -x1534 -x1535 -x1537 -x1538 -x1541 x1545 -x1547 -x1549 -x1567 -x1585 -x1586 -x1588 -x1557 -x1559 -x1561 -x1562 
1800.05/1800.51	v -x1564 -x1566 -x1569 -x1570 -x1572 -x1573 -x1576 -x1580 -x1582 -x1584 -x1602 -x1620 -x1621 -x1623 -x1592 -x1594 -x1596 
1800.05/1800.51	v -x1597 -x1599 -x1601 -x1604 -x1605 -x1607 -x1608 x1611 -x1615 -x1617 -x1619 -x1637 -x1655 -x1656 -x1658 -x1627 -x1629 -x1631 
1800.05/1800.51	v -x1632 -x1634 -x1636 -x1639 -x1640 -x1642 -x1643 -x1646 -x1650 -x1652 -x1654 -x1626 -x1648 -x1657 -x1659 -x1660 -x1628 -x1630 
1800.05/1800.51	v -x1633 -x1635 -x1638 -x1641 x1644 -x1645 -x1647 -x1649 -x1651 -x1653 -x1381 -x1403 -x1412 -x1414 -x1415 -x1383 -x1385 -x1388 
1800.05/1800.51	v -x1390 -x1393 -x1396 -x1399 -x1400 -x1402 -x1404 -x1406 -x1408 -x1101 -x1123 -x1132 -x1134 -x1135 -x1103 -x1105 -x1108 -x1110 
1800.05/1800.51	v -x1113 -x1116 -x1119 -x1120 -x1122 -x1124 -x1126 -x1128 -x821 -x843 -x852 -x854 -x855 -x823 -x825 -x828 -x830 -x833 x836 -x839 
1800.05/1800.51	v -x840 -x842 -x844 -x846 -x848 -x576 -x598 -x607 -x609 -x610 -x578 -x580 -x583 -x585 -x588 -x591 -x594 -x595 -x597 -x599 -x601 
1800.05/1800.51	v -x603 -x296 -x318 -x327 -x329 -x330 -x298 -x300 -x303 -x305 -x308 -x311 -x314 -x315 -x317 -x319 -x321 -x323 -x156 -x178 
1800.05/1800.51	v -x187 -x189 -x190 -x158 -x160 -x163 -x165 -x168 -x171 -x174 -x175 -x177 -x179 -x181 -x183 -x1801 -x1823 -x1832 x1834 -x1835 -x1803 
1800.05/1800.51	v -x1805 -x1808 -x1810 -x1813 -x1816 -x1819 -x1820 -x1822 -x1824 -x1826 -x1828 -x1766 -x1788 -x1797 -x1799 -x1800 -x1768 
1800.05/1800.51	v -x1770 -x1773 -x1775 -x1778 -x1781 -x1784 -x1785 -x1787 -x1789 -x1791 -x1793 -x1731 -x1753 -x1762 -x1764 -x1765 -x1733 -x1735 
1800.05/1800.51	v -x1738 -x1740 -x1743 -x1746 -x1749 -x1750 -x1752 -x1754 -x1756 -x1758 -x1696 -x1718 -x1727 -x1729 -x1730 -x1698 -x1700 -x1703 
1800.05/1800.51	v -x1705 -x1708 -x1711 -x1714 -x1715 -x1717 -x1719 -x1721 -x1723 -x1661 -x1683 -x1692 -x1694 -x1695 -x1663 -x1665 -x1668 -x1670 
1800.05/1800.51	v -x1673 -x1676 -x1679 -x1680 -x1682 -x1684 -x1686 -x1688 -x1591 -x1613 -x1622 -x1624 -x1625 -x1593 -x1595 -x1598 -x1600 -x1603 
1800.05/1800.51	v -x1606 -x1609 -x1610 -x1612 -x1614 -x1616 -x1618 -x1556 -x1578 -x1587 -x1589 -x1590 -x1558 -x1560 -x1563 -x1565 -x1568 -x1571 
1800.05/1800.51	v -x1574 -x1575 -x1577 x1579 -x1581 -x1583 -x1521 -x1543 -x1552 -x1554 -x1555 -x1523 -x1525 -x1528 -x1530 -x1533 -x1536 -x1539 
1800.05/1800.51	v -x1540 -x1542 -x1544 -x1546 -x1548 -x1276 -x1298 -x1307 -x1309 -x1310 -x1278 -x1280 -x1283 -x1285 -x1288 -x1291 -x1294 -x1295 
1800.05/1800.51	v -x1297 -x1299 -x1301 -x1303 -x1486 -x1508 -x1517 -x1519 -x1520 -x1488 -x1490 -x1493 -x1495 -x1498 -x1501 -x1504 -x1505 
1800.05/1800.51	v -x1507 -x1509 -x1511 -x1513 -x1451 -x1473 -x1482 -x1484 -x1485 -x1453 -x1455 -x1458 -x1460 -x1463 -x1466 -x1469 -x1470 -x1472 
1800.05/1800.51	v -x1474 -x1476 -x1478 -x1416 -x1438 -x1447 -x1449 -x1450 -x1418 -x1420 -x1423 -x1425 -x1428 -x1431 -x1434 -x1435 -x1437 -x1439 
1800.05/1800.51	v -x1441 -x1443 -x891 -x913 -x922 -x924 -x925 -x893 -x895 -x898 -x900 -x903 -x906 -x909 -x910 -x912 -x914 -x916 -x918 -x506 -x528 
1800.05/1800.51	v -x537 -x539 -x540 -x508 -x510 -x513 -x515 -x518 -x521 -x524 -x525 -x527 -x529 -x531 -x533 -x401 -x423 -x432 -x434 x435 -x403 
1800.05/1800.51	v -x405 -x408 -x410 -x413 -x416 -x419 -x420 -x422 -x424 -x426 -x428 -x366 x388 -x397 -x399 -x400 -x368 -x370 -x373 -x375 -x378 
1800.05/1800.51	v -x381 -x384 -x385 -x387 -x389 -x391 -x393 -x331 -x353 -x362 -x364 -x365 -x333 -x335 -x338 -x340 -x343 -x346 -x349 -x350 
1800.05/1800.51	v -x352 -x354 -x356 -x358 -x1346 -x1368 -x1377 -x1379 -x1380 -x1348 -x1350 -x1353 -x1355 -x1358 -x1361 -x1364 x1365 -x1367 -x1369 
1800.05/1800.51	v -x1371 -x1373 -x261 -x283 -x292 -x294 -x295 -x263 -x265 -x268 -x270 -x273 -x276 -x279 -x280 -x282 -x284 -x286 -x288 -x1311 
1800.05/1800.51	v -x1333 -x1342 -x1344 -x1345 -x1313 -x1315 -x1318 -x1320 -x1323 -x1326 -x1329 -x1330 x1332 -x1334 -x1336 -x1338 -x1241 -x1263 
1800.05/1800.51	v -x1272 -x1274 -x1275 -x1243 -x1245 -x1248 -x1250 -x1253 -x1256 -x1259 -x1260 -x1262 -x1264 x1266 -x1268 -x1206 -x1228 -x1237 
1800.05/1800.51	v -x1239 -x1240 -x1208 -x1210 -x1213 -x1215 -x1218 -x1221 -x1224 -x1225 -x1227 -x1229 -x1231 -x1233 -x1171 -x1193 -x1202 -x1204 
1800.05/1800.51	v -x1205 -x1173 -x1175 -x1178 -x1180 -x1183 -x1186 -x1189 -x1190 -x1192 -x1194 -x1196 -x1198 -x1136 -x1158 -x1167 -x1169 -x1170 
1800.05/1800.51	v -x1138 -x1140 -x1143 -x1145 -x1148 -x1151 -x1154 -x1155 -x1157 -x1159 -x1161 -x1163 -x1066 -x1088 -x1097 -x1099 -x1100 -x1068 
1800.05/1800.51	v -x1070 -x1073 -x1075 -x1078 -x1081 -x1084 -x1085 -x1087 -x1089 -x1091 -x1093 -x1031 -x1053 -x1062 -x1064 -x1065 -x1033 x1035 
1800.05/1800.51	v -x1038 -x1040 -x1043 -x1046 -x1049 -x1050 -x1052 -x1054 -x1056 -x1058 -x996 -x1018 -x1027 -x1029 -x1030 x998 -x1000 -x1003 
1800.05/1800.51	v -x1005 -x1008 -x1011 -x1014 -x1015 -x1017 -x1019 -x1021 -x1023 -x961 -x983 -x992 -x994 -x995 -x963 -x965 -x968 -x970 -x973 
1800.05/1800.51	v -x976 -x979 -x980 -x982 -x984 -x986 x988 -x926 -x948 -x957 -x959 -x960 -x928 -x930 -x933 -x935 -x938 -x941 -x944 -x945 -x947 
1800.05/1800.51	v -x949 -x951 -x953 -x226 -x248 -x257 -x259 -x260 -x228 -x230 -x233 -x235 -x238 -x241 -x244 -x245 -x247 -x249 -x251 -x253 -x856 
1800.05/1800.51	v -x878 -x887 -x889 -x890 -x858 -x860 -x863 -x865 -x868 -x871 -x874 -x875 -x877 -x879 -x881 -x883 -x786 -x808 -x817 -x819 -x820 
1800.05/1800.51	v -x788 -x790 -x793 -x795 -x798 -x801 -x804 -x805 -x807 -x809 -x811 -x813 -x751 -x773 -x782 -x784 -x785 -x753 -x755 -x758 -x760 
1800.05/1800.51	v -x763 -x766 -x769 -x770 -x772 -x774 -x776 -x778 -x716 -x738 -x747 -x749 -x750 -x718 -x720 -x723 -x725 -x728 -x731 -x734 -x735 
1800.05/1800.51	v -x737 -x739 -x741 -x743 -x681 -x703 -x712 -x714 -x715 -x683 -x685 -x688 -x690 -x693 -x696 -x699 -x700 -x702 -x704 -x706 -x708 
1800.05/1800.51	v -x646 -x668 -x677 -x679 -x680 -x648 -x650 -x653 -x655 -x658 -x661 -x664 -x665 -x667 -x669 -x671 -x673 x611 -x633 -x642 -x644 
1800.05/1800.51	v -x645 -x613 -x615 -x618 -x620 -x623 -x626 -x629 -x630 -x632 -x634 -x636 -x638 -x541 -x563 -x572 -x574 -x575 -x543 -x545 
1800.05/1800.51	v -x548 -x550 -x553 -x556 -x559 -x560 -x562 -x564 -x566 -x568 -x471 -x493 -x502 -x504 -x505 -x473 -x475 x478 -x480 -x483 -x486 
1800.05/1800.51	v -x489 -x490 -x492 -x494 -x496 -x498 -x436 -x458 -x467 -x469 -x470 -x438 -x440 -x443 x445 -x448 -x451 -x454 -x455 -x457 -x459 
1800.05/1800.51	v -x461 -x463 -x191 -x213 -x222 -x224 -x225 -x193 -x195 -x198 -x200 x203 -x206 -x209 -x210 -x212 -x214 -x216 -x218 -x121 -x143 
1800.05/1800.51	v x152 -x154 -x155 -x123 -x125 -x128 -x130 -x133 -x136 -x139 -x140 -x142 -x144 -x146 -x148 x100 -x97 x91 -x88 -x85 -x82 -x78 x75 
1800.05/1800.51	v x72 x69 -x66 -x60 -x56 -x53 -x50 -x47 -x44 -x41 -x37 -x31 -x28 -x25 -x22 -x19 -x15 -x12 x9 -x6 x120 -x116 -x112 -x109 -x93 
1800.05/1800.51	v -x62 -x32 x3 -x101 -x99 x96 -x90 -x87 -x84 -x81 -x79 -x77 x74 x71 -x68 -x65 -x59 -x57 -x55 -x52 -x49 -x46 -x43 -x40 -x38 -x36 
1800.05/1800.51	v -x30 -x27 -x24 -x21 -x18 -x16 -x14 -x11 x8 -x5 x119 -x115 -x114 -x111 -x108 -x92 -x61 -x34 -x2 -x107 -x106 -x105 -x104 -x103 
1800.05/1800.51	v -x102 -x98 x95 x89 -x86 -x83 -x80 -x76 -x73 x70 x67 -x64 -x58 -x54 -x51 -x48 -x45 -x42 -x39 -x35 -x29 x26 x23 x20 -x17 -x13 
1800.05/1800.51	v -x10 -x7 -x4 -x118 -x117 -x113 -x110 -x94 -x63 -x33 -x1 
1800.05/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.51	c Solving Time       :    1769.54
1800.05/1800.51	c Original Problem   :
1800.05/1800.51	c   Problem name     : HOME/instance-2664138-1276357353.opb
1800.05/1800.51	c   Variables        : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51	c   Constraints      : 2112 initial, 2112 maximal
1800.05/1800.51	c Presolved Problem  :
1800.05/1800.51	c   Problem name     : t_HOME/instance-2664138-1276357353.opb
1800.05/1800.51	c   Variables        : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51	c   Constraints      : 2112 initial, 5022 maximal
1800.05/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   probing          :       6.92          0          0          0          0          0          0          0          0
1800.05/1800.51	c   knapsack         :       0.05          0          0          0          0          0          0          0          0
1800.05/1800.51	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.51	c   linear           :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.51	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.51	c   knapsack         :        120          0    2054186          0    1095099        666     557657          0          0          0
1800.05/1800.51	c   setppc           :         84          0    2053518          0    1095095       6249    4769945          0          0          0
1800.05/1800.51	c   linear           :          2          0    2047267          0    1095093          0         22          0          0          0
1800.05/1800.51	c   logicor          :       1906+         0    1346323          0    1095097      12974    3474225          0          0          0
1800.05/1800.51	c   countsols        :          0          0          0          0    1095097          0          0          0          0          0
1800.05/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.51	c   knapsack         :     226.14       0.00      35.83       0.00     190.31
1800.05/1800.51	c   setppc           :     142.53       0.00      28.96       0.00     113.57
1800.05/1800.51	c   linear           :     315.46       0.00     314.13       0.00       1.33
1800.05/1800.51	c   logicor          :     619.72       0.00      50.79       0.00     568.93
1800.05/1800.51	c   countsols        :       0.64       0.00       0.00       0.00       0.64
1800.05/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.51	c   vbounds          :       1.13          2          0          0
1800.05/1800.51	c   rootredcost      :       1.25          0          0          0
1800.05/1800.51	c   pseudoobj        :      25.99    2039702        270        591
1800.05/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.51	c   propagation      :      20.61      20159      20075     173711      165.5       3150       31.1          -
1800.05/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.51	c   applied globally :          -          -          -      80241       70.6          -          -          -
1800.05/1800.51	c   applied locally  :          -          -          -        171      220.6          -          -          -
1800.05/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.51	c Pricers            :       Time      Calls       Vars
1800.05/1800.51	c   problem variables:       0.00          0          0
1800.05/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   inference        :     292.49    1095093          0          0          0          0    2190186
1800.05/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.51	c   LP solutions     :       0.00          -          0
1800.05/1800.51	c   pseudo solutions :       0.06          -          4
1800.05/1800.51	c   oneopt           :       2.02          0          0
1800.05/1800.51	c   trivial          :       0.01          2          0
1800.05/1800.51	c   simplerounding   :       0.00          0          0
1800.05/1800.51	c   zirounding       :       0.00          0          0
1800.05/1800.51	c   rounding         :       0.00          0          0
1800.05/1800.51	c   shifting         :       0.00          0          0
1800.05/1800.51	c   intshifting      :       0.00          0          0
1800.05/1800.51	c   twoopt           :       0.00          0          0
1800.05/1800.51	c   fixandinfer      :       0.00          0          0
1800.05/1800.51	c   feaspump         :       0.00          0          0
1800.05/1800.51	c   coefdiving       :       0.00          0          0
1800.05/1800.51	c   pscostdiving     :       0.00          0          0
1800.05/1800.51	c   fracdiving       :       0.00          0          0
1800.05/1800.51	c   veclendiving     :       0.00          0          0
1800.05/1800.51	c   intdiving        :       0.00          0          0
1800.05/1800.51	c   actconsdiving    :       0.00          0          0
1800.05/1800.51	c   objpscostdiving  :       0.00          0          0
1800.05/1800.51	c   rootsoldiving    :       0.00          0          0
1800.05/1800.51	c   linesearchdiving :       0.00          0          0
1800.05/1800.51	c   guideddiving     :       0.00          0          0
1800.05/1800.51	c   octane           :       0.00          0          0
1800.05/1800.51	c   rens             :       0.00          0          0
1800.05/1800.51	c   rins             :       0.00          0          0
1800.05/1800.51	c   localbranching   :       0.00          0          0
1800.05/1800.51	c   mutation         :       0.00          0          0
1800.05/1800.51	c   crossover        :       0.00          0          0
1800.05/1800.51	c   dins             :       0.00          0          0
1800.05/1800.51	c   undercover       :       0.00          0          0
1800.05/1800.51	c   nlp              :       0.93          0          0
1800.05/1800.51	c   trysol           :       0.47          0          0
1800.05/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.51	c B&B Tree           :
1800.05/1800.51	c   number of runs   :          1
1800.05/1800.51	c   nodes            :    1110821
1800.05/1800.51	c   nodes (total)    :    1110821
1800.05/1800.51	c   nodes left       :    1071927
1800.05/1800.51	c   max depth        :        849
1800.05/1800.51	c   max depth (total):        849
1800.05/1800.51	c   backtracks       :      18374 (1.7%)
1800.05/1800.51	c   delayed cutoffs  :       7337
1800.05/1800.51	c   repropagations   :     243058 (1017644 domain reductions, 4435 cutoffs)
1800.05/1800.51	c   avg switch length:       4.33
1800.05/1800.51	c   switching time   :      85.12
1800.05/1800.51	c Solution           :
1800.05/1800.51	c   Solutions found  :          4 (4 improvements)
1800.05/1800.51	c   First Solution   : -1.40000000000000e+01   (in run 1, after 96731 nodes, 177.20 seconds, depth 141, found by <relaxation>)
1800.05/1800.51	c   Primal Bound     : -2.00000000000000e+01   (in run 1, after 662502 nodes, 1061.39 seconds, depth 467, found by <relaxation>)
1800.05/1800.51	c   Dual Bound       : -1.20000000000000e+02
1800.05/1800.51	c   Gap              :      83.33 %
1800.05/1800.51	c   Root Dual Bound  : -1.20000000000000e+02
1800.05/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	-20

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664138-1276357353/watcher-2664138-1276357353 -o /tmp/evaluation-result-2664138-1276357353/solver-2664138-1276357353 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664138-1276357353.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 0.98 0.99 3/106 12354
/proc/meminfo: memFree=1733660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=6584 CPUtime=0
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 945 0 0 0 0 0 0 0 22 0 1 0 11339248 6742016 868 1992294400 4194304 7136930 140736162767856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 1646 878 254 719 0 925 0

[startup+0.0658361 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12354
/proc/meminfo: memFree=1733660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=10748 CPUtime=0.05
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 2174 0 0 0 5 0 0 0 24 0 1 0 11339248 11005952 2097 1992294400 4194304 7136930 140736162767856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 2687 2097 271 719 0 1966 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10748

[startup+0.100837 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12354
/proc/meminfo: memFree=1733660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=16352 CPUtime=0.09
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 3962 0 0 0 8 1 0 0 24 0 1 0 11339248 16744448 3531 1992294400 4194304 7136930 140736162767856 18446744073709551615 4906961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 4088 3531 292 719 0 3367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16352

[startup+0.300854 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12354
/proc/meminfo: memFree=1733660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=22836 CPUtime=0.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 7203 0 0 0 26 3 0 0 25 0 1 0 11339248 23384064 4973 1992294400 4194304 7136930 140736162767856 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 5709 4973 373 719 0 4988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22836

[startup+0.700886 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12354
/proc/meminfo: memFree=1733660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=24028 CPUtime=0.69
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 7482 0 0 0 65 4 0 0 25 0 1 0 11339248 24604672 5252 1992294400 4194304 7136930 140736162767856 18446744073709551615 4923509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 6007 5252 373 719 0 5286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24028

[startup+1.50095 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12355
/proc/meminfo: memFree=1713316/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=26480 CPUtime=1.49
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 8093 0 0 0 143 6 0 0 25 0 1 0 11339248 27115520 5863 1992294400 4194304 7136930 140736162767856 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 6620 5863 373 719 0 5899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26480

[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12355
/proc/meminfo: memFree=1708356/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=33192 CPUtime=3.09
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 9743 0 0 0 299 10 0 0 25 0 1 0 11339248 33988608 7513 1992294400 4194304 7136930 140736162767856 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 8298 7513 373 719 0 7577 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33192

[startup+6.30134 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12357
/proc/meminfo: memFree=1698188/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=42740 CPUtime=6.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 12132 0 0 0 615 14 0 0 25 0 1 0 11339248 43765760 9902 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 10685 9902 379 719 0 9964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42740

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12357
/proc/meminfo: memFree=1689260/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=48540 CPUtime=12.69
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 13598 0 0 0 1245 24 0 0 25 0 1 0 11339248 49704960 11368 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 12135 11368 396 719 0 11414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48540

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 12357
/proc/meminfo: memFree=1686036/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=51800 CPUtime=25.49
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 14397 0 0 0 2506 43 0 0 25 0 1 0 11339248 53043200 12167 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 12950 12167 396 719 0 12229 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51800

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 12357
/proc/meminfo: memFree=1678968/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=59092 CPUtime=51.07
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 16140 0 0 0 5034 73 0 0 25 0 1 0 11339248 60510208 13910 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 14773 13910 396 719 0 14052 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59092

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 12359
/proc/meminfo: memFree=1665576/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=72256 CPUtime=102.27
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 19444 0 0 0 10087 140 0 0 25 0 1 0 11339248 73990144 17214 1992294400 4194304 7136930 140736162767856 18446744073709551615 4858852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 18064 17214 396 719 0 17343 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 72256

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12361
/proc/meminfo: memFree=1645364/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=95304 CPUtime=162.25
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 24527 0 0 0 15998 227 0 0 25 0 1 0 11339248 97591296 22297 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 23826 22297 396 719 0 23105 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 95304

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12361
/proc/meminfo: memFree=1623416/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=118100 CPUtime=222.24
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 29940 0 0 0 21903 321 0 0 25 0 1 0 11339248 120934400 27710 1992294400 4194304 7136930 140736162767856 18446744073709551615 5005177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 29525 27710 396 719 0 28804 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 118100

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12363
/proc/meminfo: memFree=1600724/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=141196 CPUtime=282.22
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 35614 0 0 0 27806 416 0 0 25 0 1 0 11339248 144584704 33384 1992294400 4194304 7136930 140736162767856 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 35299 33384 396 719 0 34578 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 141196

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12365
/proc/meminfo: memFree=1574932/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=171972 CPUtime=342.21
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 41981 0 0 0 33710 511 0 0 25 0 1 0 11339248 176099328 39751 1992294400 4194304 7136930 140736162767856 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 42993 39751 396 719 0 42272 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 171972

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12367
/proc/meminfo: memFree=1548520/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=201524 CPUtime=402.19
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 48798 0 0 0 39610 609 0 0 25 0 1 0 11339248 206360576 46568 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 50381 46568 397 719 0 49660 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 201524

[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12369
/proc/meminfo: memFree=1508096/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=241704 CPUtime=462.17
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 58695 0 0 0 45499 718 0 0 25 0 1 0 11339248 247504896 56465 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 60426 56465 397 719 0 59705 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 241704

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12369
/proc/meminfo: memFree=1486148/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=263704 CPUtime=522.16
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 64085 0 0 0 51390 826 0 0 25 0 1 0 11339248 270032896 61855 1992294400 4194304 7136930 140736162767856 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 65926 61855 397 719 0 65205 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 263704

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12371
/proc/meminfo: memFree=1457256/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=294564 CPUtime=582.14
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 71269 0 0 0 57284 930 0 0 25 0 1 0 11339248 301633536 69039 1992294400 4194304 7136930 140736162767856 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 73641 69039 397 719 0 72920 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 294564

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12373
/proc/meminfo: memFree=1427992/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=326812 CPUtime=642.14
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 78540 0 0 0 63175 1039 0 0 25 0 1 0 11339248 334655488 76310 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 81703 76310 397 719 0 80982 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 326812

[startup+702.301 s]

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

/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 124949 0 0 0 104401 1803 0 0 25 0 1 0 11339248 542105600 122719 1992294400 4194304 7136930 140736162767856 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 132350 122719 397 719 0 131629 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 529400

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12394
/proc/meminfo: memFree=1212728/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=559268 CPUtime=1122.01
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 131965 0 0 0 110296 1905 0 0 25 0 1 0 11339248 572690432 129735 1992294400 4194304 7136930 140736162767856 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 139817 129735 397 719 0 139096 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 559268

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12396
/proc/meminfo: memFree=1191400/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=581540 CPUtime=1182
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 137430 0 0 0 116197 2003 0 0 25 0 1 0 11339248 595496960 135200 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 145385 135200 397 719 0 144664 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 581540

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12398
/proc/meminfo: memFree=1172180/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=601132 CPUtime=1241.98
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 142094 0 0 0 122104 2094 0 0 25 0 1 0 11339248 615559168 139864 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 150283 139864 397 719 0 149562 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 601132

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12400
/proc/meminfo: memFree=1153332/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=620820 CPUtime=1301.98
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 146785 0 0 0 128010 2188 0 0 25 0 1 0 11339248 635719680 144555 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 155205 144555 397 719 0 154484 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 620820

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 12402
/proc/meminfo: memFree=1131632/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=641520 CPUtime=1361.96
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 152212 0 0 0 133915 2281 0 0 25 0 1 0 11339248 656916480 149982 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 160380 149982 397 719 0 159659 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 641520

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12402
/proc/meminfo: memFree=1112660/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=661176 CPUtime=1421.95
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 156932 0 0 0 139820 2375 0 0 25 0 1 0 11339248 677044224 154702 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 165294 154702 397 719 0 164573 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 661176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12404
/proc/meminfo: memFree=1087612/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=686204 CPUtime=1481.93
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 163237 0 0 0 145723 2470 0 0 25 0 1 0 11339248 702672896 161007 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 171551 161007 397 719 0 170830 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 686204

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12406
/proc/meminfo: memFree=1066160/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=708892 CPUtime=1541.91
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 168534 0 0 0 151623 2568 0 0 25 0 1 0 11339248 725905408 166304 1992294400 4194304 7136930 140736162767856 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 177223 166304 397 719 0 176502 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 708892

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12408
/proc/meminfo: memFree=1037392/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=738612 CPUtime=1601.9
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 175722 0 0 0 157520 2670 0 0 25 0 1 0 11339248 756338688 173492 1992294400 4194304 7136930 140736162767856 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 184653 173492 397 719 0 183932 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 738612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12410
/proc/meminfo: memFree=1010980/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=783128 CPUtime=1661.88
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 182389 0 0 0 163412 2776 0 0 25 0 1 0 11339248 801923072 180159 1992294400 4194304 7136930 140736162767856 18446744073709551615 5892352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 195782 180159 397 719 0 195061 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 783128

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12410
/proc/meminfo: memFree=980600/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=814988 CPUtime=1721.86
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 190030 0 0 0 169292 2894 0 0 25 0 1 0 11339248 834547712 187800 1992294400 4194304 7136930 140736162767856 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 203747 187800 397 719 0 203026 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 814988

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12412
/proc/meminfo: memFree=956296/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=839028 CPUtime=1781.85
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 196055 0 0 0 175176 3009 0 0 25 0 1 0 11339248 859164672 193825 1992294400 4194304 7136930 140736162767856 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 209757 193825 397 719 0 209036 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 839028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12412
/proc/meminfo: memFree=946376/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=849700 CPUtime=1800.05
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 198320 0 0 0 176960 3045 0 0 25 0 1 0 11339248 870092800 196090 1992294400 4194304 7136930 140736162767856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12354/statm: 212425 196090 397 719 0 211704 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 849700

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12354

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12413
/proc/meminfo: memFree=946368/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=849832 CPUtime=1800.95
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 198344 0 0 0 177050 3045 0 0 25 0 1 0 11339248 870227968 196114 1992294400 4194304 7136930 140736162767856 18446744073709551615 6165632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 212458 196114 402 719 0 211737 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 849832

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12413
/proc/meminfo: memFree=946120/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=849316 CPUtime=1801.75
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 198344 0 0 0 177130 3045 0 0 25 0 1 0 11339248 869699584 195985 1992294400 4194304 7136930 140736162767856 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 212329 195985 402 719 0 211608 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 849316

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12413
/proc/meminfo: memFree=946120/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=849316 CPUtime=1801.95
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 198344 0 0 0 177150 3045 0 0 25 0 1 0 11339248 869699584 195985 1992294400 4194304 7136930 140736162767856 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 212329 195985 402 719 0 211608 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 849316

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12413
/proc/meminfo: memFree=946120/2059040 swapFree=4165008/4192956
[pid=12354] ppid=12352 vsize=848284 CPUtime=1802.05
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11905 0 -1 4202496 198344 0 0 0 177160 3045 0 0 25 0 1 0 11339248 868642816 195727 1992294400 4194304 7136930 140736162767856 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12354/statm: 212071 195727 402 719 0 211350 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 848284

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.15
CPU user time (s): 1771.61
CPU system time (s): 30.5414
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 849832

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

runsolver used 2.99354 second user time and 8.50171 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-12 17:42:33
IDJOB=2664138
IDBENCH=1870
IDSOLVER=1167
FILE ID=node003/2664138-1276357353
PBS_JOBID= 11173207
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.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-2664138-1276357353/watcher-2664138-1276357353 -o /tmp/evaluation-result-2664138-1276357353/solver-2664138-1276357353 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664138-1276357353.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=867490330

node003.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1734188 kB
Buffers:         91704 kB
Cached:         132816 kB
SwapCached:       1344 kB
Active:          98228 kB
Inactive:       158976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1734188 kB
SwapTotal:     4192956 kB
SwapFree:      4165008 kB
Dirty:            3392 kB
Writeback:          28 kB
AnonPages:       31296 kB
Mapped:          15416 kB
Slab:            46000 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182956 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= 62552 MiB
End job on node003 at 2010-06-12 18:12:36