Trace number 2692919

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692919-1277910532.wbo>
0.00/0.02	c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 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, 1142 impls, 14 clqs
0.05/0.07	c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.05/0.08	c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.05/0.09	c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10	c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11	c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12	c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.17	c    (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (8 rounds):
0.09/0.17	c  162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.17	c  1142 implications, 14 cliques
0.09/0.17	c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.17	c     849 constraints of type <indicator>
0.09/0.17	c       1 constraints of type <knapsack>
0.09/0.17	c      14 constraints of type <setppc>
0.09/0.17	c     849 constraints of type <linear>
0.09/0.17	c    1652 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.11
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    30 |     - |8814k|   0 |  16 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.18/0.23	o 42682
0.18/0.23	c y 0.2s|     1 |     0 |   477 |     - |8852k|   0 |  16 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.18/0.26	c   0.2s|     1 |     0 |   524 |     - |8870k|   0 |  34 |1929 |3365 |1929 |1683 |  16 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   594 |     - |9252k|   0 |  37 |1929 |3365 |1929 |1692 |  25 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.38/0.45	c   0.4s|     1 |     0 |   634 |     - |9271k|   0 |  41 |1929 |3365 |1929 |1703 |  36 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |   695 |     - |9277k|   0 |  38 |1929 |3365 |1929 |1708 |  41 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.59/0.66	c   0.6s|     1 |     0 |   710 |     - |9281k|   0 |  38 |1929 |3365 |1929 |1709 |  42 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
1.49/1.58	c   1.5s|     1 |     2 |   710 |     - |9314k|   0 |  38 |1929 |3365 |1929 |1709 |  42 |   0 |  33 | 0.000000e+00 | 4.268200e+04 |    Inf 
5.07/5.17	o 709
5.07/5.17	c * 5.0s|    57 |    55 |  1602 |  15.9 |9682k|  21 |   - |1929 |3365 |1929 |1709 |  58 |   0 | 362 | 0.000000e+00 | 7.090000e+02 |    Inf 
8.17/8.28	o 534
8.17/8.28	c * 8.0s|   248 |   136 |  3704 |  12.1 |  11M|  23 |   - |1929 |3465 |1929 |1709 | 133 | 100 | 883 | 0.000000e+00 | 5.340000e+02 |    Inf 
8.27/8.38	o 416
8.27/8.38	c R 8.1s|   250 |    97 |  3774 |  12.3 |  11M|  23 |   - |1929 |3465 |1929 |1705 | 134 | 100 | 905 | 0.000000e+00 | 4.160000e+02 |    Inf 
8.47/8.54	o 392
8.47/8.54	c * 8.2s|   269 |    98 |  3918 |  12.0 |  11M|  23 |   - |1929 |3482 |1929 |1704 | 134 | 117 | 938 | 0.000000e+00 | 3.920000e+02 |    Inf 
9.07/9.12	o 357
9.07/9.12	c * 8.8s|   280 |    94 |  4538 |  13.7 |  11M|  23 |   - |1929 |3485 |1929 |1704 | 134 | 120 |1025 | 0.000000e+00 | 3.570000e+02 |    Inf 
9.36/9.44	o 308
9.36/9.44	c * 9.1s|   301 |    96 |  4800 |  13.6 |  11M|  23 |   - |1929 |3497 |1929 |1705 | 140 | 132 |1084 | 0.000000e+00 | 3.080000e+02 |    Inf 
10.77/10.81	o 298
10.77/10.81	c *10.4s|   447 |   140 |  6944 |  14.0 |  12M|  27 |   - |1929 |3668 |1929 |1705 | 181 | 305 |1275 | 0.000000e+00 | 2.980000e+02 |    Inf 
11.27/11.30	o 294
11.27/11.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.27/11.30	c *10.8s|   576 |   166 |  7657 |  12.1 |  13M|  35 |   - |1929 |3789 |1929 |1710 | 218 | 438 |1349 | 0.000000e+00 | 2.940000e+02 |    Inf 
11.27/11.30	o 290
11.27/11.30	c *10.8s|   577 |   165 |  7657 |  12.1 |  13M|  35 |   - |1929 |3789 |1929 |1710 | 218 | 438 |1349 | 0.000000e+00 | 2.900000e+02 |    Inf 
11.87/11.96	o 222
11.87/11.96	c *11.5s|   788 |   190 |  8969 |  10.5 |  13M|  36 |   - |1929 |3991 |1929 |1708 | 280 | 655 |1420 | 0.000000e+00 | 2.220000e+02 |    Inf 
12.37/12.40	o 173
12.37/12.40	c *11.9s|   918 |   177 |  9619 |   9.7 |  14M|  36 |   - |1929 |4127 |1929 |1707 | 298 | 824 |1471 | 0.000000e+00 | 1.730000e+02 |    Inf 
13.37/13.41	o 144
13.37/13.41	c *12.8s|  1204 |   172 | 11455 |   8.9 |  14M|  36 |   - |1929 |4353 |1929 |1708 | 360 |1148 |1586 | 0.000000e+00 | 1.440000e+02 |    Inf 
13.37/13.47	o 127
13.37/13.47	c *12.9s|  1219 |   161 | 11605 |   8.9 |  13M|  36 |   - |1929 |4367 |1929 |1704 | 360 |1164 |1588 | 0.000000e+00 | 1.270000e+02 |    Inf 
16.37/16.41	o 121
16.37/16.41	c *15.7s|  2348 |   240 | 20125 |   8.3 |  15M|  50 |   - |1929 |5023 |1929 |1704 | 533 |2411 |1704 | 0.000000e+00 | 1.210000e+02 |    Inf 
16.67/16.72	o 117
16.67/16.72	c *16.0s|  2452 |   251 | 21357 |   8.4 |  15M|  50 |   - |1929 |5005 |1929 |1704 | 552 |2514 |1711 | 0.000000e+00 | 1.170000e+02 |    Inf 
20.27/20.30	o 114
20.27/20.30	c *19.4s|  4186 |   353 | 32392 |   7.6 |  16M|  50 |   - |1929 |5159 |1929 |1704 | 686 |4160 |1785 | 0.000000e+00 | 1.140000e+02 |    Inf 
20.57/20.65	o 88
20.57/20.65	c *19.7s|  4334 |   352 | 33294 |   7.5 |  16M|  50 |   - |1929 |5240 |1929 |1706 | 688 |4322 |1799 | 0.000000e+00 | 8.800000e+01 |    Inf 
20.57/20.68	o 68
20.57/20.68	c R19.7s|  4340 |   313 | 33366 |   7.5 |  15M|  50 |   - |1929 |5113 |1929 |1706 | 690 |4324 |1799 | 0.000000e+00 | 6.800000e+01 |    Inf 
23.37/23.40	o 60
23.37/23.40	c *22.3s|  5297 |   364 | 43577 |   8.1 |  16M|  50 |   - |1929 |4826 |1929 |1705 | 798 |5343 |1870 | 0.000000e+00 | 6.000000e+01 |    Inf 
24.27/24.35	o 46
24.27/24.35	c *23.2s|  5679 |   329 | 46995 |   8.2 |  16M|  50 |   - |1929 |4637 |1929 |1707 | 830 |5826 |1877 | 0.000000e+00 | 4.600000e+01 |    Inf 
24.77/24.83	o 41
24.77/24.83	c *23.7s|  5858 |   334 | 49092 |   8.3 |  15M|  50 |   - |1929 |4419 |1929 |1706 | 850 |6012 |1880 | 0.000000e+00 | 4.100000e+01 |    Inf 
24.77/24.83	o 38
24.77/24.83	c *23.7s|  5859 |   321 | 49092 |   8.3 |  15M|  50 |   - |1929 |4419 |1929 |1706 | 850 |6012 |1880 | 0.000000e+00 | 3.800000e+01 |    Inf 
25.28/25.37	o 23
25.28/25.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.28/25.37	c *24.2s|  6074 |   284 | 51302 |   8.3 |  15M|  50 |   - |1929 |4285 |1929 |1704 | 880 |6259 |1885 | 0.000000e+00 | 2.300000e+01 |    Inf 
25.28/25.39	o 19
25.28/25.39	c *24.2s|  6080 |   280 | 51359 |   8.3 |  15M|  50 |   - |1929 |4126 |1929 |1704 | 880 |6267 |1885 | 0.000000e+00 | 1.900000e+01 |    Inf 
27.27/27.32	o 13
27.27/27.32	c *26.1s|  6911 |   219 | 59909 |   8.6 |  15M|  50 |   - |1929 |4398 |1929 |1704 | 999 |7287 |1897 | 0.000000e+00 | 1.300000e+01 |    Inf 
32.07/32.10	o 9
32.07/32.10	c *30.6s|  8778 |   208 | 79536 |   9.0 |  15M|  50 |   - |1929 |5792 |1929 |1704 |1116 |9631 |1985 | 0.000000e+00 | 9.000000e+00 |    Inf 
35.37/35.42	c  33.8s| 10000 |   211 | 95287 |   9.5 |  16M|  50 |   9 |1929 |6900 |1929 |1704 |1235 |  11k|1988 | 0.000000e+00 | 9.000000e+00 |    Inf 
61.07/61.11	c  58.2s| 20000 |   287 |208861 |  10.4 |  19M|  50 |  26 |1929 |  11k|1929 |1704 |2182 |  24k|2000 | 0.000000e+00 | 9.000000e+00 |    Inf 
64.27/64.39	o 6
64.27/64.39	c *61.4s| 21226 |   261 |223206 |  10.5 |  18M|  50 |   - |1929 |  10k|1929 |1704 |2340 |  25k|2000 | 0.000000e+00 | 6.000000e+00 |    Inf 
86.27/86.35	c  82.4s| 30000 |   327 |310561 |  10.3 |  20M|  50 |   - |1929 |  12k|1929 |1709 |2864 |  37k|2048 | 0.000000e+00 | 6.000000e+00 |    Inf 
110.98/111.09	c   106s| 40000 |   397 |397453 |   9.9 |  22M|  50 |  12 |1929 |  17k|1929 |1704 |3570 |  50k|2320 | 0.000000e+00 | 6.000000e+00 |    Inf 
136.67/136.71	c   131s| 50000 |   427 |485959 |   9.7 |  21M|  50 |   - |1929 |  13k|1929 |1704 |4416 |  63k|2620 | 0.000000e+00 | 6.000000e+00 |    Inf 
164.27/164.35	c   157s| 60000 |   452 |591863 |   9.9 |  23M|  50 |   - |1929 |  15k|   0 |   0 |4996 |  76k|2978 | 0.000000e+00 | 6.000000e+00 |    Inf 
190.67/190.73	c   182s| 70000 |   482 |686711 |   9.8 |  24M|  50 |   - |1929 |  17k|   0 |   0 |5732 |  90k|3241 | 0.000000e+00 | 6.000000e+00 |    Inf 
215.07/215.19	c   206s| 80000 |   487 |772869 |   9.7 |  25M|  51 |  16 |1929 |  18k|1929 |1704 |6362 | 103k|3449 | 0.000000e+00 | 6.000000e+00 |    Inf 
240.97/241.03	c   231s| 90000 |   428 |871407 |   9.7 |  25M|  51 |   - |1929 |  20k|   0 |   0 |7209 | 117k|3773 | 0.000000e+00 | 6.000000e+00 |    Inf 
266.26/266.34	c   256s|100000 |   686 |962597 |   9.6 |  28M|  53 |   - |1929 |  25k|1929 |1704 |7957 | 130k|3953 | 0.000000e+00 | 6.000000e+00 |    Inf 
293.06/293.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
293.06/293.11	c   283s|110000 |   689 |  1051k|   9.6 |  29M|  59 |   - |1929 |  24k|   0 |   0 |8586 | 144k|4186 | 0.000000e+00 | 6.000000e+00 |    Inf 
320.07/320.18	c   309s|120000 |   679 |  1143k|   9.5 |  30M|  59 |   - |1929 |  26k|1929 |1704 |9049 | 157k|4310 | 0.000000e+00 | 6.000000e+00 |    Inf 
326.46/326.51	o 2
326.46/326.51	c * 316s|122304 |   646 |  1164k|   9.5 |  30M|  59 |   - |1929 |  28k|1929 |1704 |9206 | 160k|4398 | 0.000000e+00 | 2.000000e+00 |    Inf 
348.06/348.17	c   337s|130000 |   617 |  1244k|   9.6 |  29M|  59 |  15 |1929 |  26k|1929 |1704 |9804 | 171k|4535 | 0.000000e+00 | 2.000000e+00 |    Inf 
378.16/378.26	c   367s|140000 |   651 |  1363k|   9.7 |  31M|  59 |  28 |1929 |  28k|1929 |1704 |  10k| 185k|4749 | 0.000000e+00 | 2.000000e+00 |    Inf 
406.46/406.52	c   394s|150000 |   817 |  1470k|   9.8 |  33M|  64 |  15 |1929 |  32k|1929 |1704 |  11k| 198k|4879 | 0.000000e+00 | 2.000000e+00 |    Inf 
435.57/435.68	c   423s|160000 |   748 |  1572k|   9.8 |  34M|  64 |  25 |1929 |  33k|1929 |1704 |  11k| 212k|5100 | 0.000000e+00 | 2.000000e+00 |    Inf 
464.97/465.01	c   452s|170000 |   688 |  1672k|   9.8 |  33M|  64 |   - |1929 |  30k|   0 |   0 |  12k| 226k|5198 | 0.000000e+00 | 2.000000e+00 |    Inf 
494.97/495.02	c   482s|180000 |   486 |  1771k|   9.8 |  30M|  64 |  18 |1929 |  28k|1929 |1704 |  12k| 240k|5385 | 0.000000e+00 | 2.000000e+00 |    Inf 
522.47/522.51	c   509s|190000 |   362 |  1869k|   9.8 |  26M|  64 |  28 |1929 |  18k|1929 |1704 |  13k| 253k|5679 | 0.000000e+00 | 2.000000e+00 |    Inf 
548.77/548.88	c   535s|200000 |   379 |  1979k|   9.9 |  26M|  64 |   - |1929 |  20k|   0 |   0 |  14k| 266k|5773 | 0.000000e+00 | 2.000000e+00 |    Inf 
576.76/576.83	c   563s|210000 |   342 |  2086k|   9.9 |  26M|  64 |   - |1929 |  19k|   0 |   0 |  15k| 280k|6088 | 0.000000e+00 | 2.000000e+00 |    Inf 
602.96/603.02	c   588s|220000 |   347 |  2188k|   9.9 |  29M|  64 |   - |1929 |  26k|1929 |1704 |  15k| 293k|6198 | 0.000000e+00 | 2.000000e+00 |    Inf 
631.86/631.99	c   617s|230000 |   171 |  2294k|  10.0 |  23M|  64 |  20 |1929 |  13k|1929 |1704 |  16k| 306k|6506 | 0.000000e+00 | 2.000000e+00 |    Inf 
655.96/656.00	c   640s|240000 |   167 |  2397k|  10.0 |  23M|  64 |   - |1929 |  15k|1929 |1704 |  17k| 319k|6569 | 0.000000e+00 | 2.000000e+00 |    Inf 
678.26/678.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
678.26/678.37	c   661s|250000 |   140 |  2484k|   9.9 |  25M|  64 |   - |1929 |  19k|   0 |   0 |  17k| 331k|6689 | 0.000000e+00 | 2.000000e+00 |    Inf 
704.86/704.92	c   687s|260000 |   119 |  2596k|  10.0 |  24M|  64 |   - |1929 |  19k|1929 |1704 |  18k| 344k|6841 | 0.000000e+00 | 2.000000e+00 |    Inf 
731.67/731.71	c   712s|270000 |   126 |  2707k|  10.0 |  26M|  64 |  20 |1929 |  25k|1929 |1704 |  19k| 357k|6995 | 0.000000e+00 | 2.000000e+00 |    Inf 
760.07/760.18	c   739s|280000 |   137 |  2823k|  10.1 |  27M|  64 |  25 |1929 |  26k|1929 |1704 |  19k| 370k|7151 | 0.000000e+00 | 2.000000e+00 |    Inf 
786.87/786.94	c   765s|290000 |   210 |  2924k|  10.1 |  30M|  64 |  33 |1929 |  33k|1929 |1704 |  20k| 384k|7266 | 0.000000e+00 | 2.000000e+00 |    Inf 
814.67/814.71	c   792s|300000 |   171 |  3024k|  10.1 |  28M|  64 |  25 |1929 |  26k|1929 |1704 |  21k| 398k|7371 | 0.000000e+00 | 2.000000e+00 |    Inf 
843.96/844.09	c   820s|310000 |   204 |  3139k|  10.1 |  30M|  64 |   - |1929 |  32k|   0 |   0 |  21k| 411k|7511 | 0.000000e+00 | 2.000000e+00 |    Inf 
872.96/873.05	c   848s|320000 |   141 |  3249k|  10.2 |  30M|  64 |   - |1929 |  31k|   0 |   0 |  22k| 424k|7638 | 0.000000e+00 | 2.000000e+00 |    Inf 
900.16/900.21	c   874s|330000 |   275 |  3351k|  10.2 |  32M|  64 |  23 |1929 |  33k|1929 |1704 |  23k| 438k|7741 | 0.000000e+00 | 2.000000e+00 |    Inf 
928.86/928.90	c   901s|340000 |   346 |  3458k|  10.2 |  33M|  64 |  15 |1929 |  37k|1929 |1704 |  24k| 451k|7855 | 0.000000e+00 | 2.000000e+00 |    Inf 
957.65/957.75	c   929s|350000 |   294 |  3557k|  10.2 |  34M|  64 |   - |1929 |  39k|   0 |   0 |  24k| 465k|7950 | 0.000000e+00 | 2.000000e+00 |    Inf 
987.26/987.34	c   957s|360000 |   492 |  3662k|  10.2 |  36M|  64 |  11 |1929 |  41k|1929 |1704 |  25k| 478k|8050 | 0.000000e+00 | 2.000000e+00 |    Inf 
1017.36/1017.41	c   986s|370000 |   423 |  3766k|  10.2 |  35M|  64 |  15 |1929 |  39k|1929 |1704 |  26k| 492k|8142 | 0.000000e+00 | 2.000000e+00 |    Inf 
1046.36/1046.42	c  1014s|380000 |   439 |  3859k|  10.2 |  36M|  64 |   - |1929 |  41k|   0 |   0 |  26k| 505k|8225 | 0.000000e+00 | 2.000000e+00 |    Inf 
1076.36/1076.41	c  1043s|390000 |   464 |  3958k|  10.1 |  37M|  64 |   8 |1929 |  42k|1929 |1704 |  27k| 519k|8376 | 0.000000e+00 | 2.000000e+00 |    Inf 
1106.66/1106.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1106.66/1106.76	c  1072s|400000 |   497 |  4064k|  10.2 |  36M|  64 |  12 |1929 |  39k|1929 |1704 |  28k| 533k|8518 | 0.000000e+00 | 2.000000e+00 |    Inf 
1136.26/1136.31	c  1100s|410000 |   653 |  4167k|  10.2 |  39M|  64 |   - |1929 |  42k|   0 |   0 |  28k| 547k|8600 | 0.000000e+00 | 2.000000e+00 |    Inf 
1165.36/1165.49	c  1128s|420000 |   645 |  4273k|  10.2 |  39M|  67 |   - |1929 |  43k|   0 |   0 |  29k| 561k|8681 | 0.000000e+00 | 2.000000e+00 |    Inf 
1195.06/1195.11	c  1157s|430000 |   542 |  4375k|  10.2 |  33M|  67 |  19 |1929 |  27k|1929 |1704 |  29k| 575k|8820 | 0.000000e+00 | 2.000000e+00 |    Inf 
1223.85/1223.99	c  1184s|440000 |   426 |  4484k|  10.2 |  32M|  67 |  20 |1929 |  26k|1929 |1704 |  30k| 588k|9090 | 0.000000e+00 | 2.000000e+00 |    Inf 
1250.75/1250.86	c  1210s|450000 |   504 |  4584k|  10.2 |  34M|  67 |   - |1929 |  32k|   0 |   0 |  30k| 600k|9156 | 0.000000e+00 | 2.000000e+00 |    Inf 
1277.45/1277.59	c  1236s|460000 |   568 |  4683k|  10.2 |  36M|  67 |  26 |1929 |  35k|1929 |1704 |  31k| 614k|9217 | 0.000000e+00 | 2.000000e+00 |    Inf 
1308.85/1308.95	c  1266s|470000 |   595 |  4803k|  10.2 |  34M|  67 |   - |1929 |  31k|1929 |1704 |  32k| 626k|9315 | 0.000000e+00 | 2.000000e+00 |    Inf 
1340.04/1340.19	c  1296s|480000 |   623 |  4913k|  10.2 |  35M|  67 |  19 |1929 |  32k|1929 |1704 |  32k| 639k|9403 | 0.000000e+00 | 2.000000e+00 |    Inf 
1369.95/1370.07	c  1324s|490000 |   756 |  5024k|  10.3 |  36M|  67 |   - |1929 |  33k|   0 |   0 |  32k| 652k|9512 | 0.000000e+00 | 2.000000e+00 |    Inf 
1399.44/1399.56	c  1353s|500000 |   784 |  5131k|  10.3 |  38M|  67 |   - |1929 |  36k|   0 |   0 |  32k| 666k|9617 | 0.000000e+00 | 2.000000e+00 |    Inf 
1428.44/1428.52	c  1381s|510000 |   774 |  5233k|  10.3 |  39M|  67 |  30 |1929 |  37k|1929 |1704 |  33k| 680k|9714 | 0.000000e+00 | 2.000000e+00 |    Inf 
1458.14/1458.29	c  1409s|520000 |   732 |  5337k|  10.3 |  36M|  67 |   - |1929 |  31k|   0 |   0 |  33k| 693k|9773 | 0.000000e+00 | 2.000000e+00 |    Inf 
1486.12/1486.29	c  1437s|530000 |   803 |  5437k|  10.3 |  39M|  67 |   - |1929 |  37k|   0 |   0 |  34k| 706k|9840 | 0.000000e+00 | 2.000000e+00 |    Inf 
1515.71/1515.88	c  1466s|540000 |   880 |  5539k|  10.3 |  39M|  67 |   - |1929 |  37k|1929 |1704 |  34k| 720k|9957 | 0.000000e+00 | 2.000000e+00 |    Inf 
1545.51/1545.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1545.51/1545.60	c  1495s|550000 |   929 |  5640k|  10.3 |  40M|  67 |  24 |1929 |  39k|1929 |1704 |  34k| 733k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1578.10/1578.26	c  1527s|560000 |   815 |  5739k|  10.2 |  39M|  67 |  34 |1929 |  36k|1929 |1704 |  35k| 747k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1611.60/1611.78	c  1560s|570000 |   836 |  5839k|  10.2 |  40M|  67 |   1 |1929 |  37k|1929 |1704 |  35k| 760k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1646.11/1646.22	c  1594s|580000 |   866 |  5943k|  10.2 |  41M|  67 |  12 |1929 |  40k|1929 |1704 |  36k| 773k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1680.00/1680.14	c  1628s|590000 |   929 |  6045k|  10.2 |  41M|  67 |  19 |1929 |  38k|1929 |1704 |  36k| 786k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1713.50/1713.67	c  1661s|600000 |   976 |  6137k|  10.2 |  42M|  67 |   - |1929 |  41k|   0 |   0 |  37k| 800k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1746.71/1746.86	c  1694s|610000 |  1040 |  6233k|  10.2 |  43M|  67 |  26 |1929 |  43k|1929 |1704 |  37k| 814k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1779.40/1779.55	c  1726s|620000 |   996 |  6326k|  10.2 |  43M|  68 |   - |1929 |  41k|   0 |   0 |  37k| 828k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1800.01/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.11	c 
1800.01/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.11	c Solving Time (sec) : 1746.43
1800.01/1800.11	c Solving Nodes      : 626262
1800.01/1800.11	c Primal Bound       : +2.00000000000000e+00 (136 solutions)
1800.01/1800.11	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.11	c Gap                : infinite
1800.01/1800.12	s SATISFIABLE
1800.01/1800.12	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1800.01/1800.12	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.01/1800.12	v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.01/1800.12	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.01/1800.12	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.01/1800.12	v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.01/1800.12	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.01/1800.12	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.01/1800.12	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.01/1800.12	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.01/1800.12	v x1 
1800.01/1800.12	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.12	c Solving Time       :    1746.43
1800.01/1800.12	c Original Problem   :
1800.01/1800.12	c   Problem name     : HOME/instance-2692919-1277910532.wbo
1800.01/1800.12	c   Variables        : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.01/1800.12	c   Constraints      : 3638 initial, 3638 maximal
1800.01/1800.12	c Presolved Problem  :
1800.01/1800.12	c   Problem name     : t_HOME/instance-2692919-1277910532.wbo
1800.01/1800.12	c   Variables        : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.01/1800.12	c   Constraints      : 3365 initial, 45828 maximal
1800.01/1800.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.12	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1800.01/1800.12	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.01/1800.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.12	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.12	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.01/1800.12	c   indicator        :       0.00          0          0          0          0          0         81          0          0
1800.01/1800.12	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.12	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.12	c   linear           :       0.05          0          0          0        954          0        192        139          0
1800.01/1800.12	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.12	c   root node        :          -        843          -          -       1686          -          -          -          -
1800.01/1800.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.12	c   integral         :          0          0          0     343925          0        178       2546          0          0     669264
1800.01/1800.12	c   indicator        :        849          0    2735226       7068          0        131     325999          0          0          0
1800.01/1800.12	c   knapsack         :          1          6    2777136       7066          0      44005    6507414          0          0          0
1800.01/1800.12	c   setppc           :         14          6    2735945       7047          0      36301    2003525          0          0          0
1800.01/1800.12	c   linear           :        849          6    2700280       7153          0      40728    3697776      38299          0          0
1800.01/1800.12	c   logicor          :       1652+         6    1419945        300          0      94567    5405944          0          0          0
1800.01/1800.12	c   countsols        :          0          0          0        300          0          0          0          0          0          0
1800.01/1800.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.12	c   integral         :      45.53       0.00       0.00      45.53       0.00
1800.01/1800.12	c   indicator        :       1.35       0.01       1.32       0.02       0.00
1800.01/1800.12	c   knapsack         :      32.44       0.00      32.44       0.00       0.00
1800.01/1800.12	c   setppc           :      13.38       0.00      13.36       0.02       0.00
1800.01/1800.12	c   linear           :      42.03       0.00      41.81       0.22       0.00
1800.01/1800.12	c   logicor          :     266.40       0.00     266.38       0.02       0.00
1800.01/1800.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.12	c   vbounds          :       0.31          2          0          0
1800.01/1800.12	c   rootredcost      :       0.26         29          0        843
1800.01/1800.12	c   pseudoobj        :      45.31    2781932       1199     242979
1800.01/1800.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.12	c   propagation      :       9.10     216800     216427    1304237       26.9       6655       23.7          -
1800.01/1800.12	c   infeasible LP    :      23.22     114846     114844     903890       42.4        526       19.8          0
1800.01/1800.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.12	c   pseudo solution  :       0.01         25         25        182       21.3          2        4.0          -
1800.01/1800.12	c   applied globally :          -          -          -     837542       28.1          -          -          -
1800.01/1800.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.12	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 141)
1800.01/1800.12	c   redcost          :       7.93     346378          0      67159          0          0
1800.01/1800.12	c   impliedbounds    :       0.00          6          0          0          0          0
1800.01/1800.12	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.12	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.12	c   gomory           :       0.22          6          0          0        976          0
1800.01/1800.12	c   strongcg         :       0.18          6          0          0        504          0
1800.01/1800.12	c   cmir             :       0.02          6          0          0          1          0
1800.01/1800.12	c   flowcover        :       0.06          6          0          0          0          0
1800.01/1800.12	c   clique           :       0.00          6          0          0          0          0
1800.01/1800.12	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.12	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.12	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.12	c Pricers            :       Time      Calls       Vars
1800.01/1800.12	c   problem variables:       0.00          0          0
1800.01/1800.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.12	c   relpscost        :      45.32     336731        178       2546          0          0     669264
1800.01/1800.12	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.12	c   inference        :       0.01        274          0          0          0          0        548
1800.01/1800.12	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.12	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.12	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.12	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.12	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.12	c   LP solutions     :       0.01          -         26
1800.01/1800.12	c   pseudo solutions :       0.00          -          0
1800.01/1800.12	c   feaspump         :       0.06          1          0
1800.01/1800.12	c   oneopt           :       0.25         27          0
1800.01/1800.12	c   crossover        :       0.31         12          0
1800.01/1800.12	c   veclendiving     :       0.17         54          0
1800.01/1800.12	c   linesearchdiving :       0.17         54          0
1800.01/1800.12	c   guideddiving     :       0.19         54          0
1800.01/1800.12	c   coefdiving       :       0.23         55          0
1800.01/1800.12	c   pscostdiving     :       0.20         55          0
1800.01/1800.12	c   fracdiving       :       0.21         55          0
1800.01/1800.12	c   rootsoldiving    :       0.74         28          0
1800.01/1800.12	c   objpscostdiving  :       0.19         28          0
1800.01/1800.12	c   trivial          :       0.00          2          0
1800.01/1800.12	c   simplerounding   :       0.42     337098          0
1800.01/1800.12	c   zirounding       :       0.33       1000          0
1800.01/1800.12	c   rounding         :       3.42      38303          2
1800.01/1800.12	c   shifting         :       0.77       2552          0
1800.01/1800.12	c   intshifting      :       0.01         12          0
1800.01/1800.12	c   twoopt           :       0.00          0          0
1800.01/1800.12	c   fixandinfer      :       0.00          0          0
1800.01/1800.12	c   intdiving        :       0.00          0          0
1800.01/1800.12	c   actconsdiving    :       0.00          0          0
1800.01/1800.12	c   octane           :       0.00          0          0
1800.01/1800.12	c   rens             :       0.03          1          0
1800.01/1800.12	c   rins             :       0.00          0          0
1800.01/1800.12	c   localbranching   :       0.00          0          0
1800.01/1800.12	c   mutation         :       0.00          0          0
1800.01/1800.12	c   dins             :       0.00          0          0
1800.01/1800.12	c   undercover       :       0.00          0          0
1800.01/1800.12	c   nlp              :       0.04          0          0
1800.01/1800.12	c   trysol           :       0.58       3672        108
1800.01/1800.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.12	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.12	c   dual LP          :     872.83     456970    6378781      13.96    7308.16
1800.01/1800.12	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.12	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.12	c   diving/probing LP:       1.33        980       9195       9.38    6913.53
1800.01/1800.12	c   strong branching :      41.32      10639     291790      27.43    7061.71
1800.01/1800.12	c     (at root node) :          -         33       5132     155.52          -
1800.01/1800.12	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.12	c B&B Tree           :
1800.01/1800.12	c   number of runs   :          1
1800.01/1800.12	c   nodes            :     626262
1800.01/1800.12	c   nodes (total)    :     626262
1800.01/1800.12	c   nodes left       :       1027
1800.01/1800.12	c   max depth        :         68
1800.01/1800.12	c   max depth (total):         68
1800.01/1800.12	c   backtracks       :      91335 (14.6%)
1800.01/1800.12	c   delayed cutoffs  :      41988
1800.01/1800.12	c   repropagations   :    1033831 (3375814 domain reductions, 40065 cutoffs)
1800.01/1800.12	c   avg switch length:       4.81
1800.01/1800.12	c   switching time   :     216.88
1800.01/1800.12	c Solution           :
1800.01/1800.12	c   Solutions found  :        136 (29 improvements)
1800.01/1800.12	c   First Solution   : +4.26820000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.01/1800.12	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 122304 nodes, 315.65 seconds, depth 41, found by <relaxation>)
1800.01/1800.12	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.12	c   Gap              :   infinite
1800.01/1800.12	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.12	c   Root Iterations  :        710
1800.12/1800.21	c Time complete: 1800.12.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692919-1277910532/watcher-2692919-1277910532 -o /tmp/evaluation-result-2692919-1277910532/solver-2692919-1277910532 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692919-1277910532.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.79 2.27 2.09 4/197 13158
/proc/meminfo: memFree=31181976/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=9288 CPUtime=0
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1619 0 0 0 0 0 0 0 25 0 1 0 132349775 9510912 1538 4089446400 4194304 8223781 140734431274944 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13158/statm: 2322 1538 369 984 0 1335 0

