Trace number 2692946

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.16 1800.21

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo
MD5SUMfa52148d69071c7fece24d526a14d5b1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark111.779
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 723
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-2692946-1277912080.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.00/0.03	c presolving:
0.04/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.04/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.04/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.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    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.35	c   0.3s|     1 |     0 |   417 |     - |9231k|   0 |  71 |1933 |3444 |1933 |1787 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   758 |     - |9239k|   0 |  82 |1933 |3444 |1933 |1798 |  56 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.68	c   0.6s|     1 |     0 |   970 |     - |9366k|   0 | 102 |1933 |3444 |1933 |1814 |  72 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.85	c   0.8s|     1 |     0 |  1109 |     - |9376k|   0 | 105 |1933 |3444 |1933 |1829 |  87 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.47/5.51	c   5.3s|     1 |     2 |  1109 |     - |9409k|   0 | 105 |1933 |3444 |1933 |1829 |  87 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
5.47/5.51	o 41732
5.47/5.51	c y 5.3s|     2 |     1 |  1109 |   0.0 |9440k|   1 |   - |1933 |3444 |   0 |   0 |  87 |   0 |  33 | 0.000000e+00 | 4.173200e+04 |    Inf 
23.51/23.69	o 371
23.51/23.69	c *23.0s|  1733 |   915 | 21736 |  11.9 |  14M|  57 |   - |1933 |3527 |1933 |1832 | 893 |  90 | 657 | 0.000000e+00 | 3.710000e+02 |    Inf 
23.81/23.99	o 60
23.81/23.99	c *23.2s|  1832 |   355 | 23474 |  12.2 |  13M|  60 |   - |1933 |3581 |1933 |1832 | 908 | 148 | 657 | 0.000000e+00 | 6.000000e+01 |    Inf 
24.01/24.11	o 44
24.01/24.11	c *23.4s|  1876 |   334 | 23952 |  12.2 |  13M|  60 |   - |1933 |3252 |1933 |1839 | 926 | 155 | 657 | 0.000000e+00 | 4.400000e+01 |    Inf 
24.01/24.12	o 24
24.01/24.12	c *23.4s|  1879 |   282 | 23954 |  12.2 |  13M|  60 |   - |1933 |3125 |1933 |1839 | 926 | 155 | 657 | 0.000000e+00 | 2.400000e+01 |    Inf 
24.01/24.12	o 8
24.01/24.12	c *23.4s|  1880 |   232 | 23954 |  12.2 |  13M|  60 |   - |1933 |3125 |1933 |1839 | 926 | 155 | 657 | 0.000000e+00 | 8.000000e+00 |    Inf 
24.11/24.21	o 6
24.11/24.21	c *23.5s|  1890 |   115 | 24571 |  12.4 |  13M|  60 |   - |1933 |2809 |1933 |1810 | 927 | 168 | 657 | 0.000000e+00 | 6.000000e+00 |    Inf 
45.80/45.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.80/45.97	c  44.1s| 10000 |   265 |164446 |  16.3 |  16M|  60 |  14 |1933 |7439 |1933 |1809 |1576 |  10k|1021 | 0.000000e+00 | 6.000000e+00 |    Inf 
72.29/72.41	c  69.3s| 20000 |   279 |340300 |  17.0 |  17M|  60 |  24 |1933 |9761 |1933 |1809 |2690 |  24k|1462 | 0.000000e+00 | 6.000000e+00 |    Inf 
96.40/96.57	c  92.3s| 30000 |   494 |501278 |  16.7 |  18M|  60 |  26 |1933 |9137 |1933 |1816 |3619 |  37k|1583 | 0.000000e+00 | 6.000000e+00 |    Inf 
118.09/118.23	c   113s| 40000 |   697 |640122 |  16.0 |  21M|  60 |  18 |1933 |  12k|1933 |1809 |4536 |  51k|1583 | 0.000000e+00 | 6.000000e+00 |    Inf 
141.30/141.42	c   135s| 50000 |   743 |778056 |  15.5 |  21M|  60 |  20 |1933 |  12k|1933 |1809 |5164 |  65k|1800 | 0.000000e+00 | 6.000000e+00 |    Inf 
164.59/164.74	c   157s| 60000 |   648 |914656 |  15.2 |  21M|  60 |  26 |1933 |  12k|1933 |1809 |5769 |  79k|2084 | 0.000000e+00 | 6.000000e+00 |    Inf 
189.20/189.30	c   180s| 70000 |   729 |  1065k|  15.2 |  23M|  60 |  29 |1933 |  14k|1933 |1809 |6353 |  93k|2371 | 0.000000e+00 | 6.000000e+00 |    Inf 
213.30/213.46	c   204s| 80000 |   801 |  1205k|  15.1 |  25M|  60 |   - |1933 |  17k|1933 |1809 |7208 | 107k|2615 | 0.000000e+00 | 6.000000e+00 |    Inf 
241.59/241.71	c   231s| 90000 |   902 |  1377k|  15.3 |  26M|  60 |  31 |1933 |  16k|1933 |1809 |7811 | 121k|2865 | 0.000000e+00 | 6.000000e+00 |    Inf 
267.50/267.67	c   255s|100000 |   842 |  1534k|  15.3 |  25M|  62 |  17 |1933 |  15k|1933 |1809 |8457 | 136k|3019 | 0.000000e+00 | 6.000000e+00 |    Inf 
292.70/292.82	c   279s|110000 |   835 |  1682k|  15.3 |  26M|  62 |   1 |1933 |  16k|1933 |1809 |9398 | 150k|3294 | 0.000000e+00 | 6.000000e+00 |    Inf 
320.10/320.21	c   305s|120000 |   859 |  1851k|  15.4 |  25M|  62 |   - |1933 |  14k|1933 |1809 |  10k| 164k|3511 | 0.000000e+00 | 6.000000e+00 |    Inf 
344.40/344.58	c   329s|130000 |   950 |  1995k|  15.3 |  26M|  62 |   - |1933 |  13k|   0 |   0 |  11k| 178k|3719 | 0.000000e+00 | 6.000000e+00 |    Inf 
367.10/367.21	c   350s|140000 |   951 |  2132k|  15.2 |  26M|  62 |   - |1933 |  12k|1933 |1809 |  11k| 191k|3832 | 0.000000e+00 | 6.000000e+00 |    Inf 
392.00/392.12	c   374s|150000 |  1162 |  2286k|  15.2 |  27M|  62 |  19 |1933 |  11k|1933 |1809 |  12k| 205k|4030 | 0.000000e+00 | 6.000000e+00 |    Inf 
414.80/414.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
414.80/414.90	c   395s|160000 |  1202 |  2424k|  15.1 |  29M|  62 |  21 |1933 |  14k|1933 |1809 |  13k| 219k|4163 | 0.000000e+00 | 6.000000e+00 |    Inf 
439.11/439.28	c   419s|170000 |  1265 |  2571k|  15.1 |  30M|  62 |   - |1933 |  15k|   0 |   0 |  14k| 234k|4284 | 0.000000e+00 | 6.000000e+00 |    Inf 
465.60/465.73	c   444s|180000 |  1268 |  2735k|  15.2 |  29M|  62 |   - |1933 |  11k|1933 |1815 |  15k| 247k|4493 | 0.000000e+00 | 6.000000e+00 |    Inf 
489.71/489.81	c   466s|190000 |  1450 |  2887k|  15.2 |  31M|  62 |   - |1933 |  13k|   0 |   0 |  15k| 261k|4627 | 0.000000e+00 | 6.000000e+00 |    Inf 
515.71/515.85	c   491s|200000 |  1473 |  3053k|  15.3 |  31M|  62 |  14 |1933 |  13k|1933 |1809 |  16k| 275k|4761 | 0.000000e+00 | 6.000000e+00 |    Inf 
541.71/541.85	c   516s|210000 |  1402 |  3217k|  15.3 |  31M|  62 |   - |1933 |  12k|   0 |   0 |  17k| 289k|4978 | 0.000000e+00 | 6.000000e+00 |    Inf 
564.91/565.02	c   538s|220000 |  1408 |  3356k|  15.3 |  30M|  62 |   - |1933 |  11k|1933 |1809 |  18k| 303k|5132 | 0.000000e+00 | 6.000000e+00 |    Inf 
587.40/587.59	c   559s|230000 |  1560 |  3488k|  15.2 |  32M|  62 |   - |1933 |  15k|   0 |   0 |  19k| 316k|5250 | 0.000000e+00 | 6.000000e+00 |    Inf 
610.42/610.54	c   581s|240000 |  1678 |  3619k|  15.1 |  34M|  62 |   - |1933 |  17k|1933 |1809 |  20k| 330k|5342 | 0.000000e+00 | 6.000000e+00 |    Inf 
632.81/632.93	c   602s|250000 |  1687 |  3740k|  15.0 |  35M|  62 |   - |1933 |  19k|   0 |   0 |  22k| 344k|5453 | 0.000000e+00 | 6.000000e+00 |    Inf 
657.11/657.23	c   626s|260000 |  1662 |  3877k|  14.9 |  35M|  62 |   8 |1933 |  16k|1933 |1815 |  23k| 357k|5560 | 0.000000e+00 | 6.000000e+00 |    Inf 
682.51/682.66	c   650s|270000 |  1769 |  4033k|  14.9 |  36M|  62 |  20 |1933 |  18k|1933 |1809 |  24k| 371k|5691 | 0.000000e+00 | 6.000000e+00 |    Inf 
707.31/707.41	c   673s|280000 |  1822 |  4176k|  14.9 |  36M|  62 |   - |1933 |  17k|1933 |1809 |  25k| 385k|5819 | 0.000000e+00 | 6.000000e+00 |    Inf 
731.42/731.50	c   696s|290000 |  1894 |  4317k|  14.9 |  37M|  62 |  19 |1933 |  17k|1933 |1809 |  26k| 399k|5954 | 0.000000e+00 | 6.000000e+00 |    Inf 
755.62/755.78	c   719s|300000 |  2001 |  4462k|  14.9 |  38M|  62 |   - |1933 |  17k|   0 |   0 |  27k| 413k|6054 | 0.000000e+00 | 6.000000e+00 |    Inf 
780.02/780.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
780.02/780.10	c   742s|310000 |  2074 |  4606k|  14.9 |  39M|  62 |   - |1933 |  20k|   0 |   0 |  28k| 427k|6151 | 0.000000e+00 | 6.000000e+00 |    Inf 
806.31/806.41	c   768s|320000 |  2046 |  4760k|  14.9 |  39M|  62 |  11 |1933 |  17k|1933 |1809 |  30k| 441k|6262 | 0.000000e+00 | 6.000000e+00 |    Inf 
830.91/831.07	c   791s|330000 |  2069 |  4908k|  14.9 |  38M|  62 |   - |1933 |  15k|   0 |   0 |  30k| 455k|6355 | 0.000000e+00 | 6.000000e+00 |    Inf 
856.21/856.32	c   815s|340000 |  2142 |  5063k|  14.9 |  38M|  62 |   - |1933 |  14k|   0 |   0 |  31k| 468k|6453 | 0.000000e+00 | 6.000000e+00 |    Inf 
880.31/880.46	c   838s|350000 |  2351 |  5212k|  14.9 |  40M|  62 |   - |1933 |  14k|   0 |   0 |  32k| 483k|6553 | 0.000000e+00 | 6.000000e+00 |    Inf 
904.52/904.66	c   861s|360000 |  2398 |  5358k|  14.9 |  40M|  62 |   - |1933 |  14k|1933 |1809 |  33k| 497k|6640 | 0.000000e+00 | 6.000000e+00 |    Inf 
928.51/928.69	c   884s|370000 |  2456 |  5493k|  14.8 |  41M|  62 |  32 |1933 |  15k|1933 |1817 |  34k| 511k|6722 | 0.000000e+00 | 6.000000e+00 |    Inf 
952.71/952.83	c   907s|380000 |  2519 |  5630k|  14.8 |  43M|  62 |  33 |1933 |  17k|1933 |1809 |  35k| 526k|6831 | 0.000000e+00 | 6.000000e+00 |    Inf 
976.62/976.75	c   931s|390000 |  2455 |  5761k|  14.8 |  42M|  62 |   - |1933 |  17k|   0 |   0 |  36k| 540k|6917 | 0.000000e+00 | 6.000000e+00 |    Inf 
1001.32/1001.41	c   954s|400000 |  2349 |  5895k|  14.7 |  42M|  62 |   9 |1933 |  16k|1933 |1816 |  37k| 555k|7016 | 0.000000e+00 | 6.000000e+00 |    Inf 
1026.12/1026.25	c   978s|410000 |  2279 |  6033k|  14.7 |  41M|  62 |  28 |1933 |  14k|1933 |1809 |  38k| 569k|7141 | 0.000000e+00 | 6.000000e+00 |    Inf 
1050.62/1050.73	c  1002s|420000 |  2460 |  6171k|  14.7 |  43M|  62 |  20 |1933 |  18k|1933 |1809 |  39k| 583k|7235 | 0.000000e+00 | 6.000000e+00 |    Inf 
1075.02/1075.11	c  1026s|430000 |  2571 |  6299k|  14.6 |  45M|  62 |   - |1933 |  21k|   0 |   0 |  41k| 598k|7299 | 0.000000e+00 | 6.000000e+00 |    Inf 
1100.92/1101.05	c  1051s|440000 |  2554 |  6439k|  14.6 |  45M|  62 |   - |1933 |  20k|   0 |   0 |  42k| 612k|7368 | 0.000000e+00 | 6.000000e+00 |    Inf 
1126.82/1126.91	c  1076s|450000 |  2596 |  6580k|  14.6 |  46M|  62 |  27 |1933 |  21k|1933 |1809 |  43k| 627k|7468 | 0.000000e+00 | 6.000000e+00 |    Inf 
1152.73/1152.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1152.73/1152.89	c  1101s|460000 |  2592 |  6717k|  14.6 |  46M|  62 |   - |1933 |  21k|   0 |   0 |  44k| 641k|7550 | 0.000000e+00 | 6.000000e+00 |    Inf 
1178.83/1178.92	c  1126s|470000 |  2623 |  6859k|  14.6 |  46M|  62 |   - |1933 |  19k|   0 |   0 |  45k| 655k|7631 | 0.000000e+00 | 6.000000e+00 |    Inf 
1204.83/1204.91	c  1151s|480000 |  2799 |  7005k|  14.6 |  47M|  62 |  23 |1933 |  18k|1933 |1816 |  46k| 670k|7740 | 0.000000e+00 | 6.000000e+00 |    Inf 
1230.13/1230.24	c  1175s|490000 |  2988 |  7144k|  14.6 |  49M|  62 |   - |1933 |  20k|   0 |   0 |  47k| 684k|7819 | 0.000000e+00 | 6.000000e+00 |    Inf 
1257.63/1257.74	c  1202s|500000 |  3116 |  7301k|  14.6 |  50M|  62 |   - |1933 |  20k|1933 |1818 |  48k| 699k|7923 | 0.000000e+00 | 6.000000e+00 |    Inf 
1284.73/1284.89	c  1228s|510000 |  3189 |  7451k|  14.6 |  51M|  62 |   - |1933 |  22k|   0 |   0 |  49k| 713k|8001 | 0.000000e+00 | 6.000000e+00 |    Inf 
1311.42/1311.58	c  1254s|520000 |  3253 |  7597k|  14.6 |  53M|  62 |   - |1933 |  25k|1933 |1814 |  51k| 727k|8063 | 0.000000e+00 | 6.000000e+00 |    Inf 
1340.73/1340.88	c  1282s|530000 |  3243 |  7764k|  14.6 |  52M|  62 |   - |1933 |  23k|   0 |   0 |  52k| 741k|8161 | 0.000000e+00 | 6.000000e+00 |    Inf 
1369.23/1369.39	c  1310s|540000 |  3368 |  7921k|  14.7 |  55M|  62 |  16 |1933 |  26k|1933 |1809 |  53k| 756k|8243 | 0.000000e+00 | 6.000000e+00 |    Inf 
1398.23/1398.40	c  1338s|550000 |  3352 |  8073k|  14.7 |  54M|  62 |   - |1933 |  26k|   0 |   0 |  54k| 770k|8311 | 0.000000e+00 | 6.000000e+00 |    Inf 
1427.23/1427.36	c  1366s|560000 |  3516 |  8223k|  14.7 |  56M|  62 |  25 |1933 |  28k|1933 |1809 |  56k| 784k|8391 | 0.000000e+00 | 6.000000e+00 |    Inf 
1456.13/1456.21	c  1394s|570000 |  3498 |  8374k|  14.7 |  56M|  62 |  32 |1933 |  26k|1933 |1809 |  57k| 798k|8494 | 0.000000e+00 | 6.000000e+00 |    Inf 
1484.94/1485.01	c  1422s|580000 |  3504 |  8530k|  14.7 |  57M|  62 |   - |1933 |  29k|1933 |1818 |  59k| 812k|8597 | 0.000000e+00 | 6.000000e+00 |    Inf 
1510.73/1510.89	c  1447s|590000 |  3586 |  8653k|  14.7 |  58M|  62 |   - |1933 |  28k|   0 |   0 |  60k| 827k|8670 | 0.000000e+00 | 6.000000e+00 |    Inf 
1537.84/1537.97	c  1473s|600000 |  3557 |  8791k|  14.7 |  54M|  62 |   - |1933 |  19k|   0 |   0 |  61k| 841k|8701 | 0.000000e+00 | 6.000000e+00 |    Inf 
1562.93/1563.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1562.93/1563.01	c  1498s|610000 |  3547 |  8924k|  14.6 |  55M|  62 |   - |1933 |  21k|   0 |   0 |  62k| 855k|8793 | 0.000000e+00 | 6.000000e+00 |    Inf 
1589.84/1589.96	c  1524s|620000 |  3572 |  9066k|  14.6 |  56M|  62 |   - |1933 |  23k|   0 |   0 |  64k| 869k|8885 | 0.000000e+00 | 6.000000e+00 |    Inf 
1618.63/1618.78	c  1551s|630000 |  3555 |  9222k|  14.6 |  56M|  62 |  15 |1933 |  23k|1933 |1809 |  65k| 883k|8974 | 0.000000e+00 | 6.000000e+00 |    Inf 
1645.23/1645.37	c  1577s|640000 |  3613 |  9361k|  14.6 |  57M|  62 |  25 |1933 |  24k|1933 |1809 |  66k| 897k|9021 | 0.000000e+00 | 6.000000e+00 |    Inf 
1670.74/1670.82	c  1602s|650000 |  3660 |  9492k|  14.6 |  57M|  62 |   - |1933 |  24k|   0 |   0 |  67k| 911k|9081 | 0.000000e+00 | 6.000000e+00 |    Inf 
1699.03/1699.15	c  1629s|660000 |  3711 |  9639k|  14.6 |  59M|  62 |  10 |1933 |  26k|1933 |1809 |  68k| 925k|9179 | 0.000000e+00 | 6.000000e+00 |    Inf 
1727.54/1727.61	c  1657s|670000 |  3798 |  9788k|  14.6 |  59M|  62 |  16 |1933 |  26k|1933 |1809 |  70k| 940k|9260 | 0.000000e+00 | 6.000000e+00 |    Inf 
1756.33/1756.44	c  1684s|680000 |  3805 |  9942k|  14.6 |  60M|  62 |  16 |1933 |  26k|1933 |1809 |  71k| 954k|9333 | 0.000000e+00 | 6.000000e+00 |    Inf 
1784.94/1785.01	c  1712s|690000 |  3810 | 10097k|  14.6 |  59M|  62 |   - |1933 |  24k|   0 |   0 |  73k| 968k|9386 | 0.000000e+00 | 6.000000e+00 |    Inf 
1800.04/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.10	c 
1800.04/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.10	c Solving Time (sec) : 1726.62
1800.04/1800.10	c Solving Nodes      : 694973
1800.04/1800.10	c Primal Bound       : +6.00000000000000e+00 (106 solutions)
1800.04/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.10	c Gap                : infinite
1800.04/1800.12	s SATISFIABLE
1800.04/1800.12	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.12	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.12	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.12	v x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 
1800.04/1800.12	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/1800.12	v -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.04/1800.12	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 
1800.04/1800.12	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 x55 -x54 
1800.04/1800.12	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 
1800.04/1800.12	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 
1800.04/1800.12	v -x1 
1800.04/1800.12	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.12	c Solving Time       :    1726.62
1800.04/1800.12	c Original Problem   :
1800.04/1800.12	c   Problem name     : HOME/instance-2692946-1277912080.wbo
1800.04/1800.12	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.04/1800.12	c   Constraints      : 3614 initial, 3614 maximal
1800.04/1800.12	c Presolved Problem  :
1800.04/1800.12	c   Problem name     : t_HOME/instance-2692946-1277912080.wbo
1800.04/1800.12	c   Variables        : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.04/1800.12	c   Constraints      : 3444 initial, 30689 maximal
1800.04/1800.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.12	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1800.04/1800.12	c   dualfix          :       0.01         55          0          0          0          0          0          0          0
1800.04/1800.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.12	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.12	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.12	c   indicator        :       0.00          0          0          0          0          0         55          0          0
1800.04/1800.12	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.12	c   linear           :       0.03          0          0          0        906          0        115         55          0
1800.04/1800.12	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.12	c   root node        :          -        799          -          -       1598          -          -          -          -
1800.04/1800.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.12	c   integral         :          0          0          0     384174          0        243       3303          0          0     734848
1800.04/1800.12	c   indicator        :        851          0    3088967      13825          0         27     273737          0          0          0
1800.04/1800.12	c   setppc           :         12          6    3089195      13107          0      53085    2074693          0          0          0
1800.04/1800.12	c   linear           :        851          6    3037511      13833          0      70491   11111399      74162          0          0
1800.04/1800.12	c   logicor          :       1730+         6    1560674       1298          0     100458    5667949          0          0          0
1800.04/1800.12	c   countsols        :          0          0          0       1298          0          0          0          0          0          0
1800.04/1800.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.12	c   integral         :      50.30       0.00       0.00      50.30       0.00
1800.04/1800.12	c   indicator        :       2.59       0.01       2.39       0.19       0.00
1800.04/1800.12	c   setppc           :      12.86       0.00      12.85       0.01       0.00
1800.04/1800.12	c   linear           :      64.20       0.02      63.91       0.27       0.00
1800.04/1800.12	c   logicor          :     178.45       0.00     178.44       0.01       0.00
1800.04/1800.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.12	c   vbounds          :       0.55          2          0          0
1800.04/1800.12	c   rootredcost      :       0.31          7          0        799
1800.04/1800.12	c   pseudoobj        :      50.18    3090508         83     235293
1800.04/1800.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.12	c   propagation      :      10.48     224117     223637    1360601       27.4       6475       24.7          -
1800.04/1800.12	c   infeasible LP    :      26.45     138575     138574    1109827       44.2       1070       18.5          0
1800.04/1800.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.12	c   pseudo solution  :       0.00          2          2         11       21.2          0        0.0          -
1800.04/1800.12	c   applied globally :          -          -          -     975828       29.3          -          -          -
1800.04/1800.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.12	c   cut pool         :       0.01          5          -          -         84          -    (maximal pool size: 266)
1800.04/1800.12	c   redcost          :      10.69     384826          0      20468          0          0
1800.04/1800.12	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.12	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.12	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.12	c   gomory           :       0.22          6          0          0       1137          0
1800.04/1800.12	c   strongcg         :       0.17          6          0          0        817          0
1800.04/1800.12	c   cmir             :       0.04          6          0          0          3          0
1800.04/1800.12	c   flowcover        :       0.05          6          0          0          3          0
1800.04/1800.12	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.12	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.12	c   mcf              :       0.01          1          0          0          0          0
1800.04/1800.12	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.12	c Pricers            :       Time      Calls       Vars
1800.04/1800.12	c   problem variables:       0.00          0          0
1800.04/1800.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.12	c   relpscost        :      50.14     370341        243       3303          0          0     734848
1800.04/1800.12	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.12	c   inference        :       0.08       1292          0          0          0          0       2584
1800.04/1800.12	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.12	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.12	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.12	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.12	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.12	c   LP solutions     :       0.01          -          6
1800.04/1800.12	c   pseudo solutions :       0.00          -          0
1800.04/1800.12	c   oneopt           :       0.17          6          0
1800.04/1800.12	c   feaspump         :       0.01          1          0
1800.04/1800.12	c   crossover        :       0.21          3          0
1800.04/1800.12	c   linesearchdiving :       0.25        134          0
1800.04/1800.12	c   guideddiving     :       0.34        134          0
1800.04/1800.12	c   pscostdiving     :       0.34        134          0
1800.04/1800.12	c   fracdiving       :       0.23        134          0
1800.04/1800.12	c   veclendiving     :       0.34        134          0
1800.04/1800.12	c   coefdiving       :       0.61        135          0
1800.04/1800.12	c   rootsoldiving    :       0.19         75          0
1800.04/1800.12	c   objpscostdiving  :       0.19         76          0
1800.04/1800.12	c   trivial          :       0.01          2          0
1800.04/1800.12	c   simplerounding   :       0.46     370423          0
1800.04/1800.12	c   zirounding       :       0.13       1000          0
1800.04/1800.12	c   rounding         :       0.77       8611          0
1800.04/1800.12	c   shifting         :       0.90       2702          0
1800.04/1800.12	c   intshifting      :       0.01         17          0
1800.04/1800.12	c   twoopt           :       0.00          0          0
1800.04/1800.12	c   fixandinfer      :       0.00          0          0
1800.04/1800.12	c   intdiving        :       0.00          0          0
1800.04/1800.12	c   actconsdiving    :       0.00          0          0
1800.04/1800.12	c   octane           :       0.00          0          0
1800.04/1800.12	c   rens             :       0.04          1          0
1800.04/1800.12	c   rins             :       0.00          0          0
1800.04/1800.12	c   localbranching   :       0.00          0          0
1800.04/1800.12	c   mutation         :       0.00          0          0
1800.04/1800.12	c   dins             :       0.00          0          0
1800.04/1800.12	c   undercover       :       0.00          0          0
1800.04/1800.12	c   nlp              :       0.16          0          0
1800.04/1800.12	c   trysol           :       0.35       1298        100
1800.04/1800.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.12	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.12	c   dual LP          :    1037.24     519552   10172476      19.58    9807.25
1800.04/1800.12	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.12	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.12	c   diving/probing LP:       1.52       1125       8620       7.66    5671.05
1800.04/1800.12	c   strong branching :      46.73       9440     422211      44.73    9035.12
1800.04/1800.12	c     (at root node) :          -         33      30983     938.88          -
1800.04/1800.12	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.12	c B&B Tree           :
1800.04/1800.12	c   number of runs   :          1
1800.04/1800.12	c   nodes            :     694973
1800.04/1800.12	c   nodes (total)    :     694973
1800.04/1800.12	c   nodes left       :       3800
1800.04/1800.12	c   max depth        :         62
1800.04/1800.12	c   max depth (total):         62
1800.04/1800.12	c   backtracks       :      94368 (13.6%)
1800.04/1800.12	c   delayed cutoffs  :      36972
1800.04/1800.12	c   repropagations   :    1136640 (3354748 domain reductions, 35822 cutoffs)
1800.04/1800.12	c   avg switch length:       5.04
1800.04/1800.12	c   switching time   :     159.76
1800.04/1800.12	c Solution           :
1800.04/1800.12	c   Solutions found  :        106 (7 improvements)
1800.04/1800.12	c   First Solution   : +4.17320000000000e+04   (in run 1, after 1 nodes, 0.82 seconds, depth 0, found by <trysol>)
1800.04/1800.12	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 1890 nodes, 23.47 seconds, depth 19, found by <relaxation>)
1800.04/1800.12	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.12	c   Gap              :   infinite
1800.04/1800.12	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.12	c   Root Iterations  :       1109
1800.15/1800.20	c Time complete: 1800.15.

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-2692946-1277912080/watcher-2692946-1277912080 -o /tmp/evaluation-result-2692946-1277912080/solver-2692946-1277912080 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692946-1277912080.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: 3.16 2.97 2.50 3/199 13595
/proc/meminfo: memFree=31134656/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=11004 CPUtime=0
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 1674 0 0 0 0 0 0 0 25 0 1 0 132504958 11268096 1595 4089446400 4194304 9819077 140733733340000 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13595/statm: 2751 1595 392 1374 0 1372 0

