Trace number 3447890

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.4OPTIMUM 1514.52 1514.48

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900546417--soft-33-100-0.wbo
MD5SUM4d7369f2c7754df76e462e1a1e9c34c5
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 benchmark60.4978
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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-3447890-1307898930.wbo>
0.00/0.02	c original problem has 2088 variables (2088 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.04/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, 126 impls, 5 clqs
0.04/0.08	c (round 2) 0 del vars, 112 del conss, 0 add conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.04/0.09	c (round 3) 100 del vars, 159 del conss, 0 add conss, 1874 chg bounds, 80 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 5 clqs
0.09/0.10	c (round 4) 134 del vars, 159 del conss, 0 add conss, 1874 chg bounds, 80 chg sides, 0 chg coeffs, 826 upgd conss, 126 impls, 5 clqs
0.09/0.11	c (round 5) 134 del vars, 163 del conss, 0 add conss, 1874 chg bounds, 80 chg sides, 0 chg coeffs, 826 upgd conss, 126 impls, 5 clqs
0.09/0.15	c    (0.2s) probing: 101/2021 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  134 deleted vars, 163 deleted constraints, 0 added constraints, 1874 tightened bounds, 0 added holes, 80 changed sides, 0 changed coefficients
0.09/0.15	c  1916 implications, 5 cliques
0.09/0.15	c presolved problem has 3811 variables (2021 bin, 0 int, 1790 impl, 0 cont) and 4402 constraints
0.09/0.15	c      51 constraints of type <setppc>
0.09/0.15	c    1790 constraints of type <linear>
0.09/0.15	c    1790 constraints of type <indicator>
0.09/0.15	c     771 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.13
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 2.0.1.4
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1800
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 13950
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # belongs reading time to solving time?
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c timing/reading = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.49/0.57	o 187
0.49/0.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.57	c T 0.6s|     1 |     0 |     0 |     - |  14M|   0 |   - |3811 |6192 |3811 |2612 |   0 |   0 |   0 |      --      | 1.870000e+02 |    Inf 
0.49/0.59	c   0.6s|     1 |     0 |    84 |     - |  14M|   0 |  49 |3811 |6192 |3811 |2612 |   0 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
0.89/0.93	c   0.9s|     1 |     0 |   689 |     - |  15M|   0 |  20 |3811 |6234 |3811 |2628 |  16 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
1.00/1.02	c   1.0s|     1 |     0 |   787 |     - |  15M|   0 |  50 |3811 |6234 |3811 |2661 |  49 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
1.19/1.22	c   1.2s|     1 |     0 |   824 |     - |  16M|   0 |  55 |3811 |6234 |3811 |2674 |  62 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
1.49/1.52	c   1.5s|     1 |     0 |   847 |     - |  16M|   0 |  52 |3811 |6234 |3811 |2680 |  68 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
1.79/1.82	c   1.8s|     1 |     0 |   876 |     - |  17M|   0 |  54 |3811 |6234 |3811 |2684 |  72 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
2.09/2.15	c   2.2s|     1 |     0 |   904 |     - |  18M|   0 |  61 |3811 |6234 |3811 |2688 |  76 |   0 |   0 | 0.000000e+00 | 1.870000e+02 |    Inf 
2.49/2.53	c   2.5s|     1 |     2 |   904 |     - |  18M|   0 |  61 |3811 |6234 |3811 |2688 |  76 |   0 |   9 | 0.000000e+00 | 1.870000e+02 |    Inf 
3.49/3.50	o 179
3.49/3.50	c * 3.5s|    11 |     9 |  1425 |  52.1 |  18M|  10 |   - |3811 |6234 |3811 |2684 |  76 |   0 | 103 | 0.000000e+00 | 1.790000e+02 |    Inf 
5.79/5.90	o 134
5.79/5.90	c * 5.9s|    83 |    41 |  3703 |  34.1 |  20M|  27 |   - |3811 |6266 |3811 |2676 | 128 |  32 | 411 | 0.000000e+00 | 1.340000e+02 |    Inf 
5.99/6.02	o 132
5.99/6.02	c * 6.0s|    87 |    40 |  3770 |  33.3 |  20M|  27 |   - |3811 |6266 |3811 |2659 | 128 |  32 | 439 | 0.000000e+00 | 1.320000e+02 |    Inf 
7.89/7.93	o 130
7.89/7.93	c * 7.9s|   133 |    61 |  6073 |  39.2 |  21M|  27 |   - |3811 |6295 |3811 |2659 | 141 |  61 | 704 | 0.000000e+00 | 1.300000e+02 |    Inf 
11.89/11.99	o 117
11.89/11.99	c *12.0s|   252 |   117 | 10872 |  39.7 |  24M|  27 |   - |3811 |6371 |3811 |2706 | 315 | 137 |1175 | 0.000000e+00 | 1.170000e+02 |    Inf 
12.89/12.94	o 102
12.89/12.94	c *12.9s|   310 |   133 | 12411 |  37.2 |  25M|  27 |   - |3811 |6405 |3811 |2751 | 399 | 171 |1274 | 0.000000e+00 | 1.020000e+02 |    Inf 
13.89/13.95	o 37
13.89/13.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.89/13.95	c *14.0s|   374 |    90 | 14442 |  36.3 |  24M|  31 |   - |3811 |6459 |3811 |2745 | 506 | 225 |1337 | 0.000000e+00 | 3.700000e+01 |    Inf 
13.89/13.98	o 35
13.89/13.98	c *14.0s|   375 |    65 | 14490 |  36.3 |  23M|  31 |   - |3811 |4155 |3811 |2659 | 506 | 226 |1337 | 0.000000e+00 | 3.500000e+01 |    Inf 
34.10/34.17	o 31
34.10/34.17	c p34.2s|  3552 |   363 | 79233 |  22.1 |  28M|  45 |   - |3811 |5657 |3811 |2684 | 582 |3499 |1776 | 0.000000e+00 | 3.100000e+01 |    Inf 
36.90/36.90	o 24
36.90/36.90	c *36.9s|  4083 |   416 | 88558 |  21.5 |  28M|  45 |   - |3811 |5692 |3811 |2685 | 595 |4050 |1788 | 0.000000e+00 | 2.400000e+01 |    Inf 
37.59/37.63	o 22
37.59/37.63	c *37.6s|  4229 |   429 | 91595 |  21.5 |  28M|  45 |   - |3811 |5499 |3811 |2684 | 598 |4173 |1793 | 0.000000e+00 | 2.200000e+01 |    Inf 
37.90/37.95	o 19
37.90/37.95	c *37.9s|  4306 |   429 | 92876 |  21.4 |  28M|  45 |   - |3811 |5473 |3811 |2684 | 598 |4256 |1793 | 0.000000e+00 | 1.900000e+01 |    Inf 
38.19/38.26	o 16
38.19/38.26	c *38.3s|  4384 |   429 | 94124 |  21.3 |  28M|  46 |   - |3811 |5364 |3811 |2684 | 598 |4323 |1794 | 0.000000e+00 | 1.600000e+01 |    Inf 
41.49/41.59	o 14
41.49/41.59	c *41.6s|  5085 |   469 |108075 |  21.1 |  28M|  46 |   - |3811 |4847 |3811 |2684 | 607 |5018 |1805 | 0.000000e+00 | 1.400000e+01 |    Inf 
44.09/44.10	o 11
44.09/44.10	c *44.1s|  5661 |   526 |119233 |  20.9 |  28M|  47 |   - |3811 |4974 |3811 |2684 | 610 |5543 |1812 | 0.000000e+00 | 1.100000e+01 |    Inf 
60.79/60.86	c  60.9s| 10000 |   625 |197958 |  19.7 |  30M|  53 |   - |3811 |6232 |   0 |   0 | 616 |  10k|1836 | 0.000000e+00 | 1.100000e+01 |    Inf 
62.29/62.31	o 10
62.29/62.31	c *62.3s| 10353 |   625 |204332 |  19.7 |  30M|  53 |   - |3811 |6299 |3811 |2686 | 618 |  10k|1839 | 0.000000e+00 | 1.000000e+01 |    Inf 
71.70/71.73	o 4
71.70/71.73	c *71.7s| 13081 |   586 |245891 |  18.7 |  29M|  53 |   - |3811 |6287 |3811 |2686 | 622 |  13k|1859 | 0.000000e+00 | 4.000000e+00 |    Inf 
78.59/78.63	o 3
78.59/78.63	c *78.6s| 15121 |   614 |277650 |  18.3 |  30M|  53 |   - |3811 |6949 |3811 |2660 | 623 |  15k|1859 | 0.000000e+00 | 3.000000e+00 |    Inf 
78.90/78.91	o 2
78.90/78.91	c *78.9s| 15204 |   498 |278924 |  18.3 |  29M|  53 |   - |3811 |6887 |3811 |2660 | 624 |  16k|1859 | 0.000000e+00 | 2.000000e+00 |    Inf 
99.09/99.14	c  99.1s| 20000 |   560 |366965 |  18.3 |  30M|  69 |  32 |3811 |9257 |3811 |2659 | 624 |  22k|2174 | 0.000000e+00 | 2.000000e+00 |    Inf 
137.89/137.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
137.89/137.92	c   138s| 30000 |   637 |534098 |  17.8 |  33M|  69 |  30 |3811 |  12k|3811 |2684 | 624 |  35k|2736 | 0.000000e+00 | 2.000000e+00 |    Inf 
176.39/176.43	c   176s| 40000 |   615 |695386 |  17.4 |  33M|  69 |  44 |3811 |  11k|3811 |2684 | 624 |  47k|3233 | 0.000000e+00 | 2.000000e+00 |    Inf 
202.90/202.94	o 1
202.90/202.94	c * 203s| 47247 |   546 |808861 |  17.1 |  34M|  69 |   - |3811 |  14k|3811 |2684 | 624 |  56k|3473 | 0.000000e+00 | 1.000000e+00 |    Inf 
214.79/214.84	c   215s| 50000 |   538 |859883 |  17.2 |  34M|  69 |   - |3811 |  14k|3811 |2684 | 624 |  60k|3628 | 0.000000e+00 | 1.000000e+00 |    Inf 
255.10/255.19	c   255s| 60000 |   454 |  1034k|  17.2 |  32M|  69 |   - |3811 |  11k|3811 |2659 | 624 |  72k|4053 | 0.000000e+00 | 1.000000e+00 |    Inf 
295.60/295.63	c   296s| 70000 |   556 |  1215k|  17.3 |  35M|  69 |  25 |3811 |  16k|3811 |2659 | 624 |  85k|4469 | 0.000000e+00 | 1.000000e+00 |    Inf 
335.90/335.91	c   336s| 80000 |   471 |  1393k|  17.4 |  35M|  69 |   - |3811 |  17k|3811 |2659 | 624 |  98k|4750 | 0.000000e+00 | 1.000000e+00 |    Inf 
376.70/376.72	c   377s| 90000 |   291 |  1573k|  17.5 |  32M|  69 |  34 |3811 |  10k|3811 |2659 | 624 | 110k|5133 | 0.000000e+00 | 1.000000e+00 |    Inf 
415.90/415.97	c   416s|100000 |   269 |  1749k|  17.5 |  34M|  69 |  38 |3811 |  16k|3811 |2659 | 624 | 123k|5467 | 0.000000e+00 | 1.000000e+00 |    Inf 
456.51/456.53	c   457s|110000 |   252 |  1935k|  17.6 |  36M|  69 |   - |3811 |  21k|3811 |2659 | 624 | 135k|5674 | 0.000000e+00 | 1.000000e+00 |    Inf 
499.00/499.06	c   499s|120000 |   225 |  2123k|  17.7 |  34M|  69 |  34 |3811 |  17k|3811 |2659 | 624 | 148k|6039 | 0.000000e+00 | 1.000000e+00 |    Inf 
541.80/541.85	c   542s|130000 |   301 |  2323k|  17.9 |  38M|  69 |   - |3811 |  23k|3811 |2659 | 624 | 161k|6361 | 0.000000e+00 | 1.000000e+00 |    Inf 
582.31/582.38	c   582s|140000 |   198 |  2510k|  17.9 |  37M|  69 |  29 |3811 |  23k|3811 |2659 | 624 | 174k|6599 | 0.000000e+00 | 1.000000e+00 |    Inf 
625.11/625.16	c   625s|150000 |   249 |  2707k|  18.0 |  37M|  69 |   - |3811 |  23k|3811 |2659 | 624 | 187k|6799 | 0.000000e+00 | 1.000000e+00 |    Inf 
667.11/667.13	c   667s|160000 |   398 |  2894k|  18.1 |  38M|  69 |   - |3811 |  23k|   0 |   0 | 624 | 200k|7045 | 0.000000e+00 | 1.000000e+00 |    Inf 
708.71/708.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
708.71/708.78	c   709s|170000 |   575 |  3084k|  18.1 |  41M|  76 |   - |3811 |  26k|3811 |2659 | 624 | 214k|7276 | 0.000000e+00 | 1.000000e+00 |    Inf 
749.61/749.65	c   750s|180000 |   562 |  3266k|  18.1 |  40M|  76 |  31 |3811 |  24k|3811 |2659 | 624 | 228k|7516 | 0.000000e+00 | 1.000000e+00 |    Inf 
792.42/792.45	c   792s|190000 |   498 |  3461k|  18.2 |  41M|  76 |   - |3811 |  25k|3811 |2659 | 624 | 241k|7729 | 0.000000e+00 | 1.000000e+00 |    Inf 
834.11/834.10	c   834s|200000 |   521 |  3652k|  18.3 |  42M|  76 |   - |3811 |  27k|3811 |2659 | 624 | 255k|7906 | 0.000000e+00 | 1.000000e+00 |    Inf 
875.32/875.36	c   875s|210000 |   483 |  3835k|  18.3 |  42M|  76 |  21 |3811 |  27k|3811 |2659 | 624 | 268k|8089 | 0.000000e+00 | 1.000000e+00 |    Inf 
917.11/917.20	c   917s|220000 |   418 |  4027k|  18.3 |  41M|  76 |  33 |3811 |  26k|3811 |2659 | 624 | 281k|8232 | 0.000000e+00 | 1.000000e+00 |    Inf 
961.12/961.19	c   961s|230000 |   414 |  4227k|  18.4 |  42M|  76 |  36 |3811 |  29k|3811 |2659 | 624 | 294k|8422 | 0.000000e+00 | 1.000000e+00 |    Inf 
1004.01/1004.07	c  1004s|240000 |   408 |  4410k|  18.4 |  43M|  76 |   - |3811 |  32k|3811 |2659 | 624 | 307k|8593 | 0.000000e+00 | 1.000000e+00 |    Inf 
1046.42/1046.45	c  1046s|250000 |   409 |  4590k|  18.4 |  45M|  76 |  28 |3811 |  36k|3811 |2659 | 624 | 321k|8752 | 0.000000e+00 | 1.000000e+00 |    Inf 
1091.01/1091.04	c  1091s|260000 |   384 |  4786k|  18.4 |  44M|  76 |  49 |3811 |  33k|3811 |2659 | 624 | 334k|8916 | 0.000000e+00 | 1.000000e+00 |    Inf 
1131.92/1131.90	c  1132s|270000 |   306 |  4959k|  18.4 |  43M|  76 |   - |3811 |  32k|3811 |2659 | 624 | 348k|9098 | 0.000000e+00 | 1.000000e+00 |    Inf 
1174.62/1174.68	c  1175s|280000 |   301 |  5144k|  18.4 |  43M|  76 |  48 |3811 |  33k|3811 |2659 | 624 | 361k|9228 | 0.000000e+00 | 1.000000e+00 |    Inf 
1220.22/1220.24	c  1220s|290000 |   309 |  5343k|  18.4 |  43M|  76 |  24 |3811 |  33k|3811 |2659 | 624 | 374k|9376 | 0.000000e+00 | 1.000000e+00 |    Inf 
1265.52/1265.51	c  1266s|300000 |   238 |  5541k|  18.5 |  41M|  76 |  24 |3811 |  28k|3811 |2659 | 624 | 387k|9535 | 0.000000e+00 | 1.000000e+00 |    Inf 
1310.32/1310.37	c  1310s|310000 |   228 |  5741k|  18.5 |  43M|  76 |   - |3811 |  33k|3811 |2659 | 624 | 399k|9691 | 0.000000e+00 | 1.000000e+00 |    Inf 
1355.42/1355.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1355.42/1355.49	c  1355s|320000 |   229 |  5935k|  18.5 |  45M|  76 |  42 |3811 |  38k|3811 |2659 | 624 | 412k|9861 | 0.000000e+00 | 1.000000e+00 |    Inf 
1402.73/1402.73	c  1403s|330000 |   245 |  6138k|  18.6 |  46M|  76 |   - |3811 |  40k|   0 |   0 | 624 | 425k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1447.53/1447.53	c  1448s|340000 |   218 |  6324k|  18.6 |  46M|  76 |   - |3811 |  41k|   0 |   0 | 624 | 438k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1494.83/1494.81	c  1495s|350000 |   215 |  6522k|  18.6 |  47M|  76 |  41 |3811 |  44k|3811 |2659 | 624 | 451k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1514.42/1514.43	c 
1514.42/1514.43	c SCIP Status        : problem is solved [optimal solution found]
1514.42/1514.43	c Solving Time (sec) : 1514.43
1514.42/1514.43	c Solving Nodes      : 354035
1514.42/1514.43	c Primal Bound       : +1.00000000000000e+00 (179 solutions)
1514.42/1514.43	c Dual Bound         : +1.00000000000000e+00
1514.42/1514.43	c Gap                : 0.00 %
1514.42/1514.43	s OPTIMUM FOUND
1514.42/1514.43	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1514.42/1514.43	v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1514.42/1514.43	v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1514.42/1514.43	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 
1514.42/1514.43	v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1514.42/1514.43	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1514.42/1514.43	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 
1514.42/1514.43	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 
1514.42/1514.43	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 
1514.42/1514.43	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 
1514.42/1514.43	v -x1 
1514.42/1514.43	c SCIP Status        : problem is solved [optimal solution found]
1514.42/1514.43	c Total Time         :    1514.43
1514.42/1514.43	c   solving          :    1514.43
1514.42/1514.43	c   presolving       :       0.13 (included in solving)
1514.42/1514.43	c   reading          :       0.02 (included in solving)
1514.42/1514.43	c Original Problem   :
1514.42/1514.43	c   Problem name     : HOME/instance-3447890-1307898930.wbo
1514.42/1514.43	c   Variables        : 2088 (2088 binary, 0 integer, 0 implicit integer, 0 continuous)
1514.42/1514.43	c   Constraints      : 2708 initial, 2708 maximal
1514.42/1514.43	c Presolved Problem  :
1514.42/1514.43	c   Problem name     : t_HOME/instance-3447890-1307898930.wbo
1514.42/1514.43	c   Variables        : 3811 (2021 binary, 0 integer, 1790 implicit integer, 0 continuous)
1514.42/1514.43	c   Constraints      : 4402 initial, 45359 maximal
1514.42/1514.43	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1514.42/1514.43	c   trivial          :       0.00         67          0          0          0          0          0          0          0          0
1514.42/1514.43	c   dualfix          :       0.00         67          0          0          0          0          0          0          0          0
1514.42/1514.43	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   setppc           :       0.00          0          0          0          0          0          4          0          0          0
1514.42/1514.43	c   linear           :       0.06          0          0          0       1874          0         92          0         80          0
1514.42/1514.43	c   indicator        :       0.00          0          0          0          0          0         67          0          0          0
1514.42/1514.43	c   logicor          :       0.01          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1514.42/1514.43	c   root node        :          -       3580          -          -       3580          -          -          -          -          -
1514.42/1514.43	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1514.42/1514.43	c   integral         :          0          0          0     183435          0        621          0        412       3482          0          0     360474
1514.42/1514.43	c   varbound         :          0+         6     230827        564          0          0       2456          0     191810        607          0          0
1514.42/1514.43	c   setppc           :         51          6    1669041          5          0        618    1121769       2780     445607          0          0          0
1514.42/1514.43	c   linear           :       1790+         7    1667526         10          0        602    4355991      23751    4872481          0          0          0
1514.42/1514.43	c   indicator        :       1790          0     226179        564          0        602       2183          0       3528          0          0          0
1514.42/1514.43	c   logicor          :        771+         6     686661         19          0        160    1644129      17319    1221291          0          0          0
1514.42/1514.43	c   bounddisjunction :          0+         0     183055          0          0          0       2006         28       1663          0          0          0
1514.42/1514.43	c   countsols        :          0          0          0         19          0        162          0          0          0          0          0          0
1514.42/1514.43	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1514.42/1514.43	c   integral         :      67.53       0.00       0.00      67.50       0.00       0.02       0.00
1514.42/1514.43	c   varbound         :       0.65       0.00       0.62       0.03       0.00       0.00       0.00
1514.42/1514.43	c   setppc           :       4.88       0.00       4.59       0.00       0.00       0.00       0.29
1514.42/1514.43	c   linear           :      49.11       0.00      46.29       0.00       0.00       0.12       2.70
1514.42/1514.43	c   indicator        :       1.18       0.00       0.75       0.06       0.00       0.37       0.00
1514.42/1514.43	c   logicor          :      92.16       0.00      90.30       0.00       0.00       0.01       1.85
1514.42/1514.43	c   bounddisjunction :       0.43       0.00       0.42       0.00       0.00       0.00       0.00
1514.42/1514.43	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1514.42/1514.43	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1514.42/1514.43	c   vbounds          :      18120       1106          1      63100
1514.42/1514.43	c   rootredcost      :         20          0          0       1790
1514.42/1514.43	c   pseudoobj        :    1674236       2661        559     188264
1514.42/1514.43	c Propagator Timings :  TotalTime  Propagate    Resprop
1514.42/1514.43	c   vbounds          :       3.28       3.28       0.00
1514.42/1514.43	c   rootredcost      :       0.30       0.30       0.00
1514.42/1514.43	c   pseudoobj        :      41.42      41.37       0.05
1514.42/1514.43	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1514.42/1514.43	c   propagation      :       2.64      44438      44340     251748       29.7        767       21.5          -
1514.42/1514.43	c   infeasible LP    :      36.77     135090     135069     891446       40.4       1758       14.3          0
1514.42/1514.43	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1514.42/1514.43	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1514.42/1514.43	c   pseudo solution  :       0.00          1          1          1        1.0          0        0.0          -
1514.42/1514.43	c   applied globally :          -          -          -     456990       33.9          -          -          -
1514.42/1514.43	c   applied locally  :          -          -          -          0        0.0          -          -          -
1514.42/1514.43	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1514.42/1514.43	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 608)
1514.42/1514.43	c   redcost          :      11.81     184156          0      72085          0          0
1514.42/1514.43	c   impliedbounds    :       0.00          6          0          0          0          0
1514.42/1514.43	c   intobj           :       0.00          0          0          0          0          0
1514.42/1514.43	c   gomory           :       0.60          6          0          0       1131          0
1514.42/1514.43	c   cgmip            :       0.00          0          0          0          0          0
1514.42/1514.43	c   closecuts        :       0.00          0          0          0          0          0
1514.42/1514.43	c   strongcg         :       0.48          6          0          0       2872          0
1514.42/1514.43	c   cmir             :       0.08          6          0          0          3          0
1514.42/1514.43	c   flowcover        :       0.09          6          0          0          3          0
1514.42/1514.43	c   clique           :       0.00          6          0          0          0          0
1514.42/1514.43	c   zerohalf         :       0.00          0          0          0          0          0
1514.42/1514.43	c   mcf              :       0.00          1          0          0          0          0
1514.42/1514.43	c   oddcycle         :       0.00          0          0          0          0          0
1514.42/1514.43	c   rapidlearning    :       0.18          1          0          0          0         42
1514.42/1514.43	c Pricers            :       Time      Calls       Vars
1514.42/1514.43	c   problem variables:       0.00          0          0
1514.42/1514.43	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1514.42/1514.43	c   relpscost        :      67.34     182868        412       3482          0          0     360474
1514.42/1514.43	c   pscost           :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   inference        :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   mostinf          :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   leastinf         :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   fullstrong       :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   allfullstrong    :       0.00          0          0          0          0          0          0
1514.42/1514.43	c   random           :       0.00          0          0          0          0          0          0
1514.42/1514.43	c Primal Heuristics  :       Time      Calls      Found
1514.42/1514.43	c   LP solutions     :       0.01          -         19
1514.42/1514.43	c   pseudo solutions :       0.00          -          0
1514.42/1514.43	c   feaspump         :       0.01          0          0
1514.42/1514.43	c   oneopt           :       0.27         20          0
1514.42/1514.43	c   pscostdiving     :       1.77         71          1
1514.42/1514.43	c   fracdiving       :       2.19         71          0
1514.42/1514.43	c   veclendiving     :       1.41         71          0
1514.42/1514.43	c   linesearchdiving :       0.91         71          0
1514.42/1514.43	c   guideddiving     :       2.27         71          0
1514.42/1514.43	c   objpscostdiving  :       0.57         36          0
1514.42/1514.43	c   rootsoldiving    :       0.99         36          0
1514.42/1514.43	c   coefdiving       :       2.01         72          0
1514.42/1514.43	c   crossover        :       1.17         29          0
1514.42/1514.43	c   trivial          :       0.00          2          0
1514.42/1514.43	c   shiftandpropagate:       0.42          1          1
1514.42/1514.43	c   simplerounding   :       0.38     183386          0
1514.42/1514.43	c   zirounding       :       0.37       1000          0
1514.42/1514.43	c   rounding         :       0.80       5947          0
1514.42/1514.43	c   shifting         :       0.80       1823          0
1514.42/1514.43	c   intshifting      :       0.01          0          0
1514.42/1514.43	c   twoopt           :       0.00          0          0
1514.42/1514.43	c   fixandinfer      :       0.00          0          0
1514.42/1514.43	c   clique           :       0.00          0          0
1514.42/1514.43	c   intdiving        :       0.00          0          0
1514.42/1514.43	c   actconsdiving    :       0.00          0          0
1514.42/1514.43	c   octane           :       0.00          0          0
1514.42/1514.43	c   rens             :       0.05          1          0
1514.42/1514.43	c   rins             :       0.00          0          0
1514.42/1514.43	c   localbranching   :       0.00          0          0
1514.42/1514.43	c   mutation         :       0.00          0          0
1514.42/1514.43	c   dins             :       0.00          0          0
1514.42/1514.43	c   vbounds          :       0.00          0          0
1514.42/1514.43	c   undercover       :       0.00          0          0
1514.42/1514.43	c   subnlp           :       0.06          0          0
1514.42/1514.43	c   trysol           :       0.28        408        158
1514.42/1514.43	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1514.42/1514.43	c   primal LP        :       0.00          0          0       0.00          -
1514.42/1514.43	c   dual LP          :     979.09     318425    6557225      20.59    6697.26
1514.42/1514.43	c   lex dual LP      :       0.00          0          0       0.00          -
1514.42/1514.43	c   barrier LP       :       0.00          0          0       0.00          -
1514.42/1514.43	c   diving/probing LP:       8.63       6288      41063       6.53    4760.84
1514.42/1514.43	c   strong branching :      64.25      10368     411435      39.68    6403.52
1514.42/1514.43	c     (at root node) :          -          9       2834     314.89          -
1514.42/1514.43	c   conflict analysis:       0.00          0          0       0.00          -
1514.42/1514.43	c B&B Tree           :
1514.42/1514.43	c   number of runs   :          1
1514.42/1514.43	c   nodes            :     354035
1514.42/1514.43	c   nodes (total)    :     354035
1514.42/1514.43	c   nodes left       :          0
1514.42/1514.43	c   max depth        :         76
1514.42/1514.43	c   max depth (total):         76
1514.42/1514.43	c   backtracks       :      40488 (11.4%)
1514.42/1514.43	c   delayed cutoffs  :       5974
1514.42/1514.43	c   repropagations   :     706082 (923195 domain reductions, 5707 cutoffs)
1514.42/1514.43	c   avg switch length:       5.46
1514.42/1514.43	c   switching time   :      97.12
1514.42/1514.43	c Solution           :
1514.42/1514.43	c   Solutions found  :        179 (21 improvements)
1514.42/1514.43	c   First Solution   : +1.87000000000000e+02   (in run 1, after 1 nodes, 0.57 seconds, depth 1957, found by <shiftandpropagate>)
1514.42/1514.43	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 47247 nodes, 202.94 seconds, depth 35, found by <relaxation>)
1514.42/1514.43	c   Dual Bound       : +1.00000000000000e+00
1514.42/1514.43	c   Gap              :       0.00 %
1514.42/1514.43	c   Root Dual Bound  : +0.00000000000000e+00
1514.42/1514.43	c   Root Iterations  :        904
1514.42/1514.47	c Time complete: 1514.51.

