Trace number 2692853

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692853-1277907048.wbo>
0.00/0.02	c original problem has 2087 variables (1159 bin, 0 int, 0 impl, 928 cont) and 3636 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, 1134 impls, 14 clqs
0.06/0.07	c (round 2) 0 del vars, 112 del conss, 928 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.06/0.09	c (round 3) 51 del vars, 262 del conss, 955 chg bounds, 150 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.06/0.09	c (round 4) 129 del vars, 295 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 1134 impls, 14 clqs
0.09/0.11	c (round 5) 159 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.12	c (round 6) 162 del vars, 298 del conss, 958 chg bounds, 156 chg sides, 0 chg coeffs, 1644 upgd conss, 1134 impls, 14 clqs
0.09/0.16	c    (0.1s) probing: 101/1078 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (7 rounds):
0.09/0.16	c  162 deleted vars, 298 deleted constraints, 958 tightened bounds, 0 added holes, 156 changed sides, 0 changed coefficients
0.09/0.16	c  1134 implications, 14 cliques
0.09/0.16	c presolved problem has 1925 variables (1078 bin, 0 int, 0 impl, 847 cont) and 3338 constraints
0.09/0.16	c     847 constraints of type <indicator>
0.09/0.16	c       1 constraints of type <knapsack>
0.09/0.16	c      14 constraints of type <setppc>
0.09/0.16	c     847 constraints of type <linear>
0.09/0.16	c    1629 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.10
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |    54 |     - |8784k|   0 |  25 |1925 |3338 |1925 |1644 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   818 |     - |9009k|   0 |  43 |1925 |3338 |1925 |1663 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.3s|     1 |     0 |   852 |     - |9544k|   0 |  51 |1925 |3338 |1925 |1670 |  26 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.50	c   0.4s|     1 |     0 |   901 |     - |9555k|   0 |  51 |1925 |3338 |1925 |1674 |  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.62	c   0.5s|     1 |     0 |   919 |     - |9561k|   0 |  52 |1925 |3338 |1925 |1678 |  34 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.74	c   0.7s|     1 |     0 |   940 |     - |9564k|   0 |  53 |1925 |3338 |1925 |1679 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.87	c   0.8s|     1 |     0 |   972 |     - |9567k|   0 |  59 |1925 |3338 |1925 |1680 |  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.10/2.17	c   2.0s|     1 |     2 |   972 |     - |9571k|   0 |  59 |1925 |3338 |1925 |1680 |  36 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
4.68/5.14	o 43452
4.68/5.14	c y 4.5s|    11 |     8 |  1544 |  57.2 |9695k|   9 |   7 |1925 |3338 |1925 |1671 |  36 |   0 | 278 | 0.000000e+00 | 4.345200e+04 |    Inf 
7.18/7.68	o 1145
7.18/7.68	c * 7.0s|    30 |    27 |  2176 |  41.5 |9794k|  18 |   - |1925 |3338 |1925 |1671 |  44 |   0 | 448 | 0.000000e+00 | 1.145000e+03 |    Inf 
7.78/8.21	o 757
7.78/8.21	c * 7.6s|    47 |    38 |  2383 |  30.7 |9955k|  18 |   - |1925 |3338 |1925 |1677 |  64 |   0 | 544 | 0.000000e+00 | 7.570000e+02 |    Inf 
7.78/8.22	o 754
7.78/8.22	c * 7.6s|    50 |    37 |  2385 |  28.8 |  10M|  18 |   - |1925 |3342 |1925 |1677 |  64 |   4 | 544 | 0.000000e+00 | 7.540000e+02 |    Inf 
9.18/9.66	o 563
9.18/9.66	c * 9.0s|    73 |    48 |  2979 |  27.9 |  10M|  18 |   - |1925 |3351 |1925 |1675 |  68 |  13 | 764 | 0.000000e+00 | 5.630000e+02 |    Inf 
10.88/11.32	o 420
10.88/11.32	c *10.6s|   130 |    56 |  3911 |  22.8 |  10M|  18 |   - |1925 |3425 |1925 |1671 |  90 |  87 |1097 | 0.000000e+00 | 4.200000e+02 |    Inf 
11.18/11.63	o 411
11.18/11.63	c *10.9s|   141 |    59 |  4186 |  23.0 |  11M|  18 |   - |1925 |3430 |1925 |1671 |  90 |  92 |1151 | 0.000000e+00 | 4.110000e+02 |    Inf 
12.69/13.13	o 408
12.69/13.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.69/13.13	c g12.4s|   253 |   100 |  5874 |  19.5 |  11M|  24 |   - |1925 |3560 |1925 |1675 |  94 | 222 |1395 | 0.000000e+00 | 4.080000e+02 |    Inf 
12.69/13.17	o 407
12.69/13.17	c *12.5s|   260 |   103 |  5969 |  19.3 |  11M|  24 |   - |1925 |3564 |1925 |1676 |  99 | 226 |1397 | 0.000000e+00 | 4.070000e+02 |    Inf 
12.79/13.25	o 396
12.79/13.25	c *12.5s|   274 |   107 |  6057 |  18.6 |  11M|  24 |   - |1925 |3587 |1925 |1675 | 103 | 249 |1408 | 0.000000e+00 | 3.960000e+02 |    Inf 
12.79/13.25	o 276
12.79/13.25	c *12.6s|   275 |    90 |  6061 |  18.6 |  11M|  24 |   - |1925 |3587 |1925 |1675 | 103 | 249 |1408 | 0.000000e+00 | 2.760000e+02 |    Inf 
13.48/13.95	o 257
13.48/13.95	c *13.2s|   376 |   122 |  7125 |  16.4 |  12M|  27 |   - |1925 |3704 |1925 |1671 | 103 | 367 |1519 | 0.000000e+00 | 2.570000e+02 |    Inf 
13.48/13.99	o 256
13.48/13.99	c *13.3s|   390 |   122 |  7162 |  15.9 |  12M|  27 |   - |1925 |3725 |1925 |1671 | 103 | 388 |1521 | 0.000000e+00 | 2.560000e+02 |    Inf 
14.58/15.09	o 255
14.58/15.09	c *14.3s|   689 |   198 |  9521 |  12.4 |  13M|  32 |   - |1925 |4078 |1925 |1671 | 131 | 762 |1631 | 0.000000e+00 | 2.550000e+02 |    Inf 
14.89/15.31	o 209
14.89/15.31	c *14.6s|   764 |   204 |  9998 |  11.8 |  13M|  32 |   - |1925 |4141 |1925 |1671 | 136 | 833 |1648 | 0.000000e+00 | 2.090000e+02 |    Inf 
14.89/15.32	o 203
14.89/15.32	c *14.6s|   768 |   204 | 10007 |  11.8 |  13M|  32 |   - |1925 |4145 |1925 |1671 | 136 | 837 |1648 | 0.000000e+00 | 2.030000e+02 |    Inf 
14.89/15.33	o 193
14.89/15.33	c *14.6s|   770 |   202 | 10015 |  11.8 |  13M|  32 |   - |1925 |4145 |1925 |1671 | 136 | 837 |1648 | 0.000000e+00 | 1.930000e+02 |    Inf 
14.89/15.35	o 164
14.89/15.35	c *14.6s|   772 |   200 | 10030 |  11.7 |  13M|  32 |   - |1925 |4145 |1925 |1674 | 139 | 837 |1648 | 0.000000e+00 | 1.640000e+02 |    Inf 
14.89/15.35	o 157
14.89/15.35	c *14.6s|   773 |   196 | 10051 |  11.8 |  13M|  32 |   - |1925 |4145 |1925 |1675 | 140 | 837 |1648 | 0.000000e+00 | 1.570000e+02 |    Inf 
15.38/15.84	o 150
15.38/15.84	c *15.1s|   957 |   212 | 11368 |  10.9 |  14M|  32 |   - |1925 |4289 |1925 |1671 | 149 |1042 |1668 | 0.000000e+00 | 1.500000e+02 |    Inf 
17.38/17.85	o 138
17.38/17.85	c *17.1s|  1731 |   334 | 17124 |   9.3 |  15M|  34 |   - |1925 |4879 |1925 |1677 | 218 |1848 |1729 | 0.000000e+00 | 1.380000e+02 |    Inf 
17.68/18.14	o 119
17.68/18.14	c *17.3s|  1869 |   337 | 18086 |   9.2 |  15M|  34 |   - |1925 |5001 |1925 |1671 | 255 |2009 |1729 | 0.000000e+00 | 1.190000e+02 |    Inf 
19.58/20.05	o 114
19.58/20.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.58/20.05	c *19.2s|  2504 |   431 | 24510 |   9.4 |  15M|  39 |   - |1925 |5111 |1925 |1674 | 284 |2716 |1771 | 0.000000e+00 | 1.140000e+02 |    Inf 
19.58/20.05	o 96
19.58/20.05	c *19.2s|  2505 |   395 | 24512 |   9.4 |  15M|  39 |   - |1925 |5111 |1925 |1674 | 284 |2716 |1771 | 0.000000e+00 | 9.600000e+01 |    Inf 
22.49/22.91	o 77
22.49/22.91	c *22.0s|  3585 |   433 | 33714 |   9.1 |  16M|  42 |   - |1925 |5173 |1925 |1671 | 399 |3883 |1830 | 0.000000e+00 | 7.700000e+01 |    Inf 
23.68/24.10	o 63
23.68/24.10	c *23.2s|  4070 |   440 | 37324 |   8.9 |  17M|  42 |   - |1925 |5044 |1925 |1671 | 411 |4536 |1834 | 0.000000e+00 | 6.300000e+01 |    Inf 
26.98/27.41	o 59
26.98/27.41	c *26.4s|  5411 |   466 | 49228 |   8.9 |  17M|  42 |   - |1925 |5443 |1925 |1671 | 495 |6183 |1836 | 0.000000e+00 | 5.900000e+01 |    Inf 
28.78/29.22	o 40
28.78/29.22	c *28.2s|  6109 |   384 | 54859 |   8.8 |  16M|  42 |   - |1925 |5323 |1925 |1671 | 555 |7020 |1880 | 0.000000e+00 | 4.000000e+01 |    Inf 
30.58/31.07	o 35
30.58/31.07	c *30.0s|  6950 |   399 | 61195 |   8.7 |  16M|  42 |   - |1925 |5889 |1925 |1671 | 601 |8258 |1906 | 0.000000e+00 | 3.500000e+01 |    Inf 
34.58/35.00	o 34
34.58/35.00	c *33.9s|  8657 |   432 | 75967 |   8.7 |  17M|  42 |   - |1925 |6266 |1925 |1671 | 741 |  10k|1920 | 0.000000e+00 | 3.400000e+01 |    Inf 
37.88/38.30	c  37.1s| 10000 |   464 | 87099 |   8.6 |  17M|  42 |   - |1925 |6983 |   0 |   0 | 864 |  12k|2001 | 0.000000e+00 | 3.400000e+01 |    Inf 
37.88/38.32	o 25
37.88/38.32	c *37.2s| 10014 |   452 | 87134 |   8.6 |  17M|  42 |   - |1925 |7008 |1925 |1671 | 864 |  12k|2001 | 0.000000e+00 | 2.500000e+01 |    Inf 
47.68/48.11	o 18
47.68/48.11	c *46.8s| 14364 |   539 |122911 |   8.5 |  18M|  42 |   - |1925 |8456 |1925 |1671 |1206 |  17k|2075 | 0.000000e+00 | 1.800000e+01 |    Inf 
54.78/55.22	o 16
54.78/55.22	c *53.8s| 17761 |   529 |148999 |   8.3 |  19M|  42 |   - |1925 |8917 |1925 |1671 |1501 |  22k|2078 | 0.000000e+00 | 1.600000e+01 |    Inf 
59.18/59.66	c  58.1s| 20000 |   572 |164715 |   8.2 |  20M|  42 |   1 |1925 |9927 |1925 |1671 |1738 |  25k|2078 | 0.000000e+00 | 1.600000e+01 |    Inf 
66.48/66.93	o 9
66.48/66.93	c *65.3s| 23466 |   518 |191090 |   8.1 |  20M|  43 |   - |1925 |  11k|1925 |1671 |2092 |  30k|2078 | 0.000000e+00 | 9.000000e+00 |    Inf 
66.58/67.08	o 3
66.58/67.08	c *65.5s| 23526 |   514 |191587 |   8.1 |  19M|  43 |   - |1925 |  10k|1925 |1673 |2094 |  30k|2078 | 0.000000e+00 | 3.000000e+00 |    Inf 
67.28/67.73	o 2
67.28/67.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
67.28/67.73	c *66.1s| 23813 |   498 |193916 |   8.1 |  19M|  43 |   - |1925 |  10k|1925 |1673 |2104 |  30k|2078 | 0.000000e+00 | 2.000000e+00 |    Inf 
79.98/80.45	c  78.6s| 30000 |   504 |242991 |   8.1 |  20M|  44 |   - |1925 |  11k|   0 |   0 |2444 |  39k|2078 | 0.000000e+00 | 2.000000e+00 |    Inf 
102.39/102.83	c   101s| 40000 |   559 |325765 |   8.1 |  23M|  46 |   - |1925 |  18k|   0 |   0 |3063 |  52k|2078 | 0.000000e+00 | 2.000000e+00 |    Inf 
128.78/129.22	c   127s| 50000 |   636 |413807 |   8.3 |  25M|  53 |  25 |1925 |  20k|1925 |1671 |3760 |  66k|2318 | 0.000000e+00 | 2.000000e+00 |    Inf 
153.49/153.99	c   151s| 60000 |   406 |500663 |   8.3 |  21M|  53 |   - |1925 |  10k|   0 |   0 |4363 |  80k|2688 | 0.000000e+00 | 2.000000e+00 |    Inf 
177.28/177.77	c   174s| 70000 |   403 |587205 |   8.4 |  24M|  53 |  20 |1925 |  19k|1925 |1671 |4803 |  93k|2889 | 0.000000e+00 | 2.000000e+00 |    Inf 
204.19/204.66	c   201s| 80000 |   332 |678036 |   8.5 |  22M|  53 |   - |1925 |  14k|1925 |1671 |5557 | 106k|3308 | 0.000000e+00 | 2.000000e+00 |    Inf 
229.39/229.88	c   226s| 90000 |   400 |769130 |   8.5 |  26M|  53 |  20 |1925 |  21k|1925 |1671 |6363 | 119k|3518 | 0.000000e+00 | 2.000000e+00 |    Inf 
257.59/258.02	c   253s|100000 |   337 |862180 |   8.6 |  27M|  53 |  25 |1925 |  24k|1925 |1675 |7114 | 132k|3830 | 0.000000e+00 | 2.000000e+00 |    Inf 
271.98/272.42	o 1
271.98/272.42	c * 267s|105011 |   378 |909846 |   8.7 |  28M|  53 |   - |1925 |  27k|1925 |1675 |7471 | 139k|3912 | 0.000000e+00 | 1.000000e+00 |    Inf 
287.19/287.63	c   282s|110000 |   373 |959168 |   8.7 |  29M|  53 |  14 |1925 |  29k|1925 |1675 |7760 | 145k|4005 | 0.000000e+00 | 1.000000e+00 |    Inf 
316.30/316.78	c   311s|120000 |   303 |  1058k|   8.8 |  26M|  53 |  12 |1925 |  21k|1925 |1671 |8521 | 158k|4318 | 0.000000e+00 | 1.000000e+00 |    Inf 
345.29/345.70	c   340s|130000 |   282 |  1163k|   8.9 |  27M|  53 |   - |1925 |  24k|   0 |   0 |9737 | 171k|4501 | 0.000000e+00 | 1.000000e+00 |    Inf 
373.69/374.11	c   368s|140000 |   380 |  1265k|   9.0 |  29M|  53 |   - |1925 |  28k|   0 |   0 |  10k| 184k|4673 | 0.000000e+00 | 1.000000e+00 |    Inf 
402.99/403.40	c   397s|150000 |   358 |  1365k|   9.1 |  31M|  53 |   - |1925 |  31k|   0 |   0 |  10k| 197k|4913 | 0.000000e+00 | 1.000000e+00 |    Inf 
432.19/432.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
432.19/432.66	c   425s|160000 |   389 |  1457k|   9.1 |  33M|  53 |  25 |1925 |  35k|1925 |1671 |  11k| 210k|5037 | 0.000000e+00 | 1.000000e+00 |    Inf 
463.08/463.56	c   456s|170000 |   465 |  1549k|   9.1 |  34M|  53 |  16 |1925 |  38k|1925 |1671 |  11k| 223k|5178 | 0.000000e+00 | 1.000000e+00 |    Inf 
495.19/495.63	c   488s|180000 |   493 |  1640k|   9.1 |  36M|  53 |  20 |1925 |  41k|1925 |1671 |  12k| 236k|5380 | 0.000000e+00 | 1.000000e+00 |    Inf 
526.40/526.88	c   518s|190000 |   578 |  1730k|   9.1 |  38M|  53 |  17 |1925 |  45k|1925 |1671 |  12k| 249k|5571 | 0.000000e+00 | 1.000000e+00 |    Inf 
558.59/559.02	c   550s|200000 |   577 |  1816k|   9.1 |  40M|  53 |  22 |1925 |  48k|1925 |1671 |  13k| 262k|5688 | 0.000000e+00 | 1.000000e+00 |    Inf 
592.50/592.97	c   584s|210000 |   650 |  1904k|   9.1 |  42M|  53 |   - |1925 |  52k|   0 |   0 |  13k| 275k|5825 | 0.000000e+00 | 1.000000e+00 |    Inf 
628.19/628.61	c   619s|220000 |   706 |  1992k|   9.1 |  43M|  53 |   - |1925 |  54k|   0 |   0 |  14k| 288k|5955 | 0.000000e+00 | 1.000000e+00 |    Inf 
667.40/667.81	c   658s|230000 |   896 |  2089k|   9.1 |  46M|  53 |   - |1925 |  57k|1925 |1671 |  14k| 301k|6077 | 0.000000e+00 | 1.000000e+00 |    Inf 
705.80/706.27	c   695s|240000 |  1009 |  2186k|   9.1 |  48M|  55 |   - |1925 |  60k|   0 |   0 |  15k| 315k|6254 | 0.000000e+00 | 1.000000e+00 |    Inf 
743.89/744.34	c   733s|250000 |  1077 |  2278k|   9.1 |  50M|  56 |  23 |1925 |  63k|1925 |1671 |  16k| 328k|6413 | 0.000000e+00 | 1.000000e+00 |    Inf 
784.00/784.43	c   772s|260000 |  1071 |  2381k|   9.2 |  49M|  56 |   - |1925 |  59k|   0 |   0 |  16k| 342k|6566 | 0.000000e+00 | 1.000000e+00 |    Inf 
823.20/823.69	c   810s|270000 |  1135 |  2479k|   9.2 |  50M|  56 |   - |1925 |  61k|   0 |   0 |  17k| 355k|6696 | 0.000000e+00 | 1.000000e+00 |    Inf 
862.89/863.38	c   849s|280000 |  1173 |  2581k|   9.2 |  52M|  57 |   - |1925 |  64k|   0 |   0 |  17k| 368k|6782 | 0.000000e+00 | 1.000000e+00 |    Inf 
903.90/904.39	c   889s|290000 |   922 |  2681k|   9.2 |  49M|  57 |  21 |1925 |  60k|1925 |1671 |  18k| 382k|6928 | 0.000000e+00 | 1.000000e+00 |    Inf 
941.20/941.64	c   926s|300000 |  1010 |  2785k|   9.3 |  50M|  57 |   - |1925 |  60k|   0 |   0 |  19k| 395k|7043 | 0.000000e+00 | 1.000000e+00 |    Inf 
978.20/978.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
978.20/978.69	c   962s|310000 |   799 |  2887k|   9.3 |  47M|  59 |   - |1925 |  54k|   0 |   0 |  19k| 409k|7185 | 0.000000e+00 | 1.000000e+00 |    Inf 
1015.80/1016.29	c   998s|320000 |   476 |  2979k|   9.3 |  39M|  59 |  13 |1925 |  42k|1925 |1671 |  20k| 422k|7610 | 0.000000e+00 | 1.000000e+00 |    Inf 
1049.01/1049.49	c  1031s|330000 |   525 |  3074k|   9.3 |  41M|  59 |  19 |1925 |  47k|1925 |1671 |  21k| 436k|7680 | 0.000000e+00 | 1.000000e+00 |    Inf 
1081.61/1082.01	c  1062s|340000 |   521 |  3164k|   9.3 |  42M|  59 |   - |1925 |  49k|   0 |   0 |  21k| 449k|7740 | 0.000000e+00 | 1.000000e+00 |    Inf 
1117.80/1118.25	c  1098s|350000 |   570 |  3274k|   9.4 |  43M|  59 |   - |1925 |  52k|1925 |1671 |  22k| 463k|7869 | 0.000000e+00 | 1.000000e+00 |    Inf 
1154.21/1154.63	c  1133s|360000 |   653 |  3378k|   9.4 |  46M|  59 |   - |1925 |  58k|1925 |1671 |  22k| 476k|7986 | 0.000000e+00 | 1.000000e+00 |    Inf 
1193.01/1193.43	c  1171s|370000 |   735 |  3484k|   9.4 |  49M|  59 |  28 |1925 |  63k|1925 |1671 |  23k| 490k|8102 | 0.000000e+00 | 1.000000e+00 |    Inf 
1235.21/1235.67	c  1212s|380000 |   829 |  3605k|   9.5 |  52M|  59 |   - |1925 |  68k|1925 |1671 |  24k| 504k|8186 | 0.000000e+00 | 1.000000e+00 |    Inf 
1276.81/1277.22	c  1253s|390000 |   838 |  3723k|   9.5 |  52M|  67 |  26 |1925 |  69k|1925 |1671 |  24k| 518k|8281 | 0.000000e+00 | 1.000000e+00 |    Inf 
1318.10/1318.53	c  1293s|400000 |   787 |  3831k|   9.6 |  51M|  67 |   7 |1925 |  65k|1925 |1671 |  25k| 532k|8380 | 0.000000e+00 | 1.000000e+00 |    Inf 
1357.21/1357.69	c  1332s|410000 |   745 |  3937k|   9.6 |  51M|  67 |   - |1925 |  66k|1925 |1671 |  25k| 546k|8480 | 0.000000e+00 | 1.000000e+00 |    Inf 
1398.21/1398.64	c  1372s|420000 |   686 |  4046k|   9.6 |  48M|  67 |   - |1925 |  58k|   0 |   0 |  26k| 560k|8561 | 0.000000e+00 | 1.000000e+00 |    Inf 
1436.91/1437.35	c  1409s|430000 |   664 |  4152k|   9.7 |  47M|  67 |   - |1925 |  57k|   0 |   0 |  27k| 574k|8659 | 0.000000e+00 | 1.000000e+00 |    Inf 
1473.21/1473.69	c  1445s|440000 |   600 |  4260k|   9.7 |  48M|  67 |  34 |1925 |  60k|1925 |1671 |  27k| 588k|8750 | 0.000000e+00 | 1.000000e+00 |    Inf 
1514.91/1515.39	c  1485s|450000 |   589 |  4373k|   9.7 |  48M|  67 |   - |1925 |  61k|   0 |   0 |  28k| 602k|8852 | 0.000000e+00 | 1.000000e+00 |    Inf 
1552.11/1552.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1552.11/1552.50	c  1521s|460000 |   561 |  4471k|   9.7 |  50M|  67 |  14 |1925 |  66k|1925 |1671 |  29k| 616k|8930 | 0.000000e+00 | 1.000000e+00 |    Inf 
1590.71/1591.18	c  1559s|470000 |   518 |  4571k|   9.7 |  47M|  67 |  20 |1925 |  59k|1925 |1671 |  29k| 629k|9018 | 0.000000e+00 | 1.000000e+00 |    Inf 
1629.81/1630.29	c  1597s|480000 |   476 |  4680k|   9.7 |  46M|  67 |   - |1925 |  58k|   0 |   0 |  30k| 643k|9125 | 0.000000e+00 | 1.000000e+00 |    Inf 
1668.71/1669.17	c  1635s|490000 |   471 |  4796k|   9.8 |  47M|  67 |  21 |1925 |  61k|1925 |1671 |  31k| 656k|9212 | 0.000000e+00 | 1.000000e+00 |    Inf 
1707.61/1708.09	c  1673s|500000 |   471 |  4908k|   9.8 |  48M|  67 |  26 |1925 |  65k|1925 |1671 |  32k| 670k|9330 | 0.000000e+00 | 1.000000e+00 |    Inf 
1749.62/1750.06	c  1714s|510000 |   372 |  5017k|   9.8 |  41M|  67 |  17 |1925 |  43k|1925 |1671 |  32k| 683k|9771 | 0.000000e+00 | 1.000000e+00 |    Inf 
1780.80/1781.27	c  1744s|520000 |   338 |  5114k|   9.8 |  40M|  67 |  26 |1925 |  40k|1925 |1671 |  33k| 696k|9817 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.02/1800.40	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.40	c 
1800.02/1800.40	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.40	c Solving Time (sec) : 1762.23
1800.02/1800.40	c Solving Nodes      : 526270
1800.02/1800.40	c Primal Bound       : +1.00000000000000e+00 (169 solutions)
1800.02/1800.40	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.40	c Gap                : infinite
1800.02/1800.41	s SATISFIABLE
1800.02/1800.41	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.02/1800.41	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 
1800.02/1800.41	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 
1800.02/1800.41	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 
1800.02/1800.41	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.02/1800.41	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.02/1800.41	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.02/1800.41	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.02/1800.41	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.02/1800.41	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.02/1800.41	v -x1 
1800.02/1800.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.41	c Solving Time       :    1762.23
1800.02/1800.41	c Original Problem   :
1800.02/1800.41	c   Problem name     : HOME/instance-2692853-1277907048.wbo
1800.02/1800.41	c   Variables        : 2087 (1159 binary, 0 integer, 0 implicit integer, 928 continuous)
1800.02/1800.41	c   Constraints      : 3636 initial, 3636 maximal
1800.02/1800.41	c Presolved Problem  :
1800.02/1800.41	c   Problem name     : t_HOME/instance-2692853-1277907048.wbo
1800.02/1800.41	c   Variables        : 1925 (1078 binary, 0 integer, 0 implicit integer, 847 continuous)
1800.02/1800.41	c   Constraints      : 3338 initial, 71868 maximal
1800.02/1800.41	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.41	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1800.02/1800.41	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.02/1800.41	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.02/1800.41	c   indicator        :       0.01          0          0          0          0          0         81          0          0
1800.02/1800.41	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   linear           :       0.05          0          0          0        958          0        217        156          0
1800.02/1800.41	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.41	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.41	c   root node        :          -        847          -          -       1694          -          -          -          -
1800.02/1800.41	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.41	c   integral         :          0          0          0     294136          0        160       2076          0          0     570422
1800.02/1800.41	c   indicator        :        847          0     459557       1690          0        107     327033          0          0          0
1800.02/1800.41	c   knapsack         :          1          6    2299715       7212          0      40218    4341366          0          0          0
1800.02/1800.41	c   setppc           :         14          6    2260133       7194          0      31939    1705308          0          0          0
1800.02/1800.41	c   linear           :        847          6    2229375       7227          0      27842    3256458      34288          0          0
1800.02/1800.41	c   logicor          :       1629+         6    1236848        191          0      88067    4692250          0          0          0
1800.02/1800.41	c   bounddisjunction :          0+         0        332          0          0          0          5          0          0          0
1800.02/1800.41	c   countsols        :          0          0          0        191          0          0          0          0          0          0
1800.02/1800.41	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.41	c   integral         :      44.62       0.00       0.00      44.62       0.00
1800.02/1800.41	c   indicator        :       0.78       0.01       0.75       0.02       0.00
1800.02/1800.41	c   knapsack         :      28.82       0.00      28.81       0.01       0.00
1800.02/1800.41	c   setppc           :      13.19       0.00      13.19       0.00       0.00
1800.02/1800.41	c   linear           :      35.03       0.00      34.79       0.24       0.00
1800.02/1800.41	c   logicor          :     393.70       0.00     393.69       0.01       0.00
1800.02/1800.41	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.41	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.41	c   vbounds          :       0.31          2          0          0
1800.02/1800.41	c   rootredcost      :       0.26         37          0        847
1800.02/1800.41	c   pseudoobj        :      38.59    2302722       1054     273951
1800.02/1800.41	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.41	c   propagation      :       7.88     189120     188483    1183347       27.2       5079       24.9          -
1800.02/1800.41	c   infeasible LP    :      19.44      94663      94661     753459       43.1        337       23.1          0
1800.02/1800.41	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.41	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.41	c   pseudo solution  :       0.00         24         24        165       17.7          4       12.0          -
1800.02/1800.41	c   applied globally :          -          -          -     704262       28.4          -          -          -
1800.02/1800.41	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.41	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.41	c   cut pool         :       0.00          5          -          -         41          -    (maximal pool size: 271)
1800.02/1800.41	c   redcost          :       7.33     294501          0      48720          0          0
1800.02/1800.41	c   impliedbounds    :       0.00          6          0          0          0          0
1800.02/1800.41	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.41	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.41	c   gomory           :       0.25          6          0          0       1093          0
1800.02/1800.41	c   strongcg         :       0.21          6          0          0        586          0
1800.02/1800.41	c   cmir             :       0.02          6          0          0          2          0
1800.02/1800.41	c   flowcover        :       0.07          6          0          0          3          0
1800.02/1800.41	c   clique           :       0.00          6          0          0          0          0
1800.02/1800.41	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.41	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.41	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.41	c Pricers            :       Time      Calls       Vars
1800.02/1800.41	c   problem variables:       0.00          0          0
1800.02/1800.41	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.41	c   relpscost        :      44.45     286876        160       2076          0          0     570422
1800.02/1800.41	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.41	c   inference        :       0.00        156          0          0          0          0        312
1800.02/1800.41	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.41	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.41	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.41	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.41	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.41	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.41	c   LP solutions     :       0.02          -         35
1800.02/1800.41	c   pseudo solutions :       0.00          -          0
1800.02/1800.41	c   feaspump         :       0.10          1          0
1800.02/1800.41	c   oneopt           :       0.28         34          0
1800.02/1800.41	c   intshifting      :       0.02         18          0
1800.02/1800.41	c   crossover        :       0.40         16          0
1800.02/1800.41	c   veclendiving     :       0.80         88          0
1800.02/1800.41	c   linesearchdiving :       0.49         88          0
1800.02/1800.41	c   guideddiving     :       0.52         88          1
1800.02/1800.41	c   coefdiving       :       0.54         89          0
1800.02/1800.41	c   pscostdiving     :       0.59         89          0
1800.02/1800.41	c   fracdiving       :       0.66         89          0
1800.02/1800.41	c   objpscostdiving  :       0.83         45          0
1800.02/1800.41	c   rootsoldiving    :       1.61         45          0
1800.02/1800.41	c   trivial          :       0.00          2          0
1800.02/1800.41	c   simplerounding   :       0.42     286961          0
1800.02/1800.41	c   zirounding       :       0.28       1000          0
1800.02/1800.41	c   rounding         :       0.73       7530          0
1800.02/1800.41	c   shifting         :       1.01       2350          0
1800.02/1800.41	c   twoopt           :       0.00          0          0
1800.02/1800.41	c   fixandinfer      :       0.00          0          0
1800.02/1800.41	c   intdiving        :       0.00          0          0
1800.02/1800.41	c   actconsdiving    :       0.00          0          0
1800.02/1800.41	c   octane           :       0.00          0          0
1800.02/1800.41	c   rens             :       0.01          1          0
1800.02/1800.41	c   rins             :       0.00          0          0
1800.02/1800.41	c   localbranching   :       0.00          0          0
1800.02/1800.41	c   mutation         :       0.00          0          0
1800.02/1800.41	c   dins             :       0.00          0          0
1800.02/1800.41	c   undercover       :       0.00          0          0
1800.02/1800.41	c   nlp              :       0.10          0          0
1800.02/1800.41	c   trysol           :       0.36        865        133
1800.02/1800.41	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.41	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.41	c   dual LP          :     733.62     386916    5149159      13.31    7018.84
1800.02/1800.41	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.41	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.41	c   diving/probing LP:       3.72       2969      24119       8.12    6483.60
1800.02/1800.41	c   strong branching :      40.95       9835     259493      26.38    6336.83
1800.02/1800.41	c     (at root node) :          -         33       8577     259.91          -
1800.02/1800.41	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.41	c B&B Tree           :
1800.02/1800.41	c   number of runs   :          1
1800.02/1800.41	c   nodes            :     526270
1800.02/1800.41	c   nodes (total)    :     526270
1800.02/1800.41	c   nodes left       :        399
1800.02/1800.41	c   max depth        :         67
1800.02/1800.41	c   max depth (total):         67
1800.02/1800.41	c   backtracks       :      84631 (16.1%)
1800.02/1800.41	c   delayed cutoffs  :      43673
1800.02/1800.41	c   repropagations   :     813965 (3247833 domain reductions, 41852 cutoffs)
1800.02/1800.41	c   avg switch length:       4.56
1800.02/1800.41	c   switching time   :     256.68
1800.02/1800.41	c Solution           :
1800.02/1800.41	c   Solutions found  :        169 (37 improvements)
1800.02/1800.41	c   First Solution   : +4.34520000000000e+04   (in run 1, after 11 nodes, 4.53 seconds, depth 9, found by <trysol>)
1800.02/1800.41	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 105011 nodes, 267.45 seconds, depth 38, found by <relaxation>)
1800.02/1800.41	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.41	c   Gap              :   infinite
1800.02/1800.41	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.41	c   Root Iterations  :        972
1800.02/1800.49	c Time complete: 1800.11.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692853-1277907048/watcher-2692853-1277907048 -o /tmp/evaluation-result-2692853-1277907048/solver-2692853-1277907048 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692853-1277907048.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13170
/proc/meminfo: memFree=31404476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=9288 CPUtime=0
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1622 0 0 0 0 0 0 0 21 0 1 0 132001126 9510912 1541 4089446400 4194304 8223781 140734364215568 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13170/statm: 2322 1541 369 984 0 1335 0

