Trace number 2692306

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692306-1277912063.wbo>
0.00/0.02	c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 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, 1118 impls, 12 clqs
0.00/0.07	c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.08/0.09	c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10	c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14	c    (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14	c  1118 implications, 12 cliques
0.09/0.14	c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14	c     851 constraints of type <indicator>
0.09/0.14	c      12 constraints of type <setppc>
0.09/0.14	c     851 constraints of type <linear>
0.09/0.14	c    1730 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    46 |     - |8736k|   0 |  36 |1933 |3444 |1933 |1742 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |   778 |     - |9060k|   0 |  42 |1933 |3444 |1933 |1757 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   800 |     - |9290k|   0 |  46 |1933 |3444 |1933 |1767 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.48	c   0.4s|     1 |     0 |   813 |     - |9295k|   0 |  50 |1933 |3444 |1933 |1773 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.58	c   0.5s|     1 |     0 |   819 |     - |9297k|   0 |  51 |1933 |3444 |1933 |1775 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.10	c   1.0s|     1 |     2 |   819 |     - |9300k|   0 |  51 |1933 |3444 |1933 |1775 |  33 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.89/1.94	o 41732
1.89/1.94	c y 1.9s|    11 |    10 |  1096 |  27.7 |9401k|  10 |  11 |1933 |3444 |1933 |1775 |  41 |   0 | 239 | 0.000000e+00 | 4.173200e+04 |    Inf 
5.19/5.22	o 415
5.19/5.22	c * 5.1s|   508 |   425 |  3542 |   5.4 |  11M|  49 |   - |1933 |3444 |1933 |1783 | 304 |   0 |1056 | 0.000000e+00 | 4.150000e+02 |    Inf 
5.19/5.23	o 401
5.19/5.23	c * 5.1s|   509 |   419 |  3542 |   5.4 |  11M|  49 |   - |1933 |3444 |1933 |1783 | 304 |   0 |1056 | 0.000000e+00 | 4.010000e+02 |    Inf 
5.69/5.76	o 392
5.69/5.76	c * 5.6s|   606 |   502 |  3863 |   5.0 |  12M|  49 |   - |1933 |3456 |1933 |1785 | 324 |  12 |1188 | 0.000000e+00 | 3.920000e+02 |    Inf 
6.10/6.16	o 375
6.10/6.16	c * 6.0s|   712 |   576 |  4165 |   4.7 |  12M|  49 |   - |1933 |3482 |1933 |1789 | 347 |  38 |1270 | 0.000000e+00 | 3.750000e+02 |    Inf 
6.10/6.16	o 361
6.10/6.16	c * 6.0s|   713 |   563 |  4165 |   4.7 |  12M|  49 |   - |1933 |3482 |1933 |1789 | 347 |  38 |1270 | 0.000000e+00 | 3.610000e+02 |    Inf 
6.19/6.22	o 348
6.19/6.22	c * 6.1s|   719 |   558 |  4217 |   4.7 |  12M|  49 |   - |1933 |3482 |1933 |1791 | 353 |  38 |1287 | 0.000000e+00 | 3.480000e+02 |    Inf 
6.69/6.75	o 337
6.69/6.75	c * 6.6s|  1008 |   819 |  4663 |   3.8 |  13M|  67 |   - |1933 |3493 |1933 |1783 | 437 |  49 |1324 | 0.000000e+00 | 3.370000e+02 |    Inf 
6.69/6.76	o 335
6.69/6.76	c * 6.6s|  1009 |   816 |  4663 |   3.8 |  14M|  67 |   - |1933 |3493 |1933 |1783 | 437 |  49 |1324 | 0.000000e+00 | 3.350000e+02 |    Inf 
6.69/6.77	o 332
6.69/6.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.69/6.77	c * 6.6s|  1013 |   814 |  4672 |   3.8 |  14M|  67 |   - |1933 |3493 |1933 |1782 | 437 |  49 |1324 | 0.000000e+00 | 3.320000e+02 |    Inf 
6.69/6.77	o 330
6.69/6.77	c * 6.6s|  1014 |   810 |  4672 |   3.8 |  14M|  67 |   - |1933 |3493 |1933 |1782 | 437 |  49 |1324 | 0.000000e+00 | 3.300000e+02 |    Inf 
6.79/6.85	o 318
6.79/6.85	c * 6.7s|  1023 |   801 |  4856 |   4.0 |  14M|  67 |   - |1933 |3496 |1933 |1779 | 449 |  52 |1342 | 0.000000e+00 | 3.180000e+02 |    Inf 
7.89/7.91	o 317
7.89/7.91	c * 7.7s|  1226 |   956 |  6806 |   4.9 |  14M|  67 |   - |1933 |3569 |1933 |1779 | 560 | 128 |1535 | 0.000000e+00 | 3.170000e+02 |    Inf 
7.99/8.10	o 296
7.99/8.10	c * 7.9s|  1289 |   982 |  7092 |   4.9 |  14M|  67 |   - |1933 |3567 |1933 |1782 | 604 | 128 |1569 | 0.000000e+00 | 2.960000e+02 |    Inf 
8.09/8.18	o 283
8.09/8.18	c * 8.0s|  1335 |  1001 |  7230 |   4.8 |  14M|  67 |   - |1933 |3575 |1933 |1776 | 627 | 136 |1573 | 0.000000e+00 | 2.830000e+02 |    Inf 
8.09/8.18	o 260
8.09/8.18	c * 8.0s|  1336 |   933 |  7230 |   4.8 |  14M|  67 |   - |1933 |3575 |1933 |1776 | 627 | 136 |1573 | 0.000000e+00 | 2.600000e+02 |    Inf 
8.19/8.26	o 259
8.19/8.26	c * 8.1s|  1377 |   972 |  7357 |   4.8 |  14M|  67 |   - |1933 |3575 |1933 |1782 | 658 | 136 |1576 | 0.000000e+00 | 2.590000e+02 |    Inf 
8.19/8.27	o 236
8.19/8.27	c * 8.1s|  1378 |   912 |  7357 |   4.7 |  14M|  67 |   - |1933 |3575 |1933 |1782 | 658 | 136 |1576 | 0.000000e+00 | 2.360000e+02 |    Inf 
8.19/8.28	o 219
8.19/8.28	c * 8.1s|  1380 |   857 |  7413 |   4.8 |  14M|  67 |   - |1933 |3575 |1933 |1775 | 666 | 136 |1578 | 0.000000e+00 | 2.190000e+02 |    Inf 
8.29/8.36	o 205
8.29/8.36	c * 8.2s|  1404 |   830 |  7524 |   4.8 |  14M|  67 |   - |1933 |3580 |1933 |1784 | 685 | 141 |1588 | 0.000000e+00 | 2.050000e+02 |    Inf 
8.29/8.37	o 193
8.29/8.37	c * 8.2s|  1406 |   806 |  7537 |   4.8 |  14M|  67 |   - |1933 |3580 |1933 |1784 | 685 | 141 |1588 | 0.000000e+00 | 1.930000e+02 |    Inf 
8.29/8.37	o 170
8.29/8.37	c * 8.2s|  1407 |   691 |  7537 |   4.8 |  14M|  67 |   - |1933 |3580 |1933 |1784 | 685 | 141 |1588 | 0.000000e+00 | 1.700000e+02 |    Inf 
8.39/8.40	o 146
8.39/8.40	c * 8.2s|  1415 |   578 |  7562 |   4.8 |  14M|  67 |   - |1933 |3580 |1933 |1778 | 686 | 141 |1590 | 0.000000e+00 | 1.460000e+02 |    Inf 
8.39/8.40	o 137
8.39/8.40	c * 8.2s|  1416 |   533 |  7562 |   4.8 |  14M|  67 |   - |1933 |3580 |1933 |1778 | 686 | 141 |1590 | 0.000000e+00 | 1.370000e+02 |    Inf 
8.39/8.48	o 82
8.39/8.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.39/8.48	c * 8.3s|  1433 |   309 |  7683 |   4.8 |  13M|  67 |   - |1933 |3588 |1933 |1768 | 687 | 150 |1604 | 0.000000e+00 | 8.200000e+01 |    Inf 
8.49/8.51	o 49
8.49/8.51	c * 8.3s|  1445 |   196 |  7736 |   4.8 |  13M|  67 |   - |1933 |3436 |1933 |1771 | 691 | 162 |1604 | 0.000000e+00 | 4.900000e+01 |    Inf 
8.49/8.54	o 26
8.49/8.54	c * 8.3s|  1452 |   163 |  7865 |   4.9 |  13M|  67 |   - |1933 |3157 |1933 |1776 | 700 | 165 |1605 | 0.000000e+00 | 2.600000e+01 |    Inf 
8.49/8.55	o 19
8.49/8.55	c * 8.3s|  1453 |   133 |  7868 |   4.9 |  13M|  67 |   - |1933 |3157 |1933 |1776 | 700 | 165 |1605 | 0.000000e+00 | 1.900000e+01 |    Inf 
8.59/8.60	o 6
8.59/8.60	c * 8.4s|  1458 |    47 |  8023 |   4.9 |  12M|  67 |   - |1933 |2888 |1933 |1772 | 705 | 167 |1613 | 0.000000e+00 | 6.000000e+00 |    Inf 
26.69/26.70	c  26.1s| 10000 |   131 | 89290 |   8.8 |  16M|  67 |  19 |1933 |  10k|1933 |1767 |4364 |  11k|1841 | 0.000000e+00 | 6.000000e+00 |    Inf 
51.40/51.47	c  50.5s| 20000 |   166 |199924 |  10.0 |  19M|  67 |  19 |1933 |  15k|1933 |1767 |8941 |  24k|2140 | 0.000000e+00 | 6.000000e+00 |    Inf 
76.09/76.11	c  74.7s| 30000 |   273 |298764 |   9.9 |  20M|  67 |   - |1933 |  16k|   0 |   0 |  12k|  37k|2635 | 0.000000e+00 | 6.000000e+00 |    Inf 
100.49/100.56	c  98.8s| 40000 |   471 |395176 |   9.9 |  23M|  67 |  12 |1933 |  20k|1933 |1773 |  17k|  51k|2986 | 0.000000e+00 | 6.000000e+00 |    Inf 
127.59/127.64	c   125s| 50000 |   518 |500980 |  10.0 |  24M|  67 |   - |1933 |  22k|   0 |   0 |  23k|  65k|3387 | 0.000000e+00 | 6.000000e+00 |    Inf 
153.89/153.93	c   151s| 60000 |   479 |603558 |  10.0 |  24M|  67 |  16 |1933 |  21k|1933 |1767 |  29k|  79k|3693 | 0.000000e+00 | 6.000000e+00 |    Inf 
178.80/178.83	c   176s| 70000 |   483 |696287 |   9.9 |  26M|  67 |  15 |1933 |  24k|1933 |1767 |  34k|  93k|4010 | 0.000000e+00 | 6.000000e+00 |    Inf 
206.19/206.25	c   203s| 80000 |   492 |800200 |  10.0 |  27M|  67 |   - |1933 |  27k|1933 |1771 |  40k| 107k|4281 | 0.000000e+00 | 6.000000e+00 |    Inf 
232.59/232.63	c   229s| 90000 |   560 |893601 |   9.9 |  27M|  67 |   - |1933 |  26k|   0 |   0 |  46k| 121k|4488 | 0.000000e+00 | 6.000000e+00 |    Inf 
259.29/259.37	c   255s|100000 |   562 |985581 |   9.8 |  29M|  67 |  14 |1933 |  30k|1933 |1767 |  51k| 136k|4721 | 0.000000e+00 | 6.000000e+00 |    Inf 
287.20/287.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
287.20/287.29	c   283s|110000 |   625 |  1081k|   9.8 |  30M|  67 |  28 |1933 |  32k|1933 |1767 |  57k| 150k|4949 | 0.000000e+00 | 6.000000e+00 |    Inf 
315.70/315.71	c   311s|120000 |   521 |  1172k|   9.8 |  30M|  67 |  27 |1933 |  32k|1933 |1767 |  62k| 164k|5154 | 0.000000e+00 | 6.000000e+00 |    Inf 
342.50/342.54	c   337s|130000 |   783 |  1263k|   9.7 |  31M|  67 |   - |1933 |  31k|   0 |   0 |  67k| 178k|5361 | 0.000000e+00 | 6.000000e+00 |    Inf 
370.70/370.79	c   365s|140000 |   879 |  1357k|   9.7 |  33M|  67 |   - |1933 |  35k|   0 |   0 |  72k| 192k|5549 | 0.000000e+00 | 6.000000e+00 |    Inf 
398.90/398.97	c   393s|150000 |   814 |  1446k|   9.6 |  33M|  67 |   - |1933 |  34k|   0 |   0 |  78k| 207k|5719 | 0.000000e+00 | 6.000000e+00 |    Inf 
427.00/427.04	c   420s|160000 |   720 |  1539k|   9.6 |  33M|  67 |  17 |1933 |  35k|1933 |1767 |  83k| 222k|5894 | 0.000000e+00 | 6.000000e+00 |    Inf 
455.80/455.89	c   449s|170000 |   635 |  1634k|   9.6 |  35M|  67 |   - |1933 |  39k|   0 |   0 |  89k| 236k|6074 | 0.000000e+00 | 6.000000e+00 |    Inf 
485.50/485.59	c   478s|180000 |   653 |  1732k|   9.6 |  33M|  67 |  16 |1933 |  34k|1933 |1767 |  96k| 250k|6242 | 0.000000e+00 | 6.000000e+00 |    Inf 
513.30/513.32	c   505s|190000 |   688 |  1815k|   9.6 |  35M|  67 |  15 |1933 |  39k|1933 |1770 | 101k| 264k|6373 | 0.000000e+00 | 6.000000e+00 |    Inf 
543.60/543.60	c   535s|200000 |   600 |  1906k|   9.5 |  34M|  67 |  21 |1933 |  35k|1933 |1767 | 107k| 278k|6570 | 0.000000e+00 | 6.000000e+00 |    Inf 
571.60/571.60	c   563s|210000 |   656 |  2004k|   9.5 |  32M|  67 |  25 |1933 |  29k|1933 |1767 | 112k| 292k|6850 | 0.000000e+00 | 6.000000e+00 |    Inf 
598.70/598.75	c   590s|220000 |   703 |  2095k|   9.5 |  33M|  67 |   - |1933 |  32k|   0 |   0 | 117k| 305k|6972 | 0.000000e+00 | 6.000000e+00 |    Inf 
628.81/628.88	c   619s|230000 |   624 |  2196k|   9.5 |  33M|  67 |   - |1933 |  31k|   0 |   0 | 123k| 319k|7137 | 0.000000e+00 | 6.000000e+00 |    Inf 
654.61/654.64	c   645s|240000 |   622 |  2275k|   9.5 |  31M|  67 |   - |1933 |  26k|   0 |   0 | 126k| 332k|7372 | 0.000000e+00 | 6.000000e+00 |    Inf 
679.31/679.38	c   669s|250000 |   640 |  2354k|   9.4 |  32M|  67 |  23 |1933 |  29k|1933 |1767 | 130k| 346k|7490 | 0.000000e+00 | 6.000000e+00 |    Inf 
707.01/707.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
707.01/707.06	c   696s|260000 |   296 |  2441k|   9.4 |  26M|  67 |   - |1933 |  19k|   0 |   0 | 134k| 360k|7630 | 0.000000e+00 | 6.000000e+00 |    Inf 
733.21/733.20	c   722s|270000 |   315 |  2525k|   9.4 |  28M|  67 |  15 |1933 |  24k|1933 |1767 | 138k| 373k|7723 | 0.000000e+00 | 6.000000e+00 |    Inf 
762.80/762.83	c   751s|280000 |   221 |  2615k|   9.3 |  28M|  67 |   - |1933 |  25k|   0 |   0 | 143k| 387k|7870 | 0.000000e+00 | 6.000000e+00 |    Inf 
793.21/793.24	c   781s|290000 |   255 |  2714k|   9.4 |  30M|  67 |   - |1933 |  29k|   0 |   0 | 149k| 401k|7984 | 0.000000e+00 | 6.000000e+00 |    Inf 
824.92/824.94	c   812s|300000 |   187 |  2795k|   9.3 |  29M|  67 |   - |1933 |  29k|   0 |   0 | 153k| 414k|8965 | 0.000000e+00 | 6.000000e+00 |    Inf 
853.32/853.35	c   840s|310000 |   230 |  2881k|   9.3 |  32M|  67 |  20 |1933 |  36k|1933 |1767 | 156k| 428k|9019 | 0.000000e+00 | 6.000000e+00 |    Inf 
883.41/883.43	c   870s|320000 |   282 |  2961k|   9.3 |  34M|  67 |   - |1933 |  41k|1933 |1772 | 160k| 441k|9025 | 0.000000e+00 | 6.000000e+00 |    Inf 
916.22/916.24	c   902s|330000 |   277 |  3049k|   9.2 |  36M|  67 |   - |1933 |  45k|   0 |   0 | 164k| 456k|9031 | 0.000000e+00 | 6.000000e+00 |    Inf 
953.11/953.19	c   939s|340000 |   337 |  3134k|   9.2 |  37M|  67 |   - |1933 |  48k|   0 |   0 | 167k| 469k|9110 | 0.000000e+00 | 6.000000e+00 |    Inf 
988.51/988.51	c   974s|350000 |   365 |  3220k|   9.2 |  39M|  67 |  21 |1933 |  51k|1933 |1767 | 171k| 483k|9190 | 0.000000e+00 | 6.000000e+00 |    Inf 
1026.71/1026.70	c  1011s|360000 |   379 |  3313k|   9.2 |  39M|  67 |   - |1933 |  51k|   0 |   0 | 175k| 497k|9289 | 0.000000e+00 | 6.000000e+00 |    Inf 
1064.72/1064.72	c  1049s|370000 |   427 |  3396k|   9.2 |  40M|  67 |  21 |1933 |  54k|1933 |1777 | 179k| 510k|9418 | 0.000000e+00 | 6.000000e+00 |    Inf 
1103.41/1103.49	c  1087s|380000 |   414 |  3485k|   9.2 |  42M|  67 |   - |1933 |  57k|   0 |   0 | 183k| 524k|9518 | 0.000000e+00 | 6.000000e+00 |    Inf 
1144.82/1144.82	c  1128s|390000 |   443 |  3578k|   9.2 |  44M|  67 |  19 |1933 |  62k|1933 |1767 | 188k| 538k|9596 | 0.000000e+00 | 6.000000e+00 |    Inf 
1186.02/1186.00	c  1169s|400000 |   439 |  3663k|   9.2 |  43M|  67 |  19 |1933 |  60k|1933 |1767 | 191k| 552k|9698 | 0.000000e+00 | 6.000000e+00 |    Inf 
1227.32/1227.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1227.32/1227.30	c  1210s|410000 |   440 |  3750k|   9.1 |  46M|  67 |   - |1933 |  65k|   0 |   0 | 194k| 567k|9815 | 0.000000e+00 | 6.000000e+00 |    Inf 
1270.92/1270.90	c  1253s|420000 |   407 |  3840k|   9.1 |  43M|  67 |  24 |1933 |  59k|1933 |1767 | 198k| 581k|9915 | 0.000000e+00 | 6.000000e+00 |    Inf 
1312.02/1312.04	c  1294s|430000 |   410 |  3932k|   9.1 |  45M|  67 |   - |1933 |  63k|   0 |   0 | 202k| 594k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1355.92/1355.98	c  1337s|440000 |   417 |  4022k|   9.1 |  42M|  67 |   9 |1933 |  51k|1933 |1767 | 206k| 607k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1394.33/1394.30	c  1375s|450000 |   393 |  4114k|   9.1 |  39M|  67 |   - |1933 |  43k|   0 |   0 | 210k| 620k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1429.33/1429.36	c  1410s|460000 |   473 |  4215k|   9.2 |  41M|  67 |   - |1933 |  47k|   0 |   0 | 215k| 633k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1465.82/1465.87	c  1446s|470000 |   523 |  4304k|   9.2 |  43M|  67 |   - |1933 |  52k|   0 |   0 | 220k| 647k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1503.82/1503.82	c  1483s|480000 |   560 |  4393k|   9.2 |  45M|  67 |   - |1933 |  56k|   0 |   0 | 224k| 660k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1543.03/1543.03	c  1522s|490000 |   557 |  4490k|   9.2 |  46M|  67 |   - |1933 |  59k|1933 |1774 | 229k| 674k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1583.43/1583.41	c  1562s|500000 |   575 |  4589k|   9.2 |  47M|  67 |   - |1933 |  62k|   0 |   0 | 235k| 688k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1624.03/1624.08	c  1602s|510000 |   613 |  4684k|   9.2 |  48M|  67 |  10 |1933 |  63k|1933 |1767 | 239k| 701k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1661.53/1661.57	c  1639s|520000 |   629 |  4781k|   9.2 |  49M|  67 |  27 |1933 |  66k|1933 |1767 | 244k| 715k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1701.33/1701.36	c  1679s|530000 |   713 |  4883k|   9.2 |  50M|  67 |  22 |1933 |  67k|1933 |1767 | 249k| 728k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1739.53/1739.51	c  1716s|540000 |   670 |  4980k|   9.2 |  50M|  67 |   - |1933 |  66k|   0 |   0 | 254k| 743k|  11k| 0.000000e+00 | 6.000000e+00 |    Inf 
1767.44/1767.49	o 5
1767.44/1767.49	c *1744s|547327 |   684 |  5046k|   9.2 |  50M|  67 |   - |1933 |  67k|1933 |1773 | 257k| 753k|  11k| 0.000000e+00 | 5.000000e+00 |    Inf 
1777.34/1777.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1777.34/1777.31	c  1754s|550000 |   689 |  5069k|   9.2 |  49M|  67 |   - |1933 |  64k|   0 |   0 | 258k| 757k|  11k| 0.000000e+00 | 5.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1776.10
1800.04/1800.01	c Solving Nodes      : 555992
1800.04/1800.01	c Primal Bound       : +5.00000000000000e+00 (122 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.02	s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.02	v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 
1800.04/1800.02	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.04/1800.02	v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.02	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.04/1800.02	v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 
1800.04/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.04/1800.02	v -x1 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1776.10
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2692306-1277912063.wbo
1800.04/1800.02	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.04/1800.02	c   Constraints      : 3614 initial, 3614 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2692306-1277912063.wbo
1800.04/1800.02	c   Variables        : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.04/1800.02	c   Constraints      : 3444 initial, 68273 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.00         55          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.01          0          0          0          0          0         55          0          0
1800.04/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.03          0          0          0        906          0        115         55          0
1800.04/1800.02	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -        808          -          -       1616          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0     364692          0         59        889          0          0     617772
1800.04/1800.02	c   indicator        :        851          0    2430969      54944          0         14     136559          0          0          0
1800.04/1800.02	c   setppc           :         12          5    2432360      54647          0      49509    1764772          0          0          0
1800.04/1800.02	c   linear           :        851          5    2384120      55013          0      87172   10245643     262844          0          0
1800.04/1800.02	c   logicor          :       1730+         5    1306116       1036          0     107838    5235009          0          0          0
1800.04/1800.02	c   bounddisjunction :          0+         0          3          0          0          0          1          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0       1036          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :      34.63       0.00       0.00      34.63       0.00
1800.04/1800.02	c   indicator        :       3.24       0.03       2.71       0.50       0.00
1800.04/1800.02	c   setppc           :      15.08       0.00      15.07       0.01       0.00
1800.04/1800.02	c   linear           :      63.91       0.00      62.51       1.40       0.00
1800.04/1800.02	c   logicor          :     383.92       0.00     383.91       0.01       0.00
1800.04/1800.02	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :       0.59          2          0          0
1800.04/1800.02	c   rootredcost      :       0.65         30          0        808
1800.04/1800.02	c   pseudoobj        :      43.19    2433508         57     109573
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :      11.53     244576     243734    1525911       25.4       7308       24.1          -
1800.04/1800.02	c   infeasible LP    :      13.36      62126      62125     507632       43.6        509       18.9          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          3          3         17        9.8          1       21.0          -
1800.04/1800.02	c   applied globally :          -          -          -     765455       24.2          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          4          -          -          2          -    (maximal pool size: 223)
1800.04/1800.02	c   redcost          :       8.94     365044          0      17567          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.20          5          0          0       1000          0
1800.04/1800.02	c   strongcg         :       0.14          5          0          0        865          0
1800.04/1800.02	c   cmir             :       0.02          5          0          0          1          0
1800.04/1800.02	c   flowcover        :       0.03          5          0          0          1          0
1800.04/1800.02	c   clique           :       0.01          5          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :      34.32     309676         59        889          0          0     617772
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.05       1007          0          0          0          0       2014
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.01          -         29
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   feaspump         :       0.14          1          0
1800.04/1800.02	c   oneopt           :       0.34         21          0
1800.04/1800.02	c   crossover        :       0.38          6          0
1800.04/1800.02	c   linesearchdiving :       0.17         87          0
1800.04/1800.02	c   guideddiving     :       0.17         87          0
1800.04/1800.02	c   pscostdiving     :       0.16         87          0
1800.04/1800.02	c   fracdiving       :       0.15         87          0
1800.04/1800.02	c   veclendiving     :       0.14         87          0
1800.04/1800.02	c   coefdiving       :       0.14         88          0
1800.04/1800.02	c   objpscostdiving  :       0.11         55          0
1800.04/1800.02	c   rootsoldiving    :       0.11         55          0
1800.04/1800.02	c   trivial          :       0.01          2          0
1800.04/1800.02	c   simplerounding   :       0.66     309698          0
1800.04/1800.02	c   zirounding       :       0.27       1000          0
1800.04/1800.02	c   rounding         :       0.90       7814          0
1800.04/1800.02	c   shifting         :       0.83       2457          0
1800.04/1800.02	c   intshifting      :       0.01         12          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.02          1          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.09          0          0
1800.04/1800.02	c   trysol           :       0.53       1378         93
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :     719.17     425470    5129187      12.06    7132.09
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:       0.67        375       3568       9.51    5325.37
1800.04/1800.02	c   strong branching :      30.77      11226     182312      16.24    5924.99
1800.04/1800.02	c     (at root node) :          -         33       2783      84.33          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :     555992
1800.04/1800.02	c   nodes (total)    :     555992
1800.04/1800.02	c   nodes left       :        697
1800.04/1800.02	c   max depth        :         67
1800.04/1800.02	c   max depth (total):         67
1800.04/1800.02	c   backtracks       :      89835 (16.2%)
1800.04/1800.02	c   delayed cutoffs  :      61774
1800.04/1800.02	c   repropagations   :     834363 (4219336 domain reductions, 60368 cutoffs)
1800.04/1800.02	c   avg switch length:       4.60
1800.04/1800.02	c   switching time   :     259.40
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :        122 (30 improvements)
1800.04/1800.02	c   First Solution   : +4.17320000000000e+04   (in run 1, after 11 nodes, 1.88 seconds, depth 10, found by <trysol>)
1800.04/1800.02	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 547327 nodes, 1743.96 seconds, depth 35, found by <relaxation>)
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :        819
1800.14/1800.11	c Time complete: 1800.15.

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692306-1277912063/watcher-2692306-1277912063 -o /tmp/evaluation-result-2692306-1277912063/solver-2692306-1277912063 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692306-1277912063.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 4/178 25210
/proc/meminfo: memFree=31079460/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=9432 CPUtime=0
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1653 0 0 0 0 0 0 0 25 0 1 0 164845808 9658368 1572 4089446400 4194304 8223781 140734097085136 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25210/statm: 2358 1572 369 984 0 1371 0

[startup+0.0903089 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25210
/proc/meminfo: memFree=31079460/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=23560 CPUtime=0.08
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 6330 0 0 0 8 0 0 0 25 0 1 0 164845808 24125440 4857 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 5890 4857 457 984 0 4903 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23560

[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25210
/proc/meminfo: memFree=31079460/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=23560 CPUtime=0.09
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 7359 0 0 0 8 1 0 0 25 0 1 0 164845808 24125440 4858 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 5890 4858 458 984 0 4903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23560

[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25210
/proc/meminfo: memFree=31079460/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=30448 CPUtime=0.29
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 10176 0 0 0 28 1 0 0 25 0 1 0 164845808 31178752 6721 4089446400 4194304 8223781 140734097085136 18446744073709551615 6093266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 7612 6721 571 984 0 6625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30448

[startup+0.7002 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25210
/proc/meminfo: memFree=31079460/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=43560 CPUtime=0.69
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 13363 0 0 0 67 2 0 0 25 0 1 0 164845808 44605440 9865 4089446400 4194304 8223781 140734097085136 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 10890 9889 575 984 0 9903 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43560

[startup+1.50107 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25211
/proc/meminfo: memFree=31049568/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=33408 CPUtime=1.5
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 14730 0 0 0 146 4 0 0 25 0 1 0 164845808 34209792 7478 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 8352 7478 587 984 0 7365 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 33408

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25211
/proc/meminfo: memFree=31048212/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=33944 CPUtime=3.09
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 20055 0 0 0 303 6 0 0 25 0 1 0 164845808 34758656 7587 4089446400 4194304 8223781 140734097085136 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 8486 7587 590 984 0 7499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33944

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25211
/proc/meminfo: memFree=31040400/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=40068 CPUtime=6.29
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 41754 0 0 0 615 14 0 0 25 0 1 0 164845808 41029632 8898 4089446400 4194304 8223781 140734097085136 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 10017 8898 596 984 0 9030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40068

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25212
/proc/meminfo: memFree=31025952/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=42280 CPUtime=12.7
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 72560 0 0 0 1243 27 0 0 25 0 1 0 164845808 43294720 9635 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25210/statm: 10570 9635 599 984 0 9583 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 42280

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25212
/proc/meminfo: memFree=30990416/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=45256 CPUtime=25.49
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 107966 0 0 0 2495 54 0 0 25 0 1 0 164845808 46342144 10397 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 11314 10397 599 984 0 10327 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45256

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25212
/proc/meminfo: memFree=30903892/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=48284 CPUtime=51.09
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 155223 0 0 0 5012 97 0 0 25 0 1 0 164845808 49442816 11160 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 12071 11160 599 984 0 11084 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48284

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25214
/proc/meminfo: memFree=30882664/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=55416 CPUtime=102.29
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 251772 0 0 0 10052 177 0 0 25 0 1 0 164845808 56745984 12907 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 13854 12907 599 984 0 12867 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 55416

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25216
/proc/meminfo: memFree=30751572/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=58628 CPUtime=162.29
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 387893 0 0 0 15952 277 0 0 25 0 1 0 164845808 60035072 13710 4089446400 4194304 8223781 140734097085136 18446744073709551615 4659997 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 14657 13710 599 984 0 13670 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58628

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25217
/proc/meminfo: memFree=30719284/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=61476 CPUtime=222.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 487388 0 0 0 21859 371 0 0 25 0 1 0 164845808 62951424 14394 4089446400 4194304 8223781 140734097085136 18446744073709551615 6592251 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 15369 14394 599 984 0 14382 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 61476

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25218
/proc/meminfo: memFree=30654768/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=65520 CPUtime=282.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 601325 0 0 0 27773 457 0 0 25 0 1 0 164845808 67092480 15280 4089446400 4194304 8223781 140734097085136 18446744073709551615 4665383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 16380 15280 599 984 0 15393 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 65520

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25220
/proc/meminfo: memFree=30504060/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=68236 CPUtime=342.29
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 711530 0 0 0 33683 546 0 0 25 0 1 0 164845808 69873664 15894 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 17059 15894 599 984 0 16072 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 68236

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25225
/proc/meminfo: memFree=30473956/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=69272 CPUtime=402.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 829348 0 0 0 39599 631 0 0 25 0 1 0 164845808 70934528 16150 4089446400 4194304 8223781 140734097085136 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 17318 16150 599 984 0 16331 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 69272

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25227
/proc/meminfo: memFree=30337072/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=72684 CPUtime=462.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 945627 0 0 0 45508 722 0 0 25 0 1 0 164845808 74428416 17023 4089446400 4194304 8223781 140734097085136 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 18171 17023 599 984 0 17184 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 72684

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25228
/proc/meminfo: memFree=30296728/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=75288 CPUtime=522.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1024924 0 0 0 51425 805 0 0 25 0 1 0 164845808 77094912 17523 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 18822 17523 599 984 0 17835 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 75288

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25229
/proc/meminfo: memFree=30193888/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=75824 CPUtime=582.3
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1149970 0 0 0 57341 889 0 0 25 0 1 0 164845808 77643776 17663 4089446400 4194304 8223781 140734097085136 18446744073709551615 6599093 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 18999 17668 599 984 0 18012 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 75824

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25231
/proc/meminfo: memFree=30100472/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=76520 CPUtime=642.31
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1275337 0 0 0 63251 980 0 0 25 0 1 0 164845808 78356480 17766 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 19130 17766 599 984 0 18143 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 76520

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.86 2.45 2.18 4/200 25297
/proc/meminfo: memFree=31281936/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=81320 CPUtime=882.31
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1707453 0 0 0 86872 1359 0 0 25 0 1 0 164845808 83271680 18744 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 20330 18744 599 984 0 19343 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 81320

[startup+942.3 s]
/proc/loadavg: 2.87 2.52 2.21 4/200 25299
/proc/meminfo: memFree=31277032/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=82940 CPUtime=942.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1748901 0 0 0 92800 1432 0 0 25 0 1 0 164845808 84930560 19124 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 20735 19124 599 984 0 19748 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 82940

[startup+1002.3 s]
/proc/loadavg: 2.87 2.57 2.25 4/200 25301
/proc/meminfo: memFree=31270772/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=83700 CPUtime=1002.31
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1779484 0 0 0 98730 1501 0 0 25 0 1 0 164845808 85708800 19349 4089446400 4194304 8223781 140734097085136 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 20925 19349 599 984 0 19938 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 83700

[startup+1062.3 s]
/proc/loadavg: 2.82 2.62 2.28 4/200 25303
/proc/meminfo: memFree=31265488/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=84956 CPUtime=1062.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1825004 0 0 0 104664 1568 0 0 25 0 1 0 164845808 86994944 19649 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 21239 19649 599 984 0 20252 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 84956

[startup+1122.3 s]
/proc/loadavg: 2.81 2.65 2.31 4/200 25304
/proc/meminfo: memFree=31260596/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=86164 CPUtime=1122.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1909945 0 0 0 110593 1639 0 0 25 0 1 0 164845808 88231936 19963 4089446400 4194304 8223781 140734097085136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 21541 19963 599 984 0 20554 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 86164

[startup+1182.3 s]
/proc/loadavg: 2.82 2.68 2.35 4/200 25305
/proc/meminfo: memFree=31260780/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=88780 CPUtime=1182.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 1996408 0 0 0 116524 1708 0 0 25 0 1 0 164845808 90910720 20414 4089446400 4194304 8223781 140734097085136 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 22195 20414 599 984 0 21208 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 88780

[startup+1242.3 s]
/proc/loadavg: 2.79 2.69 2.37 4/200 25307
/proc/meminfo: memFree=31256508/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=89556 CPUtime=1242.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2060210 0 0 0 122462 1770 0 0 25 0 1 0 164845808 91705344 20613 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 22389 20613 599 984 0 21402 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 89556

[startup+1302.3 s]
/proc/loadavg: 2.82 2.72 2.39 4/200 25309
/proc/meminfo: memFree=31253220/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=91116 CPUtime=1302.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2104044 0 0 0 128402 1831 0 0 25 0 1 0 164845808 93302784 20828 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 22779 20828 599 984 0 21792 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 91116

[startup+1362.3 s]
/proc/loadavg: 2.82 2.73 2.42 4/200 25311
/proc/meminfo: memFree=31248064/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=95652 CPUtime=1362.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2160641 0 0 0 134339 1894 0 0 25 0 1 0 164845808 97947648 21558 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 23913 21558 599 984 0 22926 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 95652

[startup+1422.31 s]
/proc/loadavg: 2.80 2.74 2.44 4/200 25312
/proc/meminfo: memFree=31244760/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=97428 CPUtime=1422.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2199987 0 0 0 140272 1961 0 0 25 0 1 0 164845808 99766272 21829 4089446400 4194304 8223781 140734097085136 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 24357 21829 599 984 0 23370 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 97428

[startup+1482.3 s]
/proc/loadavg: 2.82 2.75 2.46 4/200 25313
/proc/meminfo: memFree=31242672/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=97488 CPUtime=1482.32
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2226775 0 0 0 146210 2022 0 0 25 0 1 0 164845808 99827712 21842 4089446400 4194304 8223781 140734097085136 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 24372 21842 599 984 0 23385 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 97488

[startup+1542.3 s]
/proc/loadavg: 2.86 2.78 2.48 4/200 25315
/proc/meminfo: memFree=31240744/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=97580 CPUtime=1542.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2304115 0 0 0 152141 2092 0 0 25 0 1 0 164845808 99921920 21853 4089446400 4194304 8223781 140734097085136 18446744073709551615 4223215 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 24395 21853 599 984 0 23408 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 97580

[startup+1602.3 s]
/proc/loadavg: 2.95 2.82 2.51 4/200 25326
/proc/meminfo: memFree=31234740/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=98720 CPUtime=1602.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2383419 0 0 0 158067 2166 0 0 25 0 1 0 164845808 101089280 22161 4089446400 4194304 8223781 140734097085136 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 24680 22161 599 984 0 23693 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 98720

[startup+1662.3 s]
/proc/loadavg: 2.47 2.71 2.49 3/179 25555
/proc/meminfo: memFree=31428320/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=100612 CPUtime=1662.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2480416 0 0 0 163993 2240 0 0 25 0 1 0 164845808 103026688 22576 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 25153 22576 599 984 0 24166 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 100612

[startup+1722.3 s]
/proc/loadavg: 2.17 2.58 2.46 3/179 25556
/proc/meminfo: memFree=31390280/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=101240 CPUtime=1722.33
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2581480 0 0 0 169925 2308 0 0 25 0 1 0 164845808 103669760 22754 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 25310 22754 599 984 0 24323 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 101240

[startup+1782.3 s]
/proc/loadavg: 2.06 2.47 2.43 3/179 25557
/proc/meminfo: memFree=31351564/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=103384 CPUtime=1782.34
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2648485 0 0 0 175862 2372 0 0 25 0 1 0 164845808 105865216 23293 4089446400 4194304 8223781 140734097085136 18446744073709551615 4431646 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 25846 23293 599 984 0 24859 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 103384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.45 2.42 3/179 25558
/proc/meminfo: memFree=31339532/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=103424 CPUtime=1800.04
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2668734 0 0 0 177612 2392 0 0 25 0 1 0 164845808 105906176 23304 4089446400 4194304 8223781 140734097085136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25210/statm: 25856 23304 599 984 0 24869 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 103424

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

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

[startup+1800.11 s]
/proc/loadavg: 2.05 2.45 2.42 3/179 25558
/proc/meminfo: memFree=31339532/32951124 swapFree=67111528/67111528
[pid=25210] ppid=25208 vsize=81888 CPUtime=1800.14
/proc/25210/stat : 25210 (pbscip.linux.x8) R 25208 25210 23831 0 -1 4202496 2668748 0 0 0 177622 2392 0 0 18 0 1 0 164845808 83853312 18163 4089446400 4194304 8223781 140734097085136 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25210/statm: 20156 17993 601 984 0 19169 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 81888

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.16
CPU user time (s): 1776.22
CPU system time (s): 23.9314
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 103548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.22
system time used= 23.9314
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2668752
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= 2
involuntary context switches= 1002

runsolver used 2.86456 second user time and 6.03108 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 17:34:23
IDJOB=2692306
IDBENCH=78993
IDSOLVER=1204
FILE ID=node119/2692306-1277912063
PBS_JOBID= 11197241
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= fa52148d69071c7fece24d526a14d5b1
RANDOM SEED=846254962

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31079864 kB
Buffers:        197356 kB
Cached:         955832 kB
SwapCached:          0 kB
Active:        1092904 kB
Inactive:       636184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31079864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4708 kB
Writeback:           0 kB
AnonPages:      576372 kB
Mapped:          15088 kB
Slab:            78580 kB
PageTables:       5356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   721992 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= 74200 MiB
End job on node119 at 2010-06-30 18:04:25