Trace number 2693417

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.12 1800.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo
MD5SUMc177cc73697745a978507901f2a8beaa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark210.167
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 constraints911
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 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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-2693417-1277903048.wbo>
0.00/0.02	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.05/0.07	c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.05/0.09	c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10	c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.11	c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.15	c    (0.1s) probing: 101/1077 (9.4%) - 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  130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.15	c  1131 implications, 16 cliques
0.09/0.15	c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.15	c     846 constraints of type <indicator>
0.09/0.15	c      16 constraints of type <setppc>
0.09/0.15	c     846 constraints of type <linear>
0.09/0.15	c    1647 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.16	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.16	c   0.1s|     1 |     0 |    41 |     - |8706k|   0 |  14 |1923 |3355 |1923 |1663 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    81 |     - |8751k|   0 |  35 |1923 |3355 |1923 |1673 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    88 |     - |9065k|   0 |  36 |1923 |3355 |1923 |1681 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   125 |     - |9210k|   0 |  52 |1923 |3355 |1923 |1683 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   200 |     - |9557k|   0 |  56 |1923 |3355 |1923 |1691 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.68	c   0.6s|     1 |     0 |   862 |     - |9564k|   0 |  73 |1923 |3355 |1923 |1694 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.79	c   0.7s|     1 |     0 |   888 |     - |  10M|   0 |  78 |1923 |3355 |1923 |1705 |  42 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.19/2.24	c   2.2s|     1 |     2 |   888 |     - |  10M|   0 |  78 |1923 |3355 |1923 |1705 |  42 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
2.19/2.24	o 42201
2.19/2.24	c y 2.2s|     2 |     1 |   888 |   0.0 |  10M|   1 |   - |1923 |3355 |   0 |   0 |  42 |   0 |  33 | 0.000000e+00 | 4.220100e+04 |    Inf 
15.79/15.82	o 438
15.79/15.82	c *15.6s|   577 |   520 | 10342 |  16.4 |  12M|  57 |   - |1923 |3428 |1923 |1701 | 350 |  73 | 678 | 0.000000e+00 | 4.380000e+02 |    Inf 
15.79/15.82	o 381
15.79/15.82	c *15.6s|   578 |   490 | 10342 |  16.4 |  12M|  57 |   - |1923 |3428 |1923 |1701 | 350 |  73 | 678 | 0.000000e+00 | 3.810000e+02 |    Inf 
15.89/15.92	o 370
15.89/15.92	c *15.7s|   615 |   506 | 10824 |  16.2 |  13M|  57 |   - |1923 |3441 |1923 |1698 | 378 |  86 | 682 | 0.000000e+00 | 3.700000e+02 |    Inf 
15.89/15.97	o 346
15.89/15.97	c *15.8s|   630 |   504 | 11085 |  16.2 |  13M|  57 |   - |1923 |3447 |1923 |1705 | 386 |  92 | 683 | 0.000000e+00 | 3.460000e+02 |    Inf 
15.99/16.09	o 324
15.99/16.09	c *15.9s|   684 |   534 | 11483 |  15.5 |  13M|  57 |   - |1923 |3461 |1923 |1707 | 423 | 106 | 685 | 0.000000e+00 | 3.240000e+02 |    Inf 
15.99/16.09	o 255
15.99/16.09	c *15.9s|   685 |   458 | 11484 |  15.5 |  13M|  57 |   - |1923 |3461 |1923 |1707 | 423 | 106 | 685 | 0.000000e+00 | 2.550000e+02 |    Inf 
16.09/16.12	o 177
16.09/16.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.09/16.12	c *15.9s|   694 |   326 | 11603 |  15.5 |  13M|  57 |   - |1923 |3461 |1923 |1713 | 439 | 106 | 688 | 0.000000e+00 | 1.770000e+02 |    Inf 
16.09/16.13	o 120
16.09/16.13	c *15.9s|   695 |   176 | 11603 |  15.4 |  13M|  57 |   - |1923 |3461 |1923 |1713 | 439 | 106 | 688 | 0.000000e+00 | 1.200000e+02 |    Inf 
16.29/16.32	o 106
16.29/16.32	c *16.1s|   716 |   170 | 12351 |  16.0 |  13M|  57 |   - |1923 |3480 |1923 |1706 | 453 | 125 | 702 | 0.000000e+00 | 1.060000e+02 |    Inf 
16.50/16.57	o 78
16.50/16.57	c *16.4s|   753 |   155 | 13540 |  16.8 |  13M|  57 |   - |1923 |3514 |1923 |1709 | 481 | 159 | 709 | 0.000000e+00 | 7.800000e+01 |    Inf 
16.50/16.57	o 74
16.50/16.57	c *16.4s|   754 |   145 | 13541 |  16.8 |  13M|  57 |   - |1923 |3514 |1923 |1709 | 481 | 159 | 709 | 0.000000e+00 | 7.400000e+01 |    Inf 
16.59/16.65	o 64
16.59/16.65	c *16.4s|   770 |    49 | 14124 |  17.2 |  13M|  57 |   - |1923 |3292 |1923 |1703 | 487 | 169 | 709 | 0.000000e+00 | 6.400000e+01 |    Inf 
22.49/22.58	o 55
22.49/22.58	c *22.1s|  3142 |   208 | 46210 |  14.4 |  16M|  57 |   - |1923 |5365 |1923 |1697 | 766 |3126 | 862 | 0.000000e+00 | 5.500000e+01 |    Inf 
24.10/24.15	o 44
24.10/24.15	c *23.7s|  3720 |   233 | 55849 |  14.8 |  16M|  57 |   - |1923 |5023 |1923 |1698 | 881 |3869 | 872 | 0.000000e+00 | 4.400000e+01 |    Inf 
24.20/24.21	o 31
24.20/24.21	c *23.7s|  3747 |   222 | 56160 |  14.8 |  16M|  57 |   - |1923 |4889 |1923 |1697 | 881 |3902 | 872 | 0.000000e+00 | 3.100000e+01 |    Inf 
24.49/24.58	o 24
24.49/24.58	c *24.1s|  3915 |   213 | 58196 |  14.6 |  16M|  57 |   - |1923 |4770 |1923 |1703 | 907 |4126 | 872 | 0.000000e+00 | 2.400000e+01 |    Inf 
24.49/24.58	o 23
24.49/24.58	c *24.1s|  3916 |   187 | 58196 |  14.6 |  15M|  57 |   - |1923 |4770 |1923 |1703 | 907 |4126 | 872 | 0.000000e+00 | 2.300000e+01 |    Inf 
28.29/28.32	o 20
28.29/28.32	c *27.7s|  5729 |   209 | 78396 |  13.5 |  16M|  57 |   - |1923 |6196 |1923 |1705 |1291 |6834 | 971 | 0.000000e+00 | 2.000000e+01 |    Inf 
28.70/28.73	o 13
28.70/28.73	c *28.1s|  5907 |   205 | 80431 |  13.5 |  16M|  57 |   - |1923 |5970 |1923 |1710 |1362 |7099 | 983 | 0.000000e+00 | 1.300000e+01 |    Inf 
28.70/28.77	o 10
28.70/28.77	c *28.1s|  5924 |   181 | 80586 |  13.5 |  16M|  57 |   - |1923 |5878 |1923 |1704 |1362 |7130 | 985 | 0.000000e+00 | 1.000000e+01 |    Inf 
36.79/36.88	c  36.0s| 10000 |   214 |126976 |  12.6 |  17M|  57 |  36 |1923 |7861 |1923 |1697 |2130 |  12k|1096 | 0.000000e+00 | 1.000000e+01 |    Inf 
52.39/52.41	o 6
52.39/52.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.39/52.41	c *50.9s| 17152 |   232 |220240 |  12.8 |  19M|  57 |   - |1923 |  10k|1923 |1697 |3207 |  22k|1453 | 0.000000e+00 | 6.000000e+00 |    Inf 
52.39/52.42	o 5
52.39/52.42	c *51.0s| 17157 |   227 |220262 |  12.8 |  19M|  57 |   - |1923 |  10k|1923 |1697 |3207 |  22k|1453 | 0.000000e+00 | 5.000000e+00 |    Inf 
57.29/57.38	o 4
57.29/57.38	c *55.7s| 19531 |   191 |251108 |  12.8 |  18M|  57 |   - |1923 |8830 |1923 |1703 |3528 |  25k|1478 | 0.000000e+00 | 4.000000e+00 |    Inf 
57.29/57.38	o 3
57.29/57.38	c *55.7s| 19532 |   189 |251108 |  12.8 |  18M|  57 |   - |1923 |8830 |1923 |1703 |3528 |  25k|1478 | 0.000000e+00 | 3.000000e+00 |    Inf 
58.49/58.56	c  56.9s| 20000 |   197 |258961 |  12.9 |  18M|  57 |   - |1923 |7879 |   0 |   0 |3586 |  25k|1490 | 0.000000e+00 | 3.000000e+00 |    Inf 
79.90/79.95	c  77.5s| 30000 |   481 |393951 |  13.1 |  21M|  57 |   - |1923 |  14k|1923 |1702 |5028 |  38k|1633 | 0.000000e+00 | 3.000000e+00 |    Inf 
100.80/100.86	c  97.7s| 40000 |   689 |519191 |  13.0 |  24M|  57 |  20 |1923 |  16k|1923 |1697 |6518 |  52k|1638 | 0.000000e+00 | 3.000000e+00 |    Inf 
123.69/123.70	c   120s| 50000 |   775 |647839 |  12.9 |  25M|  57 |   8 |1923 |  17k|1923 |1697 |7940 |  65k|1916 | 0.000000e+00 | 3.000000e+00 |    Inf 
144.69/144.76	c   140s| 60000 |   954 |760909 |  12.7 |  28M|  57 |   - |1923 |  21k|1923 |1701 |9556 |  79k|2135 | 0.000000e+00 | 3.000000e+00 |    Inf 
166.40/166.47	c   161s| 70000 |   865 |874091 |  12.5 |  27M|  57 |   - |1923 |  20k|1923 |1697 |  10k|  93k|2365 | 0.000000e+00 | 3.000000e+00 |    Inf 
169.30/169.31	o 1
169.30/169.31	c * 164s| 71337 |   888 |888966 |  12.4 |  28M|  57 |   - |1923 |  21k|1923 |1697 |  11k|  95k|2384 | 0.000000e+00 | 1.000000e-00 |    Inf 
188.29/188.36	c   182s| 80000 |   861 |985147 |  12.3 |  27M|  57 |  22 |1923 |  18k|1923 |1697 |  12k| 107k|2517 | 0.000000e+00 | 1.000000e-00 |    Inf 
210.40/210.49	c   204s| 90000 |   966 |  1101k|  12.2 |  29M|  61 |   - |1923 |  21k|   0 |   0 |  13k| 121k|2694 | 0.000000e+00 | 1.000000e-00 |    Inf 
233.10/233.11	c   225s|100000 |  1002 |  1210k|  12.1 |  31M|  63 |   - |1923 |  24k|   0 |   0 |  15k| 135k|2904 | 0.000000e+00 | 1.000000e-00 |    Inf 
257.50/257.56	c   249s|110000 |   927 |  1330k|  12.1 |  29M|  63 |   - |1923 |  21k|   0 |   0 |  17k| 150k|3114 | 0.000000e+00 | 1.000000e-00 |    Inf 
280.00/280.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
280.00/280.02	c   271s|120000 |   844 |  1439k|  12.0 |  28M|  63 |  25 |1923 |  18k|1923 |1704 |  18k| 163k|3216 | 0.000000e+00 | 1.000000e-00 |    Inf 
303.20/303.21	c   293s|130000 |   708 |  1567k|  12.0 |  26M|  64 |   - |1923 |  14k|1923 |1701 |  20k| 178k|3416 | 0.000000e+00 | 1.000000e-00 |    Inf 
326.90/326.94	c   316s|140000 |   688 |  1701k|  12.1 |  27M|  64 |  22 |1923 |  16k|1923 |1697 |  21k| 191k|3612 | 0.000000e+00 | 1.000000e-00 |    Inf 
349.30/349.33	c   338s|150000 |   700 |  1815k|  12.1 |  28M|  64 |   - |1923 |  19k|1923 |1697 |  23k| 205k|3702 | 0.000000e+00 | 1.000000e-00 |    Inf 
370.89/371.00	c   359s|160000 |   713 |  1923k|  12.0 |  28M|  64 |  28 |1923 |  20k|1923 |1697 |  24k| 220k|3876 | 0.000000e+00 | 1.000000e-00 |    Inf 
393.30/393.35	c   381s|170000 |   716 |  2035k|  12.0 |  30M|  64 |  25 |1923 |  23k|1923 |1702 |  25k| 234k|3982 | 0.000000e+00 | 1.000000e-00 |    Inf 
416.20/416.20	c   403s|180000 |   711 |  2153k|  12.0 |  29M|  64 |   - |1923 |  21k|   0 |   0 |  26k| 247k|4159 | 0.000000e+00 | 1.000000e-00 |    Inf 
439.20/439.20	c   425s|190000 |   667 |  2275k|  12.0 |  29M|  64 |   1 |1923 |  19k|1923 |1710 |  27k| 261k|4290 | 0.000000e+00 | 1.000000e-00 |    Inf 
461.50/461.53	c   446s|200000 |   574 |  2395k|  12.0 |  29M|  64 |   - |1923 |  19k|1923 |1702 |  29k| 275k|4387 | 0.000000e+00 | 1.000000e-00 |    Inf 
486.20/486.28	c   470s|210000 |   500 |  2534k|  12.1 |  29M|  65 |  22 |1923 |  20k|1923 |1697 |  30k| 289k|4543 | 0.000000e+00 | 1.000000e-00 |    Inf 
509.31/509.33	c   493s|220000 |   388 |  2657k|  12.1 |  26M|  65 |  20 |1923 |  16k|1923 |1697 |  32k| 303k|4693 | 0.000000e+00 | 1.000000e-00 |    Inf 
532.10/532.18	c   515s|230000 |   222 |  2780k|  12.1 |  24M|  65 |   - |1923 |  15k|   0 |   0 |  33k| 317k|5131 | 0.000000e+00 | 1.000000e-00 |    Inf 
554.60/554.62	c   536s|240000 |   225 |  2900k|  12.1 |  25M|  65 |   - |1923 |  18k|   0 |   0 |  34k| 332k|5198 | 0.000000e+00 | 1.000000e-00 |    Inf 
576.60/576.65	c   558s|250000 |   258 |  3010k|  12.0 |  25M|  65 |  21 |1923 |  17k|1923 |1702 |  35k| 345k|5555 | 0.000000e+00 | 1.000000e-00 |    Inf 
597.70/597.73	c   578s|260000 |   203 |  3119k|  12.0 |  26M|  65 |   - |1923 |  19k|   0 |   0 |  36k| 359k|5600 | 0.000000e+00 | 1.000000e-00 |    Inf 
620.00/620.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
620.00/620.08	c   600s|270000 |   180 |  3231k|  12.0 |  26M|  65 |   - |1923 |  19k|   0 |   0 |  38k| 373k|5771 | 0.000000e+00 | 1.000000e-00 |    Inf 
644.20/644.24	c   623s|280000 |   286 |  3358k|  12.0 |  28M|  65 |   - |1923 |  24k|   0 |   0 |  39k| 387k|5840 | 0.000000e+00 | 1.000000e-00 |    Inf 
667.80/667.86	c   646s|290000 |   224 |  3470k|  12.0 |  29M|  65 |   - |1923 |  26k|   0 |   0 |  41k| 402k|5923 | 0.000000e+00 | 1.000000e-00 |    Inf 
692.80/692.83	c   670s|300000 |   272 |  3595k|  12.0 |  29M|  65 |   8 |1923 |  27k|1923 |1702 |  42k| 415k|6042 | 0.000000e+00 | 1.000000e-00 |    Inf 
717.70/717.71	c   694s|310000 |   204 |  3715k|  12.0 |  29M|  65 |   - |1923 |  28k|   0 |   0 |  44k| 430k|6105 | 0.000000e+00 | 1.000000e-00 |    Inf 
744.00/744.08	c   720s|320000 |   240 |  3843k|  12.0 |  30M|  65 |  12 |1923 |  28k|1923 |1697 |  45k| 444k|6231 | 0.000000e+00 | 1.000000e-00 |    Inf 
772.61/772.63	c   748s|330000 |   250 |  3987k|  12.1 |  31M|  65 |   - |1923 |  32k|1923 |1701 |  46k| 457k|6371 | 0.000000e+00 | 1.000000e-00 |    Inf 
800.40/800.48	c   775s|340000 |   393 |  4125k|  12.1 |  33M|  65 |   - |1923 |  34k|1923 |1703 |  47k| 471k|6499 | 0.000000e+00 | 1.000000e-00 |    Inf 
827.81/827.88	c   802s|350000 |   482 |  4251k|  12.1 |  35M|  65 |   - |1923 |  37k|   0 |   0 |  49k| 485k|6576 | 0.000000e+00 | 1.000000e-00 |    Inf 
856.30/856.30	c   829s|360000 |   712 |  4383k|  12.2 |  37M|  65 |  32 |1923 |  40k|1923 |1697 |  50k| 499k|6646 | 0.000000e+00 | 1.000000e-00 |    Inf 
885.60/885.63	c   858s|370000 |   820 |  4518k|  12.2 |  39M|  65 |  21 |1923 |  41k|1923 |1697 |  51k| 514k|6748 | 0.000000e+00 | 1.000000e-00 |    Inf 
914.90/914.95	c   886s|380000 |   949 |  4649k|  12.2 |  40M|  65 |  23 |1923 |  42k|1923 |1697 |  52k| 528k|6835 | 0.000000e+00 | 1.000000e-00 |    Inf 
944.00/944.08	c   915s|390000 |   944 |  4772k|  12.2 |  41M|  65 |   - |1923 |  43k|   0 |   0 |  53k| 543k|6898 | 0.000000e+00 | 1.000000e-00 |    Inf 
974.91/974.93	c   945s|400000 |   987 |  4901k|  12.3 |  42M|  65 |  28 |1923 |  43k|1923 |1697 |  54k| 557k|6998 | 0.000000e+00 | 1.000000e-00 |    Inf 
1005.51/1005.52	c   975s|410000 |   837 |  5028k|  12.3 |  40M|  65 |   - |1923 |  40k|   0 |   0 |  55k| 571k|7094 | 0.000000e+00 | 1.000000e-00 |    Inf 
1035.51/1035.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1035.51/1035.53	c  1004s|420000 |   720 |  5166k|  12.3 |  40M|  65 |   - |1923 |  41k|1923 |1701 |  56k| 585k|7198 | 0.000000e+00 | 1.000000e-00 |    Inf 
1064.41/1064.41	c  1032s|430000 |   804 |  5293k|  12.3 |  42M|  65 |  16 |1923 |  45k|1923 |1697 |  58k| 600k|7265 | 0.000000e+00 | 1.000000e-00 |    Inf 
1096.61/1096.67	c  1063s|440000 |   883 |  5438k|  12.4 |  45M|  65 |   - |1923 |  48k|1923 |1702 |  59k| 616k|7339 | 0.000000e+00 | 1.000000e-00 |    Inf 
1130.31/1130.31	c  1096s|450000 |   859 |  5587k|  12.4 |  44M|  65 |   - |1923 |  46k|   0 |   0 |  60k| 631k|7417 | 0.000000e+00 | 1.000000e-00 |    Inf 
1161.91/1161.96	c  1127s|460000 |   858 |  5723k|  12.4 |  44M|  65 |   - |1923 |  46k|1923 |1703 |  61k| 645k|7492 | 0.000000e+00 | 1.000000e-00 |    Inf 
1192.71/1192.70	c  1157s|470000 |   790 |  5855k|  12.5 |  43M|  65 |  19 |1923 |  44k|1923 |1709 |  63k| 660k|7577 | 0.000000e+00 | 1.000000e-00 |    Inf 
1225.01/1225.06	c  1188s|480000 |   636 |  5996k|  12.5 |  42M|  65 |   - |1923 |  41k|1923 |1697 |  64k| 676k|7677 | 0.000000e+00 | 1.000000e-00 |    Inf 
1254.01/1254.02	c  1216s|490000 |   459 |  6122k|  12.5 |  39M|  65 |  20 |1923 |  39k|1923 |1697 |  65k| 690k|7754 | 0.000000e+00 | 1.000000e-00 |    Inf 
1283.61/1283.64	c  1245s|500000 |   500 |  6248k|  12.5 |  40M|  65 |  16 |1923 |  39k|1923 |1702 |  67k| 704k|7826 | 0.000000e+00 | 1.000000e-00 |    Inf 
1312.41/1312.43	c  1273s|510000 |   148 |  6383k|  12.5 |  29M|  65 |   - |1923 |  21k|   0 |   0 |  68k| 718k|7978 | 0.000000e+00 | 1.000000e-00 |    Inf 
1337.41/1337.40	c  1298s|520000 |   219 |  6520k|  12.5 |  30M|  65 |  12 |1923 |  23k|1923 |1705 |  69k| 732k|8045 | 0.000000e+00 | 1.000000e-00 |    Inf 
1362.81/1362.80	c  1322s|530000 |   317 |  6651k|  12.5 |  33M|  65 |   - |1923 |  28k|   0 |   0 |  71k| 746k|8132 | 0.000000e+00 | 1.000000e-00 |    Inf 
1388.32/1388.37	c  1347s|540000 |   232 |  6776k|  12.5 |  32M|  65 |   1 |1923 |  27k|1923 |1697 |  72k| 760k|8195 | 0.000000e+00 | 1.000000e-00 |    Inf 
1415.21/1415.21	c  1373s|550000 |    72 |  6923k|  12.6 |  27M|  65 |  18 |1923 |  19k|1923 |1710 |  73k| 774k|8302 | 0.000000e+00 | 1.000000e-00 |    Inf 
1439.11/1439.13	c  1396s|560000 |    42 |  7050k|  12.6 |  28M|  65 |   - |1923 |  23k|   0 |   0 |  74k| 787k|8359 | 0.000000e+00 | 1.000000e-00 |    Inf 
1464.52/1464.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1464.52/1464.56	c  1421s|570000 |   121 |  7180k|  12.6 |  31M|  65 |   - |1923 |  31k|   0 |   0 |  75k| 801k|8413 | 0.000000e+00 | 1.000000e-00 |    Inf 
1491.62/1491.64	c  1447s|580000 |    36 |  7301k|  12.6 |  29M|  65 |  25 |1923 |  26k|1923 |1697 |  77k| 816k|8497 | 0.000000e+00 | 1.000000e-00 |    Inf 
1517.71/1517.77	c  1473s|590000 |    75 |  7431k|  12.6 |  31M|  65 |   - |1923 |  32k|1923 |1697 |  78k| 829k|8583 | 0.000000e+00 | 1.000000e-00 |    Inf 
1543.22/1543.30	c  1497s|600000 |   357 |  7547k|  12.6 |  35M|  65 |   - |1923 |  38k|1923 |1697 |  79k| 842k|8657 | 0.000000e+00 | 1.000000e-00 |    Inf 
1571.01/1571.06	c  1524s|610000 |   164 |  7663k|  12.6 |  33M|  65 |   - |1923 |  34k|1923 |1697 |  80k| 856k|8740 | 0.000000e+00 | 1.000000e-00 |    Inf 
1597.82/1597.89	c  1550s|620000 |   249 |  7793k|  12.6 |  36M|  65 |  21 |1923 |  40k|1923 |1703 |  82k| 870k|8796 | 0.000000e+00 | 1.000000e-00 |    Inf 
1628.62/1628.64	c  1580s|630000 |   253 |  7939k|  12.6 |  36M|  65 |   - |1923 |  41k|   0 |   0 |  83k| 883k|8863 | 0.000000e+00 | 1.000000e-00 |    Inf 
1658.02/1658.00	c  1609s|640000 |   314 |  8072k|  12.6 |  39M|  65 |  18 |1923 |  46k|1923 |1709 |  84k| 897k|8927 | 0.000000e+00 | 1.000000e-00 |    Inf 
1688.32/1688.35	c  1638s|650000 |   393 |  8204k|  12.6 |  40M|  65 |  15 |1923 |  49k|1923 |1697 |  86k| 910k|8988 | 0.000000e+00 | 1.000000e-00 |    Inf 
1719.82/1719.89	c  1669s|660000 |   391 |  8338k|  12.6 |  40M|  65 |   - |1923 |  47k|1923 |1697 |  87k| 924k|9068 | 0.000000e+00 | 1.000000e-00 |    Inf 
1751.12/1751.14	c  1700s|670000 |   432 |  8459k|  12.6 |  41M|  65 |  20 |1923 |  48k|1923 |1697 |  88k| 938k|9122 | 0.000000e+00 | 1.000000e-00 |    Inf 
1785.32/1785.35	c  1733s|680000 |   484 |  8594k|  12.6 |  42M|  65 |   - |1923 |  50k|   0 |   0 |  89k| 952k|9172 | 0.000000e+00 | 1.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) : 1747.57
1800.02/1800.00	c Solving Nodes      : 684699
1800.02/1800.00	c Primal Bound       : +1.00000000000000e-00 (108 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.02	s SATISFIABLE
1800.02/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.02/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.02/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.02/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.02/1800.02	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.02	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.02	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.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 -x54 
1800.02/1800.02	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.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.02/1800.02	v x1 
1800.02/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.02	c Solving Time       :    1747.57
1800.02/1800.02	c Original Problem   :
1800.02/1800.02	c   Problem name     : HOME/instance-2693417-1277903048.wbo
1800.02/1800.02	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.02/1800.02	c   Constraints      : 3619 initial, 3619 maximal
1800.02/1800.02	c Presolved Problem  :
1800.02/1800.02	c   Problem name     : t_HOME/instance-2693417-1277903048.wbo
1800.02/1800.02	c   Variables        : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.02/1800.02	c   Constraints      : 3355 initial, 53370 maximal
1800.02/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.02	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.02/1800.02	c   dualfix          :       0.00         65          0          0          0          0          0          0          0
1800.02/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.02/1800.02	c   indicator        :       0.00          0          0          0          0          0         65          0          0
1800.02/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.02	c   linear           :       0.05          0          0          0        926          0        199        133          0
1800.02/1800.02	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.02	c   root node        :          -        846          -          -       1692          -          -          -          -
1800.02/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.02	c   integral         :          0          0          0     391730          0        240       2680          0          0     740600
1800.02/1800.02	c   indicator        :        846          0     299087       2574          0         41     142689          0          0          0
1800.02/1800.02	c   setppc           :         16          6    2936728      18895          0      51587    2615593          0          0          0
1800.02/1800.02	c   linear           :        846          6    2886469      18994          0      97688    9298652      90550          0          0
1800.02/1800.02	c   logicor          :       1647+         6    1609165        455          0      96431    5918485          0          0          0
1800.02/1800.02	c   countsols        :          0          0          0        455          0          0          0          0          0          0
1800.02/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.02	c   integral         :      41.31       0.00       0.00      41.31       0.00
1800.02/1800.02	c   indicator        :       0.41       0.00       0.39       0.02       0.00
1800.02/1800.02	c   setppc           :      18.54       0.00      18.52       0.02       0.00
1800.02/1800.02	c   linear           :      62.21       0.00      61.68       0.53       0.00
1800.02/1800.02	c   logicor          :     271.61       0.00     271.60       0.01       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.87          2          0          0
1800.02/1800.02	c   rootredcost      :       0.68         26          0        846
1800.02/1800.02	c   pseudoobj        :      45.72    2938230        250     106005
1800.02/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.02	c   propagation      :      11.75     245956     245392    1591897       28.9       6328       24.3          -
1800.02/1800.02	c   infeasible LP    :      23.08     122114     122114    1008992       46.0        731       17.5          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          9          9         46       15.4          3        6.0          -
1800.02/1800.02	c   applied globally :          -          -          -     958685       30.1          -          -          -
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          5          -          -         95          -    (maximal pool size: 383)
1800.02/1800.02	c   redcost          :       9.55     392002          0      33190          0          0
1800.02/1800.02	c   impliedbounds    :       0.00          6          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.24          6          0          0       1950          0
1800.02/1800.02	c   strongcg         :       0.18          6          0          0        338          0
1800.02/1800.02	c   cmir             :       0.01          6          0          0          0          0
1800.02/1800.02	c   flowcover        :       0.06          6          0          0          0          0
1800.02/1800.02	c   clique           :       0.00          6          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        :      40.93     372724        240       2680          0          0     740600
1800.02/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.02	c   inference        :       0.05        430          0          0          0          0        860
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.01          -         25
1800.02/1800.02	c   pseudo solutions :       0.00          -          0
1800.02/1800.02	c   oneopt           :       0.33         20          0
1800.02/1800.02	c   feaspump         :       0.04          1          0
1800.02/1800.02	c   intshifting      :       0.04         19          0
1800.02/1800.02	c   crossover        :       0.48         10          0
1800.02/1800.02	c   pscostdiving     :       0.47        122          0
1800.02/1800.02	c   fracdiving       :       0.44        122          0
1800.02/1800.02	c   guideddiving     :       0.39        122          0
1800.02/1800.02	c   veclendiving     :       0.40        122          0
1800.02/1800.02	c   linesearchdiving :       0.33        122          0
1800.02/1800.02	c   coefdiving       :       0.55        123          0
1800.02/1800.02	c   objpscostdiving  :       0.37         62          0
1800.02/1800.02	c   rootsoldiving    :       0.66         62          0
1800.02/1800.02	c   trivial          :       0.02          2          0
1800.02/1800.02	c   simplerounding   :       0.83     372772          0
1800.02/1800.02	c   zirounding       :       0.32       1000          0
1800.02/1800.02	c   rounding         :       0.94       8590          0
1800.02/1800.02	c   shifting         :       0.75       2643          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.03          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.12          0          0
1800.02/1800.02	c   trysol           :       0.40        680         83
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          :     895.69     510606    8642956      16.93    9649.49
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:       2.41       1717      12763       7.43    5295.85
1800.02/1800.02	c   strong branching :      37.09       9189     341845      37.20    9216.64
1800.02/1800.02	c     (at root node) :          -         33      11295     342.27          -
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            :     684699
1800.02/1800.02	c   nodes (total)    :     684699
1800.02/1800.02	c   nodes left       :        636
1800.02/1800.02	c   max depth        :         65
1800.02/1800.02	c   max depth (total):         65
1800.02/1800.02	c   backtracks       :     113434 (16.6%)
1800.02/1800.02	c   delayed cutoffs  :      55335
1800.02/1800.02	c   repropagations   :     997259 (4034033 domain reductions, 53084 cutoffs)
1800.02/1800.02	c   avg switch length:       4.50
1800.02/1800.02	c   switching time   :     212.65
1800.02/1800.02	c Solution           :
1800.02/1800.02	c   Solutions found  :        108 (26 improvements)
1800.02/1800.02	c   First Solution   : +4.22010000000000e+04   (in run 1, after 1 nodes, 0.77 seconds, depth 0, found by <trysol>)
1800.02/1800.02	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 71337 nodes, 163.74 seconds, depth 39, 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  :        888
1800.02/1800.09	c Time complete: 1800.11.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693417-1277903048/watcher-2693417-1277903048 -o /tmp/evaluation-result-2693417-1277903048/solver-2693417-1277903048 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693417-1277903048.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.93 1.99 1.99 4/178 11667
/proc/meminfo: memFree=31288892/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=11004 CPUtime=0
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 1676 0 0 0 0 0 0 0 25 0 1 0 131600905 11268096 1596 4089446400 4194304 9819077 140736232162528 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11667/statm: 2751 1596 392 1374 0 1372 0

[startup+0.0599831 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 11667
/proc/meminfo: memFree=31288892/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=24044 CPUtime=0.05
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 5649 0 0 0 5 0 0 0 25 0 1 0 131600905 24621056 4701 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 6011 4701 492 1374 0 4632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24044

[startup+0.100977 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 11667
/proc/meminfo: memFree=31288892/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=24780 CPUtime=0.09
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 6883 0 0 0 8 1 0 0 25 0 1 0 131600905 25374720 4907 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 6195 4907 503 1374 0 4816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24780

[startup+0.300948 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 11667
/proc/meminfo: memFree=31288892/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=34496 CPUtime=0.29
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 10904 0 0 0 27 2 0 0 25 0 1 0 131600905 35323904 7035 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 8624 7035 679 1374 0 7245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34496

[startup+0.700877 s]
/proc/loadavg: 1.93 1.99 1.99 4/178 11667
/proc/meminfo: memFree=31288892/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=37380 CPUtime=0.69
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 12512 0 0 0 67 2 0 0 25 0 1 0 131600905 38277120 7737 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 9345 7737 680 1374 0 7966 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37380

[startup+1.50074 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 11668
/proc/meminfo: memFree=31255032/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=40588 CPUtime=1.49
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 24279 0 0 0 145 4 0 0 25 0 1 0 131600905 41562112 8989 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 10147 8989 731 1374 0 8768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40588

[startup+3.10048 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 11668
/proc/meminfo: memFree=31255152/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=41028 CPUtime=3.09
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 26159 0 0 0 304 5 0 0 25 0 1 0 131600905 42012672 9015 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 10257 9015 731 1374 0 8878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41028

[startup+6.30094 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 11668
/proc/meminfo: memFree=31255080/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=40736 CPUtime=6.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 29225 0 0 0 622 8 0 0 25 0 1 0 131600905 41713664 9006 4089446400 4194304 9819077 140736232162528 18446744073709551615 7296884 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 10184 9006 731 1374 0 8805 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 40736

[startup+12.7009 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 11670
/proc/meminfo: memFree=31255080/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=41052 CPUtime=12.69
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 32998 0 0 0 1256 13 0 0 25 0 1 0 131600905 42037248 9019 4089446400 4194304 9819077 140736232162528 18446744073709551615 7311676 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 10263 9019 732 1374 0 8884 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41052

[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 11670
/proc/meminfo: memFree=31241792/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=56212 CPUtime=25.49
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 158170 0 0 0 2499 50 0 0 25 0 1 0 131600905 57561088 12276 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 14053 12276 738 1374 0 12674 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56212

[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 11670
/proc/meminfo: memFree=31237068/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=61444 CPUtime=51.1
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 491753 0 0 0 4970 140 0 0 25 0 1 0 131600905 62918656 13656 4089446400 4194304 9819077 140736232162528 18446744073709551615 6723464 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 15361 13656 738 1374 0 13982 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 61444

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 11672
/proc/meminfo: memFree=31231116/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=67336 CPUtime=102.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 1129999 0 0 0 9906 324 0 0 25 0 1 0 131600905 68952064 15030 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 16834 15030 739 1374 0 15455 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 67336

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11674
/proc/meminfo: memFree=31223104/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=74252 CPUtime=162.29
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 1856017 0 0 0 15697 532 0 0 25 0 1 0 131600905 76034048 16735 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 18563 16735 739 1374 0 17184 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 74252

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 11674
/proc/meminfo: memFree=31218968/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=78308 CPUtime=222.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 2482457 0 0 0 21504 726 0 0 25 0 1 0 131600905 80187392 17858 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 19577 17858 739 1374 0 18198 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 78308

[startup+282.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 11676
/proc/meminfo: memFree=31217188/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=79816 CPUtime=282.29
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 3060759 0 0 0 27315 914 0 0 25 0 1 0 131600905 81731584 18059 4089446400 4194304 9819077 140736232162528 18446744073709551615 4431666 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 19954 18059 740 1374 0 18575 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 79816

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 11678
/proc/meminfo: memFree=31216492/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=79680 CPUtime=342.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 3744468 0 0 0 33120 1110 0 0 25 0 1 0 131600905 81592320 18069 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 19920 18069 740 1374 0 18541 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 79680

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11680
/proc/meminfo: memFree=31215808/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=80400 CPUtime=402.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 4396832 0 0 0 38923 1307 0 0 25 0 1 0 131600905 82329600 18353 4089446400 4194304 9819077 140736232162528 18446744073709551615 7263152 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 20100 18353 740 1374 0 18721 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80400

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11682
/proc/meminfo: memFree=31214408/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=82836 CPUtime=462.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 5046699 0 0 0 44720 1510 0 0 25 0 1 0 131600905 84824064 18683 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 20709 18683 740 1374 0 19330 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 82836

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11682
/proc/meminfo: memFree=31213604/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=82856 CPUtime=522.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 5707238 0 0 0 50516 1714 0 0 25 0 1 0 131600905 84844544 18731 4089446400 4194304 9819077 140736232162528 18446744073709551615 6723487 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 20714 18731 740 1374 0 19335 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 82856

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11684
/proc/meminfo: memFree=31213188/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=83044 CPUtime=582.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 6336486 0 0 0 56310 1920 0 0 25 0 1 0 131600905 85037056 18820 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 20761 18820 740 1374 0 19382 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 83044

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11686
/proc/meminfo: memFree=31211512/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=83460 CPUtime=642.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 6911976 0 0 0 62122 2109 0 0 25 0 1 0 131600905 85463040 18903 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 20865 18903 740 1374 0 19486 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 83460

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11690
/proc/meminfo: memFree=31202912/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=89904 CPUtime=822.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 8482074 0 0 0 79611 2620 0 0 25 0 1 0 131600905 92061696 20281 4089446400 4194304 9819077 140736232162528 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 22476 20281 740 1374 0 21097 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 89904

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 11692
/proc/meminfo: memFree=31198788/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=90776 CPUtime=882.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 8990312 0 0 0 85451 2779 0 0 25 0 1 0 131600905 92954624 20629 4089446400 4194304 9819077 140736232162528 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 22694 20630 740 1374 0 21315 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 90776

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 11722
/proc/meminfo: memFree=31341236/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=94960 CPUtime=942.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 9484594 0 0 0 91293 2937 0 0 25 0 1 0 131600905 97239040 21569 4089446400 4194304 9819077 140736232162528 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 23740 21569 740 1374 0 22361 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 94960

[startup+1002.3 s]
/proc/loadavg: 2.15 2.03 2.01 4/179 11724
/proc/meminfo: memFree=31182616/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=95544 CPUtime=1002.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 9949566 0 0 0 97139 3092 0 0 25 0 1 0 131600905 97837056 21694 4089446400 4194304 9819077 140736232162528 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 23886 21694 740 1374 0 22507 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 95544

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 4/179 11726
/proc/meminfo: memFree=31068372/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=95932 CPUtime=1062.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 10459460 0 0 0 102977 3254 0 0 25 0 1 0 131600905 98234368 21807 4089446400 4194304 9819077 140736232162528 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 23983 21807 740 1374 0 22604 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 95932

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 11726
/proc/meminfo: memFree=31019092/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=97844 CPUtime=1122.3
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 10918573 0 0 0 108825 3405 0 0 25 0 1 0 131600905 100192256 22278 4089446400 4194304 9819077 140736232162528 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24461 22278 740 1374 0 23082 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 97844

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 11728
/proc/meminfo: memFree=30890448/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=98124 CPUtime=1182.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 11399029 0 0 0 114667 3564 0 0 25 0 1 0 131600905 100478976 22403 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24531 22403 740 1374 0 23152 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 98124

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 11730
/proc/meminfo: memFree=30729576/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=98412 CPUtime=1242.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 11869943 0 0 0 120508 3723 0 0 25 0 1 0 131600905 100773888 22503 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24603 22503 740 1374 0 23224 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 98412

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11777
/proc/meminfo: memFree=31268824/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=99516 CPUtime=1302.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 12359236 0 0 0 126350 3881 0 0 25 0 1 0 131600905 101904384 22665 4089446400 4194304 9819077 140736232162528 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24879 22665 740 1374 0 23500 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 99516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11779
/proc/meminfo: memFree=31241004/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=99408 CPUtime=1362.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 12896314 0 0 0 132172 4060 0 0 25 0 1 0 131600905 101793792 22721 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24852 22721 740 1374 0 23473 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 99408

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11779
/proc/meminfo: memFree=31216780/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=99840 CPUtime=1422.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 13456450 0 0 0 138000 4232 0 0 25 0 1 0 131600905 102236160 22809 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24960 22809 740 1374 0 23581 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 99840

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11781
/proc/meminfo: memFree=31192560/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=99868 CPUtime=1482.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 14045056 0 0 0 143815 4417 0 0 25 0 1 0 131600905 102264832 22838 4089446400 4194304 9819077 140736232162528 18446744073709551615 6704770 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 24967 22838 740 1374 0 23588 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 99868

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11783
/proc/meminfo: memFree=31166584/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=101276 CPUtime=1542.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 14590501 0 0 0 149640 4592 0 0 25 0 1 0 131600905 103706624 22997 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 25319 22997 740 1374 0 23940 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 101276

[startup+1602.3 s]
/proc/loadavg: 2.40 2.08 2.03 3/197 11785
/proc/meminfo: memFree=31145580/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=102424 CPUtime=1602.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 15118272 0 0 0 155470 4762 0 0 25 0 1 0 131600905 104882176 23215 4089446400 4194304 9819077 140736232162528 18446744073709551615 7296204 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 25606 23215 740 1374 0 24227 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 102424

[startup+1662.3 s]
/proc/loadavg: 2.18 2.08 2.03 3/197 11790
/proc/meminfo: memFree=31120472/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=103200 CPUtime=1662.31
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 15619768 0 0 0 161305 4926 0 0 25 0 1 0 131600905 105676800 23391 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 25800 23391 740 1374 0 24421 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 103200

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/197 11790
/proc/meminfo: memFree=31095580/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=103600 CPUtime=1722.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 16072957 0 0 0 167160 5072 0 0 25 0 1 0 131600905 106086400 23487 4089446400 4194304 9819077 140736232162528 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 25900 23487 740 1374 0 24521 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 103600

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/197 11792
/proc/meminfo: memFree=31069512/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=104484 CPUtime=1782.32
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 16473962 0 0 0 173028 5204 0 0 25 0 1 0 131600905 106991616 23553 4089446400 4194304 9819077 140736232162528 18446744073709551615 6003344 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 26121 23553 740 1374 0 24742 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 104484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.01 3/197 11792
/proc/meminfo: memFree=31057720/32951124 swapFree=67111528/67111528
[pid=11667] ppid=11665 vsize=105268 CPUtime=1800.02
/proc/11667/stat : 11667 (pbscip.linux.x8) R 11665 11667 10850 0 -1 4202496 16600914 0 0 0 174758 5244 0 0 25 0 1 0 131600905 107794432 23773 4089446400 4194304 9819077 140736232162528 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11667/statm: 26317 23773 740 1374 0 24938 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 105268

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.09
CPU time (s): 1800.12
CPU user time (s): 1747.67
CPU system time (s): 52.45
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 106496

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

runsolver used 3.15452 second user time and 5.95509 second system time

The end

Launcher Data 

Begin job on node130 at 2010-06-30 15:04:08
IDJOB=2693417
IDBENCH=78907
IDSOLVER=1205
FILE ID=node130/2693417-1277903048
PBS_JOBID= 11197197
Free space on /tmp= 74204 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.1900550006--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-2693417-1277903048/watcher-2693417-1277903048 -o /tmp/evaluation-result-2693417-1277903048/solver-2693417-1277903048 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693417-1277903048.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c177cc73697745a978507901f2a8beaa
RANDOM SEED=855877250

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:      31289544 kB
Buffers:        187944 kB
Cached:         972436 kB
SwapCached:          0 kB
Active:         833608 kB
Inactive:       686848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31289544 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6256 kB
Writeback:           0 kB
AnonPages:      360040 kB
Mapped:          17680 kB
Slab:            77912 kB
PageTables:       5064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   526268 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 15:34:10