Verifier Data 

OK	1

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-3447890-1307898930/watcher-3447890-1307898930 -o /var/tmp/evaluation-result-3447890-1307898930/solver-3447890-1307898930 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447890-1307898930.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: 0.92 0.99 1.08 2/173 20115
/proc/meminfo: memFree=1681776/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=10312 CPUtime=0 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 1571 0 0 0 0 0 0 0 24 0 1 0 901493952 10559488 1525 33554432000 4194304 9128323 140736755951296 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20115/statm: 2578 1525 399 1205 0 1369 0

[startup+0.0512921 s]
/proc/loadavg: 0.92 0.99 1.08 2/173 20115
/proc/meminfo: memFree=1681776/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=30708 CPUtime=0.04 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 6368 0 0 0 4 0 0 0 24 0 1 0 901493952 31444992 6320 33554432000 4194304 9128323 140736755951296 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 7677 6320 507 1205 0 6468 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30708

[startup+0.100273 s]
/proc/loadavg: 0.92 0.99 1.08 2/173 20115
/proc/meminfo: memFree=1681776/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=31732 CPUtime=0.09 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 6914 0 0 0 9 0 0 0 24 0 1 0 901493952 32493568 6609 33554432000 4194304 9128323 140736755951296 18446744073709551615 18446744073699065887 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 7933 6609 527 1205 0 6724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31732