[startup+0.061988 s]
/proc/loadavg: 2.79 2.27 2.09 4/197 13158
/proc/meminfo: memFree=31181976/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=22768 CPUtime=0.05
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 5618 0 0 0 4 1 0 0 25 0 1 0 132349775 23314432 4659 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13158/statm: 5692 4659 446 984 0 4705 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22768

[startup+0.101916 s]
/proc/loadavg: 2.79 2.27 2.09 4/197 13158
/proc/meminfo: memFree=31181976/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=22768 CPUtime=0.09
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 6911 0 0 0 7 2 0 0 25 0 1 0 132349775 23314432 4667 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13158/statm: 5692 4667 452 984 0 4705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22768

[startup+0.300965 s]
/proc/loadavg: 2.79 2.27 2.09 4/197 13158
/proc/meminfo: memFree=31181976/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=29364 CPUtime=0.29
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 11989 0 0 0 25 4 0 0 25 0 1 0 132349775 30068736 6472 4089446400 4194304 8223781 140734431274944 18446744073709551615 6044935 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 7341 6472 582 984 0 6354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29364

[startup+0.700883 s]
/proc/loadavg: 2.79 2.27 2.09 4/197 13158
/proc/meminfo: memFree=31181976/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=31756 CPUtime=0.69
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 12605 0 0 0 64 5 0 0 25 0 1 0 132349775 32518144 7049 4089446400 4194304 8223781 140734431274944 18446744073709551615 6299553 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 7939 7049 582 984 0 6952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31756

