Trace number 2692823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.16 1800.13

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo
MD5SUM5ae7a85bf99e064da8ccbcbd4c939a34
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark498.031
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 constraints900
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 45741
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45740
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692823-1277905528.wbo>
0.00/0.02	c original problem has 2031 variables (1131 bin, 0 int, 0 impl, 900 cont) and 3608 constraints
0.00/0.02	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.07	c (round 2) 0 del vars, 115 del conss, 900 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.00/0.09	c (round 3) 53 del vars, 258 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 15 clqs
0.09/0.10	c (round 4) 122 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.12	c (round 5) 138 del vars, 274 del conss, 916 chg bounds, 143 chg sides, 0 chg coeffs, 1672 upgd conss, 1116 impls, 15 clqs
0.09/0.16	c    (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.16	c  1116 implications, 15 cliques
0.09/0.16	c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.16	c     831 constraints of type <indicator>
0.09/0.16	c      15 constraints of type <setppc>
0.09/0.16	c     831 constraints of type <linear>
0.09/0.16	c    1657 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	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.1s|     1 |     0 |    51 |     - |8639k|   0 |  25 |1893 |3334 |1893 |1672 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	o 42488
0.09/0.18	c y 0.1s|     1 |     0 |   139 |     - |8669k|   0 |  25 |1893 |3334 |1893 |1672 |   0 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.20/0.23	c   0.2s|     1 |     0 |   165 |     - |8746k|   0 |  33 |1893 |3334 |1893 |1688 |  16 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   216 |     - |8980k|   0 |  43 |1893 |3334 |1893 |1700 |  28 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   293 |     - |8991k|   0 |  47 |1893 |3334 |1893 |1705 |  33 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |   353 |     - |9006k|   0 |  43 |1893 |3334 |1893 |1712 |  40 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |   362 |     - |9009k|   0 |  44 |1893 |3334 |1893 |1713 |  41 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
0.69/0.72	c   0.7s|     1 |     0 |   384 |     - |9053k|   0 |  50 |1893 |3334 |1893 |1715 |  43 |   0 |   0 | 0.000000e+00 | 4.248800e+04 |    Inf 
1.49/1.50	c   1.4s|     1 |     2 |   384 |     - |9056k|   0 |  50 |1893 |3334 |1893 |1715 |  43 |   0 |  33 | 0.000000e+00 | 4.248800e+04 |    Inf 
3.99/4.07	o 438
3.99/4.07	c * 4.0s|    68 |    67 |  1336 |  14.2 |9453k|  22 |   - |1893 |3334 |1893 |1720 |  89 |   0 | 390 | 0.000000e+00 | 4.380000e+02 |    Inf 
4.30/4.32	o 195
4.30/4.32	c * 4.2s|    85 |    48 |  1495 |  13.2 |9564k|  22 |   - |1893 |3334 |1893 |1717 | 111 |   0 | 442 | 0.000000e+00 | 1.950000e+02 |    Inf 
4.40/4.48	o 159
4.40/4.48	c * 4.4s|    92 |    44 |  1683 |  14.3 |  10M|  22 |   - |1893 |3340 |1893 |1720 | 126 |   6 | 479 | 0.000000e+00 | 1.590000e+02 |    Inf 
5.29/5.40	o 121
5.29/5.40	c * 5.3s|   116 |    46 |  2304 |  16.7 |  10M|  22 |   - |1893 |3353 |1893 |1712 | 148 |  19 | 671 | 0.000000e+00 | 1.210000e+02 |    Inf 
6.60/6.63	o 112
6.60/6.63	c * 6.5s|   171 |    76 |  3099 |  16.0 |  10M|  22 |   - |1893 |3384 |1893 |1711 | 172 |  50 | 938 | 0.000000e+00 | 1.120000e+02 |    Inf 
6.60/6.63	o 108
6.60/6.63	c * 6.5s|   172 |    74 |  3099 |  15.9 |  10M|  22 |   - |1893 |3384 |1893 |1711 | 172 |  50 | 938 | 0.000000e+00 | 1.080000e+02 |    Inf 
7.99/8.09	o 58
7.99/8.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.99/8.09	c * 7.9s|   229 |    77 |  4476 |  17.9 |  10M|  22 |   - |1893 |3432 |1893 |1711 | 244 |  98 |1180 | 0.000000e+00 | 5.800000e+01 |    Inf 
8.49/8.51	o 52
8.49/8.51	c * 8.3s|   273 |    61 |  4714 |  15.9 |  10M|  27 |   - |1893 |3073 |1893 |1710 | 253 | 104 |1265 | 0.000000e+00 | 5.200000e+01 |    Inf 
16.09/16.15	o 50
16.09/16.15	c *15.8s|  2239 |   136 | 24593 |  10.8 |  12M|  33 |   - |1893 |4916 |1893 |1710 | 621 |2652 |1855 | 0.000000e+00 | 5.000000e+01 |    Inf 
16.09/16.19	o 42
16.09/16.19	c *15.9s|  2265 |   137 | 24691 |  10.7 |  12M|  33 |   - |1893 |4915 |1893 |1711 | 622 |2681 |1855 | 0.000000e+00 | 4.200000e+01 |    Inf 
29.49/29.56	o 27
29.49/29.56	c *29.1s|  7038 |   413 | 77709 |  11.0 |  15M|  33 |   - |1893 |6336 |1893 |1710 |1889 |8526 |1952 | 0.000000e+00 | 2.700000e+01 |    Inf 
36.49/36.51	c  35.9s| 10000 |   492 |105749 |  10.5 |  16M|  38 |  12 |1893 |7159 |1893 |1705 |2744 |  12k|1952 | 0.000000e+00 | 2.700000e+01 |    Inf 
61.79/61.87	c  60.9s| 20000 |   857 |209775 |  10.5 |  23M|  41 |   - |1893 |  12k|1893 |1708 |6647 |  24k|1952 | 0.000000e+00 | 2.700000e+01 |    Inf 
86.69/86.70	c  85.2s| 30000 |  1015 |314169 |  10.5 |  27M|  46 |   - |1893 |  14k|   0 |   0 |  11k|  37k|2267 | 0.000000e+00 | 2.700000e+01 |    Inf 
105.69/105.77	o 22
105.69/105.77	c * 104s| 37026 |  1199 |392888 |  10.6 |  30M|  46 |   - |1893 |  16k|1893 |1710 |  14k|  46k|2584 | 0.000000e+00 | 2.200000e+01 |    Inf 
112.69/112.76	c   111s| 40000 |  1217 |418755 |  10.5 |  31M|  46 |  26 |1893 |  15k|1893 |1705 |  14k|  50k|2700 | 0.000000e+00 | 2.200000e+01 |    Inf 
137.50/137.55	c   135s| 50000 |  1554 |512422 |  10.2 |  37M|  46 |  24 |1893 |  18k|1893 |1708 |  16k|  63k|2984 | 0.000000e+00 | 2.200000e+01 |    Inf 
163.59/163.63	c   161s| 60000 |  1852 |615446 |  10.3 |  40M|  46 |  23 |1893 |  18k|1893 |1705 |  18k|  76k|3298 | 0.000000e+00 | 2.200000e+01 |    Inf 
190.69/190.74	c   188s| 70000 |  2020 |726042 |  10.4 |  43M|  46 |  27 |1893 |  17k|1893 |1711 |  20k|  89k|3657 | 0.000000e+00 | 2.200000e+01 |    Inf 
214.50/214.55	c   211s| 80000 |  2196 |817238 |  10.2 |  47M|  46 |   - |1893 |  22k|   0 |   0 |  24k| 102k|3873 | 0.000000e+00 | 2.200000e+01 |    Inf 
240.49/240.57	c   237s| 90000 |  2354 |916533 |  10.2 |  50M|  53 |  15 |1893 |  24k|1893 |1708 |  25k| 114k|4133 | 0.000000e+00 | 2.200000e+01 |    Inf 
266.90/266.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
266.90/266.94	c   263s|100000 |  2570 |  1020k|  10.2 |  54M|  53 |  24 |1893 |  26k|1893 |1708 |  26k| 127k|4335 | 0.000000e+00 | 2.200000e+01 |    Inf 
294.90/294.97	c   290s|110000 |  2679 |  1132k|  10.3 |  57M|  53 |   - |1893 |  27k|1893 |1708 |  27k| 140k|4580 | 0.000000e+00 | 2.200000e+01 |    Inf 
323.60/323.60	c   318s|120000 |  2832 |  1248k|  10.4 |  61M|  53 |   - |1893 |  29k|1893 |1708 |  28k| 154k|4835 | 0.000000e+00 | 2.200000e+01 |    Inf 
352.20/352.24	c   347s|130000 |  2885 |  1350k|  10.4 |  63M|  53 |  25 |1893 |  30k|1893 |1708 |  29k| 167k|5095 | 0.000000e+00 | 2.200000e+01 |    Inf 
379.60/379.64	c   374s|140000 |  3125 |  1448k|  10.3 |  66M|  53 |   9 |1893 |  31k|1893 |1710 |  33k| 179k|5324 | 0.000000e+00 | 2.200000e+01 |    Inf 
391.80/391.86	o 15
391.80/391.86	c * 386s|144540 |   784 |  1491k|  10.3 |  30M|  53 |   - |1893 |  31k|1893 |1709 |  35k| 185k|5353 | 0.000000e+00 | 1.500000e+01 |    Inf 
405.60/405.69	c   399s|150000 |   776 |  1539k|  10.3 |  30M|  53 |   - |1893 |  31k|   0 |   0 |  37k| 192k|5429 | 0.000000e+00 | 1.500000e+01 |    Inf 
430.00/430.02	c   423s|160000 |   726 |  1620k|  10.1 |  28M|  54 |  27 |1893 |  26k|1893 |1705 |  41k| 206k|5635 | 0.000000e+00 | 1.500000e+01 |    Inf 
454.00/454.02	c   447s|170000 |   766 |  1700k|  10.0 |  31M|  54 |   - |1893 |  32k|1893 |1710 |  44k| 219k|5742 | 0.000000e+00 | 1.500000e+01 |    Inf 
480.61/480.65	c   473s|180000 |   825 |  1785k|   9.9 |  32M|  54 |  15 |1893 |  32k|1893 |1705 |  49k| 232k|5896 | 0.000000e+00 | 1.500000e+01 |    Inf 
508.70/508.79	c   501s|190000 |   927 |  1883k|   9.9 |  34M|  54 |  35 |1893 |  35k|1893 |1705 |  53k| 245k|6047 | 0.000000e+00 | 1.500000e+01 |    Inf 
536.41/536.44	c   528s|200000 |   903 |  1977k|   9.9 |  33M|  54 |  16 |1893 |  32k|1893 |1708 |  55k| 259k|6200 | 0.000000e+00 | 1.500000e+01 |    Inf 
563.90/563.93	c   555s|210000 |   872 |  2073k|   9.9 |  32M|  55 |   - |1893 |  28k|   0 |   0 |  58k| 272k|6393 | 0.000000e+00 | 1.500000e+01 |    Inf 
589.50/589.54	c   580s|220000 |   975 |  2156k|   9.8 |  34M|  55 |  13 |1893 |  31k|1893 |1705 |  62k| 285k|6532 | 0.000000e+00 | 1.500000e+01 |    Inf 
615.51/615.57	c   606s|230000 |  1022 |  2248k|   9.8 |  35M|  56 |   - |1893 |  33k|   0 |   0 |  65k| 299k|6661 | 0.000000e+00 | 1.500000e+01 |    Inf 
642.41/642.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
642.41/642.42	c   632s|240000 |  1012 |  2340k|   9.7 |  36M|  60 |   - |1893 |  35k|   0 |   0 |  72k| 313k|6774 | 0.000000e+00 | 1.500000e+01 |    Inf 
670.30/670.34	c   660s|250000 |  1024 |  2435k|   9.7 |  37M|  61 |  18 |1893 |  36k|1893 |1705 |  77k| 326k|6971 | 0.000000e+00 | 1.500000e+01 |    Inf 
674.60/674.66	o 13
674.60/674.66	c * 664s|251573 |   938 |  2448k|   9.7 |  35M|  61 |   - |1893 |  36k|1893 |1709 |  78k| 328k|6987 | 0.000000e+00 | 1.300000e+01 |    Inf 
699.70/699.72	c   688s|260000 |   965 |  2515k|   9.7 |  36M|  61 |   - |1893 |  38k|   0 |   0 |  81k| 340k|7077 | 0.000000e+00 | 1.300000e+01 |    Inf 
730.30/730.31	c   718s|270000 |  1034 |  2603k|   9.6 |  39M|  61 |   - |1893 |  42k|   0 |   0 |  87k| 353k|7177 | 0.000000e+00 | 1.300000e+01 |    Inf 
764.79/764.89	c   752s|280000 |   975 |  2697k|   9.6 |  35M|  61 |  20 |1893 |  33k|1893 |1705 |  94k| 367k|7346 | 0.000000e+00 | 1.300000e+01 |    Inf 
796.70/796.71	c   782s|290000 |  1005 |  2785k|   9.6 |  35M|  61 |   - |1893 |  31k|   0 |   0 |  98k| 381k|7494 | 0.000000e+00 | 1.300000e+01 |    Inf 
830.50/830.57	c   815s|300000 |  1075 |  2877k|   9.6 |  38M|  61 |   - |1893 |  35k|   0 |   0 | 104k| 395k|7600 | 0.000000e+00 | 1.300000e+01 |    Inf 
863.10/863.13	c   846s|310000 |  1048 |  2962k|   9.6 |  36M|  61 |   - |1893 |  30k|   0 |   0 | 108k| 408k|7738 | 0.000000e+00 | 1.300000e+01 |    Inf 
894.90/895.00	c   877s|320000 |  1067 |  3060k|   9.6 |  36M|  61 |  16 |1893 |  29k|1893 |1708 | 113k| 422k|7861 | 0.000000e+00 | 1.300000e+01 |    Inf 
926.80/926.86	c   908s|330000 |  1069 |  3156k|   9.6 |  37M|  61 |  30 |1893 |  33k|1893 |1708 | 113k| 435k|7979 | 0.000000e+00 | 1.300000e+01 |    Inf 
959.60/959.64	c   940s|340000 |  1118 |  3247k|   9.6 |  37M|  61 |   - |1893 |  31k|   0 |   0 | 116k| 448k|8125 | 0.000000e+00 | 1.300000e+01 |    Inf 
991.90/991.91	c   971s|350000 |  1136 |  3352k|   9.6 |  38M|  61 |  20 |1893 |  32k|1893 |1707 | 119k| 461k|8244 | 0.000000e+00 | 1.300000e+01 |    Inf 
1020.90/1020.93	c   999s|360000 |  1161 |  3442k|   9.6 |  40M|  61 |  15 |1893 |  36k|1893 |1705 | 124k| 475k|8358 | 0.000000e+00 | 1.300000e+01 |    Inf 
1051.80/1051.80	c  1029s|370000 |  1198 |  3539k|   9.6 |  41M|  61 |   - |1893 |  38k|   0 |   0 | 131k| 489k|8491 | 0.000000e+00 | 1.300000e+01 |    Inf 
1084.21/1084.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1084.21/1084.20	c  1060s|380000 |  1244 |  3649k|   9.6 |  40M|  61 |   - |1893 |  36k|   0 |   0 | 136k| 502k|8625 | 0.000000e+00 | 1.300000e+01 |    Inf 
1115.00/1115.05	c  1090s|390000 |  1428 |  3750k|   9.6 |  43M|  61 |  28 |1893 |  40k|1893 |1708 | 137k| 515k|8748 | 0.000000e+00 | 1.300000e+01 |    Inf 
1145.81/1145.89	c  1120s|400000 |  1416 |  3843k|   9.6 |  44M|  61 |  25 |1893 |  41k|1893 |1710 | 140k| 529k|8862 | 0.000000e+00 | 1.300000e+01 |    Inf 
1175.91/1175.99	c  1149s|410000 |  1545 |  3932k|   9.6 |  46M|  61 |  32 |1893 |  45k|1893 |1705 | 143k| 543k|8959 | 0.000000e+00 | 1.300000e+01 |    Inf 
1207.91/1207.96	c  1180s|420000 |  1675 |  4022k|   9.6 |  47M|  61 |  19 |1893 |  45k|1893 |1708 | 146k| 557k|9056 | 0.000000e+00 | 1.300000e+01 |    Inf 
1239.91/1239.95	c  1211s|430000 |  1712 |  4112k|   9.6 |  47M|  61 |  41 |1893 |  45k|1893 |1709 | 149k| 571k|9170 | 0.000000e+00 | 1.300000e+01 |    Inf 
1272.81/1272.82	c  1243s|440000 |  1778 |  4200k|   9.5 |  48M|  61 |   - |1893 |  46k|   0 |   0 | 152k| 586k|9269 | 0.000000e+00 | 1.300000e+01 |    Inf 
1303.51/1303.53	c  1272s|450000 |  1901 |  4284k|   9.5 |  48M|  61 |   - |1893 |  45k|1893 |1709 | 156k| 600k|9377 | 0.000000e+00 | 1.300000e+01 |    Inf 
1335.81/1335.86	c  1304s|460000 |  1867 |  4372k|   9.5 |  48M|  61 |  21 |1893 |  43k|1893 |1705 | 159k| 614k|9478 | 0.000000e+00 | 1.300000e+01 |    Inf 
1368.82/1368.88	c  1336s|470000 |  2066 |  4464k|   9.5 |  49M|  61 |  19 |1893 |  45k|1893 |1709 | 164k| 628k|9594 | 0.000000e+00 | 1.300000e+01 |    Inf 
1399.92/1399.91	c  1366s|480000 |  2109 |  4551k|   9.5 |  51M|  61 |  17 |1893 |  48k|1893 |1705 | 167k| 642k|9692 | 0.000000e+00 | 1.300000e+01 |    Inf 
1430.82/1430.81	c  1396s|490000 |  2034 |  4631k|   9.5 |  50M|  61 |   - |1893 |  46k|1893 |1711 | 170k| 657k|9754 | 0.000000e+00 | 1.300000e+01 |    Inf 
1460.11/1460.17	c  1424s|500000 |  2109 |  4710k|   9.4 |  52M|  61 |   - |1893 |  49k|1893 |1709 | 174k| 670k|9818 | 0.000000e+00 | 1.300000e+01 |    Inf 
1490.72/1490.74	c  1454s|510000 |  2228 |  4795k|   9.4 |  53M|  61 |   - |1893 |  50k|   0 |   0 | 177k| 685k|9909 | 0.000000e+00 | 1.300000e+01 |    Inf 
1520.51/1520.56	c  1483s|520000 |  2161 |  4874k|   9.4 |  53M|  61 |  20 |1893 |  51k|1893 |1705 | 180k| 699k|9994 | 0.000000e+00 | 1.300000e+01 |    Inf 
1552.21/1552.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1552.21/1552.29	c  1514s|530000 |  2154 |  4954k|   9.3 |  52M|  61 |  19 |1893 |  46k|1893 |1705 | 183k| 714k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1586.01/1586.05	c  1546s|540000 |  2109 |  5037k|   9.3 |  52M|  61 |   - |1893 |  46k|   0 |   0 | 187k| 728k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1620.12/1620.17	c  1580s|550000 |  2086 |  5134k|   9.3 |  52M|  61 |   - |1893 |  45k|   0 |   0 | 190k| 743k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1651.22/1651.26	c  1610s|560000 |  2006 |  5215k|   9.3 |  50M|  61 |  26 |1893 |  40k|1893 |1705 | 193k| 757k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1684.02/1684.09	c  1642s|570000 |  2057 |  5308k|   9.3 |  52M|  61 |  28 |1893 |  45k|1893 |1705 | 198k| 771k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1718.52/1718.54	c  1675s|580000 |  2181 |  5395k|   9.3 |  55M|  61 |   - |1893 |  50k|   0 |   0 | 203k| 785k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1754.12/1754.18	c  1709s|590000 |  2150 |  5479k|   9.3 |  55M|  61 |  15 |1893 |  51k|1893 |1705 | 208k| 799k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1790.92/1790.91	c  1745s|600000 |  2148 |  5575k|   9.3 |  55M|  61 |   - |1893 |  50k|   0 |   0 | 214k| 813k|  10k| 0.000000e+00 | 1.300000e+01 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1753.96
1800.03/1800.00	c Solving Nodes      : 602347
1800.03/1800.00	c Primal Bound       : +1.30000000000000e+01 (50 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.02	s SATISFIABLE
1800.03/1800.02	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 
1800.03/1800.02	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.02	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 
1800.03/1800.02	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 
1800.03/1800.02	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 
1800.03/1800.02	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 
1800.03/1800.02	v -x104 -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.03/1800.02	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 
1800.03/1800.02	v -x54 -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.03/1800.02	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.03/1800.02	v -x1 
1800.03/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.02	c Solving Time       :    1753.96
1800.03/1800.02	c Original Problem   :
1800.03/1800.02	c   Problem name     : HOME/instance-2692823-1277905528.wbo
1800.03/1800.02	c   Variables        : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.03/1800.02	c   Constraints      : 3608 initial, 3608 maximal
1800.03/1800.02	c Presolved Problem  :
1800.03/1800.02	c   Problem name     : t_HOME/instance-2692823-1277905528.wbo
1800.03/1800.02	c   Variables        : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.03/1800.02	c   Constraints      : 3334 initial, 53096 maximal
1800.03/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.02	c   trivial          :       0.00         69          0          0          0          0          0          0          0
1800.03/1800.02	c   dualfix          :       0.00         69          0          0          0          0          0          0          0
1800.03/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.02	c   indicator        :       0.00          0          0          0          0          0         69          0          0
1800.03/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   linear           :       0.05          0          0          0        916          0        205        143          0
1800.03/1800.02	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   root node        :          -        724          -          -       1448          -          -          -          -
1800.03/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.02	c   integral         :          0          0          0     378574          0        137       1467          0          0     673432
1800.03/1800.02	c   indicator        :        831          0    2598690      40248          0        112    1461370          0          0          0
1800.03/1800.02	c   setppc           :         15          6    2620937      40576          0      48656    2371744          0          0          0
1800.03/1800.02	c   linear           :        831          6    2573416      40607          0     100424    9244514     216450          0          0
1800.03/1800.02	c   logicor          :       1657+         6    1405105        194          0     104882    5543839          0          0          0
1800.03/1800.02	c   bounddisjunction :          0+         0       5290          0          0          0          0          0          0          0
1800.03/1800.02	c   countsols        :          0          0          0        194          0          0          0          0          0          0
1800.03/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.02	c   integral         :      40.32       0.00       0.00      40.32       0.00
1800.03/1800.02	c   indicator        :       6.37       0.01       5.69       0.67       0.00
1800.03/1800.02	c   setppc           :      17.40       0.00      17.37       0.03       0.00
1800.03/1800.02	c   linear           :      59.06       0.00      57.98       1.08       0.00
1800.03/1800.02	c   logicor          :     327.74       0.00     327.74       0.00       0.00
1800.03/1800.02	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.03/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.02	c   vbounds          :       0.25          2          0          0
1800.03/1800.02	c   rootredcost      :       0.22         15          0        723
1800.03/1800.02	c   pseudoobj        :      47.49    2622782        726    1329502
1800.03/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.02	c   propagation      :      12.01     254688     254197    1647155       27.4       6879       24.4          -
1800.03/1800.02	c   infeasible LP    :      16.01      76469      76467     635463       43.7        410       17.7          0
1800.03/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.02	c   pseudo solution  :       0.00          5          5         29       19.3          0        0.0          -
1800.03/1800.02	c   applied globally :          -          -          -     816526       26.3          -          -          -
1800.03/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.02	c   cut pool         :       0.00          5          -          -         48          -    (maximal pool size: 161)
1800.03/1800.02	c   redcost          :       9.99     379747          0      99934          0          0
1800.03/1800.02	c   impliedbounds    :       0.00          6          0          0          0          0
1800.03/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.02	c   gomory           :       0.24          6          0          0       1318          0
1800.03/1800.02	c   strongcg         :       0.16          6          0          0        855          0
1800.03/1800.02	c   cmir             :       0.04          6          0          0          2          0
1800.03/1800.02	c   flowcover        :       0.05          6          0          0          4          0
1800.03/1800.02	c   clique           :       0.00          6          0          0          0          0
1800.03/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.02	c Pricers            :       Time      Calls       Vars
1800.03/1800.02	c   problem variables:       0.00          0          0
1800.03/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.02	c   relpscost        :      40.08     337952        137       1467          0          0     673432
1800.03/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   inference        :       0.01        180          0          0          0          0        360
1800.03/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.02	c   LP solutions     :       0.02          -         14
1800.03/1800.02	c   pseudo solutions :       0.00          -          0
1800.03/1800.02	c   oneopt           :       0.13         14          0
1800.03/1800.02	c   feaspump         :       0.01          1          0
1800.03/1800.02	c   crossover        :       0.31         11          0
1800.03/1800.02	c   linesearchdiving :       0.39         76          0
1800.03/1800.02	c   guideddiving     :       0.26         76          0
1800.03/1800.02	c   coefdiving       :       0.39         76          0
1800.03/1800.02	c   pscostdiving     :       0.33         77          0
1800.03/1800.02	c   fracdiving       :       0.42         77          0
1800.03/1800.02	c   veclendiving     :       0.34         77          0
1800.03/1800.02	c   objpscostdiving  :       0.47         39          0
1800.03/1800.02	c   rootsoldiving    :       1.73         39          0
1800.03/1800.02	c   trivial          :       0.00          2          0
1800.03/1800.02	c   simplerounding   :       0.50     338261          0
1800.03/1800.02	c   zirounding       :       0.14       1000          0
1800.03/1800.02	c   rounding         :       1.12       8204          0
1800.03/1800.02	c   shifting         :       0.92       2581          0
1800.03/1800.02	c   intshifting      :       0.03         21          0
1800.03/1800.02	c   twoopt           :       0.00          0          0
1800.03/1800.02	c   fixandinfer      :       0.00          0          0
1800.03/1800.02	c   intdiving        :       0.00          0          0
1800.03/1800.02	c   actconsdiving    :       0.00          0          0
1800.03/1800.02	c   octane           :       0.00          0          0
1800.03/1800.02	c   rens             :       0.03          1          0
1800.03/1800.02	c   rins             :       0.00          0          0
1800.03/1800.02	c   localbranching   :       0.00          0          0
1800.03/1800.02	c   mutation         :       0.00          0          0
1800.03/1800.02	c   dins             :       0.00          0          0
1800.03/1800.02	c   undercover       :       0.00          0          0
1800.03/1800.02	c   nlp              :       0.07          0          0
1800.03/1800.02	c   trysol           :       0.41       1711         36
1800.03/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.02	c   dual LP          :     784.60     454139    5581279      12.29    7113.53
1800.03/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.02	c   diving/probing LP:       2.84       1825      18143       9.94    6388.38
1800.03/1800.02	c   strong branching :      36.34      10835     220907      20.39    6078.89
1800.03/1800.02	c     (at root node) :          -         33       5123     155.24          -
1800.03/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.02	c B&B Tree           :
1800.03/1800.02	c   number of runs   :          1
1800.03/1800.02	c   nodes            :     602347
1800.03/1800.02	c   nodes (total)    :     602347
1800.03/1800.02	c   nodes left       :       2135
1800.03/1800.02	c   max depth        :         61
1800.03/1800.02	c   max depth (total):         61
1800.03/1800.02	c   backtracks       :     100980 (16.8%)
1800.03/1800.02	c   delayed cutoffs  :      66444
1800.03/1800.02	c   repropagations   :     872061 (4357632 domain reductions, 64917 cutoffs)
1800.03/1800.02	c   avg switch length:       4.58
1800.03/1800.02	c   switching time   :     240.46
1800.03/1800.02	c Solution           :
1800.03/1800.02	c   Solutions found  :         50 (15 improvements)
1800.03/1800.02	c   First Solution   : +4.24880000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.03/1800.02	c   Primal Bound     : +1.30000000000000e+01   (in run 1, after 251573 nodes, 664.19 seconds, depth 35, found by <relaxation>)
1800.03/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.02	c   Gap              :   infinite
1800.03/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.02	c   Root Iterations  :        384
1800.13/1800.12	c Time complete: 1800.14.

Verifier Data 

OK	13

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 12646
/proc/meminfo: memFree=30101172/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=9304 CPUtime=0
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1619 0 0 0 0 0 0 0 25 0 1 0 131850693 9527296 1539 4089446400 4194304 8223781 140735931710208 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12646/statm: 2326 1541 369 984 0 1339 0

[startup+0.0122611 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 12646
/proc/meminfo: memFree=30101172/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=10792 CPUtime=0
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1992 0 0 0 0 0 0 0 25 0 1 0 131850693 11051008 1912 4089446400 4194304 8223781 140735931710208 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12646/statm: 2698 1912 369 984 0 1711 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10792

[startup+0.100248 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 12646
/proc/meminfo: memFree=30101172/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=22936 CPUtime=0.09
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 6442 0 0 0 8 1 0 0 25 0 1 0 131850693 23486464 4713 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 5734 4713 456 984 0 4747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22936

[startup+0.300209 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 12646
/proc/meminfo: memFree=30101172/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=31460 CPUtime=0.29
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 10826 0 0 0 27 2 0 0 25 0 1 0 131850693 32215040 6971 4089446400 4194304 8223781 140735931710208 18446744073709551615 6093241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 7865 6971 573 984 0 6878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31460

[startup+0.701136 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 12646
/proc/meminfo: memFree=30101172/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=32296 CPUtime=0.69
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 11080 0 0 0 66 3 0 0 25 0 1 0 131850693 33071104 7186 4089446400 4194304 8223781 140735931710208 18446744073709551615 6057157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 8074 7186 574 984 0 7087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32296

[startup+1.50101 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 12647
/proc/meminfo: memFree=30073512/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=32440 CPUtime=1.49
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 22761 0 0 0 144 5 0 0 25 0 1 0 131850693 33218560 7262 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 8110 7262 599 984 0 7123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32440

[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 12647
/proc/meminfo: memFree=30070536/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=32440 CPUtime=3.09
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 22785 0 0 0 303 6 0 0 25 0 1 0 131850693 33218560 7262 4089446400 4194304 8223781 140735931710208 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 8110 7262 599 984 0 7123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32440

[startup+6.30015 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12647
/proc/meminfo: memFree=30067716/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=33808 CPUtime=6.29
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 35945 0 0 0 619 10 0 0 25 0 1 0 131850693 34619392 7565 4089446400 4194304 8223781 140735931710208 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 8452 7565 603 984 0 7465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33808

[startup+12.701 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12647
/proc/meminfo: memFree=30062776/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=37692 CPUtime=12.69
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 71542 0 0 0 1248 21 0 0 25 0 1 0 131850693 38596608 8575 4089446400 4194304 8223781 140735931710208 18446744073709551615 6558062 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 9423 8575 605 984 0 8436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37692

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12647
/proc/meminfo: memFree=30051608/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=45492 CPUtime=25.49
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 106591 0 0 0 2507 42 0 0 25 0 1 0 131850693 46583808 10389 4089446400 4194304 8223781 140735931710208 18446744073709551615 6524050 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 11373 10389 605 984 0 10386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45492

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12648
/proc/meminfo: memFree=30029440/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=56516 CPUtime=51.09
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 152872 0 0 0 5025 84 0 0 25 0 1 0 131850693 57872384 13051 4089446400 4194304 8223781 140735931710208 18446744073709551615 6569342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12646/statm: 14129 13051 605 984 0 13142 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56516

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12649
/proc/meminfo: memFree=29995184/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=70308 CPUtime=102.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 235661 0 0 0 10061 169 0 0 25 0 1 0 131850693 71995392 16301 4089446400 4194304 8223781 140735931710208 18446744073709551615 5954011 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12646/statm: 17577 16301 605 984 0 16590 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 70308

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12651
/proc/meminfo: memFree=29968236/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=83204 CPUtime=162.29
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 336375 0 0 0 15960 269 0 0 25 0 1 0 131850693 85200896 19076 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 20801 19076 607 984 0 19814 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 83204

[startup+222.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 12653
/proc/meminfo: memFree=29943512/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=97536 CPUtime=222.29
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 425833 0 0 0 21865 364 0 0 25 0 1 0 131850693 99876864 21913 4089446400 4194304 8223781 140735931710208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 24384 21913 607 984 0 23397 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 97536

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12654
/proc/meminfo: memFree=29920528/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=107908 CPUtime=282.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 518644 0 0 0 27778 452 0 0 25 0 1 0 131850693 110497792 24338 4089446400 4194304 8223781 140735931710208 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 26977 24338 607 984 0 25990 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 107908

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12656
/proc/meminfo: memFree=29907960/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=115968 CPUtime=342.29
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 598553 0 0 0 33692 537 0 0 25 0 1 0 131850693 118751232 25966 4089446400 4194304 8223781 140735931710208 18446744073709551615 6592859 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 28992 25966 607 984 0 28005 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 115968

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12657
/proc/meminfo: memFree=29897004/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=121972 CPUtime=402.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 686834 0 0 0 39608 622 0 0 25 0 1 0 131850693 124899328 27277 4089446400 4194304 8223781 140735931710208 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 30493 27277 607 984 0 29506 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 121972

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12659
/proc/meminfo: memFree=29893744/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=123396 CPUtime=462.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 829007 0 0 0 45509 721 0 0 25 0 1 0 131850693 126357504 27615 4089446400 4194304 8223781 140735931710208 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 30849 27615 607 984 0 29862 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 123396

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12661
/proc/meminfo: memFree=29890956/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=125152 CPUtime=522.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 928232 0 0 0 51418 812 0 0 25 0 1 0 131850693 128155648 27985 4089446400 4194304 8223781 140735931710208 18446744073709551615 6557684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 31288 27985 607 984 0 30301 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 125152

[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12662
/proc/meminfo: memFree=29890308/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=125528 CPUtime=582.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1046324 0 0 0 57329 901 0 0 25 0 1 0 131850693 128540672 28104 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 31382 28104 607 984 0 30395 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 125528

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12664
/proc/meminfo: memFree=29873392/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=127036 CPUtime=642.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1148430 0 0 0 63239 992 0 0 25 0 1 0 131850693 130084864 28402 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12646/statm: 31759 28402 607 984 0 30772 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 127036

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 3.15 2.53 2.20 4/200 12733
/proc/meminfo: memFree=31457340/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=132452 CPUtime=882.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1521893 0 0 0 86491 1739 0 0 25 0 1 0 131850693 135630848 29572 4089446400 4194304 8223781 140735931710208 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33113 29572 607 984 0 32126 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 132452

[startup+942.3 s]
/proc/loadavg: 3.05 2.61 2.25 4/200 12744
/proc/meminfo: memFree=31448124/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=133480 CPUtime=942.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1601331 0 0 0 92286 1945 0 0 25 0 1 0 131850693 136683520 29803 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33370 29803 607 984 0 32383 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 133480

[startup+1002.3 s]
/proc/loadavg: 2.98 2.67 2.29 4/200 12745
/proc/meminfo: memFree=31442604/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=133860 CPUtime=1002.3
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1710223 0 0 0 98090 2140 0 0 25 0 1 0 131850693 137072640 29896 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33465 29896 607 984 0 32478 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 133860

[startup+1062.3 s]
/proc/loadavg: 3.05 2.73 2.33 4/200 12747
/proc/meminfo: memFree=31437840/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=134388 CPUtime=1062.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1797372 0 0 0 103896 2335 0 0 25 0 1 0 131850693 137613312 30052 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33597 30052 607 984 0 32610 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 134388

[startup+1122.3 s]
/proc/loadavg: 2.90 2.73 2.35 4/200 12749
/proc/meminfo: memFree=31433300/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=135144 CPUtime=1122.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1887204 0 0 0 109701 2530 0 0 25 0 1 0 131850693 138387456 30244 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33830 30251 607 984 0 32843 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 135144

[startup+1182.3 s]
/proc/loadavg: 2.77 2.73 2.37 4/200 12750
/proc/meminfo: memFree=31428408/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=135904 CPUtime=1182.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 1990355 0 0 0 115508 2723 0 0 25 0 1 0 131850693 139165696 30411 4089446400 4194304 8223781 140735931710208 18446744073709551615 4210040 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 33976 30411 607 984 0 32989 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 135904

[startup+1242.3 s]
/proc/loadavg: 2.80 2.73 2.39 4/200 12752
/proc/meminfo: memFree=31422144/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=138692 CPUtime=1242.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2068640 0 0 0 121323 2908 0 0 25 0 1 0 131850693 142020608 31044 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 34673 31044 607 984 0 33686 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 138692

[startup+1302.3 s]
/proc/loadavg: 2.82 2.75 2.42 4/200 12753
/proc/meminfo: memFree=31417832/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=139100 CPUtime=1302.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2128013 0 0 0 127128 3103 0 0 25 0 1 0 131850693 142438400 31164 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 34775 31164 607 984 0 33788 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 139100

[startup+1362.3 s]
/proc/loadavg: 2.97 2.83 2.46 5/200 12755
/proc/meminfo: memFree=31413048/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=139804 CPUtime=1362.32
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2157595 0 0 0 132948 3284 0 0 25 0 1 0 131850693 143159296 31298 4089446400 4194304 8223781 140735931710208 18446744073709551615 7232313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 34951 31298 607 984 0 33964 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 139804

[startup+1422.31 s]
/proc/loadavg: 2.90 2.83 2.48 4/200 12757
/proc/meminfo: memFree=31407148/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=142216 CPUtime=1422.32
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2255661 0 0 0 138763 3469 0 0 25 0 1 0 131850693 145629184 31794 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 35554 31794 607 984 0 34567 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 142216

[startup+1482.3 s]
/proc/loadavg: 2.81 2.81 2.50 4/200 12758
/proc/meminfo: memFree=31403728/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=143200 CPUtime=1482.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2336575 0 0 0 144586 3645 0 0 25 0 1 0 131850693 146636800 32038 4089446400 4194304 8223781 140735931710208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 35800 32038 607 984 0 34813 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 143200

[startup+1542.3 s]
/proc/loadavg: 3.09 2.88 2.54 3/200 12760
/proc/meminfo: memFree=31399080/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=145188 CPUtime=1542.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2451615 0 0 0 150399 3832 0 0 25 0 1 0 131850693 148672512 32451 4089446400 4194304 8223781 140735931710208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 36297 32451 607 984 0 35310 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 145188

[startup+1602.3 s]
/proc/loadavg: 2.90 2.87 2.55 4/200 12761
/proc/meminfo: memFree=31395056/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=145572 CPUtime=1602.31
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2553103 0 0 0 156228 4003 0 0 25 0 1 0 131850693 149065728 32599 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 36393 32599 607 984 0 35406 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 145572

[startup+1662.3 s]
/proc/loadavg: 2.57 2.79 2.54 3/197 12811
/proc/meminfo: memFree=31615516/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=145872 CPUtime=1662.32
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2620682 0 0 0 162044 4188 0 0 25 0 1 0 131850693 149372928 32685 4089446400 4194304 8223781 140735931710208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/12646/statm: 36468 32685 607 984 0 35481 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 145872

[startup+1722.3 s]
/proc/loadavg: 2.24 2.66 2.51 3/197 12813
/proc/meminfo: memFree=31613760/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=146280 CPUtime=1722.32
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2690518 0 0 0 167859 4373 0 0 25 0 1 0 131850693 149790720 32767 4089446400 4194304 8223781 140735931710208 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 36556 32758 607 984 0 35569 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 146280

[startup+1782.3 s]
/proc/loadavg: 2.09 2.54 2.48 3/197 12814
/proc/meminfo: memFree=31612312/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=147264 CPUtime=1782.32
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2730872 0 0 0 173678 4554 0 0 25 0 1 0 131850693 150798336 32902 4089446400 4194304 8223781 140735931710208 18446744073709551615 6456039 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 36816 32902 607 984 0 35829 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 147264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.50 2.47 3/197 12815
/proc/meminfo: memFree=31612044/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=147264 CPUtime=1800.03
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2745731 0 0 0 175398 4605 0 0 25 0 1 0 131850693 150798336 32902 4089446400 4194304 8223781 140735931710208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12646/statm: 36816 32902 607 984 0 35829 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 147264

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

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

[startup+1800.11 s]
/proc/loadavg: 2.06 2.50 2.47 3/197 12815
/proc/meminfo: memFree=31612044/32951124 swapFree=67111528/67111528
[pid=12646] ppid=12644 vsize=146380 CPUtime=1800.13
/proc/12646/stat : 12646 (pbscip.linux.x8) R 12644 12646 10617 0 -1 4202496 2745762 0 0 0 175408 4605 0 0 18 0 1 0 131850693 149893120 32672 4089446400 4194304 8223781 140735931710208 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12646/statm: 36595 32672 609 984 0 35608 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 146380

Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.16
CPU user time (s): 1754.1
CPU system time (s): 46.059
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 147384

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

runsolver used 2.33264 second user time and 5.87111 second system time

The end

Launcher Data 

Begin job on node101 at 2010-06-30 15:45:28
IDJOB=2692823
IDBENCH=78930
IDSOLVER=1204
FILE ID=node101/2692823-1277905528
PBS_JOBID= 11197157
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 5ae7a85bf99e064da8ccbcbd4c939a34
RANDOM SEED=1433297240

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30101576 kB
Buffers:        192120 kB
Cached:         739932 kB
SwapCached:          0 kB
Active:        2183092 kB
Inactive:       520432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30101576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:     1771548 kB
Mapped:          16092 kB
Slab:            77656 kB
PageTables:       8628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1981904 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= 74208 MiB
End job on node101 at 2010-06-30 16:15:30