Trace number 2693533

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693533-1277909156.wbo>
0.00/0.02	c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.03	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.02/0.07	c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.02/0.09	c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10	c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14	c    (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14	c  1118 implications, 12 cliques
0.09/0.14	c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14	c     851 constraints of type <indicator>
0.09/0.14	c      12 constraints of type <setppc>
0.09/0.14	c     851 constraints of type <linear>
0.09/0.14	c    1730 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.10
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    41 |     - |8736k|   0 |  35 |1933 |3444 |1933 |1742 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.1s|     1 |     0 |    80 |     - |8835k|   0 |  44 |1933 |3444 |1933 |1759 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   168 |     - |9173k|   0 |  48 |1933 |3444 |1933 |1775 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   325 |     - |9231k|   0 |  38 |1933 |3444 |1933 |1787 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   425 |     - |9328k|   0 |  21 |1933 |3444 |1933 |1794 |  52 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.77	c   0.7s|     1 |     0 |  1948 |     - |9378k|   0 | 114 |1933 |3444 |1933 |1796 |  54 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.03	c   1.0s|     1 |     0 |  2508 |     - |9878k|   0 | 139 |1933 |3444 |1933 |1834 |  92 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.27	c   1.2s|     1 |     0 |  2945 |     - |  10M|   0 | 140 |1933 |3444 |1933 |1856 | 114 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.61	c   1.6s|     1 |     0 |  3780 |     - |  10M|   0 | 160 |1933 |3444 |1933 |1864 | 122 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.86	c   1.8s|     1 |     0 |  4237 |     - |  12M|   0 | 166 |1933 |3444 |1933 |1888 | 146 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.99/7.09	c   7.0s|     1 |     2 |  4237 |     - |  12M|   0 | 166 |1933 |3444 |1933 |1888 | 146 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
6.99/7.09	o 41732
6.99/7.09	c y 7.0s|     2 |     1 |  4237 |   0.0 |  12M|   1 |   - |1933 |3444 |   0 |   0 | 146 |   0 |  33 | 0.000000e+00 | 4.173200e+04 |    Inf 
29.19/29.23	o 731
29.19/29.23	c *28.7s|  4175 |  4102 | 20676 |   3.9 |  21M|  75 |   - |1933 |3487 |1933 |1863 |1357 |  50 | 646 | 0.000000e+00 | 7.310000e+02 |    Inf 
32.39/32.43	o 723
32.39/32.43	c *31.8s|  6119 |  6005 | 29063 |   4.1 |  25M|  75 |   - |1933 |3540 |1933 |1880 |2312 | 110 | 709 | 0.000000e+00 | 7.230000e+02 |    Inf 
36.19/36.23	o 721
36.19/36.23	c *35.5s|  7647 |  7495 | 43815 |   5.2 |  28M|  89 |   - |1933 |3585 |1933 |1860 |3036 | 175 | 763 | 0.000000e+00 | 7.210000e+02 |    Inf 
38.09/38.19	o 714
38.09/38.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.09/38.19	c *37.4s|  8532 |  8340 | 51845 |   5.6 |  29M|  89 |   - |1933 |3639 |1933 |1901 |3467 | 245 | 763 | 0.000000e+00 | 7.140000e+02 |    Inf 
38.09/38.20	o 680
38.09/38.20	c *37.4s|  8533 |  8293 | 51847 |   5.6 |  29M|  89 |   - |1933 |3639 |1933 |1901 |3467 | 245 | 763 | 0.000000e+00 | 6.800000e+02 |    Inf 
39.60/39.69	o 6
39.60/39.69	c *38.8s|  9913 |   265 | 53928 |   5.0 |  16M| 390 |   - |1933 |3639 |1933 |1880 |3557 | 255 | 763 | 0.000000e+00 | 6.000000e+00 |    Inf 
39.89/39.96	c  39.1s| 10000 |   253 | 55730 |   5.1 |  16M| 390 |  27 |1933 |2904 |1933 |1860 |3557 | 358 | 764 | 0.000000e+00 | 6.000000e+00 |    Inf 
64.69/64.78	c  62.9s| 20000 |   218 |216320 |  10.6 |  20M| 390 |   - |1933 |  11k|1933 |1860 |4910 |  12k|1304 | 0.000000e+00 | 6.000000e+00 |    Inf 
89.29/89.33	c  86.5s| 30000 |   230 |368345 |  12.1 |  23M| 390 |  32 |1933 |  16k|1933 |1860 |5898 |  25k|1809 | 0.000000e+00 | 6.000000e+00 |    Inf 
111.89/111.95	c   108s| 40000 |   284 |505868 |  12.5 |  25M| 390 |  27 |1933 |  20k|1933 |1860 |6827 |  38k|1849 | 0.000000e+00 | 6.000000e+00 |    Inf 
134.99/135.00	c   131s| 50000 |   327 |636430 |  12.6 |  26M| 390 |  21 |1933 |  22k|1933 |1860 |7762 |  51k|1854 | 0.000000e+00 | 6.000000e+00 |    Inf 
161.09/161.18	c   156s| 60000 |   410 |776102 |  12.9 |  28M| 390 |  20 |1933 |  23k|1933 |1860 |9024 |  64k|2233 | 0.000000e+00 | 6.000000e+00 |    Inf 
186.70/186.78	c   180s| 70000 |   480 |910228 |  12.9 |  30M| 390 |  20 |1933 |  25k|1933 |1860 |9976 |  78k|2508 | 0.000000e+00 | 6.000000e+00 |    Inf 
214.09/214.16	c   207s| 80000 |   539 |  1055k|  13.1 |  31M| 390 |  10 |1933 |  25k|1933 |1860 |  10k|  92k|2918 | 0.000000e+00 | 6.000000e+00 |    Inf 
240.59/240.67	c   232s| 90000 |   583 |  1192k|  13.2 |  31M| 390 |  18 |1933 |  24k|1933 |1860 |  12k| 106k|3266 | 0.000000e+00 | 6.000000e+00 |    Inf 
264.10/264.11	c   255s|100000 |   806 |  1311k|  13.1 |  34M| 390 |   - |1933 |  28k|1933 |1868 |  13k| 119k|3432 | 0.000000e+00 | 6.000000e+00 |    Inf 
288.79/288.88	c   279s|110000 |   920 |  1436k|  13.0 |  36M| 390 |   - |1933 |  30k|   0 |   0 |  14k| 132k|3662 | 0.000000e+00 | 6.000000e+00 |    Inf 
313.20/313.23	c   302s|120000 |   960 |  1556k|  12.9 |  36M| 390 |  21 |1933 |  30k|1933 |1869 |  15k| 145k|3852 | 0.000000e+00 | 6.000000e+00 |    Inf 
339.10/339.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
339.10/339.13	c   328s|130000 |  1013 |  1686k|  12.9 |  38M| 390 |  17 |1933 |  32k|1933 |1860 |  16k| 159k|4046 | 0.000000e+00 | 6.000000e+00 |    Inf 
364.90/364.93	c   352s|140000 |  1202 |  1812k|  12.9 |  39M| 390 |   - |1933 |  32k|1933 |1860 |  18k| 172k|4325 | 0.000000e+00 | 6.000000e+00 |    Inf 
391.10/391.13	c   378s|150000 |  1217 |  1942k|  12.9 |  39M| 390 |   - |1933 |  30k|   0 |   0 |  19k| 185k|4543 | 0.000000e+00 | 6.000000e+00 |    Inf 
415.50/415.53	c   401s|160000 |  1386 |  2066k|  12.9 |  42M| 390 |  12 |1933 |  35k|1933 |1867 |  20k| 199k|4685 | 0.000000e+00 | 6.000000e+00 |    Inf 
441.60/441.61	c   427s|170000 |  1408 |  2194k|  12.9 |  43M| 390 |   - |1933 |  35k|1933 |1867 |  20k| 213k|4840 | 0.000000e+00 | 6.000000e+00 |    Inf 
468.70/468.72	c   453s|180000 |  1472 |  2328k|  12.9 |  43M| 390 |   - |1933 |  34k|1933 |1860 |  21k| 226k|5093 | 0.000000e+00 | 6.000000e+00 |    Inf 
496.20/496.27	c   480s|190000 |  1538 |  2461k|  12.9 |  46M| 390 |   - |1933 |  38k|1933 |1872 |  23k| 239k|5336 | 0.000000e+00 | 6.000000e+00 |    Inf 
523.61/523.63	c   506s|200000 |  1543 |  2590k|  12.9 |  44M| 390 |   - |1933 |  31k|   0 |   0 |  24k| 253k|5630 | 0.000000e+00 | 6.000000e+00 |    Inf 
550.10/550.10	c   532s|210000 |  1436 |  2716k|  12.9 |  43M| 390 |   - |1933 |  29k|1933 |1860 |  25k| 266k|5734 | 0.000000e+00 | 6.000000e+00 |    Inf 
576.41/576.44	c   557s|220000 |  1316 |  2843k|  12.9 |  41M| 390 |  17 |1933 |  25k|1933 |1860 |  25k| 280k|5905 | 0.000000e+00 | 6.000000e+00 |    Inf 
602.20/602.23	c   582s|230000 |   906 |  2978k|  12.9 |  36M| 390 |  20 |1933 |  21k|1933 |1860 |  26k| 294k|6097 | 0.000000e+00 | 6.000000e+00 |    Inf 
626.91/626.98	c   606s|240000 |  1098 |  3110k|  12.9 |  39M| 390 |  25 |1933 |  28k|1933 |1860 |  27k| 307k|6284 | 0.000000e+00 | 6.000000e+00 |    Inf 
652.50/652.55	c   631s|250000 |  1261 |  3233k|  12.9 |  42M| 390 |   1 |1933 |  32k|1933 |1860 |  28k| 321k|6423 | 0.000000e+00 | 6.000000e+00 |    Inf 
681.41/681.41	c   659s|260000 |  1599 |  3378k|  13.0 |  46M| 390 |  24 |1933 |  37k|1933 |1860 |  29k| 335k|6622 | 0.000000e+00 | 6.000000e+00 |    Inf 
711.10/711.17	c   687s|270000 |  1710 |  3525k|  13.0 |  48M| 390 |   - |1933 |  38k|   0 |   0 |  30k| 349k|6824 | 0.000000e+00 | 6.000000e+00 |    Inf 
739.12/739.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
739.12/739.17	c   714s|280000 |  1794 |  3659k|  13.1 |  50M| 390 |  31 |1933 |  42k|1933 |1860 |  31k| 363k|6978 | 0.000000e+00 | 6.000000e+00 |    Inf 
769.01/769.05	c   743s|290000 |  1849 |  3805k|  13.1 |  48M| 390 |  19 |1933 |  35k|1933 |1860 |  32k| 377k|7149 | 0.000000e+00 | 6.000000e+00 |    Inf 
797.41/797.50	c   771s|300000 |  1990 |  3951k|  13.2 |  51M| 390 |  23 |1933 |  38k|1933 |1860 |  34k| 391k|7294 | 0.000000e+00 | 6.000000e+00 |    Inf 
824.41/824.41	c   797s|310000 |  2053 |  4084k|  13.2 |  50M| 390 |   - |1933 |  31k|   0 |   0 |  35k| 404k|7430 | 0.000000e+00 | 6.000000e+00 |    Inf 
851.42/851.42	c   823s|320000 |  1871 |  4215k|  13.2 |  47M| 390 |   - |1933 |  26k|1933 |1860 |  36k| 419k|7568 | 0.000000e+00 | 6.000000e+00 |    Inf 
878.31/878.35	c   849s|330000 |  1271 |  4357k|  13.2 |  42M| 390 |   - |1933 |  24k|   0 |   0 |  37k| 433k|7711 | 0.000000e+00 | 6.000000e+00 |    Inf 
903.22/903.26	c   873s|340000 |  1435 |  4484k|  13.2 |  45M| 390 |  18 |1933 |  29k|1933 |1860 |  38k| 446k|7866 | 0.000000e+00 | 6.000000e+00 |    Inf 
928.32/928.32	c   897s|350000 |  1748 |  4619k|  13.2 |  48M| 390 |   - |1933 |  33k|   0 |   0 |  39k| 459k|7980 | 0.000000e+00 | 6.000000e+00 |    Inf 
954.51/954.51	c   922s|360000 |  2012 |  4753k|  13.2 |  49M| 390 |   - |1933 |  31k|1933 |1870 |  40k| 473k|8084 | 0.000000e+00 | 6.000000e+00 |    Inf 
979.92/979.90	c   947s|370000 |  2145 |  4881k|  13.2 |  50M| 390 |   - |1933 |  30k|1933 |1860 |  41k| 486k|8209 | 0.000000e+00 | 6.000000e+00 |    Inf 
1005.81/1005.82	c   972s|380000 |  2307 |  5017k|  13.2 |  52M| 390 |   - |1933 |  32k|   0 |   0 |  43k| 500k|8325 | 0.000000e+00 | 6.000000e+00 |    Inf 
1032.02/1032.06	c   997s|390000 |  2382 |  5153k|  13.2 |  53M| 390 |  18 |1933 |  31k|1933 |1860 |  44k| 513k|8461 | 0.000000e+00 | 6.000000e+00 |    Inf 
1057.02/1057.06	c  1021s|400000 |  2522 |  5274k|  13.2 |  55M| 390 |  22 |1933 |  34k|1933 |1860 |  45k| 527k|8572 | 0.000000e+00 | 6.000000e+00 |    Inf 
1082.92/1082.92	c  1046s|410000 |  2666 |  5405k|  13.2 |  57M| 390 |   - |1933 |  34k|   0 |   0 |  46k| 540k|8670 | 0.000000e+00 | 6.000000e+00 |    Inf 
1108.12/1108.19	c  1071s|420000 |  2712 |  5531k|  13.2 |  57M| 390 |  29 |1933 |  32k|1933 |1860 |  47k| 554k|8751 | 0.000000e+00 | 6.000000e+00 |    Inf 
1134.32/1134.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1134.32/1134.34	c  1096s|430000 |  2832 |  5660k|  13.2 |  57M| 390 |   8 |1933 |  31k|1933 |1860 |  48k| 567k|8904 | 0.000000e+00 | 6.000000e+00 |    Inf 
1160.62/1160.69	c  1121s|440000 |  2989 |  5793k|  13.2 |  60M| 390 |   - |1933 |  33k|1933 |1860 |  50k| 580k|9008 | 0.000000e+00 | 6.000000e+00 |    Inf 
1186.92/1186.94	c  1147s|450000 |  2826 |  5928k|  13.2 |  59M| 390 |   - |1933 |  31k|   0 |   0 |  51k| 594k|9156 | 0.000000e+00 | 6.000000e+00 |    Inf 
1213.92/1213.90	c  1173s|460000 |  2928 |  6070k|  13.2 |  61M| 390 |  19 |1933 |  34k|1933 |1860 |  52k| 607k|9354 | 0.000000e+00 | 6.000000e+00 |    Inf 
1241.93/1241.91	c  1200s|470000 |  3218 |  6220k|  13.2 |  64M| 390 |  13 |1933 |  39k|1933 |1860 |  54k| 621k|9456 | 0.000000e+00 | 6.000000e+00 |    Inf 
1270.22/1270.26	c  1227s|480000 |  3359 |  6364k|  13.3 |  68M| 390 |   8 |1933 |  45k|1933 |1860 |  55k| 634k|9568 | 0.000000e+00 | 6.000000e+00 |    Inf 
1299.52/1299.51	c  1256s|490000 |  3383 |  6509k|  13.3 |  68M| 390 |  10 |1933 |  44k|1933 |1860 |  55k| 648k|9719 | 0.000000e+00 | 6.000000e+00 |    Inf 
1329.02/1329.05	c  1284s|500000 |  3425 |  6655k|  13.3 |  69M| 390 |  22 |1933 |  45k|1933 |1860 |  56k| 661k|9813 | 0.000000e+00 | 6.000000e+00 |    Inf 
1358.32/1358.32	c  1312s|510000 |  3591 |  6795k|  13.3 |  71M| 390 |   - |1933 |  48k|1933 |1860 |  57k| 675k|9902 | 0.000000e+00 | 6.000000e+00 |    Inf 
1388.93/1388.94	c  1342s|520000 |  3510 |  6937k|  13.3 |  69M| 390 |   - |1933 |  41k|1933 |1860 |  59k| 689k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1417.32/1417.39	c  1370s|530000 |  3265 |  7066k|  13.3 |  67M| 390 |  12 |1933 |  40k|1933 |1860 |  60k| 702k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1445.53/1445.57	c  1397s|540000 |  3532 |  7196k|  13.3 |  70M| 390 |  22 |1933 |  44k|1933 |1860 |  62k| 715k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1473.33/1473.30	c  1424s|550000 |  3827 |  7322k|  13.3 |  73M| 390 |  17 |1933 |  46k|1933 |1860 |  63k| 728k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1502.03/1502.02	c  1452s|560000 |  3955 |  7446k|  13.3 |  74M| 390 |   - |1933 |  48k|1933 |1860 |  64k| 741k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1532.24/1532.22	c  1481s|570000 |  4099 |  7577k|  13.3 |  76M| 390 |  10 |1933 |  49k|1933 |1860 |  66k| 755k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1562.63/1562.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1562.63/1562.69	c  1510s|580000 |  4136 |  7721k|  13.3 |  77M| 390 |   - |1933 |  47k|1933 |1860 |  67k| 768k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1592.33/1592.37	c  1539s|590000 |  4199 |  7858k|  13.3 |  75M| 390 |  22 |1933 |  41k|1933 |1860 |  68k| 781k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1624.83/1624.80	c  1570s|600000 |  4347 |  8001k|  13.3 |  78M| 390 |  23 |1933 |  44k|1933 |1860 |  69k| 794k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1657.23/1657.22	c  1602s|610000 |  4454 |  8145k|  13.3 |  80M| 390 |   - |1933 |  47k|   0 |   0 |  69k| 807k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1689.44/1689.42	c  1633s|620000 |  4458 |  8288k|  13.4 |  80M| 390 |  25 |1933 |  45k|1933 |1860 |  69k| 821k|  11k| 0.000000e+00 | 6.000000e+00 |    Inf 
1719.84/1719.87	c  1663s|630000 |  4613 |  8430k|  13.4 |  81M| 390 |  17 |1933 |  44k|1933 |1866 |  70k| 835k|  11k| 0.000000e+00 | 6.000000e+00 |    Inf 
1748.04/1748.07	c  1690s|640000 |  4796 |  8566k|  13.4 |  83M| 390 |  19 |1933 |  47k|1933 |1860 |  71k| 848k|  11k| 0.000000e+00 | 6.000000e+00 |    Inf 
1778.14/1778.17	c  1719s|650000 |  4948 |  8715k|  13.4 |  85M| 390 |  12 |1933 |  50k|1933 |1860 |  73k| 861k|  11k| 0.000000e+00 | 6.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1740.38
1800.05/1800.01	c Solving Nodes      : 657555
1800.05/1800.01	c Primal Bound       : +6.00000000000000e+00 (106 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.02	s SATISFIABLE
1800.05/1800.02	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.05/1800.02	v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.02	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1800.05/1800.02	v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.02	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.05/1800.02	v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.02	v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.02	v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.05/1800.02	v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.02	v -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 -x3 -x2 
1800.05/1800.02	v -x1 
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Solving Time       :    1740.38
1800.05/1800.02	c Original Problem   :
1800.05/1800.02	c   Problem name     : HOME/instance-2693533-1277909156.wbo
1800.05/1800.02	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.02	c   Constraints      : 3614 initial, 3614 maximal
1800.05/1800.02	c Presolved Problem  :
1800.05/1800.02	c   Problem name     : t_HOME/instance-2693533-1277909156.wbo
1800.05/1800.02	c   Variables        : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.05/1800.02	c   Constraints      : 3444 initial, 53320 maximal
1800.05/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.02	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.02	c   dualfix          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.02	c   indicator        :       0.00          0          0          0          0          0         55          0          0
1800.05/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   linear           :       0.05          0          0          0        906          0        115         55          0
1800.05/1800.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.02	c   root node        :          -        799          -          -       1598          -          -          -          -
1800.05/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   integral         :          0          0          0     370938          0        670       5279          0          0     690458
1800.05/1800.02	c   indicator        :        851          0    2801672      20495          0          9     106482          0          0          0
1800.05/1800.02	c   setppc           :         12          9    2802634      15363          0      53643    2070605          0          0          0
1800.05/1800.02	c   linear           :        851          9    2756170      20510          0      61705    9807378      74492          0          0
1800.05/1800.02	c   logicor          :       1730+         9    1488724       8483          0      74720    5253188          0          0          0
1800.05/1800.02	c   countsols        :          0          0          0       8483          0          0          0          0          0          0
1800.05/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.02	c   integral         :      54.42       0.00       0.00      54.42       0.00
1800.05/1800.02	c   indicator        :       3.24       0.00       2.53       0.71       0.00
1800.05/1800.02	c   setppc           :      14.34       0.00      14.33       0.01       0.00
1800.05/1800.02	c   linear           :      61.30       0.00      60.97       0.33       0.00
1800.05/1800.02	c   logicor          :     265.57       0.00     265.46       0.11       0.00
1800.05/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.02	c   vbounds          :       0.90          2          0          0
1800.05/1800.02	c   rootredcost      :       0.61          7          0        799
1800.05/1800.02	c   pseudoobj        :      45.83    2809666         24      72466
1800.05/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.02	c   propagation      :       8.13     190092     189438    1078465       26.8       4859       26.5          -
1800.05/1800.02	c   infeasible LP    :      26.14     146802     146802    1070258       42.7       1153       18.9          0
1800.05/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.02	c   applied globally :          -          -          -     871026       30.1          -          -          -
1800.05/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.02	c   cut pool         :       0.00          8          -          -         41          -    (maximal pool size: 1150)
1800.05/1800.02	c   redcost          :       9.27     371279          0      16327          0          0
1800.05/1800.02	c   impliedbounds    :       0.00          9          0          0          0          0
1800.05/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.02	c   gomory           :       0.45          9          0          0       1173          0
1800.05/1800.02	c   strongcg         :       0.31          9          0          0       2368          0
1800.05/1800.02	c   cmir             :       0.05          9          0          0          3          0
1800.05/1800.02	c   flowcover        :       0.08          9          0          0          3          0
1800.05/1800.02	c   clique           :       0.01          9          0          0          0          0
1800.05/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.02	c Pricers            :       Time      Calls       Vars
1800.05/1800.02	c   problem variables:       0.00          0          0
1800.05/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   relpscost        :      54.25     350410        670       5279          0          0     690458
1800.05/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   inference        :       0.63       8477          0          0          0          0      16954
1800.05/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.02	c   LP solutions     :       0.01          -          6
1800.05/1800.02	c   pseudo solutions :       0.00          -          0
1800.05/1800.02	c   oneopt           :       0.35          6          0
1800.05/1800.02	c   feaspump         :       0.05          1          0
1800.05/1800.02	c   crossover        :       0.50         12          0
1800.05/1800.02	c   fracdiving       :       0.72        424          0
1800.05/1800.02	c   veclendiving     :       0.47        424          0
1800.05/1800.02	c   linesearchdiving :       0.56        424          0
1800.05/1800.02	c   guideddiving     :       0.72        425          0
1800.05/1800.02	c   coefdiving       :       0.45        425          0
1800.05/1800.02	c   pscostdiving     :       0.55        425          0
1800.05/1800.02	c   rootsoldiving    :       0.35        323          0
1800.05/1800.02	c   objpscostdiving  :       0.37        323          0
1800.05/1800.02	c   trivial          :       0.01          2          0
1800.05/1800.02	c   simplerounding   :       0.59     350419          0
1800.05/1800.02	c   zirounding       :       0.31       1000          0
1800.05/1800.02	c   rounding         :       1.01       8343          0
1800.05/1800.02	c   shifting         :       0.76       2602          0
1800.05/1800.02	c   intshifting      :       0.03         17          0
1800.05/1800.02	c   twoopt           :       0.00          0          0
1800.05/1800.02	c   fixandinfer      :       0.00          0          0
1800.05/1800.02	c   intdiving        :       0.00          0          0
1800.05/1800.02	c   actconsdiving    :       0.00          0          0
1800.05/1800.02	c   octane           :       0.00          0          0
1800.05/1800.02	c   rens             :       0.05          1          0
1800.05/1800.02	c   rins             :       0.00          0          0
1800.05/1800.02	c   localbranching   :       0.00          0          0
1800.05/1800.02	c   mutation         :       0.00          0          0
1800.05/1800.02	c   dins             :       0.00          0          0
1800.05/1800.02	c   undercover       :       0.00          0          0
1800.05/1800.02	c   nlp              :       0.21          0          0
1800.05/1800.02	c   trysol           :       0.41       1162        100
1800.05/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.02	c   dual LP          :     895.89     507236    8799615      17.35    9822.20
1800.05/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.02	c   diving/probing LP:       2.09       1220      10327       8.46    4941.15
1800.05/1800.02	c   strong branching :      51.09      11350     416652      36.71    8155.26
1800.05/1800.02	c     (at root node) :          -         33      28697     869.61          -
1800.05/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.02	c B&B Tree           :
1800.05/1800.02	c   number of runs   :          1
1800.05/1800.02	c   nodes            :     657555
1800.05/1800.02	c   nodes (total)    :     657555
1800.05/1800.02	c   nodes left       :       5320
1800.05/1800.02	c   max depth        :        390
1800.05/1800.02	c   max depth (total):        390
1800.05/1800.02	c   backtracks       :      93999 (14.3%)
1800.05/1800.02	c   delayed cutoffs  :      35025
1800.05/1800.02	c   repropagations   :     974296 (3059901 domain reductions, 32370 cutoffs)
1800.05/1800.02	c   avg switch length:       4.58
1800.05/1800.02	c   switching time   :     202.80
1800.05/1800.02	c Solution           :
1800.05/1800.02	c   Solutions found  :        106 (7 improvements)
1800.05/1800.02	c   First Solution   : +4.17320000000000e+04   (in run 1, after 1 nodes, 1.85 seconds, depth 0, found by <trysol>)
1800.05/1800.02	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 9913 nodes, 38.81 seconds, depth 390, found by <relaxation>)
1800.05/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.02	c   Gap              :   infinite
1800.05/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.02	c   Root Iterations  :       4237
1800.15/1800.14	c Time complete: 1800.18.

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693533-1277909156/watcher-2693533-1277909156 -o /tmp/evaluation-result-2693533-1277909156/solver-2693533-1277909156 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693533-1277909156.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.06 2.42 2.33 4/178 13358
/proc/meminfo: memFree=31213084/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=11000 CPUtime=0
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 1673 0 0 0 0 0 0 0 25 0 1 0 132212567 11264000 1594 4089446400 4194304 9819077 140734129442048 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13358/statm: 2750 1595 392 1374 0 1371 0

[startup+0.0366399 s]
/proc/loadavg: 2.06 2.42 2.33 4/178 13358
/proc/meminfo: memFree=31213084/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=22028 CPUtime=0.02
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 4871 0 0 0 2 0 0 0 25 0 1 0 132212567 22556672 4438 4089446400 4194304 9819077 140734129442048 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 5507 4438 452 1374 0 4128 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22028

[startup+0.100612 s]
/proc/loadavg: 2.06 2.42 2.33 4/178 13358
/proc/meminfo: memFree=31213084/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=24804 CPUtime=0.09
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 7395 0 0 0 8 1 0 0 25 0 1 0 132212567 25399296 4906 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 6201 4906 504 1374 0 4822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24804

[startup+0.300647 s]
/proc/loadavg: 2.06 2.42 2.33 4/178 13358
/proc/meminfo: memFree=31213084/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=33352 CPUtime=0.29
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 10131 0 0 0 28 1 0 0 25 0 1 0 132212567 34152448 6719 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 8338 6719 679 1374 0 6959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33352

[startup+0.700568 s]
/proc/loadavg: 2.06 2.42 2.33 4/178 13358
/proc/meminfo: memFree=31213084/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=34092 CPUtime=0.69
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 11884 0 0 0 67 2 0 0 25 0 1 0 132212567 34910208 6892 4089446400 4194304 9819077 140734129442048 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 8523 6892 679 1374 0 7144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34092

[startup+1.50036 s]
/proc/loadavg: 2.06 2.42 2.33 3/179 13359
/proc/meminfo: memFree=31186408/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=37692 CPUtime=1.49
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 14730 0 0 0 146 3 0 0 25 0 1 0 132212567 38596608 7772 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 9423 7772 680 1374 0 8044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37692

[startup+3.10108 s]
/proc/loadavg: 2.06 2.42 2.33 3/179 13359
/proc/meminfo: memFree=31182812/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=42704 CPUtime=3.09
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 32748 0 0 0 302 7 0 0 25 0 1 0 132212567 43728896 8205 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 10676 8205 730 1374 0 9297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42704

[startup+6.30058 s]
/proc/loadavg: 2.06 2.41 2.32 3/179 13359
/proc/meminfo: memFree=31182364/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=42680 CPUtime=6.29
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 54174 0 0 0 619 10 0 0 25 0 1 0 132212567 43704320 8206 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 10670 8206 730 1374 0 9291 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42680

[startup+12.7004 s]
/proc/loadavg: 2.05 2.40 2.32 3/179 13359
/proc/meminfo: memFree=31181988/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=42176 CPUtime=12.69
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 96841 0 0 0 1250 19 0 0 25 0 1 0 132212567 43188224 8208 4089446400 4194304 9819077 140734129442048 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 10544 8208 730 1374 0 9165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42176

[startup+25.5011 s]
/proc/loadavg: 2.04 2.38 2.32 3/179 13359
/proc/meminfo: memFree=31179128/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=42732 CPUtime=25.49
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 223787 0 0 0 2504 45 0 0 25 0 1 0 132212567 43757568 9063 4089446400 4194304 9819077 140734129442048 18446744073709551615 6518770 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13358/statm: 10683 9063 738 1374 0 9304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42732

[startup+51.1006 s]
/proc/loadavg: 2.02 2.35 2.31 3/179 13360
/proc/meminfo: memFree=31157460/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=63092 CPUtime=51.09
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 542421 0 0 0 4978 131 0 0 25 0 1 0 132212567 64606208 14157 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 15773 14157 740 1374 0 14394 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63092

[startup+102.306 s]
/proc/loadavg: 2.01 2.29 2.29 3/179 13361
/proc/meminfo: memFree=31149104/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=71036 CPUtime=102.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 1227905 0 0 0 9901 329 0 0 25 0 1 0 132212567 72740864 16102 4089446400 4194304 9819077 140734129442048 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 17759 16102 740 1374 0 16380 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 71036

[startup+162.301 s]
/proc/loadavg: 2.00 2.24 2.27 3/179 13363
/proc/meminfo: memFree=31144468/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=75704 CPUtime=162.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 1892705 0 0 0 15691 539 0 0 25 0 1 0 132212567 77520896 17237 4089446400 4194304 9819077 140734129442048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 18926 17237 740 1374 0 17547 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 75704

[startup+222.301 s]
/proc/loadavg: 2.05 2.21 2.25 3/179 13364
/proc/meminfo: memFree=31140460/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=79892 CPUtime=222.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 2592841 0 0 0 21472 758 0 0 25 0 1 0 132212567 81809408 18305 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 19973 18305 740 1374 0 18594 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 79892

[startup+282.3 s]
/proc/loadavg: 2.02 2.17 2.24 3/179 13366
/proc/meminfo: memFree=31136840/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=84048 CPUtime=282.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 3242199 0 0 0 27263 967 0 0 25 0 1 0 132212567 86065152 19258 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 21012 19258 740 1374 0 19633 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 84048

[startup+342.301 s]
/proc/loadavg: 2.00 2.13 2.22 3/179 13367
/proc/meminfo: memFree=31134196/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=86036 CPUtime=342.29
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 3849725 0 0 0 33059 1170 0 0 25 0 1 0 132212567 88100864 19888 4089446400 4194304 9819077 140734129442048 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 21577 19891 740 1374 0 20198 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 86036

[startup+402.301 s]
/proc/loadavg: 2.00 2.11 2.20 3/179 13369
/proc/meminfo: memFree=31132792/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=89140 CPUtime=402.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 4426244 0 0 0 38864 1366 0 0 25 0 1 0 132212567 91279360 20332 4089446400 4194304 9819077 140734129442048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 22285 20332 740 1374 0 20906 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 89140

[startup+462.301 s]
/proc/loadavg: 2.00 2.08 2.18 3/179 13371
/proc/meminfo: memFree=31127912/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=93692 CPUtime=462.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 4997169 0 0 0 44676 1555 0 0 25 0 1 0 132212567 95940608 21500 4089446400 4194304 9819077 140734129442048 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 23423 21500 740 1374 0 22044 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 93692

[startup+522.3 s]
/proc/loadavg: 2.00 2.07 2.17 3/179 13372
/proc/meminfo: memFree=31123416/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=97148 CPUtime=522.3
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 5556613 0 0 0 50495 1735 0 0 25 0 1 0 132212567 99479552 22240 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 24287 22240 740 1374 0 22908 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 97148

[startup+582.301 s]
/proc/loadavg: 1.96 2.04 2.15 3/179 13402
/proc/meminfo: memFree=31266516/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=99152 CPUtime=582.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 6137297 0 0 0 56300 1931 0 0 25 0 1 0 132212567 101531648 22480 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 24788 22480 740 1374 0 23409 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 99152

[startup+642.301 s]
/proc/loadavg: 1.98 2.03 2.14 3/179 13403
/proc/meminfo: memFree=31260144/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=99232 CPUtime=642.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 6793089 0 0 0 62089 2142 0 0 25 0 1 0 132212567 101613568 22563 4089446400 4194304 9819077 140734129442048 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 24808 22563 740 1374 0 23429 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 99232

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.10 3/179 13410
/proc/meminfo: memFree=31245120/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=105068 CPUtime=882.32
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 9257225 0 0 0 85284 2948 0 0 25 0 1 0 132212567 107589632 24068 4089446400 4194304 9819077 140734129442048 18446744073709551615 8653031 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 26089 24052 740 1374 0 24710 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 105068

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 13420
/proc/meminfo: memFree=31241036/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=106288 CPUtime=942.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 9890348 0 0 0 91068 3163 0 0 25 0 1 0 132212567 108838912 24326 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 26572 24326 740 1374 0 25193 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 106288

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/179 13422
/proc/meminfo: memFree=31238144/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=106764 CPUtime=1002.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 10511185 0 0 0 96866 3365 0 0 25 0 1 0 132212567 109326336 24457 4089446400 4194304 9819077 140734129442048 18446744073709551615 6723454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 26691 24457 740 1374 0 25312 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 106764

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 13424
/proc/meminfo: memFree=31234116/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=108648 CPUtime=1062.31
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 11121098 0 0 0 102654 3577 0 0 25 0 1 0 132212567 111255552 24896 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 27162 24896 740 1374 0 25783 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 108648

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.08 3/179 13425
/proc/meminfo: memFree=31231220/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=109440 CPUtime=1122.32
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 11743617 0 0 0 108443 3789 0 0 25 0 1 0 132212567 112066560 25098 4089446400 4194304 9819077 140734129442048 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 27360 25098 740 1374 0 25981 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 109440

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/179 13427
/proc/meminfo: memFree=31227076/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=111004 CPUtime=1182.32
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 12352778 0 0 0 114230 4002 0 0 25 0 1 0 132212567 113668096 25600 4089446400 4194304 9819077 140734129442048 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 27751 25607 740 1374 0 26372 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 111004

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 13428
/proc/meminfo: memFree=31223080/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=115756 CPUtime=1242.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 12985335 0 0 0 120023 4210 0 0 25 0 1 0 132212567 118534144 26637 4089446400 4194304 9819077 140734129442048 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 28939 26637 740 1374 0 27560 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 115756

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 13430
/proc/meminfo: memFree=31217732/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=120396 CPUtime=1302.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 13569263 0 0 0 125825 4408 0 0 25 0 1 0 132212567 123285504 27800 4089446400 4194304 9819077 140734129442048 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 29690 27779 740 1374 0 28311 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 120396

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.06 3/179 13432
/proc/meminfo: memFree=31211392/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=127380 CPUtime=1362.32
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 14140671 0 0 0 131625 4607 0 0 25 0 1 0 132212567 130437120 29323 4089446400 4194304 9819077 140734129442048 18446744073709551615 6386881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 31845 29323 740 1374 0 30466 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 127380

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.05 3/179 13433
/proc/meminfo: memFree=31208632/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=129816 CPUtime=1422.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 14707329 0 0 0 137441 4792 0 0 25 0 1 0 132212567 132931584 29958 4089446400 4194304 9819077 140734129442048 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 32454 29958 740 1374 0 31075 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 129816

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13435
/proc/meminfo: memFree=31204016/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=130912 CPUtime=1482.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 15282461 0 0 0 143247 4986 0 0 25 0 1 0 132212567 134053888 30240 4089446400 4194304 9819077 140734129442048 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 32728 30240 740 1374 0 31349 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 130912

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13436
/proc/meminfo: memFree=31200140/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=132424 CPUtime=1542.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 15833088 0 0 0 149059 5174 0 0 25 0 1 0 132212567 135602176 30676 4089446400 4194304 9819077 140734129442048 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 33106 30679 740 1374 0 31727 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 132424

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13438
/proc/meminfo: memFree=31197752/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=134108 CPUtime=1602.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 16393936 0 0 0 154868 5365 0 0 25 0 1 0 132212567 137326592 30943 4089446400 4194304 9819077 140734129442048 18446744073709551615 6590600 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 33527 30943 740 1374 0 32148 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 134108

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/179 13440
/proc/meminfo: memFree=31193128/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=136772 CPUtime=1662.33
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 16877968 0 0 0 160694 5539 0 0 25 0 1 0 132212567 140054528 31600 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 34193 31600 740 1374 0 32814 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 136772

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/179 13441
/proc/meminfo: memFree=31189380/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=139532 CPUtime=1722.34
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 17403954 0 0 0 166512 5722 0 0 25 0 1 0 132212567 142880768 32246 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 34883 32246 740 1374 0 33504 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 139532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13443
/proc/meminfo: memFree=31184012/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=143652 CPUtime=1782.34
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 17989841 0 0 0 172321 5913 0 0 25 0 1 0 132212567 147099648 33244 4089446400 4194304 9819077 140734129442048 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 35913 33244 740 1374 0 34534 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 143652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13444
/proc/meminfo: memFree=31182024/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=145292 CPUtime=1800.05
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 18144862 0 0 0 174040 5965 0 0 25 0 1 0 132212567 148779008 33652 4089446400 4194304 9819077 140734129442048 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13358/statm: 36323 33652 740 1374 0 34944 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 145292

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13444
/proc/meminfo: memFree=31182024/32950928 swapFree=67111528/67111528
[pid=13358] ppid=13356 vsize=144300 CPUtime=1800.15
/proc/13358/stat : 13358 (pbscip.linux.x8) R 13356 13358 12220 0 -1 4202496 18144953 0 0 0 174050 5965 0 0 18 0 1 0 132212567 147763200 33396 4089446400 4194304 9819077 140734129442048 18446744073709551615 5950410 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13358/statm: 36075 33396 741 1374 0 34696 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 144300

Child status: 0
Real time (s): 1800.15
CPU time (s): 1800.19
CPU user time (s): 1740.53
CPU system time (s): 59.6579
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 145312

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

runsolver used 2.55761 second user time and 5.70113 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 16:45:56
IDJOB=2693533
IDBENCH=78965
IDSOLVER=1205
FILE ID=node122/2693533-1277909156
PBS_JOBID= 11197226
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= fc51ff1d1c737b59f1aece9b373640d1
RANDOM SEED=96656512

node122.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	: 5226.08
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31213736 kB
Buffers:        190960 kB
Cached:        1157956 kB
SwapCached:          0 kB
Active:         771488 kB
Inactive:       824428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31213736 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:      246820 kB
Mapped:          17848 kB
Slab:            78708 kB
PageTables:       5192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   401560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node122 at 2010-06-30 17:15:58