[startup+0.0708691 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13170
/proc/meminfo: memFree=31404476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=22796 CPUtime=0.06
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 5616 0 0 0 6 0 0 0 21 0 1 0 132001126 23343104 4657 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 5699 4657 446 984 0 4712 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22796

[startup+0.100862 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13170
/proc/meminfo: memFree=31404476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=22796 CPUtime=0.09
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 6909 0 0 0 8 1 0 0 21 0 1 0 132001126 23343104 4665 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 5699 4665 452 984 0 4712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22796

[startup+0.300827 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13170
/proc/meminfo: memFree=31404476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=29252 CPUtime=0.29
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 11359 0 0 0 26 3 0 0 21 0 1 0 132001126 29954048 6406 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 7313 6406 561 984 0 6326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29252

[startup+0.700759 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13170
/proc/meminfo: memFree=31404476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=38576 CPUtime=0.69
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 13519 0 0 0 64 5 0 0 22 0 1 0 132001126 39501824 8526 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 9644 8526 584 984 0 8657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38576

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13171
/proc/meminfo: memFree=31370476/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=39992 CPUtime=1.49
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 17942 0 0 0 141 8 0 0 25 0 1 0 132001126 40951808 8906 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 9998 8906 599 984 0 9011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39992

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13171
/proc/meminfo: memFree=31370228/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=39992 CPUtime=3.09
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 18390 0 0 0 296 13 0 0 25 0 1 0 132001126 40951808 8906 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13170/statm: 9998 8906 599 984 0 9011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39992

[startup+6.30078 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13173
/proc/meminfo: memFree=31370796/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=40252 CPUtime=5.88
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 18664 0 0 0 570 18 0 0 25 0 1 0 132001126 41218048 8978 4089446400 4194304 8223781 140734364215568 18446744073709551615 6614842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 10063 8978 603 984 0 9076 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 40252

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13173
/proc/meminfo: memFree=31369500/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=42704 CPUtime=12.28
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 44731 0 0 0 1202 26 0 0 25 0 1 0 132001126 43728896 9587 4089446400 4194304 8223781 140734364215568 18446744073709551615 6503863 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 10676 9587 605 984 0 9689 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 42704

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13173
/proc/meminfo: memFree=31354128/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=58776 CPUtime=25.08
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 98942 0 0 0 2458 50 0 0 25 0 1 0 132001126 60186624 13528 4089446400 4194304 8223781 140734364215568 18446744073709551615 6537977 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 14694 13528 609 984 0 13707 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 58776

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13173
/proc/meminfo: memFree=31343428/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=69912 CPUtime=50.68
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 175146 0 0 0 4972 96 0 0 25 0 1 0 132001126 71589888 16210 4089446400 4194304 8223781 140734364215568 18446744073709551615 6592395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 17478 16210 609 984 0 16491 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 69912

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13175
/proc/meminfo: memFree=31338432/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=74924 CPUtime=101.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 211018 0 0 0 10016 173 0 0 25 0 1 0 132001126 76722176 17485 4089446400 4194304 8223781 140734364215568 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 18731 17485 609 984 0 17744 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 74924

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13177
/proc/meminfo: memFree=31335304/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=77284 CPUtime=161.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 324348 0 0 0 15917 272 0 0 25 0 1 0 132001126 79138816 18072 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 19321 18072 609 984 0 18334 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 77284

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13177
/proc/meminfo: memFree=31332792/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=79892 CPUtime=221.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 437968 0 0 0 21812 377 0 0 25 0 1 0 132001126 81809408 18578 4089446400 4194304 8223781 140734364215568 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 19973 18578 609 984 0 18986 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 79892

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13179
/proc/meminfo: memFree=31327556/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=84324 CPUtime=281.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 551383 0 0 0 27721 468 0 0 25 0 1 0 132001126 86347776 19565 4089446400 4194304 8223781 140734364215568 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 21081 19565 609 984 0 20094 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 84324

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13181
/proc/meminfo: memFree=31324304/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=86560 CPUtime=341.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 652084 0 0 0 33631 558 0 0 25 0 1 0 132001126 88637440 20016 4089446400 4194304 8223781 140734364215568 18446744073709551615 5000126 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 21640 20016 609 984 0 20653 0
Current children cumulated CPU time (s) 341.89
Current children cumulated vsize (KiB) 86560

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13183
/proc/meminfo: memFree=31322796/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=88432 CPUtime=401.88
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 738615 0 0 0 39544 644 0 0 25 0 1 0 132001126 90554368 20389 4089446400 4194304 8223781 140734364215568 18446744073709551615 6569852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 22108 20389 609 984 0 21121 0
Current children cumulated CPU time (s) 401.88
Current children cumulated vsize (KiB) 88432

[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 13185
/proc/meminfo: memFree=31319060/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=92048 CPUtime=461.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 858498 0 0 0 45457 732 0 0 25 0 1 0 132001126 94257152 21245 4089446400 4194304 8223781 140734364215568 18446744073709551615 4238177 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 23012 21245 609 984 0 22025 0
Current children cumulated CPU time (s) 461.89
Current children cumulated vsize (KiB) 92048

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13185
/proc/meminfo: memFree=31315068/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=96084 CPUtime=521.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 916505 0 0 0 51384 805 0 0 25 0 1 0 132001126 98390016 22240 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 24021 22240 609 984 0 23034 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 96084

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13187
/proc/meminfo: memFree=31312568/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=98544 CPUtime=581.89
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 993118 0 0 0 57311 878 0 0 25 0 1 0 132001126 100909056 22851 4089446400 4194304 8223781 140734364215568 18446744073709551615 6003449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 24636 22851 609 984 0 23649 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 98544

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13189
/proc/meminfo: memFree=31309196/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=101452 CPUtime=641.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1056514 0 0 0 63246 944 0 0 25 0 1 0 132001126 103886848 23594 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13170/statm: 25363 23594 609 984 0 24376 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 101452

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13221
/proc/meminfo: memFree=31014792/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=108912 CPUtime=821.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1230725 0 0 0 80879 1311 0 0 25 0 1 0 132001126 111525888 25513 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 27228 25513 609 984 0 26241 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 108912

[startup+882.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 13223
/proc/meminfo: memFree=30871424/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=110404 CPUtime=881.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1268304 0 0 0 86750 1440 0 0 25 0 1 0 132001126 113053696 25915 4089446400 4194304 8223781 140734364215568 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 27601 25915 609 984 0 26614 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 110404

[startup+942.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 13225
/proc/meminfo: memFree=30731028/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=111328 CPUtime=941.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1310955 0 0 0 92616 1574 0 0 25 0 1 0 132001126 113999872 26087 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 27832 26087 609 984 0 26845 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 111328

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13227
/proc/meminfo: memFree=30595708/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=112292 CPUtime=1001.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1369448 0 0 0 98471 1719 0 0 25 0 1 0 132001126 114987008 26220 4089446400 4194304 8223781 140734364215568 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 28073 26220 609 984 0 27086 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 112292

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13229
/proc/meminfo: memFree=30414016/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=115228 CPUtime=1061.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1454351 0 0 0 104321 1869 0 0 25 0 1 0 132001126 117993472 26727 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 28807 26727 609 984 0 27820 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 115228

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13274
/proc/meminfo: memFree=31214852/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=115948 CPUtime=1121.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1526617 0 0 0 110157 2033 0 0 25 0 1 0 132001126 118730752 26787 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 28987 26787 609 984 0 28000 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 115948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13276
/proc/meminfo: memFree=31189768/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=116164 CPUtime=1181.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1596189 0 0 0 116007 2183 0 0 25 0 1 0 132001126 118951936 26825 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29041 26825 609 984 0 28054 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 116164

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13278
/proc/meminfo: memFree=31167032/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=117032 CPUtime=1241.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1652593 0 0 0 121874 2317 0 0 25 0 1 0 132001126 119840768 27049 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29258 27049 609 984 0 28271 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 117032

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13280
/proc/meminfo: memFree=31153004/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=118220 CPUtime=1301.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1660329 0 0 0 127747 2444 0 0 25 0 1 0 132001126 121057280 27275 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29555 27275 609 984 0 28568 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 118220

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13285
/proc/meminfo: memFree=31143152/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=118220 CPUtime=1361.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1661614 0 0 0 133623 2568 0 0 25 0 1 0 132001126 121057280 27331 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29555 27331 609 984 0 28568 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 118220

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13285
/proc/meminfo: memFree=31128864/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=118880 CPUtime=1421.92
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1663237 0 0 0 139475 2717 0 0 25 0 1 0 132001126 121733120 27495 4089446400 4194304 8223781 140734364215568 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29720 27495 609 984 0 28733 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 118880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13287
/proc/meminfo: memFree=31112844/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=119452 CPUtime=1481.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1664916 0 0 0 145306 2885 0 0 25 0 1 0 132001126 122318848 27572 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29863 27572 609 984 0 28876 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 119452

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13289
/proc/meminfo: memFree=31099040/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=119452 CPUtime=1541.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1666363 0 0 0 151153 3038 0 0 25 0 1 0 132001126 122318848 27573 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 29863 27573 609 984 0 28876 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 119452

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13291
/proc/meminfo: memFree=31088952/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=120932 CPUtime=1601.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1667476 0 0 0 157001 3190 0 0 25 0 1 0 132001126 123834368 27973 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 30233 27973 609 984 0 29246 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 120932

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/195 13293
/proc/meminfo: memFree=31088424/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=121044 CPUtime=1661.9
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1669114 0 0 0 162831 3359 0 0 25 0 1 0 132001126 123949056 28028 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 30261 28028 609 984 0 29274 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 121044

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/195 13293
/proc/meminfo: memFree=31075120/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=123312 CPUtime=1721.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1679864 0 0 0 168667 3524 0 0 25 0 1 0 132001126 126271488 28530 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 30828 28530 609 984 0 29841 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 123312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13295
/proc/meminfo: memFree=31067512/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=124028 CPUtime=1781.91
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1723902 0 0 0 174472 3719 0 0 25 0 1 0 132001126 127004672 28613 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 31007 28613 609 984 0 30020 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 124028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 13295
/proc/meminfo: memFree=31065764/32951132 swapFree=67111528/67111528
[pid=13170] ppid=13168 vsize=124028 CPUtime=1800.02
/proc/13170/stat : 13170 (pbscip.linux.x8) R 13168 13170 11876 0 -1 4202496 1736017 0 0 0 176225 3777 0 0 25 0 1 0 132001126 127004672 28717 4089446400 4194304 8223781 140734364215568 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13170/statm: 31007 28717 609 984 0 30020 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 124028

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

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

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.12
CPU user time (s): 1762.34
CPU system time (s): 37.7753
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 124212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.34
system time used= 37.7753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1736028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2688

runsolver used 2.39764 second user time and 5.83211 second system time

The end

Launcher Data 

Begin job on node128 at 2010-06-30 16:10:48
IDJOB=2692853
IDBENCH=78945
IDSOLVER=1204
FILE ID=node128/2692853-1277907048
PBS_JOBID= 11197202
Free space on /tmp= 74204 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.1900581320--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-2692853-1277907048/watcher-2692853-1277907048 -o /tmp/evaluation-result-2692853-1277907048/solver-2692853-1277907048 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692853-1277907048.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4c1853ff60c53f26c44f2cbc4e9273c7
RANDOM SEED=342459657

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31405252 kB
Buffers:        193876 kB
Cached:        1017008 kB
SwapCached:          0 kB
Active:         613592 kB
Inactive:       789676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31405252 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4720 kB
Writeback:           0 kB
AnonPages:      192628 kB
Mapped:          17684 kB
Slab:            77520 kB
PageTables:       5072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   344860 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= 74208 MiB
End job on node128 at 2010-06-30 16:40:51