Trace number 3447265

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo
MD5SUMe639daae290163b8abe4f9e3cf3dc11c
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 benchmark181.599
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
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-3447265-1307900484.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 136842
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.368420e+05
0.00/0.05	c presolving:
0.05/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.05/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   374 |     - |  18M|   0 |  44 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |   434 |     - |  19M|   0 |  56 |5645 |8121 |5645 |2746 |  39 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.89/0.91	c   0.9s|     1 |     0 |   463 |     - |  19M|   0 |  56 |5645 |8121 |5645 |2751 |  44 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.19/1.20	c   1.2s|     1 |     0 |   482 |     - |  20M|   0 |  59 |5645 |8121 |5645 |2756 |  49 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.49/1.52	c   1.5s|     1 |     0 |   512 |     - |  20M|   0 |  59 |5645 |8121 |5645 |2758 |  51 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.79/1.83	c   1.8s|     1 |     0 |   529 |     - |  21M|   0 |  58 |5645 |8121 |5645 |2759 |  52 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
2.39/2.41	c   2.4s|     1 |     2 |   529 |     - |  22M|   0 |  58 |5645 |8121 |5645 |2759 |  52 |   0 |  33 | 0.000000e+00 | 1.368420e+05 |    Inf 
16.29/16.30	o 1439
16.29/16.30	c *16.3s|   248 |   247 | 17454 |  68.5 |  26M| 113 |   - |5645 |8121 |5645 |2959 | 262 |   0 |1149 | 0.000000e+00 | 1.439000e+03 |    Inf 
22.49/22.53	o 395
22.49/22.53	c *22.5s|   533 |   482 | 47188 |  87.7 |  31M| 113 |   - |5645 |8121 |5645 |2882 | 935 |   0 |1366 | 0.000000e+00 | 3.950000e+02 |    Inf 
48.09/48.13	o 386
48.09/48.13	c *48.1s|  1195 |  1122 |209601 | 175.1 |  37M| 113 |   - |5645 |8179 |5645 |2779 |2506 |  58 |1656 | 0.000000e+00 | 3.860000e+02 |    Inf 
55.29/55.36	o 385
55.29/55.36	c l55.4s|  1397 |  1320 |260470 | 186.2 |  37M| 113 |   - |5645 |8210 |5645 |2760 |3054 |  89 |1669 | 0.000000e+00 | 3.850000e+02 |    Inf 
70.20/70.25	o 370
70.20/70.25	c *70.3s|  1799 |  1659 |357748 | 198.7 |  39M| 113 |   - |5645 |8359 |5645 |2781 |4491 | 238 |1697 | 0.000000e+00 | 3.700000e+02 |    Inf 
70.79/70.87	o 361
70.79/70.87	c *70.9s|  1812 |  1664 |362079 | 199.6 |  39M| 113 |   - |5645 |8359 |5645 |2802 |4543 | 238 |1697 | 0.000000e+00 | 3.610000e+02 |    Inf 
84.19/84.21	o 353
84.19/84.21	c *84.2s|  2042 |  1874 |455179 | 222.8 |  40M| 113 |   - |5645 |8448 |5645 |2763 |5693 | 327 |1706 | 0.000000e+00 | 3.530000e+02 |    Inf 
87.70/87.79	o 348
87.70/87.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
87.70/87.79	c *87.8s|  2143 |  1945 |475611 | 221.8 |  40M| 113 |   - |5645 |8491 |5645 |2799 |6056 | 370 |1709 | 0.000000e+00 | 3.480000e+02 |    Inf 
88.09/88.16	o 320
88.09/88.16	c *88.2s|  2150 |  1915 |477158 | 221.8 |  40M| 113 |   - |5645 |8494 |5645 |2832 |6092 | 373 |1709 | 0.000000e+00 | 3.200000e+02 |    Inf 
88.59/88.64	o 296
88.59/88.64	c r88.6s|  2163 |  1885 |479267 | 221.4 |  39M| 113 |   1 |5645 |8506 |5645 |2818 |6157 | 385 |1709 | 0.000000e+00 | 2.960000e+02 |    Inf 
88.59/88.66	o 294
88.59/88.66	c *88.7s|  2164 |  1881 |479276 | 221.3 |  39M| 113 |   - |5645 |8510 |5645 |2814 |6157 | 389 |1709 | 0.000000e+00 | 2.940000e+02 |    Inf 
89.10/89.12	o 286
89.10/89.12	c *89.1s|  2174 |  1873 |481122 | 221.2 |  39M| 113 |   - |5645 |8516 |5645 |2811 |6218 | 395 |1709 | 0.000000e+00 | 2.860000e+02 |    Inf 
93.80/93.80	o 275
93.80/93.80	c *93.8s|  2299 |  1907 |504841 | 219.5 |  39M| 113 |   - |5645 |8563 |5645 |2831 |6640 | 442 |1776 | 0.000000e+00 | 2.750000e+02 |    Inf 
95.19/95.21	o 273
95.19/95.21	c *95.2s|  2365 |  1939 |513135 | 216.8 |  40M| 113 |   - |5645 |8601 |5645 |2756 |6768 | 480 |1788 | 0.000000e+00 | 2.730000e+02 |    Inf 
102.90/102.93	o 264
102.90/102.93	c * 103s|  2610 |  2037 |559216 | 214.1 |  40M| 113 |   - |5645 |8729 |5645 |2814 |7298 | 608 |1842 | 0.000000e+00 | 2.640000e+02 |    Inf 
103.30/103.34	o 242
103.30/103.34	c * 103s|  2620 |  1977 |560996 | 214.0 |  40M| 113 |   - |5645 |8732 |5645 |2815 |7358 | 611 |1850 | 0.000000e+00 | 2.420000e+02 |    Inf 
106.29/106.35	o 223
106.29/106.35	c * 106s|  2703 |  1938 |577243 | 213.4 |  40M| 113 |   - |5645 |8773 |5645 |2794 |7548 | 652 |1889 | 0.000000e+00 | 2.230000e+02 |    Inf 
106.40/106.47	o 181
106.40/106.47	c * 106s|  2704 |  1663 |577412 | 213.4 |  38M| 113 |   - |5645 |8773 |5645 |2810 |7580 | 652 |1889 | 0.000000e+00 | 1.810000e+02 |    Inf 
106.99/107.09	o 170
106.99/107.09	c * 107s|  2725 |  1579 |580681 | 213.0 |  38M| 113 |   - |5645 |8784 |5645 |2798 |7633 | 663 |1895 | 0.000000e+00 | 1.700000e+02 |    Inf 
109.29/109.38	o 132
109.29/109.38	c * 109s|  2923 |  1404 |588571 | 201.2 |  39M| 113 |   - |5645 |8916 |5645 |2767 |7714 | 795 |1921 | 0.000000e+00 | 1.320000e+02 |    Inf 
109.39/109.48	o 109
109.39/109.48	c * 109s|  2927 |  1271 |588947 | 201.1 |  38M| 113 |   - |5645 |8917 |5645 |2766 |7726 | 796 |1921 | 0.000000e+00 | 1.090000e+02 |    Inf 
113.39/113.46	o 108
113.39/113.46	c * 113s|  3362 |  1375 |602153 | 179.0 |  41M| 113 |   - |5645 |9205 |5645 |2765 |7816 |1085 |1948 | 0.000000e+00 | 1.080000e+02 |    Inf 
113.80/113.82	o 107
113.80/113.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
113.80/113.82	c * 114s|  3407 |  1384 |603194 | 176.9 |  41M| 113 |   - |5645 |9231 |5645 |2756 |7824 |1111 |1948 | 0.000000e+00 | 1.070000e+02 |    Inf 
115.20/115.28	o 95
115.20/115.28	c * 115s|  3556 |   853 |607472 | 170.7 |  39M| 113 |   - |5645 |9349 |5645 |2760 |7844 |1236 |1955 | 0.000000e+00 | 9.500000e+01 |    Inf 
163.39/163.45	c   163s| 10000 |  1701 |713294 |  71.3 |  60M| 113 |   1 |5645 |9356 |5645 |2753 |8530 |6468 |2166 | 0.000000e+00 | 9.500000e+01 |    Inf 
229.69/229.70	c   230s| 20000 |  2502 |844055 |  42.2 |  79M| 113 |   4 |5645 |9175 |5645 |2762 |9264 |  14k|2357 | 0.000000e+00 | 9.500000e+01 |    Inf 
302.60/302.65	c   303s| 30000 |  3304 |977821 |  32.6 | 101M| 113 |   - |5645 |9375 |   0 |   0 |  10k|  23k|2526 | 0.000000e+00 | 9.500000e+01 |    Inf 
334.20/334.28	o 93
334.20/334.28	c * 334s| 34402 |  3558 |  1035k|  30.1 | 108M| 113 |   - |5645 |9075 |5645 |2755 |  10k|  27k|2594 | 0.000000e+00 | 9.300000e+01 |    Inf 
372.60/372.67	c   373s| 40000 |  3832 |  1095k|  27.4 | 119M| 113 |   1 |5645 |9507 |5645 |2753 |  11k|  33k|2671 | 0.000000e+00 | 9.300000e+01 |    Inf 
441.60/441.69	c   442s| 50000 |  4388 |  1210k|  24.2 | 133M| 113 |   1 |5645 |9151 |5645 |2753 |  12k|  42k|2849 | 0.000000e+00 | 9.300000e+01 |    Inf 
507.71/507.73	c   508s| 60000 |  4768 |  1318k|  22.0 | 146M| 113 |   - |5645 |9797 |   0 |   0 |  14k|  51k|2991 | 0.000000e+00 | 9.300000e+01 |    Inf 
564.10/564.12	c   564s| 70000 |  5154 |  1436k|  20.5 | 157M| 113 |   - |5645 |  10k|   0 |   0 |  14k|  61k|3128 | 0.000000e+00 | 9.300000e+01 |    Inf 
628.21/628.23	c   628s| 80000 |  5458 |  1535k|  19.2 | 166M| 113 |   7 |5645 |9616 |5645 |2753 |  15k|  70k|3272 | 0.000000e+00 | 9.300000e+01 |    Inf 
695.91/695.96	c   696s| 90000 |  5731 |  1643k|  18.3 | 177M| 113 |   - |5645 |9093 |   0 |   0 |  17k|  80k|3363 | 0.000000e+00 | 9.300000e+01 |    Inf 
756.91/756.99	o 62
756.91/756.99	c * 757s| 99121 |  5666 |  1733k|  17.5 | 181M| 113 |   - |5645 |9298 |5645 |2755 |  18k|  89k|3510 | 0.000000e+00 | 6.200000e+01 |    Inf 
762.91/762.97	c   763s|100000 |  5695 |  1744k|  17.4 | 183M| 113 |   - |5645 |7121 |5645 |2753 |  18k|  90k|3517 | 0.000000e+00 | 6.200000e+01 |    Inf 
799.62/799.64	o 43
799.62/799.64	c * 800s|105832 |  5088 |  1806k|  17.1 | 173M| 113 |   - |5645 |7415 |5645 |2756 |  18k|  97k|3606 | 0.000000e+00 | 4.300000e+01 |    Inf 
827.91/827.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
827.91/827.96	c   828s|110000 |  4265 |  1873k|  17.0 | 172M| 113 |  12 |5645 |7591 |5645 |2753 |  19k| 103k|3675 | 0.000000e+00 | 4.300000e+01 |    Inf 
851.91/851.98	o 41
851.91/851.98	c * 852s|114413 |  4058 |  1918k|  16.8 | 168M| 113 |   - |5645 |8054 |5645 |2754 |  19k| 109k|3761 | 0.000000e+00 | 4.100000e+01 |    Inf 
883.11/883.19	c   883s|120000 |  3946 |  1979k|  16.5 | 167M| 113 |   - |5645 |8036 |   0 |   0 |  19k| 116k|3855 | 0.000000e+00 | 4.100000e+01 |    Inf 
887.72/887.79	o 39
887.72/887.79	c * 888s|120910 |  3896 |  1987k|  16.4 | 163M| 113 |   - |5645 |8937 |5645 |2758 |  19k| 117k|3864 | 0.000000e+00 | 3.900000e+01 |    Inf 
908.62/908.66	o 36
908.62/908.66	c * 909s|124593 |  3837 |  2031k|  16.3 | 159M| 113 |   - |5645 |8648 |5645 |2754 |  19k| 122k|3924 | 0.000000e+00 | 3.600000e+01 |    Inf 
908.91/908.94	o 28
908.91/908.94	c * 909s|124670 |  3678 |  2031k|  16.3 | 149M| 113 |   - |5645 |8249 |5645 |2754 |  19k| 122k|3924 | 0.000000e+00 | 2.800000e+01 |    Inf 
916.01/916.00	o 23
916.01/916.00	c * 916s|125844 |  3296 |  2052k|  16.3 | 136M| 113 |   - |5645 |5705 |5645 |2754 |  19k| 124k|3943 | 0.000000e+00 | 2.300000e+01 |    Inf 
917.81/917.83	o 15
917.81/917.83	c * 918s|126178 |  2591 |  2058k|  16.3 | 117M| 113 |   - |5645 |5050 |5645 |2753 |  19k| 124k|3944 | 0.000000e+00 | 1.500000e+01 |    Inf 
921.62/921.66	o 12
921.62/921.66	c * 922s|126663 |  2036 |  2073k|  16.4 | 102M| 113 |   - |5645 |4266 |5645 |2753 |  19k| 125k|3982 | 0.000000e+00 | 1.200000e+01 |    Inf 
927.01/927.08	o 11
927.01/927.08	c * 927s|127758 |  1796 |  2093k|  16.4 |  95M| 113 |   - |5645 |4394 |5645 |2756 |  19k| 127k|4020 | 0.000000e+00 | 1.100000e+01 |    Inf 
934.82/934.89	o 5
934.82/934.89	c * 935s|129058 |   942 |  2125k|  16.5 |  71M| 113 |   - |5645 |4753 |5645 |2739 |  19k| 129k|4044 | 0.000000e+00 | 5.000000e+00 |    Inf 
938.92/938.92	c   939s|130000 |   919 |  2142k|  16.5 |  69M| 113 |  23 |5645 |5125 |5645 |2753 |  19k| 130k|4046 | 0.000000e+00 | 5.000000e+00 |    Inf 
980.32/980.31	o 4
980.32/980.31	c * 980s|138673 |   763 |  2305k|  16.6 |  66M| 113 |   - |5645 |7093 |5645 |2755 |  19k| 141k|4244 | 0.000000e+00 | 4.000000e+00 |    Inf 
986.81/986.81	c   987s|140000 |   763 |  2332k|  16.7 |  66M| 113 |   - |5645 |7561 |5645 |2753 |  19k| 143k|4277 | 0.000000e+00 | 4.000000e+00 |    Inf 
998.32/998.33	o 2
998.32/998.33	c * 998s|142766 |   718 |  2378k|  16.7 |  66M| 113 |   - |5645 |9679 |5645 |2754 |  19k| 147k|4290 | 0.000000e+00 | 2.000000e+00 |    Inf 
1002.22/1002.26	o 1
1002.22/1002.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.22/1002.26	c *1002s|143765 |   676 |  2393k|  16.6 |  64M| 113 |   - |5645 |  10k|5645 |2753 |  19k| 148k|4316 | 0.000000e+00 | 1.000000e+00 |    Inf 
1027.72/1027.79	c  1028s|150000 |   600 |  2498k|  16.7 |  60M| 113 |   - |5645 |7776 |5645 |2753 |  19k| 157k|4422 | 0.000000e+00 | 1.000000e+00 |    Inf 
1068.92/1068.99	c  1069s|160000 |   604 |  2664k|  16.7 |  61M| 113 |  32 |5645 |  10k|5645 |2753 |  19k| 170k|4601 | 0.000000e+00 | 1.000000e+00 |    Inf 
1108.52/1108.56	c  1109s|170000 |   648 |  2818k|  16.6 |  64M| 113 |   - |5645 |  15k|5645 |2753 |  19k| 184k|4693 | 0.000000e+00 | 1.000000e+00 |    Inf 
1150.23/1150.24	c  1150s|180000 |   790 |  2973k|  16.5 |  68M| 113 |   - |5645 |  20k|   0 |   0 |  19k| 199k|4829 | 0.000000e+00 | 1.000000e+00 |    Inf 
1192.62/1192.60	c  1193s|190000 |   734 |  3130k|  16.5 |  67M| 113 |   - |5645 |  17k|   0 |   0 |  19k| 214k|4996 | 0.000000e+00 | 1.000000e+00 |    Inf 
1235.83/1235.86	c  1236s|200000 |   735 |  3292k|  16.5 |  67M| 113 |   - |5645 |  17k|5645 |2753 |  19k| 229k|5149 | 0.000000e+00 | 1.000000e+00 |    Inf 
1278.92/1278.90	c  1279s|210000 |   657 |  3455k|  16.5 |  66M| 113 |  34 |5645 |  18k|5645 |2753 |  19k| 243k|5288 | 0.000000e+00 | 1.000000e+00 |    Inf 
1322.24/1322.28	c  1322s|220000 |   625 |  3618k|  16.4 |  67M| 113 |  29 |5645 |  19k|5645 |2753 |  19k| 257k|5441 | 0.000000e+00 | 1.000000e+00 |    Inf 
1365.13/1365.19	c  1365s|230000 |   571 |  3776k|  16.4 |  66M| 113 |  47 |5645 |  19k|5645 |2753 |  19k| 271k|5574 | 0.000000e+00 | 1.000000e+00 |    Inf 
1410.92/1410.95	c  1411s|240000 |   495 |  3948k|  16.4 |  60M| 113 |   - |5645 |  16k|   0 |   0 |  19k| 285k|5769 | 0.000000e+00 | 1.000000e+00 |    Inf 
1456.44/1456.47	c  1456s|250000 |   416 |  4125k|  16.5 |  54M| 113 |  38 |5645 |  11k|5645 |2737 |  19k| 298k|5927 | 0.000000e+00 | 1.000000e+00 |    Inf 
1499.03/1499.09	c  1499s|260000 |   389 |  4294k|  16.5 |  54M| 113 |  35 |5645 |  13k|5645 |2753 |  19k| 312k|6014 | 0.000000e+00 | 1.000000e+00 |    Inf 
1540.83/1540.82	c  1541s|270000 |   368 |  4455k|  16.5 |  55M| 113 |   - |5645 |  16k|   0 |   0 |  19k| 325k|6154 | 0.000000e+00 | 1.000000e+00 |    Inf 
1581.14/1581.14	c  1581s|280000 |   359 |  4601k|  16.4 |  57M| 113 |  30 |5645 |  20k|5645 |2753 |  19k| 339k|6232 | 0.000000e+00 | 1.000000e+00 |    Inf 
1624.13/1624.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1624.13/1624.14	c  1624s|290000 |   434 |  4750k|  16.4 |  60M| 113 |   - |5645 |  26k|5645 |2753 |  19k| 353k|6344 | 0.000000e+00 | 1.000000e+00 |    Inf 
1665.94/1665.97	c  1666s|300000 |   393 |  4895k|  16.3 |  60M| 113 |   - |5645 |  25k|5645 |2753 |  19k| 368k|6421 | 0.000000e+00 | 1.000000e+00 |    Inf 
1708.73/1708.78	c  1709s|310000 |   376 |  5048k|  16.3 |  59M| 113 |  22 |5645 |  24k|5645 |2753 |  19k| 382k|6536 | 0.000000e+00 | 1.000000e+00 |    Inf 
1754.33/1754.37	c  1754s|320000 |   323 |  5216k|  16.3 |  55M| 113 |   - |5645 |  18k|5645 |2753 |  19k| 395k|6702 | 0.000000e+00 | 1.000000e+00 |    Inf 
1796.54/1796.52	c  1797s|330000 |   324 |  5375k|  16.3 |  56M| 113 |  28 |5645 |  20k|5645 |2753 |  19k| 409k|6816 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 330893
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (566 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.00	v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.00	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 
1800.04/1800.00	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.00	v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.04/1800.00	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.04/1800.00	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.00	v -x79 x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.04/1800.00	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.00	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 
1800.04/1800.00	v -x1 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Total Time         :    1800.00
1800.04/1800.00	c   solving          :    1800.00
1800.04/1800.00	c   presolving       :       0.09 (included in solving)
1800.04/1800.00	c   reading          :       0.02 (included in solving)
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-3447265-1307900484.wbo
1800.04/1800.00	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 2708 initial, 2708 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-3447265-1307900484.wbo
1800.04/1800.00	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 5414 initial, 27699 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   linear           :       0.02          0          0          0       2707          0          1          0          0          0
1800.04/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   root node        :          -       5414          -          -       5414          -          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0     195672          0       8306          0        144       1138          0          0     349776
1800.04/1800.00	c   varbound         :          0+         6    1174523      19810          0          0     152347         21   14925118      19819          0          0
1800.04/1800.00	c   linear           :       2707          6    2155595         26          1       8302    5191550      53682    8660683          0          0          0
1800.04/1800.00	c   indicator        :       2707          0    1160636      19810          0       8284     172071          0     170253          0          0          0
1800.04/1800.00	c   logicor          :          0+         0     620921          0          0          0    1048674       9588     437361          0          0          0
1800.04/1800.00	c   bounddisjunction :          0+         0     157338          0          0          0       2776         94       4605          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0         37          1        531          0          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.00	c   integral         :      52.57       0.00       0.00      52.51       0.00       0.06       0.00
1800.04/1800.00	c   varbound         :      45.22       0.00      44.02       1.14       0.00       0.00       0.06
1800.04/1800.00	c   linear           :     111.95       0.00     105.57       0.00       0.00       2.28       4.09
1800.04/1800.00	c   indicator        :      78.06       0.00      58.52       6.28       0.00      13.19       0.07
1800.04/1800.00	c   logicor          :      54.72       0.00      53.10       0.00       0.00       0.00       1.63
1800.04/1800.00	c   bounddisjunction :       1.07       0.00       1.07       0.00       0.00       0.00       0.01
1800.04/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :     487282      65389         95    2220048
1800.04/1800.00	c   rootredcost      :         39          0          0       2707
1800.04/1800.00	c   pseudoobj        :    2198908     154459      43355   14921214
1800.04/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.00	c   vbounds          :     141.01     140.98       0.03
1800.04/1800.00	c   rootredcost      :       0.40       0.40       0.00
1800.04/1800.00	c   pseudoobj        :     109.40     104.92       4.48
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :      10.66     106835     106763     529304       29.6       2563       20.4          -
1800.04/1800.00	c   infeasible LP    :      26.20      60242      60241     450132       41.4       1304       14.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.01         37         37         44        4.7          5       18.8          -
1800.04/1800.00	c   applied globally :          -          -          -     410606       28.6          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          5          -          -         90          -    (maximal pool size: 566)
1800.04/1800.00	c   redcost          :      24.87     199199          0    2190944          0          0
1800.04/1800.00	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :       0.64          6          0          0       1082          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.00	c   strongcg         :       0.49          6          0          0       3000          0
1800.04/1800.00	c   cmir             :       0.14          6          0          0          3          0
1800.04/1800.00	c   flowcover        :       0.12          6          0          0          6          0
1800.04/1800.00	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.21          1          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :      52.32     175858        144       1138          0          0     349776
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :       0.00          1          0          0          0          0          2
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.06          -         37
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   feaspump         :       0.01          0          0
1800.04/1800.00	c   oneopt           :       0.64         37          0
1800.04/1800.00	c   fracdiving       :       1.66         63          0
1800.04/1800.00	c   veclendiving     :       1.70         63          0
1800.04/1800.00	c   linesearchdiving :       1.60         63          1
1800.04/1800.00	c   objpscostdiving  :       2.78         32          0
1800.04/1800.00	c   rootsoldiving    :       3.06         32          0
1800.04/1800.00	c   coefdiving       :       2.48         64          0
1800.04/1800.00	c   guideddiving     :       1.52         64          0
1800.04/1800.00	c   pscostdiving     :       1.83         64          0
1800.04/1800.00	c   crossover        :       1.80         29          0
1800.04/1800.00	c   trivial          :       0.01          2          1
1800.04/1800.00	c   shiftandpropagate:       0.00          0          0
1800.04/1800.00	c   simplerounding   :       8.24     182768          1
1800.04/1800.00	c   zirounding       :       0.44       1000          0
1800.04/1800.00	c   rounding         :       3.85       6008          0
1800.04/1800.00	c   shifting         :       2.79       1882          0
1800.04/1800.00	c   intshifting      :       0.01          0          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   clique           :       0.00          0          0
1800.05/1800.00	c   intdiving        :       0.00          0          0
1800.05/1800.00	c   actconsdiving    :       0.00          0          0
1800.05/1800.00	c   octane           :       0.00          0          0
1800.05/1800.00	c   rens             :       0.05          1          0
1800.05/1800.00	c   rins             :       0.00          0          0
1800.05/1800.00	c   localbranching   :       0.00          0          0
1800.05/1800.00	c   mutation         :       0.00          0          0
1800.05/1800.00	c   dins             :       0.00          0          0
1800.05/1800.00	c   vbounds          :       0.00          0          0
1800.05/1800.00	c   undercover       :       0.00          0          0
1800.05/1800.00	c   subnlp           :       0.07          0          0
1800.05/1800.00	c   trysol           :       1.06       6974        526
1800.05/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.00	c   primal LP        :       0.28          0          0       0.00       0.00
1800.05/1800.00	c   dual LP          :     854.88     263901    5319870      20.16    6222.95
1800.05/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.00	c   diving/probing LP:      10.99       2989      68620      22.96    6241.83

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-3447265-1307900484/watcher-3447265-1307900484 -o /var/tmp/evaluation-result-3447265-1307900484/solver-3447265-1307900484 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447265-1307900484.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.27 2.06 1.95 2/177 5883
/proc/meminfo: memFree=1263144/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=10288 CPUtime=0 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 901647206 10534912 1496 33554432000 4194304 9128323 140735105200176 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5883/statm: 2572 1509 399 1205 0 1363 0

[startup+0.0587009 s]
/proc/loadavg: 2.27 2.06 1.95 2/177 5883
/proc/meminfo: memFree=1263144/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=34696 CPUtime=0.05 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 7347 0 0 0 4 1 0 0 25 0 1 0 901647206 35528704 7298 33554432000 4194304 9128323 140735105200176 18446744073709551615 5198036 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 8674 7298 508 1205 0 7465 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34696

[startup+0.100694 s]
/proc/loadavg: 2.27 2.06 1.95 2/177 5883
/proc/meminfo: memFree=1263144/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=35720 CPUtime=0.09 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 7949 0 0 0 8 1 0 0 25 0 1 0 901647206 36577280 7643 33554432000 4194304 9128323 140735105200176 18446744073709551615 5240714 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 8930 7643 531 1205 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35720

[startup+0.300664 s]
/proc/loadavg: 2.27 2.06 1.95 2/177 5883
/proc/meminfo: memFree=1263144/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=72880 CPUtime=0.29 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 17547 0 0 0 27 2 0 0 25 0 1 0 901647206 74629120 17142 33554432000 4194304 9128323 140735105200176 18446744073709551615 8012615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 18220 17143 699 1205 0 17011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72880

[startup+0.700604 s]
/proc/loadavg: 2.27 2.06 1.95 2/177 5883
/proc/meminfo: memFree=1263144/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=53108 CPUtime=0.69 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 21262 0 0 0 67 2 0 0 25 0 1 0 901647206 54382592 12138 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 13277 12138 718 1205 0 12068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53108

[startup+1.50044 s]
/proc/loadavg: 2.27 2.06 1.95 3/178 5884
/proc/meminfo: memFree=1177228/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=59448 CPUtime=1.49 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 22815 0 0 0 146 3 0 0 25 0 1 0 901647206 60874752 13684 33554432000 4194304 9128323 140735105200176 18446744073709551615 6311704 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 14862 13684 711 1205 0 13653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59448

[startup+3.10112 s]
/proc/loadavg: 2.27 2.06 1.95 3/178 5884
/proc/meminfo: memFree=1167448/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=63040 CPUtime=3.09 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 29923 0 0 0 303 6 0 0 25 0 1 0 901647206 64552960 14516 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 15760 14516 723 1205 0 14551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63040

[startup+6.30059 s]
/proc/loadavg: 2.24 2.06 1.95 3/178 5884
/proc/meminfo: memFree=1163868/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=63040 CPUtime=6.29 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 29951 0 0 0 620 9 0 0 25 0 1 0 901647206 64552960 14544 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 15760 14544 723 1205 0 14551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63040

[startup+12.7005 s]
/proc/loadavg: 2.22 2.06 1.95 3/178 5884
/proc/meminfo: memFree=1163380/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=64144 CPUtime=12.69 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 30258 0 0 0 1255 14 0 0 25 0 1 0 901647206 65683456 14851 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 16036 14851 731 1205 0 14827 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64144

[startup+25.5012 s]
/proc/loadavg: 2.17 2.06 1.95 3/178 5884
/proc/meminfo: memFree=1141176/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=77844 CPUtime=25.49 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 39517 0 0 0 2524 25 0 0 25 0 1 0 901647206 79712256 18168 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 19461 18168 737 1205 0 18252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77844

[startup+51.1006 s]
/proc/loadavg: 2.11 2.05 1.95 3/178 5885
/proc/meminfo: memFree=1133044/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=82188 CPUtime=51.1 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 48846 0 0 0 5058 52 0 0 25 0 1 0 901647206 84160512 19253 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 20547 19253 737 1205 0 19338 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 82188

[startup+102.306 s]
/proc/loadavg: 2.05 2.04 1.95 3/178 5886
/proc/meminfo: memFree=1098604/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=90964 CPUtime=102.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 58202 0 0 0 10131 99 0 0 25 0 1 0 901647206 93147136 21485 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 22741 21485 737 1205 0 21532 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 90964

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 5888
/proc/meminfo: memFree=1047232/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=143224 CPUtime=162.29 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 95461 0 0 0 16097 132 0 0 25 0 1 0 901647206 146661376 34381 33554432000 4194304 9128323 140735105200176 18446744073709551615 5240754 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 35806 34381 737 1205 0 34597 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 143224

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 5889
/proc/meminfo: memFree=995080/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=195788 CPUtime=222.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 114384 0 0 0 22075 155 0 0 25 0 1 0 901647206 200486912 47246 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 48947 47246 737 1205 0 47738 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 195788

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 5891
/proc/meminfo: memFree=948032/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=244960 CPUtime=282.29 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 126271 0 0 0 28051 178 0 0 25 0 1 0 901647206 250839040 59081 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 61240 59081 738 1205 0 60031 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 244960

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 5893
/proc/meminfo: memFree=909620/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=281828 CPUtime=342.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 147035 0 0 0 34029 201 0 0 25 0 1 0 901647206 288591872 68105 33554432000 4194304 9128323 140735105200176 18446744073709551615 4219866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 70457 68105 738 1205 0 69248 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 281828

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 5894
/proc/meminfo: memFree=861224/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=318940 CPUtime=402.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 166532 0 0 0 40007 223 0 0 25 0 1 0 901647206 326594560 77177 33554432000 4194304 9128323 140735105200176 18446744073709551615 7183569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 79735 77177 738 1205 0 78526 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 318940

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5896
/proc/meminfo: memFree=798048/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=348160 CPUtime=462.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 178794 0 0 0 45987 243 0 0 25 0 1 0 901647206 356515840 84655 33554432000 4194304 9128323 140735105200176 18446744073709551615 5604739 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 87040 84655 740 1205 0 85831 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 348160

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5897
/proc/meminfo: memFree=739944/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=368452 CPUtime=522.3 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 186227 0 0 0 51966 264 0 0 25 0 1 0 901647206 377294848 89911 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 92113 89911 738 1205 0 90904 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 368452

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5899
/proc/meminfo: memFree=695388/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=387280 CPUtime=582.31 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 190490 0 0 0 57946 285 0 0 25 0 1 0 901647206 396574720 94161 33554432000 4194304 9128323 140735105200176 18446744073709551615 6732472 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 96820 94161 740 1205 0 95611 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 387280

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5905
/proc/meminfo: memFree=558876/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=455040 CPUtime=822.31 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 232196 0 0 0 81873 358 0 0 25 0 1 0 901647206 465960960 110945 33554432000 4194304 9128323 140735105200176 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 113760 110945 737 1205 0 112551 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 455040

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5907
/proc/meminfo: memFree=542084/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=459468 CPUtime=882.31 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 243510 0 0 0 87849 382 0 0 25 0 1 0 901647206 470495232 112019 33554432000 4194304 9128323 140735105200176 18446744073709551615 7217859 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 114867 112019 737 1205 0 113658 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 459468

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5909
/proc/meminfo: memFree=526776/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=463092 CPUtime=942.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 301021 0 0 0 93813 419 0 0 25 0 1 0 901647206 474206208 113028 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 115773 113028 752 1205 0 114564 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 463092

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5910
/proc/meminfo: memFree=517440/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=463456 CPUtime=1002.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 327804 0 0 0 99770 462 0 0 25 0 1 0 901647206 474578944 113120 33554432000 4194304 9128323 140735105200176 18446744073709551615 7343350 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 115864 113120 752 1205 0 114655 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 463456

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5912
/proc/meminfo: memFree=505624/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=463812 CPUtime=1062.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 356314 0 0 0 105726 506 0 0 25 0 1 0 901647206 474943488 113211 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 115953 113211 752 1205 0 114744 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 463812

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5913
/proc/meminfo: memFree=490456/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=465076 CPUtime=1122.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 358730 0 0 0 111688 544 0 0 25 0 1 0 901647206 476237824 113498 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 116269 113498 752 1205 0 115060 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 465076

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5924
/proc/meminfo: memFree=474880/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=466932 CPUtime=1182.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 359194 0 0 0 117651 582 0 0 25 0 1 0 901647206 478138368 113962 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 116733 113962 752 1205 0 115524 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 466932

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5926
/proc/meminfo: memFree=471448/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=467076 CPUtime=1242.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 361548 0 0 0 123617 615 0 0 25 0 1 0 901647206 478285824 113999 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 116769 113999 752 1205 0 115560 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 467076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5927
/proc/meminfo: memFree=466568/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=467536 CPUtime=1302.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 361659 0 0 0 129580 653 0 0 25 0 1 0 901647206 478756864 114110 33554432000 4194304 9128323 140735105200176 18446744073709551615 6416573 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 116884 114110 752 1205 0 115675 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 467536

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5931
/proc/meminfo: memFree=462564/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=467864 CPUtime=1362.32 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 361762 0 0 0 135540 692 0 0 25 0 1 0 901647206 479092736 114213 33554432000 4194304 9128323 140735105200176 18446744073709551615 6650117 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 116966 114213 752 1205 0 115757 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 467864

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5933
/proc/meminfo: memFree=456292/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=468684 CPUtime=1422.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 361941 0 0 0 141506 727 0 0 25 0 1 0 901647206 479932416 114392 33554432000 4194304 9128323 140735105200176 18446744073709551615 6523429 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117171 114392 752 1205 0 115962 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 468684

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5935
/proc/meminfo: memFree=452164/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=468756 CPUtime=1482.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367549 0 0 0 147468 765 0 0 25 0 1 0 901647206 480006144 114421 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117189 114421 752 1205 0 115980 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 468756

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5937
/proc/meminfo: memFree=437956/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=468756 CPUtime=1542.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367560 0 0 0 153432 801 0 0 25 0 1 0 901647206 480006144 114432 33554432000 4194304 9128323 140735105200176 18446744073709551615 7216870 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117189 114432 752 1205 0 115980 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 468756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5938
/proc/meminfo: memFree=446096/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=469024 CPUtime=1602.34 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367603 0 0 0 159396 838 0 0 25 0 1 0 901647206 480280576 114475 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117256 114475 752 1205 0 116047 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 469024

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5940
/proc/meminfo: memFree=444928/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=469352 CPUtime=1662.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367688 0 0 0 165365 868 0 0 25 0 1 0 901647206 480616448 114560 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117338 114560 752 1205 0 116129 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 469352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5941
/proc/meminfo: memFree=444000/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=469664 CPUtime=1722.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367767 0 0 0 171326 907 0 0 25 0 1 0 901647206 480935936 114639 33554432000 4194304 9128323 140735105200176 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117416 114639 752 1205 0 116207 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 469664

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 5943
/proc/meminfo: memFree=441984/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=470484 CPUtime=1782.33 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367961 0 0 0 177289 944 0 0 25 0 1 0 901647206 481775616 114833 33554432000 4194304 9128323 140735105200176 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5883/statm: 117621 114833 752 1205 0 116412 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 470484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 2/177 5945
/proc/meminfo: memFree=816056/32950928 swapFree=67048888/67111528
[pid=5883] ppid=5881 vsize=470484 CPUtime=1800.05 cores=0,2,4,6
/proc/5883/stat : 5883 (scip-2.0.1.4.li) R 5881 5883 4454 0 -1 4202496 367963 0 0 0 179049 956 0 0 25 0 1 0 901647206 481775616 114835 33554432000 4194304 9128323 140735105200176 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5883/statm: 117621 114835 754 1205 0 116412 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 470484

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1790.49
CPU system time (s): 9.58054
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 486812

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

runsolver used 2.6396 second user time and 5.57515 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-12 19:41:24
IDJOB=3447265
IDBENCH=79259
IDSOLVER=1944
FILE ID=node122/3447265-1307900484
RUNJOBID= node122-1307898651-4740
PBS_JOBID= 13559584
Free space on /var/tmp= 2880 MiB

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

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

MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c
RANDOM SEED=2146057031

node122.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.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.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.83
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.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.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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1269028 kB
Buffers:         54820 kB
Cached:       30645112 kB
SwapCached:      14876 kB
Active:       15658260 kB
Inactive:     15067324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1269028 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:           24716 kB
Writeback:           0 kB
AnonPages:       23348 kB
Mapped:          10404 kB
Slab:           892080 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   220940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2868 MiB
End job on node122 at 2011-06-12 20:11:26