[startup+0.300237 s]
/proc/loadavg: 0.92 0.99 1.08 2/173 20115
/proc/meminfo: memFree=1681776/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=38312 CPUtime=0.29 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 8705 0 0 0 29 0 0 0 25 0 1 0 901493952 39231488 8389 33554432000 4194304 9128323 140736755951296 18446744073709551615 5992444 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 9578 8389 617 1205 0 8369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38312

[startup+0.700168 s]
/proc/loadavg: 0.92 0.99 1.08 2/173 20115
/proc/meminfo: memFree=1681776/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=44136 CPUtime=0.69 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 10460 0 0 0 68 1 0 0 25 0 1 0 901493952 45195264 9982 33554432000 4194304 9128323 140736755951296 18446744073709551615 6696302 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 11034 9982 682 1205 0 9825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44136

[startup+1.50102 s]
/proc/loadavg: 0.92 0.99 1.08 3/178 20120
/proc/meminfo: memFree=1591804/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=50660 CPUtime=1.49 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 18989 0 0 0 146 3 0 0 25 0 1 0 901493952 51875840 11670 33554432000 4194304 9128323 140736755951296 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 12665 11670 726 1205 0 11456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50660

[startup+3.10074 s]
/proc/loadavg: 0.92 0.99 1.08 3/178 20120
/proc/meminfo: memFree=1581512/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=58588 CPUtime=3.09 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 26205 0 0 0 303 6 0 0 25 0 1 0 901493952 59994112 13529 33554432000 4194304 9128323 140736755951296 18446744073709551615 7343421 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 14647 13529 737 1205 0 13438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58588

