Trace number 2693535

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.2 1800.14

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
MD5SUM125243b279b6e24b77d57dd07a5f7014
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark247.27
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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-2693535-1277909276.wbo>
0.00/0.02	c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.04	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.02/0.07	c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.02/0.09	c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10	c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14	c    (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14	c  1151 implications, 14 cliques
0.09/0.14	c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14	c     888 constraints of type <indicator>
0.09/0.14	c      14 constraints of type <setppc>
0.09/0.14	c     888 constraints of type <linear>
0.09/0.14	c    1693 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    27 |     - |8919k|   0 |  22 |2007 |3483 |2007 |1707 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    81 |     - |9043k|   0 |  44 |2007 |3483 |2007 |1725 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   156 |     - |9324k|   0 |  58 |2007 |3483 |2007 |1737 |  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.3s|     1 |     0 |   300 |     - |9337k|   0 |  87 |2007 |3483 |2007 |1743 |  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   358 |     - |9343k|   0 |  86 |2007 |3483 |2007 |1751 |  44 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |   366 |     - |9344k|   0 |  88 |2007 |3483 |2007 |1754 |  47 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.79	c   0.7s|     1 |     0 |   455 |     - |9348k|   0 |  93 |2007 |3483 |2007 |1756 |  49 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.89/2.97	c   2.8s|     1 |     2 |   455 |     - |9382k|   0 |  93 |2007 |3483 |2007 |1756 |  49 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
2.89/2.97	o 44536
2.89/2.97	c y 2.8s|     2 |     1 |   455 |   0.0 |9413k|   1 |   - |2007 |3483 |   0 |   0 |  49 |   0 |  33 | 0.000000e+00 | 4.453600e+04 |    Inf 
17.19/17.28	o 640
17.19/17.28	c *16.8s|   239 |   208 | 12528 |  50.7 |  10M|  27 |   - |2007 |3536 |2007 |1757 | 285 |  53 | 637 | 0.000000e+00 | 6.400000e+02 |    Inf 
21.50/21.50	o 631
21.50/21.50	c *20.9s|  2321 |  2250 | 28029 |  11.9 |  16M|  71 |   - |2007 |3594 |2007 |1776 |1467 | 113 | 662 | 0.000000e+00 | 6.310000e+02 |    Inf 
21.59/21.66	o 240
21.59/21.66	c *21.0s|  2434 |  1497 | 28336 |  11.5 |  15M|  71 |   - |2007 |3599 |2007 |1761 |1510 | 118 | 662 | 0.000000e+00 | 2.400000e+02 |    Inf 
21.59/21.68	o 189
21.59/21.68	c *21.0s|  2443 |  1264 | 28354 |  11.4 |  15M|  71 |   - |2007 |3609 |2007 |1763 |1513 | 128 | 662 | 0.000000e+00 | 1.890000e+02 |    Inf 
21.59/21.68	o 173
21.59/21.68	c *21.0s|  2445 |  1150 | 28358 |  11.4 |  15M|  71 |   - |2007 |3612 |2007 |1763 |1513 | 131 | 662 | 0.000000e+00 | 1.730000e+02 |    Inf 
21.89/21.96	o 171
21.89/21.96	c *21.3s|  2532 |  1203 | 29696 |  11.6 |  15M|  71 |   - |2007 |3638 |2007 |1745 |1546 | 158 | 662 | 0.000000e+00 | 1.710000e+02 |    Inf 
22.00/22.01	o 169
22.00/22.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
22.00/22.01	c *21.4s|  2541 |  1188 | 30050 |  11.7 |  15M|  71 |   - |2007 |3643 |2007 |1750 |1551 | 163 | 662 | 0.000000e+00 | 1.690000e+02 |    Inf 
22.59/22.66	o 168
22.59/22.66	c *22.0s|  2836 |  1350 | 32939 |  11.5 |  16M|  71 |   - |2007 |3829 |2007 |1766 |1746 | 353 | 662 | 0.000000e+00 | 1.680000e+02 |    Inf 
22.79/22.82	o 158
22.79/22.82	c *22.1s|  2915 |  1311 | 33405 |  11.3 |  16M|  71 |   - |2007 |3860 |2007 |1750 |1774 | 385 | 662 | 0.000000e+00 | 1.580000e+02 |    Inf 
22.89/22.94	o 150
22.89/22.94	c *22.2s|  2986 |  1329 | 33826 |  11.2 |  16M|  71 |   - |2007 |3875 |2007 |1763 |1806 | 402 | 662 | 0.000000e+00 | 1.500000e+02 |    Inf 
22.89/23.00	o 108
22.89/23.00	c *22.3s|  2998 |   930 | 34146 |  11.2 |  15M|  71 |   - |2007 |3881 |2007 |1764 |1829 | 408 | 662 | 0.000000e+00 | 1.080000e+02 |    Inf 
23.10/23.15	o 102
23.10/23.15	c *22.4s|  3045 |   926 | 34920 |  11.3 |  15M|  71 |   - |2007 |3904 |2007 |1770 |1866 | 432 | 662 | 0.000000e+00 | 1.020000e+02 |    Inf 
23.19/23.25	o 71
23.19/23.25	c *22.5s|  3075 |   674 | 35493 |  11.4 |  14M|  71 |   - |2007 |3909 |2007 |1746 |1883 | 439 | 662 | 0.000000e+00 | 7.100000e+01 |    Inf 
23.29/23.35	o 30
23.29/23.35	c *22.6s|  3095 |   269 | 36145 |  11.5 |  13M|  71 |   - |2007 |3666 |2007 |1773 |1919 | 459 | 662 | 0.000000e+00 | 3.000000e+01 |    Inf 
40.79/40.88	c  39.3s| 10000 |   445 |140329 |  14.0 |  17M|  71 |  31 |2007 |6536 |2007 |1745 |2643 |8673 | 890 | 0.000000e+00 | 3.000000e+01 |    Inf 
65.69/65.72	c  62.8s| 20000 |   677 |283744 |  14.2 |  20M|  71 |  24 |2007 |  10k|2007 |1745 |4021 |  21k|1263 | 0.000000e+00 | 3.000000e+01 |    Inf 
90.20/90.28	c  86.0s| 30000 |   764 |427713 |  14.2 |  22M|  71 |   9 |2007 |  10k|2007 |1756 |5442 |  33k|1456 | 0.000000e+00 | 3.000000e+01 |    Inf 
116.39/116.50	c   111s| 40000 |   877 |592308 |  14.8 |  24M|  71 |  21 |2007 |  10k|2007 |1745 |6467 |  46k|1460 | 0.000000e+00 | 3.000000e+01 |    Inf 
142.19/142.28	c   135s| 50000 |  1045 |744790 |  14.9 |  26M|  71 |  13 |2007 |  11k|2007 |1745 |7772 |  59k|1689 | 0.000000e+00 | 3.000000e+01 |    Inf 
168.59/168.66	c   161s| 60000 |  1311 |900889 |  15.0 |  29M|  71 |   - |2007 |  11k|   0 |   0 |8955 |  72k|1952 | 0.000000e+00 | 3.000000e+01 |    Inf 
192.59/192.60	c   183s| 70000 |  1590 |  1033k|  14.8 |  32M|  71 |   1 |2007 |  12k|2007 |1745 |  10k|  85k|2123 | 0.000000e+00 | 3.000000e+01 |    Inf 
216.20/216.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
216.20/216.28	c   206s| 80000 |  1699 |  1162k|  14.5 |  33M|  71 |   - |2007 |  10k|   0 |   0 |  11k|  99k|2287 | 0.000000e+00 | 3.000000e+01 |    Inf 
242.60/242.64	c   231s| 90000 |  1878 |  1318k|  14.6 |  36M|  71 |   6 |2007 |  12k|2007 |1754 |  12k| 113k|2470 | 0.000000e+00 | 3.000000e+01 |    Inf 
268.50/268.50	c   256s|100000 |  1977 |  1464k|  14.6 |  38M|  71 |  29 |2007 |  11k|2007 |1753 |  13k| 126k|2669 | 0.000000e+00 | 3.000000e+01 |    Inf 
294.50/294.51	c   280s|110000 |  2045 |  1614k|  14.7 |  39M|  71 |   - |2007 |  10k|   0 |   0 |  14k| 139k|2817 | 0.000000e+00 | 3.000000e+01 |    Inf 
319.01/319.03	c   303s|120000 |  2081 |  1750k|  14.6 |  41M|  71 |   - |2007 |  12k|2007 |1749 |  15k| 153k|2992 | 0.000000e+00 | 3.000000e+01 |    Inf 
342.01/342.09	c   325s|130000 |  2147 |  1872k|  14.4 |  42M|  71 |   1 |2007 |  14k|2007 |1758 |  16k| 167k|3105 | 0.000000e+00 | 3.000000e+01 |    Inf 
369.70/369.74	c   352s|140000 |  2278 |  2032k|  14.5 |  44M|  71 |  19 |2007 |  13k|2007 |1745 |  17k| 181k|3284 | 0.000000e+00 | 3.000000e+01 |    Inf 
395.91/395.97	c   377s|150000 |  2545 |  2184k|  14.6 |  46M|  71 |   - |2007 |  13k|   0 |   0 |  18k| 195k|3413 | 0.000000e+00 | 3.000000e+01 |    Inf 
421.60/421.60	c   401s|160000 |  2648 |  2332k|  14.6 |  48M|  71 |  21 |2007 |  13k|2007 |1745 |  19k| 209k|3585 | 0.000000e+00 | 3.000000e+01 |    Inf 
448.20/448.28	c   427s|170000 |  2809 |  2490k|  14.6 |  52M|  71 |   - |2007 |  15k|   0 |   0 |  20k| 223k|3710 | 0.000000e+00 | 3.000000e+01 |    Inf 
473.60/473.67	c   451s|180000 |  2895 |  2631k|  14.6 |  53M|  71 |  19 |2007 |  14k|2007 |1745 |  21k| 238k|3872 | 0.000000e+00 | 3.000000e+01 |    Inf 
498.21/498.21	c   474s|190000 |  2900 |  2763k|  14.5 |  54M|  71 |   - |2007 |  13k|2007 |1745 |  22k| 251k|4001 | 0.000000e+00 | 3.000000e+01 |    Inf 
522.01/522.00	c   497s|200000 |  2980 |  2891k|  14.5 |  56M|  71 |   1 |2007 |  14k|2007 |1745 |  23k| 265k|4113 | 0.000000e+00 | 3.000000e+01 |    Inf 
546.01/546.01	c   519s|210000 |  3027 |  3015k|  14.4 |  57M|  71 |   - |2007 |  13k|   0 |   0 |  24k| 279k|4230 | 0.000000e+00 | 3.000000e+01 |    Inf 
571.81/571.86	c   544s|220000 |  3118 |  3161k|  14.4 |  58M|  71 |   - |2007 |  10k|   0 |   0 |  25k| 292k|4333 | 0.000000e+00 | 3.000000e+01 |    Inf 
597.51/597.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
597.51/597.57	c   568s|230000 |  3211 |  3307k|  14.4 |  60M|  71 |   - |2007 |  11k|   0 |   0 |  27k| 306k|4470 | 0.000000e+00 | 3.000000e+01 |    Inf 
623.41/623.48	c   593s|240000 |  3263 |  3456k|  14.4 |  61M|  71 |   - |2007 |  11k|2007 |1745 |  28k| 320k|4605 | 0.000000e+00 | 3.000000e+01 |    Inf 
648.51/648.59	c   617s|250000 |  3330 |  3598k|  14.4 |  63M|  71 |   - |2007 |  11k|   0 |   0 |  29k| 333k|4718 | 0.000000e+00 | 3.000000e+01 |    Inf 
673.82/673.87	c   641s|260000 |  3474 |  3744k|  14.4 |  66M|  71 |   - |2007 |  14k|   0 |   0 |  30k| 346k|4819 | 0.000000e+00 | 3.000000e+01 |    Inf 
700.12/700.12	c   666s|270000 |  3546 |  3893k|  14.4 |  68M|  71 |   - |2007 |  13k|   0 |   0 |  31k| 360k|4916 | 0.000000e+00 | 3.000000e+01 |    Inf 
726.02/726.08	c   691s|280000 |  3599 |  4038k|  14.4 |  69M|  71 |   - |2007 |  12k|   0 |   0 |  32k| 374k|5038 | 0.000000e+00 | 3.000000e+01 |    Inf 
752.42/752.45	c   716s|290000 |  3757 |  4187k|  14.4 |  71M|  71 |  16 |2007 |  12k|2007 |1753 |  34k| 388k|5161 | 0.000000e+00 | 3.000000e+01 |    Inf 
778.22/778.28	c   740s|300000 |  3874 |  4339k|  14.5 |  73M|  74 |   - |2007 |  11k|   0 |   0 |  35k| 402k|5280 | 0.000000e+00 | 3.000000e+01 |    Inf 
802.31/802.38	c   763s|310000 |  4033 |  4473k|  14.4 |  75M|  74 |  18 |2007 |  11k|2007 |1745 |  36k| 415k|5356 | 0.000000e+00 | 3.000000e+01 |    Inf 
826.92/826.95	c   787s|320000 |  4158 |  4612k|  14.4 |  77M|  74 |   7 |2007 |  11k|2007 |1745 |  37k| 429k|5438 | 0.000000e+00 | 3.000000e+01 |    Inf 
850.42/850.49	c   809s|330000 |  4259 |  4738k|  14.4 |  80M|  74 |   - |2007 |  12k|   0 |   0 |  39k| 443k|5511 | 0.000000e+00 | 3.000000e+01 |    Inf 
877.62/877.61	c   835s|340000 |  4324 |  4898k|  14.4 |  80M|  74 |   - |2007 |9474 |   0 |   0 |  40k| 456k|5587 | 0.000000e+00 | 3.000000e+01 |    Inf 
902.72/902.75	c   859s|350000 |  4458 |  5040k|  14.4 |  83M|  74 |   - |2007 |  10k|   0 |   0 |  41k| 470k|5673 | 0.000000e+00 | 3.000000e+01 |    Inf 
928.12/928.13	c   883s|360000 |  4617 |  5184k|  14.4 |  86M|  74 |   - |2007 |  11k|2007 |1756 |  42k| 483k|5748 | 0.000000e+00 | 3.000000e+01 |    Inf 
954.62/954.66	c   908s|370000 |  4833 |  5335k|  14.4 |  89M|  74 |   - |2007 |  12k|2007 |1745 |  44k| 496k|5833 | 0.000000e+00 | 3.000000e+01 |    Inf 
979.03/979.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
979.03/979.02	c   931s|380000 |  5142 |  5468k|  14.4 |  93M|  74 |  20 |2007 |  13k|2007 |1745 |  45k| 510k|5901 | 0.000000e+00 | 3.000000e+01 |    Inf 
1004.12/1004.15	c   955s|390000 |  5241 |  5609k|  14.4 |  94M|  74 |   1 |2007 |  13k|2007 |1745 |  46k| 524k|5968 | 0.000000e+00 | 3.000000e+01 |    Inf 
1029.03/1029.09	c   979s|400000 |  5389 |  5747k|  14.4 |  96M|  74 |  10 |2007 |  13k|2007 |1745 |  47k| 537k|6036 | 0.000000e+00 | 3.000000e+01 |    Inf 
1052.13/1052.18	c  1001s|410000 |  5472 |  5868k|  14.3 |  98M|  74 |   - |2007 |  13k|   0 |   0 |  49k| 551k|6099 | 0.000000e+00 | 3.000000e+01 |    Inf 
1078.43/1078.41	c  1026s|420000 |  5561 |  6019k|  14.3 |  99M|  74 |  13 |2007 |  13k|2007 |1745 |  50k| 565k|6180 | 0.000000e+00 | 3.000000e+01 |    Inf 
1101.93/1101.99	c  1048s|430000 |  5644 |  6142k|  14.3 | 101M|  74 |  20 |2007 |  13k|2007 |1745 |  51k| 578k|6239 | 0.000000e+00 | 3.000000e+01 |    Inf 
1126.13/1126.15	c  1071s|440000 |  5677 |  6271k|  14.3 | 102M|  74 |   - |2007 |  13k|2007 |1754 |  53k| 592k|6316 | 0.000000e+00 | 3.000000e+01 |    Inf 
1151.52/1151.54	c  1095s|450000 |  5745 |  6413k|  14.3 | 104M|  74 |   - |2007 |  12k|   0 |   0 |  54k| 605k|6399 | 0.000000e+00 | 3.000000e+01 |    Inf 
1176.33/1176.32	c  1119s|460000 |  5880 |  6551k|  14.2 | 106M|  74 |   - |2007 |  13k|   0 |   0 |  55k| 619k|6469 | 0.000000e+00 | 3.000000e+01 |    Inf 
1201.43/1201.40	c  1143s|470000 |  6061 |  6688k|  14.2 | 108M|  74 |   - |2007 |  11k|2007 |1761 |  56k| 633k|6553 | 0.000000e+00 | 3.000000e+01 |    Inf 
1226.33/1226.39	c  1167s|480000 |  6117 |  6829k|  14.2 | 109M|  74 |   - |2007 |  10k|   0 |   0 |  58k| 647k|6636 | 0.000000e+00 | 3.000000e+01 |    Inf 
1251.13/1251.14	c  1190s|490000 |  6195 |  6963k|  14.2 | 111M|  74 |   - |2007 |  11k|   0 |   0 |  60k| 661k|6693 | 0.000000e+00 | 3.000000e+01 |    Inf 
1278.04/1278.04	c  1216s|500000 |  6307 |  7123k|  14.2 | 114M|  74 |   9 |2007 |  12k|2007 |1745 |  61k| 674k|6777 | 0.000000e+00 | 3.000000e+01 |    Inf 
1304.14/1304.10	c  1241s|510000 |  6331 |  7270k|  14.3 | 115M|  74 |  24 |2007 |  12k|2007 |1753 |  62k| 688k|6841 | 0.000000e+00 | 3.000000e+01 |    Inf 
1329.24/1329.29	c  1265s|520000 |  6369 |  7411k|  14.3 | 117M|  74 |  17 |2007 |  12k|2007 |1757 |  64k| 702k|6901 | 0.000000e+00 | 3.000000e+01 |    Inf 
1354.43/1354.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1354.43/1354.46	c  1288s|530000 |  6461 |  7548k|  14.2 | 118M|  74 |  27 |2007 |  11k|2007 |1745 |  65k| 715k|6984 | 0.000000e+00 | 3.000000e+01 |    Inf 
1378.94/1378.97	c  1312s|540000 |  6613 |  7687k|  14.2 | 121M|  74 |   - |2007 |  11k|   0 |   0 |  66k| 729k|7071 | 0.000000e+00 | 3.000000e+01 |    Inf 
1404.24/1404.20	c  1336s|550000 |  6590 |  7829k|  14.2 | 121M|  74 |   - |2007 |  10k|   0 |   0 |  67k| 742k|7143 | 0.000000e+00 | 3.000000e+01 |    Inf 
1427.75/1427.75	c  1358s|560000 |  6752 |  7957k|  14.2 | 125M|  74 |   - |2007 |  12k|   0 |   0 |  69k| 756k|7206 | 0.000000e+00 | 3.000000e+01 |    Inf 
1453.14/1453.19	c  1382s|570000 |  6849 |  8104k|  14.2 | 127M|  74 |  21 |2007 |  11k|2007 |1745 |  70k| 770k|7259 | 0.000000e+00 | 3.000000e+01 |    Inf 
1477.64/1477.69	c  1406s|580000 |  6943 |  8243k|  14.2 | 129M|  74 |  12 |2007 |  11k|2007 |1745 |  71k| 784k|7309 | 0.000000e+00 | 3.000000e+01 |    Inf 
1505.24/1505.27	c  1432s|590000 |  7038 |  8407k|  14.2 | 131M|  74 |   - |2007 |  11k|2007 |1753 |  73k| 796k|7380 | 0.000000e+00 | 3.000000e+01 |    Inf 
1530.94/1530.96	c  1457s|600000 |  7086 |  8556k|  14.3 | 131M|  74 |   - |2007 |  10k|   0 |   0 |  74k| 810k|7437 | 0.000000e+00 | 3.000000e+01 |    Inf 
1555.24/1555.27	c  1480s|610000 |  7150 |  8689k|  14.2 | 133M|  74 |   - |2007 |9381 |   0 |   0 |  75k| 823k|7508 | 0.000000e+00 | 3.000000e+01 |    Inf 
1579.74/1579.70	c  1503s|620000 |  7199 |  8824k|  14.2 | 135M|  74 |   1 |2007 |  11k|2007 |1759 |  76k| 837k|7596 | 0.000000e+00 | 3.000000e+01 |    Inf 
1603.45/1603.44	c  1525s|630000 |  7232 |  8952k|  14.2 | 137M|  74 |   - |2007 |  11k|   0 |   0 |  78k| 850k|7627 | 0.000000e+00 | 3.000000e+01 |    Inf 
1629.64/1629.61	c  1550s|640000 |  7292 |  9103k|  14.2 | 138M|  74 |   9 |2007 |  13k|2007 |1752 |  79k| 863k|7674 | 0.000000e+00 | 3.000000e+01 |    Inf 
1654.75/1654.76	c  1574s|650000 |  7326 |  9241k|  14.2 | 139M|  74 |   - |2007 |  10k|2007 |1745 |  80k| 877k|7742 | 0.000000e+00 | 3.000000e+01 |    Inf 
1679.35/1679.38	c  1598s|660000 |  7416 |  9381k|  14.2 | 141M|  74 |   - |2007 |  10k|   0 |   0 |  81k| 890k|7823 | 0.000000e+00 | 3.000000e+01 |    Inf 
1704.35/1704.39	c  1622s|670000 |  7695 |  9523k|  14.2 | 144M|  77 |   - |2007 |  11k|2007 |1745 |  83k| 903k|7877 | 0.000000e+00 | 3.000000e+01 |    Inf 
1732.05/1732.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1732.05/1732.05	c  1648s|680000 |  7801 |  9685k|  14.2 | 145M|  77 |  16 |2007 |  11k|2007 |1745 |  84k| 917k|7938 | 0.000000e+00 | 3.000000e+01 |    Inf 
1757.75/1757.78	c  1672s|690000 |  7819 |  9834k|  14.3 | 146M|  77 |   - |2007 |  11k|2007 |1762 |  85k| 931k|7975 | 0.000000e+00 | 3.000000e+01 |    Inf 
1783.35/1783.34	c  1697s|700000 |  7832 |  9983k|  14.3 | 148M|  77 |   - |2007 |  11k|   0 |   0 |  87k| 944k|8027 | 0.000000e+00 | 3.000000e+01 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.01	c 
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time (sec) : 1712.63
1800.06/1800.01	c Solving Nodes      : 706175
1800.06/1800.01	c Primal Bound       : +3.00000000000000e+01 (117 solutions)
1800.06/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.01	c Gap                : infinite
1800.06/1800.02	s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/1800.02	v -x1 
1800.06/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.02	c Solving Time       :    1712.63
1800.06/1800.02	c Original Problem   :
1800.06/1800.02	c   Problem name     : HOME/instance-2693535-1277909276.wbo
1800.06/1800.02	c   Variables        : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.06/1800.02	c   Constraints      : 3645 initial, 3645 maximal
1800.06/1800.02	c Presolved Problem  :
1800.06/1800.02	c   Problem name     : t_HOME/instance-2693535-1277909276.wbo
1800.06/1800.02	c   Variables        : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.06/1800.02	c   Constraints      : 3483 initial, 15702 maximal
1800.06/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.02	c   trivial          :       0.00         49          0          0          0          0          0          0          0
1800.06/1800.02	c   dualfix          :       0.00         49          0          0          0          0          0          0          0
1800.06/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.02	c   indicator        :       0.01          0          0          0          0          0         49          0          0
1800.06/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   linear           :       0.04          0          0          0        937          0        113         49          0
1800.06/1800.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.02	c   root node        :          -        624          -          -       1248          -          -          -          -
1800.06/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.02	c   integral         :          0          0          0     390374          0        136       2229          0          0     746090
1800.06/1800.02	c   indicator        :        888          0    3551915      15379          0       1324    7138845          0          0          0
1800.06/1800.02	c   setppc           :         14          6    3566435      14735          0      78009    1976573          0          0          0
1800.06/1800.02	c   linear           :        888          6    3489834      15437          0      83147   13325639      88041          0          0
1800.06/1800.02	c   logicor          :       1693+         6    1620758       2308          0      83222    5749247          0          0          0
1800.06/1800.02	c   bounddisjunction :          0+         0      37912          0          0          0          1          0          0          0
1800.06/1800.02	c   countsols        :          0          0          0       2308          0          0          0          0          0          0
1800.06/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.02	c   integral         :      45.00       0.00       0.00      45.00       0.00
1800.06/1800.02	c   indicator        :      16.46       0.00      16.03       0.43       0.00
1800.06/1800.02	c   setppc           :      10.27       0.00      10.27       0.00       0.00
1800.06/1800.02	c   linear           :      62.38       0.01      61.87       0.50       0.00
1800.06/1800.02	c   logicor          :     117.45       0.00     117.45       0.00       0.00
1800.06/1800.02	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.06/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.02	c   vbounds          :       0.00          2          0          0
1800.06/1800.02	c   rootredcost      :       0.00         15          0        624
1800.06/1800.02	c   pseudoobj        :      77.88    3576921       7952    6604627
1800.06/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.02	c   propagation      :       9.72     252330     251993    1428436       25.8      10501       21.1          -
1800.06/1800.02	c   infeasible LP    :      20.39     109157     109154     883759       42.7       1427       12.3          0
1800.06/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.02	c   pseudo solution  :       0.00         45         45        219       15.2          5       11.8          -
1800.06/1800.02	c   applied globally :          -          -          -     953235       26.2          -          -          -
1800.06/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.02	c   cut pool         :       0.00          5          -          -         13          -    (maximal pool size: 159)
1800.06/1800.02	c   redcost          :      13.36     395255          0     406696          0          0
1800.06/1800.02	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.02	c   gomory           :       0.23          6          0          0       1001          0
1800.06/1800.02	c   strongcg         :       0.21          6          0          0        528          0
1800.06/1800.02	c   cmir             :       0.04          6          0          0          3          0
1800.06/1800.02	c   flowcover        :       0.06          6          0          0          4          0
1800.06/1800.02	c   clique           :       0.00          6          0          0          0          0
1800.06/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.02	c Pricers            :       Time      Calls       Vars
1800.06/1800.02	c   problem variables:       0.00          0          0
1800.06/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.02	c   relpscost        :      44.90     374936        136       2229          0          0     746090
1800.06/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   inference        :       0.20       2294          0          0          0          0       4588
1800.06/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.02	c   LP solutions     :       0.01          -         14
1800.06/1800.02	c   pseudo solutions :       0.00          -          0
1800.06/1800.02	c   oneopt           :       0.09         14          0
1800.06/1800.02	c   feaspump         :       0.01          1          0
1800.06/1800.02	c   crossover        :       0.14          4          0
1800.06/1800.02	c   intshifting      :       0.01         27          0
1800.06/1800.02	c   veclendiving     :       0.36        199          0
1800.06/1800.02	c   linesearchdiving :       0.36        199          0
1800.06/1800.02	c   guideddiving     :       0.49        199          0
1800.06/1800.02	c   pscostdiving     :       0.45        200          0
1800.06/1800.02	c   fracdiving       :       0.50        200          0
1800.06/1800.02	c   coefdiving       :       0.43        200          0
1800.06/1800.02	c   rootsoldiving    :       0.50        127          0
1800.06/1800.02	c   objpscostdiving  :       0.26        128          0
1800.06/1800.02	c   trivial          :       0.00          2          0
1800.06/1800.02	c   simplerounding   :       0.29     377043          0
1800.06/1800.02	c   zirounding       :       0.09       1000          0
1800.06/1800.02	c   rounding         :       1.00       8614          0
1800.06/1800.02	c   shifting         :       0.84       2697          0
1800.06/1800.02	c   twoopt           :       0.00          0          0
1800.06/1800.02	c   fixandinfer      :       0.00          0          0
1800.06/1800.02	c   intdiving        :       0.00          0          0
1800.06/1800.02	c   actconsdiving    :       0.00          0          0
1800.06/1800.02	c   octane           :       0.00          0          0
1800.06/1800.02	c   rens             :       0.04          1          0
1800.06/1800.02	c   rins             :       0.00          0          0
1800.06/1800.02	c   localbranching   :       0.00          0          0
1800.06/1800.02	c   mutation         :       0.00          0          0
1800.06/1800.02	c   dins             :       0.00          0          0
1800.06/1800.02	c   undercover       :       0.00          0          0
1800.06/1800.02	c   nlp              :       0.00          0          0
1800.06/1800.02	c   trysol           :       0.69       2568        103
1800.06/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.02	c   dual LP          :    1090.93     498039   10069235      20.22    9229.96
1800.06/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.02	c   diving/probing LP:       2.08       1435      14012       9.76    6736.54
1800.06/1800.02	c   strong branching :      41.88       8094     395230      48.83    9437.20
1800.06/1800.02	c     (at root node) :          -         33      16787     508.70          -
1800.06/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.02	c B&B Tree           :
1800.06/1800.02	c   number of runs   :          1
1800.06/1800.02	c   nodes            :     706175
1800.06/1800.02	c   nodes (total)    :     706175
1800.06/1800.02	c   nodes left       :       7809
1800.06/1800.02	c   max depth        :         77
1800.06/1800.02	c   max depth (total):         77
1800.06/1800.02	c   backtracks       :      79343 (11.2%)
1800.06/1800.02	c   delayed cutoffs  :      34169
1800.06/1800.02	c   repropagations   :    1383847 (5173480 domain reductions, 31161 cutoffs)
1800.06/1800.02	c   avg switch length:       5.79
1800.06/1800.02	c   switching time   :     134.36
1800.06/1800.02	c Solution           :
1800.06/1800.02	c   Solutions found  :        117 (15 improvements)
1800.06/1800.02	c   First Solution   : +4.45360000000000e+04   (in run 1, after 1 nodes, 0.75 seconds, depth 0, found by <trysol>)
1800.06/1800.02	c   Primal Bound     : +3.00000000000000e+01   (in run 1, after 3095 nodes, 22.63 seconds, depth 16, found by <relaxation>)
1800.06/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.02	c   Gap              :   infinite
1800.06/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.02	c   Root Iterations  :        455
1800.16/1800.14	c Time complete: 1800.2.

Verifier Data 

OK	30

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693535-1277909276/watcher-2693535-1277909276 -o /tmp/evaluation-result-2693535-1277909276/solver-2693535-1277909276 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693535-1277909276.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.03 2.03 2.12 4/182 13349
/proc/meminfo: memFree=31282620/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=11000 CPUtime=0
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 1683 0 0 0 0 0 0 0 23 0 1 0 132223268 11264000 1604 4089446400 4194304 9819077 140735630875952 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13349/statm: 2750 1604 392 1374 0 1371 0

[startup+0.034716 s]
/proc/loadavg: 2.03 2.03 2.12 4/182 13349
/proc/meminfo: memFree=31282620/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=20336 CPUtime=0.02
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 4409 0 0 0 2 0 0 0 23 0 1 0 132223268 20824064 3976 4089446400 4194304 9819077 140735630875952 18446744073709551615 5956512 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 5084 3984 435 1374 0 3705 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20336

[startup+0.100702 s]
/proc/loadavg: 2.03 2.03 2.12 4/182 13349
/proc/meminfo: memFree=31282620/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=24780 CPUtime=0.09
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 7401 0 0 0 7 2 0 0 23 0 1 0 132223268 25374720 4912 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 6195 4912 504 1374 0 4816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24780

[startup+0.300679 s]
/proc/loadavg: 2.03 2.03 2.12 4/182 13349
/proc/meminfo: memFree=31282620/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=34544 CPUtime=0.29
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 10393 0 0 0 25 4 0 0 18 0 1 0 132223268 35373056 6987 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 8636 6987 679 1374 0 7257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34544

[startup+0.700593 s]
/proc/loadavg: 2.03 2.03 2.12 4/182 13349
/proc/meminfo: memFree=31282620/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=35808 CPUtime=0.69
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 10936 0 0 0 64 5 0 0 18 0 1 0 132223268 36667392 7254 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 8952 7254 680 1374 0 7573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35808

[startup+1.50047 s]
/proc/loadavg: 2.03 2.03 2.12 3/183 13350
/proc/meminfo: memFree=31255580/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=38564 CPUtime=1.49
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 31496 0 0 0 141 8 0 0 19 0 1 0 132223268 39489536 7470 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 9641 7470 734 1374 0 8262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38564

[startup+3.10115 s]
/proc/loadavg: 2.03 2.03 2.12 3/183 13350
/proc/meminfo: memFree=31255744/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=38448 CPUtime=3.09
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 41571 0 0 0 299 10 0 0 24 0 1 0 132223268 39370752 7485 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 9612 7485 734 1374 0 8233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38448

[startup+6.30055 s]
/proc/loadavg: 2.02 2.03 2.12 3/183 13350
/proc/meminfo: memFree=31256020/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=38584 CPUtime=6.29
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 61943 0 0 0 614 15 0 0 25 0 1 0 132223268 39510016 7464 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 9646 7464 734 1374 0 8267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38584

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.12 3/183 13350
/proc/meminfo: memFree=31255656/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=38680 CPUtime=12.69
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 121139 0 0 0 1239 30 0 0 25 0 1 0 132223268 39608320 7513 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 9670 7513 735 1374 0 8291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38680

[startup+25.501 s]
/proc/loadavg: 2.02 2.02 2.11 3/183 13350
/proc/meminfo: memFree=31244428/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=50840 CPUtime=25.49
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 255315 0 0 0 2472 77 0 0 25 0 1 0 132223268 52060160 10447 4089446400 4194304 9819077 140735630875952 18446744073709551615 6713590 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 12710 10447 741 1374 0 11331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50840

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.11 3/183 13351
/proc/meminfo: memFree=31235556/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=57216 CPUtime=51.09
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 561817 0 0 0 4897 212 0 0 25 0 1 0 132223268 58589184 12599 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 14304 12599 742 1374 0 12925 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57216

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.10 3/183 13352
/proc/meminfo: memFree=31225364/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=65788 CPUtime=102.3
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 1162109 0 0 0 9746 484 0 0 25 0 1 0 132223268 67366912 14704 4089446400 4194304 9819077 140735630875952 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 16447 14704 742 1374 0 15068 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65788

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.09 3/183 13354
/proc/meminfo: memFree=31215292/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=75220 CPUtime=162.3
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 1796893 0 0 0 15454 776 0 0 25 0 1 0 132223268 77025280 17040 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 18805 17040 742 1374 0 17426 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 75220

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 13356
/proc/meminfo: memFree=31208432/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=81156 CPUtime=222.3
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 2416789 0 0 0 21158 1072 0 0 25 0 1 0 132223268 83103744 18503 4089446400 4194304 9819077 140735630875952 18446744073709551615 7301978 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 20289 18503 742 1374 0 18910 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 81156

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.08 3/183 13357
/proc/meminfo: memFree=31200348/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=87828 CPUtime=282.3
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 3033300 0 0 0 26870 1360 0 0 25 0 1 0 132223268 89935872 20152 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 21957 20152 742 1374 0 20578 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 87828

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.08 4/183 13387
/proc/meminfo: memFree=31317752/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=93076 CPUtime=342.31
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 3649097 0 0 0 32554 1677 0 0 25 0 1 0 132223268 95309824 21396 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 23269 21396 742 1374 0 21890 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 93076

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.08 4/183 13388
/proc/meminfo: memFree=31254500/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=99812 CPUtime=402.3
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 4229386 0 0 0 38275 1955 0 0 25 0 1 0 132223268 102207488 22888 4089446400 4194304 9819077 140735630875952 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 24953 22888 742 1374 0 23574 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 99812

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.07 4/183 13390
/proc/meminfo: memFree=31212676/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=105264 CPUtime=462.31
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 4826431 0 0 0 43989 2242 0 0 25 0 1 0 132223268 107790336 24175 4089446400 4194304 9819077 140735630875952 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 26316 24175 742 1374 0 24937 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 105264

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.06 4/183 13392
/proc/meminfo: memFree=31182132/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=110512 CPUtime=522.31
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 5424524 0 0 0 49694 2537 0 0 25 0 1 0 132223268 113164288 25283 4089446400 4194304 9819077 140735630875952 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 27628 25283 742 1374 0 26249 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 110512

[startup+582.301 s]
/proc/loadavg: 2.04 2.02 2.06 4/183 13394
/proc/meminfo: memFree=31166588/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=116096 CPUtime=582.31
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 6039087 0 0 0 55397 2834 0 0 25 0 1 0 132223268 118882304 26632 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 29024 26632 742 1374 0 27645 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 116096

[startup+642.301 s]
/proc/loadavg: 2.14 2.06 2.07 4/183 13395
/proc/meminfo: memFree=31147324/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=121448 CPUtime=642.32
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 6645940 0 0 0 61105 3127 0 0 25 0 1 0 132223268 124362752 27751 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 30362 27751 742 1374 0 28983 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 121448

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.04 2.06 4/183 13411
/proc/meminfo: memFree=31090476/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=145184 CPUtime=882.32
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 9092615 0 0 0 83938 4294 0 0 25 0 1 0 132223268 148668416 32970 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 36296 32970 742 1374 0 34917 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 145184

[startup+942.3 s]
/proc/loadavg: 2.04 2.04 2.06 4/183 13412
/proc/meminfo: memFree=31079532/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=156020 CPUtime=942.33
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 9689697 0 0 0 89646 4587 0 0 25 0 1 0 132223268 159764480 35049 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 39005 35049 742 1374 0 37626 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 156020

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/183 13413
/proc/meminfo: memFree=31070560/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=162524 CPUtime=1002.32
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 10265547 0 0 0 95351 4881 0 0 25 0 1 0 132223268 166424576 36715 4089446400 4194304 9819077 140735630875952 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 40631 36715 742 1374 0 39252 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 162524

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/183 13415
/proc/meminfo: memFree=31065192/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=168020 CPUtime=1062.32
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 10874675 0 0 0 101045 5187 0 0 25 0 1 0 132223268 172052480 37921 4089446400 4194304 9819077 140735630875952 18446744073709551615 6162091 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 42005 37921 742 1374 0 40626 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 168020

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.04 4/183 13417
/proc/meminfo: memFree=31062180/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=170020 CPUtime=1122.33
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 11464190 0 0 0 106751 5482 0 0 25 0 1 0 132223268 174100480 38597 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 42505 38597 742 1374 0 41126 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 170020

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/183 13418
/proc/meminfo: memFree=31055332/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=176544 CPUtime=1182.33
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 12044947 0 0 0 112458 5775 0 0 25 0 1 0 132223268 180781056 39896 4089446400 4194304 9819077 140735630875952 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 44136 39896 742 1374 0 42757 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 176544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.03 4/183 13420
/proc/meminfo: memFree=31046364/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=188152 CPUtime=1242.33
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 12627772 0 0 0 118167 6066 0 0 25 0 1 0 132223268 192667648 41652 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 47038 41652 742 1374 0 45659 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 188152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/183 13421
/proc/meminfo: memFree=31038156/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=195280 CPUtime=1302.34
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 13205874 0 0 0 123888 6346 0 0 25 0 1 0 132223268 199966720 43345 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 48820 43345 742 1374 0 47441 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 195280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 4/183 13423
/proc/meminfo: memFree=31031292/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=202704 CPUtime=1362.33
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 13795896 0 0 0 129596 6637 0 0 25 0 1 0 132223268 207568896 44876 4089446400 4194304 9819077 140735630875952 18446744073709551615 8648208 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 50575 44874 742 1374 0 49196 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 202704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.01 4/183 13425
/proc/meminfo: memFree=31027044/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=207176 CPUtime=1422.34
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 14384373 0 0 0 135302 6932 0 0 25 0 1 0 132223268 212148224 45826 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 51794 45826 742 1374 0 50415 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 207176

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.01 4/183 13427
/proc/meminfo: memFree=31020316/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=213156 CPUtime=1482.34
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 14905771 0 0 0 141020 7214 0 0 25 0 1 0 132223268 218271744 47388 4089446400 4194304 9819077 140735630875952 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 53289 47388 742 1374 0 51910 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 213156

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.01 4/183 13428
/proc/meminfo: memFree=31013456/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=218120 CPUtime=1542.35
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 15427214 0 0 0 146741 7494 0 0 25 0 1 0 132223268 223354880 48119 4089446400 4194304 9819077 140735630875952 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 54530 48119 742 1374 0 53151 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 218120

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 13429
/proc/meminfo: memFree=31009200/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=221980 CPUtime=1602.34
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 15969402 0 0 0 152439 7795 0 0 25 0 1 0 132223268 227307520 49016 4089446400 4194304 9819077 140735630875952 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 55495 49016 742 1374 0 54116 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 221980

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 13431
/proc/meminfo: memFree=31004336/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=226844 CPUtime=1662.34
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 16523795 0 0 0 158147 8087 0 0 25 0 1 0 132223268 232288256 50263 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 56711 50263 742 1374 0 55332 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 226844

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 13433
/proc/meminfo: memFree=31001208/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=230632 CPUtime=1722.35
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 17076826 0 0 0 163864 8371 0 0 25 0 1 0 132223268 236167168 50936 4089446400 4194304 9819077 140735630875952 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 57658 50936 742 1374 0 56279 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 230632

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 13435
/proc/meminfo: memFree=30997068/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=234028 CPUtime=1782.35
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 17663096 0 0 0 169576 8659 0 0 25 0 1 0 132223268 239644672 51864 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 58507 51864 742 1374 0 57128 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 234028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13435
/proc/meminfo: memFree=30996312/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=234976 CPUtime=1800.06
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 17837369 0 0 0 171265 8741 0 0 25 0 1 0 132223268 240615424 52066 4089446400 4194304 9819077 140735630875952 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13349/statm: 58744 52066 742 1374 0 57365 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 234976

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/183 13435
/proc/meminfo: memFree=30996312/32951124 swapFree=67111528/67111528
[pid=13349] ppid=13347 vsize=234972 CPUtime=1800.16
/proc/13349/stat : 13349 (pbscip.linux.x8) R 13347 13349 12584 0 -1 4202496 17837402 0 0 0 171275 8741 0 0 18 0 1 0 132223268 240611328 52068 4089446400 4194304 9819077 140735630875952 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13349/statm: 58743 52068 743 1374 0 57364 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 234972

Child status: 0
Real time (s): 1800.14
CPU time (s): 1800.2
CPU user time (s): 1712.78
CPU system time (s): 87.4227
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 236372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.78
system time used= 87.4227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17837406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1328

runsolver used 3.20651 second user time and 6.62199 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 16:47:56
IDJOB=2693535
IDBENCH=78966
IDSOLVER=1205
FILE ID=node135/2693535-1277909276
PBS_JOBID= 11197225
Free space on /tmp= 74132 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.1900558106--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-2693535-1277909276/watcher-2693535-1277909276 -o /tmp/evaluation-result-2693535-1277909276/solver-2693535-1277909276 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693535-1277909276.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014
RANDOM SEED=1739422978

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.857
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.857
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.857
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:      31282776 kB
Buffers:        191048 kB
Cached:        1110872 kB
SwapCached:          0 kB
Active:         702284 kB
Inactive:       821024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31282776 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6256 kB
Writeback:           0 kB
AnonPages:      222520 kB
Mapped:          17640 kB
Slab:            81072 kB
PageTables:       5260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   368008 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= 74128 MiB
End job on node135 at 2010-06-30 17:17:59