[startup+0.0444099 s]
/proc/loadavg: 3.16 2.97 2.50 3/199 13595
/proc/meminfo: memFree=31134656/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=23916 CPUtime=0.04
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 5082 0 0 0 3 1 0 0 25 0 1 0 132504958 24489984 4649 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 5979 4649 487 1374 0 4600 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23916

[startup+0.100375 s]
/proc/loadavg: 3.16 2.97 2.50 3/199 13595
/proc/meminfo: memFree=31134656/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=24808 CPUtime=0.09
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 7395 0 0 0 7 2 0 0 25 0 1 0 132504958 25403392 4906 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 6202 4906 504 1374 0 4823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24808

[startup+0.3004 s]
/proc/loadavg: 3.16 2.97 2.50 3/199 13595
/proc/meminfo: memFree=31134656/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=33356 CPUtime=0.29
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 10131 0 0 0 26 3 0 0 25 0 1 0 132504958 34156544 6719 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 8339 6719 679 1374 0 6960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33356

[startup+0.700273 s]
/proc/loadavg: 3.16 2.97 2.50 3/199 13595
/proc/meminfo: memFree=31134656/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=34196 CPUtime=0.69
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 11056 0 0 0 65 4 0 0 25 0 1 0 132504958 35016704 6901 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 8549 6901 680 1374 0 7170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34196