[startup+1.50078 s]
/proc/loadavg: 2.79 2.27 2.09 4/198 13159
/proc/meminfo: memFree=31155312/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=31756 CPUtime=1.49
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 18968 0 0 0 142 7 0 0 25 0 1 0 132349775 32518144 7083 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13158/statm: 7939 7083 598 984 0 6952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31756

[startup+3.10047 s]
/proc/loadavg: 2.81 2.28 2.10 4/198 13159
/proc/meminfo: memFree=31155108/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=31756 CPUtime=3.08
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 20230 0 0 0 298 10 0 0 25 0 1 0 132349775 32518144 7083 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 7939 7083 598 984 0 6952 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31756

[startup+6.30092 s]
/proc/loadavg: 2.81 2.28 2.10 4/198 13159
/proc/meminfo: memFree=31154904/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=32812 CPUtime=6.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 30133 0 0 0 606 21 0 0 25 0 1 0 132349775 33599488 7333 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 8203 7333 602 984 0 7216 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32812

[startup+12.7008 s]
/proc/loadavg: 2.84 2.30 2.11 4/198 13159
/proc/meminfo: memFree=31148724/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=39336 CPUtime=12.67
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 62954 0 0 0 1220 47 0 0 25 0 1 0 132349775 40280064 8891 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 9834 8891 604 984 0 8847 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39336

