Trace number 3447741

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 NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
MD5SUM088560862f81f380de0695aae8f2f503
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark81.6526
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3447741-1307897308.wbo>
0.00/0.02	c original problem has 1130 variables (1130 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 11 clqs
0.00/0.07	c (round 2) 0 del vars, 161 del conss, 0 add conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 11 clqs
0.00/0.08	c (round 3) 102 del vars, 258 del conss, 0 add conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 218 impls, 11 clqs
0.00/0.09	c (round 4) 134 del vars, 258 del conss, 0 add conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 218 impls, 11 clqs
0.09/0.10	c (round 5) 134 del vars, 262 del conss, 0 add conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 218 impls, 11 clqs
0.09/0.14	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (6 rounds):
0.09/0.14	c  134 deleted vars, 262 deleted constraints, 0 added constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.14	c  1050 implications, 11 cliques
0.09/0.14	c presolved problem has 1895 variables (1063 bin, 0 int, 832 impl, 0 cont) and 3345 constraints
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      51 constraints of type <setppc>
0.09/0.14	c     832 constraints of type <linear>
0.09/0.14	c     832 constraints of type <indicator>
0.09/0.14	c    1629 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.11
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 2.0.1.4
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1800
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 13950
0.09/0.14	c 
0.09/0.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14	c # [type: int, range: [1,2], default: 1]
0.09/0.14	c timing/clocktype = 2
0.09/0.14	c 
0.09/0.14	c # belongs reading time to solving time?
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c timing/reading = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/indicator/addCouplingCons = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.16	c   0.2s|     1 |     0 |    97 |     - |8149k|   0 |  49 |1895 |4201 |1895 |2513 |   0 |  24 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.86	c   0.9s|     1 |     0 |  4167 |     - |9149k|   0 |  40 |1895 |4210 |1895 |2525 |  12 |  24 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.03	c   1.0s|     1 |     0 |  4234 |     - |9355k|   0 |  46 |1895 |4210 |1895 |2541 |  28 |  24 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.24	c   1.2s|     1 |     0 |  4260 |     - |9659k|   0 |  46 |1895 |4210 |1895 |2546 |  33 |  24 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.24	o 42674
1.19/1.24	c y 1.2s|     1 |     0 |  4260 |     - |9701k|   0 |  46 |1895 |4210 |1895 |2546 |  33 |  24 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
1.39/1.46	c   1.5s|     1 |     0 |  4297 |     - |9783k|   0 |  47 |1895 |4210 |1895 |2548 |  35 |  24 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
1.68/1.72	c   1.7s|     1 |     0 |  4582 |     - |9853k|   0 |  46 |1895 |4210 |1895 |2553 |  40 |  24 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
1.89/1.97	c   2.0s|     1 |     0 |  4649 |     - |9867k|   0 |  45 |1895 |4210 |1895 |2555 |  42 |  24 |   0 | 0.000000e+00 | 4.267400e+04 |    Inf 
2.29/2.39	c   2.4s|     1 |     2 |  4649 |     - |9868k|   0 |  45 |1895 |4210 |1895 |2555 |  42 |  24 |   9 | 0.000000e+00 | 4.267400e+04 |    Inf 
3.59/3.68	o 648
3.59/3.68	c * 3.7s|    16 |    15 |  6311 | 110.8 |  10M|  10 |   - |1895 |4210 |1895 |2550 |  54 |  24 | 151 | 0.000000e+00 | 6.480000e+02 |    Inf 
4.08/4.19	o 411
4.08/4.19	c * 4.2s|    38 |    22 |  6709 |  55.7 |  10M|  16 |   - |1895 |4230 |1895 |2550 |  89 |  44 | 234 | 0.000000e+00 | 4.110000e+02 |    Inf 
5.18/5.23	o 343
5.18/5.23	c * 5.2s|   111 |    39 |  7522 |  26.1 |  11M|  22 |   - |1895 |4304 |1895 |2548 | 106 | 118 | 438 | 0.000000e+00 | 3.430000e+02 |    Inf 
7.49/7.50	o 332
7.49/7.50	c * 7.5s|   202 |    96 |  8983 |  21.6 |  12M|  22 |   - |1895 |4353 |1895 |2542 | 122 | 167 | 910 | 0.000000e+00 | 3.320000e+02 |    Inf 
7.89/7.96	o 265
7.89/7.96	c * 8.0s|   223 |   105 |  9392 |  21.4 |  12M|  22 |   - |1895 |4370 |1895 |2550 | 140 | 184 | 995 | 0.000000e+00 | 2.650000e+02 |    Inf 
8.49/8.56	o 245
8.49/8.56	c * 8.6s|   273 |   117 | 10231 |  20.5 |  12M|  23 |   - |1895 |4423 |1895 |2541 | 144 | 238 |1098 | 0.000000e+00 | 2.450000e+02 |    Inf 
8.59/8.65	o 224
8.59/8.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.59/8.65	c * 8.7s|   290 |   122 | 10383 |  19.8 |  12M|  27 |   - |1895 |4437 |1895 |2548 | 154 | 252 |1109 | 0.000000e+00 | 2.240000e+02 |    Inf 
8.69/8.76	o 196
8.69/8.76	c * 8.8s|   304 |   126 | 10584 |  19.6 |  12M|  27 |   - |1895 |4445 |1895 |2547 | 163 | 260 |1124 | 0.000000e+00 | 1.960000e+02 |    Inf 
8.69/8.76	o 148
8.69/8.76	c * 8.8s|   305 |   119 | 10588 |  19.5 |  12M|  27 |   - |1895 |4445 |1895 |2549 | 166 | 260 |1124 | 0.000000e+00 | 1.480000e+02 |    Inf 
9.59/9.66	o 127
9.59/9.66	c * 9.7s|   436 |   133 | 11908 |  16.7 |  13M|  32 |   - |1895 |4575 |1895 |2541 | 186 | 395 |1283 | 0.000000e+00 | 1.270000e+02 |    Inf 
10.99/11.09	o 122
10.99/11.09	c *11.1s|   837 |   171 | 14408 |  11.7 |  14M|  48 |   - |1895 |4910 |1895 |2545 | 242 | 818 |1440 | 0.000000e+00 | 1.220000e+02 |    Inf 
10.99/11.09	o 112
10.99/11.09	c *11.1s|   838 |   167 | 14416 |  11.7 |  14M|  48 |   - |1895 |4910 |1895 |2545 | 242 | 818 |1440 | 0.000000e+00 | 1.120000e+02 |    Inf 
11.29/11.31	o 91
11.29/11.31	c *11.3s|   899 |   166 | 15033 |  11.6 |  14M|  48 |   - |1895 |4966 |1895 |2541 | 250 | 880 |1449 | 0.000000e+00 | 9.100000e+01 |    Inf 
12.19/12.24	o 75
12.19/12.24	c *12.2s|  1131 |   185 | 18083 |  11.9 |  15M|  48 |   - |1895 |4950 |1895 |2540 | 270 |1140 |1490 | 0.000000e+00 | 7.500000e+01 |    Inf 
12.19/12.25	o 68
12.19/12.25	c *12.2s|  1132 |   172 | 18085 |  11.9 |  15M|  48 |   - |1895 |4942 |1895 |2538 | 270 |1140 |1490 | 0.000000e+00 | 6.800000e+01 |    Inf 
12.29/12.31	o 57
12.29/12.31	c *12.3s|  1159 |   175 | 18253 |  11.7 |  15M|  48 |   - |1895 |4510 |1895 |2539 | 271 |1163 |1490 | 0.000000e+00 | 5.700000e+01 |    Inf 
12.29/12.39	o 43
12.29/12.39	c *12.4s|  1170 |   170 | 18524 |  11.9 |  15M|  48 |   - |1895 |4327 |1895 |2540 | 273 |1173 |1492 | 0.000000e+00 | 4.300000e+01 |    Inf 
12.69/12.74	o 42
12.69/12.74	c *12.7s|  1234 |   159 | 19560 |  12.1 |  15M|  48 |   - |1895 |4078 |1895 |2538 | 273 |1289 |1516 | 0.000000e+00 | 4.200000e+01 |    Inf 
13.99/14.05	o 26
13.99/14.05	c *14.0s|  1486 |   166 | 22572 |  12.1 |  15M|  48 |   - |1895 |4069 |1895 |2540 | 284 |1602 |1633 | 0.000000e+00 | 2.600000e+01 |    Inf 
17.50/17.56	o 11
17.50/17.56	c *17.6s|  2502 |   162 | 38019 |  13.3 |  15M|  48 |   - |1895 |4576 |1895 |2541 | 313 |2767 |1714 | 0.000000e+00 | 1.100000e+01 |    Inf 
29.79/29.89	o 8
29.79/29.89	c *29.9s|  6581 |   121 |110708 |  16.1 |  15M|  48 |   - |1895 |5723 |1895 |2539 | 316 |6728 |1778 | 0.000000e+00 | 8.000000e+00 |    Inf 
39.60/39.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.60/39.69	c  39.7s| 10000 |    95 |168940 |  16.4 |  15M|  48 |  20 |1895 |6090 |1895 |2538 | 316 |9927 |1803 | 0.000000e+00 | 8.000000e+00 |    Inf 
51.89/51.90	o 6
51.89/51.90	c *51.9s| 13765 |   136 |242209 |  17.3 |  16M|  48 |   - |1895 |6846 |1895 |2538 | 316 |  12k|1825 | 0.000000e+00 | 6.000000e+00 |    Inf 
63.49/63.55	o 5
63.49/63.55	c *63.5s| 17717 |   228 |299159 |  16.6 |  18M|  48 |   - |1895 |  10k|1895 |2539 | 317 |  18k|2106 | 0.000000e+00 | 5.000000e+00 |    Inf 
70.49/70.53	c  70.5s| 20000 |   313 |335433 |  16.5 |  19M|  48 |   - |1895 |  11k|1895 |2538 | 317 |  20k|2227 | 0.000000e+00 | 5.000000e+00 |    Inf 
100.89/100.97	c   101s| 30000 |   264 |485503 |  16.0 |  20M|  61 |  34 |1895 |  12k|1895 |2538 | 317 |  34k|2838 | 0.000000e+00 | 5.000000e+00 |    Inf 
130.09/130.19	c   130s| 40000 |   192 |628442 |  15.6 |  21M|  61 |   - |1895 |  13k|1895 |2538 | 317 |  47k|3336 | 0.000000e+00 | 5.000000e+00 |    Inf 
161.10/161.18	c   161s| 50000 |   140 |783278 |  15.6 |  20M|  61 |  23 |1895 |  13k|1895 |2553 | 317 |  60k|3768 | 0.000000e+00 | 5.000000e+00 |    Inf 
188.89/188.90	o 2
188.89/188.90	c * 189s| 58822 |   116 |922924 |  15.6 |  22M|  61 |   - |1895 |  17k|1895 |2554 | 318 |  71k|4156 | 0.000000e+00 | 2.000000e+00 |    Inf 
192.50/192.50	c   193s| 60000 |   187 |943088 |  15.6 |  22M|  61 |   - |1895 |  17k|   0 |   0 | 318 |  73k|4157 | 0.000000e+00 | 2.000000e+00 |    Inf 
224.59/224.66	c   225s| 70000 |   206 |  1103k|  15.7 |  24M|  62 |   - |1895 |  20k|1895 |2553 | 318 |  86k|4536 | 0.000000e+00 | 2.000000e+00 |    Inf 
257.49/257.53	c   258s| 80000 |    89 |  1264k|  15.7 |  22M|  62 |  27 |1895 |  17k|1895 |2538 | 318 |  99k|4946 | 0.000000e+00 | 2.000000e+00 |    Inf 
287.79/287.81	c   288s| 90000 |    70 |  1419k|  15.7 |  23M|  62 |   - |1895 |  18k|   0 |   0 | 318 | 112k|5265 | 0.000000e+00 | 2.000000e+00 |    Inf 
289.70/289.75	o 1
289.70/289.75	c * 290s| 90629 |    79 |  1429k|  15.7 |  23M|  62 |   - |1895 |  19k|1895 |2539 | 319 | 113k|5303 | 0.000000e+00 | 1.000000e+00 |    Inf 
318.30/318.39	c   318s|100000 |   143 |  1577k|  15.7 |  25M|  62 |  23 |1895 |  23k|1895 |2538 | 319 | 124k|5505 | 0.000000e+00 | 1.000000e+00 |    Inf 
351.29/351.32	c   351s|110000 |   108 |  1747k|  15.8 |  26M|  62 |  23 |1895 |  25k|1895 |2538 | 319 | 137k|5814 | 0.000000e+00 | 1.000000e+00 |    Inf 
384.09/384.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
384.09/384.19	c   384s|120000 |    67 |  1910k|  15.9 |  26M|  62 |  24 |1895 |  26k|1895 |2538 | 319 | 150k|6120 | 0.000000e+00 | 1.000000e+00 |    Inf 
415.39/415.48	c   415s|130000 |    99 |  2064k|  15.8 |  28M|  62 |  30 |1895 |  31k|1895 |2538 | 319 | 162k|6346 | 0.000000e+00 | 1.000000e+00 |    Inf 
448.39/448.46	c   448s|140000 |    92 |  2226k|  15.9 |  30M|  62 |  31 |1895 |  34k|1895 |2538 | 319 | 175k|6552 | 0.000000e+00 | 1.000000e+00 |    Inf 
481.89/481.94	c   482s|150000 |    53 |  2385k|  15.9 |  29M|  62 |   - |1895 |  33k|1895 |2538 | 319 | 188k|6875 | 0.000000e+00 | 1.000000e+00 |    Inf 
515.91/515.90	c   516s|160000 |    77 |  2548k|  15.9 |  32M|  62 |  33 |1895 |  37k|1895 |2538 | 319 | 200k|7092 | 0.000000e+00 | 1.000000e+00 |    Inf 
551.10/551.19	c   551s|170000 |   175 |  2713k|  15.9 |  35M|  62 |  22 |1895 |  43k|1895 |2538 | 319 | 213k|7335 | 0.000000e+00 | 1.000000e+00 |    Inf 
588.61/588.65	c   589s|180000 |   141 |  2879k|  16.0 |  36M|  62 |   - |1895 |  45k|1895 |2538 | 319 | 226k|7576 | 0.000000e+00 | 1.000000e+00 |    Inf 
625.00/625.03	c   625s|190000 |    67 |  3039k|  16.0 |  36M|  62 |   - |1895 |  46k|1895 |2538 | 319 | 239k|7801 | 0.000000e+00 | 1.000000e+00 |    Inf 
661.51/661.57	c   662s|200000 |   112 |  3213k|  16.0 |  35M|  62 |  21 |1895 |  44k|1895 |2538 | 319 | 252k|8035 | 0.000000e+00 | 1.000000e+00 |    Inf 
699.00/699.01	c   699s|210000 |   129 |  3394k|  16.1 |  37M|  62 |  29 |1895 |  47k|1895 |2538 | 319 | 265k|8195 | 0.000000e+00 | 1.000000e+00 |    Inf 
737.40/737.45	c   737s|220000 |    75 |  3574k|  16.2 |  36M|  62 |  25 |1895 |  46k|1895 |2538 | 319 | 278k|8403 | 0.000000e+00 | 1.000000e+00 |    Inf 
772.70/772.79	c   773s|230000 |   204 |  3743k|  16.3 |  38M|  62 |   - |1895 |  50k|1895 |2538 | 319 | 291k|8545 | 0.000000e+00 | 1.000000e+00 |    Inf 
809.00/809.05	c   809s|240000 |   143 |  3907k|  16.3 |  40M|  62 |   - |1895 |  54k|   0 |   0 | 319 | 303k|8719 | 0.000000e+00 | 1.000000e+00 |    Inf 
846.11/846.13	c   846s|250000 |    66 |  4073k|  16.3 |  40M|  62 |  32 |1895 |  54k|1895 |2538 | 319 | 316k|8894 | 0.000000e+00 | 1.000000e+00 |    Inf 
883.70/883.71	c   884s|260000 |   147 |  4241k|  16.3 |  41M|  62 |  27 |1895 |  57k|1895 |2538 | 319 | 328k|9111 | 0.000000e+00 | 1.000000e+00 |    Inf 
921.82/921.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
921.82/921.88	c   922s|270000 |   110 |  4410k|  16.3 |  42M|  62 |  32 |1895 |  59k|1895 |2538 | 319 | 341k|9260 | 0.000000e+00 | 1.000000e+00 |    Inf 
959.51/959.58	c   960s|280000 |    69 |  4572k|  16.3 |  43M|  62 |  27 |1895 |  61k|1895 |2538 | 319 | 354k|9449 | 0.000000e+00 | 1.000000e+00 |    Inf 
999.71/999.73	c  1000s|290000 |   193 |  4738k|  16.3 |  46M|  62 |   - |1895 |  66k|   0 |   0 | 319 | 366k|9619 | 0.000000e+00 | 1.000000e+00 |    Inf 
1040.21/1040.21	c  1040s|300000 |   106 |  4905k|  16.3 |  46M|  62 |  24 |1895 |  67k|1895 |2538 | 319 | 380k|9800 | 0.000000e+00 | 1.000000e+00 |    Inf 
1084.61/1084.62	c  1085s|310000 |    93 |  5104k|  16.5 |  47M|  62 |   - |1895 |  70k|1895 |2538 | 319 | 392k|9945 | 0.000000e+00 | 1.000000e+00 |    Inf 
1128.12/1128.19	c  1128s|320000 |   171 |  5294k|  16.5 |  50M|  62 |   - |1895 |  75k|1895 |2538 | 319 | 406k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1170.92/1170.91	c  1171s|330000 |   108 |  5472k|  16.6 |  51M|  62 |   - |1895 |  77k|1895 |2538 | 319 | 419k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1213.32/1213.35	c  1213s|340000 |   235 |  5647k|  16.6 |  53M|  62 |   - |1895 |  81k|1895 |2538 | 319 | 431k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1255.71/1255.79	c  1256s|350000 |   295 |  5818k|  16.6 |  54M|  62 |   - |1895 |  83k|1895 |2538 | 319 | 444k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1299.72/1299.73	c  1300s|360000 |   326 |  5987k|  16.6 |  56M|  62 |  26 |1895 |  86k|1895 |2538 | 319 | 457k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1343.81/1343.84	c  1344s|370000 |   341 |  6160k|  16.6 |  56M|  65 |   - |1895 |  86k|1895 |2538 | 319 | 470k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1387.31/1387.33	c  1387s|380000 |   290 |  6331k|  16.6 |  55M|  65 |   - |1895 |  84k|1895 |2538 | 319 | 483k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1429.62/1429.69	c  1430s|390000 |   330 |  6493k|  16.6 |  57M|  65 |   - |1895 |  88k|1895 |2538 | 319 | 496k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1474.92/1474.94	c  1475s|400000 |   306 |  6665k|  16.7 |  58M|  65 |  41 |1895 |  91k|1895 |2538 | 319 | 509k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1520.13/1520.16	c  1520s|410000 |   279 |  6850k|  16.7 |  59M|  65 |  41 |1895 |  92k|1895 |2538 | 319 | 522k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1565.13/1565.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1565.13/1565.18	c  1565s|420000 |   248 |  7025k|  16.7 |  58M|  65 |  21 |1895 |  90k|1895 |2538 | 319 | 534k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1610.92/1610.94	c  1611s|430000 |   246 |  7207k|  16.7 |  61M|  65 |  32 |1895 |  96k|1895 |2538 | 319 | 548k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1658.33/1658.38	c  1658s|440000 |   234 |  7386k|  16.8 |  59M|  65 |   - |1895 |  91k|1895 |2538 | 319 | 561k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1705.33/1705.34	c  1705s|450000 |   451 |  7577k|  16.8 |  62M|  65 |   - |1895 |  95k|1895 |2538 | 319 | 573k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1751.63/1751.63	c  1752s|460000 |   384 |  7757k|  16.9 |  62M|  65 |  43 |1895 |  96k|1895 |2538 | 319 | 586k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1798.73/1798.72	c  1799s|470000 |   288 |  7951k|  16.9 |  63M|  66 |   - |1895 |  98k|1895 |2538 | 319 | 599k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 470272
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (124 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447741-1307897308/watcher-3447741-1307897308 -o /tmp/evaluation-result-3447741-1307897308/solver-3447741-1307897308 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447741-1307897308.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.54 1.70 3/177 3671
/proc/meminfo: memFree=32433508/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=6864 CPUtime=0 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 866 0 0 0 0 0 0 0 23 0 1 0 901333531 7028736 820 33554432000 4194304 9128323 140735939432848 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3671/statm: 1716 832 361 1205 0 507 0

[startup+0.00721394 s]
/proc/loadavg: 1.06 1.54 1.70 3/177 3671
/proc/meminfo: memFree=32433508/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 1516 0 0 0 0 0 0 0 23 0 1 0 901333531 10375168 1470 33554432000 4194304 9128323 140735939432848 18446744073709551615 4337651 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3671/statm: 2533 1470 399 1205 0 1324 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10132

[startup+0.100197 s]
/proc/loadavg: 1.06 1.54 1.70 3/177 3671
/proc/meminfo: memFree=32433508/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=28300 CPUtime=0.09 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 6105 0 0 0 9 0 0 0 23 0 1 0 901333531 28979200 5800 33554432000 4194304 9128323 140735939432848 18446744073709551615 5192576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3671/statm: 7075 5800 543 1205 0 5866 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28300

[startup+0.300161 s]
/proc/loadavg: 1.06 1.54 1.70 3/177 3671
/proc/meminfo: memFree=32433508/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=33916 CPUtime=0.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 7880 0 0 0 28 1 0 0 25 0 1 0 901333531 34729984 7487 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3671/statm: 8479 7487 680 1205 0 7270 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33916

[startup+0.701094 s]
/proc/loadavg: 1.06 1.54 1.70 3/177 3671
/proc/meminfo: memFree=32433508/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=46492 CPUtime=0.69 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 11055 0 0 0 67 2 0 0 25 0 1 0 901333531 47607808 10661 33554432000 4194304 9128323 140735939432848 18446744073709551615 7998293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3671/statm: 11623 10661 718 1205 0 10414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46492

[startup+1.50095 s]
/proc/loadavg: 1.06 1.54 1.70 3/178 3672
/proc/meminfo: memFree=32338912/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=59904 CPUtime=1.49 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 14757 0 0 0 145 4 0 0 25 0 1 0 901333531 61341696 14009 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3671/statm: 14976 14009 741 1205 0 13767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59904

[startup+3.10066 s]
/proc/loadavg: 1.06 1.54 1.70 3/178 3672
/proc/meminfo: memFree=32337308/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=62168 CPUtime=3.08 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 15135 0 0 0 299 9 0 0 25 0 1 0 901333531 63660032 14387 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 15542 14387 751 1205 0 14333 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62168

[startup+6.3011 s]
/proc/loadavg: 1.13 1.55 1.70 3/178 3672
/proc/meminfo: memFree=32336472/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=62168 CPUtime=6.28 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 15137 0 0 0 609 19 0 0 25 0 1 0 901333531 63660032 14389 33554432000 4194304 9128323 140735939432848 18446744073709551615 7346352 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 15542 14389 752 1205 0 14333 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 62168

[startup+12.701 s]
/proc/loadavg: 1.20 1.56 1.70 3/178 3672
/proc/meminfo: memFree=32337016/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=59652 CPUtime=12.69 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 18391 0 0 0 1232 37 0 0 25 0 1 0 901333531 61083648 14041 33554432000 4194304 9128323 140735939432848 18446744073709551615 6505909 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 14913 14041 755 1205 0 13704 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59652

[startup+25.5007 s]
/proc/loadavg: 1.38 1.58 1.71 3/178 3672
/proc/meminfo: memFree=32334024/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=59652 CPUtime=25.49 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 26882 0 0 0 2475 74 0 0 25 0 1 0 901333531 61083648 14041 33554432000 4194304 9128323 140735939432848 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 14913 14041 755 1205 0 13704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59652

[startup+51.1002 s]
/proc/loadavg: 1.59 1.61 1.71 3/178 3673
/proc/meminfo: memFree=32331784/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=59652 CPUtime=51.08 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 34371 0 0 0 4974 134 0 0 25 0 1 0 901333531 61083648 14045 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 14913 14045 755 1205 0 13704 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59652

[startup+102.306 s]
/proc/loadavg: 1.83 1.67 1.73 3/178 3674
/proc/meminfo: memFree=32318284/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=66496 CPUtime=102.3 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 54412 0 0 0 9980 250 0 0 25 0 1 0 901333531 68091904 15730 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 16624 15730 755 1205 0 15415 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66496

[startup+162.3 s]
/proc/loadavg: 1.93 1.73 1.74 3/178 3676
/proc/meminfo: memFree=32311176/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=67992 CPUtime=162.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 56200 0 0 0 15855 374 0 0 25 0 1 0 901333531 69623808 16116 33554432000 4194304 9128323 140735939432848 18446744073709551615 7217889 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 16998 16116 755 1205 0 15789 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 67992

[startup+222.301 s]
/proc/loadavg: 1.98 1.78 1.75 3/178 3678
/proc/meminfo: memFree=32307632/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=70428 CPUtime=222.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 69099 0 0 0 21729 500 0 0 25 0 1 0 901333531 72118272 16660 33554432000 4194304 9128323 140735939432848 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 17607 16660 755 1205 0 16398 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 70428

[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.76 3/178 3679
/proc/meminfo: memFree=32302756/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=73344 CPUtime=282.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 72855 0 0 0 27603 626 0 0 25 0 1 0 901333531 75104256 17448 33554432000 4194304 9128323 140735939432848 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 18336 17448 755 1205 0 17127 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 73344

[startup+342.301 s]
/proc/loadavg: 2.06 1.86 1.78 3/178 3681
/proc/meminfo: memFree=32302192/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=73780 CPUtime=342.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 85005 0 0 0 33477 752 0 0 25 0 1 0 901333531 75550720 17550 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/3671/statm: 18445 17550 755 1205 0 17236 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 73780

[startup+402.301 s]
/proc/loadavg: 2.02 1.88 1.79 3/178 3682
/proc/meminfo: memFree=32296572/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=77628 CPUtime=402.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 87362 0 0 0 39353 876 0 0 25 0 1 0 901333531 79491072 18342 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 19407 18342 755 1205 0 18198 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 77628

[startup+462.3 s]
/proc/loadavg: 2.00 1.90 1.80 3/178 3684
/proc/meminfo: memFree=32290052/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=79292 CPUtime=462.29 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 89334 0 0 0 45238 991 0 0 25 0 1 0 901333531 81195008 18741 33554432000 4194304 9128323 140735939432848 18446744073709551615 4240359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 19823 18741 755 1205 0 18614 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 79292

[startup+522.301 s]
/proc/loadavg: 2.00 1.92 1.81 3/178 3686
/proc/meminfo: memFree=32282552/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=84316 CPUtime=522.3 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 90533 0 0 0 51121 1109 0 0 25 0 1 0 901333531 86339584 19940 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 21079 19940 755 1205 0 19870 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 84316

[startup+582.301 s]
/proc/loadavg: 2.00 1.93 1.82 3/178 3687
/proc/meminfo: memFree=32278280/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=87536 CPUtime=582.3 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 91377 0 0 0 57015 1215 0 0 25 0 1 0 901333531 89636864 20768 33554432000 4194304 9128323 140735939432848 18446744073709551615 18446744073699065989 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 21884 20768 755 1205 0 20675 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 87536

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.96 1.85 3/178 3703
/proc/meminfo: memFree=32268304/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=93700 CPUtime=822.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 93691 0 0 0 80594 1637 0 0 25 0 1 0 901333531 95948800 22327 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 23425 22327 755 1205 0 22216 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 93700

[startup+882.301 s]
/proc/loadavg: 2.08 1.98 1.86 3/178 3704
/proc/meminfo: memFree=32268004/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=93700 CPUtime=882.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 93695 0 0 0 86484 1747 0 0 25 0 1 0 901333531 95948800 22331 33554432000 4194304 9128323 140735939432848 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 23425 22331 755 1205 0 22216 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 93700

[startup+942.301 s]
/proc/loadavg: 2.03 1.98 1.86 3/178 3709
/proc/meminfo: memFree=32263816/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=96644 CPUtime=942.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 94422 0 0 0 92385 1846 0 0 25 0 1 0 901333531 98963456 23058 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 24161 23058 755 1205 0 22952 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 96644

[startup+1002.3 s]
/proc/loadavg: 2.01 1.98 1.87 3/178 3710
/proc/meminfo: memFree=32261228/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=98992 CPUtime=1002.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 94907 0 0 0 98288 1943 0 0 25 0 1 0 901333531 101367808 23543 33554432000 4194304 9128323 140735939432848 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 24748 23543 755 1205 0 23539 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 98992

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.87 3/178 3712
/proc/meminfo: memFree=32257828/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=101324 CPUtime=1062.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 99508 0 0 0 104187 2044 0 0 25 0 1 0 901333531 103755776 24181 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 25331 24181 755 1205 0 24122 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 101324

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.88 3/178 3714
/proc/meminfo: memFree=32238292/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=102728 CPUtime=1122.31 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 99858 0 0 0 110084 2147 0 0 25 0 1 0 901333531 105193472 24531 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 25682 24531 755 1205 0 24473 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 102728

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.89 3/178 3715
/proc/meminfo: memFree=32236380/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=104892 CPUtime=1182.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 100387 0 0 0 115990 2242 0 0 25 0 1 0 901333531 107409408 25060 33554432000 4194304 9128323 140735939432848 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 26223 25060 755 1205 0 25014 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 104892

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.89 3/178 3717
/proc/meminfo: memFree=32233108/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=108272 CPUtime=1242.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 101135 0 0 0 121902 2330 0 0 25 0 1 0 901333531 110870528 25808 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 27068 25808 755 1205 0 25859 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 108272

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.90 3/178 3718
/proc/meminfo: memFree=32231572/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=109628 CPUtime=1302.33 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 101545 0 0 0 127813 2420 0 0 25 0 1 0 901333531 112259072 26218 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 27407 26218 755 1205 0 26198 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 109628

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.90 3/178 3720
/proc/meminfo: memFree=32230528/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=110636 CPUtime=1362.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 101775 0 0 0 133717 2515 0 0 25 0 1 0 901333531 113291264 26448 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 27659 26448 755 1205 0 26450 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 110636

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 3722
/proc/meminfo: memFree=32230460/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=111024 CPUtime=1422.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 101868 0 0 0 139627 2605 0 0 25 0 1 0 901333531 113688576 26541 33554432000 4194304 9128323 140735939432848 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 27756 26541 755 1205 0 26547 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 111024

[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 3723
/proc/meminfo: memFree=32228184/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=113340 CPUtime=1482.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 102355 0 0 0 145542 2690 0 0 25 0 1 0 901333531 116060160 27028 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 28335 27028 755 1205 0 27126 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 113340

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 3725
/proc/meminfo: memFree=32225640/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=116276 CPUtime=1542.33 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 103114 0 0 0 151449 2784 0 0 25 0 1 0 901333531 119066624 27787 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 29069 27787 755 1205 0 27860 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 116276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3726
/proc/meminfo: memFree=32223840/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=118508 CPUtime=1602.33 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 103547 0 0 0 157359 2874 0 0 25 0 1 0 901333531 121352192 28220 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 29627 28220 755 1205 0 28418 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 118508

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3728
/proc/meminfo: memFree=32223776/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=118508 CPUtime=1662.32 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 103563 0 0 0 163271 2961 0 0 25 0 1 0 901333531 121352192 28236 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 29627 28236 755 1205 0 28418 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 118508

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3730
/proc/meminfo: memFree=32223348/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=118992 CPUtime=1722.33 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 103670 0 0 0 169182 3051 0 0 25 0 1 0 901333531 121847808 28343 33554432000 4194304 9128323 140735939432848 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 29748 28343 755 1205 0 28539 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 118992

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3731
/proc/meminfo: memFree=32221548/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=120580 CPUtime=1782.33 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 104073 0 0 0 175087 3146 0 0 25 0 1 0 901333531 123473920 28746 33554432000 4194304 9128323 140735939432848 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/3671/statm: 30145 28746 755 1205 0 28936 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 120580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 3733
/proc/meminfo: memFree=32342452/32951124 swapFree=67050044/67111528
[pid=3671] ppid=3669 vsize=121076 CPUtime=1800.04 cores=1,3,5,7
/proc/3671/stat : 3671 (scip-2.0.1.4.li) R 3669 3671 2655 0 -1 4202496 104218 0 0 0 176832 3172 0 0 25 0 1 0 901333531 123981824 28891 33554432000 4194304 9128323 140735939432848 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3671/statm: 30269 28891 755 1205 0 29060 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 121076

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1768.32
CPU system time (s): 31.7262
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 121076

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

runsolver used 2.55161 second user time and 6.05708 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 18:48:28
IDJOB=3447741
IDBENCH=78909
IDSOLVER=1944
FILE ID=node101/3447741-1307897308
RUNJOBID= node101-1307897307-3644
PBS_JOBID= 13559601
Free space on /tmp= 74048 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--soft-66-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447741-1307897308/watcher-3447741-1307897308 -o /tmp/evaluation-result-3447741-1307897308/solver-3447741-1307897308 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447741-1307897308.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 088560862f81f380de0695aae8f2f503
RANDOM SEED=1333109859

node101.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32434068 kB
Buffers:        104500 kB
Cached:         174224 kB
SwapCached:      24724 kB
Active:         250660 kB
Inactive:        80840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32434068 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:           24580 kB
Writeback:           0 kB
AnonPages:       50192 kB
Mapped:          11256 kB
Slab:           121260 kB
PageTables:       4936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   237016 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74048 MiB
End job on node101 at 2011-06-12 19:18:30