Trace number 2663741

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)6 1800.31 1800.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_5.opb
MD5SUM381026b11996e1fba08582de081db326
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark12.6251
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved YES
Number of variables50
Total number of constraints50
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 constraints50
Minimum length of a constraint11
Maximum length of a constraint18
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)606
Sum of products size (including duplicates)1212
Number of different products606
Sum of products size1212

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.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2663741-1276652708.opb>
0.00/0.01	c original problem has 656 variables (656 bin, 0 int, 0 impl, 0 cont) and 656 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	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.02	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 16862 impls, 0 clqs
0.19/0.20	c    (0.1s) probing: 101/656 (15.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20	c presolving (2 rounds):
0.19/0.20	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20	c  16862 implications, 0 cliques
0.19/0.20	c presolved problem has 656 variables (656 bin, 0 int, 0 impl, 0 cont) and 656 constraints
0.19/0.20	c     606 constraints of type <and>
0.19/0.20	c      50 constraints of type <logicor>
0.19/0.20	c transformed objective value is always integral (scale: 1)
0.19/0.20	c Presolving Time: 0.10
0.19/0.20	c - non default parameters ----------------------------------------------------------------------
0.19/0.20	c # SCIP version 1.2.1.2
0.19/0.20	c 
0.19/0.20	c # frequency for displaying node information lines
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20	c display/freq = 10000
0.19/0.20	c 
0.19/0.20	c # maximal time in seconds to run
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/time = 1799.99
0.19/0.20	c 
0.19/0.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/memory = 1620
0.19/0.20	c 
0.19/0.20	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c lp/solvefreq = -1
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify inequalities
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/linear/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify knapsacks
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c heuristics/undercover/freq = 0
0.19/0.20	c 
0.19/0.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c separating/rapidlearning/freq = 0
0.19/0.20	c 
0.19/0.20	c -----------------------------------------------------------------------------------------------
0.19/0.20	c start solving
0.19/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 |     - |2259k|   0 |   - | 656 | 656 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.34	o 9
1.29/1.34	c * 1.1s|  5095 |  5093 |     0 |   0.0 |7512k|  46 |   - | 656 | 656 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1.39/1.47	o 8
1.39/1.47	c * 1.2s|  5606 |  5574 |     0 |   0.0 |8111k|  48 |   - | 656 | 690 |   0 |   0 |   0 |  44 |   0 | 1.000000e+00 | 8.000000e+00 | 700.00%
2.39/2.45	c   2.1s| 10000 |  9957 |     0 |   0.0 |  12M|  48 |   - | 656 | 657 |   0 |   0 |   0 |  76 |   0 | 2.000000e+00 | 8.000000e+00 | 300.00%
4.49/4.55	c   4.0s| 20000 | 19939 |     0 |   0.0 |  23M|  48 |   - | 656 | 687 |   0 |   0 |   0 | 156 |   0 | 2.000000e+00 | 8.000000e+00 | 300.00%
6.69/6.71	c   6.0s| 30000 | 29910 |     0 |   0.0 |  33M|  48 |   - | 656 | 777 |   0 |   0 |   0 | 299 |   0 | 2.000000e+00 | 8.000000e+00 | 300.00%
8.19/8.22	o 7
8.19/8.22	c * 7.4s| 36105 | 35717 |     0 |   0.0 |  40M|  48 |   - | 656 |1017 |   0 |   0 |   0 | 597 |   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
9.29/9.33	c   8.4s| 40000 | 39233 |     0 |   0.0 |  44M|  48 |   - | 656 |1279 |   0 |   0 |   0 |2206 |   0 | 2.000000e+00 | 7.000000e+00 | 250.00%
11.39/11.44	o 6
11.39/11.44	c *10.3s| 47434 | 44320 |     0 |   0.0 |  51M|  51 |   - | 656 |1119 |   0 |   0 |   0 |4864 |   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
12.19/12.23	c  11.1s| 50000 | 46565 |     0 |   0.0 |  54M|  51 |   - | 656 |1546 |   0 |   0 |   0 |5730 |   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
16.49/16.53	c  15.1s| 60000 | 54288 |     0 |   0.0 |  67M|  51 |   - | 656 |3514 |   0 |   0 |   0 |  11k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
25.59/25.66	c  24.0s| 70000 | 59537 |     0 |   0.0 |  78M|  51 |   - | 656 |1640 |   0 |   0 |   0 |  25k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
29.38/29.47	c  27.6s| 80000 | 67971 |     0 |   0.0 |  89M|  51 |   - | 656 |1740 |   0 |   0 |   0 |  28k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
33.89/33.91	c  31.7s| 90000 | 75943 |     0 |   0.0 | 101M|  51 |   - | 656 |2211 |   0 |   0 |   0 |  31k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
38.68/38.77	c  36.4s|100000 | 83722 |     0 |   0.0 | 114M|  51 |   - | 656 |2920 |   0 |   0 |   0 |  34k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
44.08/44.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
44.08/44.14	c  41.5s|110000 | 91287 |     0 |   0.0 | 126M|  51 |   - | 656 |3161 |   0 |   0 |   0 |  38k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
49.18/49.24	c  46.3s|120000 | 98932 |     0 |   0.0 | 139M|  51 |   - | 656 |3516 |   0 |   0 |   0 |  42k|   0 | 3.000000e+00 | 6.000000e+00 | 100.00%
54.28/54.38	c  51.2s|130000 |106593 |     0 |   0.0 | 151M|  51 |   - | 656 |3741 |   0 |   0 |   0 |  46k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
60.17/60.27	c  56.8s|140000 |113765 |     0 |   0.0 | 164M|  51 |   - | 656 |4236 |   0 |   0 |   0 |  50k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
66.47/66.54	c  62.8s|150000 |120783 |     0 |   0.0 | 177M|  51 |   - | 656 |4315 |   0 |   0 |   0 |  55k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
73.17/73.29	c  69.3s|160000 |127520 |     0 |   0.0 | 190M|  51 |   - | 656 |4696 |   0 |   0 |   0 |  60k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
80.07/80.20	c  76.0s|170000 |134247 |     0 |   0.0 | 203M|  51 |   - | 656 |5085 |   0 |   0 |   0 |  65k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
87.87/87.95	c  83.5s|180000 |140621 |     0 |   0.0 | 217M|  51 |   - | 656 |5388 |   0 |   0 |   0 |  71k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
96.06/96.10	c  91.4s|190000 |146811 |     0 |   0.0 | 231M|  51 |   - | 656 |5938 |   0 |   0 |   0 |  77k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
104.86/104.94	c   100s|200000 |152833 |     0 |   0.0 | 245M|  51 |   - | 656 |6284 |   0 |   0 |   0 |  83k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
114.37/114.41	c   109s|210000 |158585 |     0 |   0.0 | 259M|  51 |   - | 656 |7029 |   0 |   0 |   0 |  90k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
125.16/125.20	c   120s|220000 |163845 |     0 |   0.0 | 273M|  51 |   - | 656 |7645 |   0 |   0 |   0 |  98k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
137.05/137.13	c   131s|230000 |168705 |     0 |   0.0 | 288M|  51 |   - | 656 |7966 |   0 |   0 |   0 | 107k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
150.66/150.76	c   145s|240000 |173022 |     0 |   0.0 | 303M|  51 |   - | 656 |8540 |   0 |   0 |   0 | 117k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
166.45/166.50	c   160s|250000 |176569 |     0 |   0.0 | 318M|  51 |   - | 656 |9227 |   0 |   0 |   0 | 129k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
183.74/183.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
183.74/183.86	c   177s|260000 |179613 |     0 |   0.0 | 332M|  51 |   - | 656 |9946 |   0 |   0 |   0 | 142k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
204.04/204.17	c   197s|270000 |181748 |     0 |   0.0 | 347M|  51 |   - | 656 |  11k|   0 |   0 |   0 | 158k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
228.64/228.77	c   221s|280000 |182716 |     0 |   0.0 | 360M|  51 |   - | 656 |  12k|   0 |   0 |   0 | 179k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
249.22/249.32	c   242s|290000 |186220 |     0 |   0.0 | 369M|  53 |   - | 656 |2820 |   0 |   0 |   0 | 195k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
255.22/255.37	c   248s|300000 |193837 |     0 |   0.0 | 381M|  53 |   - | 656 |2990 |   0 |   0 |   0 | 199k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
261.42/261.51	c   253s|310000 |201295 |     0 |   0.0 | 393M|  53 |   - | 656 |3486 |   0 |   0 |   0 | 203k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
268.12/268.28	c   260s|320000 |208492 |     0 |   0.0 | 406M|  53 |   - | 656 |4390 |   0 |   0 |   0 | 208k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
276.12/276.21	c   268s|330000 |215215 |     0 |   0.0 | 420M|  53 |   - | 656 |5278 |   0 |   0 |   0 | 214k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
284.92/285.01	c   276s|340000 |221686 |     0 |   0.0 | 433M|  53 |   - | 656 |5839 |   0 |   0 |   0 | 220k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
295.11/295.24	c   286s|350000 |227625 |     0 |   0.0 | 447M|  53 |   - | 656 |7089 |   0 |   0 |   0 | 228k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
307.31/307.40	c   298s|360000 |233095 |     0 |   0.0 | 462M|  53 |   - | 656 |8148 |   0 |   0 |   0 | 236k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
322.30/322.45	c   313s|370000 |237740 |     0 |   0.0 | 476M|  53 |   - | 656 |9095 |   0 |   0 |   0 | 246k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
341.60/341.73	c   332s|380000 |241380 |     0 |   0.0 | 491M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 260k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
370.50/370.68	c   360s|390000 |243242 |     0 |   0.0 | 501M|  53 |   - | 656 |3465 |   0 |   0 |   0 | 279k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
401.79/401.91	c   391s|400000 |239738 |     0 |   0.0 | 508M|  53 |   - | 656 |5022 |   0 |   0 |   0 | 294k|   0 | 4.000000e+00 | 6.000000e+00 |  50.00%
442.77/442.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
442.77/442.94	c   432s|410000 |233492 |     0 |   0.0 | 511M|  53 |   - | 656 |6123 |   0 |   0 |   0 | 310k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
496.06/496.24	c   485s|420000 |223359 |     0 |   0.0 | 510M|  53 |   - | 656 |7540 |   0 |   0 |   0 | 327k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
552.15/552.34	c   541s|430000 |213145 |     0 |   0.0 | 504M|  53 |   - | 656 |8575 |   0 |   0 |   0 | 344k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
609.14/609.35	c   597s|440000 |202890 |     0 |   0.0 | 497M|  53 |   - | 656 |9072 |   0 |   0 |   0 | 360k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
666.61/666.81	c   655s|450000 |192582 |     0 |   0.0 | 488M|  53 |   - | 656 |9608 |   0 |   0 |   0 | 375k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
725.90/726.14	c   714s|460000 |182172 |     0 |   0.0 | 478M|  53 |   - | 656 |9414 |   0 |   0 |   0 | 390k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
782.48/782.76	c   770s|470000 |171594 |     0 |   0.0 | 468M|  53 |   - | 656 |9916 |   0 |   0 |   0 | 404k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
839.68/839.99	c   827s|480000 |160917 |     0 |   0.0 | 457M|  53 |   - | 656 |  10k|   0 |   0 |   0 | 419k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
900.36/900.67	c   887s|490000 |149963 |     0 |   0.0 | 442M|  53 |   - | 656 |  11k|   0 |   0 |   0 | 434k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
960.73/961.07	c   947s|500000 |138660 |     0 |   0.0 | 421M|  53 |   - | 656 |  11k|   0 |   0 |   0 | 449k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1022.62/1023.06	c  1009s|510000 |127008 |     0 |   0.0 | 396M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 465k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1084.69/1085.14	c  1071s|520000 |114904 |     0 |   0.0 | 366M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 481k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1147.58/1148.05	c  1133s|530000 |102344 |     0 |   0.0 | 327M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 499k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1211.77/1212.26	c  1197s|540000 | 89089 |     0 |   0.0 | 275M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 518k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1285.24/1285.79	c  1270s|550000 | 74825 |     0 |   0.0 | 189M|  53 |   - | 656 |  15k|   0 |   0 |   0 | 542k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1363.43/1363.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1363.43/1363.92	c  1348s|560000 | 64296 |     0 |   0.0 | 178M|  53 |   - | 656 |  10k|   0 |   0 |   0 | 566k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1448.10/1448.68	c  1432s|570000 | 53937 |     0 |   0.0 | 173M|  53 |   - | 656 |  12k|   0 |   0 |   0 | 587k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1539.68/1540.28	c  1523s|580000 | 43140 |     0 |   0.0 | 160M|  53 |   - | 656 |  13k|   0 |   0 |   0 | 609k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1636.35/1636.99	c  1620s|590000 | 31881 |     0 |   0.0 | 140M|  53 |   - | 656 |  15k|   0 |   0 |   0 | 630k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1741.02/1741.65	c  1724s|600000 | 19615 |     0 |   0.0 | 102M|  53 |   - | 656 |  17k|   0 |   0 |   0 | 652k|   0 | 5.000000e+00 | 6.000000e+00 |  20.00%
1800.02/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62	c 
1800.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time (sec) : 1782.63
1800.02/1800.62	c Solving Nodes      : 605379
1800.02/1800.62	c Primal Bound       : +6.00000000000000e+00 (4 solutions)
1800.02/1800.62	c Dual Bound         : +5.00000000000000e+00
1800.02/1800.62	c Gap                : 20.00 %
1800.02/1800.62	s SATISFIABLE
1800.02/1800.62	v -x50 -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.02/1800.62	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.02/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.62	c Solving Time       :    1782.63
1800.02/1800.62	c Original Problem   :
1800.02/1800.62	c   Problem name     : HOME/instance-2663741-1276652708.opb
1800.02/1800.62	c   Variables        : 656 (656 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 656 initial, 656 maximal
1800.02/1800.62	c Presolved Problem  :
1800.02/1800.62	c   Problem name     : t_HOME/instance-2663741-1276652708.opb
1800.02/1800.62	c   Variables        : 656 (656 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62	c   Constraints      : 656 initial, 19355 maximal
1800.02/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.62	c   and              :       0.08          0          0          0          0          0          0          0          0
1800.02/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.62	c   and              :        606          0    1759206          0     345964       8923   74000530          0          0          0
1800.02/1800.62	c   logicor          :         50+         0    1135761          0     345968     289262     183961          0          0          0
1800.02/1800.62	c   countsols        :          0          0          0          0     345968          0          0          0          0          0
1800.02/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.62	c   and              :     236.64       0.00     235.71       0.00       0.93
1800.02/1800.62	c   logicor          :     609.71       0.00     605.03       0.00       4.68
1800.02/1800.62	c   countsols        :       0.12       0.00       0.00       0.00       0.12
1800.02/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.62	c   vbounds          :       0.92          2          0          0
1800.02/1800.62	c   rootredcost      :       1.04          0          0          0
1800.02/1800.62	c   pseudoobj        :      50.54    1766647       7637    5816384
1800.02/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.62	c   propagation      :      16.30     305822     305815     756562       19.1       1187       21.7          -
1800.02/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.62	c   pseudo solution  :       0.00          9          9         63       44.5          1       42.0          -
1800.02/1800.62	c   applied globally :          -          -          -     665308       17.7          -          -          -
1800.02/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.62	c Pricers            :       Time      Calls       Vars
1800.02/1800.62	c   problem variables:       0.00          0          0
1800.02/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   inference        :      22.25     345964          0          0          0          0     691928
1800.02/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.62	c   LP solutions     :       0.00          -          0
1800.02/1800.62	c   pseudo solutions :       0.01          -          4
1800.02/1800.62	c   oneopt           :       0.57          0          0
1800.02/1800.62	c   trivial          :       0.00          2          0
1800.02/1800.62	c   simplerounding   :       0.00          0          0
1800.02/1800.62	c   zirounding       :       0.00          0          0
1800.02/1800.62	c   rounding         :       0.00          0          0
1800.02/1800.62	c   shifting         :       0.00          0          0
1800.02/1800.62	c   intshifting      :       0.00          0          0
1800.02/1800.62	c   twoopt           :       0.00          0          0
1800.02/1800.62	c   fixandinfer      :       0.00          0          0
1800.02/1800.62	c   feaspump         :       0.00          0          0
1800.02/1800.62	c   coefdiving       :       0.00          0          0
1800.02/1800.62	c   pscostdiving     :       0.00          0          0
1800.02/1800.62	c   fracdiving       :       0.00          0          0
1800.02/1800.62	c   veclendiving     :       0.00          0          0
1800.02/1800.62	c   intdiving        :       0.00          0          0
1800.02/1800.62	c   actconsdiving    :       0.00          0          0
1800.02/1800.62	c   objpscostdiving  :       0.00          0          0
1800.02/1800.62	c   rootsoldiving    :       0.00          0          0
1800.02/1800.62	c   linesearchdiving :       0.00          0          0
1800.02/1800.62	c   guideddiving     :       0.00          0          0
1800.02/1800.62	c   octane           :       0.00          0          0
1800.02/1800.62	c   rens             :       0.00          0          0
1800.02/1800.62	c   rins             :       0.00          0          0
1800.02/1800.62	c   localbranching   :       0.00          0          0
1800.02/1800.62	c   mutation         :       0.00          0          0
1800.02/1800.62	c   crossover        :       0.00          0          0
1800.02/1800.62	c   dins             :       0.00          0          0
1800.02/1800.62	c   undercover       :       0.00          0          0
1800.02/1800.62	c   nlp              :       0.38          0          0
1800.02/1800.62	c   trysol           :       0.54          0          0
1800.02/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.62	c B&B Tree           :
1800.02/1800.62	c   number of runs   :          1
1800.02/1800.62	c   nodes            :     605379
1800.02/1800.62	c   nodes (total)    :     605379
1800.02/1800.62	c   nodes left       :      12561
1800.02/1800.62	c   max depth        :         53
1800.02/1800.62	c   max depth (total):         53
1800.02/1800.62	c   backtracks       :     265773 (43.9%)
1800.02/1800.62	c   delayed cutoffs  :      72023
1800.02/1800.62	c   repropagations   :     509077 (9788090 domain reductions, 46420 cutoffs)
1800.02/1800.62	c   avg switch length:      23.93
1800.02/1800.62	c   switching time   :     687.31
1800.02/1800.62	c Solution           :
1800.02/1800.62	c   Solutions found  :          4 (4 improvements)
1800.02/1800.62	c   First Solution   : +9.00000000000000e+00   (in run 1, after 5095 nodes, 1.12 seconds, depth 44, found by <relaxation>)
1800.02/1800.62	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 47434 nodes, 10.32 seconds, depth 40, found by <relaxation>)
1800.02/1800.62	c   Dual Bound       : +5.00000000000000e+00
1800.02/1800.62	c   Gap              :      20.00 %
1800.02/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.62	c   Root Iterations  :          0
1800.21/1800.89	c Time complete: 1800.3.

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663741-1276652708/watcher-2663741-1276652708 -o /tmp/evaluation-result-2663741-1276652708/solver-2663741-1276652708 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663741-1276652708.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.02 3/105 12735
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=7612 CPUtime=0
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 1336 0 0 0 0 0 0 0 25 0 1 0 6564872 7794688 1258 1992294400 4194304 7136930 140734595075936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12735/statm: 1903 1268 254 719 0 1182 0

[startup+0.059461 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 12735
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=12844 CPUtime=0.05
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 3094 0 0 0 3 2 0 0 25 0 1 0 6564872 13152256 2406 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 3211 2406 328 719 0 2490 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12844

[startup+0.101464 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 12735
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=12844 CPUtime=0.09
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 3094 0 0 0 5 4 0 0 25 0 1 0 6564872 13152256 2406 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 3211 2406 328 719 0 2490 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12844

[startup+0.301486 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 12735
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=14620 CPUtime=0.29
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 4113 0 0 0 19 10 0 0 18 0 1 0 6564872 14970880 2911 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 3655 2911 381 719 0 2934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14620

[startup+0.701527 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 12735
/proc/meminfo: memFree=1790328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=17168 CPUtime=0.69
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 4763 0 0 0 55 14 0 0 18 0 1 0 6564872 17580032 3561 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 4292 3561 381 719 0 3571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17168

[startup+1.50161 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 12736
/proc/meminfo: memFree=1775068/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=21896 CPUtime=1.49
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 5976 0 0 0 128 21 0 0 19 0 1 0 6564872 22421504 4774 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 5474 4774 387 719 0 4753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21896

[startup+3.10078 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 12736
/proc/meminfo: memFree=1767752/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=32868 CPUtime=3.09
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 8721 0 0 0 271 38 0 0 24 0 1 0 6564872 33656832 7519 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 8217 7519 387 719 0 7496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32868

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 12736
/proc/meminfo: memFree=1749772/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=48016 CPUtime=6.29
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 12594 0 0 0 562 67 0 0 25 0 1 0 6564872 49168384 11392 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 12004 11392 387 719 0 11283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48016

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 12736
/proc/meminfo: memFree=1717284/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=77768 CPUtime=12.69
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 20044 0 0 0 1149 120 0 0 25 0 1 0 6564872 79634432 18842 1992294400 4194304 7136930 140734595075936 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 19442 18842 387 719 0 18721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77768

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 12736
/proc/meminfo: memFree=1689508/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=106040 CPUtime=25.48
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 26819 0 0 0 2382 166 0 0 25 0 1 0 6564872 108584960 25617 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 26510 25617 387 719 0 25789 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106040

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 12738
/proc/meminfo: memFree=1619820/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=181792 CPUtime=51.07
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 44432 0 0 0 4809 298 0 0 25 0 1 0 6564872 186155008 43230 1992294400 4194304 7136930 140734595075936 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 45448 43230 387 719 0 44727 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181792

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 12738
/proc/meminfo: memFree=1516900/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=291428 CPUtime=102.28
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 69668 0 0 0 9745 483 0 0 25 0 1 0 6564872 298422272 68466 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 72857 68466 387 719 0 72136 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 291428

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12740
/proc/meminfo: memFree=1436796/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=379396 CPUtime=162.25
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 89693 0 0 0 15602 623 0 0 25 0 1 0 6564872 388501504 88491 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 94849 88491 387 719 0 94128 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 379396

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12742
/proc/meminfo: memFree=1389056/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=431020 CPUtime=222.23
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 101490 0 0 0 21507 716 0 0 25 0 1 0 6564872 441364480 100288 1992294400 4194304 7136930 140734595075936 18446744073709551615 5957736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 107755 100288 387 719 0 107034 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 431020

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12744
/proc/meminfo: memFree=1312052/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=522204 CPUtime=282.22
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 121153 0 0 0 27352 870 0 0 25 0 1 0 6564872 534736896 119951 1992294400 4194304 7136930 140734595075936 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 130551 119951 387 719 0 129830 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 522204

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12744
/proc/meminfo: memFree=1247076/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=591096 CPUtime=342.2
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 136909 0 0 0 33232 988 0 0 25 0 1 0 6564872 605282304 135707 1992294400 4194304 7136930 140734595075936 18446744073709551615 4660929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 147774 135707 387 719 0 147053 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 591096

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12746
/proc/meminfo: memFree=1224136/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=616032 CPUtime=402.19
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 142619 0 0 0 39167 1052 0 0 25 0 1 0 6564872 630816768 141417 1992294400 4194304 7136930 140734595075936 18446744073709551615 4702129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 154008 141417 387 719 0 153287 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 616032

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12748
/proc/meminfo: memFree=1219920/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=620052 CPUtime=462.17
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 143689 0 0 0 45125 1092 0 0 25 0 1 0 6564872 634933248 142487 1992294400 4194304 7136930 140734595075936 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 155013 142487 387 719 0 154292 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 620052

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12750
/proc/meminfo: memFree=1217316/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=622812 CPUtime=522.16
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 144310 0 0 0 51093 1123 0 0 25 0 1 0 6564872 637759488 143108 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 155703 143108 387 719 0 154982 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 622812

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12752
/proc/meminfo: memFree=1215704/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=625100 CPUtime=582.14
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 144706 0 0 0 57059 1155 0 0 25 0 1 0 6564872 640102400 143504 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156275 143504 387 719 0 155554 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 625100

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12752
/proc/meminfo: memFree=1215456/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=625100 CPUtime=642.13
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 144755 0 0 0 63028 1185 0 0 25 0 1 0 6564872 640102400 143553 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156275 143553 387 719 0 155554 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 625100

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12760
/proc/meminfo: memFree=1214216/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626300 CPUtime=882.06
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145010 0 0 0 86899 1307 0 0 25 0 1 0 6564872 641331200 143808 1992294400 4194304 7136930 140734595075936 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156575 143808 387 719 0 155854 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 626300

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12760
/proc/meminfo: memFree=1214092/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626300 CPUtime=942.04
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145014 0 0 0 92867 1337 0 0 25 0 1 0 6564872 641331200 143812 1992294400 4194304 7136930 140734595075936 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156575 143812 388 719 0 155854 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 626300

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12771
/proc/meminfo: memFree=1213224/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626300 CPUtime=1002.01
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145015 0 0 0 98833 1368 0 0 25 0 1 0 6564872 641331200 143813 1992294400 4194304 7136930 140734595075936 18446744073709551615 4619673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156575 143813 388 719 0 155854 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 626300

[startup+1062.3 s]
/proc/loadavg: 1.15 1.05 1.02 2/106 13273
/proc/meminfo: memFree=1203444/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626440 CPUtime=1061.9
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145049 0 0 0 104788 1402 0 0 25 0 1 0 6564872 641474560 143847 1992294400 4194304 7136930 140734595075936 18446744073709551615 5950342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156610 143847 388 719 0 155889 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 626440

[startup+1122.3 s]
/proc/loadavg: 1.05 1.04 1.01 2/106 13275
/proc/meminfo: memFree=1203568/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626440 CPUtime=1121.88
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145052 0 0 0 110755 1433 0 0 25 0 1 0 6564872 641474560 143850 1992294400 4194304 7136930 140734595075936 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156610 143850 388 719 0 155889 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 626440

[startup+1182.3 s]
/proc/loadavg: 1.02 1.03 1.01 2/106 13277
/proc/meminfo: memFree=1203568/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626440 CPUtime=1181.87
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145052 0 0 0 116720 1467 0 0 25 0 1 0 6564872 641474560 143850 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156610 143850 388 719 0 155889 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 626440

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 13277
/proc/meminfo: memFree=1203568/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626584 CPUtime=1241.85
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145080 0 0 0 122687 1498 0 0 25 0 1 0 6564872 641622016 143878 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156646 143878 388 719 0 155925 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 626584

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 13279
/proc/meminfo: memFree=1203320/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=627152 CPUtime=1301.85
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145238 0 0 0 128653 1532 0 0 25 0 1 0 6564872 642203648 144036 1992294400 4194304 7136930 140734595075936 18446744073709551615 6166894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156788 144036 388 719 0 156067 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 627152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 13281
/proc/meminfo: memFree=1203328/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=627296 CPUtime=1361.82
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145244 0 0 0 134617 1565 0 0 25 0 1 0 6564872 642351104 144042 1992294400 4194304 7136930 140734595075936 18446744073709551615 6166871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156824 144042 388 719 0 156103 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 627296

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 13283
/proc/meminfo: memFree=1203204/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=627776 CPUtime=1421.82
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145283 0 0 0 140588 1594 0 0 25 0 1 0 6564872 642842624 144081 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156944 144081 388 719 0 156223 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 627776

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13285
/proc/meminfo: memFree=1203204/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=627776 CPUtime=1481.79
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145285 0 0 0 146561 1618 0 0 25 0 1 0 6564872 642842624 144083 1992294400 4194304 7136930 140734595075936 18446744073709551615 6166894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156944 144083 388 719 0 156223 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 627776

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13285
/proc/meminfo: memFree=1203700/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=626684 CPUtime=1541.77
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145286 0 0 0 152535 1642 0 0 25 0 1 0 6564872 641724416 143811 1992294400 4194304 7136930 140734595075936 18446744073709551615 4780919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156671 143811 388 719 0 155950 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 626684

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13287
/proc/meminfo: memFree=1205560/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=624968 CPUtime=1601.77
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145354 0 0 0 158513 1664 0 0 25 0 1 0 6564872 639967232 143366 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156242 143366 388 719 0 155521 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 624968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13289
/proc/meminfo: memFree=1205560/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=625160 CPUtime=1661.75
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145392 0 0 0 164486 1689 0 0 25 0 1 0 6564872 640163840 143404 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 156290 143404 388 719 0 155569 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 625160

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13291
/proc/meminfo: memFree=1208040/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=623004 CPUtime=1721.73
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145510 0 0 0 170462 1711 0 0 25 0 1 0 6564872 637956096 142754 1992294400 4194304 7136930 140734595075936 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 155751 142754 388 719 0 155030 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 623004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13293
/proc/meminfo: memFree=1211636/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=618936 CPUtime=1781.71
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145515 0 0 0 176438 1733 0 0 25 0 1 0 6564872 633790464 141735 1992294400 4194304 7136930 140734595075936 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 154734 141735 388 719 0 154013 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 618936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13293
/proc/meminfo: memFree=1211636/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=619444 CPUtime=1800.02
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145645 0 0 0 178263 1739 0 0 25 0 1 0 6564872 634310656 141865 1992294400 4194304 7136930 140734595075936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12735/statm: 154861 141865 388 719 0 154140 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 619444

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13293
/proc/meminfo: memFree=1211636/2059040 swapFree=4192956/4192956
[pid=12735] ppid=12733 vsize=552644 CPUtime=1800.21
/proc/12735/stat : 12735 (pbscip.linux.x8) R 12733 12735 12710 0 -1 4202496 145655 0 0 0 178281 1740 0 0 25 0 1 0 6564872 565907456 125161 1992294400 4194304 7136930 140734595075936 18446744073709551615 4383954 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12735/statm: 138161 125161 394 719 0 137440 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 552644

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.31
CPU user time (s): 1782.85
CPU system time (s): 17.4613
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 627776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.85
system time used= 17.4613
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 11583

runsolver used 3.00654 second user time and 8.49071 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-16 03:45:08
IDJOB=2663741
IDBENCH=48114
IDSOLVER=1167
FILE ID=node081/2663741-1276652708
PBS_JOBID= 11172460
Free space on /tmp= 121808 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_50_10_5.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-2663741-1276652708/watcher-2663741-1276652708 -o /tmp/evaluation-result-2663741-1276652708/solver-2663741-1276652708 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663741-1276652708.opb -t 1800 -m 1800

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

MD5SUM BENCH= 381026b11996e1fba08582de081db326
RANDOM SEED=814986371

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1790856 kB
Buffers:         12916 kB
Cached:         130668 kB
SwapCached:          0 kB
Active:         115800 kB
Inactive:        87220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1790856 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3396 kB
Writeback:           0 kB
AnonPages:       59388 kB
Mapped:          15368 kB
Slab:            43580 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121808 MiB
End job on node081 at 2010-06-16 04:15:10