[startup+1.50013 s]
/proc/loadavg: 3.16 2.97 2.50 3/200 13597
/proc/meminfo: memFree=31108752/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=37176 CPUtime=1.48
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 28352 0 0 0 141 7 0 0 25 0 1 0 132504958 38068224 7120 4089446400 4194304 9819077 140733733340000 18446744073709551615 7292280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 9294 7120 734 1374 0 7915 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37176

[startup+3.10084 s]
/proc/loadavg: 3.16 2.97 2.50 4/200 13597
/proc/meminfo: memFree=31108504/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=37560 CPUtime=3.07
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 37296 0 0 0 298 9 0 0 25 0 1 0 132504958 38461440 7108 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13595/statm: 9390 7108 734 1374 0 8011 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37560

[startup+6.30027 s]
/proc/loadavg: 3.15 2.97 2.50 4/200 13597
/proc/meminfo: memFree=31107680/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=37120 CPUtime=6.26
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 55320 0 0 0 612 14 0 0 25 0 1 0 132504958 38010880 7115 4089446400 4194304 9819077 140733733340000 18446744073709551615 7289152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 9280 7115 734 1374 0 7901 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37120

[startup+12.7001 s]
/proc/loadavg: 3.05 2.95 2.50 4/200 13597
/proc/meminfo: memFree=31108296/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=36896 CPUtime=12.62
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 99762 0 0 0 1235 27 0 0 25 0 1 0 132504958 37781504 7086 4089446400 4194304 9819077 140733733340000 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 9224 7088 734 1374 0 7845 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 36896

