Trace number 1868971

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1794.76 1795.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUMe569a703dfec131c012510753e8401ab
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1931
Best CPU time to get the best result obtained on this benchmark18.6472
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
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 constraint1
Maximum length of a constraint8
Number of terms in the objective function 3862
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 3862
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3862
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.19/0.25	c SCIP version 1.1.0.7
0.19/0.25	c LP-Solver Clp 1.8.2
0.19/0.25	c user parameter file <scip.set> not found - using default parameters
0.19/0.25	c read problem <HOME/instance-1868971-1245152537.opb>
0.19/0.25	c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.29/0.31	c start presolving problem
0.29/0.31	c presolving:
0.29/0.39	c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.39/0.41	c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.39/0.43	c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.39/0.44	c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.39/0.46	c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.39/0.47	c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.39/0.48	c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.39/0.50	c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.49/0.51	c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.59/0.67	c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.69/0.70	c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.69/0.76	c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.69/0.77	c (round 13) 1011 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.79/0.82	c (round 14) 1061 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
0.79/0.83	c (round 15) 1063 del vars, 6130 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.79/0.87	c (round 16) 1063 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
0.89/0.92	c (round 17) 1114 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
0.89/0.93	c (round 18) 1118 del vars, 6248 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
0.89/0.94	c (round 19) 1119 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.00/1.02	c (round 20) 1171 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59779 impls, 0 clqs
1.00/1.04	c (round 21) 1174 del vars, 6425 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.00/1.07	c (round 22) 1174 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.10/1.14	c (round 23) 1226 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62905 impls, 0 clqs
1.10/1.15	c (round 24) 1229 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
1.19/1.20	c (round 25) 1279 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64141 impls, 0 clqs
1.19/1.21	c (round 26) 1279 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64361 impls, 0 clqs
1.19/1.26	c (round 27) 1329 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.19/1.27	c (round 28) 1329 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.29/1.32	c (round 29) 1379 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.29/1.33	c (round 30) 1379 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.39/1.40	c (round 31) 1429 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65717 impls, 0 clqs
1.39/1.46	c (round 32) 1479 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.39/1.46	c (round 33) 1479 del vars, 6992 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.49/1.50	c (round 34) 1479 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.49/1.59	c (round 35) 1529 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.59/1.60	c (round 36) 1529 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.59/1.67	c (round 37) 1579 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.69/1.71	c (round 38) 1579 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.69/1.76	c (round 39) 1629 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67419 impls, 0 clqs
1.79/1.83	c    (1.3s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
1.79/1.84	c (round 40) 1684 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68455 impls, 0 clqs
1.79/1.85	c (round 41) 1684 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68567 impls, 0 clqs
1.89/1.90	c (round 42) 1734 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
1.89/1.91	c (round 43) 1734 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
1.89/1.96	c (round 44) 1784 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.99/2.00	c (round 45) 1784 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
1.99/2.09	c    (1.6s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
1.99/2.09	c    (1.6s) probing aborted: 100/100 successive totally useless probings
1.99/2.09	c (round 46) 1785 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69107 impls, 0 clqs
2.09/2.15	c    (1.6s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.09/2.15	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.09/2.15	c presolving (47 rounds):
2.09/2.15	c  1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.09/2.15	c  69117 implications, 0 cliques
2.09/2.15	c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.09/2.15	c    9009 constraints of type <logicor>
2.09/2.15	c transformed objective value is always integral (scale: 1)
2.09/2.15	c Presolving Time: 1.60
2.09/2.16	c strange?!, PURESAT with obj
2.09/2.16	c -----------------------------------------------------------------------------------------------
2.09/2.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.16	c limits/memory = c 1620
2.09/2.16	c # maximal time in seconds to run
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.16	c limits/time = c 1791
2.09/2.16	c # frequency for displaying node information lines
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.16	c display/freq = c 10000
2.09/2.16	c -----------------------------------------------------------------------------------------------
2.09/2.16	c start solving problem
2.09/2.16	c 
2.89/2.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.89/2.90	c   2.4s|     1 |     0 |  2537 |  22M|   0 |1364 |2077 |9009 |9009 |2077 |8443 |   0 |   0 |   0 | 1.602146e+03 |      --      |    Inf 
10.09/10.15	c   9.6s|     1 |     0 | 11791 |  24M|   0 |1339 |2077 |9009 |9009 |2077 |8677 | 234 |   0 |   0 | 1.633417e+03 |      --      |    Inf 
13.28/13.40	c  12.8s|     1 |     0 | 15133 |  25M|   0 |1389 |2077 |9009 |9009 |2077 |8726 | 283 |   0 |   0 | 1.666536e+03 |      --      |    Inf 
17.98/18.03	c  17.4s|     1 |     0 | 19224 |  25M|   0 |1538 |2077 |9009 |9009 |2077 |8792 | 349 |   0 |   0 | 1.712901e+03 |      --      |    Inf 
21.28/21.37	c  20.7s|     1 |     0 | 21981 |  26M|   0 |1484 |2077 |9009 |9009 |2077 |8910 | 467 |   0 |   0 | 1.724557e+03 |      --      |    Inf 
27.08/27.19	c  26.5s|     1 |     0 | 26720 |  27M|   0 |1542 |2077 |9009 |9009 |2077 |8957 | 514 |   0 |   0 | 1.753331e+03 |      --      |    Inf 
31.28/31.33	c  30.6s|     1 |     0 | 30190 |  28M|   0 |1512 |2077 |9009 |9009 |2077 |9006 | 563 |   0 |   0 | 1.779201e+03 |      --      |    Inf 
37.07/37.10	c  36.4s|     1 |     0 | 33390 |  28M|   0 |1515 |2077 |9009 |9009 |2077 |9070 | 627 |   0 |   0 | 1.783132e+03 |      --      |    Inf 
43.17/43.27	c  42.5s|     1 |     0 | 37431 |  30M|   0 |1563 |2077 |9009 |9009 |2077 |9128 | 685 |   0 |   0 | 1.797554e+03 |      --      |    Inf 
46.97/47.00	c  46.2s|     1 |     0 | 39917 |  31M|   0 |1688 |2077 |9009 |9009 |2077 |9182 | 739 |   0 |   0 | 1.801878e+03 |      --      |    Inf 
54.07/54.15	c  53.4s|     1 |     0 | 43013 |  32M|   0 |1691 |2077 |9009 |9009 |2077 |9230 | 787 |   0 |   0 | 1.805426e+03 |      --      |    Inf 
59.57/59.63	c  58.8s|     1 |     0 | 46312 |  35M|   0 |1636 |2077 |9009 |9009 |2077 |9275 | 832 |   0 |   0 | 1.806984e+03 |      --      |    Inf 
64.87/64.95	c  64.1s|     1 |     0 | 49205 |  36M|   0 |1764 |2077 |9009 |9009 |2077 |9314 | 871 |   0 |   0 | 1.811511e+03 |      --      |    Inf 
73.17/73.27	c  72.4s|     1 |     0 | 53644 |  39M|   0 |1713 |2077 |9009 |9009 |2077 |9359 | 916 |   0 |   0 | 1.817435e+03 |      --      |    Inf 
82.37/82.43	c  81.5s|     1 |     0 | 58332 |  41M|   0 |1782 |2077 |9009 |9009 |2077 |9088 | 959 |   0 |   0 | 1.823810e+03 |      --      |    Inf 
95.76/95.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
95.76/95.87	c  94.9s|     1 |     0 | 64327 |  45M|   0 |1743 |2077 |9009 |9009 |2077 |9126 | 997 |   0 |   0 | 1.826934e+03 |      --      |    Inf 
106.06/106.20	c   105s|     1 |     0 | 69961 |  49M|   0 |1778 |2077 |9009 |9009 |2077 |9159 |1030 |   0 |   0 | 1.830207e+03 |      --      |    Inf 
121.26/121.34	c   120s|     1 |     0 | 75476 |  50M|   0 |1767 |2077 |9009 |9009 |2077 |9195 |1066 |   0 |   0 | 1.833235e+03 |      --      |    Inf 
142.86/142.94	c   142s|     1 |     0 | 84859 |  52M|   0 |1762 |2077 |9009 |9009 |2077 |9230 |1101 |   0 |   0 | 1.835182e+03 |      --      |    Inf 
161.55/161.68	c   160s|     1 |     0 | 91080 |  52M|   0 |1735 |2077 |9009 |9009 |2077 |9259 |1130 |   0 |   0 | 1.838037e+03 |      --      |    Inf 
176.04/176.12	c   175s|     1 |     0 | 96121 |  53M|   0 |1752 |2077 |9009 |9009 |2077 |9064 |1160 |   0 |   0 | 1.839967e+03 |      --      |    Inf 
185.94/186.04	c   185s|     1 |     0 | 98915 |  53M|   0 |1752 |2077 |9009 |9009 |2077 |9086 |1182 |   0 |   0 | 1.841118e+03 |      --      |    Inf 
201.74/201.83	c   200s|     1 |     0 |105370 |  54M|   0 |1727 |2077 |9009 |9009 |2077 |9112 |1208 |   0 |   0 | 1.842051e+03 |      --      |    Inf 
221.73/221.84	c   220s|     1 |     0 |112789 |  54M|   0 |1729 |2077 |9009 |9009 |2077 |9133 |1229 |   0 |   0 | 1.842700e+03 |      --      |    Inf 
237.73/237.87	c   236s|     1 |     0 |119359 |  54M|   0 |1720 |2077 |9009 |9009 |2077 |9161 |1257 |   0 |   0 | 1.843565e+03 |      --      |    Inf 
248.03/248.16	c   247s|     1 |     0 |122638 |  54M|   0 |1726 |2077 |9009 |9009 |2077 |9180 |1276 |   0 |   0 | 1.844640e+03 |      --      |    Inf 
262.13/262.27	c   261s|     1 |     0 |127001 |  54M|   0 |1759 |2077 |9009 |9009 |2077 |9010 |1298 |   0 |   0 | 1.845886e+03 |      --      |    Inf 
279.32/279.48	c   278s|     1 |     0 |133483 |  55M|   0 |1765 |2077 |9009 |9009 |2077 |9024 |1312 |   0 |   0 | 1.847301e+03 |      --      |    Inf 
295.72/295.89	c   294s|     1 |     0 |140003 |  55M|   0 |1754 |2077 |9009 |9009 |2077 |9054 |1342 |   0 |   0 | 1.847852e+03 |      --      |    Inf 
308.61/308.70	c   307s|     1 |     0 |144300 |  55M|   0 |1774 |2077 |9009 |9009 |2077 |9070 |1358 |   0 |   0 | 1.848614e+03 |      --      |    Inf 
321.60/321.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
321.60/321.76	c   320s|     1 |     0 |149259 |  55M|   0 |1777 |2077 |9009 |9009 |2077 |9090 |1378 |   0 |   0 | 1.849533e+03 |      --      |    Inf 
332.70/332.85	c   331s|     1 |     0 |152455 |  55M|   0 |1732 |2077 |9009 |9009 |2077 |9100 |1388 |   0 |   0 | 1.850003e+03 |      --      |    Inf 
346.10/346.21	c   345s|     1 |     0 |156705 |  55M|   0 |1771 |2077 |9009 |9009 |2077 |8990 |1401 |   0 |   0 | 1.850196e+03 |      --      |    Inf 
358.10/358.20	c   356s|     1 |     0 |160020 |  55M|   0 |1786 |2077 |9009 |9009 |2077 |9002 |1413 |   0 |   0 | 1.850523e+03 |      --      |    Inf 
366.00/366.15	c   364s|     1 |     0 |161233 |  55M|   0 |1808 |2077 |9009 |9009 |2077 |9012 |1423 |   0 |   0 | 1.850556e+03 |      --      |    Inf 
375.49/375.67	c   374s|     1 |     0 |163461 |  55M|   0 |1798 |2077 |9009 |9009 |2077 |9019 |1430 |   0 |   0 | 1.850726e+03 |      --      |    Inf 
387.09/387.25	c   385s|     1 |     0 |166399 |  55M|   0 |1783 |2077 |9009 |9009 |2077 |9028 |1439 |   0 |   0 | 1.850963e+03 |      --      |    Inf 
398.18/398.36	c   397s|     1 |     0 |169089 |  55M|   0 |1797 |2077 |9009 |9009 |2077 |9037 |1448 |   0 |   0 | 1.851280e+03 |      --      |    Inf 
411.48/411.68	c   410s|     1 |     0 |172468 |  55M|   0 |1755 |2077 |9009 |9009 |2077 |8947 |1457 |   0 |   0 | 1.852097e+03 |      --      |    Inf 
424.48/424.63	c   423s|     1 |     0 |176613 |  55M|   0 |1763 |2077 |9009 |9009 |2077 |8961 |1471 |   0 |   0 | 1.852602e+03 |      --      |    Inf 
436.88/437.05	c   435s|     1 |     0 |181124 |  55M|   0 |1770 |2077 |9009 |9009 |2077 |8977 |1487 |   0 |   0 | 1.853243e+03 |      --      |    Inf 
445.68/445.83	c   444s|     1 |     0 |183689 |  55M|   0 |1770 |2077 |9009 |9009 |2077 |8986 |1496 |   0 |   0 | 1.853244e+03 |      --      |    Inf 
456.68/456.88	c   455s|     1 |     0 |187167 |  55M|   0 |1761 |2077 |9009 |9009 |2077 |8994 |1504 |   0 |   0 | 1.853408e+03 |      --      |    Inf 
466.47/466.62	c   465s|     1 |     0 |190130 |  55M|   0 |1736 |2077 |9009 |9009 |2077 |9011 |1521 |   0 |   0 | 1.853530e+03 |      --      |    Inf 
494.76/494.96	c   493s|     1 |     0 |201889 |  55M|   0 |1770 |2077 |9009 |9009 |2077 |8966 |1536 |   0 |   0 | 1.853848e+03 |      --      |    Inf 
507.76/507.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
507.76/507.93	c   506s|     1 |     0 |206314 |  55M|   0 |1751 |2077 |9009 |9009 |2077 |8986 |1556 |   0 |   0 | 1.854048e+03 |      --      |    Inf 
518.76/518.98	c   517s|     1 |     0 |210044 |  55M|   0 |1713 |2077 |9009 |9009 |2077 |9003 |1573 |   0 |   0 | 1.854337e+03 |      --      |    Inf 
531.25/531.46	c   529s|     1 |     0 |213070 |  55M|   0 |1736 |2077 |9009 |9009 |2077 |9020 |1590 |   0 |   0 | 1.854563e+03 |      --      |    Inf 
542.45/542.66	c   541s|     1 |     0 |216694 |  55M|   0 |1743 |2077 |9009 |9009 |2077 |9026 |1596 |   0 |   0 | 1.855138e+03 |      --      |    Inf 
551.95/552.14	c   550s|     1 |     0 |219625 |  56M|   0 |1746 |2077 |9009 |9009 |2077 |9038 |1608 |   0 |   0 | 1.855139e+03 |      --      |    Inf 
560.05/560.25	c   558s|     1 |     0 |221565 |  56M|   0 |1742 |2077 |9009 |9009 |2077 |8984 |1612 |   0 |   0 | 1.855161e+03 |      --      |    Inf 
569.05/569.21	c   567s|     1 |     0 |224168 |  56M|   0 |1746 |2077 |9009 |9009 |2077 |8993 |1621 |   0 |   0 | 1.855177e+03 |      --      |    Inf 
579.34/579.50	c   577s|     1 |     0 |227469 |  56M|   0 |1748 |2077 |9009 |9009 |2077 |9005 |1633 |   0 |   0 | 1.855186e+03 |      --      |    Inf 
589.44/589.68	c   588s|     1 |     0 |230710 |  56M|   0 |1736 |2077 |9009 |9009 |2077 |9011 |1639 |   0 |   0 | 1.855186e+03 |      --      |    Inf 
625.03/625.20	c   623s|     1 |     2 |230710 |  56M|   0 |1736 |2077 |9009 |9009 |2077 |9011 |1639 |   0 |  37 | 1.855186e+03 |      --      |    Inf 
1794.65/1795.10	c 
1794.65/1795.10	c SCIP Status        : solving was interrupted [time limit reached]
1794.65/1795.10	c Solving Time (sec) : 1791.01
1794.65/1795.10	c Solving Nodes      : 49
1794.65/1795.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.65/1795.10	c Dual Bound         : +1.85725350577074e+03
1794.65/1795.10	c Gap                : infinite
1794.65/1795.10	c NODE         49
1794.65/1795.10	c DUAL BOUND   1857.25
1794.65/1795.10	c PRIMAL BOUND 1e+20
1794.65/1795.10	c GAP          1e+20
1794.65/1795.10	s UNKNOWN
1794.65/1795.10	c SCIP Status        : solving was interrupted [time limit reached]
1794.65/1795.10	c Solving Time       :    1791.01
1794.65/1795.10	c Original Problem   :
1794.65/1795.10	c   Problem name     : HOME/instance-1868971-1245152537.opb
1794.65/1795.10	c   Variables        : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.65/1795.10	c   Constraints      : 16399 initial, 16399 maximal
1794.65/1795.10	c Presolved Problem  :
1794.65/1795.10	c   Problem name     : t_HOME/instance-1868971-1245152537.opb
1794.65/1795.10	c   Variables        : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.65/1795.10	c   Constraints      : 9009 initial, 9061 maximal
1794.65/1795.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.65/1795.10	c   trivial          :       0.02          1          0          0          0          0          0          0          0
1794.65/1795.10	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1794.65/1795.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.65/1795.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.65/1795.10	c   implics          :       0.05          0         61          0          0          0          0          0          0
1794.65/1795.10	c   probing          :       0.61        241        570          0          0          0          0          0          0
1794.65/1795.10	c   linear           :       0.22        909          3          0        909          0       6007         31         24
1794.65/1795.10	c   logicor          :       0.62          0          0          0          1          0       1383          0          0
1794.65/1795.10	c   root node        :          -          0          -          -          0          -          -          -          -
1794.65/1795.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.65/1795.10	c   integral         :          0          0          0         50          0          3          7          0          0         88
1794.65/1795.10	c   logicor          :       9009+        53      14425          0          0        115        568          0          0          0
1794.65/1795.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1794.65/1795.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.65/1795.10	c   integral         :     487.06       0.00       0.00     487.06       0.00
1794.65/1795.10	c   logicor          :       0.24       0.11       0.13       0.00       0.00
1794.65/1795.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.65/1795.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.65/1795.10	c   rootredcost      :       0.00          0          0          0
1794.65/1795.10	c   pseudoobj        :       0.94      11847          0          0
1794.65/1795.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.65/1795.10	c   propagation      :       0.00         33         33         50        7.1          8        6.4          -
1794.65/1795.10	c   infeasible LP    :       0.01         10          0          0        0.0          0        0.0          0
1794.65/1795.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.65/1795.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.65/1795.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.65/1795.10	c   applied globally :          -          -          -         52        6.8          -          -          -
1794.65/1795.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.65/1795.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.65/1795.10	c   cut pool         :       0.63         52          -          -        841          -    (maximal pool size: 8810)
1794.65/1795.10	c   redcost          :       0.01        102          0          0          0          0
1794.65/1795.10	c   impliedbounds    :       0.11         53          0          0        905          0
1794.65/1795.10	c   intobj           :       0.00          0          0          0          0          0
1794.65/1795.10	c   gomory           :     165.99         53          0          0      15185          0
1794.65/1795.10	c   strongcg         :      10.15         20          0          0      10000          0
1794.65/1795.10	c   cmir             :       1.17         10          0          0          0          0
1794.65/1795.10	c   flowcover        :       1.30         10          0          0          0          0
1794.65/1795.10	c   clique           :       1.48         53          0          0        376          0
1794.65/1795.10	c   zerohalf         :       0.00          0          0          0          0          0
1794.65/1795.10	c   mcf              :       0.01          1          0          0          0          0
1794.65/1795.10	c Pricers            :       Time      Calls       Vars
1794.65/1795.10	c   problem variables:       0.00          0          0
1794.65/1795.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.65/1795.10	c   relpscost        :     487.06         50          3          7          0          0         88
1794.65/1795.10	c   pscost           :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   inference        :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   mostinf          :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   leastinf         :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.65/1795.10	c   random           :       0.00          0          0          0          0          0          0
1794.65/1795.10	c Primal Heuristics  :       Time      Calls      Found
1794.65/1795.10	c   LP solutions     :       0.00          -          0
1794.65/1795.10	c   pseudo solutions :       0.00          -          0
1794.65/1795.10	c   oneopt           :       0.00          0          0
1794.65/1795.10	c   crossover        :       0.00          0          0
1794.65/1795.10	c   veclendiving     :      92.01          3          0
1794.65/1795.10	c   simplerounding   :       0.00          0          0
1794.65/1795.10	c   rounding         :       0.35        101          0
1794.65/1795.10	c   shifting         :       0.85         55          0
1794.65/1795.10	c   intshifting      :       0.00          0          0
1794.65/1795.10	c   fixandinfer      :       0.00          0          0
1794.65/1795.10	c   feaspump         :       5.60          1          0
1794.65/1795.10	c   coefdiving       :     106.28          3          0
1794.65/1795.10	c   pscostdiving     :      94.66          3          0
1794.65/1795.10	c   fracdiving       :     102.27          4          0
1794.65/1795.10	c   intdiving        :       0.00          0          0
1794.65/1795.10	c   actconsdiving    :       0.00          0          0
1794.65/1795.10	c   objpscostdiving  :      40.09          1          0
1794.65/1795.10	c   rootsoldiving    :      80.43          1          0
1794.65/1795.10	c   linesearchdiving :      44.59          2          0
1794.65/1795.10	c   guideddiving     :       0.00          0          0
1794.65/1795.10	c   octane           :       0.00          0          0
1794.65/1795.10	c   rens             :       0.01          0          0
1794.65/1795.10	c   rins             :       0.00          0          0
1794.65/1795.10	c   localbranching   :       0.00          0          0
1794.65/1795.10	c   mutation         :       0.00          0          0
1794.65/1795.10	c   dins             :       0.00          0          0
1794.65/1795.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.65/1795.10	c   primal LP        :       5.78          0          0       0.00       0.00
1794.65/1795.10	c   dual LP          :     547.46        104     345334    3320.52     630.79
1794.65/1795.10	c   barrier LP       :       0.00          0          0       0.00          -
1794.65/1795.10	c   diving/probing LP:     549.10       5703     441149      77.35     803.40
1794.65/1795.11	c   strong branching :     486.99        624     298358     478.14     612.66
1794.65/1795.11	c     (at root node) :          -         37      17740     479.46          -
1794.65/1795.11	c   conflict analysis:       0.00          0          0       0.00          -
1794.65/1795.11	c B&B Tree           :
1794.65/1795.11	c   number of runs   :          1
1794.65/1795.11	c   nodes            :         49
1794.65/1795.11	c   nodes (total)    :         49
1794.65/1795.11	c   nodes left       :         31
1794.65/1795.11	c   max depth        :         19
1794.65/1795.11	c   max depth (total):         19
1794.65/1795.11	c   backtracks       :         19 (38.8%)
1794.65/1795.11	c   delayed cutoffs  :          9
1794.65/1795.11	c   repropagations   :          4 (5 domain reductions, 1 cutoffs)
1794.65/1795.11	c   avg switch length:       2.71
1794.65/1795.11	c   switching time   :       0.96
1794.65/1795.11	c Solution           :
1794.65/1795.11	c   Solutions found  :          0 (0 improvements)
1794.65/1795.11	c   Primal Bound     :          -
1794.65/1795.11	c   Dual Bound       : +1.85725350577074e+03
1794.65/1795.11	c   Gap              :   infinite
1794.65/1795.11	c   Root Dual Bound  : +1.85518599609594e+03
1794.74/1795.21	c Time complete: 1794.75.

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-1868971-1245152537/watcher-1868971-1245152537 -o /tmp/evaluation-result-1868971-1245152537/solver-1868971-1245152537 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868971-1245152537.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30484
/proc/meminfo: memFree=1915776/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=5812 CPUtime=0
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 182853495 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/30484/statm: 1453 515 344 1256 0 192 0

[startup+0.0408079 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30484
/proc/meminfo: memFree=1915776/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=14236 CPUtime=0.03
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 2540 0 0 0 3 0 0 0 18 0 1 0 182853495 14577664 2524 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/30484/statm: 3559 2524 378 1256 0 2298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14236

[startup+0.101812 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30484
/proc/meminfo: memFree=1915776/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=17156 CPUtime=0.09
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 3265 0 0 0 8 1 0 0 18 0 1 0 182853495 17567744 3249 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 1 0 0
/proc/30484/statm: 4289 3249 378 1256 0 3028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17156

[startup+0.30183 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30484
/proc/meminfo: memFree=1915776/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=35676 CPUtime=0.29
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 8252 0 0 0 26 3 0 0 19 0 1 0 182853495 36532224 7882 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 8919 7891 416 1256 0 7658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35676

[startup+0.701868 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30484
/proc/meminfo: memFree=1915776/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=44380 CPUtime=0.69
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 10264 0 0 0 57 12 0 0 22 0 1 0 182853495 45445120 9894 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 11095 9894 479 1256 0 9834 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44380

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1876216/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=46636 CPUtime=1.49
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 10859 0 0 0 126 23 0 0 25 0 1 0 182853495 47755264 10489 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 11659 10489 490 1256 0 10398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46636

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1875576/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=61656 CPUtime=3.09
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 14998 0 0 0 280 29 0 0 25 0 1 0 182853495 63135744 13739 1992294400 4194304 9342243 548682068736 18446744073709551615 6952952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 15414 13739 644 1256 0 14153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61656

[startup+6.30237 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1862072/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=63380 CPUtime=6.28
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 15183 0 0 0 599 29 0 0 25 0 1 0 182853495 64901120 13924 1992294400 4194304 9342243 548682068736 18446744073709551615 6975375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 15845 13924 644 1256 0 14584 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63380

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1855480/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=73240 CPUtime=12.68
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 18677 0 0 0 1235 33 0 0 25 0 1 0 182853495 74997760 15578 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 18310 15578 675 1256 0 17049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73240

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1851512/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=78052 CPUtime=25.48
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 27448 0 0 0 2507 41 0 0 25 0 1 0 182853495 79925248 16745 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 19513 16745 675 1256 0 18252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78052

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1841848/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=86788 CPUtime=51.08
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 39666 0 0 0 5055 53 0 0 25 0 1 0 182853495 88870912 19170 1992294400 4194304 9342243 548682068736 18446744073709551615 6948498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 21697 19170 675 1256 0 20436 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86788

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1823480/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=107980 CPUtime=102.27
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 72365 0 0 0 10149 78 0 0 25 0 1 0 182853495 110571520 23701 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 26995 23701 678 1256 0 25734 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107980

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1813688/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=118424 CPUtime=162.25
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 101249 0 0 0 16119 106 0 0 25 0 1 0 182853495 121266176 25991 1992294400 4194304 9342243 548682068736 18446744073709551615 8050632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29606 25991 678 1256 0 28345 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 118424

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1811064/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=118100 CPUtime=222.23
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 109466 0 0 0 22105 118 0 0 25 0 1 0 182853495 120934400 26740 1992294400 4194304 9342243 548682068736 18446744073709551615 6938963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29525 26740 678 1256 0 28264 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 118100

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1810680/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=282.22
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111274 0 0 0 28093 129 0 0 25 0 1 0 182853495 119558144 26819 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 26819 678 1256 0 27928 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 116756

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1809848/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=342.21
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111466 0 0 0 34084 137 0 0 25 0 1 0 182853495 119558144 27011 1992294400 4194304 9342243 548682068736 18446744073709551615 6909625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 27011 678 1256 0 27928 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 116756

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1809400/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=402.19
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111554 0 0 0 40075 144 0 0 25 0 1 0 182853495 119558144 27099 1992294400 4194304 9342243 548682068736 18446744073709551615 6952866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 27099 678 1256 0 27928 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 116756

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1809080/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=462.18
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111622 0 0 0 46066 152 0 0 25 0 1 0 182853495 119558144 27167 1992294400 4194304 9342243 548682068736 18446744073709551615 6960346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 27167 678 1256 0 27928 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 116756

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30485
/proc/meminfo: memFree=1809016/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=522.16
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111625 0 0 0 52056 160 0 0 25 0 1 0 182853495 119558144 27170 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 27170 678 1256 0 27928 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 116756

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30487
/proc/meminfo: memFree=1808248/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=116756 CPUtime=582.14
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 111758 0 0 0 58047 167 0 0 25 0 1 0 182853495 119558144 27303 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29189 27303 678 1256 0 27928 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 116756

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30487
/proc/meminfo: memFree=1808952/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=119832 CPUtime=642.13
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 116299 0 0 0 64038 175 0 0 25 0 1 0 182853495 122707968 27160 1992294400 4194304 9342243 548682068736 18446744073709551615 6978094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29958 27160 685 1256 0 28697 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 119832

[startup+702.301 s]

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

/proc/meminfo: memFree=1805304/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117716 CPUtime=1122.01
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 135829 0 0 0 111957 244 0 0 25 0 1 0 182853495 120541184 28033 1992294400 4194304 9342243 548682068736 18446744073709551615 5870000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29429 28033 691 1256 0 28168 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 117716

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805168/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=123932 CPUtime=1181.99
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 139429 0 0 0 117946 253 0 0 25 0 1 0 182853495 126906368 28053 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 30983 28053 691 1256 0 29722 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 123932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805040/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=123872 CPUtime=1241.97
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 145128 0 0 0 123936 261 0 0 25 0 1 0 182853495 126844928 28046 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 30968 28046 691 1256 0 29707 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 123872

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805168/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117620 CPUtime=1301.96
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 148912 0 0 0 129926 270 0 0 25 0 1 0 182853495 120442880 27973 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29405 27973 691 1256 0 28144 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 117620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805168/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117620 CPUtime=1361.95
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 148928 0 0 0 135918 277 0 0 25 0 1 0 182853495 120442880 27989 1992294400 4194304 9342243 548682068736 18446744073709551615 6952118 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29405 27989 691 1256 0 28144 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 117620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804976/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=123792 CPUtime=1421.94
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 150933 0 0 0 141908 286 0 0 25 0 1 0 182853495 126763008 28053 1992294400 4194304 9342243 548682068736 18446744073709551615 6040770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 30948 28053 691 1256 0 29687 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 123792

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804984/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=123764 CPUtime=1481.92
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 156479 0 0 0 147896 296 0 0 25 0 1 0 182853495 126734336 28052 1992294400 4194304 9342243 548682068736 18446744073709551615 6941313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 30941 28052 692 1256 0 29680 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 123764

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805176/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117452 CPUtime=1541.91
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 159019 0 0 0 153885 306 0 0 25 0 1 0 182853495 120270848 27975 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29363 27975 692 1256 0 28102 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 117452

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1805112/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117456 CPUtime=1601.88
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 160836 0 0 0 159874 314 0 0 25 0 1 0 182853495 120274944 27998 1992294400 4194304 9342243 548682068736 18446744073709551615 6959712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29364 27998 692 1256 0 28103 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 117456

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804920/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=123680 CPUtime=1661.88
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 162444 0 0 0 165865 323 0 0 25 0 1 0 182853495 126648320 28048 1992294400 4194304 9342243 548682068736 18446744073709551615 6941054 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 30920 28048 692 1256 0 29659 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 123680

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804856/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1721.86
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163181 0 0 0 171855 331 0 0 25 0 1 0 182853495 120340480 28065 1992294400 4194304 9342243 548682068736 18446744073709551615 6978126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28065 692 1256 0 28119 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 117520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804728/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1781.84
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163185 0 0 0 177845 339 0 0 25 0 1 0 182853495 120340480 28069 1992294400 4194304 9342243 548682068736 18446744073709551615 6223663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28069 692 1256 0 28119 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 117520

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30493
/proc/meminfo: memFree=1804728/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1785.05
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163185 0 0 0 178165 340 0 0 25 0 1 0 182853495 120340480 28069 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28069 692 1256 0 28119 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 117520

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804728/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1791.45
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163185 0 0 0 178804 341 0 0 25 0 1 0 182853495 120340480 28069 1992294400 4194304 9342243 548682068736 18446744073709551615 6064765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28069 692 1256 0 28119 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 117520

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804728/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1793.04
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163186 0 0 0 178963 341 0 0 25 0 1 0 182853495 120340480 28070 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28070 692 1256 0 28119 0
Current children cumulated CPU time (s) 1793.04
Current children cumulated vsize (KiB) 117520

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804664/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1793.84
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163187 0 0 0 179043 341 0 0 25 0 1 0 182853495 120340480 28071 1992294400 4194304 9342243 548682068736 18446744073709551615 6496583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28071 692 1256 0 28119 0
Current children cumulated CPU time (s) 1793.84
Current children cumulated vsize (KiB) 117520

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804664/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1794.24
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163188 0 0 0 179083 341 0 0 25 0 1 0 182853495 120340480 28072 1992294400 4194304 9342243 548682068736 18446744073709551615 6213712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28072 692 1256 0 28119 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 117520

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804664/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=117520 CPUtime=1794.65
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163188 0 0 0 179124 341 0 0 25 0 1 0 182853495 120340480 28072 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30484/statm: 29380 28072 692 1256 0 28119 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 117520

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30493
/proc/meminfo: memFree=1804664/2055920 swapFree=4181496/4192956
[pid=30484] ppid=30482 vsize=49432 CPUtime=1794.74
/proc/30484/stat : 30484 (pbscip.linux.x8) R 30482 30484 30196 0 -1 4194304 163193 0 0 0 179132 342 0 0 25 0 1 0 182853495 50618368 11497 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/30484/statm: 12358 11497 2215 1256 0 11097 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 49432

Child status: 0
Real time (s): 1795.21
CPU time (s): 1794.76
CPU user time (s): 1791.33
CPU system time (s): 3.43248
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 124996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.33
system time used= 3.43248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2989

runsolver used 1.44478 second user time and 3.56846 second system time

The end

Launcher Data 

Begin job on node25 at 2009-06-16 13:42:17
IDJOB=1868971
IDBENCH=2095
IDSOLVER=684
FILE ID=node25/1868971-1245152537
PBS_JOBID= 9363757
Free space on /tmp= 66312 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868971-1245152537/watcher-1868971-1245152537 -o /tmp/evaluation-result-1868971-1245152537/solver-1868971-1245152537 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868971-1245152537.opb

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

MD5SUM BENCH= e569a703dfec131c012510753e8401ab
RANDOM SEED=1216892158

node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.238
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.238
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1916256 kB
Buffers:         18964 kB
Cached:          66540 kB
SwapCached:       5888 kB
Active:          63356 kB
Inactive:        30696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916256 kB
SwapTotal:     4192956 kB
SwapFree:      4181496 kB
Dirty:           12212 kB
Writeback:           0 kB
Mapped:          13548 kB
Slab:            31620 kB
Committed_AS:   198536 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66300 MiB
End job on node25 at 2009-06-16 14:12:13