Trace number 2693423

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.15 1800.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
MD5SUMfe999950861349ecbc6e2ee50c3d0e04
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark212.558
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693423-1277903457.wbo>
0.00/0.02	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.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, 1131 impls, 16 clqs
0.04/0.07	c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.04/0.09	c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.10	c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.11	c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.15	c    (0.1s) probing: 101/1077 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.15	c  1131 implications, 16 cliques
0.09/0.15	c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.15	c     846 constraints of type <indicator>
0.09/0.15	c      16 constraints of type <setppc>
0.09/0.15	c     846 constraints of type <linear>
0.09/0.15	c    1647 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.16	c   0.1s|     1 |     0 |    41 |     - |8706k|   0 |  14 |1923 |3355 |1923 |1663 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    81 |     - |8751k|   0 |  35 |1923 |3355 |1923 |1673 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    88 |     - |9065k|   0 |  36 |1923 |3355 |1923 |1681 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   125 |     - |9210k|   0 |  52 |1923 |3355 |1923 |1683 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   233 |     - |9552k|   0 |  62 |1923 |3355 |1923 |1690 |  27 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.57	c   0.5s|     1 |     0 |   297 |     - |9561k|   0 |  63 |1923 |3355 |1923 |1694 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.72	c   0.7s|     1 |     0 |   345 |     - |9564k|   0 |  60 |1923 |3355 |1923 |1696 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.54	c   1.5s|     1 |     2 |   345 |     - |9599k|   0 |  60 |1923 |3355 |1923 |1696 |  33 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.49/1.54	o 42201
1.49/1.54	c y 1.5s|     2 |     1 |   345 |   0.0 |9629k|   1 |   - |1923 |3355 |   0 |   0 |  33 |   0 |  33 | 0.000000e+00 | 4.220100e+04 |    Inf 
16.59/16.63	o 214
16.59/16.63	c *16.4s|  1100 |   622 | 14108 |  12.5 |  13M|  87 |   - |1923 |3405 |1923 |1708 | 553 |  50 | 900 | 0.000000e+00 | 2.140000e+02 |    Inf 
16.79/16.86	o 211
16.79/16.86	c s16.7s|  1192 |   677 | 15125 |  12.4 |  13M|  87 |   - |1923 |3440 |1923 |1724 | 598 |  85 | 902 | 0.000000e+00 | 2.110000e+02 |    Inf 
16.89/16.95	o 183
16.89/16.95	c *16.8s|  1242 |   648 | 15443 |  12.2 |  14M|  87 |   - |1923 |3458 |1923 |1707 | 628 | 104 | 902 | 0.000000e+00 | 1.830000e+02 |    Inf 
16.89/16.96	o 150
16.89/16.96	c *16.8s|  1243 |   547 | 15444 |  12.2 |  13M|  87 |   - |1923 |3458 |1923 |1707 | 628 | 104 | 902 | 0.000000e+00 | 1.500000e+02 |    Inf 
16.89/16.98	o 97
16.89/16.98	c *16.8s|  1251 |   302 | 15529 |  12.1 |  13M|  87 |   - |1923 |3460 |1923 |1706 | 633 | 106 | 902 | 0.000000e+00 | 9.700000e+01 |    Inf 
17.29/17.34	o 72
17.29/17.34	c *17.1s|  1316 |   261 | 17675 |  13.2 |  13M|  87 |   - |1923 |3477 |1923 |1699 | 640 | 155 | 903 | 0.000000e+00 | 7.200000e+01 |    Inf 
17.29/17.38	o 71
17.29/17.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.29/17.38	c *17.2s|  1324 |   262 | 17918 |  13.3 |  13M|  87 |   - |1923 |3267 |1923 |1700 | 643 | 159 | 903 | 0.000000e+00 | 7.100000e+01 |    Inf 
17.40/17.48	o 68
17.40/17.48	c *17.3s|  1355 |   249 | 18543 |  13.4 |  13M|  87 |   - |1923 |3278 |1923 |1711 | 671 | 178 | 903 | 0.000000e+00 | 6.800000e+01 |    Inf 
17.69/17.73	o 64
17.69/17.73	c *17.5s|  1432 |   159 | 20005 |  13.7 |  13M|  87 |   - |1923 |3280 |1923 |1692 | 678 | 215 | 904 | 0.000000e+00 | 6.400000e+01 |    Inf 
29.70/29.71	o 58
29.70/29.71	c *29.1s|  5478 |   368 | 86919 |  15.8 |  16M|  87 |   - |1923 |5814 |1923 |1701 |1090 |5042 |1135 | 0.000000e+00 | 5.800000e+01 |    Inf 
29.89/29.92	o 56
29.89/29.92	c *29.3s|  5564 |   344 | 87997 |  15.8 |  16M|  87 |   - |1923 |5735 |1923 |1710 |1120 |5177 |1137 | 0.000000e+00 | 5.600000e+01 |    Inf 
34.00/34.02	o 54
34.00/34.02	c *33.2s|  7401 |   424 |110113 |  14.8 |  18M|  87 |   - |1923 |5784 |1923 |1704 |1382 |7538 |1146 | 0.000000e+00 | 5.400000e+01 |    Inf 
35.59/35.64	o 35
35.59/35.64	c *34.8s|  7876 |   398 |118662 |  15.0 |  16M|  87 |   - |1923 |5170 |1923 |1701 |1432 |8107 |1212 | 0.000000e+00 | 3.500000e+01 |    Inf 
39.99/40.04	c  39.0s| 10000 |   465 |142389 |  14.2 |  17M|  87 |  20 |1923 |6380 |1923 |1692 |1811 |  11k|1270 | 0.000000e+00 | 3.500000e+01 |    Inf 
42.09/42.16	o 34
42.09/42.16	c *41.1s| 10982 |   478 |154518 |  14.0 |  18M|  87 |   - |1923 |6251 |1923 |1692 |1938 |  12k|1273 | 0.000000e+00 | 3.400000e+01 |    Inf 
46.99/47.08	o 30
46.99/47.08	c *45.9s| 13357 |   514 |177811 |  13.3 |  18M|  87 |   - |1923 |6798 |1923 |1697 |2297 |  15k|1388 | 0.000000e+00 | 3.000000e+01 |    Inf 
47.99/48.00	o 29
47.99/48.00	c *46.8s| 13884 |   519 |182534 |  13.1 |  18M|  87 |   - |1923 |6822 |1923 |1692 |2347 |  16k|1388 | 0.000000e+00 | 2.900000e+01 |    Inf 
54.19/54.20	o 24
54.19/54.20	c *52.7s| 16752 |   594 |216710 |  12.9 |  19M|  87 |   - |1923 |8441 |1923 |1692 |2846 |  20k|1479 | 0.000000e+00 | 2.400000e+01 |    Inf 
58.39/58.40	o 19
58.39/58.40	c *56.8s| 18789 |   601 |239888 |  12.7 |  19M|  87 |   - |1923 |9178 |1923 |1705 |3305 |  22k|1504 | 0.000000e+00 | 1.900000e+01 |    Inf 
58.39/58.48	o 17
58.39/58.48	c *56.9s| 18843 |   593 |240168 |  12.7 |  19M|  87 |   - |1923 |9046 |1923 |1700 |3305 |  22k|1504 | 0.000000e+00 | 1.700000e+01 |    Inf 
59.80/59.88	o 16
59.80/59.88	c *58.2s| 19529 |   590 |247935 |  12.7 |  19M|  87 |   - |1923 |8897 |1923 |1703 |3440 |  23k|1504 | 0.000000e+00 | 1.600000e+01 |    Inf 
60.50/60.59	o 9
60.50/60.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
60.50/60.59	c *58.9s| 19811 |   577 |251652 |  12.7 |  19M|  87 |   - |1923 |8874 |1923 |1692 |3493 |  23k|1528 | 0.000000e+00 | 9.000000e+00 |    Inf 
61.09/61.10	c  59.4s| 20000 |   586 |254204 |  12.7 |  19M|  87 |  14 |1923 |8621 |1923 |1692 |3545 |  24k|1550 | 0.000000e+00 | 9.000000e+00 |    Inf 
83.60/83.67	c  81.2s| 30000 |   597 |388170 |  12.9 |  21M|  87 |   - |1923 |  10k|1923 |1692 |5783 |  37k|1606 | 0.000000e+00 | 9.000000e+00 |    Inf 
84.49/84.58	o 4
84.49/84.58	c *82.0s| 30410 |   552 |393334 |  12.9 |  20M|  87 |   - |1923 |  10k|1923 |1704 |5848 |  38k|1608 | 0.000000e+00 | 4.000000e+00 |    Inf 
103.89/103.92	c   101s| 40000 |   521 |505430 |  12.6 |  20M|  87 |  14 |1923 |8203 |1923 |1693 |7611 |  50k|1642 | 0.000000e+00 | 4.000000e+00 |    Inf 
111.49/111.57	o 3
111.49/111.57	c * 108s| 43662 |   484 |551817 |  12.6 |  20M|  87 |   - |1923 |  10k|1923 |1700 |8127 |  55k|1699 | 0.000000e+00 | 3.000000e+00 |    Inf 
124.49/124.57	c   121s| 50000 |   496 |627214 |  12.5 |  21M|  87 |   - |1923 |  12k|   0 |   0 |9008 |  64k|1844 | 0.000000e+00 | 3.000000e+00 |    Inf 
146.70/146.76	c   142s| 60000 |   456 |757768 |  12.6 |  20M|  87 |   1 |1923 |8799 |1923 |1693 |  10k|  78k|2109 | 0.000000e+00 | 3.000000e+00 |    Inf 
171.20/171.26	c   166s| 70000 |   521 |913976 |  13.1 |  23M|  87 |   - |1923 |  13k|   0 |   0 |  11k|  91k|2398 | 0.000000e+00 | 3.000000e+00 |    Inf 
195.40/195.47	c   190s| 80000 |   532 |  1062k|  13.3 |  25M|  87 |   - |1923 |  18k|1923 |1697 |  12k| 105k|2613 | 0.000000e+00 | 3.000000e+00 |    Inf 
220.60/220.69	c   214s| 90000 |   530 |  1211k|  13.5 |  24M|  87 |  16 |1923 |  15k|1923 |1692 |  13k| 119k|2863 | 0.000000e+00 | 3.000000e+00 |    Inf 
243.60/243.67	c   236s|100000 |   517 |  1342k|  13.4 |  25M|  87 |   - |1923 |  16k|1923 |1702 |  14k| 133k|3099 | 0.000000e+00 | 3.000000e+00 |    Inf 
268.00/268.03	c   260s|110000 |   429 |  1483k|  13.5 |  23M|  87 |   - |1923 |  14k|1923 |1692 |  15k| 147k|3294 | 0.000000e+00 | 3.000000e+00 |    Inf 
291.59/291.62	c   283s|120000 |   418 |  1617k|  13.5 |  23M|  87 |   - |1923 |  13k|   0 |   0 |  16k| 159k|3528 | 0.000000e+00 | 3.000000e+00 |    Inf 
314.10/314.17	c   304s|130000 |   283 |  1748k|  13.4 |  22M|  87 |   - |1923 |  12k|1923 |1692 |  17k| 173k|3693 | 0.000000e+00 | 3.000000e+00 |    Inf 
335.60/335.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
335.60/335.65	c   325s|140000 |   290 |  1865k|  13.3 |  23M|  87 |   - |1923 |  17k|1923 |1703 |  19k| 186k|3891 | 0.000000e+00 | 3.000000e+00 |    Inf 
341.70/341.71	o 1
341.70/341.71	c * 331s|143007 |   300 |  1898k|  13.3 |  24M|  87 |   - |1923 |  18k|1923 |1692 |  19k| 190k|3899 | 0.000000e+00 | 1.000000e-00 |    Inf 
357.70/357.74	c   347s|150000 |   321 |  1985k|  13.2 |  24M|  87 |   - |1923 |  18k|1923 |1692 |  20k| 200k|3984 | 0.000000e+00 | 1.000000e-00 |    Inf 
380.60/380.65	c   369s|160000 |   338 |  2100k|  13.1 |  26M|  87 |  12 |1923 |  22k|1923 |1692 |  21k| 213k|4108 | 0.000000e+00 | 1.000000e-00 |    Inf 
406.50/406.50	c   394s|170000 |   309 |  2244k|  13.2 |  26M|  87 |   - |1923 |  22k|   0 |   0 |  22k| 227k|4216 | 0.000000e+00 | 1.000000e-00 |    Inf 
432.80/432.80	c   419s|180000 |   422 |  2385k|  13.3 |  28M|  87 |   - |1923 |  27k|1923 |1692 |  22k| 241k|4396 | 0.000000e+00 | 1.000000e-00 |    Inf 
459.40/459.46	c   445s|190000 |   539 |  2518k|  13.3 |  30M|  87 |  13 |1923 |  29k|1923 |1692 |  23k| 255k|4506 | 0.000000e+00 | 1.000000e-00 |    Inf 
485.81/485.88	c   471s|200000 |   628 |  2650k|  13.2 |  31M|  87 |  30 |1923 |  32k|1923 |1692 |  24k| 269k|4663 | 0.000000e+00 | 1.000000e-00 |    Inf 
515.21/515.20	c   500s|210000 |   702 |  2799k|  13.3 |  32M|  87 |  22 |1923 |  33k|1923 |1692 |  25k| 283k|4765 | 0.000000e+00 | 1.000000e-00 |    Inf 
542.51/542.58	c   526s|220000 |   796 |  2925k|  13.3 |  34M|  87 |   - |1923 |  35k|1923 |1692 |  26k| 298k|4879 | 0.000000e+00 | 1.000000e-00 |    Inf 
573.01/573.07	c   556s|230000 |   763 |  3074k|  13.4 |  34M|  87 |  22 |1923 |  35k|1923 |1692 |  27k| 312k|4975 | 0.000000e+00 | 1.000000e-00 |    Inf 
600.90/600.94	c   583s|240000 |   682 |  3206k|  13.4 |  34M|  87 |   - |1923 |  34k|1923 |1697 |  28k| 327k|5097 | 0.000000e+00 | 1.000000e-00 |    Inf 
626.61/626.63	c   608s|250000 |   757 |  3324k|  13.3 |  36M|  87 |   - |1923 |  39k|   0 |   0 |  29k| 341k|5200 | 0.000000e+00 | 1.000000e-00 |    Inf 
654.11/654.16	c   635s|260000 |   696 |  3447k|  13.3 |  36M|  87 |   1 |1923 |  39k|1923 |1692 |  30k| 356k|5277 | 0.000000e+00 | 1.000000e-00 |    Inf 
682.20/682.22	c   662s|270000 |   606 |  3572k|  13.2 |  35M|  87 |   - |1923 |  37k|   0 |   0 |  31k| 370k|5365 | 0.000000e+00 | 1.000000e-00 |    Inf 
710.81/710.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
710.81/710.81	c   690s|280000 |   550 |  3706k|  13.2 |  34M|  87 |   - |1923 |  35k|   0 |   0 |  32k| 385k|5490 | 0.000000e+00 | 1.000000e-00 |    Inf 
739.71/739.79	c   718s|290000 |   482 |  3847k|  13.3 |  32M|  87 |  12 |1923 |  32k|1923 |1698 |  33k| 400k|5573 | 0.000000e+00 | 1.000000e-00 |    Inf 
767.91/767.92	c   745s|300000 |   421 |  3984k|  13.3 |  33M|  87 |   - |1923 |  34k|   0 |   0 |  34k| 414k|5670 | 0.000000e+00 | 1.000000e-00 |    Inf 
794.81/794.87	c   771s|310000 |   451 |  4117k|  13.3 |  34M|  87 |   - |1923 |  35k|1923 |1698 |  35k| 429k|5774 | 0.000000e+00 | 1.000000e-00 |    Inf 
823.31/823.37	c   799s|320000 |   500 |  4254k|  13.3 |  36M|  87 |   1 |1923 |  40k|1923 |1698 |  36k| 444k|5869 | 0.000000e+00 | 1.000000e-00 |    Inf 
854.82/854.87	c   829s|330000 |   417 |  4409k|  13.4 |  35M|  87 |   - |1923 |  38k|1923 |1697 |  37k| 459k|5932 | 0.000000e+00 | 1.000000e-00 |    Inf 
882.62/882.69	c   856s|340000 |   411 |  4543k|  13.4 |  33M|  87 |   - |1923 |  32k|   0 |   0 |  38k| 473k|6040 | 0.000000e+00 | 1.000000e-00 |    Inf 
911.01/911.04	c   884s|350000 |   366 |  4673k|  13.4 |  33M|  87 |  18 |1923 |  35k|1923 |1700 |  39k| 487k|6153 | 0.000000e+00 | 1.000000e-00 |    Inf 
938.22/938.23	c   910s|360000 |   554 |  4807k|  13.4 |  33M|  87 |   - |1923 |  31k|   0 |   0 |  40k| 500k|6327 | 0.000000e+00 | 1.000000e-00 |    Inf 
966.01/966.09	c   938s|370000 |   757 |  4938k|  13.3 |  34M|  87 |  28 |1923 |  32k|1923 |1692 |  41k| 514k|6381 | 0.000000e+00 | 1.000000e-00 |    Inf 
994.72/994.70	c   965s|380000 |   797 |  5075k|  13.4 |  36M|  87 |   - |1923 |  35k|   0 |   0 |  41k| 529k|6432 | 0.000000e+00 | 1.000000e-00 |    Inf 
1022.22/1022.23	c   992s|390000 |   823 |  5202k|  13.3 |  36M|  87 |   1 |1923 |  34k|1923 |1692 |  42k| 543k|6511 | 0.000000e+00 | 1.000000e-00 |    Inf 
1048.42/1048.46	c  1018s|400000 |   851 |  5330k|  13.3 |  38M|  87 |   - |1923 |  37k|1923 |1692 |  43k| 557k|6578 | 0.000000e+00 | 1.000000e-00 |    Inf 
1077.92/1077.99	c  1046s|410000 |   834 |  5469k|  13.3 |  35M|  87 |   - |1923 |  31k|1923 |1692 |  43k| 572k|6666 | 0.000000e+00 | 1.000000e-00 |    Inf 
1104.72/1104.75	c  1072s|420000 |  1146 |  5597k|  13.3 |  38M|  87 |  23 |1923 |  35k|1923 |1692 |  44k| 585k|6749 | 0.000000e+00 | 1.000000e-00 |    Inf 
1132.21/1132.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1132.21/1132.22	c  1099s|430000 |  1180 |  5727k|  13.3 |  40M|  87 |   - |1923 |  38k|   0 |   0 |  45k| 599k|6832 | 0.000000e+00 | 1.000000e-00 |    Inf 
1162.12/1162.11	c  1128s|440000 |  1307 |  5871k|  13.3 |  41M|  87 |   - |1923 |  40k|1923 |1699 |  46k| 614k|6906 | 0.000000e+00 | 1.000000e-00 |    Inf 
1192.12/1192.14	c  1157s|450000 |  1400 |  6013k|  13.4 |  42M|  87 |  17 |1923 |  40k|1923 |1692 |  47k| 628k|6994 | 0.000000e+00 | 1.000000e-00 |    Inf 
1223.42/1223.41	c  1188s|460000 |  1540 |  6166k|  13.4 |  45M|  87 |   - |1923 |  44k|1923 |1692 |  48k| 642k|7066 | 0.000000e+00 | 1.000000e-00 |    Inf 
1253.13/1253.11	c  1217s|470000 |  1543 |  6299k|  13.4 |  44M|  87 |  24 |1923 |  43k|1923 |1692 |  49k| 657k|7143 | 0.000000e+00 | 1.000000e-00 |    Inf 
1282.02/1282.06	c  1245s|480000 |  1754 |  6436k|  13.4 |  46M|  87 |   - |1923 |  46k|1923 |1692 |  50k| 671k|7206 | 0.000000e+00 | 1.000000e-00 |    Inf 
1313.12/1313.12	c  1275s|490000 |  1905 |  6585k|  13.4 |  48M|  87 |   - |1923 |  47k|   0 |   0 |  51k| 686k|7267 | 0.000000e+00 | 1.000000e-00 |    Inf 
1342.43/1342.46	c  1304s|500000 |  2110 |  6724k|  13.4 |  50M|  87 |  28 |1923 |  50k|1923 |1692 |  52k| 701k|7349 | 0.000000e+00 | 1.000000e-00 |    Inf 
1373.63/1373.60	c  1334s|510000 |  2122 |  6872k|  13.5 |  49M|  87 |  13 |1923 |  47k|1923 |1692 |  53k| 716k|7439 | 0.000000e+00 | 1.000000e-00 |    Inf 
1403.83/1403.86	c  1363s|520000 |  2184 |  7005k|  13.5 |  51M|  87 |   - |1923 |  49k|   0 |   0 |  54k| 731k|7502 | 0.000000e+00 | 1.000000e-00 |    Inf 
1434.73/1434.76	c  1394s|530000 |  2176 |  7148k|  13.5 |  50M|  87 |  24 |1923 |  47k|1923 |1698 |  55k| 746k|7587 | 0.000000e+00 | 1.000000e-00 |    Inf 
1466.03/1466.03	c  1424s|540000 |  2102 |  7288k|  13.5 |  49M|  87 |   - |1923 |  43k|   0 |   0 |  56k| 761k|7656 | 0.000000e+00 | 1.000000e-00 |    Inf 
1495.73/1495.78	c  1453s|550000 |  2133 |  7428k|  13.5 |  49M|  87 |   - |1923 |  44k|1923 |1702 |  56k| 776k|7723 | 0.000000e+00 | 1.000000e-00 |    Inf 
1525.03/1525.00	c  1481s|560000 |  2199 |  7552k|  13.5 |  51M|  87 |   - |1923 |  47k|   0 |   0 |  58k| 790k|7780 | 0.000000e+00 | 1.000000e-00 |    Inf 
1555.93/1555.92	c  1511s|570000 |  2320 |  7686k|  13.5 |  53M|  87 |   - |1923 |  51k|1923 |1692 |  59k| 804k|7843 | 0.000000e+00 | 1.000000e-00 |    Inf 
1587.83/1587.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1587.83/1587.88	c  1543s|580000 |  2326 |  7820k|  13.5 |  55M|  87 |  11 |1923 |  54k|1923 |1692 |  61k| 818k|7901 | 0.000000e+00 | 1.000000e-00 |    Inf 
1619.23/1619.25	c  1573s|590000 |  2389 |  7948k|  13.5 |  56M|  87 |  16 |1923 |  56k|1923 |1692 |  63k| 832k|7975 | 0.000000e+00 | 1.000000e-00 |    Inf 
1652.73/1652.75	c  1606s|600000 |  2370 |  8081k|  13.5 |  55M|  87 |  19 |1923 |  54k|1923 |1692 |  64k| 846k|8035 | 0.000000e+00 | 1.000000e-00 |    Inf 
1684.34/1684.30	c  1637s|610000 |  2323 |  8212k|  13.5 |  56M|  87 |   - |1923 |  55k|   0 |   0 |  65k| 861k|8095 | 0.000000e+00 | 1.000000e-00 |    Inf 
1717.43/1717.48	c  1669s|620000 |  2348 |  8353k|  13.5 |  56M|  87 |   - |1923 |  55k|   0 |   0 |  67k| 874k|8144 | 0.000000e+00 | 1.000000e-00 |    Inf 
1751.04/1751.09	c  1702s|630000 |  2366 |  8492k|  13.5 |  55M|  87 |   - |1923 |  53k|1923 |1692 |  68k| 888k|8211 | 0.000000e+00 | 1.000000e-00 |    Inf 
1783.64/1783.62	c  1733s|640000 |  2367 |  8638k|  13.5 |  56M|  87 |   - |1923 |  53k|   0 |   0 |  69k| 903k|8263 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1749.37
1800.04/1800.00	c Solving Nodes      : 645484
1800.04/1800.00	c Primal Bound       : +1.00000000000000e-00 (160 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1800.04/1800.01	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 
1800.04/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.01	v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146 
1800.04/1800.01	v -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/1800.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.01	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.01	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 
1800.04/1800.01	v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 
1800.04/1800.01	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.04/1800.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1749.37
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693423-1277903457.wbo
1800.04/1800.01	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.04/1800.01	c   Constraints      : 3619 initial, 3619 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693423-1277903457.wbo
1800.04/1800.01	c   Variables        : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.04/1800.01	c   Constraints      : 3355 initial, 58121 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         65          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         65          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.05          0          0          0        926          0        199        133          0
1800.04/1800.01	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        846          -          -       1692          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     364129          0        208       2214          0          0     693976
1800.04/1800.01	c   indicator        :        846          0     626569       4931          0         77     312144          0          0          0
1800.04/1800.01	c   setppc           :         16          6    2822367      14762          0      54623    2531556          0          0          0
1800.04/1800.01	c   linear           :        846          6    2769225      15119          0      88672    9586994      70615          0          0
1800.04/1800.01	c   logicor          :       1647+         6    1460972       1103          0      96101    5433138          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0       1103          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      39.32       0.00       0.00      39.32       0.00
1800.04/1800.01	c   indicator        :       0.91       0.00       0.89       0.02       0.00
1800.04/1800.01	c   setppc           :      17.94       0.00      17.92       0.02       0.00
1800.04/1800.01	c   linear           :      60.17       0.00      59.64       0.53       0.00
1800.04/1800.01	c   logicor          :     281.13       0.00     281.13       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.70          2          0          0
1800.04/1800.01	c   rootredcost      :       0.61         25          0        846
1800.04/1800.01	c   pseudoobj        :      44.60    2824430        584     258314
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :      11.79     239980     239604    1475593       28.7       6221       24.5          -
1800.04/1800.01	c   infeasible LP    :      21.37     103699     103696     817164       48.0        715       17.6          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00         13         13         83       16.6          2        3.0          -
1800.04/1800.01	c   applied globally :          -          -          -     911069       29.8          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -        107          -    (maximal pool size: 235)
1800.04/1800.01	c   redcost          :       8.71     364519          0      47759          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.26          6          0          0       1446          0
1800.04/1800.01	c   strongcg         :       0.18          6          0          0        338          0
1800.04/1800.01	c   cmir             :       0.02          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.06          6          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      39.08     348993        208       2214          0          0     693976
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.07       1080          0          0          0          0       2160
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -         23
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.05          1          0
1800.04/1800.01	c   oneopt           :       0.41         24          0
1800.04/1800.01	c   crossover        :       0.54         19          0
1800.04/1800.01	c   pscostdiving     :       0.19         86          0
1800.04/1800.01	c   fracdiving       :       0.21         86          0
1800.04/1800.01	c   veclendiving     :       0.16         86          0
1800.04/1800.01	c   linesearchdiving :       0.21         86          0
1800.04/1800.01	c   guideddiving     :       0.23         86          0
1800.04/1800.01	c   coefdiving       :       0.29         87          0
1800.04/1800.01	c   objpscostdiving  :       0.09         50          0
1800.04/1800.01	c   rootsoldiving    :       0.25         51          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.88     349090          0
1800.04/1800.01	c   zirounding       :       0.21       1000          0
1800.04/1800.01	c   rounding         :       0.93       8326          0
1800.04/1800.01	c   shifting         :       2.85       8532          1
1800.04/1800.01	c   intshifting      :       0.03         15          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.04          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.11          0          0
1800.04/1800.01	c   trysol           :       0.63       1592        136
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     900.64     465019    8701165      18.71    9661.09
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       1.04        759       5883       7.75    5656.73
1800.04/1800.01	c   strong branching :      35.52       8319     330119      39.68    9293.89
1800.04/1800.01	c     (at root node) :          -         33       7087     214.76          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     645484
1800.04/1800.01	c   nodes (total)    :     645484
1800.04/1800.01	c   nodes left       :       2376
1800.04/1800.01	c   max depth        :         87
1800.04/1800.01	c   max depth (total):         87
1800.04/1800.01	c   backtracks       :      94651 (14.7%)
1800.04/1800.01	c   delayed cutoffs  :      46930
1800.04/1800.01	c   repropagations   :    1026674 (3647441 domain reductions, 46008 cutoffs)
1800.04/1800.01	c   avg switch length:       4.73
1800.04/1800.01	c   switching time   :     210.79
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        160 (25 improvements)
1800.04/1800.01	c   First Solution   : +4.22010000000000e+04   (in run 1, after 1 nodes, 0.71 seconds, depth 0, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 143007 nodes, 331.04 seconds, depth 31, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        345
1800.15/1800.10	c Time complete: 1800.15.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693423-1277903457/watcher-2693423-1277903457 -o /tmp/evaluation-result-2693423-1277903457/solver-2693423-1277903457 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693423-1277903457.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 11570
/proc/meminfo: memFree=31276932/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=11004 CPUtime=0
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 131642977 11268096 1596 4089446400 4194304 9819077 140736927090256 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11570/statm: 2751 1597 392 1374 0 1372 0

[startup+0.0496679 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11570
/proc/meminfo: memFree=31276932/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=24044 CPUtime=0.04
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 5648 0 0 0 4 0 0 0 25 0 1 0 131642977 24621056 4701 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 6011 4701 492 1374 0 4632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24044

[startup+0.100699 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11570
/proc/meminfo: memFree=31276932/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=25808 CPUtime=0.09
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 6882 0 0 0 9 0 0 0 25 0 1 0 131642977 26427392 5164 4089446400 4194304 9819077 140736927090256 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 6195 4907 503 1374 0 4816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25808

[startup+0.300623 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11570
/proc/meminfo: memFree=31276932/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=34496 CPUtime=0.29
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 10903 0 0 0 28 1 0 0 25 0 1 0 131642977 35323904 7035 4089446400 4194304 9819077 140736927090256 18446744073709551615 6044267 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 8624 7035 679 1374 0 7245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34496

[startup+0.700554 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11570
/proc/meminfo: memFree=31276932/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=38008 CPUtime=0.69
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 11916 0 0 0 67 2 0 0 25 0 1 0 131642977 38920192 7838 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 9502 7838 680 1374 0 8123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38008

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11571
/proc/meminfo: memFree=31240592/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=43060 CPUtime=1.49
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 25484 0 0 0 146 3 0 0 25 0 1 0 131642977 44093440 9590 4089446400 4194304 9819077 140736927090256 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 10765 9590 734 1374 0 9386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43060

[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11571
/proc/meminfo: memFree=31240220/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=43800 CPUtime=3.09
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 25818 0 0 0 304 5 0 0 25 0 1 0 131642977 44851200 9599 4089446400 4194304 9819077 140736927090256 18446744073709551615 7295935 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 10950 9599 734 1374 0 9571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43800

[startup+6.30056 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11571
/proc/meminfo: memFree=31240008/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=43680 CPUtime=6.29
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 26589 0 0 0 622 7 0 0 25 0 1 0 131642977 44728320 9600 4089446400 4194304 9819077 140736927090256 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 10920 9600 734 1374 0 9541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43680

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11571
/proc/meminfo: memFree=31240276/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=43464 CPUtime=12.69
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 31708 0 0 0 1257 12 0 0 25 0 1 0 131642977 44507136 9630 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 10866 9630 738 1374 0 9487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43464

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11571
/proc/meminfo: memFree=31230332/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=56052 CPUtime=25.49
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 138946 0 0 0 2506 43 0 0 25 0 1 0 131642977 57397248 12290 4089446400 4194304 9819077 140736927090256 18446744073709551615 7302722 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 14013 12290 740 1374 0 12634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56052

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11572
/proc/meminfo: memFree=31217536/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=69344 CPUtime=51.09
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 480201 0 0 0 4977 132 0 0 25 0 1 0 131642977 71008256 15541 4089446400 4194304 9819077 140736927090256 18446744073709551615 7311727 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 17336 15541 740 1374 0 15957 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69344

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11573
/proc/meminfo: memFree=31210036/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=76148 CPUtime=102.3
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 1162486 0 0 0 9910 320 0 0 25 0 1 0 131642977 77975552 17142 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 19037 17142 740 1374 0 17658 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76148

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11575
/proc/meminfo: memFree=31205900/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=78748 CPUtime=162.29
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 1553679 0 0 0 15751 478 0 0 25 0 1 0 131642977 80637952 17994 4089446400 4194304 9819077 140736927090256 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 19687 17994 740 1374 0 18308 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78748

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11577
/proc/meminfo: memFree=31203000/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=82836 CPUtime=222.29
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 2053885 0 0 0 21577 652 0 0 25 0 1 0 131642977 84824064 18882 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 20709 18882 740 1374 0 19330 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 82836

[startup+282.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 11578
/proc/meminfo: memFree=31201828/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=84184 CPUtime=282.3
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 2734466 0 0 0 27371 859 0 0 25 0 1 0 131642977 86204416 19116 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 21046 19116 740 1374 0 19667 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 84184

[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 11580
/proc/meminfo: memFree=31201152/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=84276 CPUtime=342.3
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 3422803 0 0 0 33163 1067 0 0 25 0 1 0 131642977 86298624 19176 4089446400 4194304 9819077 140736927090256 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 21069 19176 740 1374 0 19690 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 84276

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 11581
/proc/meminfo: memFree=31197116/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=86008 CPUtime=402.3
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 4031962 0 0 0 38974 1256 0 0 25 0 1 0 131642977 88072192 19555 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 21502 19555 740 1374 0 20123 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 86008

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11583
/proc/meminfo: memFree=31194592/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=88532 CPUtime=462.3
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 4600694 0 0 0 44806 1424 0 0 25 0 1 0 131642977 90656768 20176 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 22133 20176 740 1374 0 20754 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 88532

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11585
/proc/meminfo: memFree=31190056/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=90580 CPUtime=522.31
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 5160950 0 0 0 50641 1590 0 0 25 0 1 0 131642977 92753920 20684 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 22645 20684 740 1374 0 21266 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 90580

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11586
/proc/meminfo: memFree=31184168/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=93504 CPUtime=582.31
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 5688238 0 0 0 56475 1756 0 0 25 0 1 0 131642977 95748096 21394 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 23376 21394 740 1374 0 21997 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 93504

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11616
/proc/meminfo: memFree=31253088/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=95072 CPUtime=642.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 6222464 0 0 0 62306 1926 0 0 25 0 1 0 131642977 97353728 21873 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 23768 21873 740 1374 0 22389 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 95072

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11622
/proc/meminfo: memFree=31210528/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=100160 CPUtime=882.31
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 8420993 0 0 0 85611 2620 0 0 25 0 1 0 131642977 102563840 22814 4089446400 4194304 9819077 140736927090256 18446744073709551615 7816459 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 25040 22814 740 1374 0 23661 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 100160

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11624
/proc/meminfo: memFree=31207024/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=103552 CPUtime=942.31
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 8984674 0 0 0 91434 2797 0 0 25 0 1 0 131642977 106037248 23330 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 25888 23330 740 1374 0 24509 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 103552

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11625
/proc/meminfo: memFree=31205624/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=103476 CPUtime=1002.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 9483457 0 0 0 97274 2958 0 0 25 0 1 0 131642977 105959424 23347 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 25869 23347 740 1374 0 24490 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 103476

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11627
/proc/meminfo: memFree=31203952/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=103992 CPUtime=1062.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 10000261 0 0 0 103112 3120 0 0 25 0 1 0 131642977 106487808 23457 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 25998 23457 740 1374 0 24619 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 103992

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11629
/proc/meminfo: memFree=31200168/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=105272 CPUtime=1122.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 10520174 0 0 0 108949 3283 0 0 25 0 1 0 131642977 107798528 23798 4089446400 4194304 9819077 140736927090256 18446744073709551615 6367562 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 26318 23798 740 1374 0 24939 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 105272

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11630
/proc/meminfo: memFree=31198864/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=106528 CPUtime=1182.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 11047943 0 0 0 114785 3447 0 0 25 0 1 0 131642977 109084672 24127 4089446400 4194304 9819077 140736927090256 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 26632 24127 740 1374 0 25253 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 106528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11635
/proc/meminfo: memFree=31191944/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=109672 CPUtime=1242.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 11550999 0 0 0 120618 3614 0 0 25 0 1 0 131642977 112304128 24952 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 27016 24935 740 1374 0 25637 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 109672

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11636
/proc/meminfo: memFree=31187352/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=112668 CPUtime=1302.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 12056769 0 0 0 126457 3776 0 0 25 0 1 0 131642977 115372032 25688 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 28167 25688 740 1374 0 26788 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 112668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11638
/proc/meminfo: memFree=31182936/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=116576 CPUtime=1362.32
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 12550725 0 0 0 132295 3937 0 0 25 0 1 0 131642977 119373824 26665 4089446400 4194304 9819077 140736927090256 18446744073709551615 6669979 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 29144 26665 740 1374 0 27765 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 116576

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11640
/proc/meminfo: memFree=31182388/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=117176 CPUtime=1422.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 13028151 0 0 0 138146 4087 0 0 25 0 1 0 131642977 119988224 26822 4089446400 4194304 9819077 140736927090256 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 29294 26822 740 1374 0 27915 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 117176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11641
/proc/meminfo: memFree=31180968/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=118304 CPUtime=1482.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 13538655 0 0 0 143976 4257 0 0 25 0 1 0 131642977 121143296 27066 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 29576 27067 740 1374 0 28197 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 118304

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11643
/proc/meminfo: memFree=31179168/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=119572 CPUtime=1542.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 14040735 0 0 0 149817 4416 0 0 25 0 1 0 131642977 122441728 27368 4089446400 4194304 9819077 140736927090256 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 29893 27368 740 1374 0 28514 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 119572

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11644
/proc/meminfo: memFree=31173540/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=122680 CPUtime=1602.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 14529397 0 0 0 155668 4565 0 0 25 0 1 0 131642977 125624320 28074 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 30670 28074 740 1374 0 29291 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 122680

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11646
/proc/meminfo: memFree=31172728/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=123248 CPUtime=1662.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 15002798 0 0 0 161519 4714 0 0 25 0 1 0 131642977 126205952 28211 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 30812 28211 740 1374 0 29433 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 123248

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11648
/proc/meminfo: memFree=31169588/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=124760 CPUtime=1722.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 15492347 0 0 0 167367 4866 0 0 25 0 1 0 131642977 127754240 28574 4089446400 4194304 9819077 140736927090256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 31190 28574 740 1374 0 29811 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 124760

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11649
/proc/meminfo: memFree=31167700/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=125476 CPUtime=1782.33
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 15977453 0 0 0 173213 5020 0 0 25 0 1 0 131642977 128487424 28804 4089446400 4194304 9819077 140736927090256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 31369 28804 740 1374 0 29990 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 125476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11650
/proc/meminfo: memFree=31167432/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=125476 CPUtime=1800.04
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 16130059 0 0 0 174939 5065 0 0 25 0 1 0 131642977 128487424 28809 4089446400 4194304 9819077 140736927090256 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11570/statm: 31369 28809 740 1374 0 29990 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 125476

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.00 2.00 2.00 3/179 11650
/proc/meminfo: memFree=31167432/32951124 swapFree=67111528/67111528
[pid=11570] ppid=11568 vsize=31008 CPUtime=1800.15
/proc/11570/stat : 11570 (pbscip.linux.x8) R 11568 11570 10787 0 -1 4202496 16130165 0 0 0 174949 5066 0 0 25 0 1 0 131642977 31752192 6872 4089446400 4194304 9819077 140736927090256 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11570/statm: 7752 6872 741 1374 0 6373 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 31008

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.15
CPU user time (s): 1749.49
CPU system time (s): 50.6613
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 131120

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

runsolver used 2.42663 second user time and 5.84011 second system time

The end

Launcher Data 

Begin job on node108 at 2010-06-30 15:10:57
IDJOB=2693423
IDBENCH=78910
IDSOLVER=1205
FILE ID=node108/2693423-1277903457
PBS_JOBID= 11197167
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= fe999950861349ecbc6e2ee50c3d0e04
RANDOM SEED=1998560785

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31277468 kB
Buffers:        187116 kB
Cached:        1175664 kB
SwapCached:          0 kB
Active:         693912 kB
Inactive:       838404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31277468 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:      168744 kB
Mapped:          16928 kB
Slab:            78324 kB
PageTables:       5064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   318376 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 node108 at 2010-06-30 15:40:59