[startup+6.30018 s]
/proc/loadavg: 1.01 1.00 1.09 3/178 20120
/proc/meminfo: memFree=1575900/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=62056 CPUtime=6.29 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 26911 0 0 0 616 13 0 0 25 0 1 0 901493952 63545344 14227 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 15514 14227 741 1205 0 14305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62056

[startup+12.701 s]
/proc/loadavg: 1.09 1.02 1.09 3/178 20120
/proc/meminfo: memFree=1569076/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=67596 CPUtime=12.69 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 28376 0 0 0 1244 25 0 0 25 0 1 0 901493952 69218304 15662 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 16899 15662 745 1205 0 15690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67596

[startup+25.5008 s]
/proc/loadavg: 1.29 1.07 1.11 3/178 20120
/proc/meminfo: memFree=1561944/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=73768 CPUtime=25.49 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 45473 0 0 0 2502 47 0 0 25 0 1 0 901493952 75538432 17309 33554432000 4194304 9128323 140736755951296 18446744073709551615 6712795 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 18442 17309 755 1205 0 17233 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73768

[startup+51.1002 s]
/proc/loadavg: 1.53 1.14 1.13 3/178 20121
/proc/meminfo: memFree=1554784/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=80612 CPUtime=51.09 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 76116 0 0 0 5008 101 0 0 25 0 1 0 901493952 82546688 19050 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 20153 19050 758 1205 0 18944 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 80612

