Trace number 3447807

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.4MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo
MD5SUMa7f6c0c06b26873046d2d80874a938bb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark141.252
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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-3447807-1307898527.wbo>
0.00/0.02	c original problem has 2099 variables (2099 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, 138 impls, 5 clqs
0.07/0.08	c (round 2) 0 del vars, 116 del conss, 0 add conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.07/0.09	c (round 3) 98 del vars, 157 del conss, 0 add conss, 1882 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10	c (round 4) 126 del vars, 157 del conss, 0 add conss, 1882 chg bounds, 76 chg sides, 0 chg coeffs, 809 upgd conss, 138 impls, 5 clqs
0.09/0.11	c (round 5) 126 del vars, 163 del conss, 0 add conss, 1882 chg bounds, 76 chg sides, 0 chg coeffs, 809 upgd conss, 138 impls, 5 clqs
0.09/0.15	c    (0.2s) probing: 101/2036 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  126 deleted vars, 163 deleted constraints, 0 added constraints, 1882 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.15	c  1943 implications, 5 cliques
0.09/0.15	c presolved problem has 3841 variables (2036 bin, 0 int, 1805 impl, 0 cont) and 4413 constraints
0.09/0.15	c      55 constraints of type <setppc>
0.09/0.15	c    1805 constraints of type <linear>
0.09/0.15	c    1805 constraints of type <indicator>
0.09/0.15	c     748 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.13
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 2.0.1.4
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1800
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 13950
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # belongs reading time to solving time?
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c timing/reading = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.16	c 
0.48/0.58	o 206
0.48/0.58	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.58	c T 0.6s|     1 |     0 |     0 |     - |  14M|   0 |   - |3841 |6218 |3841 |2608 |   0 |   0 |   0 |      --      | 2.060000e+02 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   126 |     - |  14M|   0 |  40 |3841 |6218 |3841 |2608 |   0 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
0.89/0.92	c   0.9s|     1 |     0 |   396 |     - |  15M|   0 |  38 |3841 |6266 |3841 |2627 |  19 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
1.00/1.03	c   1.0s|     1 |     0 |   426 |     - |  15M|   0 |  46 |3841 |6266 |3841 |2636 |  28 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
1.19/1.28	c   1.3s|     1 |     0 |   444 |     - |  15M|   0 |  43 |3841 |6266 |3841 |2640 |  32 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
1.49/1.55	c   1.5s|     1 |     0 |   467 |     - |  16M|   0 |  44 |3841 |6266 |3841 |2643 |  35 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
1.79/1.82	c   1.8s|     1 |     0 |   500 |     - |  16M|   0 |  48 |3841 |6266 |3841 |2647 |  39 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
2.09/2.12	c   2.1s|     1 |     0 |   519 |     - |  16M|   0 |  48 |3841 |6266 |3841 |2651 |  43 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf 
2.39/2.41	c   2.4s|     1 |     2 |   519 |     - |  16M|   0 |  48 |3841 |6266 |3841 |2651 |  43 |   0 |  10 | 0.000000e+00 | 2.060000e+02 |    Inf 
4.40/4.45	o 203
4.40/4.45	c * 4.4s|    42 |    41 |  2058 |  37.5 |  17M|  19 |   - |3841 |6271 |3841 |2677 |  52 |   5 | 323 | 0.000000e+00 | 2.030000e+02 |    Inf 
5.59/5.62	o 198
5.59/5.62	c * 5.6s|    76 |    71 |  3013 |  33.3 |  18M|  21 |   - |3841 |6277 |3841 |2682 |  60 |  11 | 518 | 0.000000e+00 | 1.980000e+02 |    Inf 
5.59/5.65	o 191
5.59/5.65	c * 5.7s|    77 |    70 |  3037 |  33.1 |  18M|  21 |   - |3841 |6277 |3841 |2684 |  62 |  11 | 518 | 0.000000e+00 | 1.910000e+02 |    Inf 
6.89/6.93	o 173
6.89/6.93	c * 6.9s|   129 |   104 |  4741 |  33.0 |  20M|  27 |   - |3841 |6303 |3841 |2691 | 146 |  37 | 665 | 0.000000e+00 | 1.730000e+02 |    Inf 
8.09/8.19	o 151
8.09/8.19	c * 8.2s|   164 |   121 |  6252 |  35.2 |  21M|  27 |   - |3841 |6318 |3841 |2685 | 166 |  52 | 812 | 0.000000e+00 | 1.510000e+02 |    Inf 
8.79/8.81	o 42
8.79/8.81	c * 8.8s|   180 |    81 |  6875 |  35.5 |  21M|  27 |   - |3841 |6320 |3841 |2689 | 186 |  54 | 898 | 0.000000e+00 | 4.200000e+01 |    Inf 
8.79/8.87	o 24
8.79/8.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.79/8.87	c * 8.9s|   181 |    61 |  6930 |  35.6 |  21M|  27 |   - |3841 |6320 |3841 |2681 | 188 |  54 | 907 | 0.000000e+00 | 2.400000e+01 |    Inf 
9.29/9.32	o 9
9.29/9.32	c * 9.3s|   190 |    29 |  7334 |  36.1 |  19M|  27 |   - |3841 |3487 |3841 |2634 | 192 |  54 | 967 | 0.000000e+00 | 9.000000e+00 |    Inf 
62.99/63.01	c  63.0s| 10000 |   297 |228094 |  22.8 |  24M|  43 |  24 |3841 |7633 |3841 |2630 | 235 |  11k|2143 | 0.000000e+00 | 9.000000e+00 |    Inf 
115.99/116.08	c   116s| 20000 |   432 |452442 |  22.6 |  27M|  45 |   - |3841 |9058 |   0 |   0 | 256 |  23k|2956 | 0.000000e+00 | 9.000000e+00 |    Inf 
169.30/169.31	c   169s| 30000 |   604 |663214 |  22.1 |  30M|  45 |  27 |3841 |  11k|3841 |2630 | 283 |  35k|4038 | 0.000000e+00 | 9.000000e+00 |    Inf 
224.10/224.19	c   224s| 40000 |   900 |883632 |  22.1 |  33M|  48 |  24 |3841 |  11k|3841 |2630 | 320 |  48k|5063 | 0.000000e+00 | 9.000000e+00 |    Inf 
276.79/276.89	c   277s| 50000 |  1183 |  1096k|  21.9 |  36M|  51 |   - |3841 |  11k|   0 |   0 | 352 |  60k|6052 | 0.000000e+00 | 9.000000e+00 |    Inf 
327.40/327.43	c   327s| 60000 |  1463 |  1310k|  21.8 |  37M|  53 |   - |3841 |9281 |3841 |2630 | 370 |  72k|6778 | 0.000000e+00 | 9.000000e+00 |    Inf 
382.00/382.04	c   382s| 70000 |  1711 |  1541k|  22.0 |  40M|  54 |  15 |3841 |8985 |3841 |2630 | 393 |  85k|7621 | 0.000000e+00 | 9.000000e+00 |    Inf 
429.40/429.42	o 8
429.40/429.42	c * 429s| 78494 |  1877 |  1732k|  22.1 |  42M|  54 |   - |3841 |  10k|3841 |2630 | 411 |  95k|8504 | 0.000000e+00 | 8.000000e+00 |    Inf 
438.10/438.17	c   438s| 80000 |  1924 |  1770k|  22.1 |  41M|  54 |  30 |3841 |7114 |3841 |2630 | 414 |  97k|8635 | 0.000000e+00 | 8.000000e+00 |    Inf 
493.10/493.15	c   493s| 90000 |  2215 |  2009k|  22.3 |  44M|  54 |   - |3841 |8313 |   0 |   0 | 421 | 110k|9485 | 0.000000e+00 | 8.000000e+00 |    Inf 
548.20/548.28	c   548s|100000 |  2527 |  2250k|  22.5 |  47M|  54 |   - |3841 |9661 |3841 |2630 | 434 | 122k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
604.01/604.04	c   604s|110000 |  2940 |  2491k|  22.6 |  51M|  54 |  22 |3841 |  11k|3841 |2630 | 450 | 135k|  11k| 0.000000e+00 | 8.000000e+00 |    Inf 
657.00/657.09	c   657s|120000 |  3308 |  2717k|  22.6 |  55M|  54 |   - |3841 |  12k|3841 |2630 | 457 | 148k|  12k| 0.000000e+00 | 8.000000e+00 |    Inf 
712.10/712.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
712.10/712.10	c   712s|130000 |  3699 |  2948k|  22.7 |  57M|  54 |  35 |3841 |  11k|3841 |2630 | 469 | 160k|  13k| 0.000000e+00 | 8.000000e+00 |    Inf 
763.61/763.66	c   764s|140000 |  3964 |  3173k|  22.7 |  59M|  56 |  36 |3841 |  11k|3841 |2630 | 477 | 172k|  13k| 0.000000e+00 | 8.000000e+00 |    Inf 
820.30/820.31	c   820s|150000 |  4270 |  3420k|  22.8 |  62M|  61 |   - |3841 |  12k|3841 |2630 | 487 | 185k|  14k| 0.000000e+00 | 8.000000e+00 |    Inf 
877.71/877.75	c   878s|160000 |  4573 |  3664k|  22.9 |  65M|  61 |  36 |3841 |  14k|3841 |2630 | 491 | 198k|  15k| 0.000000e+00 | 8.000000e+00 |    Inf 
935.61/935.69	c   936s|170000 |  4795 |  3917k|  23.0 |  67M|  61 |  23 |3841 |  14k|3841 |2630 | 506 | 211k|  16k| 0.000000e+00 | 8.000000e+00 |    Inf 
996.72/996.78	c   997s|180000 |  4972 |  4173k|  23.2 |  70M|  61 |   - |3841 |  17k|3841 |2630 | 513 | 223k|  17k| 0.000000e+00 | 8.000000e+00 |    Inf 
1062.42/1062.49	c  1062s|190000 |  5095 |  4452k|  23.4 |  71M|  61 |  27 |3841 |  17k|3841 |2630 | 524 | 236k|  18k| 0.000000e+00 | 8.000000e+00 |    Inf 
1118.62/1118.65	c  1119s|200000 |  5314 |  4703k|  23.5 |  72M|  61 |   - |3841 |  13k|3841 |2630 | 534 | 248k|  19k| 0.000000e+00 | 8.000000e+00 |    Inf 
1179.72/1179.76	c  1180s|210000 |  5497 |  4970k|  23.7 |  75M|  61 |  22 |3841 |  17k|3841 |2630 | 543 | 261k|  20k| 0.000000e+00 | 8.000000e+00 |    Inf 
1237.22/1237.22	c  1237s|220000 |  5780 |  5243k|  23.8 |  76M|  61 |   - |3841 |  13k|   0 |   0 | 551 | 272k|  21k| 0.000000e+00 | 8.000000e+00 |    Inf 
1288.02/1288.10	c  1288s|230000 |  6065 |  5475k|  23.8 |  79M|  61 |  37 |3841 |  13k|3841 |2630 | 564 | 284k|  21k| 0.000000e+00 | 8.000000e+00 |    Inf 
1337.83/1337.83	c  1338s|240000 |  6313 |  5698k|  23.7 |  83M|  61 |  17 |3841 |  17k|3841 |2630 | 569 | 296k|  21k| 0.000000e+00 | 8.000000e+00 |    Inf 
1391.73/1391.74	c  1392s|250000 |  6658 |  5931k|  23.7 |  86M|  61 |   - |3841 |  18k|3841 |2630 | 574 | 308k|  22k| 0.000000e+00 | 8.000000e+00 |    Inf 
1447.53/1447.50	c  1448s|260000 |  6789 |  6177k|  23.8 |  89M|  61 |  29 |3841 |  22k|3841 |2630 | 575 | 322k|  23k| 0.000000e+00 | 8.000000e+00 |    Inf 
1503.92/1503.94	c  1504s|270000 |  6890 |  6431k|  23.8 |  91M|  61 |  38 |3841 |  24k|3841 |2630 | 577 | 336k|  24k| 0.000000e+00 | 8.000000e+00 |    Inf 
1565.42/1565.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1565.42/1565.47	c  1565s|280000 |  7022 |  6691k|  23.9 |  94M|  61 |   - |3841 |  27k|3841 |2630 | 579 | 350k|  25k| 0.000000e+00 | 8.000000e+00 |    Inf 
1621.43/1621.43	c  1621s|290000 |  7178 |  6925k|  23.9 |  96M|  65 |   - |3841 |  28k|3841 |2630 | 593 | 364k|  25k| 0.000000e+00 | 8.000000e+00 |    Inf 
1677.44/1677.44	c  1677s|300000 |  7255 |  7166k|  23.9 |  93M|  73 |   - |3841 |  20k|3841 |2630 | 602 | 378k|  26k| 0.000000e+00 | 8.000000e+00 |    Inf 
1736.43/1736.43	c  1736s|310000 |  7510 |  7426k|  24.0 |  95M|  73 |   - |3841 |  19k|3841 |2630 | 610 | 391k|  27k| 0.000000e+00 | 8.000000e+00 |    Inf 
1777.33/1777.31	c  1777s|320000 |  6515 |  7568k|  23.7 |  86M|  73 |  22 |3841 |9614 |3841 |2630 | 661 | 406k|  27k| 1.000000e+00 | 8.000000e+00 | 700.00%
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Solving Time (sec) : 1800.00
1800.03/1800.00	c Solving Nodes      : 326244
1800.03/1800.00	c Primal Bound       : +8.00000000000000e+00 (138 solutions)
1800.03/1800.00	c Dual Bound         : +1.00000000000000e+00
1800.03/1800.00	c Gap                : 700.00 %
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 
1800.04/1800.00	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.00	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 
1800.04/1800.00	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.00	v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 
1800.04/1800.00	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.04/1800.00	v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.00	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.04/1800.00	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 
1800.04/1800.00	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.04/1800.00	v -x1 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Total Time         :    1800.00
1800.04/1800.00	c   solving          :    1800.00
1800.04/1800.00	c   presolving       :       0.13 (included in solving)
1800.04/1800.00	c   reading          :       0.02 (included in solving)

Verifier Data 

OK	8

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-3447807-1307898527/watcher-3447807-1307898527 -o /tmp/evaluation-result-3447807-1307898527/solver-3447807-1307898527 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447807-1307898527.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: 2.00 1.97 1.77 3/177 10099
/proc/meminfo: memFree=32315692/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=9988 CPUtime=0 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 1482 0 0 0 0 0 0 0 23 0 1 0 901450690 10227712 1435 33554432000 4194304 9128323 140736621262816 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10099/statm: 2497 1436 399 1205 0 1288 0

[startup+0.0811889 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 10099
/proc/meminfo: memFree=32315692/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=31732 CPUtime=0.07 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 6890 0 0 0 7 0 0 0 23 0 1 0 901450690 32493568 6584 33554432000 4194304 9128323 140736621262816 18446744073709551615 5266475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 7933 6584 514 1205 0 6724 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31732

[startup+0.101185 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 10099
/proc/meminfo: memFree=32315692/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=31732 CPUtime=0.09 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 6916 0 0 0 9 0 0 0 23 0 1 0 901450690 32493568 6610 33554432000 4194304 9128323 140736621262816 18446744073709551615 4338658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 7933 6610 527 1205 0 6724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31732

[startup+0.301151 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 10099
/proc/meminfo: memFree=32315692/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=38112 CPUtime=0.28 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 8700 0 0 0 28 0 0 0 24 0 1 0 901450690 39026688 8382 33554432000 4194304 9128323 140736621262816 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 9528 8382 616 1205 0 8319 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38112

[startup+0.70108 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 10099
/proc/meminfo: memFree=32315692/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=43760 CPUtime=0.69 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 10366 0 0 0 68 1 0 0 25 0 1 0 901450690 44810240 9900 33554432000 4194304 9128323 140736621262816 18446744073709551615 6286121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 10940 9900 671 1205 0 9731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43760

[startup+1.50094 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 10100
/proc/meminfo: memFree=32250112/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=73096 CPUtime=1.49 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 17774 0 0 0 146 3 0 0 25 0 1 0 901450690 74850304 16951 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 18274 16951 731 1205 0 17065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73096

[startup+3.10066 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 10100
/proc/meminfo: memFree=32249492/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=73096 CPUtime=3.09 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 18149 0 0 0 301 8 0 0 25 0 1 0 901450690 74850304 17325 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 18274 17325 741 1205 0 17065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73096

[startup+6.3011 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 10100
/proc/meminfo: memFree=32248840/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=73096 CPUtime=6.29 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 18150 0 0 0 615 14 0 0 25 0 1 0 901450690 74850304 17326 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 18274 17326 742 1205 0 17065 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73096

[startup+12.701 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 10100
/proc/meminfo: memFree=32248492/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=73096 CPUtime=12.69 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 18153 0 0 0 1239 30 0 0 25 0 1 0 901450690 74850304 17329 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 18274 17329 742 1205 0 17065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73096

[startup+25.5007 s]
/proc/loadavg: 2.00 1.97 1.78 3/178 10101
/proc/meminfo: memFree=32238436/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=25.49 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 26175 0 0 0 2495 54 0 0 25 0 1 0 901450690 87511040 19830 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 19830 754 1205 0 20156 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85460

[startup+51.1002 s]
/proc/loadavg: 2.00 1.97 1.78 3/178 10101
/proc/meminfo: memFree=32238020/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=51.09 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 26220 0 0 0 5008 101 0 0 25 0 1 0 901450690 87511040 19875 33554432000 4194304 9128323 140736621262816 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 19875 754 1205 0 20156 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85460

[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 10103
/proc/meminfo: memFree=32234952/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=102.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 27469 0 0 0 10041 189 0 0 25 0 1 0 901450690 87511040 20329 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 20329 755 1205 0 20156 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 85460

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 10104
/proc/meminfo: memFree=32234532/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=162.29 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 29276 0 0 0 15934 295 0 0 25 0 1 0 901450690 87511040 20386 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 20386 755 1205 0 20156 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 85460

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 10106
/proc/meminfo: memFree=32234596/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=222.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 29324 0 0 0 21829 401 0 0 25 0 1 0 901450690 87511040 20434 33554432000 4194304 9128323 140736621262816 18446744073709551615 5984416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 20434 755 1205 0 20156 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 85460

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 10107
/proc/meminfo: memFree=32234176/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=282.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 29349 0 0 0 27730 500 0 0 25 0 1 0 901450690 87511040 20459 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 20459 755 1205 0 20156 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85460

[startup+342.301 s]
/proc/loadavg: 2.06 1.99 1.83 3/178 10109
/proc/meminfo: memFree=32233732/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=85460 CPUtime=342.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 33441 0 0 0 33627 603 0 0 25 0 1 0 901450690 87511040 20460 33554432000 4194304 9128323 140736621262816 18446744073709551615 7366216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21365 20460 755 1205 0 20156 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 85460

[startup+402.301 s]
/proc/loadavg: 2.02 1.99 1.84 3/178 10111
/proc/meminfo: memFree=32232188/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=87456 CPUtime=402.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 33901 0 0 0 39517 713 0 0 25 0 1 0 901450690 89554944 20918 33554432000 4194304 9128323 140736621262816 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 21864 20918 755 1205 0 20655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 87456

[startup+462.301 s]
/proc/loadavg: 2.01 1.99 1.85 3/178 10151
/proc/meminfo: memFree=32261388/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=90408 CPUtime=462.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 45349 0 0 0 45407 823 0 0 25 0 1 0 901450690 92577792 21674 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 22602 21674 755 1205 0 21393 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 90408

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/178 10153
/proc/meminfo: memFree=32242896/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=95256 CPUtime=522.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 50272 0 0 0 51303 927 0 0 25 0 1 0 901450690 97542144 22875 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 23814 22875 755 1205 0 22605 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 95256

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 10154
/proc/meminfo: memFree=32240688/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=97332 CPUtime=582.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 56067 0 0 0 57200 1030 0 0 25 0 1 0 901450690 99667968 23409 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 24333 23409 755 1205 0 23124 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 97332

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 10161
/proc/meminfo: memFree=32220644/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=115084 CPUtime=822.3 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 62487 0 0 0 80779 1451 0 0 25 0 1 0 901450690 117846016 27859 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 28771 27859 755 1205 0 27562 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 115084

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 10162
/proc/meminfo: memFree=32216144/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=119508 CPUtime=882.31 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 63588 0 0 0 86680 1551 0 0 25 0 1 0 901450690 122376192 28954 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 29877 28954 755 1205 0 28668 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 119508

[startup+942.301 s]
/proc/loadavg: 2.03 2.00 1.90 3/178 10164
/proc/meminfo: memFree=32214216/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=121380 CPUtime=942.31 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 64047 0 0 0 92583 1648 0 0 25 0 1 0 901450690 124293120 29410 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 30345 29410 755 1205 0 29136 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 121380

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/178 10166
/proc/meminfo: memFree=32210436/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=124276 CPUtime=1002.31 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 66832 0 0 0 98484 1747 0 0 25 0 1 0 901450690 127258624 30171 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 31069 30171 755 1205 0 29860 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 124276

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10167
/proc/meminfo: memFree=32207028/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=125392 CPUtime=1062.31 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 67106 0 0 0 104385 1846 0 0 25 0 1 0 901450690 128401408 30445 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 31348 30445 755 1205 0 30139 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 125392

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10169
/proc/meminfo: memFree=32201156/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=128324 CPUtime=1122.32 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 67824 0 0 0 110288 1944 0 0 25 0 1 0 901450690 131403776 31163 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 32081 31163 755 1205 0 30872 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 128324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10170
/proc/meminfo: memFree=32198504/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=130396 CPUtime=1182.32 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 68338 0 0 0 116179 2053 0 0 25 0 1 0 901450690 133525504 31677 33554432000 4194304 9128323 140736621262816 18446744073709551615 5208215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 32599 31677 755 1205 0 31390 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 130396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10172
/proc/meminfo: memFree=32194872/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=133532 CPUtime=1242.32 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 69131 0 0 0 122072 2160 0 0 25 0 1 0 901450690 136736768 32469 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 33383 32469 755 1205 0 32174 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 133532

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10174
/proc/meminfo: memFree=32189216/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=137488 CPUtime=1302.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 70114 0 0 0 127964 2269 0 0 25 0 1 0 901450690 140787712 33452 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 34372 33452 755 1205 0 33163 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 137488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10175
/proc/meminfo: memFree=32178884/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=143580 CPUtime=1362.32 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 71633 0 0 0 133868 2364 0 0 25 0 1 0 901450690 147025920 34971 33554432000 4194304 9128323 140736621262816 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 35895 34971 755 1205 0 34686 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 143580

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10177
/proc/meminfo: memFree=32175360/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=146408 CPUtime=1422.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 72340 0 0 0 139767 2466 0 0 25 0 1 0 901450690 149921792 35678 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 36602 35678 755 1205 0 35393 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 146408

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 10178
/proc/meminfo: memFree=32169860/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=148148 CPUtime=1482.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 72788 0 0 0 145661 2572 0 0 25 0 1 0 901450690 151703552 36126 33554432000 4194304 9128323 140736621262816 18446744073709551615 5200408 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 37037 36126 755 1205 0 35828 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 148148

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 10180
/proc/meminfo: memFree=32167088/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=149700 CPUtime=1542.32 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 73210 0 0 0 151562 2670 0 0 25 0 1 0 901450690 153292800 36548 33554432000 4194304 9128323 140736621262816 18446744073709551615 7342977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 37425 36548 755 1205 0 36216 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 149700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10182
/proc/meminfo: memFree=32162824/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=152056 CPUtime=1602.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 78587 0 0 0 157458 2775 0 0 25 0 1 0 901450690 155705344 37118 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 38014 37118 755 1205 0 36805 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 152056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10183
/proc/meminfo: memFree=32161528/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=154040 CPUtime=1662.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 79067 0 0 0 163357 2876 0 0 25 0 1 0 901450690 157736960 37597 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 38510 37597 755 1205 0 37301 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 154040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10223
/proc/meminfo: memFree=32052944/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=158180 CPUtime=1722.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 80075 0 0 0 169225 3008 0 0 25 0 1 0 901450690 161976320 38605 33554432000 4194304 9128323 140736621262816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 39545 38605 755 1205 0 38336 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 158180

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10224
/proc/meminfo: memFree=32043880/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=159444 CPUtime=1782.33 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 80413 0 0 0 175103 3130 0 0 25 0 1 0 901450690 163270656 38943 33554432000 4194304 9128323 140736621262816 18446744073709551615 4989563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10099/statm: 39861 38943 755 1205 0 38652 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 159444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10225
/proc/meminfo: memFree=32044472/32951124 swapFree=67056676/67111528
[pid=10099] ppid=10097 vsize=159748 CPUtime=1800.04 cores=1,3,5,7
/proc/10099/stat : 10099 (scip-2.0.1.4.li) R 10097 10099 9967 0 -1 4202496 80473 0 0 0 176837 3167 0 0 25 0 1 0 901450690 163581952 39003 33554432000 4194304 9128323 140736621262816 18446744073709551615 4683760 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10099/statm: 39937 39003 755 1205 0 38728 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 159748

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.37
CPU system time (s): 31.6812
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 172848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.37
system time used= 31.6812
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80474
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= 4
involuntary context switches= 3681

runsolver used 3.04354 second user time and 6.34903 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-12 19:08:47
IDJOB=3447807
IDBENCH=78942
IDSOLVER=1944
FILE ID=node136/3447807-1307898527
RUNJOBID= node136-1307897180-9986
PBS_JOBID= 13559606
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.1900570242--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-3447807-1307898527/watcher-3447807-1307898527 -o /tmp/evaluation-result-3447807-1307898527/solver-3447807-1307898527 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447807-1307898527.wbo -t 1800 -m 15500

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

MD5SUM BENCH= a7f6c0c06b26873046d2d80874a938bb
RANDOM SEED=497339098

node136.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.809
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.61
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.809
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.809
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.75
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.809
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.76
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.809
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.75
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32316244 kB
Buffers:        111740 kB
Cached:         219884 kB
SwapCached:       8452 kB
Active:         349772 kB
Inactive:        98076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32316244 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:           12116 kB
Writeback:          12 kB
AnonPages:      113752 kB
Mapped:          16308 kB
Slab:           122960 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   307596 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= 74036 MiB
End job on node136 at 2011-06-12 19:38:49