[startup+25.5008 s]
/proc/loadavg: 3.12 2.97 2.51 4/200 13597
/proc/meminfo: memFree=31100644/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=43100 CPUtime=25.41
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 236174 0 0 0 2471 70 0 0 25 0 1 0 132504958 44134400 9092 4089446400 4194304 9819077 140733733340000 18446744073709551615 5927500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13595/statm: 10775 9092 739 1374 0 9396 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 43100

[startup+51.1003 s]
/proc/loadavg: 2.99 2.95 2.52 3/197 13644
/proc/meminfo: memFree=31271700/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=47032 CPUtime=51
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 562165 0 0 0 4906 194 0 0 25 0 1 0 132504958 48160768 10115 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 11758 10115 739 1374 0 10379 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 47032

[startup+102.306 s]
/proc/loadavg: 2.43 2.81 2.49 3/197 13645
/proc/meminfo: memFree=31267416/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=51360 CPUtime=102.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 1199909 0 0 0 9775 445 0 0 25 0 1 0 132504958 52592640 11204 4089446400 4194304 9819077 140733733340000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 12840 11204 739 1374 0 11461 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 51360

[startup+162.3 s]
/proc/loadavg: 2.16 2.66 2.45 3/197 13647
/proc/meminfo: memFree=31263132/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=54408 CPUtime=162.19
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 1912324 0 0 0 15474 745 0 0 25 0 1 0 132504958 55713792 11966 4089446400 4194304 9819077 140733733340000 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 13602 11966 740 1374 0 12223 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 54408