[startup+25.5006 s]
/proc/loadavg: 2.86 2.33 2.12 4/198 13159
/proc/meminfo: memFree=31136928/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=50888 CPUtime=25.47
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 112784 0 0 0 2433 114 0 0 25 0 1 0 132349775 52109312 11747 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 12763 11754 604 984 0 11776 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 50888

[startup+51.1011 s]
/proc/loadavg: 2.69 2.33 2.12 4/198 13160
/proc/meminfo: memFree=31130608/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=55364 CPUtime=51.07
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 168686 0 0 0 4871 236 0 0 25 0 1 0 132349775 56692736 12871 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 13841 12871 604 984 0 12854 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55364

[startup+102.306 s]
/proc/loadavg: 2.79 2.41 2.16 4/198 13161
/proc/meminfo: memFree=31119160/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=61228 CPUtime=102.28
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 238150 0 0 0 9767 461 0 0 25 0 1 0 132349775 62697472 14306 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 15307 14306 604 984 0 14320 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 61228

[startup+162.301 s]
/proc/loadavg: 2.72 2.46 2.19 4/198 13163
/proc/meminfo: memFree=31110172/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=64232 CPUtime=162.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 320316 0 0 0 15513 714 0 0 25 0 1 0 132349775 65773568 15009 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 16058 15009 604 984 0 15071 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 64232

