Trace number 3447757

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.03 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-33-100-0.wbo
MD5SUM124472bd94dbe4a4a7a86c80941ffe16
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 benchmark16.1195
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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-3447757-1307897649.wbo>
0.00/0.02	c original problem has 2033 variables (2033 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.05	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.06/0.08	c (round 2) 0 del vars, 124 del conss, 0 add conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.06/0.09	c (round 3) 106 del vars, 158 del conss, 0 add conss, 1814 chg bounds, 75 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.09/0.10	c (round 4) 130 del vars, 158 del conss, 0 add conss, 1814 chg bounds, 75 chg sides, 0 chg coeffs, 878 upgd conss, 148 impls, 9 clqs
0.09/0.10	c (round 5) 130 del vars, 176 del conss, 0 add conss, 1814 chg bounds, 75 chg sides, 0 chg coeffs, 878 upgd conss, 148 impls, 9 clqs
0.09/0.16	c    (0.2s) probing: 101/1968 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  130 deleted vars, 176 deleted constraints, 0 added constraints, 1814 tightened bounds, 0 added holes, 75 changed sides, 0 changed coefficients
0.09/0.16	c  1885 implications, 9 cliques
0.09/0.16	c presolved problem has 3705 variables (1968 bin, 0 int, 1737 impl, 0 cont) and 4334 constraints
0.09/0.16	c      55 constraints of type <setppc>
0.09/0.16	c    1737 constraints of type <linear>
0.09/0.16	c    1737 constraints of type <indicator>
0.09/0.16	c     805 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.13
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 2.0.1.4
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1800
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 13950
0.09/0.16	c 
0.09/0.16	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16	c # [type: int, range: [1,2], default: 1]
0.09/0.16	c timing/clocktype = 2
0.09/0.16	c 
0.09/0.16	c # belongs reading time to solving time?
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c timing/reading = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/indicator/addCouplingCons = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.48/0.55	o 278
0.48/0.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.48/0.55	c T 0.5s|     1 |     0 |     0 |     - |  14M|   0 |   - |3705 |6071 |3705 |2597 |   0 |   0 |   0 |      --      | 2.780000e+02 |    Inf 
0.48/0.57	c   0.6s|     1 |     0 |   125 |     - |  13M|   0 |  47 |3705 |6071 |3705 |2597 |   0 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
0.88/0.96	c   1.0s|     1 |     0 |   332 |     - |  15M|   0 |  50 |3705 |6114 |3705 |2612 |  15 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
1.10/1.19	c   1.2s|     1 |     0 |   372 |     - |  15M|   0 |  50 |3705 |6114 |3705 |2622 |  25 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
1.39/1.48	c   1.5s|     1 |     0 |   400 |     - |  16M|   0 |  51 |3705 |6114 |3705 |2626 |  29 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
1.79/1.80	c   1.8s|     1 |     0 |   415 |     - |  17M|   0 |  52 |3705 |6114 |3705 |2631 |  34 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
2.10/2.14	c   2.1s|     1 |     0 |   435 |     - |  17M|   0 |  57 |3705 |6114 |3705 |2636 |  39 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
2.49/2.51	c   2.5s|     1 |     0 |   473 |     - |  18M|   0 |  59 |3705 |6114 |3705 |2640 |  43 |   0 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
2.99/3.02	c   3.0s|     1 |     2 |   473 |     - |  18M|   0 |  59 |3705 |6114 |3705 |2640 |  43 |   0 |  10 | 0.000000e+00 | 2.780000e+02 |    Inf 
5.50/5.50	o 272
5.50/5.50	c * 5.5s|    41 |    28 |  2320 |  46.2 |  19M|  19 |   - |3705 |6131 |3705 |2699 | 132 |  17 | 213 | 0.000000e+00 | 2.720000e+02 |    Inf 
5.89/5.92	o 256
5.89/5.92	c * 5.9s|    56 |    33 |  2770 |  41.8 |  20M|  19 |   - |3705 |6138 |3705 |2627 | 138 |  24 | 281 | 0.000000e+00 | 2.560000e+02 |    Inf 
7.09/7.18	o 228
7.09/7.18	c * 7.2s|   100 |    55 |  4412 |  39.8 |  21M|  19 |   - |3705 |6171 |3705 |2717 | 272 |  57 | 416 | 0.000000e+00 | 2.280000e+02 |    Inf 
8.08/8.12	o 177
8.08/8.12	c * 8.1s|   125 |    71 |  5653 |  41.8 |  22M|  19 |   - |3705 |6175 |3705 |2632 | 289 |  61 | 560 | 0.000000e+00 | 1.770000e+02 |    Inf 
10.08/10.19	o 170
10.08/10.19	c *10.2s|   218 |   102 |  7979 |  34.6 |  24M|  20 |   - |3705 |6250 |3705 |2652 | 388 | 136 | 844 | 0.000000e+00 | 1.700000e+02 |    Inf 
10.18/10.21	o 152
10.18/10.21	c *10.2s|   219 |    92 |  7989 |  34.5 |  24M|  20 |   - |3705 |6250 |3705 |2656 | 392 | 136 | 844 | 0.000000e+00 | 1.520000e+02 |    Inf 
10.29/10.34	o 136
10.29/10.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.29/10.34	c *10.3s|   226 |    90 |  8217 |  34.4 |  24M|  20 |   - |3705 |6254 |3705 |2626 | 397 | 140 | 856 | 0.000000e+00 | 1.360000e+02 |    Inf 
10.39/10.48	o 50
10.39/10.48	c *10.5s|   227 |    37 |  8589 |  35.9 |  24M|  20 |   - |3705 |6254 |3705 |2692 | 463 | 140 | 856 | 0.000000e+00 | 5.000000e+01 |    Inf 
15.19/15.29	o 43
15.19/15.29	c *15.3s|   488 |    89 | 12818 |  25.3 |  24M|  28 |   - |3705 |4687 |3705 |2621 | 476 | 367 |1472 | 0.000000e+00 | 4.300000e+01 |    Inf 
16.89/16.95	o 41
16.89/16.95	c *16.9s|   733 |   114 | 15468 |  20.5 |  25M|  37 |   - |3705 |4678 |3705 |2621 | 489 | 635 |1590 | 0.000000e+00 | 4.100000e+01 |    Inf 
16.99/17.02	o 35
16.99/17.02	c *17.0s|   749 |   114 | 15539 |  20.1 |  25M|  45 |   - |3705 |4619 |3705 |2622 | 490 | 666 |1590 | 0.000000e+00 | 3.500000e+01 |    Inf 
17.29/17.33	o 31
17.29/17.33	c *17.3s|   799 |   117 | 16006 |  19.5 |  25M|  45 |   - |3705 |4474 |3705 |2622 | 494 | 729 |1609 | 0.000000e+00 | 3.100000e+01 |    Inf 
18.29/18.39	o 24
18.29/18.39	c *18.4s|   971 |   135 | 18424 |  18.5 |  25M|  45 |   - |3705 |4485 |3705 |2641 | 498 | 953 |1676 | 0.000000e+00 | 2.400000e+01 |    Inf 
19.99/20.05	o 23
19.99/20.05	c R20.1s|  1364 |   140 | 23382 |  16.8 |  25M|  45 |   - |3705 |4461 |3705 |2639 | 506 |1467 |1728 | 0.000000e+00 | 2.300000e+01 |    Inf 
19.99/20.06	o 18
19.99/20.06	c *20.1s|  1365 |   135 | 23382 |  16.8 |  25M|  45 |   - |3705 |4466 |3705 |2639 | 506 |1472 |1728 | 0.000000e+00 | 1.800000e+01 |    Inf 
20.19/20.22	o 12
20.19/20.22	c *20.2s|  1396 |   124 | 23876 |  16.8 |  25M|  45 |   - |3705 |4212 |3705 |2639 | 506 |1504 |1731 | 0.000000e+00 | 1.200000e+01 |    Inf 
30.19/30.28	o 10
30.19/30.28	c *30.3s|  3889 |   237 | 65842 |  16.8 |  26M|  45 |   - |3705 |5871 |3705 |2640 | 513 |4588 |1870 | 0.000000e+00 | 1.000000e+01 |    Inf 
36.09/36.17	o 5
36.09/36.17	c *36.2s|  5388 |   239 | 93366 |  17.2 |  27M|  48 |   - |3705 |6842 |3705 |2622 | 516 |6339 |1902 | 0.000000e+00 | 5.000000e+00 |    Inf 
48.09/48.14	o 2
48.09/48.14	c *48.1s|  8750 |   229 |150202 |  17.1 |  26M|  48 |   - |3705 |5562 |3705 |2639 | 516 |  10k|1907 | 0.000000e+00 | 2.000000e+00 |    Inf 
52.29/52.31	c  52.3s| 10000 |   217 |169603 |  16.9 |  26M|  48 |   - |3705 |5421 |3705 |2639 | 517 |  12k|1910 | 0.000000e+00 | 2.000000e+00 |    Inf 
84.49/84.53	c  84.5s| 20000 |   519 |311282 |  15.5 |  31M|  55 |  31 |3705 |  11k|3705 |2639 | 517 |  24k|2128 | 0.000000e+00 | 2.000000e+00 |    Inf 
120.79/120.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
120.79/120.80	c   121s| 30000 |   501 |462264 |  15.4 |  33M|  62 |  34 |3705 |  13k|3705 |2639 | 520 |  37k|2596 | 0.000000e+00 | 2.000000e+00 |    Inf 
156.90/156.93	c   157s| 40000 |   285 |609302 |  15.2 |  31M|  62 |  38 |3705 |  12k|3705 |2639 | 520 |  51k|3061 | 0.000000e+00 | 2.000000e+00 |    Inf 
194.09/194.18	c   194s| 50000 |   250 |765827 |  15.3 |  30M|  62 |   - |3705 |9403 |3705 |2621 | 520 |  64k|3470 | 0.000000e+00 | 2.000000e+00 |    Inf 
228.99/229.09	c   229s| 60000 |   228 |917991 |  15.3 |  31M|  63 |   - |3705 |  11k|   0 |   0 | 520 |  77k|3807 | 0.000000e+00 | 2.000000e+00 |    Inf 
264.89/264.95	c   265s| 70000 |   404 |  1069k|  15.3 |  34M|  63 |   - |3705 |  15k|   0 |   0 | 521 |  90k|4170 | 0.000000e+00 | 2.000000e+00 |    Inf 
298.49/298.56	c   299s| 80000 |   502 |  1207k|  15.1 |  36M|  63 |  36 |3705 |  18k|3705 |2621 | 522 | 104k|4389 | 0.000000e+00 | 2.000000e+00 |    Inf 
334.60/334.64	c   335s| 90000 |   583 |  1356k|  15.1 |  39M|  63 |  39 |3705 |  23k|3705 |2621 | 522 | 119k|4722 | 0.000000e+00 | 2.000000e+00 |    Inf 
370.09/370.13	c   370s|100000 |   504 |  1505k|  15.1 |  37M|  63 |   - |3705 |  18k|   0 |   0 | 523 | 133k|4903 | 0.000000e+00 | 2.000000e+00 |    Inf 
406.09/406.19	c   406s|110000 |   477 |  1654k|  15.0 |  37M|  63 |  36 |3705 |  18k|3705 |2621 | 525 | 147k|5203 | 0.000000e+00 | 2.000000e+00 |    Inf 
442.40/442.45	c   442s|120000 |   518 |  1811k|  15.1 |  40M|  63 |   - |3705 |  22k|   0 |   0 | 525 | 161k|5387 | 0.000000e+00 | 2.000000e+00 |    Inf 
479.10/479.17	c   479s|130000 |   462 |  1962k|  15.1 |  37M|  63 |  29 |3705 |  15k|3705 |2639 | 525 | 174k|5647 | 0.000000e+00 | 2.000000e+00 |    Inf 
517.30/517.35	c   517s|140000 |   482 |  2125k|  15.2 |  37M|  66 |   - |3705 |  14k|3705 |2621 | 525 | 188k|5913 | 0.000000e+00 | 2.000000e+00 |    Inf 
552.00/552.01	c   552s|150000 |   456 |  2274k|  15.2 |  36M|  68 |  32 |3705 |  14k|3705 |2639 | 525 | 202k|6120 | 0.000000e+00 | 2.000000e+00 |    Inf 
588.89/588.97	c   589s|160000 |   399 |  2434k|  15.2 |  34M|  68 |  33 |3705 |9011 |3705 |2621 | 525 | 215k|6286 | 0.000000e+00 | 2.000000e+00 |    Inf 
623.71/623.77	c   624s|170000 |   464 |  2586k|  15.2 |  36M|  68 |   - |3705 |  12k|3705 |2639 | 525 | 228k|6465 | 0.000000e+00 | 2.000000e+00 |    Inf 
658.39/658.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
658.39/658.48	c   658s|180000 |   463 |  2738k|  15.2 |  35M|  68 |   - |3705 |  11k|3705 |2621 | 525 | 241k|6627 | 0.000000e+00 | 2.000000e+00 |    Inf 
694.00/694.04	c   694s|190000 |   504 |  2893k|  15.2 |  36M|  68 |  27 |3705 |  12k|3705 |2621 | 525 | 254k|6833 | 0.000000e+00 | 2.000000e+00 |    Inf 
728.60/728.66	c   729s|200000 |   501 |  3043k|  15.2 |  38M|  68 |   - |3705 |  16k|3705 |2621 | 525 | 267k|7025 | 0.000000e+00 | 2.000000e+00 |    Inf 
764.70/764.71	c   765s|210000 |   505 |  3198k|  15.2 |  36M|  68 |   - |3705 |  12k|3705 |2621 | 525 | 280k|7210 | 0.000000e+00 | 2.000000e+00 |    Inf 
802.30/802.32	c   802s|220000 |   574 |  3363k|  15.3 |  37M|  68 |   - |3705 |  13k|3705 |2621 | 525 | 294k|7402 | 0.000000e+00 | 2.000000e+00 |    Inf 
814.00/814.09	o 1
814.00/814.09	c * 814s|223100 |   242 |  3412k|  15.3 |  34M|  68 |   - |3705 |  14k|3705 |2622 | 526 | 298k|7478 | 0.000000e+00 | 1.000000e+00 |    Inf 
839.60/839.62	c   840s|230000 |   293 |  3526k|  15.3 |  35M|  68 |   - |3705 |  14k|   0 |   0 | 526 | 308k|7574 | 0.000000e+00 | 1.000000e+00 |    Inf 
877.30/877.38	c   877s|240000 |   355 |  3703k|  15.4 |  37M|  74 |  39 |3705 |  18k|3705 |2621 | 526 | 323k|7717 | 0.000000e+00 | 1.000000e+00 |    Inf 
915.80/915.89	c   916s|250000 |   274 |  3880k|  15.5 |  36M|  74 |  22 |3705 |  16k|3705 |2621 | 526 | 338k|7859 | 0.000000e+00 | 1.000000e+00 |    Inf 
955.10/955.15	c   955s|260000 |   258 |  4056k|  15.6 |  36M|  74 |   - |3705 |  17k|   0 |   0 | 526 | 352k|7986 | 0.000000e+00 | 1.000000e+00 |    Inf 
993.80/993.82	c   994s|270000 |   217 |  4229k|  15.7 |  34M|  74 |   - |3705 |  13k|3705 |2621 | 526 | 366k|8184 | 0.000000e+00 | 1.000000e+00 |    Inf 
1032.30/1032.36	c  1032s|280000 |   233 |  4406k|  15.7 |  36M|  74 |  24 |3705 |  16k|3705 |2621 | 526 | 381k|8326 | 0.000000e+00 | 1.000000e+00 |    Inf 
1072.41/1072.41	c  1072s|290000 |   232 |  4589k|  15.8 |  36M|  74 |   - |3705 |  16k|3705 |2621 | 526 | 395k|8478 | 0.000000e+00 | 1.000000e+00 |    Inf 
1109.91/1109.97	c  1110s|300000 |   278 |  4761k|  15.9 |  37M|  74 |   - |3705 |  19k|   0 |   0 | 526 | 409k|8599 | 0.000000e+00 | 1.000000e+00 |    Inf 
1148.90/1148.98	c  1149s|310000 |   340 |  4941k|  15.9 |  39M|  74 |  26 |3705 |  20k|3705 |2621 | 526 | 423k|8750 | 0.000000e+00 | 1.000000e+00 |    Inf 
1188.20/1188.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1188.20/1188.28	c  1188s|320000 |   396 |  5122k|  16.0 |  39M|  74 |  41 |3705 |  21k|3705 |2621 | 526 | 437k|8899 | 0.000000e+00 | 1.000000e+00 |    Inf 
1226.01/1226.07	c  1226s|330000 |   479 |  5294k|  16.0 |  41M|  74 |  36 |3705 |  24k|3705 |2621 | 526 | 451k|9014 | 0.000000e+00 | 1.000000e+00 |    Inf 
1264.41/1264.44	c  1264s|340000 |   559 |  5469k|  16.1 |  44M|  74 |  39 |3705 |  28k|3705 |2621 | 526 | 466k|9150 | 0.000000e+00 | 1.000000e+00 |    Inf 
1303.01/1303.01	c  1303s|350000 |   496 |  5638k|  16.1 |  41M|  74 |  32 |3705 |  23k|3705 |2621 | 526 | 480k|9302 | 0.000000e+00 | 1.000000e+00 |    Inf 
1341.11/1341.13	c  1341s|360000 |   532 |  5809k|  16.1 |  42M|  74 |   - |3705 |  24k|3705 |2621 | 526 | 494k|9445 | 0.000000e+00 | 1.000000e+00 |    Inf 
1380.90/1380.92	c  1381s|370000 |   548 |  5988k|  16.2 |  43M|  74 |  23 |3705 |  24k|3705 |2621 | 526 | 509k|9557 | 0.000000e+00 | 1.000000e+00 |    Inf 
1421.90/1421.92	c  1422s|380000 |   460 |  6173k|  16.2 |  40M|  74 |   - |3705 |  20k|3705 |2621 | 526 | 524k|9674 | 0.000000e+00 | 1.000000e+00 |    Inf 
1461.71/1461.74	c  1462s|390000 |   472 |  6359k|  16.3 |  42M|  74 |  37 |3705 |  23k|3705 |2621 | 526 | 538k|9781 | 0.000000e+00 | 1.000000e+00 |    Inf 
1502.21/1502.21	c  1502s|400000 |   455 |  6547k|  16.4 |  43M|  74 |  20 |3705 |  25k|3705 |2621 | 526 | 552k|9893 | 0.000000e+00 | 1.000000e+00 |    Inf 
1540.71/1540.77	c  1541s|410000 |   508 |  6717k|  16.4 |  43M|  74 |   - |3705 |  25k|3705 |2621 | 526 | 566k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1581.11/1581.10	c  1581s|420000 |   484 |  6897k|  16.4 |  43M|  74 |   - |3705 |  25k|3705 |2621 | 526 | 581k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1622.01/1622.01	c  1622s|430000 |   464 |  7084k|  16.5 |  44M|  74 |  25 |3705 |  28k|3705 |2621 | 526 | 596k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1663.11/1663.13	c  1663s|440000 |   422 |  7267k|  16.5 |  40M|  74 |  25 |3705 |  19k|3705 |2621 | 526 | 610k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1703.31/1703.32	c  1703s|450000 |   394 |  7454k|  16.6 |  41M|  74 |  34 |3705 |  21k|3705 |2621 | 526 | 624k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1742.92/1742.97	c  1743s|460000 |   324 |  7638k|  16.6 |  40M|  74 |  30 |3705 |  20k|3705 |2621 | 526 | 638k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1780.02/1780.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1780.02/1780.02	c  1780s|470000 |   369 |  7805k|  16.6 |  41M|  74 |  31 |3705 |  23k|3705 |2621 | 526 | 653k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1800.01/1800.00	c 
1800.01/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.01/1800.00	c Solving Time (sec) : 1800.00
1800.01/1800.00	c Solving Nodes      : 475035
1800.01/1800.00	c Primal Bound       : +1.00000000000000e+00 (147 solutions)
1800.01/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.01/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-3447757-1307897649/watcher-3447757-1307897649 -o /tmp/evaluation-result-3447757-1307897649/solver-3447757-1307897649 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447757-1307897649.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.92 1.99 2.15 3/176 18438
/proc/meminfo: memFree=8054092/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=10332 CPUtime=0 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 1571 0 0 0 0 0 0 0 23 0 1 0 979995588 10579968 1525 33554432000 4194304 9128323 140735068775552 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18438/statm: 2583 1525 399 1205 0 1374 0

[startup+0.0699951 s]
/proc/loadavg: 1.92 1.99 2.15 3/176 18438
/proc/meminfo: memFree=8054092/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=31732 CPUtime=0.06 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 6884 0 0 0 6 0 0 0 23 0 1 0 979995588 32493568 6579 33554432000 4194304 9128323 140735068775552 18446744073709551615 5192464 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 7933 6579 514 1205 0 6724 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31732

[startup+0.10099 s]
/proc/loadavg: 1.92 1.99 2.15 3/176 18438
/proc/meminfo: memFree=8054092/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=31888 CPUtime=0.09 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 6946 0 0 0 9 0 0 0 23 0 1 0 979995588 32653312 6641 33554432000 4194304 9128323 140735068775552 18446744073709551615 5326896 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 7972 6641 530 1205 0 6763 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31888

[startup+0.300956 s]
/proc/loadavg: 1.92 1.99 2.15 3/176 18438
/proc/meminfo: memFree=8054092/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=38144 CPUtime=0.28 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 8725 0 0 0 28 0 0 0 23 0 1 0 979995588 39059456 8398 33554432000 4194304 9128323 140735068775552 18446744073709551615 5984256 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 9536 8398 620 1205 0 8327 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38144

[startup+0.700898 s]
/proc/loadavg: 1.92 1.99 2.15 3/176 18438
/proc/meminfo: memFree=8054092/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=45324 CPUtime=0.68 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 10774 0 0 0 68 0 0 0 25 0 1 0 979995588 46411776 10281 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 11331 10281 669 1205 0 10122 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45324

[startup+1.50075 s]
/proc/loadavg: 1.93 1.99 2.15 4/178 18440
/proc/meminfo: memFree=7948848/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=75236 CPUtime=1.49 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 18330 0 0 0 147 2 0 0 25 0 1 0 979995588 77041664 17482 33554432000 4194304 9128323 140735068775552 18446744073709551615 4312154 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 18809 17482 729 1205 0 17600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75236

[startup+3.10049 s]
/proc/loadavg: 1.93 1.99 2.15 4/178 18440
/proc/meminfo: memFree=7943148/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=79172 CPUtime=3.09 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 19547 0 0 0 304 5 0 0 25 0 1 0 979995588 81072128 18699 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 19793 18699 740 1205 0 18584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79172

[startup+6.30095 s]
/proc/loadavg: 2.09 2.02 2.16 4/178 18440
/proc/meminfo: memFree=7931672/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=79172 CPUtime=6.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 19593 0 0 0 618 11 0 0 25 0 1 0 979995588 81072128 18745 33554432000 4194304 9128323 140735068775552 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 19793 18745 745 1205 0 18584 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79172

[startup+12.7009 s]
/proc/loadavg: 2.08 2.02 2.16 4/178 18440
/proc/meminfo: memFree=7928936/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=79172 CPUtime=12.69 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 19593 0 0 0 1246 23 0 0 25 0 1 0 979995588 81072128 18745 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 19793 18745 745 1205 0 18584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79172

[startup+25.5008 s]
/proc/loadavg: 2.07 2.02 2.16 4/178 18442
/proc/meminfo: memFree=7912324/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=89036 CPUtime=25.49 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 24113 0 0 0 2505 44 0 0 25 0 1 0 979995588 91172864 21282 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22259 21282 745 1205 0 21050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89036

[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 2.15 4/178 18442
/proc/meminfo: memFree=7908044/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=89036 CPUtime=51.09 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 29947 0 0 0 5020 89 0 0 25 0 1 0 979995588 91172864 21292 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22259 21292 745 1205 0 21050 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89036

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.14 4/178 18444
/proc/meminfo: memFree=7901552/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=89036 CPUtime=102.3 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 30652 0 0 0 10052 178 0 0 25 0 1 0 979995588 91172864 21295 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22259 21295 745 1205 0 21050 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 89036

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.13 4/178 18444
/proc/meminfo: memFree=7896164/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=90812 CPUtime=162.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 31071 0 0 0 15942 287 0 0 25 0 1 0 979995588 92991488 21714 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22703 21714 745 1205 0 21494 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 90812

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.12 4/178 18446
/proc/meminfo: memFree=7896236/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=90812 CPUtime=222.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 31081 0 0 0 21837 392 0 0 25 0 1 0 979995588 92991488 21724 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22703 21724 745 1205 0 21494 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 90812

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.11 4/178 18448
/proc/meminfo: memFree=7895816/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=89036 CPUtime=282.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 31397 0 0 0 27737 492 0 0 25 0 1 0 979995588 91172864 21312 33554432000 4194304 9128323 140735068775552 18446744073709551615 6712916 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22259 21312 745 1205 0 21050 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 89036

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.10 4/178 18450
/proc/meminfo: memFree=7892636/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=91116 CPUtime=342.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 31882 0 0 0 33641 588 0 0 25 0 1 0 979995588 93302784 21797 33554432000 4194304 9128323 140735068775552 18446744073709551615 7343414 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 22779 21797 745 1205 0 21570 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 91116

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.09 4/178 18452
/proc/meminfo: memFree=7890608/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=92724 CPUtime=402.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 32327 0 0 0 39519 710 0 0 25 0 1 0 979995588 94949376 22228 33554432000 4194304 9128323 140735068775552 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 23181 22228 745 1205 0 21972 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 92724

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.09 4/178 18461
/proc/meminfo: memFree=7888504/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=94076 CPUtime=462.3 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 34813 0 0 0 45395 835 0 0 25 0 1 0 979995588 96333824 22553 33554432000 4194304 9128323 140735068775552 18446744073709551615 6857100 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 23519 22553 745 1205 0 22310 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 94076

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.08 4/178 18463
/proc/meminfo: memFree=7885476/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=95672 CPUtime=522.29 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 35185 0 0 0 51264 965 0 0 25 0 1 0 979995588 97968128 22925 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 23918 22925 745 1205 0 22709 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 95672

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.08 4/178 18465
/proc/meminfo: memFree=7882448/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=95820 CPUtime=582.3 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 35215 0 0 0 57140 1090 0 0 25 0 1 0 979995588 98119680 22955 33554432000 4194304 9128323 140735068775552 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 23955 22955 745 1205 0 22746 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 95820

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 18471
/proc/meminfo: memFree=7871308/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=98220 CPUtime=822.3 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 46626 0 0 0 80621 1609 0 0 25 0 1 0 979995588 100577280 23560 33554432000 4194304 9128323 140735068775552 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24555 23560 745 1205 0 23346 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 98220

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 18473
/proc/meminfo: memFree=7870736/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=98140 CPUtime=882.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 55729 0 0 0 86488 1743 0 0 25 0 1 0 979995588 100495360 23562 33554432000 4194304 9128323 140735068775552 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24535 23562 745 1205 0 23326 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 98140

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.04 4/178 18475
/proc/meminfo: memFree=7870068/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=98332 CPUtime=942.3 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 57706 0 0 0 92362 1868 0 0 25 0 1 0 979995588 100691968 23619 33554432000 4194304 9128323 140735068775552 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24583 23619 745 1205 0 23374 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 98332

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/178 18477
/proc/meminfo: memFree=7869768/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=98332 CPUtime=1002.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 57710 0 0 0 98241 1990 0 0 25 0 1 0 979995588 100691968 23623 33554432000 4194304 9128323 140735068775552 18446744073709551615 5205745 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24583 23623 745 1205 0 23374 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 98332

[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.04 4/178 18477
/proc/meminfo: memFree=7868492/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=98796 CPUtime=1062.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 62803 0 0 0 104111 2120 0 0 25 0 1 0 979995588 101167104 23715 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24699 23715 745 1205 0 23490 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 98796

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.03 4/178 18479
/proc/meminfo: memFree=7867700/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=99276 CPUtime=1122.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 62926 0 0 0 109982 2249 0 0 25 0 1 0 979995588 101658624 23838 33554432000 4194304 9128323 140735068775552 18446744073709551615 6883526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24819 23838 745 1205 0 23610 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 99276

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.03 4/178 18481
/proc/meminfo: memFree=7867292/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=99276 CPUtime=1182.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 62935 0 0 0 115850 2381 0 0 25 0 1 0 979995588 101658624 23847 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24819 23847 745 1205 0 23610 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 99276

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.02 4/178 18483
/proc/meminfo: memFree=7866728/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=99876 CPUtime=1242.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65147 0 0 0 121714 2517 0 0 25 0 1 0 979995588 102273024 23973 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 24969 23973 745 1205 0 23760 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 99876

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 18485
/proc/meminfo: memFree=7864080/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102008 CPUtime=1302.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65728 0 0 0 127584 2647 0 0 25 0 1 0 979995588 104456192 24554 33554432000 4194304 9128323 140735068775552 18446744073709551615 5240920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25502 24554 745 1205 0 24293 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 102008

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/178 18485
/proc/meminfo: memFree=7864148/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102276 CPUtime=1362.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65769 0 0 0 133450 2781 0 0 25 0 1 0 979995588 104730624 24595 33554432000 4194304 9128323 140735068775552 18446744073709551615 5207356 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25569 24595 745 1205 0 24360 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 102276

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18525
/proc/meminfo: memFree=7680632/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102276 CPUtime=1422.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65788 0 0 0 139324 2907 0 0 25 0 1 0 979995588 104730624 24614 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25569 24614 745 1205 0 24360 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 102276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18527
/proc/meminfo: memFree=7673044/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102276 CPUtime=1482.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65791 0 0 0 145189 3042 0 0 25 0 1 0 979995588 104730624 24617 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25569 24617 745 1205 0 24360 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 102276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18529
/proc/meminfo: memFree=7491824/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102424 CPUtime=1542.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65803 0 0 0 151072 3159 0 0 25 0 1 0 979995588 104882176 24629 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25606 24629 745 1205 0 24397 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 102424

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18531
/proc/meminfo: memFree=7467820/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102424 CPUtime=1602.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 65837 0 0 0 156978 3253 0 0 25 0 1 0 979995588 104882176 24663 33554432000 4194304 9128323 140735068775552 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25606 24663 745 1205 0 24397 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 102424

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18531
/proc/meminfo: memFree=7456972/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102556 CPUtime=1662.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 67876 0 0 0 162875 3356 0 0 25 0 1 0 979995588 105017344 24684 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25639 24684 745 1205 0 24430 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 102556

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18533
/proc/meminfo: memFree=7458144/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102556 CPUtime=1722.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 67880 0 0 0 168759 3472 0 0 25 0 1 0 979995588 105017344 24688 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25639 24688 745 1205 0 24430 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 102556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18535
/proc/meminfo: memFree=7457476/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102696 CPUtime=1782.31 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 67902 0 0 0 174604 3627 0 0 25 0 1 0 979995588 105160704 24710 33554432000 4194304 9128323 140735068775552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18438/statm: 25674 24710 745 1205 0 24465 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 102696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18535
/proc/meminfo: memFree=7457568/32951124 swapFree=67049472/67111528
[pid=18438] ppid=18436 vsize=102696 CPUtime=1800.02 cores=1,3,5,7
/proc/18438/stat : 18438 (scip-2.0.1.4.li) R 18436 18438 18184 0 -1 4202496 67902 0 0 0 176326 3676 0 0 25 0 1 0 979995588 105160704 24710 33554432000 4194304 9128323 140735068775552 18446744073709551615 4692805 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18438/statm: 25674 24710 745 1205 0 24465 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 102696

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.03
CPU user time (s): 1763.27
CPU system time (s): 36.7644
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 119200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.27
system time used= 36.7644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67902
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= 6
involuntary context switches= 22288

runsolver used 2.89456 second user time and 6.578 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-12 18:54:09
IDJOB=3447757
IDBENCH=78917
IDSOLVER=1944
FILE ID=node118/3447757-1307897649
RUNJOBID= node118-1307897649-18412
PBS_JOBID= 13559604
Free space on /tmp= 18216 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.1900551864--soft-33-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-3447757-1307897649/watcher-3447757-1307897649 -o /tmp/evaluation-result-3447757-1307897649/solver-3447757-1307897649 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447757-1307897649.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 124472bd94dbe4a4a7a86c80941ffe16
RANDOM SEED=1465936741

node118.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.842
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.842
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	: 5332.75
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.842
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.74
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       8055916 kB
Buffers:         53868 kB
Cached:       24030856 kB
SwapCached:      14016 kB
Active:        8898956 kB
Inactive:     15203640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       8055916 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:           24860 kB
Writeback:           0 kB
AnonPages:       16840 kB
Mapped:           8608 kB
Slab:           727592 kB
PageTables:       4540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191668 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= 18192 MiB
End job on node118 at 2011-06-12 19:24:11