Trace number 2666862

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.13 1802.83

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666862-1276466090.opb>
1.10/1.15	c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
1.10/1.15	c problem read
1.10/1.15	c presolving settings loaded
1.29/1.39	c presolving:
2.49/2.58	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 66272 upgd conss, 392598 impls, 0 clqs
2.69/2.77	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 68397 upgd conss, 392598 impls, 0 clqs
7.49/7.53	c    (6.0s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
11.59/11.66	c    (10.2s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
11.59/11.67	c    (10.2s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
11.59/11.67	c    (10.2s) probing aborted: 2000/2000 successive useless probings
11.59/11.67	c presolving (3 rounds):
11.59/11.67	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.59/11.67	c  524786 implications, 0 cliques
11.59/11.67	c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
11.59/11.67	c   68397 constraints of type <logicor>
11.59/11.67	c transformed objective value is always integral (scale: 1)
11.59/11.67	c Presolving Time: 10.03
11.59/11.67	c - non default parameters ----------------------------------------------------------------------
11.59/11.67	c # SCIP version 1.2.1.2
11.59/11.67	c 
11.59/11.67	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
11.59/11.67	c # [type: int, range: [-1,2147483647], default: -1]
11.59/11.67	c conflict/interconss = 0
11.59/11.67	c 
11.59/11.67	c # should binary conflicts be preferred?
11.59/11.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.67	c conflict/preferbinary = TRUE
11.59/11.67	c 
11.59/11.67	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
11.59/11.67	c # [type: int, range: [-1,2147483647], default: 0]
11.59/11.67	c constraints/agelimit = 1
11.59/11.67	c 
11.59/11.67	c # should enforcement of pseudo solution be disabled?
11.59/11.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.67	c constraints/disableenfops = TRUE
11.59/11.67	c 
11.59/11.67	c # frequency for displaying node information lines
11.59/11.67	c # [type: int, range: [-1,2147483647], default: 100]
11.59/11.67	c display/freq = 10000
11.59/11.67	c 
11.59/11.67	c # maximal time in seconds to run
11.59/11.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.67	c limits/time = 1798.85
11.59/11.67	c 
11.59/11.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.59/11.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.59/11.67	c limits/memory = 1620
11.59/11.67	c 
11.59/11.67	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
11.59/11.67	c # [type: int, range: [-1,2147483647], default: 1]
11.59/11.67	c lp/solvefreq = 0
11.59/11.67	c 
11.59/11.67	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
11.59/11.67	c # [type: char, range: {lafpsqd}, default: l]
11.59/11.67	c lp/pricing = a
11.59/11.67	c 
11.59/11.67	c # should presolving try to simplify inequalities
11.59/11.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.67	c constraints/linear/simplifyinequalities = TRUE
11.59/11.67	c 
11.59/11.67	c # should presolving try to simplify knapsacks
11.59/11.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.59/11.67	c constraints/knapsack/simplifyinequalities = TRUE
11.59/11.67	c 
11.59/11.67	c # priority of node selection rule <dfs> in standard mode
11.59/11.67	c # [type: int, range: [-536870912,536870911], default: 0]
11.59/11.67	c nodeselection/dfs/stdpriority = 1000000
11.59/11.67	c 
11.59/11.67	c -----------------------------------------------------------------------------------------------
11.59/11.67	c start solving
11.59/11.68	c 
23.09/23.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.09/23.14	c  21.5s|     1 |     0 |  2762 |     - |  93M|   0 |2375 |4250 |  68k|4250 |  68k|   0 |   0 |   0 | 1.187500e+03 |      --      |    Inf 
52.37/52.41	c  49.8s|     1 |     0 | 10384 |     - |  93M|   0 |2328 |4250 |  68k|4250 |  68k|  37 |   0 |   0 | 1.211000e+03 |      --      |    Inf 
62.67/62.73	c  59.6s|     1 |     0 | 10789 |     - |  93M|   0 |2276 |4250 |  68k|4250 |  68k|  71 |   0 |   0 | 1.237000e+03 |      --      |    Inf 
75.05/75.13	c  71.5s|     1 |     0 | 11175 |     - |  94M|   0 |2240 |4250 |  68k|4250 |  68k|  97 |   0 |   0 | 1.255000e+03 |      --      |    Inf 
87.65/87.79	c  83.7s|     1 |     0 | 11734 |     - |  94M|   0 |2208 |4250 |  68k|4250 |  68k| 127 |   0 |   0 | 1.271500e+03 |      --      |    Inf 
101.84/101.97	c  97.3s|     1 |     0 | 12264 |     - |  94M|   0 |2189 |4250 |  68k|4250 |  68k| 153 |   0 |   0 | 1.281500e+03 |      --      |    Inf 
114.74/114.86	c   110s|     1 |     0 | 12777 |     - |  94M|   0 |2165 |4250 |  68k|4250 |  68k| 180 |   0 |   0 | 1.296000e+03 |      --      |    Inf 
126.64/126.79	c   121s|     1 |     0 | 13225 |     - |  94M|   0 |2123 |4250 |  68k|4250 |  68k| 207 |   0 |   0 | 1.314500e+03 |      --      |    Inf 
139.43/139.54	c   133s|     1 |     0 | 13689 |     - |  94M|   0 |2092 |4250 |  68k|4250 |  68k| 229 |   0 |   0 | 1.330000e+03 |      --      |    Inf 
153.52/153.60	c   147s|     1 |     0 | 14175 |     - |  94M|   0 |2076 |4250 |  68k|4250 |  68k| 254 |   0 |   0 | 1.337000e+03 |      --      |    Inf 
168.23/168.37	c   161s|     1 |     0 | 14780 |     - |  94M|   0 |2060 |4250 |  68k|4250 |  68k| 283 |   0 |   0 | 1.347000e+03 |      --      |    Inf 
179.12/179.26	c   172s|     1 |     0 | 15652 |     - |  94M|   0 |2034 |4250 |  68k|4250 |  68k| 321 |   0 |   0 | 1.359500e+03 |      --      |    Inf 
189.51/189.61	c   181s|     1 |     0 | 16492 |     - |  94M|   0 |2010 |4250 |  68k|4250 |  68k| 352 |   0 |   0 | 1.374000e+03 |      --      |    Inf 
200.71/200.86	c   192s|     1 |     0 | 17346 |     - |  94M|   0 |1986 |4250 |  68k|4250 |  68k| 384 |   0 |   0 | 1.386500e+03 |      --      |    Inf 
213.80/213.97	c   205s|     1 |     0 | 18467 |     - |  94M|   0 |1961 |4250 |  68k|4250 |  68k| 415 |   0 |   0 | 1.398250e+03 |      --      |    Inf 
224.40/224.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
224.40/224.52	c   215s|     1 |     0 | 19193 |     - |  95M|   0 |1944 |4250 |  68k|4250 |  68k| 444 |   0 |   0 | 1.408875e+03 |      --      |    Inf 
236.89/237.03	c   227s|     1 |     0 | 20133 |     - |  95M|   0 |1936 |4250 |  68k|4250 |  68k| 477 |   0 |   0 | 1.417500e+03 |      --      |    Inf 
249.50/249.62	c   239s|     1 |     0 | 21175 |     - |  95M|   0 |1910 |4250 |  68k|4250 |  68k| 507 |   0 |   0 | 1.425393e+03 |      --      |    Inf 
261.59/261.78	c   250s|     1 |     0 | 22208 |     - |  95M|   0 |1894 |4250 |  68k|4250 |  68k| 543 |   0 |   0 | 1.436250e+03 |      --      |    Inf 
273.48/273.60	c   262s|     1 |     0 | 23260 |     - |  95M|   0 |1893 |4250 |  68k|4250 |  68k| 577 |   0 |   0 | 1.444500e+03 |      --      |    Inf 
284.68/284.86	c   272s|     1 |     0 | 24368 |     - |  95M|   0 |1862 |4250 |  68k|4250 |  68k| 617 |   0 |   0 | 1.457250e+03 |      --      |    Inf 
298.77/298.91	c   286s|     1 |     0 | 25788 |     - |  95M|   0 |1818 |4250 |  68k|4250 |  69k| 661 |   0 |   0 | 1.473750e+03 |      --      |    Inf 
313.56/313.75	c   301s|     1 |     0 | 27139 |     - |  95M|   0 |1796 |4250 |  68k|4250 |  69k| 691 |   0 |   0 | 1.481250e+03 |      --      |    Inf 
327.56/327.79	c   314s|     1 |     0 | 28465 |     - |  95M|   0 |1803 |4250 |  68k|4250 |  68k| 727 |   0 |   0 | 1.488625e+03 |      --      |    Inf 
340.06/340.21	c   326s|     1 |     0 | 29685 |     - |  96M|   0 |1800 |4250 |  68k|4250 |  69k| 763 |   0 |   0 | 1.495667e+03 |      --      |    Inf 
352.25/352.46	c   338s|     1 |     0 | 30861 |     - |  96M|   0 |1756 |4250 |  68k|4250 |  69k| 801 |   0 |   0 | 1.508250e+03 |      --      |    Inf 
366.05/366.23	c   352s|     1 |     0 | 32042 |     - |  96M|   0 |1729 |4250 |  68k|4250 |  69k| 837 |   0 |   0 | 1.518500e+03 |      --      |    Inf 
383.43/383.68	c   369s|     1 |     0 | 33636 |     - |  96M|   0 |1712 |4250 |  68k|4250 |  69k| 873 |   0 |   0 | 1.524500e+03 |      --      |    Inf 
397.42/397.61	c   382s|     1 |     0 | 34946 |     - |  96M|   0 |1708 |4250 |  68k|4250 |  69k| 908 |   0 |   0 | 1.529625e+03 |      --      |    Inf 
456.90/457.10	c   441s|     1 |     0 | 40150 |     - |  96M|   0 |1694 |4250 |  68k|4250 |  69k| 946 |   0 |   0 | 1.537656e+03 |      --      |    Inf 
470.60/470.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
470.60/470.88	c   455s|     1 |     0 | 41548 |     - |  96M|   0 |1693 |4250 |  68k|4250 |  69k| 979 |   0 |   0 | 1.545325e+03 |      --      |    Inf 
483.18/483.40	c   467s|     1 |     0 | 42802 |     - |  96M|   0 |1713 |4250 |  68k|4250 |  69k|1021 |   0 |   0 | 1.551500e+03 |      --      |    Inf 
507.89/508.16	c   492s|     1 |     0 | 45227 |     - |  96M|   0 |1704 |4250 |  68k|4250 |  69k|1063 |   0 |   0 | 1.558750e+03 |      --      |    Inf 
544.37/544.68	c   528s|     1 |     0 | 48580 |     - |  97M|   0 |1655 |4250 |  68k|4250 |  69k|1110 |   0 |   0 | 1.567875e+03 |      --      |    Inf 
557.26/557.58	c   540s|     1 |     0 | 49710 |     - |  97M|   0 |1616 |4250 |  68k|4250 |  69k|1151 |   0 |   0 | 1.577750e+03 |      --      |    Inf 
598.25/598.50	c   581s|     1 |     0 | 53062 |     - |  97M|   0 |1604 |4250 |  68k|4250 |  69k|1188 |   0 |   0 | 1.583250e+03 |      --      |    Inf 
629.24/629.55	c   611s|     1 |     0 | 55799 |     - |  97M|   0 |1620 |4250 |  68k|4250 |  69k|1231 |   0 |   0 | 1.590000e+03 |      --      |    Inf 
651.23/651.52	c   633s|     1 |     0 | 57732 |     - |  97M|   0 |1609 |4250 |  68k|4250 |  69k|1266 |   0 |   0 | 1.595500e+03 |      --      |    Inf 
678.72/679.02	c   660s|     1 |     0 | 60076 |     - |  97M|   0 |1584 |4250 |  68k|4250 |  69k|1299 |   0 |   0 | 1.599833e+03 |      --      |    Inf 
701.21/701.54	c   682s|     1 |     0 | 61986 |     - |  97M|   0 |1576 |4250 |  68k|4250 |  69k|1341 |   0 |   0 | 1.605000e+03 |      --      |    Inf 
719.20/719.54	c   700s|     1 |     0 | 63828 |     - |  98M|   0 |1564 |4250 |  68k|4250 |  69k|1373 |   0 |   0 | 1.612500e+03 |      --      |    Inf 
749.99/750.31	c   730s|     1 |     0 | 66659 |     - |  98M|   0 |1578 |4250 |  68k|4250 |  69k|1404 |   0 |   0 | 1.618792e+03 |      --      |    Inf 
762.99/763.40	c   743s|     1 |     0 | 67898 |     - |  98M|   0 |1521 |4250 |  68k|4250 |  69k|1442 |   0 |   0 | 1.626456e+03 |      --      |    Inf 
788.97/789.34	c   769s|     1 |     0 | 70339 |     - |  98M|   0 |1499 |4250 |  68k|4250 |  69k|1485 |   0 |   0 | 1.632956e+03 |      --      |    Inf 
805.57/805.91	c   785s|     1 |     0 | 71785 |     - |  98M|   0 |1493 |4250 |  68k|4250 |  69k|1523 |   0 |   0 | 1.638000e+03 |      --      |    Inf 
827.86/828.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
827.86/828.26	c   807s|     1 |     0 | 73837 |     - |  98M|   0 |1486 |4250 |  68k|4250 |  69k|1557 |   0 |   0 | 1.643917e+03 |      --      |    Inf 
844.25/844.63	c   823s|     1 |     0 | 75249 |     - |  98M|   0 |1517 |4250 |  68k|4250 |  69k|1595 |   0 |   0 | 1.651750e+03 |      --      |    Inf 
891.54/891.93	c   870s|     1 |     0 | 79046 |     - |  99M|   0 |1482 |4250 |  68k|4250 |  69k|1629 |   0 |   0 | 1.655750e+03 |      --      |    Inf 
958.21/958.65	c   936s|     1 |     0 | 84512 |     - |  99M|   0 |1511 |4250 |  68k|4250 |  69k|1664 |   0 |   0 | 1.660250e+03 |      --      |    Inf 
987.10/987.57	c   965s|     1 |     0 | 87104 |     - |  99M|   0 |1452 |4250 |  68k|4250 |  69k|1715 |   0 |   0 | 1.665625e+03 |      --      |    Inf 
1032.78/1033.21	c  1010s|     1 |     0 | 90774 |     - |  99M|   0 |1473 |4250 |  68k|4250 |  69k|1755 |   0 |   0 | 1.669444e+03 |      --      |    Inf 
1052.58/1053.04	c  1029s|     1 |     0 | 92655 |     - | 100M|   0 |1484 |4250 |  68k|4250 |  69k|1799 |   0 |   0 | 1.674455e+03 |      --      |    Inf 
1084.96/1085.42	c  1061s|     1 |     0 | 95385 |     - | 100M|   0 |1441 |4250 |  68k|4250 |  69k|1834 |   0 |   0 | 1.678583e+03 |      --      |    Inf 
1121.75/1122.22	c  1098s|     1 |     0 | 98362 |     - | 100M|   0 |1457 |4250 |  68k|4250 |  69k|1871 |   0 |   0 | 1.682864e+03 |      --      |    Inf 
1150.74/1151.20	c  1126s|     1 |     0 |100724 |     - | 100M|   0 |1457 |4250 |  68k|4250 |  69k|1912 |   0 |   0 | 1.686833e+03 |      --      |    Inf 
1173.33/1173.85	c  1149s|     1 |     0 |102913 |     - | 100M|   0 |1419 |4250 |  68k|4250 |  69k|1958 |   0 |   0 | 1.689450e+03 |      --      |    Inf 
1200.42/1200.96	c  1176s|     1 |     0 |105423 |     - | 100M|   0 |1427 |4250 |  68k|4250 |  69k|2006 |   0 |   0 | 1.693417e+03 |      --      |    Inf 
1227.91/1228.43	c  1203s|     1 |     0 |107954 |     - | 101M|   0 |1442 |4250 |  68k|4250 |  69k|2053 |   0 |   0 | 1.699167e+03 |      --      |    Inf 
1248.40/1248.90	c  1223s|     1 |     0 |109684 |     - | 101M|   0 |1403 |4250 |  68k|4250 |  69k|2092 |   0 |   0 | 1.705667e+03 |      --      |    Inf 
1267.71/1268.29	c  1242s|     1 |     0 |111403 |     - | 101M|   0 |1384 |4250 |  68k|4250 |  69k|2128 |   0 |   0 | 1.708182e+03 |      --      |    Inf 
1314.87/1315.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1314.87/1315.42	c  1289s|     1 |     0 |115451 |     - | 101M|   0 |1410 |4250 |  68k|4250 |  69k|2171 |   0 |   0 | 1.712050e+03 |      --      |    Inf 
1331.37/1331.99	c  1305s|     1 |     0 |116964 |     - | 101M|   0 |1422 |4250 |  68k|4250 |  69k|2219 |   0 |   0 | 1.713800e+03 |      --      |    Inf 
1375.95/1376.54	c  1349s|     1 |     0 |120896 |     - | 102M|   0 |1524 |4250 |  68k|4250 |  69k|2269 |   0 |   0 | 1.716839e+03 |      --      |    Inf 
1441.44/1442.03	c  1414s|     1 |     0 |126887 |     - | 102M|   0 |1433 |4250 |  68k|4250 |  69k|2317 |   0 |   0 | 1.720133e+03 |      --      |    Inf 
1479.12/1479.79	c  1451s|     1 |     0 |129961 |     - | 102M|   0 |1436 |4250 |  68k|4250 |  69k|2368 |   0 |   0 | 1.722764e+03 |      --      |    Inf 
1505.41/1506.08	c  1477s|     1 |     0 |132279 |     - | 102M|   0 |1470 |4250 |  68k|4250 |  69k|2416 |   0 |   0 | 1.724889e+03 |      --      |    Inf 
1551.79/1552.41	c  1523s|     1 |     0 |136421 |     - | 103M|   0 |1371 |4250 |  68k|4250 |  69k|2467 |   0 |   0 | 1.727912e+03 |      --      |    Inf 
1576.78/1577.48	c  1548s|     1 |     0 |138798 |     - | 103M|   0 |1418 |4250 |  68k|4250 |  69k|2526 |   0 |   0 | 1.730113e+03 |      --      |    Inf 
1629.86/1630.51	c  1600s|     1 |     0 |143596 |     - | 103M|   0 |1385 |4250 |  68k|4250 |  69k|2575 |   0 |   0 | 1.733551e+03 |      --      |    Inf 
1655.75/1656.42	c  1626s|     1 |     0 |145901 |     - | 103M|   0 |1447 |4250 |  68k|4250 |  69k|2621 |   0 |   0 | 1.736450e+03 |      --      |    Inf 
1700.33/1701.02	c  1670s|     1 |     0 |149692 |     - | 103M|   0 |1475 |4250 |  68k|4250 |  69k|2667 |   0 |   0 | 1.740506e+03 |      --      |    Inf 
1800.09/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27780
/proc/meminfo: memFree=1846712/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=6696 CPUtime=0
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 987 0 0 0 0 0 0 0 17 0 1 0 22210574 6856704 906 1992294400 4194304 8223781 140735942937264 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27780/statm: 1674 906 343 984 0 687 0

[startup+0.0154199 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27780
/proc/meminfo: memFree=1846712/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=9324 CPUtime=0
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 1622 0 0 0 0 0 0 0 17 0 1 0 22210574 9547776 1540 1992294400 4194304 8223781 140735942937264 18446744073709551615 4528359 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27780/statm: 2331 1540 361 984 0 1344 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9324

[startup+0.101427 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27780
/proc/meminfo: memFree=1846712/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=15416 CPUtime=0.09
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 3190 0 0 0 8 1 0 0 17 0 1 0 22210574 15785984 3108 1992294400 4194304 8223781 140735942937264 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27780/statm: 3854 3108 365 984 0 2867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15416

[startup+0.301461 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27780
/proc/meminfo: memFree=1846712/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=20512 CPUtime=0.29
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 4463 0 0 0 28 1 0 0 17 0 1 0 22210574 21004288 4381 1992294400 4194304 8223781 140735942937264 18446744073709551615 7256668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27780/statm: 5128 4381 365 984 0 4141 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20512

[startup+0.701531 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27780
/proc/meminfo: memFree=1846712/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=28196 CPUtime=0.69
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6379 0 0 0 67 2 0 0 17 0 1 0 22210574 28872704 6297 1992294400 4194304 8223781 140735942937264 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27780/statm: 7049 6297 365 984 0 6062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28196

[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1816448/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=87828 CPUtime=1.49
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 21179 0 0 0 139 10 0 0 18 0 1 0 22210574 89935872 20702 1992294400 4194304 8223781 140735942937264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 21957 20702 437 984 0 20970 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87828

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1737212/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=119120 CPUtime=3.09
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 38049 0 0 0 276 33 0 0 21 0 1 0 22210574 121978880 28442 1992294400 4194304 8223781 140735942937264 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 29780 28442 458 984 0 28793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119120

[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1731508/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=121712 CPUtime=6.28
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 38696 0 0 0 594 34 0 0 25 0 1 0 22210574 124633088 29089 1992294400 4194304 8223781 140735942937264 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 30428 29089 458 984 0 29441 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 121712

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1662564/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=199740 CPUtime=12.69
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 59170 0 0 0 1224 45 0 0 25 0 1 0 22210574 204533760 46545 1992294400 4194304 8223781 140735942937264 18446744073709551615 6357936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 49935 46545 532 984 0 48948 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 199740

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1655620/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=218048 CPUtime=25.48
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 66044 0 0 0 2497 51 0 0 25 0 1 0 22210574 223281152 48092 1992294400 4194304 8223781 140735942937264 18446744073709551615 5433706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 54512 48092 543 984 0 53525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 218048

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27781
/proc/meminfo: memFree=1651652/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=225580 CPUtime=51.07
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 248769 0 0 0 4963 144 0 0 25 0 1 0 22210574 230993920 49094 1992294400 4194304 8223781 140735942937264 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 56395 49094 564 984 0 55408 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 225580

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27783
/proc/meminfo: memFree=1650536/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=225740 CPUtime=102.26
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 800699 0 0 0 9879 347 0 0 25 0 1 0 22210574 231157760 49312 1992294400 4194304 8223781 140735942937264 18446744073709551615 5434145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 56435 49312 568 984 0 55448 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 225740

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27785
/proc/meminfo: memFree=1647932/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=227124 CPUtime=162.23
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 1490474 0 0 0 15626 597 0 0 25 0 1 0 22210574 232574976 49853 1992294400 4194304 8223781 140735942937264 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 56781 49853 568 984 0 55794 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 227124

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27787
/proc/meminfo: memFree=1643716/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=231864 CPUtime=222.2
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 2207048 0 0 0 21357 863 0 0 25 0 1 0 22210574 237428736 51029 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 57966 51029 566 984 0 56979 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 231864

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27787
/proc/meminfo: memFree=1641980/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=235172 CPUtime=282.18
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 2933148 0 0 0 27082 1136 0 0 25 0 1 0 22210574 240816128 51442 1992294400 4194304 8223781 140735942937264 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 58793 51442 566 984 0 57806 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 235172

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27789
/proc/meminfo: memFree=1641236/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=234808 CPUtime=342.16
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 3294401 0 0 0 32939 1277 0 0 25 0 1 0 22210574 240443392 51625 1992294400 4194304 8223781 140735942937264 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 58702 51637 566 984 0 57715 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 234808

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27800
/proc/meminfo: memFree=1639996/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=236828 CPUtime=402.12
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 3638026 0 0 0 38798 1414 0 0 25 0 1 0 22210574 242511872 51943 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59207 51943 566 984 0 58220 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 236828

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27802
/proc/meminfo: memFree=1640492/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=236480 CPUtime=462.1
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 3737142 0 0 0 44746 1464 0 0 25 0 1 0 22210574 242155520 51790 1992294400 4194304 8223781 140735942937264 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59120 51790 566 984 0 58133 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 236480

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27804
/proc/meminfo: memFree=1639376/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=236620 CPUtime=522.07
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 3976836 0 0 0 50645 1562 0 0 25 0 1 0 22210574 242298880 52085 1992294400 4194304 8223781 140735942937264 18446744073709551615 6564623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59155 52085 566 984 0 58168 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 236620

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27804
/proc/meminfo: memFree=1637268/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=237552 CPUtime=582.05
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 4146406 0 0 0 56570 1635 0 0 25 0 1 0 22210574 243253248 52551 1992294400 4194304 8223781 140735942937264 18446744073709551615 6502870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59388 52551 566 984 0 58401 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 237552

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27806
/proc/meminfo: memFree=1638136/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=237108 CPUtime=642.04
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 4315067 0 0 0 62498 1706 0 0 25 0 1 0 22210574 242798592 52341 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59277 52341 566 984 0 58290 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 237108

[startup+702.301 s]

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

/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 5577539 0 0 0 103951 2236 0 0 25 0 1 0 22210574 245608448 53158 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59963 53158 566 984 0 58976 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 239852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27820
/proc/meminfo: memFree=1633424/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=238520 CPUtime=1121.85
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 5676132 0 0 0 109902 2283 0 0 25 0 1 0 22210574 244244480 52734 1992294400 4194304 8223781 140735942937264 18446744073709551615 5435434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59630 52734 566 984 0 58643 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 238520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27823
/proc/meminfo: memFree=1633672/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=239688 CPUtime=1181.83
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 5911141 0 0 0 115805 2378 0 0 25 0 1 0 22210574 245440512 53146 1992294400 4194304 8223781 140735942937264 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 59922 53146 566 984 0 58935 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 239688

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27825
/proc/meminfo: memFree=1633052/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=240036 CPUtime=1241.81
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6078988 0 0 0 121734 2447 0 0 25 0 1 0 22210574 245796864 53325 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60009 53325 566 984 0 59022 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 240036

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27827
/proc/meminfo: memFree=1632060/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=241184 CPUtime=1301.78
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6246632 0 0 0 127659 2519 0 0 25 0 1 0 22210574 246972416 53555 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60296 53555 566 984 0 59309 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 241184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27829
/proc/meminfo: memFree=1632308/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=241676 CPUtime=1361.76
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6412680 0 0 0 133585 2591 0 0 25 0 1 0 22210574 247476224 53487 1992294400 4194304 8223781 140735942937264 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60419 53487 566 984 0 59432 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 241676

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27831
/proc/meminfo: memFree=1631192/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=242092 CPUtime=1421.74
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6511404 0 0 0 139538 2636 0 0 25 0 1 0 22210574 247902208 53760 1992294400 4194304 8223781 140735942937264 18446744073709551615 6565092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60523 53760 566 984 0 59536 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 242092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27831
/proc/meminfo: memFree=1632928/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=242188 CPUtime=1481.71
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6679298 0 0 0 145463 2708 0 0 25 0 1 0 22210574 248000512 53339 1992294400 4194304 8223781 140735942937264 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60547 53339 566 984 0 59560 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 242188

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27833
/proc/meminfo: memFree=1631316/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=242296 CPUtime=1541.69
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6777089 0 0 0 151415 2754 0 0 25 0 1 0 22210574 248111104 53790 1992294400 4194304 8223781 140735942937264 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 60574 53790 566 984 0 59587 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 242296

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 27835
/proc/meminfo: memFree=1629828/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=244184 CPUtime=1601.67
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 6960368 0 0 0 157332 2835 0 0 25 0 1 0 22210574 250044416 54171 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61046 54171 566 984 0 60059 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 244184

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27837
/proc/meminfo: memFree=1630324/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=244356 CPUtime=1661.64
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7129816 0 0 0 163255 2909 0 0 25 0 1 0 22210574 250220544 54089 1992294400 4194304 8223781 140735942937264 18446744073709551615 6503932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61089 54089 566 984 0 60102 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 244356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27839
/proc/meminfo: memFree=1629084/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=244868 CPUtime=1721.62
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7228886 0 0 0 169208 2954 0 0 25 0 1 0 22210574 250744832 54344 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61217 54344 566 984 0 60230 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 244868

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27839
/proc/meminfo: memFree=1627100/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1781.6
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7258801 0 0 0 175187 2973 0 0 25 0 1 0 22210574 251408384 54810 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54810 566 984 0 60392 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 245516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 27841
/proc/meminfo: memFree=1627100/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1800.09
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7266800 0 0 0 177031 2978 0 0 25 0 1 0 22210574 251408384 54800 1992294400 4194304 8223781 140735942937264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54800 566 984 0 60392 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 245516

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -27780

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

[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 27841
/proc/meminfo: memFree=1627100/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1800.69
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7268981 0 0 0 177090 2979 0 0 25 0 1 0 22210574 251408384 54777 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54777 566 984 0 60392 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 245516

[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27842
/proc/meminfo: memFree=1627216/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1801.49
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7268986 0 0 0 177170 2979 0 0 25 0 1 0 22210574 251408384 54782 1992294400 4194304 8223781 140735942937264 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54782 566 984 0 60392 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 245516

[startup+1802.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27842
/proc/meminfo: memFree=1627216/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1801.89
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7268990 0 0 0 177210 2979 0 0 25 0 1 0 22210574 251408384 54786 1992294400 4194304 8223781 140735942937264 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54786 566 984 0 60392 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 245516

[startup+1802.8 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27842
/proc/meminfo: memFree=1627216/2059040 swapFree=4136716/4192956
[pid=27780] ppid=27778 vsize=245516 CPUtime=1802.09
/proc/27780/stat : 27780 (pbscip.linux.x8) R 27778 27780 27247 0 -1 4202496 7268994 0 0 0 177230 2979 0 0 25 0 1 0 22210574 251408384 54790 1992294400 4194304 8223781 140735942937264 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27780/statm: 61379 54790 566 984 0 60392 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 245516

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.83
CPU time (s): 1802.13
CPU user time (s): 1772.31
CPU system time (s): 29.8215
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 252904

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

runsolver used 3.00654 second user time and 8.50371 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-13 23:54:50
IDJOB=2666862
IDBENCH=2183
IDSOLVER=1169
FILE ID=node012/2666862-1276466090
PBS_JOBID= 11173352
Free space on /tmp= 62408 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666862-1276466090/watcher-2666862-1276466090 -o /tmp/evaluation-result-2666862-1276466090/solver-2666862-1276466090 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666862-1276466090.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27
RANDOM SEED=1478237520

node012.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.258
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.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1847364 kB
Buffers:         36860 kB
Cached:          97740 kB
SwapCached:       9156 kB
Active:          87888 kB
Inactive:        58928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1847364 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            6212 kB
Writeback:           0 kB
AnonPages:       10804 kB
Mapped:           9276 kB
Slab:            43092 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62404 MiB
End job on node012 at 2010-06-14 00:24:53