[startup+222.3 s]
/proc/loadavg: 2.58 2.47 2.21 3/195 13211
/proc/meminfo: memFree=31149220/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=66052 CPUtime=222.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 371655 0 0 0 21295 931 0 0 25 0 1 0 132349775 67637248 15470 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 16513 15470 604 984 0 15526 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 66052

[startup+282.301 s]
/proc/loadavg: 2.30 2.41 2.20 3/195 13213
/proc/meminfo: memFree=31121008/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=71516 CPUtime=282.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 429880 0 0 0 27207 1020 0 0 25 0 1 0 132349775 73232384 16773 4089446400 4194304 8223781 140734431274944 18446744073709551615 5004470 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 17879 16773 604 984 0 16892 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 71516

[startup+342.3 s]
/proc/loadavg: 2.17 2.34 2.18 3/195 13214
/proc/meminfo: memFree=31102876/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=73124 CPUtime=342.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 507427 0 0 0 33120 1106 0 0 25 0 1 0 132349775 74878976 17160 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 18281 17160 604 984 0 17294 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 73124

[startup+402.301 s]
/proc/loadavg: 2.07 2.28 2.17 3/195 13215
/proc/meminfo: memFree=31085984/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=76496 CPUtime=402.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 568231 0 0 0 39035 1192 0 0 25 0 1 0 132349775 78331904 17937 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 19124 17937 604 984 0 18137 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 76496