[startup+102.307 s]
/proc/loadavg: 1.79 1.27 1.17 3/178 20123
/proc/meminfo: memFree=1549828/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=85032 CPUtime=102.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 128228 0 0 0 10006 224 0 0 25 0 1 0 901493952 87072768 20146 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 21258 20146 758 1205 0 20049 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 85032

[startup+162.301 s]
/proc/loadavg: 1.92 1.40 1.22 3/178 20124
/proc/meminfo: memFree=1544584/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=90020 CPUtime=162.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 139592 0 0 0 15867 363 0 0 25 0 1 0 901493952 92180480 21402 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 22505 21402 758 1205 0 21296 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 90020

[startup+222.301 s]
/proc/loadavg: 1.97 1.51 1.27 3/178 20126
/proc/meminfo: memFree=1541428/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=91820 CPUtime=222.29 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 163964 0 0 0 21735 494 0 0 25 0 1 0 901493952 94023680 21848 33554432000 4194304 9128323 140736755951296 18446744073709551615 6526643 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 22955 21848 758 1205 0 21746 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 91820

[startup+282.3 s]
/proc/loadavg: 1.99 1.59 1.31 3/178 20127
/proc/meminfo: memFree=1538280/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=93020 CPUtime=282.29 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 170656 0 0 0 27599 630 0 0 25 0 1 0 901493952 95252480 22178 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 23255 22178 758 1205 0 22046 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 93020

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.35 3/178 20129
/proc/meminfo: memFree=1535496/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=93928 CPUtime=342.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 175568 0 0 0 33472 758 0 0 25 0 1 0 901493952 96182272 22370 33554432000 4194304 9128323 140736755951296 18446744073709551615 7217752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 23482 22370 758 1205 0 22273 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 93928

