Trace number 3447335

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.06 1800.03

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo
MD5SUM30e25559b2b6f1151f21e207b2f87b54
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark149.542
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 constraints2707
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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-3447335-1307901001.wbo>
0.00/0.02	c original problem has 2938 variables (2938 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.03/0.05	o 136613
0.03/0.05	c feasible solution found by trivial heuristic, objective value  1.366130e+05
0.03/0.05	c presolving:
0.03/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, 0 impls, 0 clqs
0.03/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   398 |     - |  18M|   0 |  39 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |   589 |     - |  19M|   0 |  47 |5645 |8121 |5645 |2754 |  47 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |   663 |     - |  19M|   0 |  65 |5645 |8121 |5645 |2773 |  66 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
1.29/1.36	c   1.4s|     1 |     0 |   707 |     - |  19M|   0 |  63 |5645 |8121 |5645 |2778 |  71 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
1.69/1.79	c   1.8s|     1 |     0 |   755 |     - |  19M|   0 |  65 |5645 |8121 |5645 |2783 |  76 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
2.20/2.25	c   2.3s|     1 |     0 |   802 |     - |  19M|   0 |  66 |5645 |8121 |5645 |2787 |  80 |   0 |   0 | 0.000000e+00 | 1.366130e+05 |    Inf 
3.69/3.72	c   3.7s|     1 |     2 |   802 |     - |  20M|   0 |  66 |5645 |8121 |5645 |2787 |  80 |   0 |  33 | 0.000000e+00 | 1.366130e+05 |    Inf 
14.79/14.83	o 599
14.79/14.83	c *14.8s|   118 |   117 |  6195 |  46.1 |  23M|  75 |   - |5645 |8121 |5645 |2809 | 127 |   0 | 783 | 0.000000e+00 | 5.990000e+02 |    Inf 
64.49/64.59	o 122
64.49/64.59	c *64.6s|  3192 |  1070 |233222 |  72.8 |  35M|  90 |   - |5645 |8483 |5645 |2790 |5606 | 362 |1694 | 0.000000e+00 | 1.220000e+02 |    Inf 
64.69/64.73	o 121
64.69/64.73	c *64.7s|  3206 |  1066 |233606 |  72.6 |  35M|  90 |   - |5645 |8489 |5645 |2762 |5606 | 368 |1694 | 0.000000e+00 | 1.210000e+02 |    Inf 
64.79/64.83	o 96
64.79/64.83	c *64.8s|  3213 |   855 |233711 |  72.5 |  34M|  90 |   - |5645 |8492 |5645 |2765 |5609 | 371 |1694 | 0.000000e+00 | 9.600000e+01 |    Inf 
64.90/64.92	o 82
64.90/64.92	c *64.9s|  3221 |   804 |233803 |  72.4 |  34M|  90 |   - |5645 |8210 |5645 |2762 |5609 | 373 |1694 | 0.000000e+00 | 8.200000e+01 |    Inf 
64.99/65.07	o 72
64.99/65.07	c *65.1s|  3233 |   762 |233955 |  72.1 |  34M|  90 |   - |5645 |7505 |5645 |2763 |5610 | 381 |1694 | 0.000000e+00 | 7.200000e+01 |    Inf 
64.99/65.09	o 67
64.99/65.09	c *65.1s|  3234 |   488 |233975 |  72.1 |  33M|  90 |   - |5645 |7505 |5645 |2762 |5610 | 381 |1694 | 0.000000e+00 | 6.700000e+01 |    Inf 
106.30/106.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.30/106.31	c   106s| 10000 |  1227 |305950 |  30.5 |  47M|  90 |   1 |5645 |7837 |5645 |2750 |6252 |5983 |1734 | 0.000000e+00 | 6.700000e+01 |    Inf 
162.89/162.98	c   163s| 20000 |  1662 |385217 |  19.2 |  59M| 101 |   - |5645 |8148 |   0 |   0 |7247 |  16k|1770 | 0.000000e+00 | 6.700000e+01 |    Inf 
213.79/213.81	c   214s| 30000 |  1928 |454428 |  15.1 |  66M| 101 |   1 |5645 |8885 |5645 |2746 |7749 |  26k|1792 | 0.000000e+00 | 6.700000e+01 |    Inf 
268.69/268.75	c   269s| 40000 |  2142 |525557 |  13.1 |  73M| 115 |   1 |5645 |9628 |5645 |2746 |8652 |  37k|1881 | 0.000000e+00 | 6.700000e+01 |    Inf 
322.40/322.49	c   322s| 50000 |  2305 |588675 |  11.8 |  78M| 115 |   1 |5645 |  10k|5645 |2746 |  10k|  48k|1951 | 0.000000e+00 | 6.700000e+01 |    Inf 
378.00/378.09	c   378s| 60000 |  2532 |653019 |  10.9 |  86M| 115 |   - |5645 |9009 |   0 |   0 |  11k|  59k|2078 | 0.000000e+00 | 6.700000e+01 |    Inf 
429.30/429.32	c   429s| 70000 |  2701 |716256 |  10.2 |  92M| 115 |   3 |5645 |9312 |5645 |2762 |  12k|  70k|2157 | 0.000000e+00 | 6.700000e+01 |    Inf 
482.91/482.99	c   483s| 80000 |  2926 |783702 |   9.8 |  96M| 115 |   1 |5645 |9341 |5645 |2747 |  13k|  80k|2263 | 0.000000e+00 | 6.700000e+01 |    Inf 
535.10/535.16	c   535s| 90000 |  3091 |849360 |   9.4 | 100M| 117 |   1 |5645 |9038 |5645 |2764 |  13k|  91k|2379 | 0.000000e+00 | 6.700000e+01 |    Inf 
590.00/590.00	c   590s|100000 |  3319 |920022 |   9.2 | 107M| 117 |   - |5645 |8938 |   0 |   0 |  15k| 102k|2454 | 0.000000e+00 | 6.700000e+01 |    Inf 
646.91/646.98	c   647s|110000 |  3489 |994597 |   9.0 | 112M| 117 |   - |5645 |9344 |   0 |   0 |  16k| 113k|2565 | 0.000000e+00 | 6.700000e+01 |    Inf 
703.80/703.81	c   704s|120000 |  3668 |  1067k|   8.9 | 117M| 117 |   - |5645 |9260 |   0 |   0 |  16k| 124k|2713 | 0.000000e+00 | 6.700000e+01 |    Inf 
759.20/759.27	c   759s|130000 |  3820 |  1135k|   8.7 | 121M| 117 |   1 |5645 |8263 |5645 |2746 |  17k| 135k|2859 | 0.000000e+00 | 6.700000e+01 |    Inf 
807.90/807.90	c   808s|140000 |  4037 |  1190k|   8.5 | 127M| 117 |   1 |5645 |9161 |5645 |2764 |  18k| 146k|2913 | 0.000000e+00 | 6.700000e+01 |    Inf 
858.71/858.70	c   859s|150000 |  4169 |  1254k|   8.4 | 132M| 117 |   - |5645 |9649 |   0 |   0 |  19k| 157k|2998 | 0.000000e+00 | 6.700000e+01 |    Inf 
906.11/906.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
906.11/906.12	c   906s|160000 |  4263 |  1307k|   8.2 | 135M| 117 |   5 |5645 |9221 |5645 |2746 |  19k| 169k|3057 | 0.000000e+00 | 6.700000e+01 |    Inf 
952.71/952.73	c   953s|170000 |  4362 |  1361k|   8.0 | 138M| 117 |   - |5645 |9553 |   0 |   0 |  20k| 181k|3118 | 0.000000e+00 | 6.700000e+01 |    Inf 
999.41/999.48	c   999s|180000 |  4551 |  1421k|   7.9 | 143M| 117 |   - |5645 |9970 |   0 |   0 |  20k| 192k|3179 | 0.000000e+00 | 6.700000e+01 |    Inf 
1048.81/1048.81	c  1049s|190000 |  4615 |  1481k|   7.8 | 146M| 117 |   1 |5645 |  10k|5645 |2746 |  21k| 203k|3225 | 0.000000e+00 | 6.700000e+01 |    Inf 
1101.22/1101.20	c  1101s|200000 |  4777 |  1549k|   7.7 | 150M| 117 |   - |5645 |9943 |   0 |   0 |  21k| 215k|3357 | 0.000000e+00 | 6.700000e+01 |    Inf 
1154.51/1154.57	c  1155s|210000 |  5001 |  1615k|   7.7 | 155M| 117 |   - |5645 |  10k|   0 |   0 |  22k| 227k|3446 | 0.000000e+00 | 6.700000e+01 |    Inf 
1208.11/1208.19	c  1208s|220000 |  5129 |  1688k|   7.7 | 159M| 117 |   - |5645 |9720 |   0 |   0 |  23k| 240k|3558 | 0.000000e+00 | 6.700000e+01 |    Inf 
1261.11/1261.17	c  1261s|230000 |  5243 |  1756k|   7.6 | 162M| 117 |   1 |5645 |9232 |5645 |2746 |  24k| 251k|3653 | 0.000000e+00 | 6.700000e+01 |    Inf 
1319.01/1319.06	c  1319s|240000 |  5441 |  1825k|   7.6 | 167M| 117 |   - |5645 |  10k|   0 |   0 |  25k| 263k|3767 | 0.000000e+00 | 6.700000e+01 |    Inf 
1367.22/1367.25	c  1367s|250000 |  5574 |  1883k|   7.5 | 171M| 117 |   - |5645 |9589 |   0 |   0 |  25k| 274k|3844 | 0.000000e+00 | 6.700000e+01 |    Inf 
1421.23/1421.22	c  1421s|260000 |  5732 |  1960k|   7.5 | 176M| 117 |   1 |5645 |9359 |5645 |2763 |  26k| 287k|3966 | 0.000000e+00 | 6.700000e+01 |    Inf 
1472.83/1472.82	c  1473s|270000 |  5869 |  2030k|   7.5 | 180M| 117 |  10 |5645 |9234 |5645 |2747 |  26k| 298k|4040 | 0.000000e+00 | 6.700000e+01 |    Inf 
1524.12/1524.16	c  1524s|280000 |  6053 |  2089k|   7.5 | 185M| 117 |   1 |5645 |  10k|5645 |2746 |  27k| 309k|4124 | 0.000000e+00 | 6.700000e+01 |    Inf 
1590.32/1590.31	c  1590s|290000 |  6490 |  2182k|   7.5 | 195M| 117 |   1 |5645 |9897 |5645 |2762 |  28k| 320k|4236 | 0.000000e+00 | 6.700000e+01 |    Inf 
1608.03/1608.04	o 59
1608.03/1608.04	c *1608s|293373 |  6490 |  2203k|   7.5 | 195M| 117 |   - |5645 |9914 |5645 |2762 |  28k| 323k|4269 | 0.000000e+00 | 5.900000e+01 |    Inf 
1643.03/1643.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1643.03/1643.05	c  1643s|300000 |  6580 |  2243k|   7.5 | 197M| 117 |   - |5645 |8572 |   0 |   0 |  28k| 331k|4317 | 0.000000e+00 | 5.900000e+01 |    Inf 
1654.73/1654.70	o 48
1654.73/1654.70	c *1655s|302483 |  6607 |  2259k|   7.5 | 198M| 117 |   - |5645 |8721 |5645 |2750 |  28k| 333k|4345 | 0.000000e+00 | 4.800000e+01 |    Inf 
1694.93/1694.94	c  1695s|310000 |  6635 |  2319k|   7.5 | 201M| 117 |   1 |5645 |7590 |5645 |2746 |  28k| 342k|4404 | 0.000000e+00 | 4.800000e+01 |    Inf 
1747.72/1747.71	c  1748s|320000 |  6595 |  2398k|   7.5 | 203M| 117 |   1 |5645 |8578 |5645 |2762 |  29k| 355k|4527 | 0.000000e+00 | 4.800000e+01 |    Inf 
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      : 329825
1800.03/1800.00	c Primal Bound       : +4.80000000000000e+01 (387 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.00	s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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 
1800.03/1800.00	v -x80 -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.03/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 
1800.03/1800.00	v -x29 -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 
1800.03/1800.00	v -x2 -x1 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Total Time         :    1800.00
1800.03/1800.00	c   solving          :    1800.00
1800.03/1800.00	c   presolving       :       0.09 (included in solving)
1800.03/1800.00	c   reading          :       0.02 (included in solving)
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-3447335-1307901001.wbo
1800.03/1800.00	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00	c   Constraints      : 2708 initial, 2708 maximal

Verifier Data 

OK	48

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 /var/tmp/evaluation-result-3447335-1307901001/watcher-3447335-1307901001 -o /var/tmp/evaluation-result-3447335-1307901001/solver-3447335-1307901001 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447335-1307901001.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 2.00 1.93 2/177 16304
/proc/meminfo: memFree=887720/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=10288 CPUtime=0 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 1562 0 0 0 0 0 0 0 25 0 1 0 901699742 10534912 1515 33554432000 4194304 9128323 140735179350480 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16304/statm: 2572 1518 399 1205 0 1363 0

[startup+0.0427809 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 16304
/proc/meminfo: memFree=887720/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=27624 CPUtime=0.03 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 5644 0 0 0 3 0 0 0 25 0 1 0 901699742 28286976 5595 33554432000 4194304 9128323 140735179350480 18446744073709551615 6504861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 6906 5595 474 1205 0 5697 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27624

[startup+0.100767 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 16304
/proc/meminfo: memFree=887720/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=35720 CPUtime=0.09 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 7949 0 0 0 8 1 0 0 25 0 1 0 901699742 36577280 7643 33554432000 4194304 9128323 140735179350480 18446744073709551615 5976404 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 8930 7643 531 1205 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35720

[startup+0.300789 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 16304
/proc/meminfo: memFree=887720/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=72880 CPUtime=0.29 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 17549 0 0 0 27 2 0 0 25 0 1 0 901699742 74629120 17144 33554432000 4194304 9128323 140735179350480 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 18220 17144 699 1205 0 17011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72880

[startup+0.700662 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 16304
/proc/meminfo: memFree=887720/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=52644 CPUtime=0.69 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 21188 0 0 0 66 3 0 0 25 0 1 0 901699742 53907456 12063 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 13161 12063 717 1205 0 11952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52644

[startup+1.50052 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=839376/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=61452 CPUtime=1.49 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 23295 0 0 0 145 4 0 0 25 0 1 0 901699742 62926848 14163 33554432000 4194304 9128323 140735179350480 18446744073709551615 7414868 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 15363 14163 715 1205 0 14154 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61452

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=832384/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=63412 CPUtime=3.09 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 29799 0 0 0 299 10 0 0 25 0 1 0 901699742 64933888 14636 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 15853 14636 727 1205 0 14644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63412

[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=829328/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=65968 CPUtime=6.29 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 30262 0 0 0 610 19 0 0 25 0 1 0 901699742 67551232 15099 33554432000 4194304 9128323 140735179350480 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 16492 15099 728 1205 0 15283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65968

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=828772/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=65968 CPUtime=12.69 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 30299 0 0 0 1227 42 0 0 25 0 1 0 901699742 67551232 15132 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 16492 15132 724 1205 0 15283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65968

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=812296/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=82200 CPUtime=25.5 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 38585 0 0 0 2482 68 0 0 25 0 1 0 901699742 84172800 19028 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 20550 19028 737 1205 0 19341 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 82200

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16307
/proc/meminfo: memFree=803900/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=87172 CPUtime=51.09 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 45724 0 0 0 4968 141 0 0 25 0 1 0 901699742 89264128 20308 33554432000 4194304 9128323 140735179350480 18446744073709551615 4690284 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 21793 20308 737 1205 0 20584 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87172

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16308
/proc/meminfo: memFree=770096/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=112588 CPUtime=102.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 73387 0 0 0 10016 214 0 0 25 0 1 0 901699742 115290112 26667 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16304/statm: 28147 26667 737 1205 0 26938 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 112588

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16310
/proc/meminfo: memFree=719708/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=146828 CPUtime=162.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 90292 0 0 0 15965 265 0 0 25 0 1 0 901699742 150351872 35171 33554432000 4194304 9128323 140735179350480 18446744073709551615 4793064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 36707 35171 738 1205 0 35498 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146828

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16311
/proc/meminfo: memFree=679964/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=172156 CPUtime=222.29 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 102544 0 0 0 21917 312 0 0 25 0 1 0 901699742 176287744 41398 33554432000 4194304 9128323 140735179350480 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 43039 41398 738 1205 0 41830 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 172156

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16313
/proc/meminfo: memFree=652640/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=188660 CPUtime=282.29 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 106614 0 0 0 27873 356 0 0 25 0 1 0 901699742 193187840 45455 33554432000 4194304 9128323 140735179350480 18446744073709551615 4793038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 47165 45455 738 1205 0 45956 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 188660

[startup+342.301 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 16315
/proc/meminfo: memFree=628036/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=204480 CPUtime=342.29 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 110535 0 0 0 33833 396 0 0 25 0 1 0 901699742 209387520 49369 33554432000 4194304 9128323 140735179350480 18446744073709551615 5985392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 51120 49369 738 1205 0 49911 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 204480

[startup+402.301 s]
/proc/loadavg: 2.09 2.03 1.94 3/178 16316
/proc/meminfo: memFree=598308/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=220344 CPUtime=402.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 120046 0 0 0 39789 441 0 0 25 0 1 0 901699742 225632256 53215 33554432000 4194304 9128323 140735179350480 18446744073709551615 5607810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 55086 53215 739 1205 0 53877 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 220344

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 16318
/proc/meminfo: memFree=572972/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=232248 CPUtime=462.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 123029 0 0 0 45746 484 0 0 25 0 1 0 901699742 237821952 56192 33554432000 4194304 9128323 140735179350480 18446744073709551615 4825608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 58062 56192 739 1205 0 56853 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 232248

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 16319
/proc/meminfo: memFree=549048/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=243364 CPUtime=522.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 125780 0 0 0 51699 531 0 0 25 0 1 0 901699742 249204736 58935 33554432000 4194304 9128323 140735179350480 18446744073709551615 6505853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 60841 58935 739 1205 0 59632 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 243364

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 16321
/proc/meminfo: memFree=526292/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=259708 CPUtime=582.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 129625 0 0 0 57655 575 0 0 25 0 1 0 901699742 265940992 62778 33554432000 4194304 9128323 140735179350480 18446744073709551615 7217024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 64927 62778 739 1205 0 63718 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 259708

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 16375
/proc/meminfo: memFree=769244/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=303560 CPUtime=822.31 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 142420 0 0 0 81486 745 0 0 25 0 1 0 901699742 310845440 73654 33554432000 4194304 9128323 140735179350480 18446744073709551615 4751744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 75890 73654 741 1205 0 74681 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 303560

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 16380
/proc/meminfo: memFree=743128/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=314724 CPUtime=882.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 144944 0 0 0 87443 787 0 0 25 0 1 0 901699742 322277376 76178 33554432000 4194304 9128323 140735179350480 18446744073709551615 7191192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 78681 76178 741 1205 0 77472 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 314724

[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 16382
/proc/meminfo: memFree=722040/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=321936 CPUtime=942.3 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 146825 0 0 0 93402 828 0 0 25 0 1 0 901699742 329662464 78059 33554432000 4194304 9128323 140735179350480 18446744073709551615 7192212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 80484 78059 741 1205 0 79275 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 321936

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 16383
/proc/meminfo: memFree=703524/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=330176 CPUtime=1002.31 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 148914 0 0 0 99360 871 0 0 25 0 1 0 901699742 338100224 80140 33554432000 4194304 9128323 140735179350480 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 82544 80140 741 1205 0 81335 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 330176

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 16385
/proc/meminfo: memFree=684020/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=338816 CPUtime=1062.31 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 150986 0 0 0 105316 915 0 0 25 0 1 0 901699742 346947584 82208 33554432000 4194304 9128323 140735179350480 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 84704 82208 741 1205 0 83495 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 338816

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 16386
/proc/meminfo: memFree=666496/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=346412 CPUtime=1122.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 152966 0 0 0 111273 959 0 0 25 0 1 0 901699742 354725888 84188 33554432000 4194304 9128323 140735179350480 18446744073709551615 4528653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 86603 84188 741 1205 0 85394 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 346412

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 16388
/proc/meminfo: memFree=644880/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=356500 CPUtime=1182.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 161289 0 0 0 117227 1005 0 0 25 0 1 0 901699742 365056000 86692 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 89125 86692 742 1205 0 87916 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 356500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16390
/proc/meminfo: memFree=627220/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=362244 CPUtime=1242.31 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 162801 0 0 0 123183 1048 0 0 25 0 1 0 901699742 370937856 88204 33554432000 4194304 9128323 140735179350480 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 90561 88204 742 1205 0 89352 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 362244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16391
/proc/meminfo: memFree=607220/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=371036 CPUtime=1302.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 164951 0 0 0 129143 1089 0 0 25 0 1 0 901699742 379940864 90350 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 92759 90350 742 1205 0 91550 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 371036

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16393
/proc/meminfo: memFree=585364/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=382336 CPUtime=1362.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 167711 0 0 0 135103 1129 0 0 25 0 1 0 901699742 391512064 93100 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 95584 93100 742 1205 0 94375 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 382336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16394
/proc/meminfo: memFree=568428/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=389256 CPUtime=1422.33 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 169535 0 0 0 141057 1176 0 0 25 0 1 0 901699742 398598144 94908 33554432000 4194304 9128323 140735179350480 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 97314 94908 742 1205 0 96105 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 389256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16396
/proc/meminfo: memFree=551520/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=397916 CPUtime=1482.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 171730 0 0 0 147014 1218 0 0 25 0 1 0 901699742 407465984 97096 33554432000 4194304 9128323 140735179350480 18446744073709551615 6416678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 99479 97096 742 1205 0 98270 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 397916

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16398
/proc/meminfo: memFree=535224/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=406856 CPUtime=1542.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 174029 0 0 0 152975 1257 0 0 25 0 1 0 901699742 416620544 99391 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 101714 99391 742 1205 0 100505 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 406856

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 16399
/proc/meminfo: memFree=509768/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=421604 CPUtime=1602.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 177558 0 0 0 158929 1303 0 0 25 0 1 0 901699742 431722496 102918 33554432000 4194304 9128323 140735179350480 18446744073709551615 5992444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 105401 102918 742 1205 0 104192 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 421604

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 16401
/proc/meminfo: memFree=491968/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=428492 CPUtime=1662.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 213626 0 0 0 164884 1348 0 0 25 0 1 0 901699742 438775808 104695 33554432000 4194304 9128323 140735179350480 18446744073709551615 7050096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 107123 104695 742 1205 0 105914 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 428492

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 16402
/proc/meminfo: memFree=479400/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=432452 CPUtime=1722.32 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 221459 0 0 0 170836 1396 0 0 25 0 1 0 901699742 442830848 105799 33554432000 4194304 9128323 140735179350480 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 108113 105799 742 1205 0 106904 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 432452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16404
/proc/meminfo: memFree=466224/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=436536 CPUtime=1782.33 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 228154 0 0 0 176787 1446 0 0 25 0 1 0 901699742 447012864 106734 33554432000 4194304 9128323 140735179350480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16304/statm: 109134 106734 751 1205 0 107925 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 436536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 16404
/proc/meminfo: memFree=462240/32950928 swapFree=67079488/67111528
[pid=16304] ppid=16302 vsize=437532 CPUtime=1800.03 cores=1,3,5,7
/proc/16304/stat : 16304 (scip-2.0.1.4.li) R 16302 16304 15624 0 -1 4202496 233903 0 0 0 178540 1463 0 0 25 0 1 0 901699742 448032768 107052 33554432000 4194304 9128323 140735179350480 18446744073709551615 5226678 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16304/statm: 109383 107052 751 1205 0 108174 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 437532

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.03
CPU time (s): 1800.06
CPU user time (s): 1785.41
CPU system time (s): 14.6518
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 437532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.41
system time used= 14.6518
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233904
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= 8
involuntary context switches= 2887

runsolver used 2.51962 second user time and 6.16706 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-12 19:50:01
IDJOB=3447335
IDBENCH=79292
IDSOLVER=1944
FILE ID=node125/3447335-1307901001
RUNJOBID= node125-1307897396-16015
PBS_JOBID= 13559581
Free space on /var/tmp= 2880 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--soft-0-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 /var/tmp/evaluation-result-3447335-1307901001/watcher-3447335-1307901001 -o /var/tmp/evaluation-result-3447335-1307901001/solver-3447335-1307901001 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447335-1307901001.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 30e25559b2b6f1151f21e207b2f87b54
RANDOM SEED=1443338

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        888652 kB
Buffers:         54276 kB
Cached:       30735668 kB
SwapCached:       3272 kB
Active:       16191000 kB
Inactive:     14914216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        888652 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           12116 kB
Writeback:           0 kB
AnonPages:      313592 kB
Mapped:          17164 kB
Slab:           894396 kB
PageTables:       5228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   489920 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 /var/tmp at the end= 2868 MiB
End job on node125 at 2011-06-12 20:20:03