Trace number 2663770

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)5 1802.24 1802.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark129.492
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

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-2663770-1276655773.opb>
0.00/0.03	c original problem has 3170 variables (3170 bin, 0 int, 0 impl, 0 cont) and 3170 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.03	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.00/0.07	c presolving:
0.29/0.38	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 200938 impls, 0 clqs
0.59/0.65	c    (0.4s) probing: 101/3170 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.65	c presolving (2 rounds):
0.59/0.65	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65	c  200938 implications, 0 cliques
0.59/0.65	c presolved problem has 3170 variables (3170 bin, 0 int, 0 impl, 0 cont) and 3170 constraints
0.59/0.65	c    3070 constraints of type <and>
0.59/0.65	c     100 constraints of type <logicor>
0.59/0.65	c transformed objective value is always integral (scale: 1)
0.59/0.65	c Presolving Time: 0.39
0.59/0.65	c - non default parameters ----------------------------------------------------------------------
0.59/0.65	c # SCIP version 1.2.1.2
0.59/0.65	c 
0.59/0.65	c # frequency for displaying node information lines
0.59/0.65	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65	c display/freq = 10000
0.59/0.65	c 
0.59/0.65	c # maximal time in seconds to run
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/time = 1799.98
0.59/0.65	c 
0.59/0.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65	c limits/memory = 1620
0.59/0.65	c 
0.59/0.65	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.65	c lp/solvefreq = -1
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify inequalities
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/linear/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # should presolving try to simplify knapsacks
0.59/0.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65	c 
0.59/0.65	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65	c heuristics/undercover/freq = 0
0.59/0.65	c 
0.59/0.65	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.65	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65	c separating/rapidlearning/freq = 0
0.59/0.65	c 
0.59/0.65	c -----------------------------------------------------------------------------------------------
0.59/0.65	c start solving
0.59/0.65	c 
0.59/0.66	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.66	c   0.4s|     1 |     2 |     0 |     - |  13M|   0 |   - |3170 |3170 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.90/0.90	o 10
0.90/0.90	c * 0.7s|   120 |   119 |     0 |   0.0 |  13M| 119 |   - |3170 |3170 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
1.29/1.32	o 9
1.29/1.32	c * 1.1s|   321 |   315 |     0 |   0.0 |  14M| 119 |   - |3170 |3180 |   0 |   0 |   0 |  10 |   0 | 0.000000e+00 | 9.000000e+00 |    Inf 
16.08/16.13	c  15.6s| 10000 |  9930 |     0 |   0.0 |  35M| 119 |   - |3170 |3193 |   0 |   0 |   0 | 172 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
28.59/28.67	c  28.0s| 20000 | 19916 |     0 |   0.0 |  56M| 119 |   - |3170 |3223 |   0 |   0 |   0 | 227 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
39.88/39.92	c  39.0s| 30000 | 29885 |     0 |   0.0 |  76M| 119 |   - |3170 |3217 |   0 |   0 |   0 | 396 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
40.97/41.09	o 8
40.97/41.09	c *40.2s| 31048 | 30910 |     0 |   0.0 |  78M| 119 |   - |3170 |3218 |   0 |   0 |   0 | 397 |   0 | 1.000000e+00 | 8.000000e+00 | 700.00%
50.87/50.95	c  49.8s| 40000 | 39850 |     0 |   0.0 |  96M| 119 |   - |3170 |3241 |   0 |   0 |   0 | 421 |   0 | 1.000000e+00 | 8.000000e+00 | 700.00%
53.67/53.78	o 7
53.67/53.78	c *52.6s| 42689 | 42438 |     0 |   0.0 | 101M| 119 |   - |3170 |3254 |   0 |   0 |   0 | 531 |   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
61.27/61.31	c  59.9s| 50000 | 49723 |     0 |   0.0 | 115M| 119 |   - |3170 |3393 |   0 |   0 |   0 | 682 |   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
71.26/71.39	c  69.8s| 60000 | 59427 |     0 |   0.0 | 136M| 119 |   - |3170 |3731 |   0 |   0 |   0 |2379 |   0 | 1.000000e+00 | 7.000000e+00 | 600.00%
84.26/84.32	c  82.4s| 70000 | 68669 |     0 |   0.0 | 157M| 121 |   - |3170 |4286 |   0 |   0 |   0 |6740 |   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
94.66/94.74	c  92.6s| 80000 | 78301 |     0 |   0.0 | 179M| 121 |   - |3170 |5168 |   0 |   0 |   0 |8886 |   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
104.95/105.00	c   103s| 90000 | 88021 |     0 |   0.0 | 201M| 121 |   - |3170 |5952 |   0 |   0 |   0 |  10k|   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
115.55/115.65	c   113s|100000 | 97790 |     0 |   0.0 | 223M| 121 |   - |3170 |6490 |   0 |   0 |   0 |  11k|   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
126.25/126.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
126.25/126.34	c   123s|110000 |107515 |     0 |   0.0 | 245M| 121 |   - |3170 |7167 |   0 |   0 |   0 |  13k|   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
133.54/133.60	o 6
133.54/133.60	c * 131s|116548 |111972 |     0 |   0.0 | 254M| 121 |   - |3170 |8772 |   0 |   0 |   0 |  15k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
138.03/138.11	c   135s|120000 |114986 |     0 |   0.0 | 262M| 121 |   - |3170 |  10k|   0 |   0 |   0 |  17k|   0 | 2.000000e+00 | 6.000000e+00 | 200.00%
147.03/147.16	o 5
147.03/147.16	c * 144s|126235 |112638 |     0 |   0.0 | 265M| 121 |   - |3170 |  14k|   0 |   0 |   0 |  23k|   0 | 2.000000e+00 | 5.000000e+00 | 150.00%
155.14/155.24	c   152s|130000 |115118 |     0 |   0.0 | 278M| 121 |   - |3170 |  17k|   0 |   0 |   0 |  28k|   0 | 2.000000e+00 | 5.000000e+00 | 150.00%
174.83/174.92	c   171s|140000 |123832 |     0 |   0.0 | 293M| 121 |   - |3170 |4318 |   0 |   0 |   0 |  33k|   0 | 2.000000e+00 | 5.000000e+00 | 150.00%
191.92/192.06	c   188s|150000 |133223 |     0 |   0.0 | 316M| 121 |   - |3170 |4986 |   0 |   0 |   0 |  35k|   0 | 2.000000e+00 | 5.000000e+00 | 150.00%
209.31/209.48	c   205s|160000 |142535 |     0 |   0.0 | 340M| 121 |   - |3170 |5494 |   0 |   0 |   0 |  37k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
226.51/226.68	c   222s|170000 |151839 |     0 |   0.0 | 363M| 121 |   - |3170 |5927 |   0 |   0 |   0 |  39k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
243.50/243.64	c   239s|180000 |161128 |     0 |   0.0 | 387M| 121 |   - |3170 |6367 |   0 |   0 |   0 |  41k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
260.29/260.46	c   256s|190000 |170377 |     0 |   0.0 | 410M| 121 |   - |3170 |6765 |   0 |   0 |   0 |  43k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
277.09/277.29	c   272s|200000 |179640 |     0 |   0.0 | 434M| 121 |   - |3170 |6983 |   0 |   0 |   0 |  46k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
293.48/293.64	c   288s|210000 |188934 |     0 |   0.0 | 458M| 121 |   - |3170 |6873 |   0 |   0 |   0 |  48k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
309.27/309.49	c   304s|220000 |198229 |     0 |   0.0 | 481M| 121 |   - |3170 |6909 |   0 |   0 |   0 |  50k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
325.47/325.66	c   320s|230000 |207485 |     0 |   0.0 | 506M| 121 |   - |3170 |7420 |   0 |   0 |   0 |  52k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
341.76/341.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
341.76/341.95	c   336s|240000 |216725 |     0 |   0.0 | 530M| 121 |   - |3170 |7489 |   0 |   0 |   0 |  55k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
358.15/358.36	c   352s|250000 |225957 |     0 |   0.0 | 555M| 121 |   - |3170 |7906 |   0 |   0 |   0 |  57k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
374.35/374.56	c   368s|260000 |235170 |     0 |   0.0 | 579M| 121 |   - |3170 |8329 |   0 |   0 |   0 |  59k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
390.74/390.96	c   384s|270000 |244328 |     0 |   0.0 | 603M| 121 |   - |3170 |8953 |   0 |   0 |   0 |  62k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
407.53/407.70	c   401s|280000 |253491 |     0 |   0.0 | 628M| 121 |   - |3170 |9163 |   0 |   0 |   0 |  64k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
423.44/423.64	c   416s|290000 |262703 |     0 |   0.0 | 652M| 121 |   - |3170 |9518 |   0 |   0 |   0 |  67k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
439.42/439.62	c   432s|300000 |271890 |     0 |   0.0 | 677M| 121 |   - |3170 |  10k|   0 |   0 |   0 |  69k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
455.61/455.88	c   448s|310000 |281007 |     0 |   0.0 | 701M| 121 |   - |3170 |  11k|   0 |   0 |   0 |  72k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
472.60/472.83	c   465s|320000 |290083 |     0 |   0.0 | 725M| 121 |   - |3170 |  11k|   0 |   0 |   0 |  75k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
489.60/489.83	c   481s|330000 |299172 |     0 |   0.0 | 750M| 121 |   - |3170 |  12k|   0 |   0 |   0 |  77k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
506.30/506.54	c   498s|340000 |308277 |     0 |   0.0 | 775M| 121 |   - |3170 |  12k|   0 |   0 |   0 |  80k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
522.40/522.69	c   514s|350000 |317385 |     0 |   0.0 | 800M| 121 |   - |3170 |  13k|   0 |   0 |   0 |  83k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
539.59/539.82	c   531s|360000 |326427 |     0 |   0.0 | 824M| 121 |   - |3170 |  13k|   0 |   0 |   0 |  86k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
556.28/556.52	c   547s|370000 |335495 |     0 |   0.0 | 847M| 121 |   - |3170 |  11k|   0 |   0 |   0 |  89k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
572.37/572.68	c   563s|380000 |344571 |     0 |   0.0 | 871M| 121 |   - |3170 |  11k|   0 |   0 |   0 |  92k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
589.07/589.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
589.07/589.34	c   579s|390000 |353576 |     0 |   0.0 | 897M| 121 |   - |3170 |  11k|   0 |   0 |   0 |  94k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
605.56/605.88	c   596s|400000 |362557 |     0 |   0.0 | 922M| 121 |   - |3170 |  12k|   0 |   0 |   0 |  98k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
621.95/622.22	c   612s|410000 |371615 |     0 |   0.0 | 946M| 121 |   - |3170 |  10k|   0 |   0 |   0 | 100k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
638.25/638.52	c   628s|420000 |380614 |     0 |   0.0 | 970M| 121 |   - |3170 |  10k|   0 |   0 |   0 | 104k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
654.35/654.62	c   644s|430000 |389582 |     0 |   0.0 | 995M| 121 |   - |3170 |  11k|   0 |   0 |   0 | 107k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
670.53/670.80	c   660s|440000 |398587 |     0 |   0.0 |1019M| 121 |   - |3170 |  10k|   0 |   0 |   0 | 110k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
686.43/686.79	c   675s|450000 |407599 |     0 |   0.0 |1045M| 121 |   - |3170 |  11k|   0 |   0 |   0 | 113k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
702.92/703.20	c   691s|460000 |416572 |     0 |   0.0 |1070M| 121 |   - |3170 |  12k|   0 |   0 |   0 | 116k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
720.11/720.42	c   708s|470000 |425446 |     0 |   0.0 |1096M| 121 |   - |3170 |  13k|   0 |   0 |   0 | 120k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
736.41/736.71	c   724s|480000 |434411 |     0 |   0.0 |1121M| 121 |   - |3170 |  14k|   0 |   0 |   0 | 123k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
753.21/753.60	c   741s|490000 |443296 |     0 |   0.0 |1146M| 121 |   - |3170 |  15k|   0 |   0 |   0 | 126k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
770.30/770.62	c   758s|500000 |452186 |     0 |   0.0 |1171M| 121 |   - |3170 |  15k|   0 |   0 |   0 | 130k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
786.89/787.28	c   774s|510000 |461166 |     0 |   0.0 |1195M| 121 |   - |3170 |  14k|   0 |   0 |   0 | 133k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
803.58/803.96	c   791s|520000 |470112 |     0 |   0.0 |1221M| 121 |   - |3170 |  15k|   0 |   0 |   0 | 136k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
821.38/821.71	c   808s|530000 |478943 |     0 |   0.0 |1247M| 121 |   - |3170 |  16k|   0 |   0 |   0 | 140k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
838.37/838.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
838.37/838.75	c   825s|540000 |487831 |     0 |   0.0 |1273M| 121 |   - |3170 |  17k|   0 |   0 |   0 | 143k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
856.06/856.45	c   842s|550000 |496678 |     0 |   0.0 |1299M| 121 |   - |3170 |  18k|   0 |   0 |   0 | 147k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
873.55/873.98	c   860s|560000 |505547 |     0 |   0.0 |1324M| 121 |   - |3170 |  18k|   0 |   0 |   0 | 150k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
891.44/891.86	c   877s|570000 |514452 |     0 |   0.0 |1349M| 121 |   - |3170 |  17k|   0 |   0 |   0 | 153k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
897.73/898.18	c (node 573383) switching to memory saving mode (mem: 1296.0M/1620.0M)
959.82/960.26	c   945s|580000 |513255 |     0 |   0.0 |1361M| 122 |   - |3170 |  34k|   0 |   0 |   0 | 193k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1066.88/1067.37	c  1052s|590000 |508545 |     0 |   0.0 |1353M| 122 |   - |3170 |  40k|   0 |   0 |   0 | 240k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1178.33/1178.86	c  1163s|600000 |504706 |     0 |   0.0 |1342M| 122 |   - |3170 |  41k|   0 |   0 |   0 | 284k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1283.59/1284.18	c  1268s|610000 |501993 |     0 |   0.0 |1340M| 122 |   - |3170 |  45k|   0 |   0 |   0 | 325k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1394.14/1394.70	c  1378s|620000 |499388 |     0 |   0.0 |1334M| 122 |   - |3170 |  47k|   0 |   0 |   0 | 364k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1504.69/1505.36	c  1488s|630000 |497002 |     0 |   0.0 |1328M| 122 |   - |3170 |  45k|   0 |   0 |   0 | 402k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1613.65/1614.31	c  1596s|640000 |494746 |     0 |   0.0 |1323M| 122 |   - |3170 |  47k|   0 |   0 |   0 | 439k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1722.70/1723.43	c  1705s|650000 |492584 |     0 |   0.0 |1318M| 122 |   - |3170 |  48k|   0 |   0 |   0 | 474k|   0 | 3.000000e+00 | 5.000000e+00 |  66.67%
1800.08/1800.81	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.81	c 
1800.08/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.81	c Solving Time (sec) : 1781.73
1800.08/1800.81	c Solving Nodes      : 656582
1800.08/1800.81	c Primal Bound       : +5.00000000000000e+00 (6 solutions)
1800.08/1800.81	c Dual Bound         : +3.00000000000000e+00
1800.08/1800.81	c Gap                : 66.67 %
1800.08/1800.82	s SATISFIABLE
1800.08/1800.82	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 
1800.08/1800.82	v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
1800.08/1800.82	v -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 
1800.08/1800.82	v -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 x5 -x4 -x3 -x2 -x1 
1800.08/1800.82	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.82	c Solving Time       :    1781.73
1800.08/1800.82	c Original Problem   :
1800.08/1800.82	c   Problem name     : HOME/instance-2663770-1276655773.opb
1800.08/1800.82	c   Variables        : 3170 (3170 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.82	c   Constraints      : 3170 initial, 3170 maximal
1800.08/1800.82	c Presolved Problem  :
1800.08/1800.82	c   Problem name     : t_HOME/instance-2663770-1276655773.opb
1800.08/1800.82	c   Variables        : 3170 (3170 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.82	c   Constraints      : 3170 initial, 48230 maximal
1800.08/1800.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.82	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   probing          :       0.08          0          0          0          0          0          0          0          0
1800.08/1800.82	c   and              :       0.27          0          0          0          0          0          0          0          0
1800.08/1800.82	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.82	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.82	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.82	c   and              :       3070          0    1619961          0     618587       3544   83072364          0          0          0
1800.08/1800.82	c   logicor          :        100+         0     712753          0     618592      91129     155580          0          0          0
1800.08/1800.82	c   countsols        :          0          0          0          0     618593          0          0          0          0          0
1800.08/1800.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.82	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.82	c   and              :     377.47       0.00     365.78       0.00      11.69
1800.08/1800.82	c   logicor          :     412.23       0.00     325.97       0.00      86.26
1800.08/1800.82	c   countsols        :       0.37       0.00       0.00       0.00       0.37
1800.08/1800.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.82	c   vbounds          :       1.00          2          0          0
1800.08/1800.82	c   rootredcost      :       1.16          0          0          0
1800.08/1800.82	c   pseudoobj        :      48.93    1623474       3705    2138884
1800.08/1800.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.82	c   propagation      :      35.97      98378      98378    1011851       82.2       1421       75.3          -
1800.08/1800.82	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.82	c   pseudo solution  :       0.00          1          1          1        5.0          1      100.0          -
1800.08/1800.82	c   applied globally :          -          -          -     497124       58.7          -          -          -
1800.08/1800.82	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.82	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.82	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.82	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.82	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.82	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.82	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.82	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.82	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.82	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.82	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.82	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.82	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.82	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.82	c Pricers            :       Time      Calls       Vars
1800.08/1800.82	c   problem variables:       0.00          0          0
1800.08/1800.82	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.82	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   inference        :     297.50     618587          0          0          0          0    1237174
1800.08/1800.82	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.82	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.82	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.82	c   LP solutions     :       0.00          -          0
1800.08/1800.82	c   pseudo solutions :       0.07          -          6
1800.08/1800.82	c   oneopt           :       0.84          0          0
1800.08/1800.82	c   trivial          :       0.01          2          0
1800.08/1800.82	c   simplerounding   :       0.00          0          0
1800.08/1800.82	c   zirounding       :       0.00          0          0
1800.08/1800.82	c   rounding         :       0.00          0          0
1800.08/1800.82	c   shifting         :       0.00          0          0
1800.08/1800.82	c   intshifting      :       0.00          0          0
1800.08/1800.82	c   twoopt           :       0.00          0          0
1800.08/1800.82	c   fixandinfer      :       0.00          0          0
1800.08/1800.82	c   feaspump         :       0.00          0          0
1800.08/1800.82	c   coefdiving       :       0.00          0          0
1800.08/1800.82	c   pscostdiving     :       0.00          0          0
1800.08/1800.82	c   fracdiving       :       0.00          0          0
1800.08/1800.82	c   veclendiving     :       0.00          0          0
1800.08/1800.82	c   intdiving        :       0.00          0          0
1800.08/1800.82	c   actconsdiving    :       0.00          0          0
1800.08/1800.82	c   objpscostdiving  :       0.00          0          0
1800.08/1800.82	c   rootsoldiving    :       0.00          0          0
1800.08/1800.82	c   linesearchdiving :       0.00          0          0
1800.08/1800.82	c   guideddiving     :       0.00          0          0
1800.08/1800.82	c   octane           :       0.00          0          0
1800.08/1800.82	c   rens             :       0.00          0          0
1800.08/1800.82	c   rins             :       0.00          0          0
1800.08/1800.82	c   localbranching   :       0.00          0          0
1800.08/1800.82	c   mutation         :       0.00          0          0
1800.08/1800.82	c   crossover        :       0.00          0          0
1800.08/1800.82	c   dins             :       0.00          0          0
1800.08/1800.82	c   undercover       :       0.00          0          0
1800.08/1800.82	c   nlp              :       0.38          0          0
1800.08/1800.82	c   trysol           :       0.32          0          0
1800.08/1800.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.82	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.82	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.82	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.82	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.82	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.82	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.82	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.82	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.82	c B&B Tree           :
1800.08/1800.82	c   number of runs   :          1
1800.08/1800.82	c   nodes            :     656582
1800.08/1800.82	c   nodes (total)    :     656582
1800.08/1800.82	c   nodes left       :     490886
1800.08/1800.82	c   max depth        :        122
1800.08/1800.82	c   max depth (total):        122
1800.08/1800.82	c   backtracks       :      74532 (11.4%)
1800.08/1800.82	c   delayed cutoffs  :      80403
1800.08/1800.82	c   repropagations   :     120980 (40877960 domain reductions, 60390 cutoffs)
1800.08/1800.82	c   avg switch length:       8.50
1800.08/1800.82	c   switching time   :     524.99
1800.08/1800.82	c Solution           :
1800.08/1800.82	c   Solutions found  :          6 (6 improvements)
1800.08/1800.82	c   First Solution   : +1.00000000000000e+01   (in run 1, after 120 nodes, 0.64 seconds, depth 119, found by <relaxation>)
1800.08/1800.82	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 126235 nodes, 143.84 seconds, depth 99, found by <relaxation>)
1800.08/1800.82	c   Dual Bound       : +3.00000000000000e+00
1800.08/1800.82	c   Gap              :      66.67 %
1800.08/1800.82	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.82	c   Root Iterations  :          0

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663770-1276655773/watcher-2663770-1276655773 -o /tmp/evaluation-result-2663770-1276655773/solver-2663770-1276655773 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663770-1276655773.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: 1.00 1.00 1.00 3/106 8555
/proc/meminfo: memFree=1783852/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=6584 CPUtime=0
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 1010 0 0 0 0 0 0 0 18 0 1 0 39233617 6742016 933 1992294400 4194304 7136930 140735389959248 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8555/statm: 1646 941 254 719 0 925 0

[startup+0.106916 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8555
/proc/meminfo: memFree=1783852/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=22000 CPUtime=0.1
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 5112 0 0 0 8 2 0 0 20 0 1 0 39233617 22528000 4681 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 5500 4681 328 719 0 4779 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22000

[startup+0.201932 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8555
/proc/meminfo: memFree=1783852/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=30476 CPUtime=0.19
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 7209 0 0 0 17 2 0 0 20 0 1 0 39233617 31207424 6778 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 7619 6778 328 719 0 6898 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30476

[startup+0.30195 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8555
/proc/meminfo: memFree=1783852/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=30476 CPUtime=0.29
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 7498 0 0 0 21 8 0 0 20 0 1 0 39233617 31207424 6810 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 7619 6810 328 719 0 6898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30476

[startup+0.702025 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8555
/proc/meminfo: memFree=1783852/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=32676 CPUtime=0.69
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 8897 0 0 0 47 22 0 0 20 0 1 0 39233617 33460224 7438 1992294400 4194304 7136930 140735389959248 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 8169 7438 381 719 0 7448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32676

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1754952/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=34228 CPUtime=1.49
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 9280 0 0 0 126 23 0 0 23 0 1 0 39233617 35049472 7821 1992294400 4194304 7136930 140735389959248 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 8557 7821 387 719 0 7836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34228

[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1751976/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=37588 CPUtime=3.09
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 10132 0 0 0 283 26 0 0 25 0 1 0 39233617 38490112 8673 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 9397 8673 387 719 0 8676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37588

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1743916/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=44192 CPUtime=6.29
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 11785 0 0 0 597 32 0 0 25 0 1 0 39233617 45252608 10326 1992294400 4194304 7136930 140735389959248 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 11048 10326 387 719 0 10327 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44192

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1732392/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=56192 CPUtime=12.69
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 14768 0 0 0 1229 40 0 0 25 0 1 0 39233617 57540608 13309 1992294400 4194304 7136930 140735389959248 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 14048 13309 387 719 0 13327 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56192

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1711436/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=76324 CPUtime=25.48
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 19821 0 0 0 2490 58 0 0 25 0 1 0 39233617 78155776 18362 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 19081 18362 387 719 0 18360 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76324

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8556
/proc/meminfo: memFree=1663944/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=124816 CPUtime=51.07
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 31995 0 0 0 4999 108 0 0 25 0 1 0 39233617 127811584 30536 1992294400 4194304 7136930 140735389959248 18446744073709551615 4407988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 31204 30536 387 719 0 30483 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 124816

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8558
/proc/meminfo: memFree=1552964/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=236020 CPUtime=102.26
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 59283 0 0 0 10001 225 0 0 25 0 1 0 39233617 241684480 57824 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 59005 57824 387 719 0 58284 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 236020

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 8563
/proc/meminfo: memFree=1444960/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=345840 CPUtime=162.23
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 86129 0 0 0 15882 341 0 0 25 0 1 0 39233617 354140160 84643 1992294400 4194304 7136930 140735389959248 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 86460 84643 387 719 0 85739 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 345840

[startup+222.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8565
/proc/meminfo: memFree=1347868/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=445388 CPUtime=222.21
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 110332 0 0 0 21794 427 0 0 25 0 1 0 39233617 456077312 108846 1992294400 4194304 7136930 140735389959248 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 111347 108846 387 719 0 110626 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 445388

[startup+282.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 8565
/proc/meminfo: memFree=1249784/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=551020 CPUtime=282.18
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 135272 0 0 0 27704 514 0 0 25 0 1 0 39233617 564244480 133786 1992294400 4194304 7136930 140735389959248 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 137755 133786 387 719 0 137034 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 551020

[startup+342.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8567
/proc/meminfo: memFree=1157528/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=650408 CPUtime=342.16
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 157828 0 0 0 33612 604 0 0 25 0 1 0 39233617 666017792 156342 1992294400 4194304 7136930 140735389959248 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 162602 156342 387 719 0 161881 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 650408

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8569
/proc/meminfo: memFree=1066636/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=748720 CPUtime=402.14
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 180574 0 0 0 39524 690 0 0 25 0 1 0 39233617 766689280 179088 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 187180 179088 387 719 0 186459 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 748720

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8571
/proc/meminfo: memFree=974132/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=845948 CPUtime=462.11
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 203550 0 0 0 45434 777 0 0 25 0 1 0 39233617 866250752 202064 1992294400 4194304 7136930 140735389959248 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 211487 202064 387 719 0 210766 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 845948

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8573
/proc/meminfo: memFree=887952/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=937892 CPUtime=522.09
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 225322 0 0 0 51341 868 0 0 25 0 1 0 39233617 960401408 223836 1992294400 4194304 7136930 140735389959248 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 234473 223836 387 719 0 233752 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 937892

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8573
/proc/meminfo: memFree=799540/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1036364 CPUtime=582.06
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 247348 0 0 0 57242 964 0 0 25 0 1 0 39233617 1061236736 245862 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 259091 245862 387 719 0 258370 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1036364

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8575
/proc/meminfo: memFree=710136/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1132332 CPUtime=642.04
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 269768 0 0 0 63151 1053 0 0 25 0 1 0 39233617 1159507968 268282 1992294400 4194304 7136930 140735389959248 18446744073709551615 4642118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 283083 268282 387 719 0 282362 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1132332

[startup+702.301 s]

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

/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 374044 0 0 0 104672 1516 0 0 25 0 1 0 39233617 1618341888 370535 1992294400 4194304 7136930 140735389959248 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 395103 370535 387 719 0 394382 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1580412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8589
/proc/meminfo: memFree=294736/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1584144 CPUtime=1121.85
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 374971 0 0 0 110645 1540 0 0 25 0 1 0 39233617 1622163456 371462 1992294400 4194304 7136930 140735389959248 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 396036 371462 388 719 0 395315 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1584144

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8589
/proc/meminfo: memFree=292008/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1587564 CPUtime=1181.82
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 375657 0 0 0 116619 1563 0 0 25 0 1 0 39233617 1625665536 372148 1992294400 4194304 7136930 140735389959248 18446744073709551615 4660979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 396891 372148 388 719 0 396170 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1587564

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8591
/proc/meminfo: memFree=288784/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1591816 CPUtime=1241.8
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 376412 0 0 0 122587 1593 0 0 25 0 1 0 39233617 1630019584 372903 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 397954 372903 388 719 0 397233 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1591816

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8593
/proc/meminfo: memFree=286428/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1593812 CPUtime=1301.78
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 376950 0 0 0 128558 1620 0 0 25 0 1 0 39233617 1632063488 373441 1992294400 4194304 7136930 140735389959248 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 398453 373441 388 719 0 397732 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1593812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8595
/proc/meminfo: memFree=284692/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1595552 CPUtime=1361.76
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 377383 0 0 0 134533 1643 0 0 25 0 1 0 39233617 1633845248 373874 1992294400 4194304 7136930 140735389959248 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 398888 373874 388 719 0 398167 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1595552

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8597
/proc/meminfo: memFree=282088/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1599672 CPUtime=1421.74
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 378011 0 0 0 140505 1669 0 0 25 0 1 0 39233617 1638064128 374502 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 399918 374502 388 719 0 399197 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1599672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8597
/proc/meminfo: memFree=280600/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1601792 CPUtime=1481.71
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 378358 0 0 0 146477 1694 0 0 25 0 1 0 39233617 1640235008 374849 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 400448 374849 388 719 0 399727 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1601792

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8608
/proc/meminfo: memFree=279112/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1603244 CPUtime=1541.68
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 378642 0 0 0 152451 1717 0 0 25 0 1 0 39233617 1641721856 375133 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 400811 375133 388 719 0 400090 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1603244

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8610
/proc/meminfo: memFree=278492/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1603392 CPUtime=1601.65
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 378805 0 0 0 158418 1747 0 0 25 0 1 0 39233617 1641873408 375296 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 400848 375296 388 719 0 400127 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1603392

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8612
/proc/meminfo: memFree=277128/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1604740 CPUtime=1661.63
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379137 0 0 0 164390 1773 0 0 25 0 1 0 39233617 1643253760 375628 1992294400 4194304 7136930 140735389959248 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 401185 375628 388 719 0 400464 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1604740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8614
/proc/meminfo: memFree=276756/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1604928 CPUtime=1721.61
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379225 0 0 0 170360 1801 0 0 25 0 1 0 39233617 1643446272 375716 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 401232 375716 388 719 0 400511 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1604928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8614
/proc/meminfo: memFree=275640/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1606084 CPUtime=1781.58
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379471 0 0 0 176334 1824 0 0 25 0 1 0 39233617 1644630016 375962 1992294400 4194304 7136930 140735389959248 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 401521 375962 388 719 0 400800 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1606084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8616
/proc/meminfo: memFree=274772/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1607460 CPUtime=1800.08
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379682 0 0 0 178175 1833 0 0 25 0 1 0 39233617 1646039040 376173 1992294400 4194304 7136930 140735389959248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8555/statm: 401865 376173 388 719 0 401144 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1607460

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8555

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8616
/proc/meminfo: memFree=274772/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1607676 CPUtime=1800.76
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379729 0 0 0 178243 1833 0 0 25 0 1 0 39233617 1646260224 376220 1992294400 4194304 7136930 140735389959248 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8555/statm: 401919 376220 394 719 0 401198 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1607676

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8617
/proc/meminfo: memFree=275012/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1605112 CPUtime=1801.56
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379729 0 0 0 178323 1833 0 0 25 0 1 0 39233617 1643634688 375579 1992294400 4194304 7136930 140735389959248 18446744073709551615 4212685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8555/statm: 401278 375579 394 719 0 400557 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 1605112

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8617
/proc/meminfo: memFree=275012/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=1598796 CPUtime=1801.96
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4202496 379729 0 0 0 178363 1833 0 0 25 0 1 0 39233617 1637167104 374000 1992294400 4194304 7136930 140735389959248 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8555/statm: 399699 374000 394 719 0 398978 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1598796

[startup+1802.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8617
/proc/meminfo: memFree=1128796/2059040 swapFree=4140352/4192956
[pid=8555] ppid=8553 vsize=0 CPUtime=1802.17
/proc/8555/stat : 8555 (pbscip.linux.x8) R 8553 8555 7870 0 -1 4203524 379729 0 0 0 178375 1842 0 0 25 0 1 0 39233617 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/8555/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.96
CPU time (s): 1802.24
CPU user time (s): 1783.75
CPU system time (s): 18.4832
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 1607676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.75
system time used= 18.4832
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379729
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= 1
involuntary context switches= 5813

runsolver used 2.99754 second user time and 8.50671 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 04:36:13
IDJOB=2663770
IDBENCH=48143
IDSOLVER=1167
FILE ID=node019/2663770-1276655773
PBS_JOBID= 11172458
Free space on /tmp= 62416 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.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-2663770-1276655773/watcher-2663770-1276655773 -o /tmp/evaluation-result-2663770-1276655773/solver-2663770-1276655773 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663770-1276655773.opb -t 1800 -m 1800

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=837417478

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1784380 kB
Buffers:         69916 kB
Cached:         114864 kB
SwapCached:       6068 kB
Active:         105876 kB
Inactive:        92144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1784380 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            3256 kB
Writeback:           0 kB
AnonPages:       11620 kB
Mapped:          13088 kB
Slab:            54840 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180968 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= 62412 MiB
End job on node019 at 2010-06-16 05:06:16