Trace number 2663997

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 solver? (TO) 1800.11 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM2b1f0bdf934439fa3364f5fdf4570849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 1200
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 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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-2663997-1276454073.opb>
0.02/0.06	c original problem has 1200 variables (1200 bin, 0 int, 0 impl, 0 cont) and 3150 constraints
0.02/0.06	c problem read
0.02/0.06	c presolving settings loaded
0.02/0.06	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.02/0.08	c presolving:
0.09/0.10	c (round 1) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1194 impls, 0 clqs
0.09/0.15	c (round 2) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3135 upgd conss, 1194 impls, 0 clqs
0.09/0.16	c (round 3) 3 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3147 upgd conss, 1194 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/1197 (8.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (4 rounds):
0.09/0.19	c  3 deleted vars, 3 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  1194 implications, 0 cliques
0.09/0.19	c presolved problem has 1197 variables (1197 bin, 0 int, 0 impl, 0 cont) and 3147 constraints
0.09/0.19	c    3147 constraints of type <logicor>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.09
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c conflict/interconss = 0
0.09/0.19	c 
0.09/0.19	c # should binary conflicts be preferred?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c conflict/preferbinary = TRUE
0.09/0.19	c 
0.09/0.19	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19	c constraints/agelimit = 1
0.09/0.19	c 
0.09/0.19	c # should enforcement of pseudo solution be disabled?
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/disableenfops = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.94
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 1620
0.09/0.19	c 
0.09/0.19	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19	c lp/solvefreq = -1
0.09/0.19	c 
0.09/0.19	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.19	c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19	c lp/pricing = a
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # priority of node selection rule <dfs> in standard mode
0.09/0.19	c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19	c nodeselection/dfs/stdpriority = 1000000
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.20	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c   0.1s|     1 |     2 |     0 |     - |5107k|   0 |   - |1197 |3147 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.78/22.82	c  21.7s| 10000 |    52 |     0 |   0.0 |5685k|  75 |   - |1197 |3181 |   0 |   0 |   0 |6406 |   0 | 1.000000e+00 |      --      |    Inf 
45.77/45.80	c  43.7s| 20000 |    47 |     0 |   0.0 |5702k|  75 |   - |1197 |3190 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 |      --      |    Inf 
68.57/68.68	c  65.6s| 30000 |    46 |     0 |   0.0 |5710k|  75 |   - |1197 |3202 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 |      --      |    Inf 
91.56/91.65	c  87.5s| 40000 |    43 |     0 |   0.0 |5743k|  75 |   - |1197 |3219 |   0 |   0 |   0 |  25k|   0 | 1.000000e+00 |      --      |    Inf 
114.16/114.21	c   109s| 50000 |    44 |     0 |   0.0 |5738k|  75 |   - |1197 |3218 |   0 |   0 |   0 |  32k|   0 | 1.000000e+00 |      --      |    Inf 
137.35/137.49	c   131s| 60000 |    51 |     0 |   0.0 |5742k|  75 |   - |1197 |3201 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 |      --      |    Inf 
160.33/160.41	c   153s| 70000 |    43 |     0 |   0.0 |5774k|  75 |   - |1197 |3237 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 |      --      |    Inf 
183.54/183.65	c   175s| 80000 |    42 |     0 |   0.0 |5773k|  75 |   - |1197 |3268 |   0 |   0 |   0 |  51k|   0 | 1.000000e+00 |      --      |    Inf 
206.42/206.57	c   197s| 90000 |    46 |     0 |   0.0 |5781k|  75 |   - |1197 |3297 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 |      --      |    Inf 
229.21/229.32	c   219s|100000 |    45 |     0 |   0.0 |5846k|  75 |   - |1197 |3419 |   0 |   0 |   0 |  65k|   0 | 1.000000e+00 |      --      |    Inf 
252.11/252.22	c   241s|110000 |    46 |     0 |   0.0 |5841k|  75 |   - |1197 |3436 |   0 |   0 |   0 |  71k|   0 | 1.000000e+00 |      --      |    Inf 
274.81/274.96	c   263s|120000 |    46 |     0 |   0.0 |5803k|  75 |   - |1197 |3216 |   0 |   0 |   0 |  78k|   0 | 1.000000e+00 |      --      |    Inf 
298.09/298.20	c   285s|130000 |    45 |     0 |   0.0 |5782k|  75 |   - |1197 |3199 |   0 |   0 |   0 |  84k|   0 | 1.000000e+00 |      --      |    Inf 
320.99/321.15	c   307s|140000 |    43 |     0 |   0.0 |5807k|  75 |   - |1197 |3235 |   0 |   0 |   0 |  90k|   0 | 1.000000e+00 |      --      |    Inf 
344.47/344.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
344.47/344.61	c   329s|150000 |    45 |     0 |   0.0 |5803k|  75 |   - |1197 |3239 |   0 |   0 |   0 |  97k|   0 | 1.000000e+00 |      --      |    Inf 
368.07/368.20	c   352s|160000 |    45 |     0 |   0.0 |5790k|  75 |   - |1197 |3197 |   0 |   0 |   0 | 103k|   0 | 1.000000e+00 |      --      |    Inf 
391.76/391.96	c   375s|170000 |    47 |     0 |   0.0 |5802k|  75 |   - |1197 |3213 |   0 |   0 |   0 | 110k|   0 | 1.000000e+00 |      --      |    Inf 
414.95/415.15	c   397s|180000 |    45 |     0 |   0.0 |5813k|  75 |   - |1197 |3206 |   0 |   0 |   0 | 116k|   0 | 1.000000e+00 |      --      |    Inf 
438.04/438.26	c   419s|190000 |    45 |     0 |   0.0 |5830k|  75 |   - |1197 |3254 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 |      --      |    Inf 
462.04/462.21	c   442s|200000 |    40 |     0 |   0.0 |5814k|  75 |   - |1197 |3223 |   0 |   0 |   0 | 130k|   0 | 1.000000e+00 |      --      |    Inf 
484.62/484.85	c   463s|210000 |    40 |     0 |   0.0 |5884k|  75 |   - |1197 |3450 |   0 |   0 |   0 | 136k|   0 | 1.000000e+00 |      --      |    Inf 
508.12/508.38	c   486s|220000 |    45 |     0 |   0.0 |5850k|  75 |   - |1197 |3242 |   0 |   0 |   0 | 143k|   0 | 1.000000e+00 |      --      |    Inf 
531.31/531.56	c   508s|230000 |    42 |     0 |   0.0 |5836k|  75 |   - |1197 |3231 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 |      --      |    Inf 
554.70/554.92	c   530s|240000 |    47 |     0 |   0.0 |5847k|  75 |   - |1197 |3238 |   0 |   0 |   0 | 156k|   0 | 1.000000e+00 |      --      |    Inf 
578.31/578.60	c   553s|250000 |    41 |     0 |   0.0 |5861k|  75 |   - |1197 |3250 |   0 |   0 |   0 | 162k|   0 | 1.000000e+00 |      --      |    Inf 
601.78/602.02	c   575s|260000 |    48 |     0 |   0.0 |5867k|  75 |   - |1197 |3252 |   0 |   0 |   0 | 169k|   0 | 1.000000e+00 |      --      |    Inf 
624.98/625.22	c   597s|270000 |    43 |     0 |   0.0 |5887k|  75 |   - |1197 |3261 |   0 |   0 |   0 | 175k|   0 | 1.000000e+00 |      --      |    Inf 
648.07/648.30	c   620s|280000 |    45 |     0 |   0.0 |5883k|  75 |   - |1197 |3267 |   0 |   0 |   0 | 182k|   0 | 1.000000e+00 |      --      |    Inf 
671.36/671.63	c   642s|290000 |    41 |     0 |   0.0 |5883k|  75 |   - |1197 |3269 |   0 |   0 |   0 | 189k|   0 | 1.000000e+00 |      --      |    Inf 
694.66/694.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
694.66/694.91	c   664s|300000 |    42 |     0 |   0.0 |5881k|  75 |   - |1197 |3239 |   0 |   0 |   0 | 195k|   0 | 1.000000e+00 |      --      |    Inf 
717.95/718.30	c   686s|310000 |    45 |     0 |   0.0 |5879k|  75 |   - |1197 |3268 |   0 |   0 |   0 | 202k|   0 | 1.000000e+00 |      --      |    Inf 
742.04/742.34	c   709s|320000 |    39 |     0 |   0.0 |5885k|  75 |   - |1197 |3338 |   0 |   0 |   0 | 208k|   0 | 1.000000e+00 |      --      |    Inf 
765.73/766.04	c   732s|330000 |    45 |     0 |   0.0 |5915k|  75 |   - |1197 |3354 |   0 |   0 |   0 | 215k|   0 | 1.000000e+00 |      --      |    Inf 
788.73/789.04	c   754s|340000 |    48 |     0 |   0.0 |5906k|  75 |   - |1197 |3334 |   0 |   0 |   0 | 221k|   0 | 1.000000e+00 |      --      |    Inf 
811.52/811.83	c   776s|350000 |    40 |     0 |   0.0 |5897k|  75 |   - |1197 |3264 |   0 |   0 |   0 | 228k|   0 | 1.000000e+00 |      --      |    Inf 
834.61/834.93	c   798s|360000 |    44 |     0 |   0.0 |5888k|  75 |   - |1197 |3251 |   0 |   0 |   0 | 234k|   0 | 1.000000e+00 |      --      |    Inf 
857.61/857.95	c   820s|370000 |    43 |     0 |   0.0 |5910k|  75 |   - |1197 |3259 |   0 |   0 |   0 | 241k|   0 | 1.000000e+00 |      --      |    Inf 
881.09/881.44	c   842s|380000 |    42 |     0 |   0.0 |5899k|  75 |   - |1197 |3297 |   0 |   0 |   0 | 248k|   0 | 1.000000e+00 |      --      |    Inf 
904.99/905.32	c   865s|390000 |    38 |     0 |   0.0 |5918k|  75 |   - |1197 |3377 |   0 |   0 |   0 | 254k|   0 | 1.000000e+00 |      --      |    Inf 
928.38/928.70	c   888s|400000 |    38 |     0 |   0.0 |5940k|  75 |   - |1197 |3460 |   0 |   0 |   0 | 261k|   0 | 1.000000e+00 |      --      |    Inf 
951.77/952.18	c   910s|410000 |    41 |     0 |   0.0 |5890k|  75 |   - |1197 |3235 |   0 |   0 |   0 | 267k|   0 | 1.000000e+00 |      --      |    Inf 
975.46/975.83	c   933s|420000 |    41 |     0 |   0.0 |5900k|  75 |   - |1197 |3299 |   0 |   0 |   0 | 274k|   0 | 1.000000e+00 |      --      |    Inf 
998.95/999.30	c   955s|430000 |    42 |     0 |   0.0 |5918k|  75 |   - |1197 |3344 |   0 |   0 |   0 | 280k|   0 | 1.000000e+00 |      --      |    Inf 
1022.25/1022.63	c   977s|440000 |    44 |     0 |   0.0 |5905k|  75 |   - |1197 |3307 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 |      --      |    Inf 
1045.84/1046.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1045.84/1046.28	c  1000s|450000 |    39 |     0 |   0.0 |5932k|  75 |   - |1197 |3323 |   0 |   0 |   0 | 294k|   0 | 1.000000e+00 |      --      |    Inf 
1068.93/1069.35	c  1022s|460000 |    42 |     0 |   0.0 |5944k|  75 |   - |1197 |3444 |   0 |   0 |   0 | 300k|   0 | 1.000000e+00 |      --      |    Inf 
1092.22/1092.62	c  1044s|470000 |    41 |     0 |   0.0 |5987k|  75 |   - |1197 |3544 |   0 |   0 |   0 | 307k|   0 | 1.000000e+00 |      --      |    Inf 
1115.42/1115.85	c  1067s|480000 |    48 |     0 |   0.0 |5883k|  75 |   - |1197 |3184 |   0 |   0 |   0 | 313k|   0 | 1.000000e+00 |      --      |    Inf 
1139.41/1139.86	c  1090s|490000 |    43 |     0 |   0.0 |5904k|  75 |   - |1197 |3234 |   0 |   0 |   0 | 320k|   0 | 1.000000e+00 |      --      |    Inf 
1163.10/1163.55	c  1112s|500000 |    41 |     0 |   0.0 |5915k|  75 |   - |1197 |3266 |   0 |   0 |   0 | 326k|   0 | 1.000000e+00 |      --      |    Inf 
1186.59/1187.00	c  1135s|510000 |    44 |     0 |   0.0 |5904k|  75 |   - |1197 |3218 |   0 |   0 |   0 | 333k|   0 | 1.000000e+00 |      --      |    Inf 
1209.78/1210.22	c  1157s|520000 |    41 |     0 |   0.0 |5932k|  75 |   - |1197 |3294 |   0 |   0 |   0 | 339k|   0 | 1.000000e+00 |      --      |    Inf 
1233.27/1233.73	c  1179s|530000 |    48 |     0 |   0.0 |5922k|  75 |   - |1197 |3273 |   0 |   0 |   0 | 346k|   0 | 1.000000e+00 |      --      |    Inf 
1256.57/1257.04	c  1202s|540000 |    43 |     0 |   0.0 |5922k|  75 |   - |1197 |3277 |   0 |   0 |   0 | 352k|   0 | 1.000000e+00 |      --      |    Inf 
1279.76/1280.25	c  1224s|550000 |    42 |     0 |   0.0 |5893k|  75 |   - |1197 |3178 |   0 |   0 |   0 | 359k|   0 | 1.000000e+00 |      --      |    Inf 
1303.85/1304.33	c  1247s|560000 |    43 |     0 |   0.0 |5904k|  75 |   - |1197 |3200 |   0 |   0 |   0 | 366k|   0 | 1.000000e+00 |      --      |    Inf 
1328.04/1328.57	c  1270s|570000 |    40 |     0 |   0.0 |5933k|  75 |   - |1197 |3229 |   0 |   0 |   0 | 372k|   0 | 1.000000e+00 |      --      |    Inf 
1351.34/1351.89	c  1292s|580000 |    40 |     0 |   0.0 |5919k|  75 |   - |1197 |3230 |   0 |   0 |   0 | 379k|   0 | 1.000000e+00 |      --      |    Inf 
1374.53/1375.05	c  1314s|590000 |    40 |     0 |   0.0 |5933k|  75 |   - |1197 |3229 |   0 |   0 |   0 | 385k|   0 | 1.000000e+00 |      --      |    Inf 
1397.82/1398.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1397.82/1398.30	c  1336s|600000 |    37 |     0 |   0.0 |5928k|  75 |   - |1197 |3244 |   0 |   0 |   0 | 392k|   0 | 1.000000e+00 |      --      |    Inf 
1421.51/1422.05	c  1359s|610000 |    39 |     0 |   0.0 |5926k|  75 |   - |1197 |3209 |   0 |   0 |   0 | 398k|   0 | 1.000000e+00 |      --      |    Inf 
1445.00/1445.56	c  1382s|620000 |    41 |     0 |   0.0 |5933k|  75 |   - |1197 |3248 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 |      --      |    Inf 
1467.90/1468.45	c  1403s|630000 |    43 |     0 |   0.0 |5935k|  75 |   - |1197 |3258 |   0 |   0 |   0 | 411k|   0 | 1.000000e+00 |      --      |    Inf 
1491.59/1492.10	c  1426s|640000 |    42 |     0 |   0.0 |5978k|  75 |   - |1197 |3323 |   0 |   0 |   0 | 418k|   0 | 1.000000e+00 |      --      |    Inf 
1514.97/1515.59	c  1449s|650000 |    46 |     0 |   0.0 |5927k|  75 |   - |1197 |3198 |   0 |   0 |   0 | 425k|   0 | 1.000000e+00 |      --      |    Inf 
1538.77/1539.30	c  1471s|660000 |    46 |     0 |   0.0 |5940k|  75 |   - |1197 |3210 |   0 |   0 |   0 | 431k|   0 | 1.000000e+00 |      --      |    Inf 
1562.07/1562.66	c  1494s|670000 |    42 |     0 |   0.0 |5936k|  75 |   - |1197 |3228 |   0 |   0 |   0 | 438k|   0 | 1.000000e+00 |      --      |    Inf 
1585.56/1586.14	c  1516s|680000 |    41 |     0 |   0.0 |5951k|  75 |   - |1197 |3280 |   0 |   0 |   0 | 444k|   0 | 1.000000e+00 |      --      |    Inf 
1608.24/1608.85	c  1538s|690000 |    48 |     0 |   0.0 |5938k|  75 |   - |1197 |3210 |   0 |   0 |   0 | 451k|   0 | 1.000000e+00 |      --      |    Inf 
1631.83/1632.45	c  1560s|700000 |    38 |     0 |   0.0 |5933k|  75 |   - |1197 |3223 |   0 |   0 |   0 | 457k|   0 | 1.000000e+00 |      --      |    Inf 
1654.82/1655.46	c  1582s|710000 |    44 |     0 |   0.0 |5976k|  75 |   - |1197 |3300 |   0 |   0 |   0 | 464k|   0 | 1.000000e+00 |      --      |    Inf 
1678.21/1678.85	c  1605s|720000 |    40 |     0 |   0.0 |5926k|  75 |   - |1197 |3208 |   0 |   0 |   0 | 470k|   0 | 1.000000e+00 |      --      |    Inf 
1701.11/1701.77	c  1627s|730000 |    40 |     0 |   0.0 |5944k|  75 |   - |1197 |3234 |   0 |   0 |   0 | 477k|   0 | 1.000000e+00 |      --      |    Inf 
1724.39/1725.04	c  1649s|740000 |    40 |     0 |   0.0 |5944k|  75 |   - |1197 |3229 |   0 |   0 |   0 | 484k|   0 | 1.000000e+00 |      --      |    Inf 
1747.59/1748.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1747.59/1748.28	c  1671s|750000 |    42 |     0 |   0.0 |5945k|  75 |   - |1197 |3231 |   0 |   0 |   0 | 490k|   0 | 1.000000e+00 |      --      |    Inf 
1770.98/1771.69	c  1693s|760000 |    38 |     0 |   0.0 |5967k|  75 |   - |1197 |3270 |   0 |   0 |   0 | 497k|   0 | 1.000000e+00 |      --      |    Inf 
1793.97/1794.68	c  1715s|770000 |    46 |     0 |   0.0 |5954k|  75 |   - |1197 |3215 |   0 |   0 |   0 | 503k|   0 | 1.000000e+00 |      --      |    Inf 
1800.08/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71	c 
1800.08/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.71	c Solving Time (sec) : 1721.01
1800.08/1800.71	c Solving Nodes      : 772624
1800.08/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.71	c Dual Bound         : +1.00000000000000e+00
1800.08/1800.71	c Gap                : infinite
1800.08/1800.71	s UNKNOWN
1800.08/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.71	c Solving Time       :    1721.01
1800.08/1800.71	c Original Problem   :
1800.08/1800.71	c   Problem name     : HOME/instance-2663997-1276454073.opb
1800.08/1800.71	c   Variables        : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71	c   Constraints      : 3150 initial, 3150 maximal
1800.08/1800.71	c Presolved Problem  :
1800.08/1800.71	c   Problem name     : t_HOME/instance-2663997-1276454073.opb
1800.08/1800.71	c   Variables        : 1197 (1197 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71	c   Constraints      : 3147 initial, 3683 maximal
1800.08/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   dualfix          :       0.00          3          0          0          0          0          0          0          0
1800.08/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.71	c   linear           :       0.02          0          0          0          0          0          3          0          0
1800.08/1800.71	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.08/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.71	c   logicor          :       3147+         0   14819660          0          0     453601   87036529          0          0          0
1800.08/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.71	c   logicor          :     449.55       0.00     449.55       0.00       0.00
1800.08/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.71	c   vbounds          :       7.19          2          0          0
1800.08/1800.71	c   rootredcost      :       6.88          0          0          0
1800.08/1800.71	c   pseudoobj        :     755.93   15522406          0          0
1800.08/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.71	c   propagation      :      75.88     453601     453160     453160       37.8      52154       17.0          -
1800.08/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.71	c   applied globally :          -          -          -     505314       35.6          -          -          -
1800.08/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.71	c Pricers            :       Time      Calls       Vars
1800.08/1800.71	c   problem variables:       0.00          0          0
1800.08/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   inference        :     156.62     504329          0          0          0          0    1008658
1800.08/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.71	c   LP solutions     :       0.00          -          0
1800.08/1800.71	c   pseudo solutions :       0.00          -          0
1800.08/1800.71	c   oneopt           :       0.49          0          0
1800.08/1800.71	c   trivial          :       0.01          2          0
1800.08/1800.71	c   simplerounding   :       0.00          0          0
1800.08/1800.71	c   zirounding       :       0.00          0          0
1800.08/1800.71	c   rounding         :       0.00          0          0
1800.08/1800.71	c   shifting         :       0.00          0          0
1800.08/1800.71	c   intshifting      :       0.00          0          0
1800.08/1800.71	c   twoopt           :       0.00          0          0
1800.08/1800.71	c   fixandinfer      :       0.00          0          0
1800.08/1800.71	c   feaspump         :       0.00          0          0
1800.08/1800.71	c   coefdiving       :       0.00          0          0
1800.08/1800.71	c   pscostdiving     :       0.00          0          0
1800.08/1800.71	c   fracdiving       :       0.00          0          0
1800.08/1800.71	c   veclendiving     :       0.00          0          0
1800.08/1800.71	c   intdiving        :       0.00          0          0
1800.08/1800.71	c   actconsdiving    :       0.00          0          0
1800.08/1800.71	c   objpscostdiving  :       0.00          0          0
1800.08/1800.71	c   rootsoldiving    :       0.00          0          0
1800.08/1800.71	c   linesearchdiving :       0.00          0          0
1800.08/1800.71	c   guideddiving     :       0.00          0          0
1800.08/1800.71	c   octane           :       0.00          0          0
1800.08/1800.71	c   rens             :       0.00          0          0
1800.08/1800.71	c   rins             :       0.00          0          0
1800.08/1800.71	c   localbranching   :       0.00          0          0
1800.08/1800.71	c   mutation         :       0.00          0          0
1800.08/1800.71	c   crossover        :       0.00          0          0
1800.08/1800.71	c   dins             :       0.00          0          0
1800.08/1800.71	c   undercover       :       0.00          0          0
1800.08/1800.71	c   nlp              :       0.52          0          0
1800.08/1800.71	c   trysol           :       0.36          0          0
1800.08/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.71	c B&B Tree           :
1800.08/1800.71	c   number of runs   :          1
1800.08/1800.71	c   nodes            :     772624
1800.08/1800.71	c   nodes (total)    :     772624
1800.08/1800.71	c   nodes left       :         44
1800.08/1800.71	c   max depth        :         75
1800.08/1800.71	c   max depth (total):         75
1800.08/1800.71	c   backtracks       :     193621 (25.1%)
1800.08/1800.71	c   delayed cutoffs  :     235991
1800.08/1800.71	c   repropagations   :     793718 (36733526 domain reductions, 185306 cutoffs)
1800.08/1800.71	c   avg switch length:       2.94
1800.08/1800.71	c   switching time   :     178.46
1800.08/1800.71	c Solution           :
1800.08/1800.71	c   Solutions found  :          0 (0 improvements)
1800.08/1800.71	c   Primal Bound     :          -
1800.08/1800.71	c   Dual Bound       : +1.00000000000000e+00
1800.08/1800.71	c   Gap              :   infinite
1800.08/1800.71	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.71	c   Root Iterations  :          0
1800.08/1800.73	c Time complete: 1800.1.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663997-1276454073/watcher-2663997-1276454073 -o /tmp/evaluation-result-2663997-1276454073/solver-2663997-1276454073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663997-1276454073.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.01 1.07 1.01 3/106 26662
/proc/meminfo: memFree=1847628/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=6584 CPUtime=0
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 1 0 19063629 6742016 881 1992294400 4194304 7136930 140736944455088 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26662/statm: 1646 890 254 719 0 925 0

[startup+0.0356239 s]
/proc/loadavg: 1.01 1.07 1.01 3/106 26662
/proc/meminfo: memFree=1847628/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=9764 CPUtime=0.02
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 1919 0 0 0 2 0 0 0 20 0 1 0 19063629 9998336 1841 1992294400 4194304 7136930 140736944455088 18446744073709551615 4908298 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26662/statm: 2441 1841 271 719 0 1720 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9764

[startup+0.101636 s]
/proc/loadavg: 1.01 1.07 1.01 3/106 26662
/proc/meminfo: memFree=1847628/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=17152 CPUtime=0.09
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 3925 0 0 0 7 2 0 0 20 0 1 0 19063629 17563648 3493 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 4288 3493 341 719 0 3567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17152

[startup+0.301673 s]
/proc/loadavg: 1.01 1.07 1.01 3/106 26662
/proc/meminfo: memFree=1847628/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=21524 CPUtime=0.29
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 6626 0 0 0 25 4 0 0 20 0 1 0 19063629 22040576 4649 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 5381 4649 384 719 0 4660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21524

[startup+0.700748 s]
/proc/loadavg: 1.01 1.07 1.01 3/106 26662
/proc/meminfo: memFree=1847628/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=22848 CPUtime=0.69
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 6947 0 0 0 63 6 0 0 20 0 1 0 19063629 23396352 4970 1992294400 4194304 7136930 140736944455088 18446744073709551615 5507912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 5712 4970 384 719 0 4991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22848

[startup+1.5009 s]
/proc/loadavg: 1.01 1.07 1.01 2/107 26663
/proc/meminfo: memFree=1828772/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=23796 CPUtime=1.49
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 7177 0 0 0 140 9 0 0 23 0 1 0 19063629 24367104 5200 1992294400 4194304 7136930 140736944455088 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 5949 5200 384 719 0 5228 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23796

[startup+3.10119 s]
/proc/loadavg: 1.01 1.07 1.01 2/107 26663
/proc/meminfo: memFree=1827532/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=24748 CPUtime=3.09
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 7408 0 0 0 293 16 0 0 25 0 1 0 19063629 25341952 5431 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 6187 5431 384 719 0 5466 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24748

[startup+6.30079 s]
/proc/loadavg: 1.01 1.07 1.01 2/107 26663
/proc/meminfo: memFree=1826292/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=25564 CPUtime=6.29
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 7608 0 0 0 598 31 0 0 25 0 1 0 19063629 26177536 5631 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 6391 5631 384 719 0 5670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25564

[startup+12.701 s]
/proc/loadavg: 1.01 1.07 1.01 2/107 26663
/proc/meminfo: memFree=1825052/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=26532 CPUtime=12.69
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 7843 0 0 0 1209 60 0 0 25 0 1 0 19063629 27168768 5866 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 6633 5866 384 719 0 5912 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26532

[startup+25.5014 s]
/proc/loadavg: 1.01 1.07 1.01 2/107 26663
/proc/meminfo: memFree=1824308/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=27224 CPUtime=25.49
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8031 0 0 0 2437 112 0 0 25 0 1 0 19063629 27877376 6054 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 6806 6054 384 719 0 6085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27224

[startup+51.1011 s]
/proc/loadavg: 1.00 1.06 1.01 2/107 26663
/proc/meminfo: memFree=1823564/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=27968 CPUtime=51.07
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8215 0 0 0 4880 227 0 0 25 0 1 0 19063629 28639232 6238 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 6992 6238 384 719 0 6271 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27968

[startup+102.308 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 26665
/proc/meminfo: memFree=1822820/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=28812 CPUtime=102.27
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8399 0 0 0 9775 452 0 0 25 0 1 0 19063629 29503488 6422 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7203 6422 384 719 0 6482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28812

[startup+162.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 26667
/proc/meminfo: memFree=1822200/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=29364 CPUtime=162.23
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8529 0 0 0 15507 716 0 0 25 0 1 0 19063629 30068736 6552 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7341 6552 384 719 0 6620 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29364

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 26672
/proc/meminfo: memFree=1820960/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=29924 CPUtime=222.21
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8664 0 0 0 21240 981 0 0 25 0 1 0 19063629 30642176 6687 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7481 6687 384 719 0 6760 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29924

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26672
/proc/meminfo: memFree=1820588/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=30348 CPUtime=282.2
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8783 0 0 0 26978 1242 0 0 25 0 1 0 19063629 31076352 6806 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7587 6806 384 719 0 6866 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 30348

[startup+342.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26674
/proc/meminfo: memFree=1820340/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=30620 CPUtime=342.17
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8833 0 0 0 32721 1496 0 0 25 0 1 0 19063629 31354880 6856 1992294400 4194304 7136930 140736944455088 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7655 6856 384 719 0 6934 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 30620

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26676
/proc/meminfo: memFree=1819968/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=31040 CPUtime=402.15
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8934 0 0 0 38455 1760 0 0 25 0 1 0 19063629 31784960 6957 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7760 6957 384 719 0 7039 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 31040

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26678
/proc/meminfo: memFree=1819844/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=31172 CPUtime=462.13
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 8976 0 0 0 44194 2019 0 0 25 0 1 0 19063629 31920128 6999 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7793 6999 384 719 0 7072 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 31172

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26680
/proc/meminfo: memFree=1819596/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=31436 CPUtime=522.11
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9032 0 0 0 49921 2290 0 0 25 0 1 0 19063629 32190464 7055 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7859 7055 384 719 0 7138 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 31436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26680
/proc/meminfo: memFree=1819472/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=31588 CPUtime=582.09
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9067 0 0 0 55653 2556 0 0 25 0 1 0 19063629 32346112 7090 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7897 7090 384 719 0 7176 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 31588

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26682
/proc/meminfo: memFree=1819348/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=31876 CPUtime=642.08
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9112 0 0 0 61381 2827 0 0 25 0 1 0 19063629 32641024 7135 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 7969 7135 384 719 0 7248 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 31876

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26688
/proc/meminfo: memFree=1818604/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=32460 CPUtime=882
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9232 0 0 0 84327 3873 0 0 25 0 1 0 19063629 33239040 7255 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8115 7255 384 719 0 7394 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 32460

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26690
/proc/meminfo: memFree=1818480/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=32724 CPUtime=941.97
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9284 0 0 0 90065 4132 0 0 25 0 1 0 19063629 33509376 7307 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8181 7307 384 719 0 7460 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 32724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26692
/proc/meminfo: memFree=1818232/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=32724 CPUtime=1001.95
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9308 0 0 0 95802 4393 0 0 25 0 1 0 19063629 33509376 7331 1992294400 4194304 7136930 140736944455088 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8181 7331 384 719 0 7460 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 32724

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26694
/proc/meminfo: memFree=1818108/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=32880 CPUtime=1061.93
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9331 0 0 0 101547 4646 0 0 25 0 1 0 19063629 33669120 7354 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8220 7354 384 719 0 7499 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 32880

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26696
/proc/meminfo: memFree=1817860/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33012 CPUtime=1121.91
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9349 0 0 0 107284 4907 0 0 25 0 1 0 19063629 33804288 7372 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8253 7372 384 719 0 7532 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 33012

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26696
/proc/meminfo: memFree=1817736/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33144 CPUtime=1181.89
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9379 0 0 0 113018 5171 0 0 25 0 1 0 19063629 33939456 7402 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8286 7402 384 719 0 7565 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 33144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26698
/proc/meminfo: memFree=1817488/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33144 CPUtime=1241.87
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9385 0 0 0 118747 5440 0 0 25 0 1 0 19063629 33939456 7408 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8286 7408 384 719 0 7565 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 33144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26700
/proc/meminfo: memFree=1817364/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33276 CPUtime=1301.86
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9402 0 0 0 124480 5706 0 0 25 0 1 0 19063629 34074624 7425 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8319 7425 384 719 0 7598 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 33276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26702
/proc/meminfo: memFree=1817240/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33420 CPUtime=1361.83
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9428 0 0 0 130211 5972 0 0 25 0 1 0 19063629 34222080 7451 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8355 7451 384 719 0 7634 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 33420

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26704
/proc/meminfo: memFree=1817116/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33576 CPUtime=1421.82
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9458 0 0 0 135942 6240 0 0 25 0 1 0 19063629 34381824 7481 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8394 7481 384 719 0 7673 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 33576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26704
/proc/meminfo: memFree=1817116/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33716 CPUtime=1481.79
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9478 0 0 0 141675 6504 0 0 25 0 1 0 19063629 34525184 7501 1992294400 4194304 7136930 140736944455088 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8429 7501 384 719 0 7708 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 33716

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26706
/proc/meminfo: memFree=1816868/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33716 CPUtime=1541.77
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9505 0 0 0 147412 6765 0 0 25 0 1 0 19063629 34525184 7528 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8429 7528 384 719 0 7708 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 33716

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26717
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=33868 CPUtime=1601.74
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9529 0 0 0 153147 7027 0 0 25 0 1 0 19063629 34680832 7552 1992294400 4194304 7136930 140736944455088 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8467 7552 384 719 0 7746 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 33868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26719
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=34012 CPUtime=1661.72
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9546 0 0 0 158881 7291 0 0 25 0 1 0 19063629 34828288 7569 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8503 7569 384 719 0 7782 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 34012

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26721
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=34012 CPUtime=1721.7
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9552 0 0 0 164620 7550 0 0 25 0 1 0 19063629 34828288 7575 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8503 7575 384 719 0 7782 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 34012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26721
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=34168 CPUtime=1781.68
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9571 0 0 0 170347 7821 0 0 25 0 1 0 19063629 34988032 7594 1992294400 4194304 7136930 140736944455088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8542 7594 384 719 0 7821 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 34168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26723
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=34168 CPUtime=1800.08
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9576 0 0 0 172106 7902 0 0 25 0 1 0 19063629 34988032 7599 1992294400 4194304 7136930 140736944455088 18446744073709551615 4659997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8542 7599 384 719 0 7821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 34168

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26723
/proc/meminfo: memFree=1815752/2059040 swapFree=4142408/4192956
[pid=26662] ppid=26660 vsize=34168 CPUtime=1800.08
/proc/26662/stat : 26662 (pbscip.linux.x8) R 26660 26662 25013 0 -1 4202496 9576 0 0 0 172106 7902 0 0 25 0 1 0 19063629 34988032 7599 1992294400 4194304 7136930 140736944455088 18446744073709551615 4659997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26662/statm: 8542 7599 384 719 0 7821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 34168

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.11
CPU user time (s): 1721.08
CPU system time (s): 79.029
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 34168

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

runsolver used 3.17552 second user time and 8.31774 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-13 20:34:33
IDJOB=2663997
IDBENCH=2155
IDSOLVER=1167
FILE ID=node019/2663997-1276454073
PBS_JOBID= 11173339
Free space on /tmp= 62356 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.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-2663997-1276454073/watcher-2663997-1276454073 -o /tmp/evaluation-result-2663997-1276454073/solver-2663997-1276454073 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663997-1276454073.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
RANDOM SEED=544395446

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:       1848032 kB
Buffers:         26756 kB
Cached:          93808 kB
SwapCached:       4636 kB
Active:          96276 kB
Inactive:        37692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848032 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            3452 kB
Writeback:           0 kB
AnonPages:       11768 kB
Mapped:          13664 kB
Slab:            55304 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180596 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= 62352 MiB
End job on node019 at 2010-06-13 21:04:36