Trace number 2700033

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) 1802.12 1802.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh307_wcsp.wbo
MD5SUM944c5e420229bce90a366c23629af03a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark2.22266
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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-2700033-1278533907.wbo>
0.00/0.01	c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.04	c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1100 implications, 0 cliques
0.00/0.06	c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06	c     900 constraints of type <indicator>
0.00/0.06	c     900 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.07	o 444854
0.00/0.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.07	c t 0.0s|     1 |     0 |     0 |     - |6450k|   0 |   - |1900 |1800 |   0 |   0 |   0 |   0 |   0 |      --      | 4.448540e+05 |    Inf 
0.00/0.07	c   0.0s|     1 |     0 |     0 |     - |6872k|   0 |   0 |1900 |1800 |1900 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |    43 |     - |6912k|   0 |   4 |1900 |1800 |1900 |  70 |  70 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   151 |     - |6971k|   0 |  48 |1900 |1800 |1900 | 126 | 126 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   234 |     - |7157k|   0 |  60 |1900 |1800 |1900 | 181 | 181 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |   300 |     - |7223k|   0 |  59 |1900 |1800 |1900 | 209 | 209 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   337 |     - |7248k|   0 |  50 |1900 |1800 |1900 | 211 | 211 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   368 |     - |7274k|   0 |  54 |1900 |1800 |1900 | 212 | 212 |   0 |   0 | 0.000000e+00 | 4.448540e+05 |    Inf 
0.39/0.47	c   0.4s|     1 |     2 |   552 |     - |7326k|   0 |  54 |1900 |1800 |1900 | 212 | 212 |   0 |  33 | 0.000000e+00 | 4.448540e+05 |    Inf 
10.49/10.58	c  10.3s| 10000 |  9997 | 25882 |   2.6 |  20M| 443 |   0 |1900 |1813 |1900 | 253 |2505 |  13 | 739 | 0.000000e+00 | 4.448540e+05 |    Inf 
18.69/18.76	c  18.2s| 20000 | 19993 | 44326 |   2.2 |  30M| 443 |   0 |1900 |1816 |1900 | 268 |4663 |  16 | 761 | 0.000000e+00 | 4.448540e+05 |    Inf 
19.29/19.32	o 14820
19.29/19.32	c *18.8s| 20789 | 20555 | 45085 |   2.2 |  31M| 443 |   - |1900 |1823 |1900 | 293 |4740 |  23 | 762 | 0.000000e+00 | 1.482000e+04 |    Inf 
27.48/27.54	c  26.8s| 30000 | 29766 | 64553 |   2.1 |  40M| 443 |   0 |1900 |1823 |1900 | 261 |7358 |  23 | 775 | 0.000000e+00 | 1.482000e+04 |    Inf 
36.29/36.35	c  35.4s| 40000 | 39764 | 84141 |   2.1 |  50M| 443 |   0 |1900 |1826 |1900 | 231 |  10k|  26 | 782 | 0.000000e+00 | 1.482000e+04 |    Inf 
44.79/44.84	c  43.7s| 50000 | 49764 |102736 |   2.0 |  61M| 443 |   0 |1900 |1826 |1900 | 252 |  12k|  26 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
53.19/53.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.19/53.28	c  51.9s| 60000 | 59762 |121330 |   2.0 |  71M| 443 |   0 |1900 |1831 |1900 | 220 |  14k|  31 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
61.99/62.09	c  60.5s| 70000 | 69760 |140111 |   2.0 |  81M| 443 |   0 |1900 |1833 |1900 | 218 |  16k|  33 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
71.09/71.18	c  69.4s| 80000 | 79760 |159215 |   2.0 |  91M| 443 |   0 |1900 |1831 |1900 | 225 |  18k|  33 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
79.99/80.07	c  78.1s| 90000 | 89760 |175849 |   1.9 | 102M| 443 |   0 |1900 |1831 |1900 | 239 |  20k|  33 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
88.99/89.08	c  86.9s|100000 | 99760 |195154 |   1.9 | 112M| 443 |   0 |1900 |1826 |1900 | 216 |  23k|  33 | 784 | 0.000000e+00 | 1.482000e+04 |    Inf 
98.69/98.78	c  96.4s|110000 |109760 |217101 |   2.0 | 122M| 443 |   0 |1900 |1821 |1900 | 222 |  25k|  33 | 809 | 0.000000e+00 | 1.482000e+04 |    Inf 
108.29/108.38	c   106s|120000 |119760 |238059 |   2.0 | 133M| 443 |   0 |1900 |1817 |1900 | 219 |  28k|  33 | 863 | 0.000000e+00 | 1.482000e+04 |    Inf 
118.19/118.27	c   115s|130000 |129760 |263240 |   2.0 | 143M| 443 |   0 |1900 |1816 |1900 | 222 |  31k|  33 | 895 | 0.000000e+00 | 1.482000e+04 |    Inf 
127.99/128.04	c   125s|140000 |139760 |287231 |   2.0 | 154M| 443 |   0 |1900 |1816 |1900 | 231 |  34k|  33 | 959 | 0.000000e+00 | 1.482000e+04 |    Inf 
137.60/137.65	c   134s|150000 |149760 |309303 |   2.1 | 164M| 443 |   0 |1900 |1814 |1900 | 215 |  36k|  33 |1029 | 0.000000e+00 | 1.482000e+04 |    Inf 
147.09/147.10	c   144s|160000 |159760 |329717 |   2.1 | 174M| 443 |   3 |1900 |1812 |1900 | 229 |  39k|  33 |1099 | 0.000000e+00 | 1.482000e+04 |    Inf 
155.89/155.91	c   152s|170000 |169760 |347891 |   2.0 | 185M| 443 |   0 |1900 |1810 |1900 | 226 |  41k|  33 |1160 | 0.000000e+00 | 1.482000e+04 |    Inf 
165.20/165.29	c   161s|180000 |179760 |369997 |   2.1 | 195M| 443 |   0 |1900 |1809 |1900 | 235 |  44k|  33 |1191 | 0.000000e+00 | 1.482000e+04 |    Inf 
174.79/174.81	c   171s|190000 |189758 |390811 |   2.1 | 205M| 443 |   0 |1900 |1814 |1900 | 235 |  46k|  40 |1238 | 0.000000e+00 | 1.482000e+04 |    Inf 
184.59/184.65	c   180s|200000 |199758 |412930 |   2.1 | 216M| 443 |   0 |1900 |1809 |1900 | 223 |  49k|  40 |1262 | 0.000000e+00 | 1.482000e+04 |    Inf 
194.29/194.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
194.29/194.30	c   190s|210000 |209758 |433536 |   2.1 | 226M| 443 |   0 |1900 |1807 |1900 | 236 |  51k|  40 |1289 | 0.000000e+00 | 1.482000e+04 |    Inf 
204.09/204.16	c   199s|220000 |219758 |455048 |   2.1 | 237M| 443 |   0 |1900 |1806 |1900 | 242 |  54k|  40 |1333 | 0.000000e+00 | 1.482000e+04 |    Inf 
213.69/213.71	c   209s|230000 |229758 |473659 |   2.1 | 247M| 443 |   0 |1900 |1806 |1900 | 226 |  56k|  40 |1375 | 0.000000e+00 | 1.482000e+04 |    Inf 
222.89/222.97	c   218s|240000 |239758 |492038 |   2.0 | 257M| 443 |   0 |1900 |1806 |1900 | 226 |  57k|  40 |1424 | 0.000000e+00 | 1.482000e+04 |    Inf 
232.30/232.39	c   227s|250000 |249758 |512174 |   2.0 | 268M| 443 |   0 |1900 |1806 |1900 | 251 |  60k|  40 |1512 | 0.000000e+00 | 1.482000e+04 |    Inf 
241.80/241.81	c   236s|260000 |259758 |534090 |   2.1 | 278M| 443 |   0 |1900 |1806 |1900 | 223 |  62k|  40 |1599 | 0.000000e+00 | 1.482000e+04 |    Inf 
250.30/250.36	c   244s|270000 |269758 |549636 |   2.0 | 288M| 443 |   0 |1900 |1806 |1900 | 229 |  63k|  40 |1657 | 0.000000e+00 | 1.482000e+04 |    Inf 
258.80/258.80	c   253s|280000 |279758 |565080 |   2.0 | 299M| 443 |   0 |1900 |1806 |1900 | 228 |  65k|  40 |1697 | 0.000000e+00 | 1.482000e+04 |    Inf 
267.50/267.58	c   261s|290000 |289758 |581744 |   2.0 | 309M| 443 |   0 |1900 |1805 |1900 | 231 |  66k|  40 |1751 | 0.000000e+00 | 1.482000e+04 |    Inf 
275.69/275.77	c   269s|300000 |299758 |596918 |   2.0 | 319M| 443 |   0 |1900 |1805 |1900 | 221 |  68k|  40 |1789 | 0.000000e+00 | 1.482000e+04 |    Inf 
284.19/284.20	c   277s|310000 |309758 |612075 |   2.0 | 329M| 443 |   0 |1900 |1805 |1900 | 237 |  69k|  40 |1855 | 0.000000e+00 | 1.482000e+04 |    Inf 
293.00/293.00	c   286s|320000 |319758 |628376 |   2.0 | 339M| 443 |   0 |1900 |1804 |1900 | 252 |  72k|  40 |1892 | 0.000000e+00 | 1.482000e+04 |    Inf 
301.50/301.52	c   294s|330000 |329758 |644137 |   2.0 | 349M| 443 |   0 |1900 |1804 |1900 | 231 |  73k|  40 |1923 | 0.000000e+00 | 1.482000e+04 |    Inf 
310.00/310.05	c   303s|340000 |339758 |659879 |   1.9 | 360M| 443 |   0 |1900 |1804 |1900 | 229 |  75k|  40 |1968 | 0.000000e+00 | 1.482000e+04 |    Inf 
319.10/319.18	c   312s|350000 |349758 |678970 |   1.9 | 370M| 443 |   0 |1900 |1804 |1900 | 228 |  77k|  40 |1994 | 0.000000e+00 | 1.482000e+04 |    Inf 
328.30/328.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
328.30/328.32	c   321s|360000 |359758 |696519 |   1.9 | 380M| 443 |   0 |1900 |1804 |1900 | 246 |  79k|  40 |2045 | 0.000000e+00 | 1.482000e+04 |    Inf 
337.80/337.88	c   330s|370000 |369758 |717860 |   1.9 | 391M| 443 |   0 |1900 |1804 |1900 | 233 |  81k|  40 |2087 | 0.000000e+00 | 1.482000e+04 |    Inf 
347.60/347.63	c   339s|380000 |379758 |739238 |   1.9 | 401M| 443 |   0 |1900 |1804 |1900 | 223 |  83k|  40 |2156 | 0.000000e+00 | 1.482000e+04 |    Inf 
357.30/357.36	c   349s|390000 |389758 |760443 |   1.9 | 411M| 443 |   0 |1900 |1804 |1900 | 219 |  86k|  40 |2182 | 0.000000e+00 | 1.482000e+04 |    Inf 
366.70/366.78	c   358s|400000 |399758 |782768 |   2.0 | 422M| 443 |   0 |1900 |1804 |1900 | 225 |  88k|  40 |2201 | 0.000000e+00 | 1.482000e+04 |    Inf 
376.60/376.69	c   368s|410000 |409758 |807735 |   2.0 | 432M| 443 |   0 |1900 |1804 |1900 | 212 |  91k|  40 |2257 | 0.000000e+00 | 1.482000e+04 |    Inf 
386.50/386.51	c   377s|420000 |419758 |831562 |   2.0 | 443M| 443 |   0 |1900 |1804 |1900 | 215 |  94k|  40 |2333 | 0.000000e+00 | 1.482000e+04 |    Inf 
395.99/396.09	c   387s|430000 |429758 |849532 |   2.0 | 453M| 443 |   0 |1900 |1804 |1900 | 229 |  96k|  40 |2370 | 0.000000e+00 | 1.482000e+04 |    Inf 
405.89/405.96	c   396s|440000 |439758 |873778 |   2.0 | 463M| 443 |   0 |1900 |1804 |1900 | 223 |  99k|  40 |2463 | 0.000000e+00 | 1.482000e+04 |    Inf 
415.60/415.68	c   406s|450000 |449758 |897714 |   2.0 | 474M| 443 |   0 |1900 |1804 |1900 | 223 | 101k|  40 |2506 | 0.000000e+00 | 1.482000e+04 |    Inf 
424.30/424.37	c   414s|460000 |459758 |912403 |   2.0 | 484M| 443 |   0 |1900 |1804 |1900 | 225 | 102k|  40 |2533 | 0.000000e+00 | 1.482000e+04 |    Inf 
434.30/434.33	c   424s|470000 |469758 |936468 |   2.0 | 495M| 443 |   0 |1900 |1804 |1900 | 236 | 105k|  40 |2576 | 0.000000e+00 | 1.482000e+04 |    Inf 
444.00/444.02	c   433s|480000 |479758 |960037 |   2.0 | 505M| 443 |   0 |1900 |1804 |1900 | 254 | 108k|  40 |2627 | 0.000000e+00 | 1.482000e+04 |    Inf 
453.80/453.85	c   443s|490000 |489758 |985506 |   2.0 | 515M| 443 |   0 |1900 |1804 |1900 | 235 | 111k|  40 |2722 | 0.000000e+00 | 1.482000e+04 |    Inf 
463.50/463.54	c   452s|500000 |499758 |  1007k|   2.0 | 526M| 443 |   0 |1900 |1804 |1900 | 231 | 114k|  40 |2772 | 0.000000e+00 | 1.482000e+04 |    Inf 
473.10/473.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
473.10/473.16	c   462s|510000 |509758 |  1028k|   2.0 | 536M| 443 |   0 |1900 |1804 |1900 | 225 | 116k|  40 |2806 | 0.000000e+00 | 1.482000e+04 |    Inf 
483.00/483.02	c   472s|520000 |519758 |  1052k|   2.0 | 547M| 443 |   0 |1900 |1804 |1900 | 243 | 119k|  40 |2875 | 0.000000e+00 | 1.482000e+04 |    Inf 
492.70/492.78	c   481s|530000 |529758 |  1075k|   2.0 | 557M| 443 |   0 |1900 |1804 |1900 | 235 | 121k|  40 |2917 | 0.000000e+00 | 1.482000e+04 |    Inf 
502.00/502.00	c   490s|540000 |539758 |  1093k|   2.0 | 567M| 443 |   0 |1900 |1804 |1900 | 223 | 124k|  40 |2944 | 0.000000e+00 | 1.482000e+04 |    Inf 
511.00/511.01	c   499s|550000 |549758 |  1111k|   2.0 | 578M| 443 |   0 |1900 |1804 |1900 | 224 | 126k|  40 |2988 | 0.000000e+00 | 1.482000e+04 |    Inf 
520.10/520.15	c   508s|560000 |559758 |  1131k|   2.0 | 588M| 443 |   0 |1900 |1804 |1900 | 241 | 128k|  40 |3053 | 0.000000e+00 | 1.482000e+04 |    Inf 
528.60/528.60	c   516s|570000 |569758 |  1147k|   2.0 | 598M| 443 |   0 |1900 |1804 |1900 | 250 | 130k|  40 |3081 | 0.000000e+00 | 1.482000e+04 |    Inf 
537.01/537.09	c   524s|580000 |579758 |  1161k|   2.0 | 608M| 443 |   0 |1900 |1804 |1900 | 250 | 132k|  40 |3105 | 0.000000e+00 | 1.482000e+04 |    Inf 
546.30/546.37	c   533s|590000 |589758 |  1180k|   2.0 | 618M| 443 |   0 |1900 |1804 |1900 | 268 | 134k|  40 |3127 | 0.000000e+00 | 1.482000e+04 |    Inf 
554.30/554.35	c   541s|600000 |599758 |  1192k|   2.0 | 628M| 443 |   0 |1900 |1804 |1900 | 233 | 136k|  40 |3144 | 0.000000e+00 | 1.482000e+04 |    Inf 
564.00/564.02	c   551s|610000 |609758 |  1214k|   2.0 | 639M| 443 |   0 |1900 |1804 |1900 | 246 | 138k|  40 |3216 | 0.000000e+00 | 1.482000e+04 |    Inf 
573.60/573.61	c   560s|620000 |619758 |  1236k|   2.0 | 649M| 443 |   0 |1900 |1804 |1900 | 234 | 141k|  40 |3260 | 0.000000e+00 | 1.482000e+04 |    Inf 
583.40/583.46	c   570s|630000 |629758 |  1260k|   2.0 | 659M| 443 |   0 |1900 |1804 |1900 | 238 | 144k|  40 |3280 | 0.000000e+00 | 1.482000e+04 |    Inf 
593.30/593.31	c   579s|640000 |639758 |  1283k|   2.0 | 670M| 443 |   0 |1900 |1804 |1900 | 233 | 146k|  40 |3336 | 0.000000e+00 | 1.482000e+04 |    Inf 
602.61/602.68	c   588s|650000 |649758 |  1304k|   2.0 | 680M| 443 |   0 |1900 |1804 |1900 | 241 | 149k|  40 |3392 | 0.000000e+00 | 1.482000e+04 |    Inf 
612.50/612.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
612.50/612.51	c   598s|660000 |659758 |  1327k|   2.0 | 690M| 443 |   0 |1900 |1804 |1900 | 233 | 151k|  40 |3449 | 0.000000e+00 | 1.482000e+04 |    Inf 
622.40/622.47	c   608s|670000 |669758 |  1350k|   2.0 | 701M| 443 |   0 |1900 |1804 |1900 | 228 | 155k|  40 |3472 | 0.000000e+00 | 1.482000e+04 |    Inf 
631.71/631.73	c   617s|680000 |679758 |  1369k|   2.0 | 711M| 443 |   0 |1900 |1804 |1900 | 230 | 157k|  40 |3570 | 0.000000e+00 | 1.482000e+04 |    Inf 
640.51/640.55	c   625s|690000 |689758 |  1387k|   2.0 | 721M| 443 |   0 |1900 |1804 |1900 | 222 | 158k|  40 |3589 | 0.000000e+00 | 1.482000e+04 |    Inf 
650.00/650.05	c   635s|700000 |699758 |  1409k|   2.0 | 732M| 443 |   0 |1900 |1804 |1900 | 226 | 161k|  40 |3679 | 0.000000e+00 | 1.482000e+04 |    Inf 
658.50/658.59	c   643s|710000 |709758 |  1423k|   2.0 | 742M| 443 |   0 |1900 |1804 |1900 | 222 | 163k|  40 |3702 | 0.000000e+00 | 1.482000e+04 |    Inf 
667.50/667.51	c   652s|720000 |719758 |  1442k|   2.0 | 752M| 443 |   0 |1900 |1804 |1900 | 225 | 166k|  40 |3725 | 0.000000e+00 | 1.482000e+04 |    Inf 
676.70/676.78	c   661s|730000 |729758 |  1460k|   2.0 | 762M| 443 |   0 |1900 |1803 |1900 | 233 | 168k|  40 |3766 | 0.000000e+00 | 1.482000e+04 |    Inf 
686.11/686.14	c   670s|740000 |739758 |  1478k|   2.0 | 773M| 443 |   0 |1900 |1803 |1900 | 230 | 171k|  40 |3825 | 0.000000e+00 | 1.482000e+04 |    Inf 
694.81/694.86	c   678s|750000 |749758 |  1494k|   2.0 | 783M| 443 |   0 |1900 |1803 |1900 | 226 | 172k|  40 |3856 | 0.000000e+00 | 1.482000e+04 |    Inf 
703.80/703.88	c   687s|760000 |759756 |  1512k|   2.0 | 793M| 443 |   0 |1900 |1805 |1900 | 234 | 174k|  42 |3917 | 0.000000e+00 | 1.482000e+04 |    Inf 
712.60/712.69	c   696s|770000 |769756 |  1525k|   2.0 | 803M| 443 |   0 |1900 |1804 |1900 | 221 | 176k|  42 |3938 | 0.000000e+00 | 1.482000e+04 |    Inf 
721.71/721.74	c   705s|780000 |779756 |  1542k|   2.0 | 814M| 443 |   0 |1900 |1804 |1900 | 227 | 178k|  42 |3984 | 0.000000e+00 | 1.482000e+04 |    Inf 
730.62/730.63	c   714s|790000 |789756 |  1558k|   2.0 | 824M| 443 |   0 |1900 |1804 |1900 | 216 | 179k|  42 |4012 | 0.000000e+00 | 1.482000e+04 |    Inf 
739.50/739.56	c   722s|800000 |799756 |  1573k|   2.0 | 834M| 443 |   0 |1900 |1804 |1900 | 235 | 181k|  42 |4044 | 0.000000e+00 | 1.482000e+04 |    Inf 
748.51/748.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
748.51/748.59	c   731s|810000 |809756 |  1588k|   2.0 | 845M| 443 |   0 |1900 |1804 |1900 | 245 | 183k|  42 |4064 | 0.000000e+00 | 1.482000e+04 |    Inf 
757.80/757.82	c   740s|820000 |819756 |  1605k|   2.0 | 855M| 443 |   0 |1900 |1804 |1900 | 225 | 185k|  42 |4073 | 0.000000e+00 | 1.482000e+04 |    Inf 
767.01/767.06	c   749s|830000 |829756 |  1622k|   2.0 | 865M| 443 |   0 |1900 |1804 |1900 | 218 | 187k|  42 |4103 | 0.000000e+00 | 1.482000e+04 |    Inf 
776.31/776.35	c   758s|840000 |839756 |  1642k|   2.0 | 876M| 443 |   0 |1900 |1804 |1900 | 228 | 189k|  42 |4134 | 0.000000e+00 | 1.482000e+04 |    Inf 
786.01/786.09	c   768s|850000 |849756 |  1663k|   2.0 | 886M| 443 |   0 |1900 |1804 |1900 | 232 | 192k|  42 |4168 | 0.000000e+00 | 1.482000e+04 |    Inf 
796.00/796.01	c   777s|860000 |859756 |  1687k|   2.0 | 896M| 443 |   0 |1900 |1804 |1900 | 230 | 195k|  42 |4198 | 0.000000e+00 | 1.482000e+04 |    Inf 
805.21/805.23	c   786s|870000 |869756 |  1704k|   2.0 | 907M| 443 |   0 |1900 |1804 |1900 | 231 | 197k|  42 |4256 | 0.000000e+00 | 1.482000e+04 |    Inf 
814.61/814.60	c   795s|880000 |879754 |  1724k|   2.0 | 917M| 443 |   0 |1900 |1805 |1900 | 223 | 199k|  43 |4300 | 0.000000e+00 | 1.482000e+04 |    Inf 
824.01/824.09	c   805s|890000 |889754 |  1748k|   2.0 | 927M| 443 |   0 |1900 |1805 |1900 | 228 | 201k|  43 |4321 | 0.000000e+00 | 1.482000e+04 |    Inf 
833.41/833.48	c   814s|900000 |899754 |  1767k|   2.0 | 938M| 443 |   0 |1900 |1805 |1900 | 233 | 203k|  43 |4344 | 0.000000e+00 | 1.482000e+04 |    Inf 
842.61/842.64	c   823s|910000 |909754 |  1785k|   2.0 | 948M| 443 |   0 |1900 |1805 |1900 | 228 | 205k|  43 |4404 | 0.000000e+00 | 1.482000e+04 |    Inf 
852.00/852.02	c   832s|920000 |919754 |  1806k|   2.0 | 958M| 443 |   0 |1900 |1805 |1900 | 223 | 207k|  43 |4407 | 0.000000e+00 | 1.482000e+04 |    Inf 
861.21/861.20	c   841s|930000 |929754 |  1823k|   2.0 | 969M| 443 |   0 |1900 |1805 |1900 | 232 | 209k|  43 |4458 | 0.000000e+00 | 1.482000e+04 |    Inf 
870.31/870.31	c   850s|940000 |939754 |  1838k|   2.0 | 979M| 443 |   0 |1900 |1805 |1900 | 239 | 210k|  43 |4475 | 0.000000e+00 | 1.482000e+04 |    Inf 
879.31/879.33	c   859s|950000 |949754 |  1855k|   2.0 | 989M| 443 |   0 |1900 |1805 |1900 | 225 | 212k|  43 |4504 | 0.000000e+00 | 1.482000e+04 |    Inf 
888.21/888.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
888.21/888.24	c   868s|960000 |959754 |  1870k|   1.9 |1000M| 443 |   0 |1900 |1805 |1900 | 236 | 214k|  43 |4529 | 0.000000e+00 | 1.482000e+04 |    Inf 
897.21/897.24	c   876s|970000 |969754 |  1886k|   1.9 |1010M| 443 |   0 |1900 |1805 |1900 | 233 | 216k|  43 |4548 | 0.000000e+00 | 1.482000e+04 |    Inf 
906.61/906.68	c   886s|980000 |979754 |  1906k|   1.9 |1020M| 443 |   0 |1900 |1805 |1900 | 228 | 218k|  43 |4598 | 0.000000e+00 | 1.482000e+04 |    Inf 
915.71/915.72	c   894s|990000 |989754 |  1924k|   1.9 |1030M| 443 |   0 |1900 |1805 |1900 | 274 | 220k|  43 |4616 | 0.000000e+00 | 1.482000e+04 |    Inf 
924.31/924.37	c   903s|  1000k|999754 |  1937k|   1.9 |1041M| 443 |   0 |1900 |1805 |1900 | 234 | 222k|  43 |4630 | 0.000000e+00 | 1.482000e+04 |    Inf 
933.41/933.49	c   912s|  1010k|  1009k|  1954k|   1.9 |1051M| 443 |   0 |1900 |1805 |1900 | 240 | 224k|  43 |4664 | 0.000000e+00 | 1.482000e+04 |    Inf 
942.21/942.28	c   920s|  1020k|  1019k|  1969k|   1.9 |1061M| 443 |   0 |1900 |1805 |1900 | 242 | 226k|  43 |4684 | 0.000000e+00 | 1.482000e+04 |    Inf 
951.50/951.59	c   929s|  1030k|  1029k|  1990k|   1.9 |1071M| 443 |   0 |1900 |1805 |1900 | 236 | 228k|  43 |4715 | 0.000000e+00 | 1.482000e+04 |    Inf 
960.42/960.50	c   938s|  1040k|  1039k|  2008k|   1.9 |1082M| 443 |   0 |1900 |1805 |1900 | 216 | 230k|  43 |4742 | 0.000000e+00 | 1.482000e+04 |    Inf 
969.51/969.56	c   947s|  1050k|  1049k|  2026k|   1.9 |1092M| 443 |   0 |1900 |1805 |1900 | 236 | 232k|  43 |4790 | 0.000000e+00 | 1.482000e+04 |    Inf 
978.51/978.52	c   956s|  1060k|  1059k|  2047k|   1.9 |1102M| 443 |   0 |1900 |1805 |1900 | 244 | 234k|  43 |4841 | 0.000000e+00 | 1.482000e+04 |    Inf 
988.11/988.16	c   965s|  1070k|  1069k|  2074k|   1.9 |1112M| 443 |   0 |1900 |1805 |1900 | 241 | 236k|  43 |4883 | 0.000000e+00 | 1.482000e+04 |    Inf 
997.21/997.27	c   974s|  1080k|  1079k|  2095k|   1.9 |1123M| 443 |   0 |1900 |1805 |1900 | 231 | 238k|  43 |4922 | 0.000000e+00 | 1.482000e+04 |    Inf 
1005.91/1005.97	c   983s|  1090k|  1089k|  2110k|   1.9 |1133M| 443 |   0 |1900 |1805 |1900 | 223 | 240k|  43 |4940 | 0.000000e+00 | 1.482000e+04 |    Inf 
1015.01/1015.01	c   991s|  1100k|  1099k|  2131k|   1.9 |1143M| 443 |   0 |1900 |1805 |1900 | 233 | 242k|  43 |4975 | 0.000000e+00 | 1.482000e+04 |    Inf 
1024.11/1024.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1024.11/1024.13	c  1000s|  1110k|  1109k|  2151k|   1.9 |1153M| 443 |   0 |1900 |1805 |1900 | 222 | 244k|  43 |5018 | 0.000000e+00 | 1.482000e+04 |    Inf 
1033.81/1033.89	c  1010s|  1120k|  1119k|  2175k|   1.9 |1164M| 443 |   0 |1900 |1805 |1900 | 235 | 247k|  43 |5052 | 0.000000e+00 | 1.482000e+04 |    Inf 
1043.51/1043.59	c  1019s|  1130k|  1129k|  2199k|   1.9 |1174M| 443 |   0 |1900 |1805 |1900 | 227 | 249k|  43 |5095 | 0.000000e+00 | 1.482000e+04 |    Inf 
1052.92/1052.94	c  1028s|  1140k|  1139k|  2220k|   1.9 |1184M| 443 |   0 |1900 |1805 |1900 | 227 | 252k|  43 |5140 | 0.000000e+00 | 1.482000e+04 |    Inf 
1062.52/1062.56	c  1038s|  1150k|  1149k|  2244k|   2.0 |1195M| 443 |   0 |1900 |1805 |1900 | 240 | 254k|  43 |5170 | 0.000000e+00 | 1.482000e+04 |    Inf 
1071.42/1071.48	c  1047s|  1160k|  1159k|  2264k|   2.0 |1205M| 443 |   0 |1900 |1805 |1900 | 231 | 256k|  43 |5203 | 0.000000e+00 | 1.482000e+04 |    Inf 
1080.51/1080.54	c  1055s|  1170k|  1169k|  2283k|   2.0 |1215M| 443 |   0 |1900 |1805 |1900 | 233 | 258k|  43 |5246 | 0.000000e+00 | 1.482000e+04 |    Inf 
1089.81/1089.86	c  1065s|  1180k|  1179k|  2303k|   2.0 |1225M| 443 |   0 |1900 |1805 |1900 | 236 | 260k|  43 |5259 | 0.000000e+00 | 1.482000e+04 |    Inf 
1099.02/1099.01	c  1073s|  1190k|  1189k|  2323k|   2.0 |1236M| 443 |   0 |1900 |1805 |1900 | 238 | 262k|  43 |5325 | 0.000000e+00 | 1.482000e+04 |    Inf 
1108.71/1108.77	c  1083s|  1200k|  1199k|  2348k|   2.0 |1246M| 443 |   0 |1900 |1805 |1900 | 238 | 265k|  43 |5351 | 0.000000e+00 | 1.482000e+04 |    Inf 
1117.62/1117.65	c  1092s|  1210k|  1209k|  2367k|   2.0 |1256M| 443 |   0 |1900 |1805 |1900 | 232 | 267k|  43 |5369 | 0.000000e+00 | 1.482000e+04 |    Inf 
1127.02/1127.03	c  1101s|  1220k|  1219k|  2382k|   2.0 |1266M| 443 |   0 |1900 |1805 |1900 | 222 | 269k|  43 |5387 | 0.000000e+00 | 1.482000e+04 |    Inf 
1136.21/1136.24	c  1110s|  1230k|  1229k|  2400k|   2.0 |1277M| 443 |   0 |1900 |1805 |1900 | 238 | 272k|  43 |5417 | 0.000000e+00 | 1.482000e+04 |    Inf 
1145.31/1145.39	c  1119s|  1240k|  1239k|  2416k|   1.9 |1287M| 443 |   0 |1900 |1805 |1900 | 237 | 274k|  43 |5438 | 0.000000e+00 | 1.482000e+04 |    Inf 
1154.61/1154.61	c  1128s|  1250k|  1249k|  2434k|   1.9 |1297M| 443 |   0 |1900 |1805 |1900 | 240 | 276k|  43 |5449 | 0.000000e+00 | 1.482000e+04 |    Inf 
1163.72/1163.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.72/1163.70	c  1137s|  1260k|  1259k|  2453k|   1.9 |1308M| 443 |   0 |1900 |1805 |1900 | 234 | 277k|  43 |5482 | 0.000000e+00 | 1.482000e+04 |    Inf 
1173.01/1173.02	c  1146s|  1270k|  1269k|  2474k|   1.9 |1318M| 443 |   0 |1900 |1805 |1900 | 235 | 279k|  43 |5519 | 0.000000e+00 | 1.482000e+04 |    Inf 
1182.11/1182.17	c  1155s|  1280k|  1279k|  2491k|   1.9 |1328M| 443 |   0 |1900 |1805 |1900 | 240 | 281k|  43 |5557 | 0.000000e+00 | 1.482000e+04 |    Inf 
1190.81/1190.80	c  1163s|  1290k|  1289k|  2508k|   1.9 |1338M| 443 |   0 |1900 |1805 |1900 | 223 | 283k|  43 |5581 | 0.000000e+00 | 1.482000e+04 |    Inf 
1198.81/1198.80	c  1171s|  1300k|  1299k|  2519k|   1.9 |1348M| 443 |   0 |1900 |1805 |1900 | 247 | 284k|  43 |5610 | 0.000000e+00 | 1.482000e+04 |    Inf 
1206.62/1206.66	c  1179s|  1310k|  1309k|  2528k|   1.9 |1358M| 443 |   0 |1900 |1805 |1900 | 240 | 285k|  43 |5633 | 0.000000e+00 | 1.482000e+04 |    Inf 
1215.52/1215.57	c  1187s|  1320k|  1319k|  2541k|   1.9 |1369M| 443 |   0 |1900 |1805 |1900 | 235 | 287k|  43 |5646 | 0.000000e+00 | 1.482000e+04 |    Inf 
1224.42/1224.50	c  1196s|  1330k|  1329k|  2558k|   1.9 |1379M| 443 |   0 |1900 |1805 |1900 | 231 | 289k|  43 |5678 | 0.000000e+00 | 1.482000e+04 |    Inf 
1233.62/1233.66	c  1205s|  1340k|  1339k|  2577k|   1.9 |1389M| 443 |   0 |1900 |1805 |1900 | 230 | 291k|  43 |5698 | 0.000000e+00 | 1.482000e+04 |    Inf 
1242.81/1242.84	c  1214s|  1350k|  1349k|  2596k|   1.9 |1400M| 443 |   0 |1900 |1805 |1900 | 236 | 292k|  43 |5712 | 0.000000e+00 | 1.482000e+04 |    Inf 
1252.02/1252.01	c  1223s|  1360k|  1359k|  2616k|   1.9 |1410M| 443 |   0 |1900 |1805 |1900 | 232 | 294k|  43 |5716 | 0.000000e+00 | 1.482000e+04 |    Inf 
1260.91/1260.99	c  1232s|  1370k|  1369k|  2631k|   1.9 |1420M| 443 |   0 |1900 |1805 |1900 | 234 | 296k|  43 |5732 | 0.000000e+00 | 1.482000e+04 |    Inf 
1270.22/1270.23	c  1241s|  1380k|  1379k|  2650k|   1.9 |1431M| 443 |   0 |1900 |1805 |1900 | 225 | 298k|  43 |5750 | 0.000000e+00 | 1.482000e+04 |    Inf 
1279.32/1279.30	c  1250s|  1390k|  1389k|  2667k|   1.9 |1441M| 443 |   0 |1900 |1805 |1900 | 234 | 299k|  43 |5765 | 0.000000e+00 | 1.482000e+04 |    Inf 
1288.72/1288.73	c  1259s|  1400k|  1399k|  2686k|   1.9 |1451M| 443 |   0 |1900 |1805 |1900 | 226 | 301k|  43 |5770 | 0.000000e+00 | 1.482000e+04 |    Inf 
1298.31/1298.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1298.31/1298.37	c  1268s|  1410k|  1409k|  2707k|   1.9 |1462M| 443 |   0 |1900 |1805 |1900 | 243 | 304k|  43 |5813 | 0.000000e+00 | 1.482000e+04 |    Inf 
1307.03/1307.07	c  1277s|  1420k|  1419k|  2725k|   1.9 |1472M| 443 |   0 |1900 |1805 |1900 | 226 | 306k|  43 |5846 | 0.000000e+00 | 1.482000e+04 |    Inf 
1316.02/1316.02	c  1286s|  1430k|  1429k|  2744k|   1.9 |1482M| 443 |   0 |1900 |1805 |1900 | 243 | 308k|  43 |5853 | 0.000000e+00 | 1.482000e+04 |    Inf 
1324.82/1324.81	c  1294s|  1440k|  1439k|  2763k|   1.9 |1492M| 443 |   0 |1900 |1805 |1900 | 239 | 310k|  43 |5867 | 0.000000e+00 | 1.482000e+04 |    Inf 
1334.11/1334.15	c  1303s|  1450k|  1449k|  2786k|   1.9 |1503M| 443 |   0 |1900 |1805 |1900 | 235 | 312k|  43 |5878 | 0.000000e+00 | 1.482000e+04 |    Inf 
1343.33/1343.37	c  1312s|  1460k|  1459k|  2810k|   1.9 |1513M| 443 |   0 |1900 |1805 |1900 | 241 | 314k|  43 |5892 | 0.000000e+00 | 1.482000e+04 |    Inf 
1352.22/1352.22	c  1321s|  1470k|  1469k|  2830k|   1.9 |1523M| 443 |   0 |1900 |1805 |1900 | 237 | 316k|  43 |5912 | 0.000000e+00 | 1.482000e+04 |    Inf 
1361.42/1361.42	c  1330s|  1480k|  1479k|  2852k|   1.9 |1533M| 443 |   0 |1900 |1805 |1900 | 229 | 318k|  43 |5939 | 0.000000e+00 | 1.482000e+04 |    Inf 
1371.02/1371.00	c  1339s|  1490k|  1489k|  2873k|   1.9 |1544M| 443 |   0 |1900 |1805 |1900 | 222 | 321k|  43 |5954 | 0.000000e+00 | 1.482000e+04 |    Inf 
1380.52/1380.52	c  1349s|  1500k|  1499k|  2894k|   1.9 |1554M| 443 |   0 |1900 |1805 |1900 | 233 | 323k|  43 |5985 | 0.000000e+00 | 1.482000e+04 |    Inf 
1389.82/1389.84	c  1358s|  1510k|  1509k|  2914k|   1.9 |1564M| 443 |   0 |1900 |1805 |1900 | 240 | 325k|  43 |6011 | 0.000000e+00 | 1.482000e+04 |    Inf 
1398.72/1398.73	c  1366s|  1520k|  1519k|  2931k|   1.9 |1575M| 443 |   0 |1900 |1805 |1900 | 234 | 327k|  43 |6053 | 0.000000e+00 | 1.482000e+04 |    Inf 
1407.82/1407.83	c  1375s|  1530k|  1529k|  2949k|   1.9 |1585M| 443 |   0 |1900 |1805 |1900 | 224 | 329k|  43 |6083 | 0.000000e+00 | 1.482000e+04 |    Inf 
1416.72/1416.76	c  1384s|  1540k|  1539k|  2967k|   1.9 |1595M| 443 |   0 |1900 |1805 |1900 | 236 | 331k|  43 |6108 | 0.000000e+00 | 1.482000e+04 |    Inf 
1426.12/1426.17	c  1393s|  1550k|  1549k|  2990k|   1.9 |1606M| 443 |   0 |1900 |1805 |1900 | 236 | 334k|  43 |6163 | 0.000000e+00 | 1.482000e+04 |    Inf 
1435.12/1435.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1435.12/1435.17	c  1402s|  1560k|  1559k|  3004k|   1.9 |1616M| 443 |   0 |1900 |1805 |1900 | 233 | 336k|  43 |6170 | 0.000000e+00 | 1.482000e+04 |    Inf 
1444.43/1444.42	c  1411s|  1570k|  1569k|  3025k|   1.9 |1626M| 443 |   0 |1900 |1805 |1900 | 246 | 338k|  43 |6201 | 0.000000e+00 | 1.482000e+04 |    Inf 
1453.12/1453.11	c  1420s|  1580k|  1579k|  3043k|   1.9 |1636M| 443 |   0 |1900 |1805 |1900 | 246 | 340k|  43 |6250 | 0.000000e+00 | 1.482000e+04 |    Inf 
1462.22/1462.25	c  1428s|  1590k|  1589k|  3062k|   1.9 |1646M| 443 |   0 |1900 |1805 |1900 | 228 | 342k|  43 |6291 | 0.000000e+00 | 1.482000e+04 |    Inf 
1471.73/1471.71	c  1438s|  1600k|  1599k|  3084k|   1.9 |1657M| 443 |   0 |1900 |1805 |1900 | 239 | 345k|  43 |6331 | 0.000000e+00 | 1.482000e+04 |    Inf 
1481.42/1481.49	c  1447s|  1610k|  1609k|  3109k|   1.9 |1667M| 443 |   0 |1900 |1805 |1900 | 229 | 348k|  43 |6386 | 0.000000e+00 | 1.482000e+04 |    Inf 
1491.62/1491.64	c  1457s|  1620k|  1619k|  3140k|   1.9 |1678M| 443 |   0 |1900 |1805 |1900 | 233 | 352k|  43 |6433 | 0.000000e+00 | 1.482000e+04 |    Inf 
1501.53/1501.54	c  1467s|  1630k|  1629k|  3168k|   1.9 |1688M| 443 |   0 |1900 |1805 |1900 | 231 | 355k|  43 |6456 | 0.000000e+00 | 1.482000e+04 |    Inf 
1510.62/1510.61	c  1476s|  1640k|  1639k|  3187k|   1.9 |1698M| 443 |   0 |1900 |1805 |1900 | 230 | 357k|  43 |6480 | 0.000000e+00 | 1.482000e+04 |    Inf 
1518.82/1518.86	c  1484s|  1650k|  1649k|  3200k|   1.9 |1708M| 443 |   0 |1900 |1805 |1900 | 228 | 359k|  43 |6490 | 0.000000e+00 | 1.482000e+04 |    Inf 
1528.03/1528.08	c  1493s|  1660k|  1659k|  3220k|   1.9 |1719M| 443 |   0 |1900 |1805 |1900 | 230 | 361k|  43 |6519 | 0.000000e+00 | 1.482000e+04 |    Inf 
1537.22/1537.25	c  1502s|  1670k|  1669k|  3240k|   1.9 |1729M| 443 |   0 |1900 |1805 |1900 | 228 | 363k|  43 |6539 | 0.000000e+00 | 1.482000e+04 |    Inf 
1546.22/1546.22	c  1511s|  1680k|  1679k|  3260k|   1.9 |1739M| 443 |   0 |1900 |1805 |1900 | 240 | 364k|  43 |6558 | 0.000000e+00 | 1.482000e+04 |    Inf 
1555.42/1555.49	c  1520s|  1690k|  1689k|  3282k|   1.9 |1749M| 443 |   0 |1900 |1805 |1900 | 233 | 366k|  43 |6593 | 0.000000e+00 | 1.482000e+04 |    Inf 
1564.42/1564.40	c  1528s|  1700k|  1699k|  3301k|   1.9 |1760M| 443 |   0 |1900 |1805 |1900 | 228 | 368k|  43 |6632 | 0.000000e+00 | 1.482000e+04 |    Inf 
1573.62/1573.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1573.62/1573.66	c  1537s|  1710k|  1709k|  3324k|   1.9 |1770M| 443 |   0 |1900 |1805 |1900 | 226 | 371k|  43 |6683 | 0.000000e+00 | 1.482000e+04 |    Inf 
1582.82/1582.88	c  1546s|  1720k|  1719k|  3348k|   1.9 |1780M| 443 |   0 |1900 |1805 |1900 | 233 | 373k|  43 |6707 | 0.000000e+00 | 1.482000e+04 |    Inf 
1590.82/1590.85	c  1554s|  1730k|  1729k|  3361k|   1.9 |1790M| 443 |   0 |1900 |1805 |1900 | 226 | 374k|  43 |6748 | 0.000000e+00 | 1.482000e+04 |    Inf 
1599.02/1599.07	c  1562s|  1740k|  1739k|  3375k|   1.9 |1800M| 443 |   0 |1900 |1805 |1900 | 248 | 376k|  43 |6770 | 0.000000e+00 | 1.482000e+04 |    Inf 
1607.92/1607.91	c  1571s|  1750k|  1749k|  3392k|   1.9 |1810M| 443 |   0 |1900 |1805 |1900 | 226 | 378k|  43 |6788 | 0.000000e+00 | 1.482000e+04 |    Inf 
1616.52/1616.50	c  1579s|  1760k|  1759k|  3408k|   1.9 |1821M| 443 |   0 |1900 |1805 |1900 | 234 | 379k|  43 |6806 | 0.000000e+00 | 1.482000e+04 |    Inf 
1625.82/1625.85	c  1588s|  1770k|  1769k|  3427k|   1.9 |1831M| 443 |   3 |1900 |1805 |1900 | 227 | 382k|  43 |6828 | 0.000000e+00 | 1.482000e+04 |    Inf 
1635.13/1635.16	c  1597s|  1780k|  1779k|  3447k|   1.9 |1841M| 443 |   0 |1900 |1805 |1900 | 226 | 384k|  43 |6863 | 0.000000e+00 | 1.482000e+04 |    Inf 
1644.33/1644.34	c  1606s|  1790k|  1789k|  3467k|   1.9 |1852M| 443 |   0 |1900 |1805 |1900 | 229 | 386k|  43 |6894 | 0.000000e+00 | 1.482000e+04 |    Inf 
1652.73/1652.78	c  1615s|  1800k|  1799k|  3484k|   1.9 |1862M| 443 |   0 |1900 |1805 |1900 | 234 | 388k|  43 |6919 | 0.000000e+00 | 1.482000e+04 |    Inf 
1661.43/1661.40	c  1623s|  1810k|  1809k|  3499k|   1.9 |1872M| 443 |   0 |1900 |1805 |1900 | 241 | 390k|  43 |6955 | 0.000000e+00 | 1.482000e+04 |    Inf 
1669.93/1669.95	c  1631s|  1820k|  1819k|  3514k|   1.9 |1882M| 443 |   0 |1900 |1805 |1900 | 219 | 392k|  43 |7005 | 0.000000e+00 | 1.482000e+04 |    Inf 
1679.03/1679.00	c  1640s|  1830k|  1829k|  3530k|   1.9 |1892M| 443 |   0 |1900 |1805 |1900 | 221 | 394k|  43 |7006 | 0.000000e+00 | 1.482000e+04 |    Inf 
1688.32/1688.30	c  1649s|  1840k|  1839k|  3548k|   1.9 |1903M| 443 |   0 |1900 |1805 |1900 | 234 | 396k|  43 |7032 | 0.000000e+00 | 1.482000e+04 |    Inf 
1697.72/1697.71	c  1659s|  1850k|  1849k|  3568k|   1.9 |1913M| 443 |   0 |1900 |1805 |1900 | 220 | 399k|  43 |7064 | 0.000000e+00 | 1.482000e+04 |    Inf 
1705.93/1705.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1705.93/1705.95	c  1667s|  1860k|  1859k|  3582k|   1.9 |1923M| 443 |   0 |1900 |1805 |1900 | 223 | 401k|  43 |7105 | 0.000000e+00 | 1.482000e+04 |    Inf 
1713.93/1713.97	c  1674s|  1870k|  1869k|  3594k|   1.9 |1933M| 443 |   0 |1900 |1805 |1900 | 233 | 402k|  43 |7129 | 0.000000e+00 | 1.482000e+04 |    Inf 
1722.93/1722.96	c  1683s|  1880k|  1879k|  3610k|   1.9 |1943M| 443 |   0 |1900 |1805 |1900 | 225 | 404k|  43 |7141 | 0.000000e+00 | 1.482000e+04 |    Inf 
1731.53/1731.51	c  1692s|  1890k|  1889k|  3625k|   1.9 |1954M| 443 |   0 |1900 |1805 |1900 | 234 | 406k|  43 |7147 | 0.000000e+00 | 1.482000e+04 |    Inf 
1739.93/1739.98	c  1700s|  1900k|  1899k|  3641k|   1.9 |1964M| 443 |   0 |1900 |1805 |1900 | 228 | 407k|  43 |7164 | 0.000000e+00 | 1.482000e+04 |    Inf 
1749.33/1749.36	c  1709s|  1910k|  1909k|  3664k|   1.9 |1974M| 443 |   0 |1900 |1805 |1900 | 249 | 410k|  43 |7185 | 0.000000e+00 | 1.482000e+04 |    Inf 
1758.23/1758.27	c  1718s|  1920k|  1919k|  3683k|   1.9 |1984M| 443 |   0 |1900 |1805 |1900 | 237 | 412k|  43 |7231 | 0.000000e+00 | 1.482000e+04 |    Inf 
1767.53/1767.50	c  1727s|  1930k|  1929k|  3701k|   1.9 |1995M| 443 |   0 |1900 |1805 |1900 | 226 | 414k|  43 |7251 | 0.000000e+00 | 1.482000e+04 |    Inf 
1777.13/1777.11	c  1736s|  1940k|  1939k|  3720k|   1.9 |2005M| 443 |   0 |1900 |1805 |1900 | 239 | 416k|  43 |7273 | 0.000000e+00 | 1.482000e+04 |    Inf 
1786.83/1786.81	c  1746s|  1950k|  1949k|  3744k|   1.9 |2015M| 443 |   0 |1900 |1805 |1900 | 232 | 418k|  43 |7288 | 0.000000e+00 | 1.482000e+04 |    Inf 
1796.13/1796.13	c  1755s|  1960k|  1959k|  3764k|   1.9 |2026M| 443 |   0 |1900 |1805 |1900 | 230 | 421k|  43 |7314 | 0.000000e+00 | 1.482000e+04 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1758.56
1800.04/1800.00	c Solving Nodes      : 1964045
1800.04/1800.00	c Primal Bound       : +1.48200000000000e+04 (101 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	v -x200 x199 -x198 x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 x178 -x177 
1800.04/1800.01	v x176 -x175 -x174 x173 -x172 x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 
1800.04/1800.01	v -x154 x153 -x152 x151 x150 -x149 x148 -x147 -x146 x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 -x134 x133 -x132 
1800.04/1800.01	v x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109 
1800.04/1800.01	v -x108 x107 x106 -x105 x104 -x103 -x102 x101 x100 -x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 x89 x88 -x87 x86 -x85 -x84 
1800.04/1800.01	v x83 x82 -x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 -x56 
1800.04/1800.01	v x55 -x54 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 -x28 
1800.04/1800.01	v 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 -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1758.56
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2700033-1278533907.wbo
1800.04/1800.01	c   Variables        : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01	c   Constraints      : 1901 initial, 1901 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2700033-1278533907.wbo
1800.04/1800.01	c   Variables        : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01	c   Constraints      : 1800 initial, 1833 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.01          0        100          0        900          0        101          0          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0    2163317          0          0         36          0          0      19572
1800.04/1800.01	c   indicator        :        900          0    3162855    2153496          0          0    1791316          0          0          0
1800.04/1800.01	c   linear           :        900          6    3162855    2153496          0          9     975255     422099          0          0
1800.04/1800.01	c   logicor          :          0+         0     124002          0          0          2      61746          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0    1954248          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :       7.90       0.00       0.00       7.90       0.00
1800.04/1800.01	c   indicator        :     178.40       0.07      36.33     142.00       0.00
1800.04/1800.01	c   linear           :     104.43       0.00      27.04      77.39       0.00
1800.04/1800.01	c   logicor          :       0.23       0.00       0.23       0.00       0.00
1800.04/1800.01	c   countsols        :       0.56       0.00       0.00       0.56       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.87          2          0          0
1800.04/1800.01	c   rootredcost      :       0.86          1          0          0
1800.04/1800.01	c   pseudoobj        :      60.02    3162655          0          0
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       0.00         11         11         13        7.8         30        3.5          -
1800.04/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -         43        4.8          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          4          -          -         15          -    (maximal pool size: 44)
1800.04/1800.01	c   redcost          :      89.83    2163321          0          0          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.01          5          0          0         46          0
1800.04/1800.01	c   strongcg         :       0.01          5          0          0          0          0
1800.04/1800.01	c   cmir             :       0.01          5          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.03          5          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :       7.20       9821          0         36          0          0      19572
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :     161.16    1954247          0          0          0          0    3908494
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.00          -          1
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       0.76          2          0
1800.04/1800.01	c   intshifting      :       0.01         16          0
1800.04/1800.01	c   crossover        :       0.84         18          2
1800.04/1800.01	c   fracdiving       :      20.05      33335          0
1800.04/1800.01	c   veclendiving     :      19.98      33335          0
1800.04/1800.01	c   linesearchdiving :      18.68      33335          0
1800.04/1800.01	c   guideddiving     :      20.11      33335          0
1800.04/1800.01	c   coefdiving       :      19.95      33335          0
1800.04/1800.01	c   pscostdiving     :      20.12      33335          0
1800.04/1800.01	c   objpscostdiving  :      21.45      33318          0
1800.04/1800.01	c   rootsoldiving    :      20.68      33318          0
1800.04/1800.01	c   trivial          :       0.00          2          1
1800.04/1800.01	c   simplerounding   :       1.52       9826          0
1800.04/1800.01	c   zirounding       :       0.53       1000          0
1800.04/1800.01	c   rounding         :       0.68       1327          0
1800.04/1800.01	c   shifting         :       0.30        351          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   feaspump         :       0.04          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.02          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.51          0          0
1800.04/1800.01	c   trysol           :       1.28      33806         97
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     656.51     517130    3771710       7.29    5745.09
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       0.05        155        926       5.97   18520.00
1800.04/1800.01	c   strong branching :       7.16       7320      92666      12.66   12942.18
1800.04/1800.01	c     (at root node) :          -         33       8666     262.61          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :    1964045
1800.04/1800.01	c   nodes (total)    :    1964045
1800.04/1800.01	c   nodes left       :    1963799
1800.04/1800.01	c   max depth        :        443
1800.04/1800.01	c   max depth (total):        443
1800.04/1800.01	c   backtracks       :      33438 (1.7%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :        280 (45 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.23
1800.04/1800.01	c   switching time   :      47.85
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :        101 (2 improvements)
1800.04/1800.02	c   First Solution   : +4.44854000000000e+05   (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.02	c   Primal Bound     : +1.48200000000000e+04   (in run 1, after 20789 nodes, 18.80 seconds, depth 410, found by <relaxation>)
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :        368

Verifier Data 

OK	14820

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700033-1278533907/watcher-2700033-1278533907 -o /tmp/evaluation-result-2700033-1278533907/solver-2700033-1278533907 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700033-1278533907.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: 1.90 0.65 0.23 4/176 22107
/proc/meminfo: memFree=28807076/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=10840 CPUtime=0
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1640 0 0 0 0 0 0 0 25 0 1 0 21604523 11100160 1561 4089446400 4194304 9819077 140734479789376 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22107/statm: 2710 1564 392 1374 0 1331 0

[startup+0.102077 s]
/proc/loadavg: 1.90 0.65 0.23 4/176 22107
/proc/meminfo: memFree=28807076/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=26048 CPUtime=0.09
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 6354 0 0 0 8 1 0 0 25 0 1 0 21604523 26673152 5095 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22107/statm: 6556 5109 674 1374 0 5177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26048

[startup+0.201062 s]
/proc/loadavg: 1.90 0.65 0.23 4/176 22107
/proc/meminfo: memFree=28807076/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=27780 CPUtime=0.19
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 10091 0 0 0 18 1 0 0 25 0 1 0 21604523 28446720 5278 4089446400 4194304 9819077 140734479789376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22107/statm: 6945 5278 695 1374 0 5566 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27780

[startup+0.301041 s]
/proc/loadavg: 1.90 0.65 0.23 4/176 22107
/proc/meminfo: memFree=28807076/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=27652 CPUtime=0.29
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 11132 0 0 0 27 2 0 0 25 0 1 0 21604523 28315648 5269 4089446400 4194304 9819077 140734479789376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22107/statm: 6913 5269 695 1374 0 5534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27652

[startup+0.700976 s]
/proc/loadavg: 1.90 0.65 0.23 4/176 22107
/proc/meminfo: memFree=28807076/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=27744 CPUtime=0.69
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 15369 0 0 0 66 3 0 0 25 0 1 0 21604523 28409856 5285 4089446400 4194304 9819077 140734479789376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22107/statm: 6936 5285 700 1374 0 5557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27744

[startup+1.50082 s]
/proc/loadavg: 1.90 0.65 0.23 3/177 22108
/proc/meminfo: memFree=28789236/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=26800 CPUtime=1.49
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 26168 0 0 0 143 6 0 0 25 0 1 0 21604523 27443200 5295 4089446400 4194304 9819077 140734479789376 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 6975 5300 702 1374 0 5596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26800

[startup+3.10058 s]
/proc/loadavg: 1.91 0.67 0.24 3/177 22135
/proc/meminfo: memFree=29085472/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=29876 CPUtime=3.09
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 44985 0 0 0 296 13 0 0 25 0 1 0 21604523 30593024 6006 4089446400 4194304 9819077 140734479789376 18446744073709551615 7816372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 7469 6006 703 1374 0 6090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29876

[startup+6.301 s]
/proc/loadavg: 1.91 0.67 0.24 4/177 22136
/proc/meminfo: memFree=29065684/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=33984 CPUtime=6.29
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 64461 0 0 0 610 19 0 0 25 0 1 0 21604523 34799616 7162 4089446400 4194304 9819077 140734479789376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 8451 7157 703 1374 0 7072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33984

[startup+12.7009 s]
/proc/loadavg: 1.93 0.72 0.26 3/177 22136
/proc/meminfo: memFree=29037112/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=44132 CPUtime=12.69
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 88429 0 0 0 1234 35 0 0 25 0 1 0 21604523 45191168 9642 4089446400 4194304 9819077 140734479789376 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 11033 9642 707 1374 0 9654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44132

[startup+25.5067 s]
/proc/loadavg: 1.94 0.76 0.28 3/177 22136
/proc/meminfo: memFree=28985648/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=59724 CPUtime=25.5
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 147273 0 0 0 2484 66 0 0 25 0 1 0 21604523 61157376 13572 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 14931 13572 707 1374 0 13552 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 59724

[startup+51.1002 s]
/proc/loadavg: 1.96 0.86 0.32 3/177 22137
/proc/meminfo: memFree=28906216/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=89884 CPUtime=51.09
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 232539 0 0 0 4981 128 0 0 25 0 1 0 21604523 92041216 21248 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 22471 21248 707 1374 0 21092 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89884

[startup+102.3 s]
/proc/loadavg: 1.98 1.03 0.41 3/177 22141
/proc/meminfo: memFree=28772724/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=151404 CPUtime=102.29
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 388524 0 0 0 9985 244 0 0 25 0 1 0 21604523 155037696 36333 4089446400 4194304 9819077 140734479789376 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 37851 36333 707 1374 0 36472 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 151404

[startup+162.301 s]
/proc/loadavg: 1.99 1.20 0.50 3/177 22143
/proc/meminfo: memFree=28622600/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=215756 CPUtime=162.29
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 594278 0 0 0 15839 390 0 0 25 0 1 0 21604523 220934144 52670 4089446400 4194304 9819077 140734479789376 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 53939 52670 707 1374 0 52560 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 215756

[startup+222.3 s]
/proc/loadavg: 1.99 1.36 0.60 3/177 22144
/proc/meminfo: memFree=28498292/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=281356 CPUtime=222.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 789011 0 0 0 21696 534 0 0 25 0 1 0 21604523 288108544 68283 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 70339 68283 707 1374 0 68960 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 281356

[startup+282.301 s]
/proc/loadavg: 1.99 1.46 0.68 3/177 22146
/proc/meminfo: memFree=28377968/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=351348 CPUtime=282.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 963170 0 0 0 27553 677 0 0 25 0 1 0 21604523 359780352 86042 4089446400 4194304 9819077 140734479789376 18446744073709551615 6162144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 87837 86042 707 1374 0 86458 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 351348

[startup+342.306 s]
/proc/loadavg: 1.99 1.56 0.76 3/177 22148
/proc/meminfo: memFree=28251180/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=419460 CPUtime=342.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1141613 0 0 0 33420 810 0 0 25 0 1 0 21604523 429527040 103344 4089446400 4194304 9819077 140734479789376 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 104865 103344 707 1374 0 103486 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 419460

[startup+402.301 s]
/proc/loadavg: 2.03 1.65 0.84 3/177 22149
/proc/meminfo: memFree=28136808/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=485564 CPUtime=402.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1347570 0 0 0 39273 957 0 0 25 0 1 0 21604523 497217536 120085 4089446400 4194304 9819077 140734479789376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 121391 120085 707 1374 0 120012 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 485564

[startup+462.301 s]
/proc/loadavg: 2.01 1.71 0.91 3/177 22151
/proc/meminfo: memFree=28025020/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=555980 CPUtime=462.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1546616 0 0 0 45129 1101 0 0 25 0 1 0 21604523 569323520 135880 4089446400 4194304 9819077 140734479789376 18446744073709551615 6590721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 138995 135880 707 1374 0 137616 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 555980

[startup+522.301 s]
/proc/loadavg: 2.00 1.76 0.97 3/177 22152
/proc/meminfo: memFree=27918460/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=621144 CPUtime=522.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1741247 0 0 0 50993 1237 0 0 25 0 1 0 21604523 636051456 152430 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 155286 152430 707 1374 0 153907 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 621144

[startup+582.301 s]
/proc/loadavg: 2.07 1.82 1.04 3/177 22154
/proc/meminfo: memFree=27816844/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=686700 CPUtime=582.31
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 1925264 0 0 0 56856 1375 0 0 25 0 1 0 21604523 703180800 169086 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 171675 169086 707 1374 0 170296 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 686700

[startup+642.3 s]
/proc/loadavg: 2.02 1.85 1.10 3/177 22156
/proc/meminfo: memFree=27721072/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=751656 CPUtime=642.3
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 2120793 0 0 0 62713 1517 0 0 25 0 1 0 21604523 769695744 185565 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 187914 185565 707 1374 0 186535 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 751656

[startup+702.301 s]

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

/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3149327 0 0 0 97899 2332 0 0 25 0 1 0 21604523 1194049536 286574 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 291516 286574 707 1374 0 290137 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1166064

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.41 3/177 22167
/proc/meminfo: memFree=27063788/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1228784 CPUtime=1062.31
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3328190 0 0 0 103758 2473 0 0 25 0 1 0 21604523 1258274816 302504 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 307196 302504 707 1374 0 305817 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1228784

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.45 3/177 22168
/proc/meminfo: memFree=26961932/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1297584 CPUtime=1122.31
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3505448 0 0 0 109621 2610 0 0 25 0 1 0 21604523 1328726016 319979 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 324396 319979 707 1374 0 323017 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1297584

[startup+1182.3 s]
/proc/loadavg: 2.04 1.98 1.48 3/177 22170
/proc/meminfo: memFree=26878924/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1363272 CPUtime=1182.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3679269 0 0 0 115486 2746 0 0 25 0 1 0 21604523 1395990528 336661 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 340818 336661 707 1374 0 339439 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1363272

[startup+1242.3 s]
/proc/loadavg: 2.01 1.98 1.52 3/177 22172
/proc/meminfo: memFree=26787376/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1430784 CPUtime=1242.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3830008 0 0 0 121354 2878 0 0 25 0 1 0 21604523 1465122816 353804 4089446400 4194304 9819077 140734479789376 18446744073709551615 4561567 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 357696 353804 707 1374 0 356317 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1430784

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.54 3/177 22173
/proc/meminfo: memFree=26705748/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1497020 CPUtime=1302.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 3994034 0 0 0 127222 3010 0 0 25 0 1 0 21604523 1532948480 370606 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 374255 370606 707 1374 0 372876 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1497020

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/177 22175
/proc/meminfo: memFree=26614312/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1564176 CPUtime=1362.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 4162890 0 0 0 133084 3148 0 0 25 0 1 0 21604523 1601716224 387642 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 391044 387642 707 1374 0 389665 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1564176

[startup+1422.3 s]
/proc/loadavg: 2.00 1.98 1.59 3/177 22176
/proc/meminfo: memFree=26523872/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1628352 CPUtime=1422.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 4333960 0 0 0 138946 3286 0 0 25 0 1 0 21604523 1667432448 403944 4089446400 4194304 9819077 140734479789376 18446744073709551615 4560991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 407088 403944 707 1374 0 405709 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1628352

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.61 3/177 22178
/proc/meminfo: memFree=26439384/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1696184 CPUtime=1482.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 4509337 0 0 0 144811 3421 0 0 25 0 1 0 21604523 1736892416 421156 4089446400 4194304 9819077 140734479789376 18446744073709551615 6590476 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 424046 421156 707 1374 0 422667 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1696184

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/177 22180
/proc/meminfo: memFree=26359736/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1759968 CPUtime=1542.33
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 4689811 0 0 0 150673 3560 0 0 25 0 1 0 21604523 1802207232 437354 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 439992 437354 707 1374 0 438613 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1759968

[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/177 22181
/proc/meminfo: memFree=26275984/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1829220 CPUtime=1602.32
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 4851053 0 0 0 156532 3700 0 0 25 0 1 0 21604523 1873121280 454928 4089446400 4194304 9819077 140734479789376 18446744073709551615 6003335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 457305 454928 707 1374 0 455926 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1829220

[startup+1662.31 s]
/proc/loadavg: 2.00 1.98 1.67 3/177 22183
/proc/meminfo: memFree=26193228/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1894872 CPUtime=1662.33
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5013897 0 0 0 162398 3835 0 0 25 0 1 0 21604523 1940348928 471607 4089446400 4194304 9819077 140734479789376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 473718 471607 707 1374 0 472339 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1894872

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.69 3/177 22184
/proc/meminfo: memFree=26110104/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=1963028 CPUtime=1722.33
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5176568 0 0 0 168263 3970 0 0 25 0 1 0 21604523 2010140672 488918 4089446400 4194304 9819077 140734479789376 18446744073709551615 6003349 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 490757 488918 707 1374 0 489378 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1963028

[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.71 3/177 22186
/proc/meminfo: memFree=26038268/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=2033040 CPUtime=1782.33
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5339088 0 0 0 174125 4108 0 0 25 0 1 0 21604523 2081832960 506631 4089446400 4194304 9819077 140734479789376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 508260 506631 707 1374 0 506881 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2033040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.98 1.71 3/177 22186
/proc/meminfo: memFree=26020016/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=2050612 CPUtime=1800.04
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5388658 0 0 0 175857 4147 0 0 25 0 1 0 21604523 2099826688 511165 4089446400 4194304 9819077 140734479789376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22107/statm: 512653 511165 707 1374 0 511274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2050612

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22107

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

[startup+1800.8 s]
/proc/loadavg: 2.00 1.98 1.71 3/178 22187
/proc/meminfo: memFree=26020008/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=2050612 CPUtime=1800.84
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5388661 0 0 0 175937 4147 0 0 25 0 1 0 21604523 2099826688 511168 4089446400 4194304 9819077 140734479789376 18446744073709551615 6180634 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22107/statm: 512653 511168 710 1374 0 511274 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 2050612

[startup+1801.6 s]
/proc/loadavg: 2.00 1.98 1.71 3/178 22187
/proc/meminfo: memFree=26020008/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=2050612 CPUtime=1801.63
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5388661 0 0 0 176016 4147 0 0 25 0 1 0 21604523 2099826688 511168 4089446400 4194304 9819077 140734479789376 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22107/statm: 512653 511168 710 1374 0 511274 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 2050612

[startup+1802.01 s]
/proc/loadavg: 2.00 1.98 1.72 3/178 22187
/proc/meminfo: memFree=26021372/32951132 swapFree=67111528/67111528
[pid=22107] ppid=22105 vsize=2047540 CPUtime=1802.04
/proc/22107/stat : 22107 (pbscip.linux.x8) R 22105 22107 21715 0 -1 4202496 5388661 0 0 0 176057 4147 0 0 25 0 1 0 21604523 2096680960 510400 4089446400 4194304 9819077 140734479789376 18446744073709551615 6179984 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22107/statm: 511885 510400 710 1374 0 510506 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2047540

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.12
CPU user time (s): 1760.57
CPU system time (s): 41.5487
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2050820

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

runsolver used 2.72159 second user time and 5.53716 second system time

The end

Launcher Data 

Begin job on node131 at 2010-07-07 22:18:27
IDJOB=2700033
IDBENCH=79394
IDSOLVER=1205
FILE ID=node131/2700033-1278533907
PBS_JOBID= 11239215
Free space on /tmp= 73620 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/wcsp/jnh/normalized-jnh307_wcsp.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-2700033-1278533907/watcher-2700033-1278533907 -o /tmp/evaluation-result-2700033-1278533907/solver-2700033-1278533907 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700033-1278533907.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 944c5e420229bce90a366c23629af03a
RANDOM SEED=900833380

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28807604 kB
Buffers:        141912 kB
Cached:        3467296 kB
SwapCached:          0 kB
Active:        1510416 kB
Inactive:      2476524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28807604 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:      377920 kB
Mapped:          16328 kB
Slab:            91828 kB
PageTables:       5188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   522624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73612 MiB
End job on node131 at 2010-07-07 22:48:29