[startup+462.301 s]
/proc/loadavg: 2.02 2.22 2.16 3/195 13217
/proc/meminfo: memFree=31072956/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=78288 CPUtime=462.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 637827 0 0 0 44949 1278 0 0 25 0 1 0 132349775 80166912 18408 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 19572 18408 604 984 0 18585 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 78288

[startup+522.301 s]
/proc/loadavg: 2.01 2.18 2.15 3/195 13219
/proc/meminfo: memFree=31063372/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=80384 CPUtime=522.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 664497 0 0 0 50874 1352 0 0 25 0 1 0 132349775 82313216 18875 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 20096 18875 604 984 0 19109 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 80384

[startup+582.301 s]
/proc/loadavg: 2.29 2.25 2.17 3/195 13221
/proc/meminfo: memFree=31055780/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=80384 CPUtime=582.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 664505 0 0 0 56794 1432 0 0 25 0 1 0 132349775 82313216 18883 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13158/statm: 20096 18883 604 984 0 19109 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 80384

[startup+642.3 s]
/proc/loadavg: 2.10 2.20 2.16 3/195 13222
/proc/meminfo: memFree=31048320/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=80932 CPUtime=642.27
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 692336 0 0 0 62684 1543 0 0 25 0 1 0 132349775 82874368 19016 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 20233 19016 604 984 0 19246 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 80932

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.03 2.10 2.12 3/195 13229
/proc/meminfo: memFree=31025824/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=82988 CPUtime=882.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1011151 0 0 0 85651 2574 0 0 25 0 1 0 132349775 84979712 19476 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 20747 19476 604 984 0 19760 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 82988

