Trace number 3447315

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.16 1800.12

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900546417--soft-0-100-0.wbo
MD5SUM0e9942c7ddaaf04ff12871ed1ee37357
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark97.4932
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
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-3447315-1307900798.wbo>
0.00/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.05	o 137945
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.379450e+05
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   218 |     - |  17M|   0 |  34 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   524 |     - |  18M|   0 |  35 |5645 |8121 |5645 |2740 |  33 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   575 |     - |  18M|   0 |  54 |5645 |8121 |5645 |2769 |  62 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
0.89/0.90	c   0.9s|     1 |     0 |   590 |     - |  19M|   0 |  54 |5645 |8121 |5645 |2774 |  67 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
1.19/1.25	c   1.2s|     1 |     0 |   622 |     - |  20M|   0 |  58 |5645 |8121 |5645 |2783 |  76 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
1.59/1.64	c   1.6s|     1 |     0 |   643 |     - |  20M|   0 |  58 |5645 |8121 |5645 |2786 |  79 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
1.99/2.04	c   2.0s|     1 |     0 |   675 |     - |  20M|   0 |  61 |5645 |8121 |5645 |2790 |  83 |   0 |   0 | 0.000000e+00 | 1.379450e+05 |    Inf 
2.89/2.94	c   2.9s|     1 |     2 |   675 |     - |  20M|   0 |  61 |5645 |8121 |5645 |2790 |  83 |   0 |  33 | 0.000000e+00 | 1.379450e+05 |    Inf 
30.19/30.29	o 1129
30.19/30.29	c *30.3s|   553 |   548 | 86952 | 156.3 |  32M|  39 |   - |5645 |8121 |5645 |2831 |1201 |   0 |1220 | 0.000000e+00 | 1.129000e+03 |    Inf 
52.59/52.68	o 242
52.59/52.68	c *52.7s|  1178 |   680 |223990 | 189.7 |  32M|  39 |   - |5645 |8134 |5645 |2828 |2510 |  13 |1475 | 0.000000e+00 | 2.420000e+02 |    Inf 
112.39/112.47	o 236
112.39/112.47	c * 112s|  3363 |  2302 |635163 | 188.7 |  42M|  47 |   - |5645 |8877 |5645 |2776 |6887 | 761 |1727 | 0.000000e+00 | 2.360000e+02 |    Inf 
113.20/113.28	o 235
113.20/113.28	c f 113s|  3399 |  2331 |641866 | 188.7 |  42M|  47 |   - |5645 |8885 |5645 |2773 |6914 | 769 |1733 | 0.000000e+00 | 2.350000e+02 |    Inf 
114.50/114.59	o 187
114.50/114.59	c * 115s|  3447 |  2207 |650541 | 188.6 |  42M|  48 |   - |5645 |8897 |5645 |2781 |7028 | 781 |1736 | 0.000000e+00 | 1.870000e+02 |    Inf 
134.29/134.37	o 172
134.29/134.37	c * 134s|  4281 |  2709 |748517 | 174.7 |  48M|  51 |   - |5645 |9444 |5645 |2795 |7891 |1410 |1897 | 0.000000e+00 | 1.720000e+02 |    Inf 
141.19/141.29	o 168
141.19/141.29	c * 141s|  4854 |  2852 |778871 | 160.4 |  50M|  59 |   - |5645 |9490 |5645 |2783 |8147 |1819 |1964 | 0.000000e+00 | 1.680000e+02 |    Inf 
143.60/143.68	o 167
143.60/143.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
143.60/143.68	c R 144s|  4968 |  2887 |793429 | 159.6 |  52M|  59 |   - |5645 |9423 |5645 |2759 |8195 |1900 |1965 | 0.000000e+00 | 1.670000e+02 |    Inf 
143.80/143.80	o 164
143.80/143.80	c R 144s|  4972 |  2875 |794037 | 159.6 |  51M|  59 |   - |5645 |9415 |5645 |2759 |8195 |1903 |1965 | 0.000000e+00 | 1.640000e+02 |    Inf 
143.90/143.93	o 161
143.90/143.93	c * 144s|  4978 |  2848 |794350 | 159.5 |  51M|  59 |   - |5645 |9402 |5645 |2759 |8195 |1906 |1965 | 0.000000e+00 | 1.610000e+02 |    Inf 
143.90/143.97	o 158
143.90/143.97	c * 144s|  4982 |  2775 |794376 | 159.3 |  49M|  59 |   - |5645 |9403 |5645 |2759 |8195 |1908 |1965 | 0.000000e+00 | 1.580000e+02 |    Inf 
144.59/144.60	o 147
144.59/144.60	c * 145s|  5036 |  2698 |796188 | 158.0 |  48M|  59 |   - |5645 |9381 |5645 |2764 |8212 |1942 |1968 | 0.000000e+00 | 1.470000e+02 |    Inf 
144.79/144.80	o 125
144.79/144.80	c * 145s|  5044 |  2351 |796758 | 157.9 |  43M|  59 |   - |5645 |9379 |5645 |2793 |8245 |1945 |1968 | 0.000000e+00 | 1.250000e+02 |    Inf 
144.79/144.84	o 118
144.79/144.84	c * 145s|  5045 |  2332 |796777 | 157.8 |  43M|  59 |   - |5645 |9379 |5645 |2789 |8247 |1945 |1968 | 0.000000e+00 | 1.180000e+02 |    Inf 
144.89/144.93	o 116
144.89/144.93	c * 145s|  5048 |  2318 |797140 | 157.8 |  43M|  59 |   - |5645 |9377 |5645 |2768 |8255 |1945 |1968 | 0.000000e+00 | 1.160000e+02 |    Inf 
145.10/145.15	o 109
145.10/145.15	c * 145s|  5061 |  2300 |797802 | 157.5 |  43M|  59 |   - |5645 |9369 |5645 |2766 |8262 |1951 |1969 | 0.000000e+00 | 1.090000e+02 |    Inf 
146.10/146.18	o 101
146.10/146.18	c * 146s|  5170 |  2278 |800217 | 154.7 |  44M|  59 |   - |5645 |9315 |5645 |2753 |8268 |2019 |1969 | 0.000000e+00 | 1.010000e+02 |    Inf 
146.70/146.70	o 100
146.70/146.70	c c 147s|  5224 |  2279 |801785 | 153.4 |  44M|  59 |   - |5645 |9283 |5645 |2759 |8269 |2042 |1970 | 0.000000e+00 | 1.000000e+02 |    Inf 
146.79/146.83	o 99
146.79/146.83	c * 147s|  5230 |  2277 |802424 | 153.3 |  44M|  59 |   - |5645 |9218 |5645 |2759 |8269 |2042 |1970 | 0.000000e+00 | 9.900000e+01 |    Inf 
148.60/148.63	o 96
148.60/148.63	c * 149s|  5419 |  2285 |807714 | 149.0 |  45M|  59 |   - |5645 |9178 |5645 |2759 |8330 |2163 |1973 | 0.000000e+00 | 9.600000e+01 |    Inf 
149.00/149.04	o 85
149.00/149.04	c * 149s|  5457 |  2026 |808909 | 148.1 |  43M|  59 |   - |5645 |9011 |5645 |2764 |8339 |2181 |1973 | 0.000000e+00 | 8.500000e+01 |    Inf 
152.00/152.08	o 84
152.00/152.08	c * 152s|  5815 |  1532 |815101 | 140.1 |  41M|  59 |   - |5645 |8486 |5645 |2760 |8429 |2506 |1982 | 0.000000e+00 | 8.400000e+01 |    Inf 
160.69/160.75	o 70
160.69/160.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
160.69/160.75	c * 161s|  6915 |  1219 |828698 | 119.8 |  44M|  73 |   - |5645 |8573 |5645 |2750 |8494 |3459 |2032 | 0.000000e+00 | 7.000000e+01 |    Inf 
174.99/175.09	o 49
174.99/175.09	c * 175s|  9268 |  1050 |845461 |  91.2 |  47M|  91 |   - |5645 |8781 |5645 |2765 |8813 |5843 |2074 | 0.000000e+00 | 4.900000e+01 |    Inf 
176.09/176.19	o 32
176.09/176.19	c * 176s|  9419 |   954 |847134 |  89.9 |  46M|  91 |   - |5645 |7424 |5645 |2751 |8829 |6017 |2079 | 0.000000e+00 | 3.200000e+01 |    Inf 
179.30/179.39	c   179s| 10000 |   908 |853693 |  85.3 |  46M|  91 |  18 |5645 |6053 |5645 |2760 |8847 |6719 |2093 | 0.000000e+00 | 3.200000e+01 |    Inf 
180.20/180.29	o 15
180.20/180.29	c * 180s| 10140 |   809 |855313 |  84.3 |  44M|  91 |   - |5645 |6161 |5645 |2753 |8853 |6897 |2098 | 0.000000e+00 | 1.500000e+01 |    Inf 
182.10/182.13	o 14
182.10/182.13	c * 182s| 10493 |   702 |860191 |  81.9 |  43M|  91 |   - |5645 |4995 |5645 |2749 |8858 |7309 |2104 | 0.000000e+00 | 1.400000e+01 |    Inf 
182.40/182.41	o 11
182.40/182.41	c * 182s| 10538 |   655 |861071 |  81.7 |  42M|  91 |   - |5645 |4861 |5645 |2750 |8858 |7360 |2104 | 0.000000e+00 | 1.100000e+01 |    Inf 
182.70/182.74	o 10
182.70/182.74	c * 183s| 10591 |   620 |862165 |  81.3 |  42M|  91 |   - |5645 |4520 |5645 |2759 |8858 |7423 |2105 | 0.000000e+00 | 1.000000e+01 |    Inf 
188.10/188.19	o 9
188.10/188.19	c * 188s| 11877 |   543 |879984 |  74.0 |  42M|  91 |   - |5645 |5171 |5645 |2759 |8863 |8963 |2105 | 0.000000e+00 | 9.000000e+00 |    Inf 
190.20/190.30	o 8
190.20/190.30	c * 190s| 12337 |   514 |886115 |  71.8 |  42M|  91 |   - |5645 |5336 |5645 |2760 |8868 |9541 |2123 | 0.000000e+00 | 8.000000e+00 |    Inf 
191.30/191.30	o 6
191.30/191.30	c * 191s| 12551 |   496 |889245 |  70.8 |  42M|  91 |   - |5645 |5343 |5645 |2749 |8870 |9793 |2137 | 0.000000e+00 | 6.000000e+00 |    Inf 
201.40/201.48	o 5
201.40/201.48	c * 201s| 15213 |   557 |922331 |  60.6 |  43M|  91 |   - |5645 |7152 |5645 |2749 |8872 |  13k|2192 | 0.000000e+00 | 5.000000e+00 |    Inf 
209.10/209.15	o 4
209.10/209.15	c * 209s| 17232 |   560 |948128 |  55.0 |  44M|  91 |   - |5645 |8154 |5645 |2749 |8875 |  15k|2207 | 0.000000e+00 | 4.000000e+00 |    Inf 
220.80/220.84	c   221s| 20000 |   536 |985952 |  49.3 |  44M|  91 |   - |5645 |7807 |   0 |   0 |8876 |  19k|2361 | 0.000000e+00 | 4.000000e+00 |    Inf 
226.29/226.33	o 3
226.29/226.33	c * 226s| 21323 |   418 |  1005k|  47.1 |  42M|  91 |   - |5645 |7844 |5645 |2759 |8877 |  20k|2386 | 0.000000e+00 | 3.000000e+00 |    Inf 
263.40/263.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
263.40/263.46	c   263s| 30000 |   329 |  1146k|  38.2 |  43M|  91 |  39 |5645 |  12k|5645 |2759 |8878 |  32k|2716 | 0.000000e+00 | 3.000000e+00 |    Inf 
284.59/284.67	o 2
284.59/284.67	c * 285s| 34877 |   319 |  1222k|  35.0 |  45M|  91 |   - |5645 |  15k|5645 |2759 |8878 |  39k|2966 | 0.000000e+00 | 2.000000e+00 |    Inf 
307.09/307.14	c   307s| 40000 |   380 |  1307k|  32.7 |  48M|  91 |   - |5645 |  19k|   0 |   0 |8878 |  46k|3089 | 0.000000e+00 | 2.000000e+00 |    Inf 
329.50/329.53	o 1
329.50/329.53	c * 330s| 45161 |   303 |  1388k|  30.7 |  46M|  91 |   - |5645 |  16k|5645 |2760 |8879 |  54k|3204 | 0.000000e+00 | 1.000000e+00 |    Inf 
351.39/351.46	c   351s| 50000 |   314 |  1467k|  29.3 |  46M|  91 |  26 |5645 |  17k|5645 |2759 |8879 |  60k|3461 | 0.000000e+00 | 1.000000e+00 |    Inf 
394.90/394.92	c   395s| 60000 |   291 |  1631k|  27.2 |  46M|  91 |   - |5645 |  17k|   0 |   0 |8879 |  73k|3768 | 0.000000e+00 | 1.000000e+00 |    Inf 
438.70/438.77	c   439s| 70000 |   278 |  1798k|  25.7 |  49M|  91 |   - |5645 |  22k|5645 |2759 |8879 |  87k|4011 | 0.000000e+00 | 1.000000e+00 |    Inf 
487.31/487.39	c   487s| 80000 |   256 |  1977k|  24.7 |  49M|  91 |  34 |5645 |  22k|5645 |2759 |8879 | 101k|4338 | 0.000000e+00 | 1.000000e+00 |    Inf 
534.21/534.20	c   534s| 90000 |   244 |  2144k|  23.8 |  51M|  91 |  44 |5645 |  26k|5645 |2759 |8879 | 114k|4596 | 0.000000e+00 | 1.000000e+00 |    Inf 
581.41/581.46	c   581s|100000 |   273 |  2308k|  23.1 |  56M|  91 |  31 |5645 |  35k|5645 |2759 |8879 | 128k|4840 | 0.000000e+00 | 1.000000e+00 |    Inf 
628.70/628.73	c   629s|110000 |   235 |  2472k|  22.5 |  55M|  91 |  37 |5645 |  34k|5645 |2759 |8879 | 141k|5064 | 0.000000e+00 | 1.000000e+00 |    Inf 
676.01/676.03	c   676s|120000 |   234 |  2625k|  21.9 |  59M|  91 |  31 |5645 |  42k|5645 |2759 |8879 | 155k|5291 | 0.000000e+00 | 1.000000e+00 |    Inf 
726.31/726.36	c   726s|130000 |   250 |  2790k|  21.5 |  63M|  91 |  29 |5645 |  50k|5645 |2759 |8879 | 169k|5512 | 0.000000e+00 | 1.000000e+00 |    Inf 
778.21/778.27	c   778s|140000 |   186 |  2963k|  21.2 |  56M|  91 |   - |5645 |  35k|5645 |2759 |8879 | 182k|5804 | 0.000000e+00 | 1.000000e+00 |    Inf 
826.21/826.23	c   826s|150000 |   209 |  3124k|  20.8 |  55M|  91 |   - |5645 |  34k|5645 |2749 |8879 | 195k|5941 | 0.000000e+00 | 1.000000e+00 |    Inf 
875.21/875.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
875.21/875.20	c   875s|160000 |   228 |  3292k|  20.6 |  57M|  91 |  33 |5645 |  38k|5645 |2749 |8879 | 208k|6125 | 0.000000e+00 | 1.000000e+00 |    Inf 
923.32/923.37	c   923s|170000 |   208 |  3450k|  20.3 |  58M|  91 |   - |5645 |  40k|5645 |2749 |8879 | 220k|6288 | 0.000000e+00 | 1.000000e+00 |    Inf 
974.91/974.97	c   975s|180000 |   192 |  3625k|  20.1 |  59M|  91 |   - |5645 |  44k|5645 |2749 |8879 | 233k|6499 | 0.000000e+00 | 1.000000e+00 |    Inf 
1028.91/1028.98	c  1029s|190000 |   179 |  3800k|  20.0 |  60M|  91 |  35 |5645 |  44k|5645 |2759 |8879 | 246k|6728 | 0.000000e+00 | 1.000000e+00 |    Inf 
1084.82/1084.89	c  1085s|200000 |   166 |  3976k|  19.9 |  62M|  91 |  26 |5645 |  49k|5645 |2759 |8879 | 259k|6953 | 0.000000e+00 | 1.000000e+00 |    Inf 
1135.82/1135.84	c  1136s|210000 |   160 |  4146k|  19.7 |  60M|  91 |  27 |5645 |  44k|5645 |2759 |8879 | 272k|7120 | 0.000000e+00 | 1.000000e+00 |    Inf 
1184.72/1184.72	c  1185s|220000 |   154 |  4301k|  19.6 |  63M|  91 |  43 |5645 |  52k|5645 |2759 |8879 | 285k|7272 | 0.000000e+00 | 1.000000e+00 |    Inf 
1235.43/1235.43	c  1235s|230000 |   168 |  4459k|  19.4 |  65M|  91 |   - |5645 |  56k|5645 |2759 |8879 | 299k|7385 | 0.000000e+00 | 1.000000e+00 |    Inf 
1289.02/1289.02	c  1289s|240000 |   159 |  4626k|  19.3 |  64M|  91 |  30 |5645 |  54k|5645 |2759 |8879 | 312k|7557 | 0.000000e+00 | 1.000000e+00 |    Inf 
1342.03/1342.01	c  1342s|250000 |   152 |  4792k|  19.2 |  68M|  91 |  19 |5645 |  61k|5645 |2759 |8879 | 326k|7734 | 0.000000e+00 | 1.000000e+00 |    Inf 
1396.73/1396.77	c  1397s|260000 |   154 |  4958k|  19.1 |  72M|  91 |   - |5645 |  70k|5645 |2759 |8879 | 340k|7937 | 0.000000e+00 | 1.000000e+00 |    Inf 
1454.02/1454.08	c  1454s|270000 |   157 |  5132k|  19.0 |  72M|  91 |  39 |5645 |  68k|5645 |2759 |8879 | 354k|8059 | 0.000000e+00 | 1.000000e+00 |    Inf 
1512.93/1512.91	c  1513s|280000 |   194 |  5313k|  19.0 |  76M|  91 |  36 |5645 |  75k|5645 |2759 |8879 | 368k|8208 | 0.000000e+00 | 1.000000e+00 |    Inf 
1570.13/1570.10	c  1570s|290000 |   151 |  5483k|  18.9 |  75M|  91 |   - |5645 |  75k|   0 |   0 |8879 | 382k|8385 | 0.000000e+00 | 1.000000e+00 |    Inf 
1631.43/1631.45	c  1631s|300000 |   165 |  5650k|  18.8 |  78M|  91 |   - |5645 |  80k|   0 |   0 |8879 | 396k|8589 | 0.000000e+00 | 1.000000e+00 |    Inf 
1691.43/1691.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1691.43/1691.48	c  1691s|310000 |   157 |  5810k|  18.7 |  79M|  91 |  40 |5645 |  83k|5645 |2759 |8879 | 410k|8660 | 0.000000e+00 | 1.000000e+00 |    Inf 
1750.23/1750.28	c  1750s|320000 |   128 |  5979k|  18.7 |  71M|  91 |   - |5645 |  65k|5645 |2759 |8879 | 423k|8898 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1800.01
1800.04/1800.01	c Solving Nodes      : 328700
1800.04/1800.01	c Primal Bound       : +1.00000000000000e+00 (394 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	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 
1800.04/1800.01	v -x125 -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 Total Time         :    1800.01
1800.04/1800.01	c   solving          :    1800.01
1800.04/1800.01	c   presolving       :       0.09 (included in solving)
1800.04/1800.01	c   reading          :       0.02 (included in solving)
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-3447315-1307900798.wbo
1800.04/1800.01	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01	c   Constraints      : 2708 initial, 2708 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-3447315-1307900798.wbo
1800.04/1800.01	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1800.04/1800.01	c   Constraints      : 5414 initial, 85028 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.02          0          0          0       2707          0          1          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -       5414          -          -       5414          -          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     181449          0       2592          0        371       3237          0          0     339738
1800.04/1800.01	c   varbound         :          0+         6     260024       8819          0          0      10725          4    1088600       8866          0          0
1800.04/1800.01	c   linear           :       2707          6    1794139         17          1       2588    5685736      56404    6733968          0          0          0
1800.04/1800.01	c   indicator        :       2707          0     252784       8819          0       2567      13469          0      12883          0          0          0
1800.04/1800.01	c   logicor          :          0+         0     514594          0          0          0    1391257       5423     331572          0          0          0
1800.04/1800.01	c   bounddisjunction :          0+         0     192625          0          0          0        457         80        989          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0         33          1        363          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.01	c   integral         :      73.43       0.00       0.00      73.39       0.00       0.04       0.00
1800.04/1800.01	c   varbound         :       4.14       0.00       3.57       0.56       0.00       0.00       0.00
1800.04/1800.01	c   linear           :      91.48       0.00      87.06       0.00       0.00       0.90       3.52
1800.04/1800.01	c   indicator        :      11.15       0.00       4.51       2.84       0.00       3.80       0.01
1800.04/1800.01	c   logicor          :     180.50       0.00     178.03       0.00       0.00       0.00       2.47
1800.04/1800.01	c   bounddisjunction :       0.67       0.00       0.67       0.00       0.00       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :      47968       2012          4      91015
1800.04/1800.01	c   rootredcost      :         37          0          0       2707
1800.04/1800.01	c   pseudoobj        :    1796996      10830       2869    1083888
1800.04/1800.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.01	c   vbounds          :      13.07      13.07       0.00
1800.04/1800.01	c   rootredcost      :       0.34       0.34       0.00
1800.04/1800.01	c   pseudoobj        :      68.29      67.97       0.32
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       4.84      64784      64705     386156       35.3       1311       25.7          -
1800.04/1800.01	c   infeasible LP    :      45.02     101562     101557     706916       43.9       1499       15.1          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          2          2          4        7.5          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -     434961       35.0          -          -          -
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          -          -         43          -    (maximal pool size: 319)
1800.04/1800.01	c   redcost          :      17.21     176936          0      90637          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   gomory           :       0.74          6          0          0       1098          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.01	c   strongcg         :       0.57          6          0          0       2231          0
1800.04/1800.01	c   cmir             :       0.14          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.13          6          0          0          1          0
1800.04/1800.01	c   clique           :       0.00          1          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   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.20          1          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        :      73.18     172620        371       3237          0          0     339738
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.00          1          0          0          0          0          2
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.03          -         33
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.01          0          0
1800.04/1800.01	c   intshifting      :       0.01          0          0
1800.04/1800.01	c   oneopt           :       0.66         36          0
1800.04/1800.01	c   crossover        :       1.75         33          0
1800.04/1800.01	c   linesearchdiving :       3.51        101          0
1800.04/1800.01	c   rootsoldiving    :       3.77         51          0
1800.04/1800.01	c   coefdiving       :       5.43        102          1
1800.04/1800.01	c   guideddiving     :       5.28        102          0
1800.04/1800.01	c   pscostdiving     :       4.85        102          0
1800.04/1800.01	c   fracdiving       :       5.13        102          1
1800.04/1800.01	c   veclendiving     :       3.11        102          0
1800.04/1800.01	c   objpscostdiving  :       2.24         52          0
1800.04/1800.01	c   trivial          :       0.01          2          1
1800.04/1800.01	c   shiftandpropagate:       0.00          0          0
1800.04/1800.01	c   simplerounding   :       1.20     172959          0
1800.04/1800.01	c   zirounding       :       0.40       1000          0
1800.04/1800.01	c   rounding         :       4.59      26784          2
1800.04/1800.01	c   shifting         :       1.31       1837          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   clique           :       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.05          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   vbounds          :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   subnlp           :       0.09          0          0
1800.04/1800.01	c   trysol           :       0.81       1870        356
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.24          0          0       0.00       0.00
1800.04/1800.01	c   dual LP          :     931.23     282664    5986369      21.18    6428.43
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:      22.91       7425     135823      18.29    5927.29
1800.04/1800.01	c   strong branching :      69.58       8982     436594      48.61    6274.95
1800.04/1800.01	c     (at root node) :          -         33       6743     204.33          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     328700
1800.04/1800.01	c   nodes (total)    :     328700
1800.04/1800.01	c   nodes left       :        111
1800.04/1800.01	c   max depth        :         91
1800.04/1800.01	c   max depth (total):         91
1800.04/1800.01	c   backtracks       :      31807 (9.7%)
1800.04/1800.01	c   delayed cutoffs  :       7566
1800.04/1800.01	c   repropagations   :     816521 (1244760 domain reductions, 6848 cutoffs)
1800.04/1800.01	c   avg switch length:       6.26
1800.04/1800.01	c   switching time   :     163.15
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        394 (38 improvements)
1800.04/1800.01	c   First Solution   : +1.37945000000000e+05   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 45161 nodes, 329.53 seconds, depth 40, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        675
1800.14/1800.11	c Time complete: 1800.15.

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-3447315-1307900798/watcher-3447315-1307900798 -o /var/tmp/evaluation-result-3447315-1307900798/solver-3447315-1307900798 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447315-1307900798.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 15167
/proc/meminfo: memFree=1476568/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=10292 CPUtime=0 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 1571 0 0 0 0 0 0 0 25 0 1 0 882495089 10539008 1524 33554432000 4194304 9128323 140733558373424 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15167/statm: 2573 1524 399 1205 0 1364 0

[startup+0.096562 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 15167
/proc/meminfo: memFree=1476568/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=35724 CPUtime=0.09 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 7949 0 0 0 8 1 0 0 25 0 1 0 882495089 36581376 7643 33554432000 4194304 9128323 140733558373424 18446744073709551615 5976452 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 8931 7643 531 1205 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35724

[startup+0.100552 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 15167
/proc/meminfo: memFree=1476568/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=35724 CPUtime=0.09 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 7949 0 0 0 8 1 0 0 25 0 1 0 882495089 36581376 7643 33554432000 4194304 9128323 140733558373424 18446744073709551615 6505527 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 8931 7643 531 1205 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35724

[startup+0.300528 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 15167
/proc/meminfo: memFree=1476568/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=72060 CPUtime=0.29 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 17342 0 0 0 27 2 0 0 18 0 1 0 882495089 73789440 16930 33554432000 4194304 9128323 140733558373424 18446744073709551615 6889365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 18015 16934 689 1205 0 16806 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72060

[startup+0.700447 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 15167
/proc/meminfo: memFree=1476568/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=51004 CPUtime=0.69 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 20784 0 0 0 67 2 0 0 18 0 1 0 882495089 52228096 11661 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 12751 11661 715 1205 0 11542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51004

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15168
/proc/meminfo: memFree=1431084/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=56348 CPUtime=1.49 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 22065 0 0 0 146 3 0 0 19 0 1 0 882495089 57700352 12936 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 14087 12936 709 1205 0 12878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56348

[startup+3.10103 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15168
/proc/meminfo: memFree=1397852/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=64748 CPUtime=3.09 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 30011 0 0 0 304 5 0 0 25 0 1 0 882495089 66301952 14765 33554432000 4194304 9128323 140733558373424 18446744073709551615 7342520 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 16187 14765 726 1205 0 14978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64748

[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15168
/proc/meminfo: memFree=1419128/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=65224 CPUtime=6.29 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 30091 0 0 0 622 7 0 0 25 0 1 0 882495089 66789376 14844 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 16306 14844 726 1205 0 15097 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65224

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15168
/proc/meminfo: memFree=1418892/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=65224 CPUtime=12.69 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 30125 0 0 0 1256 13 0 0 25 0 1 0 882495089 66789376 14878 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 16306 14878 726 1205 0 15097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65224

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15169
/proc/meminfo: memFree=1406868/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=76580 CPUtime=25.5 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 38865 0 0 0 2526 24 0 0 25 0 1 0 882495089 78417920 17611 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 19145 17611 730 1205 0 17936 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 76580

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15170
/proc/meminfo: memFree=1402992/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=79608 CPUtime=51.09 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 41679 0 0 0 5065 44 0 0 25 0 1 0 882495089 81518592 18413 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 19902 18413 737 1205 0 18693 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79608

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15171
/proc/meminfo: memFree=1389776/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=88756 CPUtime=102.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 62235 0 0 0 10141 89 0 0 25 0 1 0 882495089 90886144 20720 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 22189 20720 740 1205 0 20980 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 88756

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15172
/proc/meminfo: memFree=1349404/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=125436 CPUtime=162.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 97662 0 0 0 16103 127 0 0 25 0 1 0 882495089 128446464 29799 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 31359 29799 740 1205 0 30150 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 125436

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15174
/proc/meminfo: memFree=1322312/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=146060 CPUtime=222.29 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 182042 0 0 0 22066 163 0 0 25 0 1 0 882495089 149565440 34961 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 36515 34961 749 1205 0 35306 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 146060

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15176
/proc/meminfo: memFree=1310108/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=148612 CPUtime=282.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 209981 0 0 0 28030 200 0 0 25 0 1 0 882495089 152178688 35608 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 37153 35608 749 1205 0 35944 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 148612

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 15177
/proc/meminfo: memFree=1295792/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=154184 CPUtime=342.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 247336 0 0 0 33992 238 0 0 25 0 1 0 882495089 157884416 36955 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 38546 36955 749 1205 0 37337 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 154184

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 15179
/proc/meminfo: memFree=1283460/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=155552 CPUtime=402.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 257670 0 0 0 39954 276 0 0 25 0 1 0 882495089 159285248 37377 33554432000 4194304 9128323 140733558373424 18446744073709551615 6732552 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 38888 37377 749 1205 0 37679 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 155552

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15180
/proc/meminfo: memFree=1276840/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=157416 CPUtime=462.31 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 263852 0 0 0 45923 308 0 0 25 0 1 0 882495089 161193984 37811 33554432000 4194304 9128323 140733558373424 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 39354 37811 749 1205 0 38145 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 157416

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15182
/proc/meminfo: memFree=1266236/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=159964 CPUtime=522.31 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 264494 0 0 0 51890 341 0 0 25 0 1 0 882495089 163803136 38453 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 39991 38453 749 1205 0 38782 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 159964

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15184
/proc/meminfo: memFree=1258860/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=163648 CPUtime=582.3 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 271182 0 0 0 57859 371 0 0 25 0 1 0 882495089 167575552 39373 33554432000 4194304 9128323 140733558373424 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 40912 39373 749 1205 0 39703 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 163648

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15201
/proc/meminfo: memFree=1214440/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=176116 CPUtime=882.31 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 276574 0 0 0 87710 521 0 0 25 0 1 0 882495089 180342784 42401 33554432000 4194304 9128323 140733558373424 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 44029 42401 749 1205 0 42820 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 176116

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15202
/proc/meminfo: memFree=1213392/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=176636 CPUtime=942.32 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 276717 0 0 0 93683 549 0 0 25 0 1 0 882495089 180875264 42544 33554432000 4194304 9128323 140733558373424 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 44159 42544 749 1205 0 42950 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 176636

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15204
/proc/meminfo: memFree=1214296/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=177084 CPUtime=1002.31 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 276850 0 0 0 99655 576 0 0 25 0 1 0 882495089 181334016 42677 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 44271 42677 749 1205 0 43062 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 177084

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15205
/proc/meminfo: memFree=1207156/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=179048 CPUtime=1062.32 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 277330 0 0 0 105630 602 0 0 25 0 1 0 882495089 183345152 43144 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 44762 43144 749 1205 0 43553 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 179048

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15207
/proc/meminfo: memFree=1204356/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=180020 CPUtime=1122.31 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 277562 0 0 0 111601 630 0 0 25 0 1 0 882495089 184340480 43372 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 45005 43372 749 1205 0 43796 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 180020

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15209
/proc/meminfo: memFree=1208888/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=180496 CPUtime=1182.32 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 277666 0 0 0 117574 658 0 0 25 0 1 0 882495089 184827904 43476 33554432000 4194304 9128323 140733558373424 18446744073709551615 5207912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 45124 43476 749 1205 0 43915 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 180496

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15210
/proc/meminfo: memFree=1196664/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=183516 CPUtime=1242.32 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 278420 0 0 0 123548 684 0 0 25 0 1 0 882495089 187920384 44226 33554432000 4194304 9128323 140733558373424 18446744073709551615 5240725 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 45879 44226 749 1205 0 44670 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 183516

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15212
/proc/meminfo: memFree=1202076/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=184544 CPUtime=1302.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 278621 0 0 0 129522 711 0 0 25 0 1 0 882495089 188973056 44427 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 46136 44427 749 1205 0 44927 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 184544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15213
/proc/meminfo: memFree=1196808/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=186608 CPUtime=1362.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 284306 0 0 0 135495 738 0 0 25 0 1 0 882495089 191086592 44910 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 46652 44910 749 1205 0 45443 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 186608

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15215
/proc/meminfo: memFree=1185712/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=189044 CPUtime=1422.34 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 284842 0 0 0 141467 767 0 0 25 0 1 0 882495089 193581056 45446 33554432000 4194304 9128323 140733558373424 18446744073709551615 5240754 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 47261 45446 749 1205 0 46052 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 189044

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15484
/proc/meminfo: memFree=1482140/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=191620 CPUtime=1482.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 285443 0 0 0 147438 795 0 0 25 0 1 0 882495089 196218880 46047 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 47905 46047 749 1205 0 46696 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 191620

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15523
/proc/meminfo: memFree=1505540/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=193104 CPUtime=1542.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 285866 0 0 0 153412 821 0 0 25 0 1 0 882495089 197738496 46470 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 48276 46470 749 1205 0 47067 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 193104

[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 15525
/proc/meminfo: memFree=1488172/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=194464 CPUtime=1602.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 286296 0 0 0 159386 847 0 0 25 0 1 0 882495089 199131136 46885 33554432000 4194304 9128323 140733558373424 18446744073709551615 5985952 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 48616 46885 749 1205 0 47407 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 194464

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 15526
/proc/meminfo: memFree=1475444/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=196764 CPUtime=1662.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 286807 0 0 0 165362 871 0 0 25 0 1 0 882495089 201486336 47396 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 49191 47396 749 1205 0 47982 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 196764

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/178 15528
/proc/meminfo: memFree=1460032/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=200620 CPUtime=1722.33 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 287663 0 0 0 171336 897 0 0 25 0 1 0 882495089 205434880 48252 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 50155 48252 749 1205 0 48946 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 200620

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 15530
/proc/meminfo: memFree=1451556/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=202420 CPUtime=1782.34 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 287854 0 0 0 177309 925 0 0 25 0 1 0 882495089 207278080 48443 33554432000 4194304 9128323 140733558373424 18446744073709551615 5207912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 50605 48443 749 1205 0 49396 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 202420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 15530
/proc/meminfo: memFree=1448800/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=202860 CPUtime=1800.04 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 287917 0 0 0 179071 933 0 0 25 0 1 0 882495089 207728640 48506 33554432000 4194304 9128323 140733558373424 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15167/statm: 50715 48506 749 1205 0 49506 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 202860

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

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

[startup+1800.11 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 15530
/proc/meminfo: memFree=1448800/32951124 swapFree=67057920/67111528
[pid=15167] ppid=15165 vsize=197516 CPUtime=1800.14 cores=0,2,4,6
/proc/15167/stat : 15167 (scip-2.0.1.4.li) R 15165 15167 14185 0 -1 4202496 287919 0 0 0 179081 933 0 0 18 0 1 0 882495089 202256384 47419 33554432000 4194304 9128323 140733558373424 18446744073709551615 6885312 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15167/statm: 49379 47419 751 1205 0 48170 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 197516

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.16
CPU user time (s): 1790.82
CPU system time (s): 9.33958
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 202860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.82
system time used= 9.33958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2121

runsolver used 2.76358 second user time and 5.59715 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-12 19:46:38
IDJOB=3447315
IDBENCH=79282
IDSOLVER=1944
FILE ID=node140/3447315-1307900798
RUNJOBID= node140-1307897193-14877
PBS_JOBID= 13559568
Free space on /var/tmp= 2900 MiB

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

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

MD5SUM BENCH= 0e9942c7ddaaf04ff12871ed1ee37357
RANDOM SEED=130580489

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1477004 kB
Buffers:         53456 kB
Cached:       30194296 kB
SwapCached:       7412 kB
Active:       16136412 kB
Inactive:     14388336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1477004 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:           12080 kB
Writeback:           0 kB
AnonPages:      274768 kB
Mapped:          16228 kB
Slab:           885376 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   474204 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= 2888 MiB
End job on node140 at 2011-06-12 20:16:40