Trace number 2693451

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.1 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
MD5SUM099eb4454f9d71550aca948671f10d54
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark408.702
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 649
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: Clp 1.11.1] [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-2693451-1277904851.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.02	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.06/0.08	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.06/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.11	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.15	c    (0.1s) probing: 101/1062 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  138 deleted vars, 274 deleted constraints, 916 tightened bounds, 0 added holes, 143 changed sides, 0 changed coefficients
0.09/0.15	c  1116 implications, 15 cliques
0.09/0.15	c presolved problem has 1893 variables (1062 bin, 0 int, 0 impl, 831 cont) and 3334 constraints
0.09/0.15	c     831 constraints of type <indicator>
0.09/0.15	c      15 constraints of type <setppc>
0.09/0.15	c     831 constraints of type <linear>
0.09/0.15	c    1657 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    44 |     - |8639k|   0 |  29 |1893 |3334 |1893 |1672 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    92 |     - |8822k|   0 |  44 |1893 |3334 |1893 |1687 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   203 |     - |9246k|   0 |  70 |1893 |3334 |1893 |1696 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   344 |     - |9382k|   0 |  81 |1893 |3334 |1893 |1709 |  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   412 |     - |9388k|   0 |  82 |1893 |3334 |1893 |1716 |  44 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.29	c   3.2s|     1 |     2 |   412 |     - |9417k|   0 |  82 |1893 |3334 |1893 |1716 |  44 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
3.19/3.29	o 42488
3.19/3.29	c y 3.2s|     2 |     1 |   412 |   0.0 |9446k|   1 |   - |1893 |3334 |   0 |   0 |  44 |   0 |  33 | 0.000000e+00 | 4.248800e+04 |    Inf 
5.70/5.76	o 493
5.70/5.76	c * 5.6s|    53 |    32 |  1639 |  23.6 |9798k|  22 |   - |1893 |3334 |1893 |1713 |  71 |   0 | 298 | 0.000000e+00 | 4.930000e+02 |    Inf 
5.79/5.84	o 398
5.79/5.84	c * 5.7s|    85 |    45 |  1790 |  16.4 |9936k|  24 |   - |1893 |3346 |1893 |1724 |  93 |  12 | 314 | 0.000000e+00 | 3.980000e+02 |    Inf 
5.89/5.90	o 394
5.89/5.90	c * 5.7s|    96 |    46 |  1858 |  15.2 |  10M|  24 |   - |1893 |3353 |1893 |1719 |  99 |  19 | 324 | 0.000000e+00 | 3.940000e+02 |    Inf 
5.99/6.01	o 339
5.99/6.01	c * 5.8s|   118 |    50 |  1955 |  13.2 |  10M|  33 |   - |1893 |3377 |1893 |1724 | 104 |  43 | 348 | 0.000000e+00 | 3.390000e+02 |    Inf 
6.09/6.15	o 317
6.09/6.15	c * 6.0s|   133 |    52 |  2056 |  12.5 |  10M|  33 |   - |1893 |3392 |1893 |1719 | 104 |  58 | 370 | 0.000000e+00 | 3.170000e+02 |    Inf 
6.09/6.15	o 270
6.09/6.15	c * 6.0s|   134 |    47 |  2058 |  12.4 |  10M|  33 |   - |1893 |3392 |1893 |1719 | 104 |  58 | 370 | 0.000000e+00 | 2.700000e+02 |    Inf 
7.59/7.62	o 265
7.59/7.62	c * 7.3s|   309 |    79 |  3479 |  10.0 |  11M|  35 |   - |1893 |3578 |1893 |1717 | 209 | 255 | 808 | 0.000000e+00 | 2.650000e+02 |    Inf 
7.59/7.63	o 213
7.59/7.63	c * 7.3s|   311 |    70 |  3502 |  10.0 |  11M|  35 |   - |1893 |3578 |1893 |1721 | 213 | 255 | 808 | 0.000000e+00 | 2.130000e+02 |    Inf 
7.59/7.68	o 198
7.59/7.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.59/7.68	c * 7.4s|   329 |    66 |  3558 |   9.6 |  11M|  35 |   - |1893 |3588 |1893 |1715 | 215 | 265 | 814 | 0.000000e+00 | 1.980000e+02 |    Inf 
7.59/7.68	o 178
7.59/7.68	c * 7.4s|   330 |    61 |  3560 |   9.6 |  11M|  35 |   - |1893 |3588 |1893 |1715 | 215 | 265 | 814 | 0.000000e+00 | 1.780000e+02 |    Inf 
9.69/9.80	o 156
9.69/9.80	c * 9.4s|   641 |   154 |  7101 |  10.5 |  12M|  37 |   - |1893 |3911 |1893 |1735 | 342 | 607 |1310 | 0.000000e+00 | 1.560000e+02 |    Inf 
10.39/10.48	o 150
10.39/10.48	c *10.1s|   726 |   163 |  8521 |  11.2 |  13M|  37 |   - |1893 |3951 |1893 |1717 | 405 | 682 |1445 | 0.000000e+00 | 1.500000e+02 |    Inf 
10.50/10.54	o 109
10.50/10.54	c *10.1s|   757 |   160 |  8626 |  10.9 |  12M|  38 |   - |1893 |3959 |1893 |1730 | 410 | 698 |1448 | 0.000000e+00 | 1.090000e+02 |    Inf 
11.00/11.01	o 99
11.00/11.01	c *10.6s|   800 |   151 |  9917 |  11.9 |  13M|  38 |   - |1893 |3972 |1893 |1727 | 443 | 746 |1531 | 0.000000e+00 | 9.900000e+01 |    Inf 
11.00/11.03	o 92
11.00/11.03	c *10.6s|   803 |   127 |  9933 |  11.9 |  12M|  38 |   - |1893 |3947 |1893 |1727 | 443 | 746 |1533 | 0.000000e+00 | 9.200000e+01 |    Inf 
11.00/11.03	o 84
11.00/11.03	c *10.6s|   804 |   123 |  9936 |  11.9 |  12M|  38 |   - |1893 |3947 |1893 |1727 | 443 | 746 |1533 | 0.000000e+00 | 8.400000e+01 |    Inf 
11.09/11.14	o 74
11.09/11.14	c *10.7s|   824 |   100 | 10224 |  11.9 |  12M|  38 |   - |1893 |3815 |1893 |1734 | 474 | 758 |1550 | 0.000000e+00 | 7.400000e+01 |    Inf 
11.09/11.14	o 52
11.09/11.14	c R10.7s|   825 |    78 | 10229 |  11.9 |  12M|  38 |   - |1893 |3815 |1893 |1734 | 474 | 758 |1550 | 0.000000e+00 | 5.200000e+01 |    Inf 
16.79/16.88	o 31
16.79/16.88	c *16.2s|  3051 |   127 | 33251 |  10.8 |  14M|  44 |   - |1893 |5141 |1893 |1714 | 825 |3556 |1859 | 0.000000e+00 | 3.100000e+01 |    Inf 
32.20/32.21	c  31.0s| 10000 |   450 |118961 |  11.9 |  18M|  44 |   - |1893 |7053 |   0 |   0 |2014 |  11k|2049 | 0.000000e+00 | 3.100000e+01 |    Inf 
37.59/37.63	o 28
37.59/37.63	c *36.2s| 12694 |   562 |146686 |  11.5 |  20M|  45 |   - |1893 |7618 |1893 |1709 |2427 |  15k|2064 | 0.000000e+00 | 2.800000e+01 |    Inf 
39.78/39.88	o 10
39.78/39.88	c *38.4s| 13800 |   311 |159242 |  11.5 |  16M|  45 |   - |1893 |8083 |1893 |1709 |2568 |  16k|2068 | 0.000000e+00 | 1.000000e+01 |    Inf 
52.88/52.93	c  51.0s| 20000 |   371 |241972 |  12.1 |  17M|  45 |  23 |1893 |9046 |1893 |1709 |3215 |  24k|2070 | 0.000000e+00 | 1.000000e+01 |    Inf 
73.99/74.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.99/74.02	c  71.4s| 30000 |   403 |370637 |  12.3 |  20M|  45 |   - |1893 |  12k|   0 |   0 |4485 |  36k|2155 | 0.000000e+00 | 1.000000e+01 |    Inf 
96.19/96.27	c  92.8s| 40000 |   561 |495793 |  12.4 |  22M|  47 |  19 |1893 |  16k|1893 |1709 |6190 |  49k|2511 | 0.000000e+00 | 1.000000e+01 |    Inf 
118.99/119.06	c   115s| 50000 |   520 |615378 |  12.3 |  23M|  47 |  34 |1893 |  17k|1893 |1709 |7752 |  62k|2825 | 0.000000e+00 | 1.000000e+01 |    Inf 
143.79/143.89	c   139s| 60000 |   514 |746630 |  12.4 |  25M|  49 |   - |1893 |  19k|   0 |   0 |9658 |  75k|3185 | 0.000000e+00 | 1.000000e+01 |    Inf 
167.39/167.41	c   162s| 70000 |   644 |873807 |  12.5 |  26M|  49 |  17 |1893 |  20k|1893 |1709 |  10k|  88k|3459 | 0.000000e+00 | 1.000000e+01 |    Inf 
190.59/190.66	c   184s| 80000 |   691 |996495 |  12.5 |  28M|  49 |  14 |1893 |  23k|1893 |1714 |  11k| 101k|3710 | 0.000000e+00 | 1.000000e+01 |    Inf 
214.09/214.14	c   207s| 90000 |   661 |  1117k|  12.4 |  28M|  50 |  28 |1893 |  22k|1893 |1718 |  13k| 114k|3911 | 0.000000e+00 | 1.000000e+01 |    Inf 
237.49/237.53	o 6
237.49/237.53	c * 229s| 99412 |   508 |  1244k|  12.5 |  27M|  50 |   - |1893 |  24k|1893 |1709 |  14k| 126k|4162 | 0.000000e+00 | 6.000000e+00 |    Inf 
238.70/238.78	c   231s|100000 |   514 |  1250k|  12.5 |  26M|  50 |  17 |1893 |  22k|1893 |1709 |  14k| 127k|4168 | 0.000000e+00 | 6.000000e+00 |    Inf 
247.40/247.44	o 3
247.40/247.44	c * 239s|103739 |   469 |  1295k|  12.5 |  24M|  50 |   - |1893 |  18k|1893 |1709 |  14k| 131k|4274 | 0.000000e+00 | 3.000000e+00 |    Inf 
260.09/260.13	c   251s|110000 |   579 |  1361k|  12.4 |  26M|  51 |  14 |1893 |  20k|1893 |1717 |  15k| 139k|4382 | 0.000000e+00 | 3.000000e+00 |    Inf 
281.29/281.32	c   272s|120000 |   567 |  1470k|  12.2 |  26M|  51 |   - |1893 |  20k|1893 |1709 |  16k| 153k|4508 | 0.000000e+00 | 3.000000e+00 |    Inf 
303.80/303.81	c   293s|130000 |   472 |  1595k|  12.3 |  25M|  51 |   - |1893 |  17k|   0 |   0 |  17k| 166k|4728 | 0.000000e+00 | 3.000000e+00 |    Inf 
326.70/326.78	c   316s|140000 |   657 |  1728k|  12.3 |  27M|  51 |   - |1893 |  19k|1893 |1709 |  18k| 178k|4860 | 0.000000e+00 | 3.000000e+00 |    Inf 
349.99/350.05	c   338s|150000 |   772 |  1859k|  12.4 |  29M|  53 |   - |1893 |  22k|   0 |   0 |  19k| 191k|5098 | 0.000000e+00 | 3.000000e+00 |    Inf 
374.09/374.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
374.09/374.12	c   361s|160000 |   984 |  1996k|  12.5 |  31M|  53 |  17 |1893 |  24k|1893 |1709 |  19k| 204k|5254 | 0.000000e+00 | 3.000000e+00 |    Inf 
397.40/397.40	c   384s|170000 |  1113 |  2118k|  12.5 |  32M|  53 |  19 |1893 |  25k|1893 |1709 |  20k| 217k|5444 | 0.000000e+00 | 3.000000e+00 |    Inf 
421.00/421.06	c   407s|180000 |  1129 |  2245k|  12.5 |  32M|  53 |  10 |1893 |  23k|1893 |1715 |  22k| 230k|5550 | 0.000000e+00 | 3.000000e+00 |    Inf 
445.60/445.61	c   431s|190000 |  1213 |  2378k|  12.5 |  34M|  54 |   9 |1893 |  26k|1893 |1709 |  23k| 244k|5755 | 0.000000e+00 | 3.000000e+00 |    Inf 
469.79/469.88	c   454s|200000 |  1156 |  2503k|  12.5 |  33M|  54 |   - |1893 |  24k|1893 |1720 |  24k| 257k|5938 | 0.000000e+00 | 3.000000e+00 |    Inf 
495.69/495.73	c   479s|210000 |  1247 |  2649k|  12.6 |  36M|  54 |   - |1893 |  28k|1893 |1709 |  25k| 270k|6048 | 0.000000e+00 | 3.000000e+00 |    Inf 
520.59/520.69	c   503s|220000 |  1148 |  2778k|  12.6 |  35M|  54 |  14 |1893 |  28k|1893 |1709 |  25k| 284k|6221 | 0.000000e+00 | 3.000000e+00 |    Inf 
546.39/546.42	c   528s|230000 |  1178 |  2913k|  12.7 |  36M|  58 |   - |1893 |  30k|   0 |   0 |  27k| 297k|6383 | 0.000000e+00 | 3.000000e+00 |    Inf 
573.40/573.49	c   555s|240000 |  1253 |  3059k|  12.7 |  37M|  58 |  24 |1893 |  29k|1893 |1709 |  28k| 311k|6485 | 0.000000e+00 | 3.000000e+00 |    Inf 
601.19/601.27	c   582s|250000 |  1294 |  3205k|  12.8 |  38M|  59 |  28 |1893 |  31k|1893 |1709 |  29k| 324k|6639 | 0.000000e+00 | 3.000000e+00 |    Inf 
627.39/627.43	c   607s|260000 |  1356 |  3344k|  12.9 |  38M|  59 |   1 |1893 |  30k|1893 |1709 |  30k| 338k|6777 | 0.000000e+00 | 3.000000e+00 |    Inf 
653.60/653.68	c   632s|270000 |  1253 |  3488k|  12.9 |  38M|  62 |  25 |1893 |  29k|1893 |1709 |  30k| 352k|6885 | 0.000000e+00 | 3.000000e+00 |    Inf 
678.80/678.86	c   657s|280000 |  1255 |  3621k|  12.9 |  39M|  62 |  21 |1893 |  30k|1893 |1709 |  31k| 365k|6986 | 0.000000e+00 | 3.000000e+00 |    Inf 
706.00/706.07	c   683s|290000 |  1246 |  3768k|  13.0 |  38M|  62 |  14 |1893 |  30k|1893 |1709 |  32k| 378k|7135 | 0.000000e+00 | 3.000000e+00 |    Inf 
733.20/733.26	c   710s|300000 |  1206 |  3913k|  13.0 |  38M|  62 |   - |1893 |  29k|   0 |   0 |  33k| 392k|7288 | 0.000000e+00 | 3.000000e+00 |    Inf 
760.10/760.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
760.10/760.12	c   736s|310000 |  1222 |  4062k|  13.1 |  39M|  62 |  15 |1893 |  31k|1893 |1709 |  34k| 405k|7401 | 0.000000e+00 | 3.000000e+00 |    Inf 
786.30/786.39	c   761s|320000 |  1110 |  4202k|  13.1 |  39M|  62 |   - |1893 |  32k|   0 |   0 |  35k| 418k|7517 | 0.000000e+00 | 3.000000e+00 |    Inf 
813.10/813.17	c   787s|330000 |   991 |  4348k|  13.2 |  37M|  62 |  17 |1893 |  29k|1893 |1709 |  36k| 432k|7645 | 0.000000e+00 | 3.000000e+00 |    Inf 
836.80/836.80	c   810s|340000 |   618 |  4465k|  13.1 |  32M|  62 |  21 |1893 |  25k|1893 |1709 |  37k| 446k|7752 | 0.000000e+00 | 3.000000e+00 |    Inf 
859.30/859.39	c   832s|350000 |   737 |  4577k|  13.1 |  34M|  62 |   6 |1893 |  27k|1893 |1716 |  39k| 459k|7860 | 0.000000e+00 | 3.000000e+00 |    Inf 
882.21/882.28	c   854s|360000 |   707 |  4685k|  13.0 |  35M|  62 |   - |1893 |  29k|   0 |   0 |  40k| 472k|7971 | 0.000000e+00 | 3.000000e+00 |    Inf 
906.60/906.60	c   878s|370000 |   783 |  4800k|  13.0 |  34M|  62 |   - |1893 |  28k|   0 |   0 |  41k| 484k|8098 | 0.000000e+00 | 3.000000e+00 |    Inf 
928.71/928.74	c   899s|380000 |   914 |  4898k|  12.9 |  35M|  62 |   - |1893 |  28k|   0 |   0 |  43k| 497k|8158 | 0.000000e+00 | 3.000000e+00 |    Inf 
952.80/952.83	c   923s|390000 |  1128 |  5016k|  12.9 |  38M|  62 |   - |1893 |  32k|1893 |1709 |  44k| 509k|8241 | 0.000000e+00 | 3.000000e+00 |    Inf 
976.71/976.76	c   946s|400000 |  1105 |  5127k|  12.8 |  38M|  62 |   - |1893 |  32k|   0 |   0 |  45k| 523k|8323 | 0.000000e+00 | 3.000000e+00 |    Inf 
1000.51/1000.54	c   969s|410000 |  1122 |  5240k|  12.8 |  37M|  62 |   - |1893 |  30k|   0 |   0 |  47k| 535k|8398 | 0.000000e+00 | 3.000000e+00 |    Inf 
1024.21/1024.28	c   992s|420000 |  1058 |  5343k|  12.7 |  38M|  62 |   - |1893 |  31k|   0 |   0 |  49k| 548k|8490 | 0.000000e+00 | 3.000000e+00 |    Inf 
1047.80/1047.83	c  1015s|430000 |  1139 |  5450k|  12.7 |  38M|  62 |   - |1893 |  32k|   0 |   0 |  50k| 561k|8573 | 0.000000e+00 | 3.000000e+00 |    Inf 
1071.41/1071.46	c  1038s|440000 |  1008 |  5556k|  12.6 |  38M|  62 |   - |1893 |  32k|   0 |   0 |  52k| 575k|8654 | 0.000000e+00 | 3.000000e+00 |    Inf 
1095.11/1095.13	c  1061s|450000 |   925 |  5662k|  12.6 |  38M|  62 |   - |1893 |  32k|   0 |   0 |  53k| 588k|8742 | 0.000000e+00 | 3.000000e+00 |    Inf 
1119.01/1119.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1119.01/1119.06	c  1084s|460000 |   994 |  5771k|  12.5 |  38M|  62 |   - |1893 |  33k|1893 |1709 |  54k| 601k|8824 | 0.000000e+00 | 3.000000e+00 |    Inf 
1142.70/1142.75	c  1107s|470000 |  1168 |  5878k|  12.5 |  41M|  62 |   - |1893 |  37k|   0 |   0 |  55k| 614k|8873 | 0.000000e+00 | 3.000000e+00 |    Inf 
1167.30/1167.39	c  1131s|480000 |  1223 |  5989k|  12.5 |  42M|  62 |   - |1893 |  37k|1893 |1709 |  56k| 628k|8936 | 0.000000e+00 | 3.000000e+00 |    Inf 
1193.31/1193.35	c  1156s|490000 |  1401 |  6108k|  12.5 |  44M|  62 |   - |1893 |  41k|   0 |   0 |  58k| 641k|9007 | 0.000000e+00 | 3.000000e+00 |    Inf 
1219.20/1219.29	c  1181s|500000 |  1336 |  6219k|  12.4 |  43M|  62 |   - |1893 |  37k|   0 |   0 |  59k| 655k|9085 | 0.000000e+00 | 3.000000e+00 |    Inf 
1245.21/1245.27	c  1206s|510000 |  1246 |  6335k|  12.4 |  42M|  62 |  19 |1893 |  37k|1893 |1709 |  60k| 669k|9174 | 0.000000e+00 | 3.000000e+00 |    Inf 
1270.31/1270.30	c  1231s|520000 |  1152 |  6440k|  12.4 |  42M|  62 |   - |1893 |  36k|   0 |   0 |  62k| 682k|9260 | 0.000000e+00 | 3.000000e+00 |    Inf 
1296.11/1296.17	c  1256s|530000 |  1036 |  6555k|  12.4 |  41M|  62 |   - |1893 |  35k|   0 |   0 |  63k| 696k|9346 | 0.000000e+00 | 3.000000e+00 |    Inf 
1320.61/1320.64	c  1280s|540000 |   973 |  6665k|  12.3 |  40M|  62 |  21 |1893 |  35k|1893 |1718 |  64k| 709k|9395 | 0.000000e+00 | 3.000000e+00 |    Inf 
1345.81/1345.84	c  1304s|550000 |   619 |  6775k|  12.3 |  33M|  62 |   - |1893 |  26k|   0 |   0 |  66k| 723k|9476 | 0.000000e+00 | 3.000000e+00 |    Inf 
1371.41/1371.48	c  1329s|560000 |   413 |  6914k|  12.3 |  29M|  62 |   - |1893 |  20k|   0 |   0 |  67k| 736k|9593 | 0.000000e+00 | 3.000000e+00 |    Inf 
1399.11/1399.19	c  1356s|570000 |   434 |  7080k|  12.4 |  30M|  62 |   - |1893 |  22k|   0 |   0 |  67k| 749k|9689 | 0.000000e+00 | 3.000000e+00 |    Inf 
1425.51/1425.60	c  1381s|580000 |   423 |  7227k|  12.5 |  31M|  62 |   - |1893 |  26k|   0 |   0 |  68k| 762k|9773 | 0.000000e+00 | 3.000000e+00 |    Inf 
1453.31/1453.36	c  1408s|590000 |   510 |  7375k|  12.5 |  33M|  62 |   - |1893 |  30k|   0 |   0 |  69k| 776k|9863 | 0.000000e+00 | 3.000000e+00 |    Inf 
1481.21/1481.28	c  1436s|600000 |   483 |  7522k|  12.5 |  34M|  62 |  15 |1893 |  31k|1893 |1709 |  70k| 789k|9963 | 0.000000e+00 | 3.000000e+00 |    Inf 
1510.71/1510.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1510.71/1510.78	c  1464s|610000 |   418 |  7680k|  12.6 |  32M|  62 |   - |1893 |  28k|   0 |   0 |  71k| 803k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1537.01/1537.03	c  1490s|620000 |   323 |  7823k|  12.6 |  31M|  62 |   - |1893 |  27k|   0 |   0 |  72k| 816k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1562.32/1562.31	c  1514s|630000 |   363 |  7959k|  12.6 |  33M|  62 |   - |1893 |  33k|   0 |   0 |  73k| 829k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1591.21/1591.26	c  1542s|640000 |   348 |  8115k|  12.7 |  33M|  62 |  21 |1893 |  33k|1893 |1709 |  75k| 842k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1618.51/1618.58	c  1569s|650000 |   397 |  8266k|  12.7 |  35M|  62 |  14 |1893 |  38k|1893 |1709 |  76k| 856k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1646.81/1646.89	c  1597s|660000 |   453 |  8401k|  12.7 |  36M|  62 |  15 |1893 |  39k|1893 |1709 |  77k| 869k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1675.22/1675.24	c  1624s|670000 |   521 |  8547k|  12.8 |  37M|  62 |  20 |1893 |  42k|1893 |1709 |  78k| 883k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1703.41/1703.43	c  1652s|680000 |   559 |  8672k|  12.8 |  38M|  62 |   - |1893 |  44k|   0 |   0 |  79k| 896k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1733.62/1733.62	c  1681s|690000 |   510 |  8818k|  12.8 |  37M|  62 |  23 |1893 |  40k|1893 |1709 |  80k| 910k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1763.42/1763.48	c  1710s|700000 |   428 |  8962k|  12.8 |  36M|  62 |  28 |1893 |  38k|1893 |1709 |  81k| 923k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1791.71/1791.74	c  1738s|710000 |   407 |  9105k|  12.8 |  36M|  62 |  21 |1893 |  39k|1893 |1714 |  83k| 937k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1745.56
1800.02/1800.00	c Solving Nodes      : 712962
1800.02/1800.00	c Primal Bound       : +3.00000000000000e+00 (121 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.01	s SATISFIABLE
1800.02/1800.01	v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.02/1800.01	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 
1800.02/1800.01	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1800.02/1800.01	v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.02/1800.01	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1800.02/1800.01	v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.02/1800.01	v -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.02/1800.01	v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 
1800.02/1800.01	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.02/1800.01	v -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.02/1800.01	v -x1 
1800.02/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.01	c Solving Time       :    1745.56
1800.02/1800.01	c Original Problem   :
1800.02/1800.01	c   Problem name     : HOME/instance-2693451-1277904851.wbo
1800.02/1800.01	c   Variables        : 2031 (1131 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.02/1800.01	c   Constraints      : 3608 initial, 3608 maximal
1800.02/1800.01	c Presolved Problem  :
1800.02/1800.01	c   Problem name     : t_HOME/instance-2693451-1277904851.wbo
1800.02/1800.01	c   Variables        : 1893 (1062 binary, 0 integer, 0 implicit integer, 831 continuous)
1800.02/1800.01	c   Constraints      : 3334 initial, 44674 maximal
1800.02/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.01	c   trivial          :       0.00         69          0          0          0          0          0          0          0
1800.02/1800.01	c   dualfix          :       0.00         69          0          0          0          0          0          0          0
1800.02/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.02/1800.01	c   indicator        :       0.00          0          0          0          0          0         69          0          0
1800.02/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   linear           :       0.07          0          0          0        916          0        205        143          0
1800.02/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.01	c   root node        :          -        814          -          -       1628          -          -          -          -
1800.02/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.01	c   integral         :          0          0          0     404556          0        219       2677          0          0     772592
1800.02/1800.01	c   indicator        :        831          0    3107961      15929          0         61     289068          0          0          0
1800.02/1800.02	c   setppc           :         15          5    3112303      15902          0      59703    2574721          0          0          0
1800.02/1800.02	c   linear           :        831          5    3053563      15952          0     100485   10476959      83519          0          0
1800.02/1800.02	c   logicor          :       1657+         5    1631283        275          0     118822    6169662          0          0          0
1800.02/1800.02	c   countsols        :          0          0          0        275          0          0          0          0          0          0
1800.02/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.02	c   integral         :      39.00       0.00       0.00      39.00       0.00
1800.02/1800.02	c   indicator        :       2.21       0.02       2.10       0.09       0.00
1800.02/1800.02	c   setppc           :      17.22       0.00      17.20       0.02       0.00
1800.02/1800.02	c   linear           :      62.77       0.00      62.40       0.37       0.00
1800.02/1800.02	c   logicor          :     249.74       0.01     249.73       0.00       0.00
1800.02/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.02	c   vbounds          :       0.91          2          0          0
1800.02/1800.02	c   rootredcost      :       0.71         24          0        814
1800.02/1800.02	c   pseudoobj        :      49.55    3113617        424     240193
1800.02/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.02	c   propagation      :      11.49     279434     278055    1673276       26.9       6538       24.7          -
1800.02/1800.02	c   infeasible LP    :      20.44     104192     104170     804835       45.8        732       17.3          0
1800.02/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.02	c   pseudo solution  :       0.00         12         12         68       15.6          0        0.0          -
1800.02/1800.02	c   applied globally :          -          -          -     941190       28.2          -          -          -
1800.02/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.02	c   cut pool         :       0.00          4          -          -         12          -    (maximal pool size: 291)
1800.02/1800.02	c   redcost          :       9.95     405476          0      35179          0          0
1800.02/1800.02	c   impliedbounds    :       0.00          5          0          0          0          0
1800.02/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.02	c   gomory           :       0.18          5          0          0       1106          0
1800.02/1800.02	c   strongcg         :       0.16          5          0          0        908          0
1800.02/1800.02	c   cmir             :       0.02          5          0          0          2          0
1800.02/1800.02	c   flowcover        :       0.05          5          0          0          4          0
1800.02/1800.02	c   clique           :       0.00          5          0          0          0          0
1800.02/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.02	c Pricers            :       Time      Calls       Vars
1800.02/1800.02	c   problem variables:       0.00          0          0
1800.02/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.02	c   relpscost        :      38.71     388588        219       2677          0          0     772592
1800.02/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   inference        :       0.00        253          0          0          0          0        506
1800.02/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.02	c   LP solutions     :       0.00          -         22
1800.02/1800.02	c   pseudo solutions :       0.00          -          0
1800.02/1800.02	c   oneopt           :       0.29         20          0
1800.02/1800.02	c   feaspump         :       0.02          1          0
1800.02/1800.02	c   crossover        :       0.44         10          0
1800.02/1800.02	c   guideddiving     :       0.21         48          0
1800.02/1800.02	c   pscostdiving     :       0.18         48          0
1800.02/1800.02	c   coefdiving       :       0.23         48          0
1800.02/1800.02	c   fracdiving       :       0.18         49          0
1800.02/1800.02	c   veclendiving     :       0.17         49          0
1800.02/1800.02	c   linesearchdiving :       0.18         49          0
1800.02/1800.02	c   objpscostdiving  :       0.22         25          0
1800.02/1800.02	c   rootsoldiving    :       0.29         25          0
1800.02/1800.02	c   trivial          :       0.01          2          0
1800.02/1800.02	c   simplerounding   :       0.61     388689          0
1800.02/1800.02	c   zirounding       :       0.24       1000          0
1800.02/1800.02	c   rounding         :       2.90      29890          1
1800.02/1800.02	c   shifting         :       0.81       2786          0
1800.02/1800.02	c   intshifting      :       0.01         14          0
1800.02/1800.02	c   twoopt           :       0.00          0          0
1800.02/1800.02	c   fixandinfer      :       0.00          0          0
1800.02/1800.02	c   intdiving        :       0.00          0          0
1800.02/1800.02	c   actconsdiving    :       0.00          0          0
1800.02/1800.02	c   octane           :       0.00          0          0
1800.02/1800.02	c   rens             :       0.04          1          0
1800.02/1800.02	c   rins             :       0.00          0          0
1800.02/1800.02	c   localbranching   :       0.00          0          0
1800.02/1800.02	c   mutation         :       0.00          0          0
1800.02/1800.02	c   dins             :       0.00          0          0
1800.02/1800.02	c   undercover       :       0.00          0          0
1800.02/1800.02	c   nlp              :       0.20          0          0
1800.02/1800.02	c   trysol           :       1.40       5716         98
1800.02/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.02	c   dual LP          :     926.51     506777    9139412      18.03    9864.34
1800.02/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.02	c   diving/probing LP:       1.19        673       7009      10.41    5889.92
1800.02/1800.02	c   strong branching :      35.09      10806     338945      31.37    9659.30
1800.02/1800.02	c     (at root node) :          -         33      20028     606.91          -
1800.02/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.02	c B&B Tree           :
1800.02/1800.02	c   number of runs   :          1
1800.02/1800.02	c   nodes            :     712962
1800.02/1800.02	c   nodes (total)    :     712962
1800.02/1800.02	c   nodes left       :        400
1800.02/1800.02	c   max depth        :         62
1800.02/1800.02	c   max depth (total):         62
1800.02/1800.02	c   backtracks       :     106692 (15.0%)
1800.02/1800.02	c   delayed cutoffs  :      58965
1800.02/1800.02	c   repropagations   :    1114416 (4108147 domain reductions, 56915 cutoffs)
1800.02/1800.02	c   avg switch length:       4.72
1800.02/1800.02	c   switching time   :     199.92
1800.02/1800.02	c Solution           :
1800.02/1800.02	c   Solutions found  :        121 (24 improvements)
1800.02/1800.02	c   First Solution   : +4.24880000000000e+04   (in run 1, after 1 nodes, 0.64 seconds, depth 0, found by <trysol>)
1800.02/1800.02	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 103739 nodes, 238.92 seconds, depth 31, found by <relaxation>)
1800.02/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.02	c   Gap              :   infinite
1800.02/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.02	c   Root Iterations  :        412
1800.02/1800.08	c Time complete: 1800.09.

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693451-1277904851/watcher-2693451-1277904851 -o /tmp/evaluation-result-2693451-1277904851/solver-2693451-1277904851 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693451-1277904851.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: 2.02 2.04 2.01 4/196 11819
/proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=11008 CPUtime=0
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 131781147 11272192 1596 4089446400 4194304 9819077 140733645589056 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11819/statm: 2752 1596 392 1374 0 1373 0

[startup+0.079907 s]
/proc/loadavg: 2.02 2.04 2.01 4/196 11819
/proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=24056 CPUtime=0.06
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5918 0 0 0 6 0 0 0 25 0 1 0 131781147 24633344 4714 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 6014 4714 498 1374 0 4635 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24056

[startup+0.100907 s]
/proc/loadavg: 2.02 2.04 2.01 4/196 11819
/proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=25824 CPUtime=0.09
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 7303 0 0 0 8 1 0 0 25 0 1 0 131781147 26443776 5072 4089446400 4194304 9819077 140733645589056 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 6456 5132 504 1374 0 5077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25824

[startup+0.30087 s]
/proc/loadavg: 2.02 2.04 2.01 4/196 11819
/proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=35104 CPUtime=0.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11092 0 0 0 28 1 0 0 25 0 1 0 131781147 35946496 7104 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 8776 7104 680 1374 0 7397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35104

[startup+0.700834 s]
/proc/loadavg: 2.02 2.04 2.01 4/196 11819
/proc/meminfo: memFree=31148240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=45024 CPUtime=0.69
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 27904 0 0 0 67 2 0 0 25 0 1 0 131781147 46104576 8916 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 11256 8916 717 1374 0 9877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45024

[startup+1.50067 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11820
/proc/meminfo: memFree=31114256/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=45344 CPUtime=1.49
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 33841 0 0 0 145 4 0 0 25 0 1 0 131781147 46432256 8960 4089446400 4194304 9819077 140733645589056 18446744073709551615 7289360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 11336 8960 717 1374 0 9957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45344

[startup+3.1004 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11820
/proc/meminfo: memFree=31113884/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=45160 CPUtime=3.09
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 45475 0 0 0 302 7 0 0 25 0 1 0 131781147 46243840 8913 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 11290 8913 717 1374 0 9911 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45160

[startup+6.30087 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11820
/proc/meminfo: memFree=31111540/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=47384 CPUtime=6.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 98355 0 0 0 611 19 0 0 25 0 1 0 131781147 48521216 9589 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 11846 9589 724 1374 0 10467 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 47384

[startup+12.7008 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11822
/proc/meminfo: memFree=31099692/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=51872 CPUtime=12.69
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 222516 0 0 0 1218 51 0 0 25 0 1 0 131781147 53116928 10984 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 12968 10986 740 1374 0 11589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51872

[startup+25.5006 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11822
/proc/meminfo: memFree=31087768/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=58756 CPUtime=25.49
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 390581 0 0 0 2451 98 0 0 25 0 1 0 131781147 60166144 12778 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11819/statm: 14689 12778 740 1374 0 13310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58756

[startup+51.1003 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 11822
/proc/meminfo: memFree=31070712/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=66908 CPUtime=51.08
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 661223 0 0 0 4924 184 0 0 25 0 1 0 131781147 68513792 14705 4089446400 4194304 9819077 140733645589056 18446744073709551615 6671086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 16727 14704 740 1374 0 15348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66908

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 11824
/proc/meminfo: memFree=31052332/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=74828 CPUtime=102.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1269412 0 0 0 9867 362 0 0 25 0 1 0 131781147 76623872 16674 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 18707 16676 741 1374 0 17328 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 74828

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11826
/proc/meminfo: memFree=31025992/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=79880 CPUtime=162.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 1922335 0 0 0 15663 566 0 0 25 0 1 0 131781147 81797120 17981 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 19970 17981 741 1374 0 18591 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79880

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 8/197 11826
/proc/meminfo: memFree=30999672/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=83368 CPUtime=222.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 2557737 0 0 0 21466 763 0 0 25 0 1 0 131781147 85368832 18716 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 20842 18716 741 1374 0 19463 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 83368

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/197 11828
/proc/meminfo: memFree=30971868/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=83708 CPUtime=282.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 3205437 0 0 0 27259 971 0 0 25 0 1 0 131781147 85716992 18980 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 20927 18981 741 1374 0 19548 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 83708

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 11830
/proc/meminfo: memFree=30947172/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=84704 CPUtime=342.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 3814403 0 0 0 33070 1159 0 0 25 0 1 0 131781147 86736896 19073 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 21176 19073 741 1374 0 19797 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 84704

[startup+402.301 s]
/proc/loadavg: 2.34 2.12 2.03 3/197 11832
/proc/meminfo: memFree=30920336/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=89676 CPUtime=402.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 4412221 0 0 0 38879 1350 0 0 25 0 1 0 131781147 91828224 20320 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 22016 20297 741 1374 0 20637 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 89676

[startup+462.301 s]
/proc/loadavg: 2.12 2.09 2.03 3/197 11834
/proc/meminfo: memFree=30914468/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=91444 CPUtime=462.29
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5026168 0 0 0 44687 1542 0 0 25 0 1 0 131781147 93638656 20773 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 22861 20773 741 1374 0 21482 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 91444

[startup+522.301 s]
/proc/loadavg: 2.08 2.09 2.03 3/197 11834
/proc/meminfo: memFree=30913560/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=91444 CPUtime=522.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 5627563 0 0 0 50499 1731 0 0 25 0 1 0 131781147 93638656 20920 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 22861 20920 741 1374 0 21482 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 91444

[startup+582.301 s]
/proc/loadavg: 2.03 2.07 2.02 3/197 11836
/proc/meminfo: memFree=30911656/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=93852 CPUtime=582.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 6201996 0 0 0 56320 1910 0 0 25 0 1 0 131781147 96104448 21325 4089446400 4194304 9819077 140733645589056 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 23562 21327 741 1374 0 22183 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 93852

[startup+642.301 s]
/proc/loadavg: 2.01 2.05 2.02 3/197 11838
/proc/meminfo: memFree=30909900/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=95364 CPUtime=642.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 6756077 0 0 0 62146 2084 0 0 25 0 1 0 131781147 97652736 21730 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 23841 21730 741 1374 0 22462 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 95364

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11842
/proc/meminfo: memFree=30905556/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=100000 CPUtime=822.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 8348601 0 0 0 79629 2601 0 0 25 0 1 0 131781147 102400000 22609 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 25000 22609 741 1374 0 23621 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 100000

[startup+882.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/197 11844
/proc/meminfo: memFree=30891512/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=99964 CPUtime=882.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 8964194 0 0 0 85431 2799 0 0 25 0 1 0 131781147 102363136 22594 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 24991 22594 741 1374 0 23612 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 99964

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 11846
/proc/meminfo: memFree=30872016/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=100556 CPUtime=942.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 9539726 0 0 0 91246 2985 0 0 25 0 1 0 131781147 102969344 22721 4089446400 4194304 9819077 140733645589056 18446744073709551615 6723440 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 25139 22721 741 1374 0 23760 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 100556

[startup+1002.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/197 11848
/proc/meminfo: memFree=30853016/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=100752 CPUtime=1002.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 10113916 0 0 0 97062 3168 0 0 25 0 1 0 131781147 103170048 22813 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 25188 22813 741 1374 0 23809 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 100752

[startup+1062.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/197 11850
/proc/meminfo: memFree=30828308/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=101380 CPUtime=1062.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 10689475 0 0 0 102879 3351 0 0 25 0 1 0 131781147 103813120 22964 4089446400 4194304 9819077 140733645589056 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 25345 22964 741 1374 0 23966 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 101380

[startup+1122.3 s]
/proc/loadavg: 2.51 2.18 2.05 3/197 11850
/proc/meminfo: memFree=30802976/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=101640 CPUtime=1122.3
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11252521 0 0 0 108697 3533 0 0 25 0 1 0 131781147 104079360 23045 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 25410 23045 741 1374 0 24031 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 101640

[startup+1182.3 s]
/proc/loadavg: 2.15 2.13 2.04 3/197 11900
/proc/meminfo: memFree=31413584/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=104876 CPUtime=1182.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 11818650 0 0 0 114512 3719 0 0 25 0 1 0 131781147 107393024 23766 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26219 23766 741 1374 0 24840 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 104876

[startup+1242.3 s]
/proc/loadavg: 2.05 2.10 2.04 3/197 11902
/proc/meminfo: memFree=31410468/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=105984 CPUtime=1242.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 12369017 0 0 0 120347 3884 0 0 25 0 1 0 131781147 108527616 23995 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26496 23995 741 1374 0 25117 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 105984

[startup+1302.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/197 11904
/proc/meminfo: memFree=31409292/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106044 CPUtime=1302.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 12915063 0 0 0 126173 4058 0 0 25 0 1 0 131781147 108589056 23984 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26511 23984 741 1374 0 25132 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 106044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.07 2.02 3/197 11906
/proc/meminfo: memFree=31408508/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106848 CPUtime=1362.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 13467399 0 0 0 132003 4228 0 0 25 0 1 0 131781147 109412352 24166 4089446400 4194304 9819077 140733645589056 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26712 24166 741 1374 0 25333 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 106848

[startup+1422.31 s]
/proc/loadavg: 2.00 2.05 2.02 3/197 11906
/proc/meminfo: memFree=31407944/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106544 CPUtime=1422.32
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 14008322 0 0 0 137828 4404 0 0 25 0 1 0 131781147 109101056 24165 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26636 24165 741 1374 0 25257 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 106544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/197 11908
/proc/meminfo: memFree=31407260/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106908 CPUtime=1482.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 14523284 0 0 0 143661 4570 0 0 25 0 1 0 131781147 109473792 24205 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26727 24205 741 1374 0 25348 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 106908

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 11910
/proc/meminfo: memFree=31406940/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106516 CPUtime=1542.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 15053508 0 0 0 149488 4743 0 0 25 0 1 0 131781147 109072384 24227 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26629 24227 741 1374 0 25250 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 106516

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/197 11912
/proc/meminfo: memFree=31406512/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106928 CPUtime=1602.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 15593238 0 0 0 155313 4918 0 0 25 0 1 0 131781147 109494272 24245 4089446400 4194304 9819077 140733645589056 18446744073709551615 5955748 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26732 24245 741 1374 0 25353 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 106928

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 11923
/proc/meminfo: memFree=31404268/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=106436 CPUtime=1662.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 16110451 0 0 0 161153 5078 0 0 25 0 1 0 131781147 108990464 24306 4089446400 4194304 9819077 140733645589056 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 26609 24306 741 1374 0 25230 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 106436

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 11923
/proc/meminfo: memFree=31403452/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=108244 CPUtime=1722.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 16604327 0 0 0 166987 5244 0 0 25 0 1 0 131781147 110841856 24458 4089446400 4194304 9819077 140733645589056 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 27061 24458 741 1374 0 25682 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 108244

[startup+1782.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/197 11925
/proc/meminfo: memFree=31403240/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=108240 CPUtime=1782.31
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 17105098 0 0 0 172834 5397 0 0 25 0 1 0 131781147 110837760 24453 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 27060 24453 741 1374 0 25681 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 108240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.97 2.00 1.99 3/197 11925
/proc/meminfo: memFree=31403228/32951124 swapFree=67111528/67111528
[pid=11819] ppid=11817 vsize=108240 CPUtime=1800.02
/proc/11819/stat : 11819 (pbscip.linux.x8) R 11817 11819 10850 0 -1 4202496 17264928 0 0 0 174558 5444 0 0 25 0 1 0 131781147 110837760 24451 4089446400 4194304 9819077 140733645589056 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11819/statm: 27060 24451 741 1374 0 25681 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 108240

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.1
CPU user time (s): 1745.66
CPU system time (s): 54.4477
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 110544

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

runsolver used 3.12453 second user time and 6.26505 second system time

The end

Launcher Data 

Begin job on node130 at 2010-06-30 15:34:11
IDJOB=2693451
IDBENCH=78924
IDSOLVER=1205
FILE ID=node130/2693451-1277904851
PBS_JOBID= 11197197
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693451-1277904851/watcher-2693451-1277904851 -o /tmp/evaluation-result-2693451-1277904851/solver-2693451-1277904851 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693451-1277904851.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54
RANDOM SEED=1195670239

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31148768 kB
Buffers:        189476 kB
Cached:         966824 kB
SwapCached:          0 kB
Active:         973548 kB
Inactive:       688308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31148768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6312 kB
Writeback:           0 kB
AnonPages:      504892 kB
Mapped:          20756 kB
Slab:            77712 kB
PageTables:       5608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1665552 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= 74204 MiB
End job on node130 at 2010-06-30 16:04:13