Trace number 2692760

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.14 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MD5SUM1aa357a852c71e740dd551340d4d5189
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark295.669
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 constraints911
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 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692760-1277901968.wbo>
0.00/0.02	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.03	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.02/0.07	c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.02/0.09	c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10	c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.11	c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.15	c    (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.15	c  1117 implications, 11 cliques
0.09/0.15	c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.15	c     841 constraints of type <indicator>
0.09/0.15	c      11 constraints of type <setppc>
0.09/0.15	c     841 constraints of type <linear>
0.09/0.15	c    1660 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.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
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 = 1799.98
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 = 3420
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 # 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.15	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   0.1s|     1 |     0 |    29 |     - |8700k|   0 |  22 |1913 |3353 |1913 |1671 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	o 42417
0.09/0.18	c y 0.1s|     1 |     0 |   242 |     - |8737k|   0 |  22 |1913 |3353 |1913 |1671 |   0 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   288 |     - |8949k|   0 |  38 |1913 |3353 |1913 |1689 |  18 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |   353 |     - |9209k|   0 |  47 |1913 |3353 |1913 |1699 |  28 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   357 |     - |9210k|   0 |  48 |1913 |3353 |1913 |1701 |  30 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   359 |     - |9212k|   0 |  48 |1913 |3353 |1913 |1702 |  31 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   361 |     - |9212k|   0 |  49 |1913 |3353 |1913 |1703 |  32 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.99/1.07	c   1.0s|     1 |     2 |   361 |     - |9245k|   0 |  49 |1913 |3353 |1913 |1703 |  32 |   0 |  33 | 0.000000e+00 | 4.241700e+04 |    Inf 
11.49/11.54	o 170
11.49/11.54	c *11.3s|  2678 |   866 | 11008 |   4.0 |  14M|  61 |   - |1913 |3392 |1913 |1707 | 871 |  39 |1679 | 0.000000e+00 | 1.700000e+02 |    Inf 
11.69/11.75	o 168
11.69/11.75	c *11.5s|  2747 |   887 | 11642 |   4.1 |  14M|  61 |   - |1913 |3454 |1913 |1712 | 936 | 101 |1695 | 0.000000e+00 | 1.680000e+02 |    Inf 
11.99/12.10	o 96
11.99/12.10	c *11.8s|  2868 |   515 | 12838 |   4.4 |  14M|  61 |   - |1913 |3561 |1913 |1712 |1019 | 208 |1710 | 0.000000e+00 | 9.600000e+01 |    Inf 
12.29/12.30	o 87
12.29/12.30	c *12.0s|  2928 |   487 | 13410 |   4.5 |  14M|  61 |   - |1913 |3554 |1913 |1708 |1054 | 241 |1727 | 0.000000e+00 | 8.700000e+01 |    Inf 
12.29/12.32	o 66
12.29/12.32	c *12.0s|  2931 |   341 | 13410 |   4.5 |  13M|  61 |   - |1913 |3484 |1913 |1708 |1054 | 241 |1727 | 0.000000e+00 | 6.600000e+01 |    Inf 
12.29/12.32	o 8
12.29/12.32	c *12.1s|  2932 |    74 | 13410 |   4.5 |  13M|  61 |   - |1913 |3484 |1913 |1708 |1054 | 241 |1727 | 0.000000e+00 | 8.000000e+00 |    Inf 
26.30/26.32	c  25.7s| 10000 |   149 | 76718 |   7.6 |  15M|  61 |  30 |1913 |8398 |1913 |1709 |3063 |9004 |1938 | 0.000000e+00 | 8.000000e+00 |    Inf 
45.19/45.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.19/45.22	c  44.2s| 20000 |   349 |150825 |   7.5 |  18M|  61 |  14 |1913 |  13k|1913 |1699 |6911 |  22k|1938 | 0.000000e+00 | 8.000000e+00 |    Inf 
57.39/57.41	o 5
57.39/57.41	c *56.2s| 25910 |   321 |195812 |   7.5 |  18M|  61 |   - |1913 |  12k|1913 |1699 |9096 |  30k|1945 | 0.000000e+00 | 5.000000e+00 |    Inf 
57.39/57.41	o 3
57.39/57.41	c *56.2s| 25911 |   317 |195812 |   7.5 |  18M|  61 |   - |1913 |  12k|1913 |1699 |9096 |  30k|1945 | 0.000000e+00 | 3.000000e+00 |    Inf 
65.89/65.98	c  64.7s| 30000 |   329 |226190 |   7.5 |  18M|  61 |  31 |1913 |  12k|1913 |1699 |  10k|  36k|2039 | 0.000000e+00 | 3.000000e+00 |    Inf 
87.49/87.59	c  85.9s| 40000 |   233 |303080 |   7.6 |  19M|  61 |   - |1913 |  13k|1913 |1709 |  13k|  49k|2402 | 0.000000e+00 | 3.000000e+00 |    Inf 
111.09/111.12	c   109s| 50000 |   209 |391173 |   7.8 |  19M|  61 |  18 |1913 |  14k|1913 |1699 |  16k|  62k|2756 | 0.000000e+00 | 3.000000e+00 |    Inf 
135.79/135.87	c   133s| 60000 |   283 |486430 |   8.1 |  22M|  61 |   - |1913 |  21k|   0 |   0 |  22k|  76k|3037 | 0.000000e+00 | 3.000000e+00 |    Inf 
162.49/162.50	c   160s| 70000 |   288 |584362 |   8.3 |  23M|  61 |   - |1913 |  22k|   0 |   0 |  26k|  89k|3338 | 0.000000e+00 | 3.000000e+00 |    Inf 
189.59/189.63	c   186s| 80000 |   284 |681770 |   8.5 |  24M|  61 |  35 |1913 |  24k|1913 |1699 |  31k| 102k|3628 | 0.000000e+00 | 3.000000e+00 |    Inf 
218.20/218.27	c   215s| 90000 |   302 |780180 |   8.7 |  26M|  61 |  19 |1913 |  29k|1913 |1699 |  36k| 116k|3873 | 0.000000e+00 | 3.000000e+00 |    Inf 
246.89/246.99	c   243s|100000 |   416 |874364 |   8.7 |  28M|  61 |  15 |1913 |  34k|1913 |1699 |  40k| 130k|4046 | 0.000000e+00 | 3.000000e+00 |    Inf 
278.99/279.01	c   275s|110000 |   418 |985887 |   9.0 |  29M|  61 |  35 |1913 |  34k|1913 |1699 |  43k| 144k|4322 | 0.000000e+00 | 3.000000e+00 |    Inf 
308.40/308.45	c   304s|120000 |   496 |  1082k|   9.0 |  29M|  61 |  36 |1913 |  31k|1913 |1699 |  48k| 158k|4540 | 0.000000e+00 | 3.000000e+00 |    Inf 
337.80/337.82	c   333s|130000 |   445 |  1181k|   9.1 |  27M|  61 |  32 |1913 |  27k|1913 |1706 |  52k| 172k|4742 | 0.000000e+00 | 3.000000e+00 |    Inf 
368.19/368.29	c   363s|140000 |   514 |  1302k|   9.3 |  29M|  61 |  12 |1913 |  29k|1913 |1706 |  54k| 186k|4970 | 0.000000e+00 | 3.000000e+00 |    Inf 
398.99/399.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
398.99/399.06	c   393s|150000 |   478 |  1423k|   9.5 |  29M|  61 |   - |1913 |  31k|   0 |   0 |  55k| 201k|5172 | 0.000000e+00 | 3.000000e+00 |    Inf 
428.50/428.51	c   422s|160000 |   417 |  1534k|   9.6 |  28M|  61 |  25 |1913 |  27k|1913 |1706 |  57k| 215k|5414 | 0.000000e+00 | 3.000000e+00 |    Inf 
441.49/441.53	o 1
441.49/441.53	c * 435s|164708 |   378 |  1579k|   9.6 |  26M|  61 |   - |1913 |  25k|1913 |1705 |  59k| 222k|5506 | 0.000000e+00 | 1.000000e+00 |    Inf 
456.40/456.44	c   450s|170000 |   390 |  1637k|   9.6 |  27M|  61 |  33 |1913 |  26k|1913 |1699 |  62k| 229k|5598 | 0.000000e+00 | 1.000000e+00 |    Inf 
486.50/486.59	c   479s|180000 |   289 |  1755k|   9.8 |  24M|  61 |   - |1913 |  19k|   0 |   0 |  67k| 243k|5793 | 0.000000e+00 | 1.000000e+00 |    Inf 
510.41/510.45	c   503s|190000 |   261 |  1836k|   9.7 |  24M|  61 |  34 |1913 |  21k|1913 |1699 |  70k| 258k|5896 | 0.000000e+00 | 1.000000e+00 |    Inf 
537.00/537.04	c   529s|200000 |   430 |  1938k|   9.7 |  26M|  61 |  24 |1913 |  21k|1913 |1699 |  74k| 271k|6078 | 0.000000e+00 | 1.000000e+00 |    Inf 
563.00/563.07	c   555s|210000 |   326 |  2031k|   9.7 |  26M|  61 |   - |1913 |  23k|   0 |   0 |  79k| 285k|6192 | 0.000000e+00 | 1.000000e+00 |    Inf 
591.90/591.95	c   583s|220000 |   387 |  2141k|   9.7 |  27M|  61 |  24 |1913 |  26k|1913 |1699 |  84k| 299k|6355 | 0.000000e+00 | 1.000000e+00 |    Inf 
620.60/620.64	c   611s|230000 |   260 |  2243k|   9.8 |  25M|  61 |  32 |1913 |  20k|1913 |1699 |  90k| 312k|6775 | 0.000000e+00 | 1.000000e+00 |    Inf 
645.30/645.31	c   636s|240000 |   291 |  2329k|   9.7 |  27M|  61 |  18 |1913 |  25k|1913 |1699 |  93k| 326k|6847 | 0.000000e+00 | 1.000000e+00 |    Inf 
672.81/672.86	c   663s|250000 |   301 |  2434k|   9.7 |  28M|  61 |   - |1913 |  30k|1913 |1705 |  95k| 338k|6960 | 0.000000e+00 | 1.000000e+00 |    Inf 
701.90/701.92	c   691s|260000 |   292 |  2530k|   9.7 |  29M|  61 |  18 |1913 |  33k|1913 |1699 |  97k| 352k|7080 | 0.000000e+00 | 1.000000e+00 |    Inf 
730.51/730.50	c   720s|270000 |   297 |  2617k|   9.7 |  30M|  61 |  15 |1913 |  34k|1913 |1699 | 101k| 365k|7241 | 0.000000e+00 | 1.000000e+00 |    Inf 
758.51/758.52	c   747s|280000 |   289 |  2697k|   9.6 |  32M|  61 |  19 |1913 |  39k|1913 |1699 | 104k| 379k|7327 | 0.000000e+00 | 1.000000e+00 |    Inf 
787.41/787.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
787.41/787.40	c   776s|290000 |   301 |  2775k|   9.6 |  34M|  61 |  40 |1913 |  43k|1913 |1699 | 107k| 393k|7413 | 0.000000e+00 | 1.000000e+00 |    Inf 
819.81/819.83	c   808s|300000 |   346 |  2865k|   9.6 |  36M|  61 |   - |1913 |  47k|   0 |   0 | 111k| 408k|7548 | 0.000000e+00 | 1.000000e+00 |    Inf 
852.61/852.65	c   840s|310000 |   303 |  2952k|   9.5 |  36M|  61 |   - |1913 |  48k|   0 |   0 | 115k| 422k|7644 | 0.000000e+00 | 1.000000e+00 |    Inf 
885.91/885.92	c   873s|320000 |   344 |  3043k|   9.5 |  38M|  61 |  27 |1913 |  53k|1913 |1699 | 119k| 436k|7723 | 0.000000e+00 | 1.000000e+00 |    Inf 
921.51/921.57	c   908s|330000 |   274 |  3133k|   9.5 |  38M|  61 |   - |1913 |  54k|   0 |   0 | 123k| 450k|7871 | 0.000000e+00 | 1.000000e+00 |    Inf 
955.51/955.51	c   942s|340000 |   323 |  3231k|   9.5 |  33M|  61 |   - |1913 |  38k|   0 |   0 | 127k| 463k|7976 | 0.000000e+00 | 1.000000e+00 |    Inf 
989.92/989.92	c   976s|350000 |   306 |  3338k|   9.5 |  35M|  61 |  27 |1913 |  43k|1913 |1699 | 132k| 477k|8101 | 0.000000e+00 | 1.000000e+00 |    Inf 
1020.31/1020.31	c  1006s|360000 |   263 |  3430k|   9.5 |  32M|  61 |  39 |1913 |  34k|1913 |1701 | 136k| 490k|8188 | 0.000000e+00 | 1.000000e+00 |    Inf 
1050.21/1050.26	c  1035s|370000 |   328 |  3540k|   9.6 |  34M|  61 |  31 |1913 |  40k|1913 |1701 | 137k| 503k|8320 | 0.000000e+00 | 1.000000e+00 |    Inf 
1081.32/1081.31	c  1066s|380000 |   370 |  3642k|   9.6 |  34M|  61 |   - |1913 |  37k|   0 |   0 | 139k| 517k|8438 | 0.000000e+00 | 1.000000e+00 |    Inf 
1112.51/1112.51	c  1097s|390000 |   422 |  3736k|   9.6 |  36M|  61 |   - |1913 |  42k|1913 |1704 | 143k| 531k|8545 | 0.000000e+00 | 1.000000e+00 |    Inf 
1143.42/1143.46	c  1127s|400000 |   521 |  3824k|   9.6 |  35M|  61 |  12 |1913 |  39k|1913 |1699 | 146k| 544k|8641 | 0.000000e+00 | 1.000000e+00 |    Inf 
1174.31/1174.38	c  1158s|410000 |   527 |  3910k|   9.5 |  37M|  61 |  32 |1913 |  45k|1913 |1699 | 151k| 558k|8721 | 0.000000e+00 | 1.000000e+00 |    Inf 
1207.02/1207.07	c  1190s|420000 |   526 |  4002k|   9.5 |  38M|  61 |   - |1913 |  46k|   0 |   0 | 156k| 572k|8806 | 0.000000e+00 | 1.000000e+00 |    Inf 
1239.92/1239.97	c  1223s|430000 |   608 |  4091k|   9.5 |  39M|  61 |   - |1913 |  48k|1913 |1704 | 160k| 585k|8883 | 0.000000e+00 | 1.000000e+00 |    Inf 
1273.52/1273.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1273.52/1273.50	c  1256s|440000 |   673 |  4188k|   9.5 |  40M|  61 |   - |1913 |  50k|   0 |   0 | 165k| 599k|8983 | 0.000000e+00 | 1.000000e+00 |    Inf 
1309.22/1309.26	c  1291s|450000 |   914 |  4288k|   9.5 |  42M|  61 |  12 |1913 |  53k|1913 |1699 | 171k| 613k|9116 | 0.000000e+00 | 1.000000e+00 |    Inf 
1344.62/1344.60	c  1326s|460000 |   942 |  4381k|   9.5 |  43M|  61 |   7 |1913 |  53k|1913 |1699 | 176k| 628k|9205 | 0.000000e+00 | 1.000000e+00 |    Inf 
1380.23/1380.22	c  1361s|470000 |   926 |  4475k|   9.5 |  43M|  61 |  26 |1913 |  54k|1913 |1699 | 180k| 642k|9287 | 0.000000e+00 | 1.000000e+00 |    Inf 
1416.13/1416.12	c  1397s|480000 |  1026 |  4568k|   9.5 |  46M|  64 |   - |1913 |  59k|   0 |   0 | 185k| 656k|9366 | 0.000000e+00 | 1.000000e+00 |    Inf 
1453.93/1453.93	c  1434s|490000 |   915 |  4665k|   9.5 |  44M|  64 |   - |1913 |  57k|1913 |1706 | 190k| 670k|9454 | 0.000000e+00 | 1.000000e+00 |    Inf 
1490.53/1490.52	c  1470s|500000 |   762 |  4760k|   9.5 |  42M|  64 |  23 |1913 |  53k|1913 |1699 | 195k| 685k|9549 | 0.000000e+00 | 1.000000e+00 |    Inf 
1524.92/1524.91	c  1504s|510000 |   774 |  4852k|   9.5 |  43M|  64 |   - |1913 |  55k|   0 |   0 | 200k| 698k|9638 | 0.000000e+00 | 1.000000e+00 |    Inf 
1561.73/1561.75	c  1541s|520000 |   698 |  4956k|   9.5 |  41M|  64 |  26 |1913 |  50k|1913 |1699 | 207k| 713k|9751 | 0.000000e+00 | 1.000000e+00 |    Inf 
1596.33/1596.32	c  1575s|530000 |   572 |  5056k|   9.5 |  40M|  64 |   - |1913 |  48k|1913 |1702 | 212k| 727k|9863 | 0.000000e+00 | 1.000000e+00 |    Inf 
1631.82/1631.80	c  1610s|540000 |   518 |  5150k|   9.5 |  41M|  64 |  23 |1913 |  51k|1913 |1699 | 216k| 741k|9950 | 0.000000e+00 | 1.000000e+00 |    Inf 
1667.13/1667.16	c  1645s|550000 |   430 |  5246k|   9.5 |  40M|  64 |  18 |1913 |  52k|1913 |1699 | 222k| 755k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1702.52/1702.51	c  1680s|560000 |   408 |  5341k|   9.5 |  41M|  64 |  24 |1913 |  55k|1913 |1699 | 227k| 769k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1740.33/1740.33	c  1717s|570000 |   377 |  5447k|   9.6 |  37M|  64 |  28 |1913 |  44k|1913 |1703 | 231k| 783k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1776.63/1776.64	c  1753s|580000 |   393 |  5575k|   9.6 |  40M|  64 |  23 |1913 |  50k|1913 |1703 | 232k| 797k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1776.02
1800.04/1800.00	c Solving Nodes      : 586616
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (112 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	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.01	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.01	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.01	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.01	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.04/1800.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.01	v -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.01	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 x54 
1800.04/1800.01	v -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.01	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.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1776.02
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2692760-1277901968.wbo
1800.04/1800.01	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01	c   Constraints      : 3619 initial, 3619 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2692760-1277901968.wbo
1800.04/1800.01	c   Variables        : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.04/1800.01	c   Constraints      : 3353 initial, 60616 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         70          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         70          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         70          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.07          0          0          0        931          0        196        142          0
1800.04/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        841          -          -       1682          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     376882          0         61        925          0          0     652710
1800.04/1800.01	c   indicator        :        841          0     714875      14759          0          4      24145          0          0          0
1800.04/1800.01	c   setppc           :         11          6    2552356      48895          0      33774    1556650          0          0          0
1800.04/1800.01	c   linear           :        841          6    2520344      49758          0     116788   10977526     233300          0          0
1800.04/1800.01	c   logicor          :       1660+         6    1388616       2332          0     108067    5716396          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0       2332          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      36.77       0.00       0.00      36.77       0.00
1800.04/1800.01	c   indicator        :       0.66       0.00       0.50       0.16       0.00
1800.04/1800.01	c   setppc           :      11.23       0.00      11.20       0.03       0.00
1800.04/1800.01	c   linear           :      71.38       0.00      70.31       1.07       0.00
1800.04/1800.01	c   logicor          :     328.15       0.00     328.11       0.04       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.79          2          0          0
1800.04/1800.01	c   rootredcost      :       0.84         10          0        841
1800.04/1800.01	c   pseudoobj        :      43.61    2553958         25      14432
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :      12.20     258654     257898    1605428       26.3       7342       25.1          -
1800.04/1800.01	c   infeasible LP    :      12.77      66343      66343     534122       43.4        303       23.3          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          1          1          2        4.5          3        4.0          -
1800.04/1800.01	c   applied globally :          -          -          -     806469       25.1          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -          2          -    (maximal pool size: 200)
1800.04/1800.01	c   redcost          :       9.29     376992          0       5802          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.26          6          0          0        991          0
1800.04/1800.01	c   strongcg         :       0.16          6          0          0        765          0
1800.04/1800.01	c   cmir             :       0.02          6          0          0          1          0
1800.04/1800.01	c   flowcover        :       0.06          6          0          0          1          0
1800.04/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      36.44     327122         61        925          0          0     652710
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.18       2323          0          0          0          0       4646
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.01          -          9
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.35          8          0
1800.04/1800.01	c   feaspump         :       0.03          1          0
1800.04/1800.01	c   crossover        :       0.29          4          0
1800.04/1800.01	c   pscostdiving     :       0.18        155          0
1800.04/1800.01	c   fracdiving       :       0.21        155          0
1800.04/1800.01	c   veclendiving     :       0.24        155          0
1800.04/1800.01	c   linesearchdiving :       0.28        155          0
1800.04/1800.01	c   guideddiving     :       0.31        155          0
1800.04/1800.01	c   coefdiving       :       0.32        156          0
1800.04/1800.01	c   rootsoldiving    :       0.31        115          0
1800.04/1800.01	c   objpscostdiving  :       0.21        116          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.58     327119          0
1800.04/1800.01	c   zirounding       :       0.17       1000          0
1800.04/1800.01	c   rounding         :       0.60       8069          0
1800.04/1800.01	c   shifting         :       0.81       2528          0
1800.04/1800.01	c   intshifting      :       0.01          9          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.03          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.26          0          0
1800.04/1800.01	c   trysol           :       0.32        823        103
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     801.46     440446    5646247      12.82    7044.95
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.87        563       4767       8.47    5479.31
1800.04/1800.02	c   strong branching :      32.70      10390     197632      19.02    6043.79
1800.04/1800.02	c     (at root node) :          -         33       2703      81.91          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :     586616
1800.04/1800.02	c   nodes (total)    :     586616
1800.04/1800.02	c   nodes left       :        386
1800.04/1800.02	c   max depth        :         64
1800.04/1800.02	c   max depth (total):         64
1800.04/1800.02	c   backtracks       :      98250 (16.7%)
1800.04/1800.02	c   delayed cutoffs  :      67574
1800.04/1800.02	c   repropagations   :     874429 (4550321 domain reductions, 66423 cutoffs)
1800.04/1800.02	c   avg switch length:       4.49
1800.04/1800.02	c   switching time   :     244.04
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :        112 (10 improvements)
1800.04/1800.02	c   First Solution   : +4.24170000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.02	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 164708 nodes, 434.81 seconds, depth 35, found by <relaxation>)
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :        361
1800.04/1800.09	c Time complete: 1800.12.

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692760-1277901968/watcher-2692760-1277901968 -o /tmp/evaluation-result-2692760-1277901968/solver-2692760-1277901968 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692760-1277901968.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12410
/proc/meminfo: memFree=31603692/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=9304 CPUtime=0
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1645 0 0 0 0 0 0 0 25 0 1 0 131493786 9527296 1565 4089446400 4194304 8223781 140735902290800 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12410/statm: 2326 1565 369 984 0 1339 0

[startup+0.02948 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12410
/proc/meminfo: memFree=31603692/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=14756 CPUtime=0.02
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 3291 0 0 0 2 0 0 0 25 0 1 0 131493786 15110144 2847 4089446400 4194304 8223781 140735902290800 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 3689 2871 384 984 0 2702 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14756

[startup+0.100467 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12410
/proc/meminfo: memFree=31603692/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=24684 CPUtime=0.09
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 6851 0 0 0 9 0 0 0 25 0 1 0 131493786 25276416 5122 4089446400 4194304 8223781 140735902290800 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 6171 5122 457 984 0 5184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24684

[startup+0.300432 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12410
/proc/meminfo: memFree=31603692/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=31324 CPUtime=0.29
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 10845 0 0 0 28 1 0 0 25 0 1 0 131493786 32075776 6942 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 7831 6942 572 984 0 6844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31324

[startup+0.700362 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12410
/proc/meminfo: memFree=31603692/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=32524 CPUtime=0.69
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 11163 0 0 0 68 1 0 0 25 0 1 0 131493786 33304576 7239 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 8131 7239 575 984 0 7144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32524

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12411
/proc/meminfo: memFree=31576408/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=32584 CPUtime=1.49
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 21532 0 0 0 145 4 0 0 25 0 1 0 131493786 33366016 7287 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 8146 7287 596 984 0 7159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32584

[startup+3.10094 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12411
/proc/meminfo: memFree=31576036/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=32620 CPUtime=3.09
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 24133 0 0 0 302 7 0 0 25 0 1 0 131493786 33402880 7290 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 8155 7290 597 984 0 7168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32620

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12411
/proc/meminfo: memFree=31575168/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=35744 CPUtime=6.29
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 53934 0 0 0 616 13 0 0 25 0 1 0 131493786 36601856 7985 4089446400 4194304 8223781 140735902290800 18446744073709551615 4965438 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 8936 7985 602 984 0 7949 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35744

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12411
/proc/meminfo: memFree=31566112/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=44184 CPUtime=12.69
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 77860 0 0 0 1243 26 0 0 25 0 1 0 131493786 45244416 10134 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 11046 10134 603 984 0 10059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44184

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12412
/proc/meminfo: memFree=31564368/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=47004 CPUtime=25.49
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 115475 0 0 0 2494 55 0 0 25 0 1 0 131493786 48132096 10843 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12410/statm: 11751 10843 603 984 0 10764 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47004

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12413
/proc/meminfo: memFree=31559932/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=50828 CPUtime=51.09
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 153320 0 0 0 5004 105 0 0 25 0 1 0 131493786 52047872 11798 4089446400 4194304 8223781 140735902290800 18446744073709551615 6326787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 12707 11798 603 984 0 11720 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50828

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12414
/proc/meminfo: memFree=31557284/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=53344 CPUtime=102.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 218589 0 0 0 10039 191 0 0 25 0 1 0 131493786 54624256 12415 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 13336 12415 603 984 0 12349 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 53344

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12415
/proc/meminfo: memFree=31552544/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=58628 CPUtime=162.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 289183 0 0 0 15944 286 0 0 25 0 1 0 131493786 60035072 13672 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 14657 13672 603 984 0 13670 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 58628

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12417
/proc/meminfo: memFree=31547912/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=62820 CPUtime=222.29
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 372274 0 0 0 21857 372 0 0 25 0 1 0 131493786 64327680 14757 4089446400 4194304 8223781 140735902290800 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 15705 14757 603 984 0 14718 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 62820

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12419
/proc/meminfo: memFree=31544044/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=67328 CPUtime=282.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 439446 0 0 0 27778 452 0 0 25 0 1 0 131493786 68943872 15692 4089446400 4194304 8223781 140735902290800 18446744073709551615 6299553 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 16832 15692 603 984 0 15845 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 67328

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12420
/proc/meminfo: memFree=31543384/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=67620 CPUtime=342.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 492190 0 0 0 33696 534 0 0 25 0 1 0 131493786 69242880 15754 4089446400 4194304 8223781 140735902290800 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 16905 15754 603 984 0 15918 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 67620

[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12422
/proc/meminfo: memFree=31542852/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=68372 CPUtime=402.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 600750 0 0 0 39613 617 0 0 25 0 1 0 131493786 70012928 15963 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 17093 15963 603 984 0 16106 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 68372

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12423
/proc/meminfo: memFree=31541456/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=69104 CPUtime=462.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 648063 0 0 0 45533 697 0 0 25 0 1 0 131493786 70762496 16119 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 17276 16119 603 984 0 16289 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 69104

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12425
/proc/meminfo: memFree=31541536/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=69104 CPUtime=522.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 692486 0 0 0 51450 780 0 0 25 0 1 0 131493786 70762496 16121 4089446400 4194304 8223781 140735902290800 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 17276 16121 603 984 0 16289 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 69104

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12427
/proc/meminfo: memFree=31541504/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=69152 CPUtime=582.3
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 833767 0 0 0 57356 874 0 0 25 0 1 0 131493786 70811648 16133 4089446400 4194304 8223781 140735902290800 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 17288 16133 603 984 0 16301 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 69152

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12428
/proc/meminfo: memFree=31540220/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=71048 CPUtime=642.31
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 963069 0 0 0 63261 970 0 0 25 0 1 0 131493786 72753152 16502 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 17762 16502 603 984 0 16775 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 71048

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12433
/proc/meminfo: memFree=31534660/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=76852 CPUtime=822.31
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1185162 0 0 0 81022 1209 0 0 25 0 1 0 131493786 78696448 17899 4089446400 4194304 8223781 140735902290800 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 19213 17899 603 984 0 18226 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 76852

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12435
/proc/meminfo: memFree=31532884/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=78240 CPUtime=882.31
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1277546 0 0 0 86948 1283 0 0 25 0 1 0 131493786 80117760 18300 4089446400 4194304 8223781 140735902290800 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 19560 18300 603 984 0 18573 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 78240

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12445
/proc/meminfo: memFree=31528824/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=82568 CPUtime=942.31
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1327492 0 0 0 92886 1345 0 0 25 0 1 0 131493786 84549632 19011 4089446400 4194304 8223781 140735902290800 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 20642 19011 603 984 0 19655 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 82568

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12447
/proc/meminfo: memFree=31528180/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=83012 CPUtime=1002.31
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1427022 0 0 0 98811 1420 0 0 25 0 1 0 131493786 85004288 19084 4089446400 4194304 8223781 140735902290800 18446744073709551615 6569942 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 20753 19084 603 984 0 19766 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 83012

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12448
/proc/meminfo: memFree=31527648/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=83064 CPUtime=1062.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1526967 0 0 0 104729 1503 0 0 25 0 1 0 131493786 85057536 19093 4089446400 4194304 8223781 140735902290800 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 20766 19093 603 984 0 19779 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 83064

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12450
/proc/meminfo: memFree=31527580/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=83012 CPUtime=1122.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1621185 0 0 0 110656 1576 0 0 25 0 1 0 131493786 85004288 19090 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 20753 19090 603 984 0 19766 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 83012

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12452
/proc/meminfo: memFree=31527292/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=83956 CPUtime=1182.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1706900 0 0 0 116583 1649 0 0 25 0 1 0 131493786 85970944 19296 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 20989 19296 603 984 0 20002 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 83956

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12453
/proc/meminfo: memFree=31527132/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=84248 CPUtime=1242.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1777815 0 0 0 122506 1726 0 0 25 0 1 0 131493786 86269952 19373 4089446400 4194304 8223781 140735902290800 18446744073709551615 6329525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 21062 19373 603 984 0 20075 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 84248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12455
/proc/meminfo: memFree=31526608/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=84740 CPUtime=1302.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1855657 0 0 0 128435 1797 0 0 25 0 1 0 131493786 86773760 19504 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 21185 19504 603 984 0 20198 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 84740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12456
/proc/meminfo: memFree=31525688/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=85660 CPUtime=1362.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1929735 0 0 0 134362 1870 0 0 25 0 1 0 131493786 87715840 19738 4089446400 4194304 8223781 140735902290800 18446744073709551615 4212311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 21415 19738 603 984 0 20428 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 85660

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12458
/proc/meminfo: memFree=31523920/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=87572 CPUtime=1422.33
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 1988892 0 0 0 140300 1933 0 0 25 0 1 0 131493786 89673728 20225 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 21893 20225 603 984 0 20906 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 87572

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12460
/proc/meminfo: memFree=31523640/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=88116 CPUtime=1482.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2080042 0 0 0 146229 2003 0 0 25 0 1 0 131493786 90230784 20287 4089446400 4194304 8223781 140735902290800 18446744073709551615 6329599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22029 20287 603 984 0 21042 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 88116

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12461
/proc/meminfo: memFree=31523364/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=88168 CPUtime=1542.32
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2168329 0 0 0 152162 2070 0 0 25 0 1 0 131493786 90284032 20320 4089446400 4194304 8223781 140735902290800 18446744073709551615 6329692 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22042 20320 603 984 0 21055 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 88168

[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 12491
/proc/meminfo: memFree=31459208/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=88908 CPUtime=1602.33
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2278877 0 0 0 158086 2147 0 0 25 0 1 0 131493786 91041792 20391 4089446400 4194304 8223781 140735902290800 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22227 20391 603 984 0 21240 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 88908

[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 12492
/proc/meminfo: memFree=31446392/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=89512 CPUtime=1662.33
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2391404 0 0 0 164012 2221 0 0 25 0 1 0 131493786 91660288 20575 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22378 20575 603 984 0 21391 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 89512

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12494
/proc/meminfo: memFree=31443008/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=89460 CPUtime=1722.33
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2499678 0 0 0 169935 2298 0 0 25 0 1 0 131493786 91607040 20565 4089446400 4194304 8223781 140735902290800 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22365 20565 603 984 0 21378 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 89460

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12496
/proc/meminfo: memFree=31438012/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=91856 CPUtime=1782.33
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2611762 0 0 0 175856 2377 0 0 25 0 1 0 131493786 94060544 20972 4089446400 4194304 8223781 140735902290800 18446744073709551615 6567825 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22964 20972 603 984 0 21977 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 91856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12496
/proc/meminfo: memFree=31437996/32950928 swapFree=67111528/67111528
[pid=12410] ppid=12408 vsize=91388 CPUtime=1800.04
/proc/12410/stat : 12410 (pbscip.linux.x8) R 12408 12410 11577 0 -1 4202496 2639577 0 0 0 177604 2400 0 0 25 0 1 0 131493786 93581312 20944 4089446400 4194304 8223781 140735902290800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12410/statm: 22847 20944 603 984 0 21860 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 91388

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

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

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1776.13
CPU system time (s): 24.0093
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 91872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.13
system time used= 24.0094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2639597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4107

runsolver used 2.27965 second user time and 5.9171 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 14:46:08
IDJOB=2692760
IDBENCH=78896
IDSOLVER=1204
FILE ID=node120/2692760-1277901968
PBS_JOBID= 11197198
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692760-1277901968/watcher-2692760-1277901968 -o /tmp/evaluation-result-2692760-1277901968/solver-2692760-1277901968 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692760-1277901968.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 1aa357a852c71e740dd551340d4d5189
RANDOM SEED=238143541

node120.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.820
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.64
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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.80
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.820
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.820
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.820
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.68
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.820
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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31604220 kB
Buffers:        188388 kB
Cached:         935180 kB
SwapCached:          0 kB
Active:         619764 kB
Inactive:       585228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31604220 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       81492 kB
Mapped:          15656 kB
Slab:            77780 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   228264 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= 74204 MiB
End job on node120 at 2010-06-30 15:16:11