[startup+222.301 s]
/proc/loadavg: 2.06 2.53 2.42 3/197 13648
/proc/meminfo: memFree=31256992/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=60104 CPUtime=222.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 2584472 0 0 0 21199 1021 0 0 25 0 1 0 132504958 61546496 13340 4089446400 4194304 9819077 140733733340000 18446744073709551615 6589060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 15026 13340 740 1374 0 13647 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 60104

[startup+282.301 s]
/proc/loadavg: 2.02 2.43 2.39 3/197 13650
/proc/meminfo: memFree=31254932/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=61424 CPUtime=282.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 3222350 0 0 0 26920 1300 0 0 25 0 1 0 132504958 62898176 13696 4089446400 4194304 9819077 140733733340000 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 15356 13696 740 1374 0 13977 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 61424

[startup+342.3 s]
/proc/loadavg: 2.00 2.35 2.36 3/197 13651
/proc/meminfo: memFree=31252860/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=62716 CPUtime=342.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 3894980 0 0 0 32641 1579 0 0 25 0 1 0 132504958 64221184 14143 4089446400 4194304 9819077 140733733340000 18446744073709551615 7225098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 15679 14145 740 1374 0 14300 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 62716

[startup+402.301 s]
/proc/loadavg: 2.00 2.29 2.34 3/197 13653
/proc/meminfo: memFree=31250700/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=65644 CPUtime=402.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 4567192 0 0 0 38340 1880 0 0 25 0 1 0 132504958 67219456 14708 4089446400 4194304 9819077 140733733340000 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 16411 14708 740 1374 0 15032 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 65644

