Trace number 2693475

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.11 1800.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo
MD5SUM48850acf7a795604147e976fcd80db7d
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 benchmark336.106
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 constraints892
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 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
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-2693475-1277906185.wbo>
0.00/0.02	c original problem has 2015 variables (1123 bin, 0 int, 0 impl, 892 cont) and 3600 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, 1100 impls, 13 clqs
0.00/0.07	c (round 2) 0 del vars, 107 del conss, 892 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.00/0.09	c (round 3) 48 del vars, 233 del conss, 913 chg bounds, 126 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.00/0.09	c (round 4) 117 del vars, 255 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 13 clqs
0.09/0.11	c (round 5) 139 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.12	c (round 6) 140 del vars, 256 del conss, 914 chg bounds, 127 chg sides, 0 chg coeffs, 1700 upgd conss, 1100 impls, 13 clqs
0.09/0.16	c    (0.1s) probing: 101/1053 (9.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (7 rounds):
0.09/0.16	c  140 deleted vars, 256 deleted constraints, 914 tightened bounds, 0 added holes, 127 changed sides, 0 changed coefficients
0.09/0.16	c  1100 implications, 13 cliques
0.09/0.16	c presolved problem has 1875 variables (1053 bin, 0 int, 0 impl, 822 cont) and 3344 constraints
0.09/0.16	c     822 constraints of type <indicator>
0.09/0.16	c      13 constraints of type <setppc>
0.09/0.16	c     822 constraints of type <linear>
0.09/0.16	c    1687 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.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 |    29 |     - |8601k|   0 |  17 |1875 |3344 |1875 |1700 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    83 |     - |8633k|   0 |  32 |1875 |3344 |1875 |1715 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   113 |     - |8955k|   0 |  36 |1875 |3344 |1875 |1724 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   168 |     - |9242k|   0 |  41 |1875 |3344 |1875 |1733 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.42	c   0.4s|     1 |     0 |   212 |     - |9246k|   0 |  45 |1875 |3344 |1875 |1737 |  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   215 |     - |9247k|   0 |  46 |1875 |3344 |1875 |1738 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.78/1.85	c   1.8s|     1 |     2 |   215 |     - |9275k|   0 |  46 |1875 |3344 |1875 |1738 |  38 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.78/1.86	o 41400
1.78/1.86	c y 1.8s|     2 |     1 |   215 |   0.0 |9306k|   1 |   - |1875 |3344 |   0 |   0 |  38 |   0 |  33 | 0.000000e+00 | 4.140000e+04 |    Inf 
12.29/12.31	o 543
12.29/12.31	c *11.9s|   228 |   212 |  5536 |  23.4 |  10M|  74 |   - |1875 |3365 |1875 |1739 | 136 |  21 | 715 | 0.000000e+00 | 5.430000e+02 |    Inf 
12.69/12.70	o 309
12.69/12.70	c *12.3s|   483 |   440 |  6193 |  12.4 |  10M|  89 |   - |1875 |3386 |1875 |1746 | 165 |  42 | 741 | 0.000000e+00 | 3.090000e+02 |    Inf 
12.69/12.77	o 299
12.69/12.77	c *12.3s|   536 |   479 |  6326 |  11.4 |  11M|  89 |   - |1875 |3418 |1875 |1750 | 176 |  74 | 743 | 0.000000e+00 | 2.990000e+02 |    Inf 
12.79/12.84	o 264
12.79/12.84	c *12.4s|   564 |   477 |  6491 |  11.1 |  11M|  89 |   - |1875 |3451 |1875 |1744 | 189 | 107 | 753 | 0.000000e+00 | 2.640000e+02 |    Inf 
12.79/12.87	o 256
12.79/12.87	c *12.4s|   579 |   483 |  6530 |  10.9 |  11M|  89 |   - |1875 |3463 |1875 |1744 | 190 | 119 | 753 | 0.000000e+00 | 2.560000e+02 |    Inf 
13.39/13.48	o 246
13.39/13.48	c *13.0s|   745 |   550 |  8325 |  10.9 |  12M| 102 |   - |1875 |3756 |1875 |1739 | 219 | 412 | 799 | 0.000000e+00 | 2.460000e+02 |    Inf 
14.19/14.22	o 240
14.19/14.22	c *13.7s|  1049 |   678 | 11107 |  10.4 |  13M| 103 |   - |1875 |4192 |1875 |1744 | 341 | 883 | 812 | 0.000000e+00 | 2.400000e+02 |    Inf 
14.39/14.44	o 190
14.39/14.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.39/14.44	c *13.9s|  1106 |   648 | 12037 |  10.7 |  13M| 103 |   - |1875 |4224 |1875 |1739 | 390 | 938 | 823 | 0.000000e+00 | 1.900000e+02 |    Inf 
14.69/14.71	o 155
14.69/14.71	c *14.2s|  1225 |   585 | 13105 |  10.5 |  13M| 103 |   - |1875 |4254 |1875 |1739 | 421 |1093 | 834 | 0.000000e+00 | 1.550000e+02 |    Inf 
14.79/14.85	o 114
14.79/14.85	c *14.3s|  1292 |   483 | 13620 |  10.4 |  13M| 103 |   - |1875 |4226 |1875 |1743 | 444 |1197 | 837 | 0.000000e+00 | 1.140000e+02 |    Inf 
14.89/14.97	o 101
14.89/14.97	c *14.4s|  1352 |   476 | 13923 |  10.1 |  14M| 103 |   - |1875 |4226 |1875 |1753 | 465 |1219 | 840 | 0.000000e+00 | 1.010000e+02 |    Inf 
14.98/15.02	o 96
14.98/15.02	c *14.5s|  1367 |   435 | 14210 |  10.2 |  14M| 103 |   - |1875 |4225 |1875 |1738 | 475 |1233 | 840 | 0.000000e+00 | 9.600000e+01 |    Inf 
15.39/15.48	o 86
15.39/15.48	c *14.9s|  1528 |   430 | 16384 |  10.6 |  14M| 103 |   - |1875 |4110 |1875 |1756 | 538 |1433 | 847 | 0.000000e+00 | 8.600000e+01 |    Inf 
15.89/15.93	o 68
15.89/15.93	c *15.3s|  1630 |   390 | 18897 |  11.5 |  14M| 103 |   - |1875 |3907 |1875 |1743 | 606 |1541 | 863 | 0.000000e+00 | 6.800000e+01 |    Inf 
15.89/15.93	o 49
15.89/15.93	c *15.3s|  1631 |   191 | 18897 |  11.5 |  13M| 103 |   - |1875 |3907 |1875 |1743 | 606 |1541 | 863 | 0.000000e+00 | 4.900000e+01 |    Inf 
18.49/18.51	o 42
18.49/18.51	c *17.8s|  2669 |   240 | 35489 |  13.2 |  14M| 103 |   - |1875 |4479 |1875 |1745 | 902 |2840 | 873 | 0.000000e+00 | 4.200000e+01 |    Inf 
27.29/27.30	o 28
27.29/27.30	c *26.1s|  6509 |   308 | 86289 |  13.2 |  15M| 103 |   - |1875 |5680 |1875 |1744 |1525 |7886 | 996 | 0.000000e+00 | 2.800000e+01 |    Inf 
34.79/34.87	o 16
34.79/34.87	c *33.3s|  9256 |   299 |134577 |  14.5 |  15M| 103 |   - |1875 |5557 |1875 |1738 |2077 |  11k|1132 | 0.000000e+00 | 1.600000e+01 |    Inf 
36.89/36.93	c  35.2s| 10000 |   298 |146751 |  14.7 |  15M| 103 |   1 |1875 |5848 |1875 |1739 |2174 |  12k|1212 | 0.000000e+00 | 1.600000e+01 |    Inf 
38.39/38.48	o 1
38.39/38.48	c *36.7s| 10704 |   265 |156571 |  14.6 |  15M| 103 |   - |1875 |6448 |1875 |1740 |2331 |  13k|1219 | 0.000000e+00 | 1.000000e-00 |    Inf 
63.49/63.57	c  60.6s| 20000 |   348 |331194 |  16.5 |  17M| 103 |   - |1875 |8969 |   0 |   0 |3379 |  26k|1456 | 0.000000e+00 | 1.000000e-00 |    Inf 
86.80/86.84	c  82.6s| 30000 |   356 |491561 |  16.4 |  19M| 103 |   - |1875 |  11k|   0 |   0 |4390 |  39k|1459 | 0.000000e+00 | 1.000000e-00 |    Inf 
113.49/113.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
113.49/113.50	c   108s| 40000 |   266 |664060 |  16.6 |  17M| 103 |   1 |1875 |7661 |1875 |1737 |5404 |  53k|1872 | 0.000000e+00 | 1.000000e-00 |    Inf 
140.19/140.26	c   134s| 50000 |   247 |850495 |  17.0 |  19M| 103 |  19 |1875 |  12k|1875 |1747 |6754 |  66k|2202 | 0.000000e+00 | 1.000000e-00 |    Inf 
164.49/164.57	c   157s| 60000 |   231 |  1002k|  16.7 |  20M| 103 |   - |1875 |  14k|   0 |   0 |8505 |  79k|2488 | 0.000000e+00 | 1.000000e-00 |    Inf 
190.80/190.84	c   182s| 70000 |   230 |  1167k|  16.7 |  22M| 103 |   - |1875 |  18k|1875 |1740 |9862 |  92k|2738 | 0.000000e+00 | 1.000000e-00 |    Inf 
215.00/215.01	c   205s| 80000 |   276 |  1305k|  16.3 |  23M| 103 |  19 |1875 |  21k|1875 |1741 |  11k| 106k|2948 | 0.000000e+00 | 1.000000e-00 |    Inf 
241.29/241.39	c   230s| 90000 |   325 |  1465k|  16.3 |  24M| 103 |   - |1875 |  23k|1875 |1742 |  12k| 120k|3163 | 0.000000e+00 | 1.000000e-00 |    Inf 
267.40/267.50	c   255s|100000 |   407 |  1613k|  16.1 |  26M| 103 |   - |1875 |  26k|   0 |   0 |  13k| 134k|3307 | 0.000000e+00 | 1.000000e-00 |    Inf 
295.30/295.38	c   281s|110000 |   441 |  1765k|  16.0 |  28M| 103 |   - |1875 |  30k|   0 |   0 |  14k| 148k|3513 | 0.000000e+00 | 1.000000e-00 |    Inf 
322.30/322.32	c   307s|120000 |   479 |  1908k|  15.9 |  28M| 103 |  22 |1875 |  30k|1875 |1740 |  15k| 161k|3667 | 0.000000e+00 | 1.000000e-00 |    Inf 
350.50/350.54	c   334s|130000 |   500 |  2064k|  15.9 |  30M| 103 |  19 |1875 |  32k|1875 |1736 |  17k| 175k|3841 | 0.000000e+00 | 1.000000e-00 |    Inf 
379.40/379.40	c   362s|140000 |   595 |  2222k|  15.9 |  31M| 103 |   - |1875 |  34k|1875 |1742 |  18k| 188k|3985 | 0.000000e+00 | 1.000000e-00 |    Inf 
409.20/409.21	c   391s|150000 |   676 |  2387k|  15.9 |  32M| 103 |  20 |1875 |  35k|1875 |1742 |  19k| 202k|4179 | 0.000000e+00 | 1.000000e-00 |    Inf 
438.40/438.42	c   419s|160000 |   703 |  2543k|  15.9 |  32M| 103 |   - |1875 |  35k|1875 |1749 |  20k| 217k|4341 | 0.000000e+00 | 1.000000e-00 |    Inf 
467.70/467.77	c   447s|170000 |   658 |  2701k|  15.9 |  32M| 103 |  35 |1875 |  34k|1875 |1736 |  22k| 231k|4449 | 0.000000e+00 | 1.000000e-00 |    Inf 
497.00/497.02	c   475s|180000 |   609 |  2860k|  15.9 |  31M| 103 |  16 |1875 |  34k|1875 |1736 |  23k| 245k|4628 | 0.000000e+00 | 1.000000e-00 |    Inf 
525.50/525.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
525.50/525.51	c   502s|190000 |   560 |  3021k|  15.9 |  31M| 103 |   - |1875 |  32k|1875 |1736 |  24k| 259k|4722 | 0.000000e+00 | 1.000000e-00 |    Inf 
554.91/554.90	c   530s|200000 |   437 |  3190k|  16.0 |  29M| 103 |   1 |1875 |  28k|1875 |1740 |  25k| 273k|4909 | 0.000000e+00 | 1.000000e-00 |    Inf 
582.20/582.22	c   556s|210000 |   344 |  3343k|  15.9 |  28M| 103 |   - |1875 |  28k|   0 |   0 |  27k| 287k|5005 | 0.000000e+00 | 1.000000e-00 |    Inf 
608.70/608.79	c   582s|220000 |   256 |  3492k|  15.9 |  26M| 103 |   - |1875 |  25k|   0 |   0 |  28k| 301k|5122 | 0.000000e+00 | 1.000000e-00 |    Inf 
635.50/635.53	c   607s|230000 |   263 |  3639k|  15.8 |  28M| 103 |   - |1875 |  29k|1875 |1740 |  30k| 314k|5288 | 0.000000e+00 | 1.000000e-00 |    Inf 
663.20/663.21	c   634s|240000 |   214 |  3800k|  15.8 |  27M| 103 |   - |1875 |  28k|1875 |1741 |  31k| 327k|5387 | 0.000000e+00 | 1.000000e-00 |    Inf 
693.21/693.25	c   662s|250000 |   227 |  3974k|  15.9 |  28M| 103 |   - |1875 |  30k|   0 |   0 |  33k| 341k|5516 | 0.000000e+00 | 1.000000e-00 |    Inf 
722.90/722.97	c   691s|260000 |   240 |  4137k|  15.9 |  29M| 103 |   - |1875 |  33k|   0 |   0 |  34k| 354k|5721 | 0.000000e+00 | 1.000000e-00 |    Inf 
752.01/752.04	c   719s|270000 |   280 |  4287k|  15.9 |  30M| 103 |   - |1875 |  34k|   0 |   0 |  36k| 367k|5893 | 0.000000e+00 | 1.000000e-00 |    Inf 
781.61/781.62	c   747s|280000 |   393 |  4436k|  15.8 |  32M| 103 |  12 |1875 |  39k|1875 |1736 |  37k| 381k|5978 | 0.000000e+00 | 1.000000e-00 |    Inf 
812.41/812.50	c   777s|290000 |   421 |  4590k|  15.8 |  33M| 103 |   1 |1875 |  41k|1875 |1738 |  39k| 394k|6089 | 0.000000e+00 | 1.000000e-00 |    Inf 
843.81/843.83	c   807s|300000 |   545 |  4743k|  15.8 |  35M| 103 |   - |1875 |  44k|   0 |   0 |  40k| 407k|6149 | 0.000000e+00 | 1.000000e-00 |    Inf 
876.11/876.17	c   838s|310000 |   604 |  4897k|  15.8 |  36M| 103 |   - |1875 |  46k|1875 |1740 |  41k| 421k|6222 | 0.000000e+00 | 1.000000e-00 |    Inf 
907.82/907.89	c   869s|320000 |   725 |  5048k|  15.8 |  38M| 103 |   - |1875 |  49k|1875 |1738 |  43k| 435k|6347 | 0.000000e+00 | 1.000000e-00 |    Inf 
941.81/941.87	c   902s|330000 |   778 |  5211k|  15.8 |  40M| 103 |  32 |1875 |  52k|1875 |1745 |  44k| 449k|6445 | 0.000000e+00 | 1.000000e-00 |    Inf 
976.51/976.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
976.51/976.56	c   935s|340000 |   819 |  5372k|  15.8 |  41M| 103 |   - |1875 |  54k|1875 |1738 |  45k| 462k|6532 | 0.000000e+00 | 1.000000e-00 |    Inf 
1011.82/1011.84	c   969s|350000 |   822 |  5541k|  15.8 |  41M| 103 |   - |1875 |  54k|1875 |1746 |  47k| 476k|6612 | 0.000000e+00 | 1.000000e-00 |    Inf 
1046.02/1046.08	c  1002s|360000 |   797 |  5698k|  15.8 |  40M| 103 |  12 |1875 |  49k|1875 |1738 |  49k| 489k|6724 | 0.000000e+00 | 1.000000e-00 |    Inf 
1081.12/1081.11	c  1036s|370000 |   848 |  5865k|  15.9 |  40M| 103 |   - |1875 |  49k|1875 |1739 |  50k| 503k|6801 | 0.000000e+00 | 1.000000e-00 |    Inf 
1113.12/1113.12	c  1067s|380000 |   786 |  6007k|  15.8 |  38M| 103 |   - |1875 |  46k|1875 |1744 |  52k| 517k|6875 | 0.000000e+00 | 1.000000e-00 |    Inf 
1145.02/1145.09	c  1098s|390000 |   726 |  6156k|  15.8 |  39M| 103 |   - |1875 |  47k|1875 |1738 |  53k| 530k|6960 | 0.000000e+00 | 1.000000e-00 |    Inf 
1177.62/1177.64	c  1129s|400000 |   674 |  6313k|  15.8 |  39M| 103 |   - |1875 |  47k|   0 |   0 |  55k| 544k|7032 | 0.000000e+00 | 1.000000e-00 |    Inf 
1209.03/1209.08	c  1159s|410000 |   563 |  6466k|  15.8 |  38M| 103 |  28 |1875 |  46k|1875 |1738 |  56k| 558k|7113 | 0.000000e+00 | 1.000000e-00 |    Inf 
1241.22/1241.21	c  1190s|420000 |   407 |  6619k|  15.8 |  36M| 103 |  29 |1875 |  43k|1875 |1741 |  57k| 572k|7193 | 0.000000e+00 | 1.000000e-00 |    Inf 
1272.32/1272.34	c  1220s|430000 |   265 |  6769k|  15.7 |  34M| 103 |  22 |1875 |  40k|1875 |1738 |  59k| 586k|7267 | 0.000000e+00 | 1.000000e-00 |    Inf 
1303.92/1303.94	c  1251s|440000 |   228 |  6919k|  15.7 |  35M| 103 |   - |1875 |  43k|1875 |1743 |  61k| 599k|7354 | 0.000000e+00 | 1.000000e-00 |    Inf 
1337.22/1337.25	c  1283s|450000 |   153 |  7103k|  15.8 |  25M| 103 |   - |1875 |  16k|   0 |   0 |  62k| 612k|7633 | 0.000000e+00 | 1.000000e-00 |    Inf 
1367.53/1367.56	c  1312s|460000 |   158 |  7305k|  15.9 |  26M| 103 |   - |1875 |  20k|1875 |1742 |  64k| 625k|7640 | 0.000000e+00 | 1.000000e-00 |    Inf 
1397.73/1397.71	c  1341s|470000 |    74 |  7499k|  16.0 |  25M| 103 |  30 |1875 |  16k|1875 |1742 |  65k| 638k|7756 | 0.000000e+00 | 1.000000e-00 |    Inf 
1423.33/1423.35	c  1365s|480000 |   107 |  7652k|  15.9 |  26M| 103 |   - |1875 |  20k|1875 |1744 |  66k| 651k|7807 | 0.000000e+00 | 1.000000e-00 |    Inf 
1450.63/1450.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1450.63/1450.62	c  1391s|490000 |    88 |  7814k|  15.9 |  27M| 103 |   1 |1875 |  23k|1875 |1740 |  67k| 665k|7878 | 0.000000e+00 | 1.000000e-00 |    Inf 
1477.73/1477.72	c  1417s|500000 |   233 |  7971k|  15.9 |  30M| 103 |   - |1875 |  28k|   0 |   0 |  68k| 678k|7954 | 0.000000e+00 | 1.000000e-00 |    Inf 
1506.53/1506.55	c  1445s|510000 |   267 |  8133k|  15.9 |  31M| 103 |  15 |1875 |  30k|1875 |1741 |  69k| 692k|8004 | 0.000000e+00 | 1.000000e-00 |    Inf 
1537.33/1537.33	c  1475s|520000 |   342 |  8307k|  16.0 |  33M| 103 |  25 |1875 |  34k|1875 |1741 |  70k| 706k|8069 | 0.000000e+00 | 1.000000e-00 |    Inf 
1567.42/1567.44	c  1504s|530000 |   342 |  8477k|  16.0 |  31M| 103 |  22 |1875 |  30k|1875 |1741 |  71k| 720k|8121 | 0.000000e+00 | 1.000000e-00 |    Inf 
1599.73/1599.75	c  1535s|540000 |   528 |  8674k|  16.1 |  35M| 103 |  29 |1875 |  36k|1875 |1741 |  72k| 734k|8193 | 0.000000e+00 | 1.000000e-00 |    Inf 
1633.93/1633.96	c  1568s|550000 |   607 |  8873k|  16.1 |  35M| 103 |   - |1875 |  35k|1875 |1747 |  73k| 749k|8277 | 0.000000e+00 | 1.000000e-00 |    Inf 
1666.93/1666.92	c  1599s|560000 |   591 |  9062k|  16.2 |  35M| 103 |  32 |1875 |  34k|1875 |1741 |  74k| 764k|8356 | 0.000000e+00 | 1.000000e-00 |    Inf 
1697.03/1697.04	c  1628s|570000 |   580 |  9231k|  16.2 |  36M| 103 |   - |1875 |  36k|1875 |1741 |  75k| 778k|8425 | 0.000000e+00 | 1.000000e-00 |    Inf 
1728.14/1728.14	c  1658s|580000 |   520 |  9408k|  16.2 |  36M| 103 |  12 |1875 |  36k|1875 |1741 |  76k| 793k|8498 | 0.000000e+00 | 1.000000e-00 |    Inf 
1760.44/1760.44	c  1689s|590000 |   520 |  9589k|  16.3 |  35M| 103 |   - |1875 |  34k|   0 |   0 |  77k| 807k|8567 | 0.000000e+00 | 1.000000e-00 |    Inf 
1791.53/1791.56	c  1719s|600000 |   437 |  9762k|  16.3 |  33M| 103 |  32 |1875 |  31k|1875 |1746 |  78k| 822k|8636 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1727.11
1800.04/1800.00	c Solving Nodes      : 602624
1800.04/1800.00	c Primal Bound       : +1.00000000000000e-00 (146 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/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.04/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.04/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.04/1800.01	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 
1800.04/1800.01	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/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.04/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.04/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.04/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.04/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.04/1800.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1727.11
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693475-1277906185.wbo
1800.04/1800.01	c   Variables        : 2015 (1123 binary, 0 integer, 0 implicit integer, 892 continuous)
1800.04/1800.01	c   Constraints      : 3600 initial, 3600 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693475-1277906185.wbo
1800.04/1800.01	c   Variables        : 1875 (1053 binary, 0 integer, 0 implicit integer, 822 continuous)
1800.04/1800.01	c   Constraints      : 3344 initial, 56103 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         70          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         70          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         70          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.06          0          0          0        914          0        186        127          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        822          -          -       1644          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     338030          0        235       2275          0          0     639084
1800.04/1800.01	c   indicator        :        822          0      46193       1252          0         58     121647          0          0          0
1800.04/1800.01	c   setppc           :         13          6    2600087      16345          0      38455    1882676          0          0          0
1800.04/1800.01	c   linear           :        822          6    2562953      16404          0      82624    7695119      78425          0          0
1800.04/1800.01	c   logicor          :       1687+         6    1334940        762          0      73008    5197583          0          0          0
1800.04/1800.01	c   bounddisjunction :          0+         0       3896          0          0          0          0          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0        762          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      40.84       0.00       0.00      40.84       0.00
1800.04/1800.01	c   indicator        :       0.30       0.00       0.24       0.06       0.00
1800.04/1800.01	c   setppc           :      12.82       0.00      12.81       0.01       0.00
1800.04/1800.01	c   linear           :      51.50       0.01      51.10       0.39       0.00
1800.04/1800.01	c   logicor          :     249.60       0.01     249.56       0.03       0.00
1800.04/1800.01	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.00          2          0          0
1800.04/1800.01	c   rootredcost      :       0.00         20          0        822
1800.04/1800.01	c   pseudoobj        :      40.99    2601686        362      88606
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       9.05     194449     193926    1206347       27.3       4339       22.5          -
1800.04/1800.01	c   infeasible LP    :      23.79     124150     124148     962080       46.3        745       14.1          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00         12         12        100       22.9         10        3.6          -
1800.04/1800.01	c   applied globally :          -          -          -     825534       30.7          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -         11          -    (maximal pool size: 189)
1800.04/1800.01	c   redcost          :       7.21     338236          0      30329          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.19          6          0          0       1408          0
1800.04/1800.01	c   strongcg         :       0.13          6          0          0        489          0
1800.04/1800.01	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.05          6          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      40.76     321618        235       2275          0          0     639084
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.05        743          0          0          0          0       1486
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -         19
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.10         19          0
1800.04/1800.01	c   feaspump         :       0.00          1          0
1800.04/1800.01	c   intshifting      :       0.03         10          0
1800.04/1800.01	c   crossover        :       0.12          7          0
1800.04/1800.01	c   fracdiving       :       0.16         57          0
1800.04/1800.01	c   veclendiving     :       0.12         57          0
1800.04/1800.01	c   pscostdiving     :       0.15         57          0
1800.04/1800.01	c   linesearchdiving :       0.15         57          0
1800.04/1800.01	c   guideddiving     :       0.14         57          0
1800.04/1800.01	c   objpscostdiving  :       0.07         29          0
1800.04/1800.01	c   rootsoldiving    :       0.10         29          0
1800.04/1800.01	c   coefdiving       :       0.12         58          0
1800.04/1800.01	c   trivial          :       0.01          2          0
1800.04/1800.01	c   simplerounding   :       0.43     321682          0
1800.04/1800.01	c   zirounding       :       0.13       1000          0
1800.04/1800.01	c   rounding         :       0.78       7998          0
1800.04/1800.01	c   shifting         :       0.79       2463          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.02          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.00          0          0
1800.04/1800.01	c   trysol           :       0.13        509        127
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     977.48     459192    9806316      21.36   10032.24
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.71        472       4313       9.14    6074.65
1800.04/1800.01	c   strong branching :      37.40       8645     379037      43.84   10134.68
1800.04/1800.01	c     (at root node) :          -         33      11279     341.79          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     602624
1800.04/1800.01	c   nodes (total)    :     602624
1800.04/1800.01	c   nodes left       :        451
1800.04/1800.01	c   max depth        :        103
1800.04/1800.01	c   max depth (total):        103
1800.04/1800.01	c   backtracks       :      91399 (15.2%)
1800.04/1800.01	c   delayed cutoffs  :      36706
1800.04/1800.01	c   repropagations   :     947228 (2892249 domain reductions, 36149 cutoffs)
1800.04/1800.01	c   avg switch length:       4.67
1800.04/1800.01	c   switching time   :     186.70
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        146 (20 improvements)
1800.04/1800.01	c   First Solution   : +4.14000000000000e+04   (in run 1, after 1 nodes, 0.56 seconds, depth 0, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 10704 nodes, 36.68 seconds, depth 22, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        215
1800.04/1800.06	c Time complete: 1800.09.

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-2693475-1277906185/watcher-2693475-1277906185 -o /tmp/evaluation-result-2693475-1277906185/solver-2693475-1277906185 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693475-1277906185.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.00 2.00 2.00 3/178 13416
/proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=11004 CPUtime=0
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1673 0 0 0 0 0 0 0 22 0 1 0 131914848 11268096 1594 4089446400 4194304 9819077 140733947597440 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13416/statm: 2751 1594 392 1374 0 1372 0

[startup+0.103838 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13416
/proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=24016 CPUtime=0.09
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6934 0 0 0 8 1 0 0 22 0 1 0 131914848 24592384 4702 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13416/statm: 6004 4702 502 1374 0 4625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24016

[startup+0.200821 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13416
/proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=32328 CPUtime=0.19
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10825 0 0 0 17 2 0 0 22 0 1 0 131914848 33103872 6507 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13416/statm: 8082 6507 666 1374 0 6703 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32328

[startup+0.300802 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13416
/proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=35880 CPUtime=0.29
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11773 0 0 0 26 3 0 0 22 0 1 0 131914848 36741120 7374 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 8970 7374 680 1374 0 7591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35880

[startup+0.700733 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13416
/proc/meminfo: memFree=31439248/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=39312 CPUtime=0.69
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 19322 0 0 0 64 5 0 0 24 0 1 0 131914848 40255488 7730 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 9828 7730 710 1374 0 8449 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39312

[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13417
/proc/meminfo: memFree=31411348/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=39512 CPUtime=1.49
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 24853 0 0 0 142 7 0 0 25 0 1 0 131914848 40460288 7742 4089446400 4194304 9819077 140733947597440 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 9878 7744 710 1374 0 8499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39512

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13417
/proc/meminfo: memFree=31410728/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=39540 CPUtime=3.09
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 37529 0 0 0 299 10 0 0 25 0 1 0 131914848 40488960 7742 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 9885 7742 713 1374 0 8506 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39540

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13417
/proc/meminfo: memFree=31411596/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=39656 CPUtime=6.29
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 70585 0 0 0 612 17 0 0 25 0 1 0 131914848 40607744 7747 4089446400 4194304 9819077 140733947597440 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 9914 7747 713 1374 0 8535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39656

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13418
/proc/meminfo: memFree=31411744/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=38668 CPUtime=12.69
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 148809 0 0 0 1230 39 0 0 25 0 1 0 131914848 39596032 8128 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 9667 8128 719 1374 0 8288 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38668

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13418
/proc/meminfo: memFree=31402272/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=49228 CPUtime=25.49
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 315267 0 0 0 2442 107 0 0 25 0 1 0 131914848 50409472 10599 4089446400 4194304 9819077 140733947597440 18446744073709551615 6361766 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 12307 10599 721 1374 0 10928 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49228

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13419
/proc/meminfo: memFree=31398724/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=52836 CPUtime=51.09
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 636989 0 0 0 4872 237 0 0 25 0 1 0 131914848 54104064 11521 4089446400 4194304 9819077 140733947597440 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 13209 11521 736 1374 0 11830 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52836

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13420
/proc/meminfo: memFree=31394108/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=57336 CPUtime=102.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1226649 0 0 0 9738 492 0 0 25 0 1 0 131914848 58712064 12601 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 14334 12601 736 1374 0 12955 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 57336

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13422
/proc/meminfo: memFree=31392468/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=58312 CPUtime=162.29
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 1950662 0 0 0 15449 780 0 0 25 0 1 0 131914848 59711488 12823 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 14578 12823 736 1374 0 13199 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58312

[startup+222.307 s]
/proc/loadavg: 2.32 2.08 2.02 4/200 13484
/proc/meminfo: memFree=31210780/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=62476 CPUtime=222.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 2627593 0 0 0 21166 1064 0 0 25 0 1 0 131914848 63975424 13876 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 15619 13876 736 1374 0 14240 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 62476

[startup+282.301 s]
/proc/loadavg: 2.62 2.20 2.07 4/200 13495
/proc/meminfo: memFree=31188684/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=65400 CPUtime=282.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 3264357 0 0 0 26894 1336 0 0 25 0 1 0 131914848 66969600 14575 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 16350 14575 736 1374 0 14971 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 65400

[startup+342.3 s]
/proc/loadavg: 2.80 2.33 2.12 4/200 13497
/proc/meminfo: memFree=31178452/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=68552 CPUtime=342.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 3878176 0 0 0 32643 1587 0 0 25 0 1 0 131914848 70197248 15362 4089446400 4194304 9819077 140733947597440 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 17138 15363 736 1374 0 15759 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 68552

[startup+402.301 s]
/proc/loadavg: 2.87 2.43 2.16 10/200 13498
/proc/meminfo: memFree=31165856/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=72404 CPUtime=402.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 4473727 0 0 0 38395 1835 0 0 25 0 1 0 131914848 74141696 16318 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 18101 16318 736 1374 0 16722 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72404

[startup+462.301 s]
/proc/loadavg: 2.98 2.55 2.22 4/200 13500
/proc/meminfo: memFree=31158960/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=73288 CPUtime=462.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 5075368 0 0 0 44145 2085 0 0 25 0 1 0 131914848 75046912 16551 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 18322 16553 736 1374 0 16943 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 73288

[startup+522.3 s]
/proc/loadavg: 2.89 2.60 2.25 4/200 13501
/proc/meminfo: memFree=31152956/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=73448 CPUtime=522.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 5688021 0 0 0 49886 2344 0 0 25 0 1 0 131914848 75210752 16597 4089446400 4194304 9819077 140733947597440 18446744073709551615 6591451 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 18362 16597 736 1374 0 16983 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 73448

[startup+582.301 s]
/proc/loadavg: 3.17 2.72 2.31 4/200 13503
/proc/meminfo: memFree=31148420/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=73620 CPUtime=582.3
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6316217 0 0 0 55623 2607 0 0 25 0 1 0 131914848 75386880 16653 4089446400 4194304 9819077 140733947597440 18446744073709551615 8669043 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 18405 16654 736 1374 0 17026 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 73620

[startup+642.3 s]
/proc/loadavg: 2.98 2.74 2.35 4/200 13505
/proc/meminfo: memFree=31148848/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=74392 CPUtime=642.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 6967362 0 0 0 61355 2876 0 0 25 0 1 0 131914848 76177408 16763 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 18598 16763 736 1374 0 17219 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 74392

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 3.00 2.82 2.46 4/200 13511
/proc/meminfo: memFree=31128924/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=82004 CPUtime=882.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 9244027 0 0 0 84422 3809 0 0 25 0 1 0 131914848 83972096 18458 4089446400 4194304 9819077 140733947597440 18446744073709551615 6390894 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 20501 18458 736 1374 0 19122 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 82004

[startup+942.301 s]
/proc/loadavg: 3.00 2.85 2.49 3/200 13513
/proc/meminfo: memFree=31123012/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=83636 CPUtime=942.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 9759093 0 0 0 90220 4011 0 0 25 0 1 0 131914848 85643264 18905 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 20909 18905 736 1374 0 19530 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 83636

[startup+1002.3 s]
/proc/loadavg: 2.97 2.86 2.51 3/200 13514
/proc/meminfo: memFree=31119204/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=85164 CPUtime=1002.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10262742 0 0 0 96013 4218 0 0 25 0 1 0 131914848 87207936 19299 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21291 19299 736 1374 0 19912 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 85164

[startup+1062.3 s]
/proc/loadavg: 2.76 2.82 2.52 4/200 13516
/proc/meminfo: memFree=31115156/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=86444 CPUtime=1062.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 10776155 0 0 0 101801 4430 0 0 25 0 1 0 131914848 88518656 19564 4089446400 4194304 9819077 140733947597440 18446744073709551615 6591442 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21611 19564 736 1374 0 20232 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 86444

[startup+1122.3 s]
/proc/loadavg: 2.80 2.82 2.54 4/200 13517
/proc/meminfo: memFree=31112224/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=86380 CPUtime=1122.31
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11266647 0 0 0 107582 4649 0 0 25 0 1 0 131914848 88453120 19629 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21595 19632 736 1374 0 20216 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 86380

[startup+1182.3 s]
/proc/loadavg: 2.64 2.79 2.54 3/197 13567
/proc/meminfo: memFree=31300336/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=87240 CPUtime=1182.32
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 11770143 0 0 0 113364 4868 0 0 25 0 1 0 131914848 89333760 19749 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21810 19749 736 1374 0 20431 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 87240

[startup+1242.3 s]
/proc/loadavg: 2.23 2.64 2.51 3/197 13569
/proc/meminfo: memFree=31299636/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=87756 CPUtime=1242.32
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 12296792 0 0 0 119135 5097 0 0 25 0 1 0 131914848 89862144 19786 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21939 19786 736 1374 0 20560 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 87756

[startup+1302.3 s]
/proc/loadavg: 2.08 2.52 2.47 3/197 13570
/proc/meminfo: memFree=31299052/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=87752 CPUtime=1302.32
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 12819220 0 0 0 124915 5317 0 0 25 0 1 0 131914848 89858048 19795 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 21938 19795 736 1374 0 20559 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 87752

[startup+1362.3 s]
/proc/loadavg: 2.03 2.42 2.44 3/197 13572
/proc/meminfo: memFree=31297608/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=88572 CPUtime=1362.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 13379342 0 0 0 130687 5546 0 0 25 0 1 0 131914848 90697728 20001 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22143 20001 736 1374 0 20764 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 88572

[startup+1422.3 s]
/proc/loadavg: 2.01 2.34 2.41 3/197 13573
/proc/meminfo: memFree=31297028/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=88600 CPUtime=1422.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 13990723 0 0 0 136438 5795 0 0 25 0 1 0 131914848 90726400 20025 4089446400 4194304 9819077 140733947597440 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22150 20025 736 1374 0 20771 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 88600

[startup+1482.3 s]
/proc/loadavg: 2.00 2.28 2.38 3/197 13575
/proc/meminfo: memFree=31296460/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=88572 CPUtime=1482.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 14592000 0 0 0 142174 6059 0 0 25 0 1 0 131914848 90697728 20031 4089446400 4194304 9819077 140733947597440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22143 20031 736 1374 0 20764 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 88572

[startup+1542.31 s]
/proc/loadavg: 2.04 2.24 2.36 3/197 13577
/proc/meminfo: memFree=31295904/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=88668 CPUtime=1542.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 15130222 0 0 0 147947 6286 0 0 25 0 1 0 131914848 90796032 20059 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22167 20059 736 1374 0 20788 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 88668

[startup+1602.3 s]
/proc/loadavg: 2.01 2.19 2.33 3/197 13578
/proc/meminfo: memFree=31295452/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=88864 CPUtime=1602.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 15677477 0 0 0 153719 6514 0 0 25 0 1 0 131914848 90996736 20102 4089446400 4194304 9819077 140733947597440 18446744073709551615 4221404 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22216 20102 736 1374 0 20837 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 88864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.16 2.31 3/179 13608
/proc/meminfo: memFree=31364612/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=89336 CPUtime=1662.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 16191021 0 0 0 159486 6747 0 0 25 0 1 0 131914848 91480064 20230 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22334 20230 736 1374 0 20955 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 89336

[startup+1722.3 s]
/proc/loadavg: 2.00 2.12 2.29 3/179 13609
/proc/meminfo: memFree=31363316/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=90300 CPUtime=1722.33
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 16731205 0 0 0 165245 6988 0 0 25 0 1 0 131914848 92467200 20388 4089446400 4194304 9819077 140733947597440 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22575 20388 736 1374 0 21196 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 90300

[startup+1782.3 s]
/proc/loadavg: 2.04 2.11 2.27 3/179 13611
/proc/meminfo: memFree=31361784/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=90564 CPUtime=1782.34
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17255831 0 0 0 171013 7221 0 0 25 0 1 0 131914848 92737536 20461 4089446400 4194304 9819077 140733947597440 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22641 20461 736 1374 0 21262 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 90564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.11 2.26 3/179 13611
/proc/meminfo: memFree=31361648/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=90596 CPUtime=1800.04
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17415156 0 0 0 172713 7291 0 0 25 0 1 0 131914848 92770304 20468 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22649 20468 736 1374 0 21270 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90596

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

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

[startup+1800 s]
/proc/loadavg: 2.02 2.11 2.26 3/179 13611
/proc/meminfo: memFree=31361648/32950928 swapFree=4192956/4192956
[pid=13416] ppid=13414 vsize=90596 CPUtime=1800.04
/proc/13416/stat : 13416 (pbscip.linux.x8) R 13414 13416 12709 0 -1 4202496 17415156 0 0 0 172713 7291 0 0 25 0 1 0 131914848 92770304 20468 4089446400 4194304 9819077 140733947597440 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13416/statm: 22649 20468 736 1374 0 21270 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90596

Child status: 0
Real time (s): 1800.06
CPU time (s): 1800.11
CPU user time (s): 1727.19
CPU system time (s): 72.9199
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 93028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.19
system time used= 72.9199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17415180
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= 4
involuntary context switches= 1327

runsolver used 2.84257 second user time and 6.00809 second system time

The end

Launcher Data 

Begin job on node124 at 2010-06-30 15:56:25
IDJOB=2693475
IDBENCH=78936
IDSOLVER=1205
FILE ID=node124/2693475-1277906185
PBS_JOBID= 11197212
Free space on /tmp= 130620 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.1900563250--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-2693475-1277906185/watcher-2693475-1277906185 -o /tmp/evaluation-result-2693475-1277906185/solver-2693475-1277906185 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693475-1277906185.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 48850acf7a795604147e976fcd80db7d
RANDOM SEED=439868665

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31439528 kB
Buffers:        192356 kB
Cached:        1121988 kB
SwapCached:          0 kB
Active:         573620 kB
Inactive:       823336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31439528 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:       82996 kB
Mapped:          15412 kB
Slab:            79588 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   229180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130612 MiB
End job on node124 at 2010-06-30 16:26:27