[startup+942.301 s]
/proc/loadavg: 2.01 2.08 2.11 3/195 13230
/proc/meminfo: memFree=31015632/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=84560 CPUtime=942.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1160110 0 0 0 91396 2830 0 0 25 0 1 0 132349775 86589440 19853 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 21140 19853 604 984 0 20153 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 84560

[startup+1002.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/195 13231
/proc/meminfo: memFree=31007412/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=85316 CPUtime=1002.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1277396 0 0 0 97159 3067 0 0 25 0 1 0 132349775 87363584 20059 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 21329 20059 604 984 0 20342 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 85316

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/195 13233
/proc/meminfo: memFree=31002156/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=86524 CPUtime=1062.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1393470 0 0 0 102923 3302 0 0 25 0 1 0 132349775 88600576 20354 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 21631 20354 604 984 0 20644 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 86524

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/195 13235
/proc/meminfo: memFree=30995932/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=89380 CPUtime=1122.26
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1501557 0 0 0 108682 3544 0 0 25 0 1 0 132349775 91525120 20808 4089446400 4194304 8223781 140734431274944 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 22345 20808 604 984 0 21358 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 89380

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/195 13237
/proc/meminfo: memFree=30990936/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=90040 CPUtime=1182.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1572736 0 0 0 114450 3775 0 0 25 0 1 0 132349775 92200960 20925 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 22510 20925 604 984 0 21523 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 90040

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/195 13238
/proc/meminfo: memFree=30984952/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=92160 CPUtime=1242.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1654123 0 0 0 120193 4032 0 0 25 0 1 0 132349775 94371840 21277 4089446400 4194304 8223781 140734431274944 18446744073709551615 6483609 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 23040 21277 604 984 0 22053 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 92160

[startup+1302.3 s]
/proc/loadavg: 2.44 2.11 2.10 3/195 13239
/proc/meminfo: memFree=30980820/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=92284 CPUtime=1302.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1675105 0 0 0 125949 4276 0 0 25 0 1 0 132349775 94498816 21314 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 23071 21314 604 984 0 22084 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 92284

[startup+1362.3 s]
/proc/loadavg: 2.16 2.09 2.09 3/195 13241
/proc/meminfo: memFree=30979920/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=92900 CPUtime=1362.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1733857 0 0 0 131705 4520 0 0 25 0 1 0 132349775 95129600 21459 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13158/statm: 23225 21459 604 984 0 22238 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 92900

[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 2.08 3/195 13243
/proc/meminfo: memFree=30978900/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=93504 CPUtime=1422.25
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1801268 0 0 0 137471 4754 0 0 25 0 1 0 132349775 95748096 21621 4089446400 4194304 8223781 140734431274944 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13158/statm: 23376 21621 604 984 0 22389 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 93504

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/195 13248
/proc/meminfo: memFree=30977096/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=93984 CPUtime=1482.22
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1850156 0 0 0 143276 4946 0 0 25 0 1 0 132349775 96239616 21733 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13158/statm: 23496 21733 604 984 0 22509 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 93984

[startup+1542.3 s]
/proc/loadavg: 2.04 2.06 2.08 3/195 13249
/proc/meminfo: memFree=30976668/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=94492 CPUtime=1542.21
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 1964242 0 0 0 149190 5031 0 0 25 0 1 0 132349775 96759808 21847 4089446400 4194304 8223781 140734431274944 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13158/statm: 23584 21834 604 984 0 22597 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 94492

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/195 13250
/proc/meminfo: memFree=30976652/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=94412 CPUtime=1602.21
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2081786 0 0 0 155097 5124 0 0 25 0 1 0 132349775 96677888 21855 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 23603 21855 604 984 0 22616 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 94412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/195 13252
/proc/meminfo: memFree=30976236/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=94928 CPUtime=1662.2
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2197249 0 0 0 161008 5212 0 0 25 0 1 0 132349775 97206272 22014 4089446400 4194304 8223781 140734431274944 18446744073709551615 4637167 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 23732 22014 604 984 0 22745 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 94928

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/195 13254
/proc/meminfo: memFree=30974104/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=97456 CPUtime=1722.2
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2213972 0 0 0 166941 5279 0 0 25 0 1 0 132349775 99794944 22543 4089446400 4194304 8223781 140734431274944 18446744073709551615 6162915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 24364 22543 604 984 0 23377 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 97456

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/195 13256
/proc/meminfo: memFree=30970484/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=97868 CPUtime=1782.21
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2220296 0 0 0 172881 5340 0 0 25 0 1 0 132349775 100216832 22652 4089446400 4194304 8223781 140734431274944 18446744073709551615 6568234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 24467 22652 604 984 0 23480 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 97868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/195 13256
/proc/meminfo: memFree=30969352/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=97868 CPUtime=1800.01
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2220366 0 0 0 174645 5356 0 0 25 0 1 0 132349775 100216832 22664 4089446400 4194304 8223781 140734431274944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13158/statm: 24467 22664 604 984 0 23480 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 97868

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

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

[startup+1800.21 s]
/proc/loadavg: 2.00 2.02 2.05 3/195 13256
/proc/meminfo: memFree=30969352/32951132 swapFree=67111528/67111528
[pid=13158] ppid=13156 vsize=47260 CPUtime=1800.12
/proc/13158/stat : 13158 (pbscip.linux.x8) R 13156 13158 11779 0 -1 4202496 2220378 0 0 0 174655 5357 0 0 25 0 1 0 132349775 48394240 8352 4089446400 4194304 8223781 140734431274944 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13158/statm: 11815 7840 606 984 0 10828 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 47260

Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.13
CPU user time (s): 1746.55
CPU system time (s): 53.5759
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 98000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.55
system time used= 53.5759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2220382
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= 5
involuntary context switches= 2812

runsolver used 2.47262 second user time and 5.76912 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 17:08:52
IDJOB=2692919
IDBENCH=78978
IDSOLVER=1204
FILE ID=node131/2692919-1277910532
PBS_JOBID= 11197184
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=9975010

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31182380 kB
Buffers:        197632 kB
Cached:        1136092 kB
SwapCached:          0 kB
Active:         814988 kB
Inactive:       809724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31182380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4736 kB
Writeback:           0 kB
AnonPages:      290940 kB
Mapped:          20528 kB
Slab:            80084 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1650468 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node131 at 2010-06-30 17:38:54