[startup+462.301 s]
/proc/loadavg: 2.00 2.23 2.32 3/197 13655
/proc/meminfo: memFree=31248892/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=66804 CPUtime=462.21
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 5223771 0 0 0 44044 2177 0 0 25 0 1 0 132504958 68407296 15013 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 16701 15013 740 1374 0 15322 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 66804

[startup+522.3 s]
/proc/loadavg: 2.00 2.19 2.29 3/197 13656
/proc/meminfo: memFree=31245968/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=69324 CPUtime=522.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 5910130 0 0 0 49740 2480 0 0 25 0 1 0 132504958 70987776 15600 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 17331 15600 740 1374 0 15952 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 69324

[startup+582.3 s]
/proc/loadavg: 2.00 2.15 2.27 3/197 13658
/proc/meminfo: memFree=31244548/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=70528 CPUtime=582.2
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 6594023 0 0 0 55432 2788 0 0 25 0 1 0 132504958 72220672 15935 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 17632 15935 740 1374 0 16253 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 70528

[startup+642.301 s]
/proc/loadavg: 2.00 2.12 2.25 3/197 13659
/proc/meminfo: memFree=31240628/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=74204 CPUtime=642.21
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 7249606 0 0 0 61141 3080 0 0 25 0 1 0 132504958 75984896 16839 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 18551 16839 740 1374 0 17172 0
Current children cumulated CPU time (s) 642.21
Current children cumulated vsize (KiB) 74204

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.05 2.18 3/197 13666
/proc/meminfo: memFree=31232404/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=82148 CPUtime=882.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 9892151 0 0 0 83969 4253 0 0 25 0 1 0 132504958 84119552 18620 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13595/statm: 20537 18620 740 1374 0 19158 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 82148

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.17 3/179 13741
/proc/meminfo: memFree=31268592/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=83656 CPUtime=942.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 10552050 0 0 0 89735 4487 0 0 25 0 1 0 132504958 85663744 18997 4089446400 4194304 9819077 140733733340000 18446744073709551615 6367489 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 20914 18997 740 1374 0 19535 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 83656

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 13743
/proc/meminfo: memFree=31249548/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=85136 CPUtime=1002.21
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 11204874 0 0 0 95516 4705 0 0 25 0 1 0 132504958 87179264 19370 4089446400 4194304 9819077 140733733340000 18446744073709551615 6566694 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 21284 19370 740 1374 0 19905 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 85136

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 13745
/proc/meminfo: memFree=31211052/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=86080 CPUtime=1062.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 11839430 0 0 0 101313 4909 0 0 25 0 1 0 132504958 88145920 19636 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 21520 19636 740 1374 0 20141 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 86080

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 13746
/proc/meminfo: memFree=31168600/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=88088 CPUtime=1122.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 12446956 0 0 0 107116 5106 0 0 25 0 1 0 132504958 90202112 20143 4089446400 4194304 9819077 140733733340000 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 22022 20144 740 1374 0 20643 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 88088

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 13748
/proc/meminfo: memFree=31128132/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=89828 CPUtime=1182.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 13057319 0 0 0 112914 5308 0 0 25 0 1 0 132504958 91983872 20581 4089446400 4194304 9819077 140733733340000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 22457 20581 740 1374 0 21078 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 89828

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 13749
/proc/meminfo: memFree=31090020/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=92140 CPUtime=1242.22
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 13685969 0 0 0 118704 5518 0 0 25 0 1 0 132504958 94351360 21094 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 23035 21094 740 1374 0 21656 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 92140

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 13751
/proc/meminfo: memFree=31056244/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=95576 CPUtime=1302.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 14292934 0 0 0 124506 5717 0 0 25 0 1 0 132504958 97869824 22042 4089446400 4194304 9819077 140733733340000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 23894 22042 740 1374 0 22515 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 95576

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 13753
/proc/meminfo: memFree=31017620/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=97684 CPUtime=1362.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 14873948 0 0 0 130310 5913 0 0 25 0 1 0 132504958 100028416 22450 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 24421 22450 740 1374 0 23042 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 97684

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.09 3/179 13754
/proc/meminfo: memFree=30964464/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=99800 CPUtime=1422.24
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 15428736 0 0 0 136129 6095 0 0 25 0 1 0 132504958 102195200 23026 4089446400 4194304 9819077 140733733340000 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 24950 23026 740 1374 0 23571 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 99800

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 13756
/proc/meminfo: memFree=30938896/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=102092 CPUtime=1482.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 15983316 0 0 0 141943 6280 0 0 25 0 1 0 132504958 104542208 23447 4089446400 4194304 9819077 140733733340000 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 25523 23447 740 1374 0 24144 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 102092

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/179 13757
/proc/meminfo: memFree=30912320/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=103424 CPUtime=1542.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 16534282 0 0 0 147754 6469 0 0 25 0 1 0 132504958 105906176 23796 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 25856 23796 740 1374 0 24477 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 103424

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 13768
/proc/meminfo: memFree=30882740/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=103864 CPUtime=1602.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 17140159 0 0 0 153554 6669 0 0 25 0 1 0 132504958 106356736 23874 4089446400 4194304 9819077 140733733340000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 25966 23876 740 1374 0 24587 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 103864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 13770
/proc/meminfo: memFree=30857260/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=105220 CPUtime=1662.24
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 17736906 0 0 0 159354 6870 0 0 25 0 1 0 132504958 107745280 24218 4089446400 4194304 9819077 140733733340000 18446744073709551615 4209704 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 26305 24218 740 1374 0 24926 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 105220

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.07 3/179 13771
/proc/meminfo: memFree=30833544/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=105588 CPUtime=1722.23
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 18336108 0 0 0 165146 7077 0 0 25 0 1 0 132504958 108122112 24330 4089446400 4194304 9819077 140733733340000 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 26397 24330 740 1374 0 25018 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 105588

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 13773
/proc/meminfo: memFree=30806208/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=107296 CPUtime=1782.24
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 18953248 0 0 0 170945 7279 0 0 25 0 1 0 132504958 109871104 24723 4089446400 4194304 9819077 140733733340000 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 26824 24723 740 1374 0 25445 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 107296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.01 2.06 3/179 13773
/proc/meminfo: memFree=30797896/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=107472 CPUtime=1800.04
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 19130880 0 0 0 172664 7340 0 0 25 0 1 0 132504958 110051328 24772 4089446400 4194304 9819077 140733733340000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13595/statm: 26868 24772 740 1374 0 25489 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107472

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

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

