Trace number 3447873

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900556231--soft-66-100-0.wbo
MD5SUM75cdbfdf3c0702d95dd33d3fc3f86ad3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark23.3994
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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-3447873-1307898845.wbo>
0.00/0.02	c original problem has 1135 variables (1135 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.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 18 clqs
0.03/0.07	c (round 2) 0 del vars, 158 del conss, 0 add conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 18 clqs
0.03/0.08	c (round 3) 86 del vars, 313 del conss, 0 add conss, 933 chg bounds, 169 chg sides, 0 chg coeffs, 0 upgd conss, 210 impls, 18 clqs
0.09/0.10	c (round 4) 144 del vars, 313 del conss, 0 add conss, 933 chg bounds, 169 chg sides, 0 chg coeffs, 1635 upgd conss, 210 impls, 18 clqs
0.09/0.10	c (round 5) 144 del vars, 321 del conss, 0 add conss, 933 chg bounds, 169 chg sides, 0 chg coeffs, 1635 upgd conss, 210 impls, 18 clqs
0.09/0.14	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (6 rounds):
0.09/0.14	c  144 deleted vars, 321 deleted constraints, 0 added constraints, 933 tightened bounds, 0 added holes, 169 changed sides, 0 changed coefficients
0.09/0.14	c  1042 implications, 18 cliques
0.09/0.14	c presolved problem has 1895 variables (1063 bin, 0 int, 832 impl, 0 cont) and 3291 constraints
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      18 constraints of type <setppc>
0.09/0.14	c     832 constraints of type <linear>
0.09/0.14	c     832 constraints of type <indicator>
0.09/0.14	c    1608 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.12
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 2.0.1.4
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1800
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 13950
0.09/0.14	c 
0.09/0.14	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14	c # [type: int, range: [1,2], default: 1]
0.09/0.14	c timing/clocktype = 2
0.09/0.14	c 
0.09/0.14	c # belongs reading time to solving time?
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c timing/reading = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/indicator/addCouplingCons = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.15	c 
0.09/0.17	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.17	c   0.2s|     1 |     0 |    79 |     - |8153k|   0 |  35 |1895 |4205 |1895 |2459 |   0 |  82 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	o 40432
0.29/0.31	c y 0.3s|     1 |     0 |  1423 |     - |8274k|   0 |  35 |1895 |4205 |1895 |2459 |   0 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |  1451 |     - |9015k|   0 |  47 |1895 |4216 |1895 |2465 |   6 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.59/0.66	c   0.7s|     1 |     0 |  1543 |     - |9438k|   0 |  49 |1895 |4216 |1895 |2469 |  10 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.79/0.86	c   0.9s|     1 |     0 |  1573 |     - |9477k|   0 |  47 |1895 |4216 |1895 |2472 |  13 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.99/1.05	c   1.1s|     1 |     0 |  1579 |     - |9488k|   0 |  50 |1895 |4216 |1895 |2474 |  15 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
1.19/1.25	c   1.3s|     1 |     0 |  1583 |     - |9488k|   0 |  49 |1895 |4216 |1895 |2475 |  16 |  82 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
1.59/1.66	c   1.7s|     1 |     2 |  1583 |     - |9489k|   0 |  49 |1895 |4216 |1895 |2475 |  16 |  82 |   9 | 0.000000e+00 | 4.043200e+04 |    Inf 
2.39/2.45	o 444
2.39/2.45	c * 2.5s|    11 |    10 |  2232 |  64.9 |9673k|  10 |   - |1895 |4216 |1895 |2487 |  23 |  82 |  82 | 0.000000e+00 | 4.440000e+02 |    Inf 
2.49/2.51	o 429
2.49/2.51	c * 2.5s|    19 |    10 |  2310 |  40.4 |  10M|  14 |   - |1895 |4220 |1895 |2481 |  24 |  86 |  91 | 0.000000e+00 | 4.290000e+02 |    Inf 
2.49/2.52	o 412
2.49/2.52	c * 2.5s|    21 |    10 |  2353 |  38.5 |  10M|  15 |   - |1895 |4220 |1895 |2481 |  25 |  86 |  91 | 0.000000e+00 | 4.120000e+02 |    Inf 
2.69/2.77	o 370
2.69/2.77	c * 2.8s|    36 |    11 |  2496 |  26.1 |  10M|  19 |   - |1895 |4230 |1895 |2481 |  26 |  96 | 141 | 0.000000e+00 | 3.700000e+02 |    Inf 
2.89/2.90	o 326
2.89/2.90	c * 2.9s|    48 |    13 |  2633 |  22.3 |  10M|  19 |   - |1895 |4243 |1895 |2481 |  27 | 109 | 165 | 0.000000e+00 | 3.260000e+02 |    Inf 
3.20/3.29	o 318
3.20/3.29	c * 3.3s|   102 |    19 |  2985 |  13.9 |  10M|  21 |   - |1895 |4285 |1895 |2484 |  34 | 151 | 245 | 0.000000e+00 | 3.180000e+02 |    Inf 
3.30/3.31	o 310
3.30/3.31	c * 3.3s|   108 |    19 |  3007 |  13.3 |  11M|  21 |   - |1895 |4291 |1895 |2484 |  34 | 157 | 245 | 0.000000e+00 | 3.100000e+02 |    Inf 
3.30/3.31	o 236
3.30/3.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.30/3.31	c * 3.3s|   109 |    18 |  3018 |  13.3 |  11M|  21 |   - |1895 |4291 |1895 |2485 |  35 | 157 | 245 | 0.000000e+00 | 2.360000e+02 |    Inf 
5.09/5.12	o 227
5.09/5.12	c * 5.1s|   183 |    40 |  4453 |  15.8 |  11M|  25 |   - |1895 |4322 |1895 |2469 |  47 | 188 | 623 | 0.000000e+00 | 2.270000e+02 |    Inf 
5.19/5.28	o 116
5.19/5.28	c * 5.3s|   202 |    35 |  4587 |  14.9 |  11M|  25 |   - |1895 |4336 |1895 |2473 |  51 | 202 | 649 | 0.000000e+00 | 1.160000e+02 |    Inf 
7.59/7.61	o 103
7.59/7.61	c * 7.6s|   326 |    60 |  6252 |  14.4 |  12M|  25 |   - |1895 |4441 |1895 |2469 |  58 | 311 |1159 | 0.000000e+00 | 1.030000e+02 |    Inf 
10.49/10.59	o 97
10.49/10.59	c *10.6s|   934 |    88 | 10403 |   9.5 |  13M|  34 |   - |1895 |4973 |1895 |2469 |  64 | 960 |1625 | 0.000000e+00 | 9.700000e+01 |    Inf 
12.10/12.11	o 87
12.10/12.11	c *12.1s|  1375 |    94 | 14840 |   9.6 |  14M|  39 |   - |1895 |5138 |1895 |2469 |  76 |1429 |1724 | 0.000000e+00 | 8.700000e+01 |    Inf 
23.39/23.40	o 85
23.39/23.40	c *23.4s|  5925 |   258 | 57428 |   9.4 |  18M|  50 |   - |1895 |6767 |1895 |2480 | 137 |6926 |1891 | 0.000000e+00 | 8.500000e+01 |    Inf 
24.49/24.55	o 84
24.49/24.55	c *24.5s|  6430 |   263 | 61493 |   9.3 |  18M|  50 |   - |1895 |6684 |1895 |2480 | 139 |7529 |1894 | 0.000000e+00 | 8.400000e+01 |    Inf 
27.09/27.15	o 79
27.09/27.15	c *27.2s|  7504 |   289 | 72183 |   9.4 |  19M|  50 |   - |1895 |6754 |1895 |2471 | 164 |8793 |1897 | 0.000000e+00 | 7.900000e+01 |    Inf 
27.39/27.50	o 76
27.39/27.50	c *27.5s|  7670 |   293 | 73268 |   9.3 |  19M|  50 |   - |1895 |6710 |1895 |2469 | 167 |8979 |1897 | 0.000000e+00 | 7.600000e+01 |    Inf 
33.39/33.47	o 72
33.39/33.47	c g33.5s|  9989 |   400 | 97854 |   9.6 |  20M|  50 |   - |1895 |6880 |1895 |2480 | 206 |  11k|1900 | 0.000000e+00 | 7.200000e+01 |    Inf 
33.49/33.51	c  33.5s| 10000 |   401 | 98001 |   9.6 |  20M|  50 |   - |1895 |6744 |   0 |   0 | 206 |  11k|1900 | 0.000000e+00 | 7.200000e+01 |    Inf 
37.29/37.33	o 60
37.29/37.33	c *37.3s| 11666 |   427 |113099 |   9.6 |  20M|  50 |   - |1895 |7258 |1895 |2469 | 222 |  13k|1901 | 0.000000e+00 | 6.000000e+01 |    Inf 
47.50/47.52	o 47
47.50/47.52	c *47.5s| 15800 |   529 |155531 |   9.7 |  21M|  50 |   - |1895 |7460 |1895 |2469 | 233 |  19k|1915 | 0.000000e+00 | 4.700000e+01 |    Inf 
47.50/47.57	o 37
47.50/47.57	c *47.6s| 15817 |   502 |155660 |   9.7 |  21M|  50 |   - |1895 |7203 |1895 |2469 | 233 |  19k|1915 | 0.000000e+00 | 3.700000e+01 |    Inf 
56.79/56.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
56.79/56.90	c  56.9s| 20000 |   544 |197368 |   9.8 |  21M|  50 |   - |1895 |7556 |1895 |2469 | 241 |  24k|1915 | 0.000000e+00 | 3.700000e+01 |    Inf 
60.19/60.28	o 28
60.19/60.28	c *60.3s| 21404 |   458 |213439 |   9.9 |  20M|  50 |   - |1895 |8331 |1895 |2469 | 248 |  26k|1915 | 0.000000e+00 | 2.800000e+01 |    Inf 
67.89/67.96	o 16
67.89/67.96	c *68.0s| 24233 |   415 |247207 |  10.1 |  19M|  50 |   - |1895 |7064 |1895 |2469 | 251 |  29k|2037 | 0.000000e+00 | 1.600000e+01 |    Inf 
84.40/84.40	c  84.4s| 30000 |   451 |327502 |  10.9 |  20M|  50 |  22 |1895 |8768 |1895 |2469 | 251 |  37k|2327 | 0.000000e+00 | 1.600000e+01 |    Inf 
111.89/111.97	c   112s| 40000 |   498 |457914 |  11.4 |  21M|  56 |   - |1895 |8692 |   0 |   0 | 251 |  50k|2792 | 0.000000e+00 | 1.600000e+01 |    Inf 
138.90/138.96	c   139s| 50000 |   591 |585634 |  11.7 |  25M|  56 |   - |1895 |  13k|1895 |2469 | 252 |  63k|3239 | 0.000000e+00 | 1.600000e+01 |    Inf 
166.50/166.56	c   167s| 60000 |   644 |715981 |  11.9 |  27M|  67 |  31 |1895 |  16k|1895 |2469 | 252 |  76k|3621 | 0.000000e+00 | 1.600000e+01 |    Inf 
181.19/181.22	o 9
181.19/181.22	c * 181s| 65315 |   519 |782810 |  12.0 |  25M|  67 |   - |1895 |  15k|1895 |2471 | 256 |  83k|3798 | 0.000000e+00 | 9.000000e+00 |    Inf 
194.80/194.81	c   195s| 70000 |   450 |844770 |  12.0 |  23M|  67 |   - |1895 |  10k|1895 |2469 | 257 |  89k|4024 | 0.000000e+00 | 9.000000e+00 |    Inf 
195.40/195.46	o 3
195.40/195.46	c * 195s| 70249 |   188 |848292 |  12.1 |  20M|  67 |   - |1895 |  10k|1895 |2469 | 257 |  90k|4024 | 0.000000e+00 | 3.000000e+00 |    Inf 
212.10/212.16	o 1
212.10/212.16	c * 212s| 75949 |   200 |935756 |  12.3 |  21M|  67 |   - |1895 |  12k|1895 |2470 | 258 |  97k|4216 | 0.000000e+00 | 1.000000e+00 |    Inf 
223.31/223.38	c   223s| 80000 |   193 |988595 |  12.3 |  22M|  67 |   - |1895 |  14k|1895 |2469 | 258 | 102k|4412 | 0.000000e+00 | 1.000000e+00 |    Inf 
252.00/252.06	c   252s| 90000 |   282 |  1130k|  12.5 |  25M|  67 |   - |1895 |  19k|1895 |2469 | 258 | 116k|4668 | 0.000000e+00 | 1.000000e+00 |    Inf 
280.69/280.71	c   281s|100000 |   183 |  1270k|  12.7 |  22M|  67 |   - |1895 |  13k|   0 |   0 | 258 | 129k|4910 | 0.000000e+00 | 1.000000e+00 |    Inf 
308.40/308.45	c   308s|110000 |   123 |  1412k|  12.8 |  22M|  67 |  18 |1895 |  13k|1895 |2469 | 258 | 142k|5228 | 0.000000e+00 | 1.000000e+00 |    Inf 
336.60/336.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.60/336.67	c   337s|120000 |   129 |  1549k|  12.9 |  25M|  67 |  34 |1895 |  20k|1895 |2469 | 258 | 155k|5560 | 0.000000e+00 | 1.000000e+00 |    Inf 
367.60/367.61	c   368s|130000 |   145 |  1699k|  13.1 |  27M|  67 |   - |1895 |  25k|1895 |2469 | 258 | 169k|5793 | 0.000000e+00 | 1.000000e+00 |    Inf 
397.70/397.71	c   398s|140000 |   113 |  1835k|  13.1 |  27M|  67 |   - |1895 |  27k|   0 |   0 | 258 | 182k|6022 | 0.000000e+00 | 1.000000e+00 |    Inf 
428.50/428.53	c   429s|150000 |   209 |  1978k|  13.2 |  29M|  67 |  33 |1895 |  30k|1895 |2469 | 258 | 195k|6295 | 0.000000e+00 | 1.000000e+00 |    Inf 
458.21/458.22	c   458s|160000 |   420 |  2111k|  13.2 |  32M|  67 |   - |1895 |  32k|1895 |2469 | 258 | 209k|6506 | 0.000000e+00 | 1.000000e+00 |    Inf 
488.00/488.06	c   488s|170000 |   299 |  2243k|  13.2 |  32M|  67 |  16 |1895 |  34k|1895 |2469 | 258 | 223k|6726 | 0.000000e+00 | 1.000000e+00 |    Inf 
518.80/518.88	c   519s|180000 |   311 |  2369k|  13.2 |  35M|  67 |  45 |1895 |  40k|1895 |2469 | 258 | 236k|6948 | 0.000000e+00 | 1.000000e+00 |    Inf 
551.21/551.27	c   551s|190000 |   331 |  2493k|  13.1 |  37M|  67 |   - |1895 |  45k|   0 |   0 | 258 | 250k|7173 | 0.000000e+00 | 1.000000e+00 |    Inf 
585.30/585.38	c   585s|200000 |   326 |  2630k|  13.1 |  36M|  67 |   - |1895 |  43k|   0 |   0 | 258 | 264k|7397 | 0.000000e+00 | 1.000000e+00 |    Inf 
620.10/620.16	c   620s|210000 |   295 |  2777k|  13.2 |  38M|  67 |   - |1895 |  47k|1895 |2469 | 258 | 277k|7626 | 0.000000e+00 | 1.000000e+00 |    Inf 
654.31/654.34	c   654s|220000 |   320 |  2912k|  13.2 |  41M|  67 |  32 |1895 |  53k|1895 |2469 | 258 | 290k|7871 | 0.000000e+00 | 1.000000e+00 |    Inf 
689.61/689.65	c   690s|230000 |   304 |  3052k|  13.3 |  42M|  67 |  32 |1895 |  55k|1895 |2469 | 258 | 303k|8044 | 0.000000e+00 | 1.000000e+00 |    Inf 
723.01/723.07	c   723s|240000 |   407 |  3181k|  13.3 |  44M|  69 |  36 |1895 |  58k|1895 |2469 | 258 | 317k|8202 | 0.000000e+00 | 1.000000e+00 |    Inf 
756.31/756.32	c   756s|250000 |   296 |  3304k|  13.2 |  43M|  71 |   - |1895 |  58k|1895 |2469 | 258 | 331k|8343 | 0.000000e+00 | 1.000000e+00 |    Inf 
791.41/791.44	c   791s|260000 |   346 |  3437k|  13.2 |  46M|  71 |   - |1895 |  63k|1895 |2469 | 258 | 344k|8540 | 0.000000e+00 | 1.000000e+00 |    Inf 
827.91/827.91	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.91	c   828s|270000 |   315 |  3569k|  13.2 |  46M|  71 |  32 |1895 |  63k|1895 |2469 | 258 | 357k|8727 | 0.000000e+00 | 1.000000e+00 |    Inf 
866.22/866.26	c   866s|280000 |   333 |  3711k|  13.3 |  48M|  71 |  19 |1895 |  67k|1895 |2469 | 258 | 371k|8935 | 0.000000e+00 | 1.000000e+00 |    Inf 
904.61/904.68	c   905s|290000 |   491 |  3846k|  13.3 |  49M|  71 |  30 |1895 |  68k|1895 |2469 | 258 | 384k|9067 | 0.000000e+00 | 1.000000e+00 |    Inf 
946.02/946.07	c   946s|300000 |   580 |  3989k|  13.3 |  51M|  82 |  33 |1895 |  71k|1895 |2469 | 258 | 400k|9201 | 0.000000e+00 | 1.000000e+00 |    Inf 
986.12/986.19	c   986s|310000 |   614 |  4127k|  13.3 |  52M|  82 |   - |1895 |  71k|1895 |2469 | 258 | 414k|9328 | 0.000000e+00 | 1.000000e+00 |    Inf 
1025.51/1025.51	c  1026s|320000 |   532 |  4260k|  13.3 |  51M|  82 |  33 |1895 |  71k|1895 |2469 | 258 | 428k|9532 | 0.000000e+00 | 1.000000e+00 |    Inf 
1063.72/1063.78	c  1064s|330000 |   462 |  4397k|  13.3 |  51M|  82 |  29 |1895 |  72k|1895 |2469 | 258 | 441k|9707 | 0.000000e+00 | 1.000000e+00 |    Inf 
1103.62/1103.68	c  1104s|340000 |   450 |  4532k|  13.3 |  52M|  82 |   - |1895 |  73k|1895 |2469 | 258 | 455k|9798 | 0.000000e+00 | 1.000000e+00 |    Inf 
1140.72/1140.74	c  1141s|350000 |   456 |  4663k|  13.3 |  54M|  82 |   - |1895 |  77k|1895 |2469 | 258 | 469k|9918 | 0.000000e+00 | 1.000000e+00 |    Inf 
1181.13/1181.19	c  1181s|360000 |   428 |  4794k|  13.3 |  53M|  82 |   - |1895 |  74k|1895 |2469 | 258 | 482k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1220.13/1220.18	c  1220s|370000 |   544 |  4935k|  13.3 |  54M|  84 |  32 |1895 |  75k|1895 |2469 | 258 | 498k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1260.33/1260.31	c  1260s|380000 |   505 |  5070k|  13.3 |  54M|  85 |   - |1895 |  75k|   0 |   0 | 258 | 513k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1297.82/1297.80	c  1298s|390000 |   502 |  5199k|  13.3 |  55M|  87 |   - |1895 |  77k|1895 |2469 | 258 | 528k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1337.63/1337.65	c  1338s|400000 |   437 |  5332k|  13.3 |  53M|  87 |   - |1895 |  74k|1895 |2469 | 258 | 543k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1376.92/1376.95	c  1377s|410000 |   360 |  5466k|  13.3 |  53M|  87 |  36 |1895 |  74k|1895 |2469 | 258 | 557k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1416.63/1416.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.63/1416.69	c  1417s|420000 |   420 |  5608k|  13.4 |  54M|  87 |  26 |1895 |  75k|1895 |2469 | 258 | 571k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1456.44/1456.45	c  1456s|430000 |   327 |  5737k|  13.3 |  54M|  87 |  25 |1895 |  77k|1895 |2469 | 258 | 585k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1496.83/1496.83	c  1497s|440000 |   292 |  5880k|  13.4 |  51M|  87 |  31 |1895 |  70k|1895 |2469 | 258 | 598k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1534.73/1534.75	c  1535s|450000 |   285 |  6015k|  13.4 |  52M|  87 |   - |1895 |  73k|   0 |   0 | 258 | 612k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1575.43/1575.44	c  1575s|460000 |   300 |  6155k|  13.4 |  54M|  87 |   - |1895 |  78k|   0 |   0 | 258 | 625k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1616.03/1616.06	c  1616s|470000 |   280 |  6292k|  13.4 |  53M|  87 |  20 |1895 |  74k|1895 |2469 | 258 | 638k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1656.24/1656.25	c  1656s|480000 |   268 |  6439k|  13.4 |  52M|  87 |   - |1895 |  73k|1895 |2469 | 258 | 651k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1694.73/1694.73	c  1695s|490000 |   195 |  6579k|  13.4 |  48M|  87 |  24 |1895 |  64k|1895 |2469 | 258 | 664k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1733.04/1733.00	c  1733s|500000 |   195 |  6712k|  13.4 |  50M|  87 |   - |1895 |  69k|1895 |2469 | 258 | 678k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
1773.44/1773.44	c  1773s|510000 |    68 |  6853k|  13.4 |  38M|  87 |  33 |1895 |  38k|1895 |2480 | 258 | 691k|  12k| 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      : 518081
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (183 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.12 (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-3447873-1307898845.wbo
1800.04/1800.00	c   Variables        : 1135 (1135 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-3447873-1307898845.wbo
1800.04/1800.00	c   Variables        : 1895 (1063 binary, 0 integer, 832 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 3291 initial, 80695 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         72          0          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.00         72          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.03          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   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   setppc           :       0.00          0          0          0          0          0          8          0          0          0
1800.04/1800.00	c   linear           :       0.06          0          0          0        933          0        241          0        169          0
1800.04/1800.00	c   indicator        :       0.00          0          0          0          0          0         72          0          0          0
1800.04/1800.00	c   logicor          :       0.01          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        :          -       1664          -          -       1664          -          -          -          -          -
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     268926          0        827          0        506       4150          0          0     530838
1800.04/1800.00	c   varbound         :          0+         6     372319        266          0          0       7297         15     714012        246          0          0
1800.04/1800.00	c   knapsack         :          1          6    2476353          6          1        824     488928      11864    3091094          6          0          0
1800.04/1800.00	c   setppc           :         18          6    2468828          0          1        817    4749306      23277    2042380          0          0          0
1800.04/1800.00	c   linear           :        832+         7    2445950          5          1        802    1992233      15825    2162097          0          0          0
1800.04/1800.00	c   indicator        :        832          0     363330        266          0        802       9988          0      19061          0          0          0
1800.04/1800.00	c   logicor          :       1608+         6    1162073         25          1        158    3706978      30213    3452825          0          0          0
1800.04/1800.00	c   bounddisjunction :          0+         0     120277          0          0          0       1840        953       3591          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0         25          1        160          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         :      56.14       0.00       0.00      56.12       0.00       0.02       0.00
1800.04/1800.00	c   varbound         :       1.62       0.00       1.61       0.00       0.00       0.00       0.00
1800.04/1800.00	c   knapsack         :      10.24       0.00       9.72       0.00       0.00       0.00       0.52
1800.04/1800.00	c   setppc           :      18.41       0.00      17.21       0.00       0.00       0.00       1.19
1800.04/1800.00	c   linear           :      26.47       0.00      25.21       0.00       0.00       0.06       1.20
1800.04/1800.00	c   indicator        :       2.23       0.00       1.90       0.01       0.00       0.31       0.00
1800.04/1800.00	c   logicor          :     293.00       0.00     289.63       0.00       0.00       0.02       3.35
1800.04/1800.00	c   bounddisjunction :       0.24       0.00       0.24       0.00       0.00       0.00       0.00
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          :      41093        951          4      46618
1800.04/1800.00	c   rootredcost      :         27          0          0        832
1800.04/1800.00	c   pseudoobj        :    2483011       6980       1941     711098
1800.04/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.00	c   vbounds          :       3.62       3.62       0.00
1800.04/1800.00	c   rootredcost      :       0.41       0.41       0.00
1800.04/1800.00	c   pseudoobj        :      31.21      31.15       0.06
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :       4.56      84092      83911     493679       33.5       2149       22.1          -
1800.04/1800.00	c   infeasible LP    :      33.48     181102     181089    1243610       42.8       4444       13.2          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.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   applied globally :          -          -          -     701253       35.5          -          -          -
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          -          -         10          -    (maximal pool size: 236)
1800.04/1800.00	c   redcost          :       8.78     269684          0      49417          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.50          6          0          0        501          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.43          6          0          0       1005          0
1800.04/1800.00	c   cmir             :       0.04          6          0          0          4          0
1800.04/1800.00	c   flowcover        :       0.06          6          0          0          7          0
1800.04/1800.00	c   clique           :       0.00          6          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.08          1          0          0          0         11
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        :      55.91     268659        506       4150          0          0     530838
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.01          -         25
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   feaspump         :       0.15          1          0
1800.04/1800.00	c   oneopt           :       0.28         26          0
1800.04/1800.00	c   crossover        :       0.84         20          0
1800.04/1800.00	c   veclendiving     :       1.65         91          0
1800.04/1800.00	c   linesearchdiving :       0.85         91          0
1800.04/1800.00	c   guideddiving     :       2.03         91          1
1800.04/1800.00	c   objpscostdiving  :       0.49         46          0
1800.04/1800.00	c   rootsoldiving    :       1.05         46          0
1800.04/1800.00	c   coefdiving       :       2.07         92          0
1800.04/1800.00	c   pscostdiving     :       1.02         92          0

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 9276
/proc/meminfo: memFree=2808536/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=10132 CPUtime=0 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 1525 0 0 0 0 0 0 0 25 0 1 0 901482195 10375168 1478 33554432000 4194304 9128323 140735209729136 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 2533 1479 399 1205 0 1324 0

[startup+0.0483929 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 9276
/proc/meminfo: memFree=2808536/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=27028 CPUtime=0.03 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 5754 0 0 0 3 0 0 0 25 0 1 0 901482195 27676672 5448 33554432000 4194304 9128323 140735209729136 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 6757 5448 514 1205 0 5548 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27028

[startup+0.100371 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 9276
/proc/meminfo: memFree=2808536/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=28340 CPUtime=0.09 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 6104 0 0 0 9 0 0 0 25 0 1 0 901482195 29020160 5798 33554432000 4194304 9128323 140735209729136 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 7085 5798 531 1205 0 5876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28340

[startup+0.300336 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 9276
/proc/meminfo: memFree=2808536/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=34032 CPUtime=0.29 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 7868 0 0 0 28 1 0 0 25 0 1 0 901482195 34848768 7458 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 8508 7458 679 1205 0 7299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34032

[startup+0.700264 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 9276
/proc/meminfo: memFree=2808536/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=58404 CPUtime=0.68 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 14153 0 0 0 66 2 0 0 25 0 1 0 901482195 59805696 13382 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 14601 13382 741 1205 0 13392 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 58404

[startup+1.50012 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9277
/proc/meminfo: memFree=2757468/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=60084 CPUtime=1.49 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 14587 0 0 0 145 4 0 0 25 0 1 0 901482195 61526016 13816 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 15021 13816 750 1205 0 13812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60084

[startup+3.10082 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9277
/proc/meminfo: memFree=2755868/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=60084 CPUtime=3.09 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 14597 0 0 0 300 9 0 0 25 0 1 0 901482195 61526016 13823 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 15021 13823 751 1205 0 13812 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60084

[startup+6.30024 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9277
/proc/meminfo: memFree=2755364/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=60084 CPUtime=6.29 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 14601 0 0 0 612 17 0 0 25 0 1 0 901482195 61526016 13827 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 15021 13827 751 1205 0 13812 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60084

[startup+12.7011 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9278
/proc/meminfo: memFree=2755000/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=58412 CPUtime=12.69 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 19802 0 0 0 1237 32 0 0 25 0 1 0 901482195 59813888 13736 33554432000 4194304 9128323 140735209729136 18446744073709551615 5605727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 14603 13736 756 1205 0 13394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58412

[startup+25.5007 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9278
/proc/meminfo: memFree=2749800/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=65600 CPUtime=25.49 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 30650 0 0 0 2496 53 0 0 25 0 1 0 901482195 67174400 15111 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 16400 15111 756 1205 0 15191 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65600

[startup+51.1011 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9279
/proc/meminfo: memFree=2736220/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=76916 CPUtime=51.09 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 73113 0 0 0 5009 100 0 0 25 0 1 0 901482195 78761984 17968 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 19229 17968 756 1205 0 18020 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76916

[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9280
/proc/meminfo: memFree=2731808/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=79920 CPUtime=102.29 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 89448 0 0 0 10030 199 0 0 25 0 1 0 901482195 81838080 18719 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 19980 18719 756 1205 0 18771 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 79920

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9282
/proc/meminfo: memFree=2721844/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=86208 CPUtime=162.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 93751 0 0 0 15917 313 0 0 25 0 1 0 901482195 88276992 20309 33554432000 4194304 9128323 140735209729136 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 21552 20309 756 1205 0 20343 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 86208

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9283
/proc/meminfo: memFree=2718940/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=87936 CPUtime=222.29 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 117945 0 0 0 21798 431 0 0 25 0 1 0 901482195 90046464 20728 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 21984 20728 756 1205 0 20775 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 87936

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9285
/proc/meminfo: memFree=2711196/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=91912 CPUtime=282.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 124213 0 0 0 27674 556 0 0 25 0 1 0 901482195 94117888 21645 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 22978 21645 756 1205 0 21769 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 91912

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9286
/proc/meminfo: memFree=2707928/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=93704 CPUtime=342.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 125814 0 0 0 33556 674 0 0 25 0 1 0 901482195 95952896 22121 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 23426 22121 756 1205 0 22217 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 93704

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9288
/proc/meminfo: memFree=2703908/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=97076 CPUtime=402.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 128228 0 0 0 39443 787 0 0 25 0 1 0 901482195 99405824 22955 33554432000 4194304 9128323 140735209729136 18446744073709551615 5333608 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 24269 22955 756 1205 0 23060 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 97076

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 9290
/proc/meminfo: memFree=2700876/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=100120 CPUtime=462.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 128973 0 0 0 45333 897 0 0 25 0 1 0 901482195 102522880 23700 33554432000 4194304 9128323 140735209729136 18446744073709551615 8008915 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 25030 23700 756 1205 0 23821 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 100120

[startup+522.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 9291
/proc/meminfo: memFree=2692772/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=108052 CPUtime=522.3 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 131710 0 0 0 51232 998 0 0 25 0 1 0 901482195 110645248 25681 33554432000 4194304 9128323 140735209729136 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 27013 25681 756 1205 0 25804 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 108052

[startup+582.301 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 9293
/proc/meminfo: memFree=2692108/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=108740 CPUtime=582.31 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 131881 0 0 0 57137 1094 0 0 25 0 1 0 901482195 111349760 25840 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 27185 25840 756 1205 0 25976 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 108740

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9299
/proc/meminfo: memFree=2679516/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=119264 CPUtime=822.31 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 134475 0 0 0 80776 1455 0 0 25 0 1 0 901482195 122126336 28396 33554432000 4194304 9128323 140735209729136 18446744073709551615 4552848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 29816 28396 756 1205 0 28607 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 119264

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9301
/proc/meminfo: memFree=2675604/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=123120 CPUtime=882.31 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 137193 0 0 0 86688 1543 0 0 25 0 1 0 901482195 126074880 29320 33554432000 4194304 9128323 140735209729136 18446744073709551615 6581584 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 30780 29320 756 1205 0 29571 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 123120

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9340
/proc/meminfo: memFree=2552672/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=125200 CPUtime=942.31 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 137675 0 0 0 92597 1634 0 0 25 0 1 0 901482195 128204800 29802 33554432000 4194304 9128323 140735209729136 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 31300 29802 756 1205 0 30091 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 125200

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 9342
/proc/meminfo: memFree=2551284/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=126172 CPUtime=1002.32 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 137915 0 0 0 98520 1712 0 0 25 0 1 0 901482195 129200128 30042 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 31543 30042 756 1205 0 30334 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 126172

[startup+1062.3 s]
/proc/loadavg: 2.14 2.02 1.93 3/178 9344
/proc/meminfo: memFree=2540316/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=126172 CPUtime=1062.32 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 137919 0 0 0 104431 1801 0 0 25 0 1 0 901482195 129200128 30046 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9276/statm: 31543 30046 756 1205 0 30334 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 126172

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 9345
/proc/meminfo: memFree=2534564/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=126172 CPUtime=1122.32 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 137930 0 0 0 110355 1877 0 0 25 0 1 0 901482195 129200128 30057 33554432000 4194304 9128323 140735209729136 18446744073709551615 6505884 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 31543 30057 756 1205 0 30334 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 126172

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9347
/proc/meminfo: memFree=2523484/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=129432 CPUtime=1182.32 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 138738 0 0 0 116271 1961 0 0 25 0 1 0 901482195 132538368 30865 33554432000 4194304 9128323 140735209729136 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32358 30865 756 1205 0 31149 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 129432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9348
/proc/meminfo: memFree=2508692/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=129432 CPUtime=1242.32 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 138740 0 0 0 122185 2047 0 0 25 0 1 0 901482195 132538368 30867 33554432000 4194304 9128323 140735209729136 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32358 30867 756 1205 0 31149 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 129432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9350
/proc/meminfo: memFree=2494268/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=130048 CPUtime=1302.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 138864 0 0 0 128098 2135 0 0 25 0 1 0 901482195 133169152 30991 33554432000 4194304 9128323 140735209729136 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32512 30991 756 1205 0 31303 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 130048

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9352
/proc/meminfo: memFree=2484924/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=130048 CPUtime=1362.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 138896 0 0 0 134014 2219 0 0 25 0 1 0 901482195 133169152 31023 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32512 31023 756 1205 0 31303 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 130048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9353
/proc/meminfo: memFree=2475700/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=130048 CPUtime=1422.34 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 138900 0 0 0 139926 2308 0 0 25 0 1 0 901482195 133169152 31027 33554432000 4194304 9128323 140735209729136 18446744073709551615 6416620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32512 31027 756 1205 0 31303 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 130048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9355
/proc/meminfo: memFree=2470072/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=131928 CPUtime=1482.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 139237 0 0 0 145838 2395 0 0 25 0 1 0 901482195 135094272 31363 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 32982 31363 756 1205 0 31773 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 131928

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9356
/proc/meminfo: memFree=2460964/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=133604 CPUtime=1542.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 139678 0 0 0 151748 2485 0 0 25 0 1 0 901482195 136810496 31804 33554432000 4194304 9128323 140735209729136 18446744073709551615 4220936 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 33401 31804 756 1205 0 32192 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 133604

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9358
/proc/meminfo: memFree=2459924/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=133604 CPUtime=1602.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 139694 0 0 0 157658 2575 0 0 25 0 1 0 901482195 136810496 31820 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 33401 31820 756 1205 0 32192 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 133604

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9360
/proc/meminfo: memFree=2457400/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=133604 CPUtime=1662.34 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 139707 0 0 0 163571 2663 0 0 25 0 1 0 901482195 136810496 31833 33554432000 4194304 9128323 140735209729136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 33401 31833 756 1205 0 32192 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 133604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9361
/proc/meminfo: memFree=2449048/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=135664 CPUtime=1722.33 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 141921 0 0 0 169476 2757 0 0 25 0 1 0 901482195 138919936 32224 33554432000 4194304 9128323 140735209729136 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 33916 32224 756 1205 0 32707 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 135664

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9363
/proc/meminfo: memFree=2436472/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=140588 CPUtime=1782.34 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 142910 0 0 0 175377 2857 0 0 25 0 1 0 901482195 143962112 33205 33554432000 4194304 9128323 140735209729136 18446744073709551615 7342760 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9276/statm: 35147 33205 756 1205 0 33938 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 140588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9363
/proc/meminfo: memFree=2434348/32951124 swapFree=67076880/67111528
[pid=9276] ppid=9274 vsize=140588 CPUtime=1800.04 cores=1,3,5,7
/proc/9276/stat : 9276 (scip-2.0.1.4.li) R 9274 9276 8865 0 -1 4202496 142917 0 0 0 177108 2896 0 0 25 0 1 0 901482195 143962112 33212 33554432000 4194304 9128323 140735209729136 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9276/statm: 35147 33212 758 1205 0 33938 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 140588

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.01
CPU time (s): 1800.06
CPU user time (s): 1771.09
CPU system time (s): 28.9706
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 140588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.09
system time used= 28.9706
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142917
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= 14293

runsolver used 2.88856 second user time and 6.30204 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-12 19:14:05
IDJOB=3447873
IDBENCH=78975
IDSOLVER=1944
FILE ID=node139/3447873-1307898845
RUNJOBID= node139-1307898232-9192
PBS_JOBID= 13559516
Free space on /tmp= 2680 MiB

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

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

MD5SUM BENCH= 75cdbfdf3c0702d95dd33d3fc3f86ad3
RANDOM SEED=616351466

node139.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.852
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.70
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.852
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.852
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.74
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.852
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.75
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2808848 kB
Buffers:         52480 kB
Cached:       29048864 kB
SwapCached:       3400 kB
Active:       14481052 kB
Inactive:     14742940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2808848 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           12100 kB
Writeback:           0 kB
AnonPages:      120352 kB
Mapped:          17032 kB
Slab:           853644 kB
PageTables:       5056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   298472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 2668 MiB
End job on node139 at 2011-06-12 19:44:07