[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.39 3/178 20131
/proc/meminfo: memFree=1533968/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=94332 CPUtime=402.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 175666 0 0 0 39335 895 0 0 25 0 1 0 901493952 96595968 22468 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 23583 22468 758 1205 0 22374 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 94332

[startup+462.3 s]
/proc/loadavg: 1.99 1.77 1.42 3/178 20132
/proc/meminfo: memFree=1531944/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=96376 CPUtime=462.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 179987 0 0 0 45195 1035 0 0 25 0 1 0 901493952 98689024 22942 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 24094 22942 758 1205 0 22885 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 96376

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.46 3/178 20134
/proc/meminfo: memFree=1528436/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=98532 CPUtime=522.3 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 180460 0 0 0 51056 1174 0 0 25 0 1 0 901493952 100896768 23415 33554432000 4194304 9128323 140736755951296 18446744073709551615 5321240 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 24633 23415 758 1205 0 23424 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 98532

[startup+582.3 s]
/proc/loadavg: 2.06 1.87 1.50 3/178 20135
/proc/meminfo: memFree=1523816/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=99176 CPUtime=582.31 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 180696 0 0 0 56921 1310 0 0 25 0 1 0 901493952 101556224 23651 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 24794 23651 758 1205 0 23585 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 99176

[startup+642.301 s]

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

/proc/meminfo: memFree=1490432/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=102904 CPUtime=942.31 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 186628 0 0 0 92143 2088 0 0 25 0 1 0 901493952 105373696 24595 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 25726 24595 758 1205 0 24517 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 102904

[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.66 3/178 20223
/proc/meminfo: memFree=1465888/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=103528 CPUtime=1002.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 186774 0 0 0 98001 2231 0 0 25 0 1 0 901493952 106012672 24741 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 25882 24741 758 1205 0 24673 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 103528

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.68 3/178 20224
/proc/meminfo: memFree=1446632/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=107136 CPUtime=1062.31 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192380 0 0 0 103865 2366 0 0 25 0 1 0 901493952 109707264 25536 33554432000 4194304 9128323 140736755951296 18446744073709551615 7343382 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 26784 25536 758 1205 0 25575 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 107136

[startup+1122.3 s]
/proc/loadavg: 2.04 1.98 1.70 3/178 20226
/proc/meminfo: memFree=1437428/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=107712 CPUtime=1122.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192451 0 0 0 109726 2506 0 0 25 0 1 0 901493952 110297088 25607 33554432000 4194304 9128323 140736755951296 18446744073709551615 4892607 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 26928 25607 758 1205 0 25719 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 107712

[startup+1182.3 s]
/proc/loadavg: 2.01 1.98 1.72 3/178 20227
/proc/meminfo: memFree=1425112/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=107912 CPUtime=1182.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192475 0 0 0 115587 2645 0 0 25 0 1 0 901493952 110501888 25631 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 26978 25631 758 1205 0 25769 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 107912

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.73 3/178 20229
/proc/meminfo: memFree=1413040/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=107912 CPUtime=1242.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192484 0 0 0 121449 2783 0 0 25 0 1 0 901493952 110501888 25640 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 26978 25640 758 1205 0 25769 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 107912

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.75 3/178 20231
/proc/meminfo: memFree=1402832/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=107912 CPUtime=1302.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192491 0 0 0 127314 2918 0 0 25 0 1 0 901493952 110501888 25647 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 26978 25647 758 1205 0 25769 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 107912

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.76 3/178 20232
/proc/meminfo: memFree=1389912/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=108764 CPUtime=1362.33 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 192723 0 0 0 133178 3055 0 0 25 0 1 0 901493952 111374336 25878 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27191 25878 758 1205 0 25982 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 108764

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.77 3/178 20234
/proc/meminfo: memFree=1376848/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=111592 CPUtime=1422.33 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193390 0 0 0 139047 3186 0 0 25 0 1 0 901493952 114270208 26541 33554432000 4194304 9128323 140736755951296 18446744073709551615 6584778 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27898 26541 758 1205 0 26689 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 111592

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.78 3/178 20235
/proc/meminfo: memFree=1372968/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=111732 CPUtime=1482.33 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193448 0 0 0 144917 3316 0 0 25 0 1 0 901493952 114413568 26599 33554432000 4194304 9128323 140736755951296 18446744073709551615 6530124 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27933 26599 758 1205 0 26724 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 111732

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

[startup+1484.7 s]
/proc/loadavg: 2.00 1.98 1.78 3/178 20235
/proc/meminfo: memFree=1372964/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=111732 CPUtime=1484.73 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193448 0 0 0 145151 3322 0 0 25 0 1 0 901493952 114413568 26599 33554432000 4194304 9128323 140736755951296 18446744073709551615 7192348 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27933 26599 758 1205 0 26724 0
Current children cumulated CPU time (s) 1484.73
Current children cumulated vsize (KiB) 111732

[startup+1497.5 s]
/proc/loadavg: 2.00 1.98 1.78 3/178 20236
/proc/meminfo: memFree=1371472/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=111732 CPUtime=1497.52 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193448 0 0 0 146404 3348 0 0 25 0 1 0 901493952 114413568 26599 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27933 26599 758 1205 0 26724 0
Current children cumulated CPU time (s) 1497.52
Current children cumulated vsize (KiB) 111732

[startup+1503.9 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1369356/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=111732 CPUtime=1503.93 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193449 0 0 0 147032 3361 0 0 25 0 1 0 901493952 114413568 26600 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 27933 26600 758 1205 0 26724 0
Current children cumulated CPU time (s) 1503.93
Current children cumulated vsize (KiB) 111732

[startup+1510.31 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1368112/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1510.33 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 147660 3373 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1510.33
Current children cumulated vsize (KiB) 112548

[startup+1511.9 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1368112/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1511.93 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 147816 3377 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1511.93
Current children cumulated vsize (KiB) 112548

[startup+1513.5 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1367988/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1513.53 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 147973 3380 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1513.53
Current children cumulated vsize (KiB) 112548

[startup+1513.9 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1367988/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1513.93 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 148012 3381 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 4241543 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1513.93
Current children cumulated vsize (KiB) 112548

[startup+1514.3 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1367988/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1514.32 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 148051 3381 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 5333032 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1514.32
Current children cumulated vsize (KiB) 112548

[startup+1514.4 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 20236
/proc/meminfo: memFree=1367988/32951124 swapFree=67052292/67111528
[pid=20115] ppid=20112 vsize=112548 CPUtime=1514.42 cores=1,3,5,7
/proc/20115/stat : 20115 (scip-2.0.1.4.li) R 20112 20115 19038 0 -1 4202496 193703 0 0 0 148061 3381 0 0 25 0 1 0 901493952 115249152 26850 33554432000 4194304 9128323 140736755951296 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20115/statm: 28137 26850 758 1205 0 26928 0
Current children cumulated CPU time (s) 1514.42
Current children cumulated vsize (KiB) 112548

Child status: 0
Real time (s): 1514.48
CPU time (s): 1514.52
CPU user time (s): 1480.69
CPU system time (s): 33.8259
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 114104

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

runsolver used 2.24666 second user time and 5.72613 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-12 19:15:30
IDJOB=3447890
IDBENCH=78984
IDSOLVER=1944
FILE ID=node108/3447890-1307898930
RUNJOBID= node108-1307898930-20092
PBS_JOBID= 13559595
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= 4d7369f2c7754df76e462e1a1e9c34c5
RANDOM SEED=1649696947

node108.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.15
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.82
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.77
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:     32951124 kB
MemFree:       1682376 kB
Buffers:         51548 kB
Cached:       30241636 kB
SwapCached:      23196 kB
Active:       15237560 kB
Inactive:     15085052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1682376 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:           24504 kB
Writeback:           0 kB
AnonPages:       26296 kB
Mapped:           8908 kB
Slab:           881660 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187124 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= 2864 MiB
End job on node108 at 2011-06-12 19:40:45