[startup+1800.21 s]
/proc/loadavg: 2.01 2.01 2.06 3/179 13773
/proc/meminfo: memFree=30797896/32950928 swapFree=67111528/67111528
[pid=13595] ppid=13593 vsize=40376 CPUtime=1800.15
/proc/13595/stat : 13595 (pbscip.linux.x8) R 13593 13595 12220 0 -1 4202496 19130925 0 0 0 172674 7341 0 0 25 0 1 0 132504958 41345024 6778 4089446400 4194304 9819077 140733733340000 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13595/statm: 10094 6778 741 1374 0 8715 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 40376

Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.16
CPU user time (s): 1726.74
CPU system time (s): 73.4118
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 109496

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

runsolver used 2.52062 second user time and 5.79412 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 17:34:40
IDJOB=2692946
IDBENCH=78993
IDSOLVER=1205
FILE ID=node122/2692946-1277912080
PBS_JOBID= 11197226
Free space on /tmp= 74212 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.1900553812--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-2692946-1277912080/watcher-2692946-1277912080 -o /tmp/evaluation-result-2692946-1277912080/solver-2692946-1277912080 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692946-1277912080.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fa52148d69071c7fece24d526a14d5b1
RANDOM SEED=1002972997

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:      31135432 kB
Buffers:        193560 kB
Cached:        1152312 kB
SwapCached:          0 kB
Active:         846132 kB
Inactive:       826972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31135432 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5856 kB
Writeback:           0 kB
AnonPages:      327240 kB
Mapped:          20668 kB
Slab:            78828 kB
PageTables:       5444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1651248 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 18:04:42