Trace number 2692839

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670234--soft-66-100-0.wbo
MD5SUM20db9b5796300dda9a6b98219b888af4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark926.065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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-2692839-1277906347.wbo>
0.00/0.03	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.08	c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.08/0.09	c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.11	c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.12	c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.16	c    (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.16	c  1117 implications, 11 cliques
0.09/0.16	c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.16	c     841 constraints of type <indicator>
0.09/0.16	c      11 constraints of type <setppc>
0.09/0.16	c     841 constraints of type <linear>
0.09/0.16	c    1660 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    29 |     - |8700k|   0 |  22 |1913 |3353 |1913 |1671 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 42417
0.19/0.20	c y 0.2s|     1 |     0 |   242 |     - |8737k|   0 |  22 |1913 |3353 |1913 |1671 |   0 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   288 |     - |8949k|   0 |  38 |1913 |3353 |1913 |1689 |  18 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   353 |     - |9209k|   0 |  47 |1913 |3353 |1913 |1699 |  28 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   357 |     - |9210k|   0 |  48 |1913 |3353 |1913 |1701 |  30 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.48/0.54	c   0.5s|     1 |     0 |   359 |     - |9212k|   0 |  48 |1913 |3353 |1913 |1702 |  31 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |   361 |     - |9212k|   0 |  49 |1913 |3353 |1913 |1703 |  32 |   0 |   0 | 0.000000e+00 | 4.241700e+04 |    Inf 
1.09/1.17	c   1.1s|     1 |     2 |   361 |     - |9245k|   0 |  49 |1913 |3353 |1913 |1703 |  32 |   0 |  33 | 0.000000e+00 | 4.241700e+04 |    Inf 
4.19/4.21	o 791
4.19/4.21	c * 4.1s|   351 |   342 |  1093 |   2.1 |  10M| 329 |   - |1913 |3364 |1913 |1705 |  52 |  11 | 337 | 0.000000e+00 | 7.910000e+02 |    Inf 
4.19/4.22	o 643
4.19/4.22	c * 4.1s|   358 |   347 |  1104 |   2.1 |  10M| 335 |   - |1913 |3364 |1913 |1705 |  52 |  11 | 337 | 0.000000e+00 | 6.430000e+02 |    Inf 
4.19/4.23	o 618
4.19/4.23	c * 4.1s|   359 |   344 |  1104 |   2.1 |  10M| 335 |   - |1913 |3364 |1913 |1705 |  52 |  11 | 337 | 0.000000e+00 | 6.180000e+02 |    Inf 
5.19/5.27	o 592
5.19/5.27	c * 5.1s|   383 |   347 |  1574 |   3.2 |  10M| 335 |   - |1913 |3395 |1913 |1709 |  56 |  42 | 561 | 0.000000e+00 | 5.920000e+02 |    Inf 
8.89/8.93	o 548
8.89/8.93	c * 8.7s|  1788 |  1672 |  3485 |   1.7 |  13M| 352 |   - |1913 |3411 |1913 |1709 | 160 |  58 |1064 | 0.000000e+00 | 5.480000e+02 |    Inf 
9.39/9.43	o 463
9.39/9.43	c * 9.2s|  1874 |  1562 |  3963 |   1.9 |  13M| 352 |   - |1913 |3411 |1913 |1713 | 196 |  58 |1166 | 0.000000e+00 | 4.630000e+02 |    Inf 
10.99/11.06	o 171
10.99/11.06	c *10.8s|  2545 |  1460 |  5773 |   2.1 |  13M| 352 |   - |1913 |3435 |1913 |1711 | 400 |  82 |1326 | 0.000000e+00 | 1.710000e+02 |    Inf 
12.19/12.28	o 161
12.19/12.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.19/12.28	c *12.0s|  2769 |  1475 |  7849 |   2.7 |  14M| 352 |   - |1913 |3566 |1913 |1718 | 523 | 217 |1511 | 0.000000e+00 | 1.610000e+02 |    Inf 
13.89/13.91	o 157
13.89/13.91	c *13.6s|  3038 |  1516 | 11254 |   3.6 |  15M| 352 |   - |1913 |3782 |1913 |1720 | 685 | 453 |1716 | 0.000000e+00 | 1.570000e+02 |    Inf 
14.09/14.10	o 8
14.09/14.10	c *13.8s|  3109 |   114 | 11682 |   3.6 |  12M| 352 |   - |1913 |3807 |1913 |1719 | 719 | 482 |1733 | 0.000000e+00 | 8.000000e+00 |    Inf 
30.29/30.33	c  29.7s| 10000 |   217 | 77672 |   7.7 |  15M| 352 |  14 |1913 |7488 |1913 |1699 |2240 |9277 |2020 | 0.000000e+00 | 8.000000e+00 |    Inf 
52.39/52.40	c  51.4s| 20000 |   427 |169058 |   8.4 |  17M| 352 |  21 |1913 |  10k|1913 |1699 |4861 |  22k|2020 | 0.000000e+00 | 8.000000e+00 |    Inf 
76.90/76.96	c  75.6s| 30000 |   517 |267062 |   8.9 |  20M| 352 |  29 |1913 |  14k|1913 |1699 |7545 |  36k|2170 | 0.000000e+00 | 8.000000e+00 |    Inf 
102.80/102.81	c   101s| 40000 |   480 |362706 |   9.1 |  22M| 352 |  39 |1913 |  17k|1913 |1702 |9861 |  50k|2504 | 0.000000e+00 | 8.000000e+00 |    Inf 
127.39/127.48	c   125s| 50000 |   521 |458013 |   9.2 |  23M| 352 |  16 |1913 |  19k|1913 |1703 |  12k|  64k|2849 | 0.000000e+00 | 8.000000e+00 |    Inf 
151.70/151.75	c   149s| 60000 |   518 |556625 |   9.3 |  24M| 352 |   9 |1913 |  22k|1913 |1699 |  13k|  77k|3131 | 0.000000e+00 | 8.000000e+00 |    Inf 
176.80/176.82	c   174s| 70000 |   457 |656667 |   9.4 |  22M| 352 |  30 |1913 |  17k|1913 |1699 |  15k|  90k|3410 | 0.000000e+00 | 8.000000e+00 |    Inf 
199.40/199.49	c   196s| 80000 |   430 |743584 |   9.3 |  23M| 352 |   - |1913 |  20k|   0 |   0 |  18k| 104k|3634 | 0.000000e+00 | 8.000000e+00 |    Inf 
224.09/224.17	c   220s| 90000 |   485 |839363 |   9.3 |  26M| 352 |   - |1913 |  24k|   0 |   0 |  22k| 118k|3902 | 0.000000e+00 | 8.000000e+00 |    Inf 
248.20/248.24	c   244s|100000 |   480 |930367 |   9.3 |  25M| 352 |  17 |1913 |  23k|1913 |1699 |  26k| 132k|4105 | 0.000000e+00 | 8.000000e+00 |    Inf 
272.39/272.42	c   268s|110000 |   617 |  1025k|   9.3 |  27M| 352 |   - |1913 |  26k|   0 |   0 |  31k| 146k|4323 | 0.000000e+00 | 8.000000e+00 |    Inf 
298.20/298.24	c   293s|120000 |   779 |  1122k|   9.4 |  30M| 352 |   - |1913 |  29k|1913 |1703 |  35k| 160k|4513 | 0.000000e+00 | 8.000000e+00 |    Inf 
324.60/324.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
324.60/324.68	c   319s|130000 |   768 |  1219k|   9.4 |  30M| 352 |  26 |1913 |  30k|1913 |1699 |  39k| 175k|4714 | 0.000000e+00 | 8.000000e+00 |    Inf 
350.60/350.61	c   345s|140000 |   705 |  1312k|   9.4 |  31M| 352 |   - |1913 |  32k|   0 |   0 |  43k| 190k|4907 | 0.000000e+00 | 8.000000e+00 |    Inf 
376.70/376.79	c   371s|150000 |   452 |  1403k|   9.4 |  28M| 352 |   - |1913 |  29k|   0 |   0 |  47k| 205k|5086 | 0.000000e+00 | 8.000000e+00 |    Inf 
404.80/404.85	c   398s|160000 |   421 |  1511k|   9.4 |  25M| 352 |  39 |1913 |  18k|1913 |1705 |  49k| 218k|5312 | 0.000000e+00 | 8.000000e+00 |    Inf 
416.49/416.56	o 4
416.49/416.56	c * 410s|165112 |   363 |  1559k|   9.4 |  24M| 352 |   - |1913 |  18k|1913 |1705 |  49k| 225k|5378 | 0.000000e+00 | 4.000000e+00 |    Inf 
428.10/428.14	c   421s|170000 |   458 |  1610k|   9.5 |  25M| 352 |  20 |1913 |  18k|1913 |1699 |  52k| 232k|5446 | 0.000000e+00 | 4.000000e+00 |    Inf 
452.11/452.13	c   445s|180000 |   557 |  1705k|   9.5 |  26M| 352 |   - |1913 |  20k|   0 |   0 |  57k| 246k|5653 | 0.000000e+00 | 4.000000e+00 |    Inf 
474.80/474.81	c   467s|190000 |   592 |  1788k|   9.4 |  28M| 352 |   - |1913 |  23k|1913 |1701 |  61k| 260k|5767 | 0.000000e+00 | 4.000000e+00 |    Inf 
498.91/498.94	c   491s|200000 |   609 |  1883k|   9.4 |  27M| 352 |  39 |1913 |  21k|1913 |1699 |  65k| 273k|5919 | 0.000000e+00 | 4.000000e+00 |    Inf 
524.40/524.44	c   516s|210000 |   526 |  1980k|   9.4 |  26M| 352 |   - |1913 |  20k|1913 |1705 |  70k| 287k|6106 | 0.000000e+00 | 4.000000e+00 |    Inf 
548.91/548.91	c   540s|220000 |   676 |  2084k|   9.5 |  28M| 352 |   - |1913 |  24k|   0 |   0 |  75k| 301k|6246 | 0.000000e+00 | 4.000000e+00 |    Inf 
573.80/573.82	c   565s|230000 |   836 |  2179k|   9.5 |  31M| 352 |  33 |1913 |  27k|1913 |1699 |  79k| 315k|6428 | 0.000000e+00 | 4.000000e+00 |    Inf 
599.80/599.84	c   590s|240000 |   761 |  2281k|   9.5 |  31M| 352 |  21 |1913 |  28k|1913 |1703 |  85k| 329k|6539 | 0.000000e+00 | 4.000000e+00 |    Inf 
627.51/627.54	c   618s|250000 |   778 |  2388k|   9.6 |  31M| 352 |   - |1913 |  29k|1913 |1703 |  91k| 344k|6729 | 0.000000e+00 | 4.000000e+00 |    Inf 
653.01/653.03	c   643s|260000 |   852 |  2487k|   9.6 |  32M| 352 |  22 |1913 |  30k|1913 |1699 |  96k| 358k|6852 | 0.000000e+00 | 4.000000e+00 |    Inf 
678.00/678.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
678.00/678.01	c   667s|270000 |   996 |  2579k|   9.6 |  34M| 352 |  25 |1913 |  33k|1913 |1699 | 101k| 372k|7019 | 0.000000e+00 | 4.000000e+00 |    Inf 
685.81/685.88	o 3
685.81/685.88	c * 675s|272963 |   977 |  2609k|   9.6 |  34M| 352 |   - |1913 |  33k|1913 |1706 | 102k| 376k|7023 | 0.000000e+00 | 3.000000e+00 |    Inf 
703.92/703.97	c   693s|280000 |  1019 |  2677k|   9.6 |  33M| 352 |  17 |1913 |  30k|1913 |1699 | 107k| 386k|7130 | 0.000000e+00 | 3.000000e+00 |    Inf 
729.51/729.54	c   718s|290000 |   989 |  2772k|   9.6 |  34M| 352 |   - |1913 |  31k|   0 |   0 | 113k| 401k|7283 | 0.000000e+00 | 3.000000e+00 |    Inf 
755.21/755.28	c   743s|300000 |   918 |  2864k|   9.5 |  34M| 352 |   - |1913 |  31k|1913 |1704 | 118k| 415k|7417 | 0.000000e+00 | 3.000000e+00 |    Inf 
782.41/782.48	c   770s|310000 |   865 |  2971k|   9.6 |  33M| 352 |   - |1913 |  29k|   0 |   0 | 120k| 429k|7522 | 0.000000e+00 | 3.000000e+00 |    Inf 
807.51/807.57	c   795s|320000 |   830 |  3063k|   9.6 |  33M| 352 |  24 |1913 |  30k|1913 |1699 | 125k| 444k|7645 | 0.000000e+00 | 3.000000e+00 |    Inf 
833.21/833.29	c   820s|330000 |   841 |  3157k|   9.6 |  33M| 352 |  20 |1913 |  30k|1913 |1699 | 130k| 458k|7774 | 0.000000e+00 | 3.000000e+00 |    Inf 
860.01/860.01	c   847s|340000 |   752 |  3260k|   9.6 |  33M| 352 |   - |1913 |  31k|   0 |   0 | 136k| 473k|7919 | 0.000000e+00 | 3.000000e+00 |    Inf 
884.81/884.85	c   871s|350000 |   679 |  3348k|   9.6 |  29M| 352 |  30 |1913 |  21k|1913 |1699 | 141k| 487k|8078 | 0.000000e+00 | 3.000000e+00 |    Inf 
906.92/906.93	c   893s|360000 |   688 |  3433k|   9.5 |  29M| 352 |   - |1913 |  20k|   0 |   0 | 145k| 502k|8180 | 0.000000e+00 | 3.000000e+00 |    Inf 
931.11/931.14	c   917s|370000 |   705 |  3534k|   9.6 |  29M| 352 |  21 |1913 |  21k|1913 |1699 | 149k| 517k|8299 | 0.000000e+00 | 3.000000e+00 |    Inf 
955.11/955.17	c   940s|380000 |   715 |  3632k|   9.6 |  31M| 352 |  25 |1913 |  24k|1913 |1707 | 154k| 532k|8387 | 0.000000e+00 | 3.000000e+00 |    Inf 
978.01/978.04	c   963s|390000 |   625 |  3719k|   9.5 |  30M| 352 |   - |1913 |  22k|1913 |1702 | 158k| 547k|8490 | 0.000000e+00 | 3.000000e+00 |    Inf 
999.61/999.64	c   984s|400000 |   737 |  3794k|   9.5 |  33M| 352 |   - |1913 |  29k|   0 |   0 | 160k| 561k|8603 | 0.000000e+00 | 3.000000e+00 |    Inf 
1024.22/1024.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1024.22/1024.21	c  1008s|410000 |   636 |  3886k|   9.5 |  30M| 352 |   - |1913 |  22k|   0 |   0 | 164k| 576k|8753 | 0.000000e+00 | 3.000000e+00 |    Inf 
1048.32/1048.37	c  1032s|420000 |   539 |  3981k|   9.5 |  28M| 352 |   - |1913 |  19k|1913 |1703 | 169k| 590k|8888 | 0.000000e+00 | 3.000000e+00 |    Inf 
1073.02/1073.08	c  1056s|430000 |   659 |  4091k|   9.5 |  28M| 352 |  24 |1913 |  16k|1913 |1704 | 171k| 603k|9012 | 0.000000e+00 | 3.000000e+00 |    Inf 
1098.42/1098.41	c  1081s|440000 |   844 |  4202k|   9.6 |  29M| 352 |   - |1913 |  17k|1913 |1704 | 172k| 616k|9116 | 0.000000e+00 | 3.000000e+00 |    Inf 
1122.62/1122.63	c  1105s|450000 |   918 |  4311k|   9.6 |  31M| 352 |  24 |1913 |  22k|1913 |1706 | 173k| 629k|9220 | 0.000000e+00 | 3.000000e+00 |    Inf 
1148.52/1148.59	c  1130s|460000 |   920 |  4427k|   9.6 |  31M| 352 |  21 |1913 |  21k|1913 |1704 | 174k| 642k|9330 | 0.000000e+00 | 3.000000e+00 |    Inf 
1175.52/1175.53	c  1157s|470000 |   913 |  4548k|   9.7 |  31M| 352 |   1 |1913 |  20k|1913 |1704 | 175k| 655k|9458 | 0.000000e+00 | 3.000000e+00 |    Inf 
1199.32/1199.36	c  1180s|480000 |   939 |  4648k|   9.7 |  31M| 352 |  16 |1913 |  21k|1913 |1699 | 176k| 668k|9548 | 0.000000e+00 | 3.000000e+00 |    Inf 
1221.92/1221.93	c  1202s|490000 |   980 |  4730k|   9.7 |  33M| 352 |   - |1913 |  23k|   0 |   0 | 179k| 682k|9638 | 0.000000e+00 | 3.000000e+00 |    Inf 
1246.62/1246.66	c  1227s|500000 |  1108 |  4836k|   9.7 |  31M| 352 |   9 |1913 |  17k|1913 |1699 | 181k| 695k|9737 | 0.000000e+00 | 3.000000e+00 |    Inf 
1271.73/1271.76	c  1251s|510000 |  1144 |  4949k|   9.7 |  32M| 352 |  15 |1913 |  19k|1913 |1704 | 183k| 708k|9842 | 0.000000e+00 | 3.000000e+00 |    Inf 
1297.53/1297.59	c  1277s|520000 |  1145 |  5064k|   9.7 |  32M| 352 |   - |1913 |  17k|   0 |   0 | 183k| 722k|9945 | 0.000000e+00 | 3.000000e+00 |    Inf 
1323.42/1323.44	c  1302s|530000 |  1090 |  5174k|   9.8 |  32M| 352 |  22 |1913 |  18k|1913 |1699 | 185k| 736k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1347.92/1347.91	c  1326s|540000 |  1069 |  5269k|   9.8 |  32M| 352 |   - |1913 |  18k|1913 |1704 | 187k| 749k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1372.32/1372.37	c  1350s|550000 |  1188 |  5377k|   9.8 |  34M| 352 |   - |1913 |  22k|   0 |   0 | 188k| 763k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1397.62/1397.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1397.62/1397.63	c  1375s|560000 |  1186 |  5493k|   9.8 |  34M| 352 |  15 |1913 |  23k|1913 |1705 | 189k| 777k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1424.72/1424.74	c  1402s|570000 |  1199 |  5622k|   9.9 |  36M| 352 |   - |1913 |  27k|   0 |   0 | 190k| 791k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1450.94/1450.96	c  1428s|580000 |  1225 |  5729k|   9.9 |  39M| 352 |   6 |1913 |  33k|1913 |1705 | 192k| 805k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1476.92/1476.94	c  1453s|590000 |  1234 |  5835k|   9.9 |  37M| 352 |   - |1913 |  28k|   0 |   0 | 195k| 819k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1501.32/1501.32	c  1477s|600000 |  1262 |  5924k|   9.9 |  37M| 352 |   - |1913 |  28k|1913 |1704 | 200k| 833k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1524.83/1524.87	c  1501s|610000 |  1324 |  6012k|   9.9 |  37M| 352 |  18 |1913 |  28k|1913 |1699 | 204k| 846k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1551.73/1551.78	c  1527s|620000 |  1511 |  6127k|   9.9 |  37M| 352 |   - |1913 |  25k|1913 |1711 | 206k| 860k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1578.23/1578.26	c  1553s|630000 |  1669 |  6245k|   9.9 |  39M| 352 |   - |1913 |  28k|1913 |1707 | 207k| 874k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1604.53/1604.55	c  1579s|640000 |  1716 |  6359k|   9.9 |  39M| 352 |  18 |1913 |  26k|1913 |1711 | 208k| 888k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1629.83/1629.84	c  1604s|650000 |  1868 |  6468k|  10.0 |  41M| 352 |  20 |1913 |  28k|1913 |1707 | 209k| 902k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1657.23/1657.24	c  1631s|660000 |  1992 |  6592k|  10.0 |  42M| 352 |  11 |1913 |  30k|1913 |1711 | 210k| 916k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1684.23/1684.22	c  1657s|670000 |  2033 |  6708k|  10.0 |  42M| 352 |  15 |1913 |  30k|1913 |1705 | 211k| 930k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1710.83/1710.87	c  1684s|680000 |  2058 |  6822k|  10.0 |  41M| 352 |  24 |1913 |  27k|1913 |1707 | 213k| 944k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1738.24/1738.24	c  1711s|690000 |  2078 |  6943k|  10.1 |  41M| 352 |   - |1913 |  26k|1913 |1705 | 214k| 958k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1764.73/1764.79	c  1737s|700000 |  2075 |  7059k|  10.1 |  42M| 352 |   - |1913 |  28k|   0 |   0 | 215k| 972k|  11k| 0.000000e+00 | 3.000000e+00 |    Inf 
1791.34/1791.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1791.34/1791.39	c  1763s|710000 |  2104 |  7169k|  10.1 |  42M| 352 |   - |1913 |  27k|   0 |   0 | 216k| 986k|  11k| 0.000000e+00 | 3.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) : 1771.35
1800.04/1800.00	c Solving Nodes      : 713075
1800.04/1800.00	c Primal Bound       : +3.00000000000000e+00 (88 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	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 -x125 
1800.04/1800.02	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.02	v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.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 -x54 
1800.04/1800.02	v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 -x29 
1800.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       :    1771.35
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2692839-1277906347.wbo
1800.04/1800.02	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.02	c   Constraints      : 3619 initial, 3619 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2692839-1277906347.wbo
1800.04/1800.02	c   Variables        : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.04/1800.02	c   Constraints      : 3353 initial, 35542 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.00         70          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.00         70          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.00          0          0          0          0          0         70          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.06          0          0          0        931          0        196        142          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        :          -        822          -          -       1644          -          -          -          -
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     442697          0         81       1447          0          0     788960
1800.04/1800.02	c   indicator        :        841          0    3077014      46868          0         19      92136          0          0          0
1800.04/1800.02	c   setppc           :         11          6    3081890      46204          0      39382    1981986          0          0          0
1800.04/1800.02	c   linear           :        841          6    3044336      47056          0     129296   12396620     216384          0          0
1800.04/1800.02	c   logicor          :       1660+         6    1695380       2604          0     123424    6849659          0          0          0
1800.04/1800.02	c   bounddisjunction :          0+         0      62688          0          0          0          0          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0       2604          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :      42.95       0.00       0.00      42.95       0.00
1800.04/1800.02	c   indicator        :       2.58       0.00       2.16       0.42       0.00
1800.04/1800.02	c   setppc           :      11.63       0.00      11.59       0.04       0.00
1800.04/1800.02	c   linear           :      70.41       0.00      69.47       0.94       0.00
1800.04/1800.02	c   logicor          :     215.77       0.00     215.74       0.03       0.00
1800.04/1800.02	c   bounddisjunction :       0.03       0.00       0.03       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.74          2          0          0
1800.04/1800.02	c   rootredcost      :       0.62         13          0        822
1800.04/1800.02	c   pseudoobj        :      51.18    3083650         91      60277
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :      13.05     292193     291390    1761045       27.4       7760       25.8          -
1800.04/1800.02	c   infeasible LP    :      18.16      99102      99101     758798       42.7        401       21.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          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -     990939       26.8          -          -          -
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          5          -          -          2          -    (maximal pool size: 200)
1800.04/1800.02	c   redcost          :      11.05     443684          0      19896          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          6          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.27          6          0          0        991          0
1800.04/1800.02	c   strongcg         :       0.19          6          0          0        765          0
1800.04/1800.02	c   cmir             :       0.01          6          0          0          1          0
1800.04/1800.02	c   flowcover        :       0.06          6          0          0          1          0
1800.04/1800.02	c   clique           :       0.00          6          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        :      42.60     395638         81       1447          0          0     788960
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.19       2592          0          0          0          0       5184
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.00          -         12
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   oneopt           :       0.26         12          0
1800.04/1800.02	c   feaspump         :       0.04          1          0
1800.04/1800.02	c   crossover        :       0.44          5          0
1800.04/1800.02	c   coefdiving       :       0.11         46          0
1800.04/1800.02	c   pscostdiving     :       0.15         46          0
1800.04/1800.02	c   fracdiving       :       0.08         46          0
1800.04/1800.02	c   veclendiving     :       0.07         46          0
1800.04/1800.02	c   linesearchdiving :       0.02         46          0
1800.04/1800.02	c   guideddiving     :       0.09         46          0
1800.04/1800.02	c   objpscostdiving  :       0.05         35          0
1800.04/1800.02	c   rootsoldiving    :       0.08         35          0
1800.04/1800.02	c   trivial          :       0.00          2          0
1800.04/1800.02	c   simplerounding   :       0.75     395653          0
1800.04/1800.02	c   zirounding       :       0.21       1000          0
1800.04/1800.02	c   rounding         :       0.76       8930          0
1800.04/1800.02	c   shifting         :       0.79       2709          0
1800.04/1800.02	c   intshifting      :       0.01          5          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.03          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.18          0          0
1800.04/1800.02	c   trysol           :       0.62       1468         76
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          :     959.64     538068    7206844      13.39    7509.95
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.26        232       1908       8.22    7338.46
1800.04/1800.02	c   strong branching :      38.47      11765     243787      20.72    6337.07
1800.04/1800.02	c     (at root node) :          -         33       2703      81.91          -
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            :     713075
1800.04/1800.02	c   nodes (total)    :     713075
1800.04/1800.02	c   nodes left       :       2108
1800.04/1800.02	c   max depth        :        352
1800.04/1800.02	c   max depth (total):        352
1800.04/1800.02	c   backtracks       :     120287 (16.9%)
1800.04/1800.02	c   delayed cutoffs  :      76201
1800.04/1800.02	c   repropagations   :    1015343 (5245590 domain reductions, 75224 cutoffs)
1800.04/1800.02	c   avg switch length:       4.49
1800.04/1800.02	c   switching time   :     190.75
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :         88 (13 improvements)
1800.04/1800.02	c   First Solution   : +4.24170000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.02	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 272963 nodes, 675.10 seconds, depth 42, 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  :        361
1800.04/1800.07	c Time complete: 1800.11.

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692839-1277906347/watcher-2692839-1277906347 -o /tmp/evaluation-result-2692839-1277906347/solver-2692839-1277906347 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692839-1277906347.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/182 13522
/proc/meminfo: memFree=30734860/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=9304 CPUtime=0
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 131930823 9527296 1566 4089446400 4194304 8223781 140733633358896 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13522/statm: 2326 1566 369 984 0 1339 0

[startup+0.090537 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13522
/proc/meminfo: memFree=30734860/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=22776 CPUtime=0.08
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 5887 0 0 0 8 0 0 0 25 0 1 0 131930823 23322624 4671 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 5694 4671 452 984 0 4707 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22776

[startup+0.101533 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13522
/proc/meminfo: memFree=30734860/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=22776 CPUtime=0.09
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 6401 0 0 0 9 0 0 0 25 0 1 0 131930823 23322624 4671 4089446400 4194304 8223781 140733633358896 18446744073709551615 4936563 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 5694 4671 452 984 0 4707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22776

[startup+0.300496 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13522
/proc/meminfo: memFree=30734860/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=31324 CPUtime=0.29
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 10829 0 0 0 27 2 0 0 25 0 1 0 131930823 32075776 6925 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 7831 6925 571 984 0 6844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31324

[startup+0.700438 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13522
/proc/meminfo: memFree=30734860/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=32388 CPUtime=0.69
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 11137 0 0 0 66 3 0 0 25 0 1 0 131930823 33165312 7212 4089446400 4194304 8223781 140733633358896 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 8097 7212 575 984 0 7110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32388

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13523
/proc/meminfo: memFree=30707324/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=32584 CPUtime=1.49
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 21379 0 0 0 145 4 0 0 25 0 1 0 131930823 33366016 7283 4089446400 4194304 8223781 140733633358896 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 8146 7283 596 984 0 7159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32584

[startup+3.10101 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13523
/proc/meminfo: memFree=30706952/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=32580 CPUtime=3.09
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 23170 0 0 0 303 6 0 0 25 0 1 0 131930823 33361920 7286 4089446400 4194304 8223781 140733633358896 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 8145 7286 597 984 0 7158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32580

[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13523
/proc/meminfo: memFree=30705676/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=34744 CPUtime=6.3
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 44174 0 0 0 616 14 0 0 25 0 1 0 131930823 35577856 7783 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 8686 7783 603 984 0 7699 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 34744

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13523
/proc/meminfo: memFree=30697244/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=43252 CPUtime=12.69
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 72259 0 0 0 1242 27 0 0 25 0 1 0 131930823 44290048 9753 4089446400 4194304 8223781 140733633358896 18446744073709551615 6598901 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 10813 9753 603 984 0 9826 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43252

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13523
/proc/meminfo: memFree=30692332/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=45956 CPUtime=25.49
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 108765 0 0 0 2498 51 0 0 25 0 1 0 131930823 47058944 10496 4089446400 4194304 8223781 140733633358896 18446744073709551615 6003308 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 11489 10496 605 984 0 10502 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45956

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13525
/proc/meminfo: memFree=30689084/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=50404 CPUtime=51.09
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 141627 0 0 0 5016 93 0 0 25 0 1 0 131930823 51613696 11600 4089446400 4194304 8223781 140733633358896 18446744073709551615 6591985 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 12601 11600 605 984 0 11614 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50404

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13526
/proc/meminfo: memFree=30683848/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=56364 CPUtime=102.3
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 193746 0 0 0 10056 174 0 0 25 0 1 0 131930823 57716736 13076 4089446400 4194304 8223781 140733633358896 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13522/statm: 14091 13076 605 984 0 13104 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56364

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13536
/proc/meminfo: memFree=30678884/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=60812 CPUtime=162.29
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 279106 0 0 0 15959 270 0 0 25 0 1 0 131930823 62271488 14192 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13522/statm: 15203 14192 605 984 0 14216 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 60812

[startup+222.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 13538
/proc/meminfo: memFree=30675628/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=62212 CPUtime=222.29
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 356683 0 0 0 21863 366 0 0 25 0 1 0 131930823 63705088 14480 4089446400 4194304 8223781 140733633358896 18446744073709551615 4220934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13522/statm: 15553 14480 605 984 0 14566 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 62212

[startup+282.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13540
/proc/meminfo: memFree=30668764/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=66092 CPUtime=282.29
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 481133 0 0 0 27768 461 0 0 25 0 1 0 131930823 67678208 15457 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 16523 15457 605 984 0 15536 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 66092

[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13541
/proc/meminfo: memFree=30664260/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=69396 CPUtime=342.29
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 552363 0 0 0 33679 550 0 0 25 0 1 0 131930823 71061504 16243 4089446400 4194304 8223781 140733633358896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 17349 16243 605 984 0 16362 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 69396

[startup+402.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 13543
/proc/meminfo: memFree=30661256/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=70500 CPUtime=402.3
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 633588 0 0 0 39593 637 0 0 25 0 1 0 131930823 72192000 16416 4089446400 4194304 8223781 140733633358896 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 17625 16416 605 984 0 16638 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 70500

[startup+462.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 13544
/proc/meminfo: memFree=30655504/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=72440 CPUtime=462.3
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 751164 0 0 0 45495 735 0 0 25 0 1 0 131930823 74178560 16799 4089446400 4194304 8223781 140733633358896 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 18110 16799 605 984 0 17123 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 72440

[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 13546
/proc/meminfo: memFree=30654604/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=72704 CPUtime=522.3
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 851056 0 0 0 51396 834 0 0 25 0 1 0 131930823 74448896 16856 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 18176 16856 605 984 0 17189 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 72704

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 13548
/proc/meminfo: memFree=30653952/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=73148 CPUtime=582.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 954025 0 0 0 57303 928 0 0 25 0 1 0 131930823 74903552 17002 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 18287 17002 605 984 0 17300 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 73148

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13549
/proc/meminfo: memFree=30653412/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=73512 CPUtime=642.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 995913 0 0 0 63221 1010 0 0 25 0 1 0 131930823 75276288 17073 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 18378 17073 605 984 0 17391 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 73512

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13554
/proc/meminfo: memFree=30652584/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=76828 CPUtime=822.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1286351 0 0 0 80939 1292 0 0 25 0 1 0 131930823 78671872 17775 4089446400 4194304 8223781 140733633358896 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19207 17775 605 984 0 18220 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 76828

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13556
/proc/meminfo: memFree=30651196/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=76828 CPUtime=882.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1367893 0 0 0 86848 1383 0 0 25 0 1 0 131930823 78671872 17784 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19207 17784 605 984 0 18220 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 76828

[startup+942.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13557
/proc/meminfo: memFree=30650900/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=76828 CPUtime=942.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1463209 0 0 0 92750 1481 0 0 25 0 1 0 131930823 78671872 17784 4089446400 4194304 8223781 140733633358896 18446744073709551615 6023790 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19207 17784 605 984 0 18220 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 76828

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13559
/proc/meminfo: memFree=30649500/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=77812 CPUtime=1002.31
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1602528 0 0 0 98654 1577 0 0 25 0 1 0 131930823 79679488 17945 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19453 17945 605 984 0 18466 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 77812

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13560
/proc/meminfo: memFree=30647856/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=78196 CPUtime=1062.32
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1762092 0 0 0 104550 1682 0 0 25 0 1 0 131930823 80072704 18030 4089446400 4194304 8223781 140733633358896 18446744073709551615 6591930 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19549 18030 605 984 0 18562 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 78196

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13562
/proc/meminfo: memFree=30645724/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=78800 CPUtime=1122.32
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 1868665 0 0 0 110453 1779 0 0 25 0 1 0 131930823 80691200 18205 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19700 18205 605 984 0 18713 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 78800

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13564
/proc/meminfo: memFree=30643592/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=78884 CPUtime=1182.32
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2023861 0 0 0 116351 1881 0 0 25 0 1 0 131930823 80777216 18232 4089446400 4194304 8223781 140733633358896 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 19721 18232 605 984 0 18734 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 78884

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13565
/proc/meminfo: memFree=30642436/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=80120 CPUtime=1242.32
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2178072 0 0 0 122250 1982 0 0 25 0 1 0 131930823 82042880 18485 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20030 18485 605 984 0 19043 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 80120

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13595
/proc/meminfo: memFree=31251808/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=80192 CPUtime=1302.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2275065 0 0 0 128156 2077 0 0 25 0 1 0 131930823 82116608 18512 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20048 18512 605 984 0 19061 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 80192

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13596
/proc/meminfo: memFree=31250912/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=80368 CPUtime=1362.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2351538 0 0 0 134064 2169 0 0 25 0 1 0 131930823 82296832 18567 4089446400 4194304 8223781 140733633358896 18446744073709551615 6569698 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20092 18567 605 984 0 19105 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 80368

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13598
/proc/meminfo: memFree=31250516/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=80368 CPUtime=1422.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2473094 0 0 0 139962 2271 0 0 25 0 1 0 131930823 82296832 18570 4089446400 4194304 8223781 140733633358896 18446744073709551615 6162909 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20092 18570 605 984 0 19105 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 80368

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13600
/proc/meminfo: memFree=31250228/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=80788 CPUtime=1482.32
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2553689 0 0 0 145871 2361 0 0 25 0 1 0 131930823 82726912 18667 4089446400 4194304 8223781 140733633358896 18446744073709551615 4209993 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20197 18667 605 984 0 19210 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 80788

[startup+1542.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 13601
/proc/meminfo: memFree=31248576/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=82440 CPUtime=1542.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2616030 0 0 0 151776 2457 0 0 25 0 1 0 131930823 84418560 19055 4089446400 4194304 8223781 140733633358896 18446744073709551615 4608117 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 20610 19055 605 984 0 19623 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 82440

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 13603
/proc/meminfo: memFree=31246552/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=84292 CPUtime=1602.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2683321 0 0 0 157684 2549 0 0 25 0 1 0 131930823 86315008 19530 4089446400 4194304 8223781 140733633358896 18446744073709551615 6560046 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 21073 19530 605 984 0 20086 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 84292

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 13604
/proc/meminfo: memFree=31245652/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=84968 CPUtime=1662.34
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2803208 0 0 0 163588 2646 0 0 25 0 1 0 131930823 87007232 19692 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 21242 19692 605 984 0 20255 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 84968

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 13606
/proc/meminfo: memFree=31244512/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=85620 CPUtime=1722.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 2946360 0 0 0 169489 2744 0 0 25 0 1 0 131930823 87674880 19893 4089446400 4194304 8223781 140733633358896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 21405 19893 605 984 0 20418 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 85620

[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 13608
/proc/meminfo: memFree=31243748/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=85624 CPUtime=1782.33
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 3077343 0 0 0 175392 2841 0 0 25 0 1 0 131930823 87678976 19900 4089446400 4194304 8223781 140733633358896 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 21406 19900 605 984 0 20419 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 85624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 13608
/proc/meminfo: memFree=31243976/32951124 swapFree=67111528/67111528
[pid=13522] ppid=13520 vsize=85732 CPUtime=1800.04
/proc/13522/stat : 13522 (pbscip.linux.x8) R 13520 13522 13138 0 -1 4202496 3115939 0 0 0 177137 2867 0 0 25 0 1 0 131930823 87789568 19929 4089446400 4194304 8223781 140733633358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13522/statm: 21433 19929 605 984 0 20446 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85732

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1771.44
CPU system time (s): 28.6816
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 85848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.44
system time used= 28.6816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3115946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2383

runsolver used 2.82257 second user time and 6.52301 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 15:59:07
IDJOB=2692839
IDBENCH=78938
IDSOLVER=1204
FILE ID=node132/2692839-1277906347
PBS_JOBID= 11197250
Free space on /tmp= 74136 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.1900670234--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-2692839-1277906347/watcher-2692839-1277906347 -o /tmp/evaluation-result-2692839-1277906347/solver-2692839-1277906347 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692839-1277906347.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 20db9b5796300dda9a6b98219b888af4
RANDOM SEED=1778320286

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.810
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.810
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.810
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:      30735388 kB
Buffers:        186164 kB
Cached:        1217732 kB
SwapCached:          0 kB
Active:        1209080 kB
Inactive:       862052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30735388 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4716 kB
Writeback:           0 kB
AnonPages:      666620 kB
Mapped:          17004 kB
Slab:            81180 kB
PageTables:       6148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   817832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node132 at 2010-06-30 16:29:09