Trace number 2700129

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.1 1802.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh219_wcsp.wbo
MD5SUM0a308225f12d2c01751496daa1233c60
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark0.986849
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
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-2700129-1278534070.wbo>
0.00/0.01	c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 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.02	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05	c    (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05	c presolving (3 rounds):
0.00/0.05	c  100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05	c  1000 implications, 0 cliques
0.00/0.05	c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05	c     800 constraints of type <indicator>
0.00/0.05	c     800 constraints of type <linear>
0.00/0.05	c transformed objective value is always integral (scale: 1)
0.00/0.05	c Presolving Time: 0.03
0.00/0.05	c - non default parameters ----------------------------------------------------------------------
0.00/0.05	c # SCIP version 1.2.1.2
0.00/0.05	c 
0.00/0.05	c # frequency for displaying node information lines
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05	c display/freq = 10000
0.00/0.05	c 
0.00/0.05	c # maximal time in seconds to run
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/time = 1799.99
0.00/0.05	c 
0.00/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05	c limits/memory = 3420
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify inequalities
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/linear/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify knapsacks
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c separating/rapidlearning/freq = 0
0.00/0.05	c 
0.00/0.05	c -----------------------------------------------------------------------------------------------
0.00/0.05	c start solving
0.00/0.05	c 
0.00/0.05	o 394238
0.00/0.05	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.05	c t 0.0s|     1 |     0 |     0 |     - |5796k|   0 |   - |1700 |1600 |   0 |   0 |   0 |   0 |   0 |      --      | 3.942380e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6168k|   0 |   0 |1700 |1600 |1700 |   0 |   0 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |    30 |     - |6202k|   0 |   0 |1700 |1600 |1700 |  58 |  58 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |   100 |     - |6246k|   0 |  33 |1700 |1600 |1700 |  94 |  94 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.07	c   0.1s|     1 |     0 |   149 |     - |6331k|   0 |  54 |1700 |1600 |1700 | 141 | 141 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   232 |     - |6488k|   0 |  51 |1700 |1600 |1700 | 163 | 163 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   249 |     - |6521k|   0 |  57 |1700 |1600 |1700 | 178 | 178 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   250 |     - |6546k|   0 |  57 |1700 |1600 |1700 | 179 | 179 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     2 |   549 |     - |6573k|   0 |  57 |1700 |1600 |1700 | 179 | 179 |   0 |  33 | 0.000000e+00 | 3.942380e+05 |    Inf 
13.89/13.90	c  13.2s| 10000 |  9999 |178847 |  17.9 |  18M| 509 |   0 |1700 |1605 |1700 | 251 |2247 |   5 | 786 | 0.000000e+00 | 3.942380e+05 |    Inf 
26.09/26.16	c  24.8s| 20000 | 19989 |371906 |  18.6 |  28M| 509 |   0 |1700 |1628 |1700 | 254 |4131 |  28 |1018 | 0.000000e+00 | 3.942380e+05 |    Inf 
35.20/35.25	c  33.4s| 30000 | 29981 |470898 |  15.7 |  38M| 509 |   0 |1700 |1649 |1700 | 193 |5443 |  49 |1213 | 0.000000e+00 | 3.942380e+05 |    Inf 
37.90/37.91	o 16228
37.90/37.91	c *35.9s| 33563 | 33420 |490378 |  14.6 |  41M| 509 |   - |1700 |1649 |1700 | 248 |5728 |  49 |1250 | 0.000000e+00 | 1.622800e+04 |    Inf 
44.29/44.32	c  41.9s| 40000 | 39855 |572873 |  14.3 |  47M| 509 |   0 |1700 |1652 |1700 | 210 |6803 |  52 |1345 | 0.000000e+00 | 1.622800e+04 |    Inf 
54.39/54.46	c  51.5s| 50000 | 49855 |713183 |  14.3 |  57M| 509 |   0 |1700 |1652 |1700 | 212 |8431 |  52 |1456 | 0.000000e+00 | 1.622800e+04 |    Inf 
68.10/68.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
68.10/68.12	c  64.4s| 60000 | 59855 |910725 |  15.2 |  67M| 509 |   0 |1700 |1652 |1700 | 203 |  11k|  52 |1787 | 0.000000e+00 | 1.622800e+04 |    Inf 
80.09/80.17	c  75.9s| 70000 | 69855 |  1091k|  15.6 |  76M| 509 |   0 |1700 |1652 |1700 | 200 |  13k|  52 |1957 | 0.000000e+00 | 1.622800e+04 |    Inf 
90.99/91.00	c  86.1s| 80000 | 79855 |  1247k|  15.6 |  86M| 509 |   0 |1700 |1652 |1700 | 226 |  15k|  52 |2087 | 0.000000e+00 | 1.622800e+04 |    Inf 
101.69/101.72	c  96.2s| 90000 | 89855 |  1407k|  15.6 |  95M| 509 |   0 |1700 |1654 |1700 | 204 |  16k|  56 |2267 | 0.000000e+00 | 1.622800e+04 |    Inf 
110.50/110.53	c   105s|100000 | 99855 |  1509k|  15.1 | 105M| 509 |   0 |1700 |1652 |1700 | 215 |  18k|  56 |2376 | 0.000000e+00 | 1.622800e+04 |    Inf 
119.69/119.73	c   113s|110000 |109855 |  1625k|  14.8 | 114M| 509 |   0 |1700 |1651 |1700 | 195 |  19k|  56 |2431 | 0.000000e+00 | 1.622800e+04 |    Inf 
129.30/129.38	c   122s|120000 |119855 |  1749k|  14.6 | 124M| 509 |   0 |1700 |1647 |1700 | 213 |  20k|  56 |2507 | 0.000000e+00 | 1.622800e+04 |    Inf 
140.49/140.55	c   133s|130000 |129855 |  1902k|  14.6 | 133M| 509 |   0 |1700 |1638 |1700 | 254 |  22k|  56 |2634 | 0.000000e+00 | 1.622800e+04 |    Inf 
154.40/154.41	c   146s|140000 |139855 |  2143k|  15.3 | 143M| 509 |   0 |1700 |1636 |1700 | 210 |  24k|  56 |2827 | 0.000000e+00 | 1.622800e+04 |    Inf 
164.00/164.07	c   155s|150000 |149855 |  2271k|  15.1 | 153M| 509 |   0 |1700 |1635 |1700 | 209 |  25k|  56 |2895 | 0.000000e+00 | 1.622800e+04 |    Inf 
175.70/175.74	c   166s|160000 |159855 |  2455k|  15.3 | 162M| 509 |   0 |1700 |1633 |1700 | 246 |  26k|  56 |2982 | 0.000000e+00 | 1.622800e+04 |    Inf 
187.30/187.32	c   177s|170000 |169855 |  2634k|  15.5 | 172M| 509 |   0 |1700 |1632 |1700 | 227 |  28k|  56 |3125 | 0.000000e+00 | 1.622800e+04 |    Inf 
196.30/196.31	c   186s|180000 |179855 |  2745k|  15.3 | 181M| 509 |   0 |1700 |1632 |1700 | 217 |  29k|  56 |3216 | 0.000000e+00 | 1.622800e+04 |    Inf 
205.90/205.94	c   195s|190000 |189855 |  2873k|  15.1 | 191M| 509 |   0 |1700 |1630 |1700 | 193 |  31k|  56 |3315 | 0.000000e+00 | 1.622800e+04 |    Inf 
218.39/218.49	c   207s|200000 |199855 |  3069k|  15.3 | 201M| 509 |   0 |1700 |1629 |1700 | 239 |  33k|  56 |3478 | 0.000000e+00 | 1.622800e+04 |    Inf 
230.80/230.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
230.80/230.81	c   218s|210000 |209855 |  3260k|  15.5 | 210M| 509 |   0 |1700 |1627 |1700 | 199 |  35k|  56 |3588 | 0.000000e+00 | 1.622800e+04 |    Inf 
243.30/243.30	c   230s|220000 |219855 |  3456k|  15.7 | 220M| 509 |   0 |1700 |1627 |1700 | 194 |  38k|  56 |3726 | 0.000000e+00 | 1.622800e+04 |    Inf 
255.00/255.03	c   241s|230000 |229855 |  3645k|  15.8 | 230M| 509 |   0 |1700 |1626 |1700 | 242 |  39k|  56 |3850 | 0.000000e+00 | 1.622800e+04 |    Inf 
264.20/264.22	c   250s|240000 |239855 |  3759k|  15.7 | 240M| 509 |   0 |1700 |1626 |1700 | 236 |  41k|  56 |3889 | 0.000000e+00 | 1.622800e+04 |    Inf 
275.80/275.80	c   261s|250000 |249855 |  3944k|  15.8 | 249M| 509 |   0 |1700 |1625 |1700 | 206 |  42k|  56 |3992 | 0.000000e+00 | 1.622800e+04 |    Inf 
284.30/284.38	c   269s|260000 |259855 |  4044k|  15.6 | 259M| 509 |   0 |1700 |1625 |1700 | 244 |  43k|  56 |4071 | 0.000000e+00 | 1.622800e+04 |    Inf 
295.10/295.17	c   279s|270000 |269855 |  4203k|  15.6 | 268M| 509 |   0 |1700 |1625 |1700 | 208 |  45k|  56 |4186 | 0.000000e+00 | 1.622800e+04 |    Inf 
305.60/305.62	c   289s|280000 |279855 |  4356k|  15.6 | 278M| 509 |   0 |1700 |1625 |1700 | 205 |  46k|  56 |4296 | 0.000000e+00 | 1.622800e+04 |    Inf 
317.50/317.56	c   300s|290000 |289855 |  4555k|  15.7 | 287M| 509 |   0 |1700 |1625 |1700 | 198 |  48k|  56 |4415 | 0.000000e+00 | 1.622800e+04 |    Inf 
329.50/329.53	c   312s|300000 |299855 |  4751k|  15.8 | 297M| 509 |   0 |1700 |1625 |1700 | 254 |  50k|  56 |4537 | 0.000000e+00 | 1.622800e+04 |    Inf 
340.70/340.72	c   322s|310000 |309855 |  4915k|  15.9 | 307M| 509 |   0 |1700 |1625 |1700 | 197 |  52k|  56 |4665 | 0.000000e+00 | 1.622800e+04 |    Inf 
351.01/351.02	c   332s|320000 |319855 |  5064k|  15.8 | 316M| 509 |   0 |1700 |1625 |1700 | 211 |  54k|  56 |4760 | 0.000000e+00 | 1.622800e+04 |    Inf 
361.60/361.65	c   342s|330000 |329855 |  5217k|  15.8 | 326M| 509 |   0 |1700 |1625 |1700 | 192 |  55k|  56 |4872 | 0.000000e+00 | 1.622800e+04 |    Inf 
371.81/371.84	c   352s|340000 |339853 |  5358k|  15.8 | 335M| 509 |   0 |1700 |1630 |1700 | 206 |  57k|  61 |4944 | 0.000000e+00 | 1.622800e+04 |    Inf 
382.50/382.50	c   362s|350000 |349853 |  5516k|  15.8 | 345M| 509 |   0 |1700 |1627 |1700 | 207 |  58k|  61 |5042 | 0.000000e+00 | 1.622800e+04 |    Inf 
394.70/394.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
394.70/394.78	c   374s|360000 |359853 |  5719k|  15.9 | 354M| 509 |   0 |1700 |1626 |1700 | 234 |  60k|  61 |5120 | 0.000000e+00 | 1.622800e+04 |    Inf 
405.91/405.99	c   384s|370000 |369853 |  5885k|  15.9 | 364M| 509 |   0 |1700 |1626 |1700 | 192 |  62k|  61 |5187 | 0.000000e+00 | 1.622800e+04 |    Inf 
419.40/419.42	c   397s|380000 |379853 |  6119k|  16.1 | 374M| 509 |   0 |1700 |1624 |1700 | 199 |  64k|  61 |5295 | 0.000000e+00 | 1.622800e+04 |    Inf 
432.30/432.34	c   409s|390000 |389853 |  6333k|  16.2 | 383M| 509 |   0 |1700 |1623 |1700 | 196 |  66k|  61 |5425 | 0.000000e+00 | 1.622800e+04 |    Inf 
446.61/446.63	c   423s|400000 |399853 |  6589k|  16.5 | 393M| 509 |   0 |1700 |1622 |1700 | 215 |  68k|  61 |5567 | 0.000000e+00 | 1.622800e+04 |    Inf 
459.30/459.34	c   435s|410000 |409853 |  6801k|  16.6 | 402M| 509 |   0 |1700 |1622 |1700 | 202 |  70k|  61 |5661 | 0.000000e+00 | 1.622800e+04 |    Inf 
468.91/468.96	c   444s|420000 |419853 |  6926k|  16.5 | 412M| 509 |   0 |1700 |1622 |1700 | 212 |  71k|  61 |5718 | 0.000000e+00 | 1.622800e+04 |    Inf 
477.51/477.54	c   452s|430000 |429853 |  7023k|  16.3 | 421M| 509 |   0 |1700 |1622 |1700 | 220 |  72k|  61 |5779 | 0.000000e+00 | 1.622800e+04 |    Inf 
487.50/487.54	c   462s|440000 |439853 |  7164k|  16.3 | 431M| 509 |   0 |1700 |1621 |1700 | 236 |  74k|  61 |5851 | 0.000000e+00 | 1.622800e+04 |    Inf 
496.11/496.14	c   470s|450000 |449853 |  7259k|  16.1 | 440M| 509 |   0 |1700 |1621 |1700 | 190 |  75k|  61 |5908 | 0.000000e+00 | 1.622800e+04 |    Inf 
507.10/507.10	c   480s|460000 |459853 |  7427k|  16.1 | 450M| 509 |   0 |1700 |1621 |1700 | 229 |  76k|  61 |6016 | 0.000000e+00 | 1.622800e+04 |    Inf 
518.21/518.24	c   491s|470000 |469853 |  7593k|  16.2 | 459M| 509 |   0 |1700 |1621 |1700 | 209 |  78k|  61 |6082 | 0.000000e+00 | 1.622800e+04 |    Inf 
527.81/527.86	c   500s|480000 |479853 |  7721k|  16.1 | 469M| 509 |   0 |1700 |1620 |1700 | 206 |  79k|  61 |6170 | 0.000000e+00 | 1.622800e+04 |    Inf 
538.91/539.00	c   510s|490000 |489853 |  7894k|  16.1 | 478M| 509 |   0 |1700 |1620 |1700 | 209 |  81k|  61 |6236 | 0.000000e+00 | 1.622800e+04 |    Inf 
550.70/550.73	c   521s|500000 |499853 |  8084k|  16.2 | 488M| 509 |   0 |1700 |1620 |1700 | 220 |  83k|  61 |6323 | 0.000000e+00 | 1.622800e+04 |    Inf 
561.41/561.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
561.41/561.45	c   531s|510000 |509853 |  8248k|  16.2 | 497M| 509 |   0 |1700 |1620 |1700 | 203 |  84k|  61 |6400 | 0.000000e+00 | 1.622800e+04 |    Inf 
573.21/573.28	c   543s|520000 |519853 |  8439k|  16.2 | 507M| 509 |   0 |1700 |1620 |1700 | 217 |  86k|  61 |6470 | 0.000000e+00 | 1.622800e+04 |    Inf 
584.40/584.45	c   553s|530000 |529853 |  8613k|  16.3 | 516M| 509 |   0 |1700 |1620 |1700 | 212 |  87k|  61 |6556 | 0.000000e+00 | 1.622800e+04 |    Inf 
596.50/596.52	c   565s|540000 |539853 |  8813k|  16.3 | 526M| 509 |   0 |1700 |1620 |1700 | 201 |  89k|  61 |6662 | 0.000000e+00 | 1.622800e+04 |    Inf 
609.61/609.61	c   577s|550000 |549853 |  9044k|  16.4 | 535M| 509 |   0 |1700 |1620 |1700 | 212 |  91k|  61 |6745 | 0.000000e+00 | 1.622800e+04 |    Inf 
622.51/622.59	c   589s|560000 |559853 |  9267k|  16.5 | 545M| 509 |   0 |1700 |1620 |1700 | 195 |  93k|  61 |6832 | 0.000000e+00 | 1.622800e+04 |    Inf 
636.61/636.66	c   603s|570000 |569853 |  9522k|  16.7 | 555M| 509 |   0 |1700 |1620 |1700 | 218 |  96k|  61 |6965 | 0.000000e+00 | 1.622800e+04 |    Inf 
649.01/649.01	c   615s|580000 |579853 |  9725k|  16.8 | 564M| 509 |   0 |1700 |1618 |1700 | 193 |  98k|  61 |7096 | 0.000000e+00 | 1.622800e+04 |    Inf 
661.30/661.32	c   626s|590000 |589853 |  9928k|  16.8 | 574M| 509 |   0 |1700 |1617 |1700 | 204 | 100k|  61 |7205 | 0.000000e+00 | 1.622800e+04 |    Inf 
672.81/672.87	c   637s|600000 |599853 | 10114k|  16.9 | 584M| 509 |   0 |1700 |1617 |1700 | 209 | 102k|  61 |7265 | 0.000000e+00 | 1.622800e+04 |    Inf 
684.01/684.07	c   648s|610000 |609853 | 10291k|  16.9 | 593M| 509 |   3 |1700 |1617 |1700 | 218 | 104k|  61 |7327 | 0.000000e+00 | 1.622800e+04 |    Inf 
695.81/695.84	c   659s|620000 |619851 | 10479k|  16.9 | 603M| 509 |   0 |1700 |1618 |1700 | 209 | 105k|  62 |7411 | 0.000000e+00 | 1.622800e+04 |    Inf 
707.21/707.23	c   670s|630000 |629851 | 10656k|  16.9 | 612M| 509 |   0 |1700 |1617 |1700 | 203 | 107k|  62 |7480 | 0.000000e+00 | 1.622800e+04 |    Inf 
719.61/719.63	c   681s|640000 |639851 | 10866k|  17.0 | 622M| 509 |   0 |1700 |1617 |1700 | 193 | 109k|  62 |7543 | 0.000000e+00 | 1.622800e+04 |    Inf 
731.21/731.26	c   692s|650000 |649851 | 11054k|  17.0 | 631M| 509 |   0 |1700 |1617 |1700 | 211 | 110k|  62 |7593 | 0.000000e+00 | 1.622800e+04 |    Inf 
741.11/741.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
741.11/741.14	c   702s|660000 |659851 | 11192k|  17.0 | 641M| 509 |   0 |1700 |1617 |1700 | 200 | 112k|  62 |7641 | 0.000000e+00 | 1.622800e+04 |    Inf 
754.01/754.08	c   714s|670000 |669851 | 11418k|  17.0 | 651M| 509 |   0 |1700 |1617 |1700 | 203 | 114k|  62 |7725 | 0.000000e+00 | 1.622800e+04 |    Inf 
766.21/766.29	c   726s|680000 |679851 | 11618k|  17.1 | 660M| 509 |   0 |1700 |1617 |1700 | 225 | 116k|  62 |7793 | 0.000000e+00 | 1.622800e+04 |    Inf 
776.72/776.70	c   735s|690000 |689851 | 11771k|  17.1 | 670M| 509 |   0 |1700 |1617 |1700 | 210 | 118k|  62 |7845 | 0.000000e+00 | 1.622800e+04 |    Inf 
789.92/789.99	c   748s|700000 |699851 | 11999k|  17.1 | 679M| 509 |   0 |1700 |1617 |1700 | 206 | 120k|  62 |7941 | 0.000000e+00 | 1.622800e+04 |    Inf 
803.01/803.06	c   760s|710000 |709851 | 12220k|  17.2 | 689M| 509 |   0 |1700 |1617 |1700 | 210 | 123k|  62 |8004 | 0.000000e+00 | 1.622800e+04 |    Inf 
812.21/812.29	c   769s|720000 |719851 | 12333k|  17.1 | 699M| 509 |   0 |1700 |1617 |1700 | 228 | 124k|  62 |8044 | 0.000000e+00 | 1.622800e+04 |    Inf 
823.21/823.23	c   779s|730000 |729851 | 12496k|  17.1 | 708M| 509 |   0 |1700 |1617 |1700 | 222 | 126k|  62 |8133 | 0.000000e+00 | 1.622800e+04 |    Inf 
833.01/833.05	c   789s|740000 |739851 | 12631k|  17.1 | 718M| 509 |   0 |1700 |1617 |1700 | 206 | 127k|  62 |8190 | 0.000000e+00 | 1.622800e+04 |    Inf 
843.51/843.51	c   799s|750000 |749851 | 12786k|  17.0 | 727M| 509 |   0 |1700 |1617 |1700 | 232 | 129k|  62 |8232 | 0.000000e+00 | 1.622800e+04 |    Inf 
855.82/855.86	c   810s|760000 |759851 | 12991k|  17.1 | 737M| 509 |   0 |1700 |1617 |1700 | 185 | 131k|  62 |8289 | 0.000000e+00 | 1.622800e+04 |    Inf 
867.52/867.56	c   821s|770000 |769851 | 13175k|  17.1 | 746M| 509 |   0 |1700 |1617 |1700 | 206 | 132k|  62 |8348 | 0.000000e+00 | 1.622800e+04 |    Inf 
878.81/878.83	c   832s|780000 |779851 | 13346k|  17.1 | 756M| 509 |   0 |1700 |1617 |1700 | 197 | 134k|  62 |8404 | 0.000000e+00 | 1.622800e+04 |    Inf 
890.82/890.85	c   844s|790000 |789851 | 13533k|  17.1 | 765M| 509 |   0 |1700 |1617 |1700 | 205 | 136k|  62 |8461 | 0.000000e+00 | 1.622800e+04 |    Inf 
901.12/901.16	c   853s|800000 |799851 | 13668k|  17.1 | 775M| 509 |   0 |1700 |1617 |1700 | 248 | 138k|  62 |8527 | 0.000000e+00 | 1.622800e+04 |    Inf 
910.01/910.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
910.01/910.00	c   862s|810000 |809851 | 13763k|  17.0 | 784M| 509 |   0 |1700 |1617 |1700 | 242 | 139k|  62 |8608 | 0.000000e+00 | 1.622800e+04 |    Inf 
920.72/920.75	c   872s|820000 |819851 | 13910k|  17.0 | 794M| 509 |   0 |1700 |1617 |1700 | 242 | 141k|  62 |8642 | 0.000000e+00 | 1.622800e+04 |    Inf 
931.12/931.12	c   882s|830000 |829851 | 14050k|  16.9 | 804M| 509 |   0 |1700 |1616 |1700 | 252 | 143k|  62 |8729 | 0.000000e+00 | 1.622800e+04 |    Inf 
941.92/941.91	c   892s|840000 |839851 | 14208k|  16.9 | 813M| 509 |   0 |1700 |1616 |1700 | 227 | 145k|  62 |8788 | 0.000000e+00 | 1.622800e+04 |    Inf 
952.42/952.46	c   902s|850000 |849851 | 14356k|  16.9 | 823M| 509 |   0 |1700 |1616 |1700 | 213 | 147k|  62 |8877 | 0.000000e+00 | 1.622800e+04 |    Inf 
961.52/961.54	c   910s|860000 |859851 | 14464k|  16.8 | 832M| 509 |   0 |1700 |1616 |1700 | 228 | 148k|  62 |8924 | 0.000000e+00 | 1.622800e+04 |    Inf 
972.42/972.41	c   921s|870000 |869851 | 14617k|  16.8 | 842M| 509 |   0 |1700 |1616 |1700 | 266 | 150k|  62 |8966 | 0.000000e+00 | 1.622800e+04 |    Inf 
984.53/984.53	c   932s|880000 |879851 | 14808k|  16.8 | 851M| 509 |   0 |1700 |1616 |1700 | 210 | 152k|  62 |9040 | 0.000000e+00 | 1.622800e+04 |    Inf 
994.12/994.17	c   941s|890000 |889851 | 14929k|  16.8 | 861M| 509 |   0 |1700 |1616 |1700 | 201 | 154k|  62 |9107 | 0.000000e+00 | 1.622800e+04 |    Inf 
1003.92/1003.91	c   950s|900000 |899851 | 15055k|  16.7 | 870M| 509 |   0 |1700 |1616 |1700 | 206 | 155k|  62 |9146 | 0.000000e+00 | 1.622800e+04 |    Inf 
1012.41/1012.41	c   958s|910000 |909851 | 15151k|  16.7 | 880M| 509 |   0 |1700 |1616 |1700 | 249 | 156k|  62 |9173 | 0.000000e+00 | 1.622800e+04 |    Inf 
1023.12/1023.15	c   969s|920000 |919851 | 15306k|  16.6 | 889M| 509 |   0 |1700 |1616 |1700 | 202 | 158k|  62 |9250 | 0.000000e+00 | 1.622800e+04 |    Inf 
1033.02/1033.02	c   978s|930000 |929851 | 15439k|  16.6 | 899M| 509 |   0 |1700 |1616 |1700 | 223 | 159k|  62 |9289 | 0.000000e+00 | 1.622800e+04 |    Inf 
1043.02/1043.04	c   987s|940000 |939851 | 15577k|  16.6 | 908M| 509 |   0 |1700 |1616 |1700 | 210 | 161k|  62 |9338 | 0.000000e+00 | 1.622800e+04 |    Inf 
1054.52/1054.57	c   998s|950000 |949851 | 15756k|  16.6 | 918M| 509 |   0 |1700 |1616 |1700 | 206 | 162k|  62 |9378 | 0.000000e+00 | 1.622800e+04 |    Inf 
1065.22/1065.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1065.22/1065.23	c  1009s|960000 |959851 | 15914k|  16.6 | 927M| 509 |   0 |1700 |1616 |1700 | 210 | 163k|  62 |9414 | 0.000000e+00 | 1.622800e+04 |    Inf 
1077.81/1077.82	c  1020s|970000 |969851 | 16117k|  16.6 | 937M| 509 |   0 |1700 |1616 |1700 | 214 | 165k|  62 |9480 | 0.000000e+00 | 1.622800e+04 |    Inf 
1087.82/1087.82	c  1030s|980000 |979851 | 16255k|  16.6 | 946M| 509 |   0 |1700 |1616 |1700 | 210 | 167k|  62 |9517 | 0.000000e+00 | 1.622800e+04 |    Inf 
1099.82/1099.83	c  1041s|990000 |989851 | 16453k|  16.6 | 956M| 509 |   0 |1700 |1616 |1700 | 223 | 169k|  62 |9565 | 0.000000e+00 | 1.622800e+04 |    Inf 
1111.52/1111.50	c  1052s|  1000k|999851 | 16640k|  16.6 | 966M| 509 |   0 |1700 |1616 |1700 | 207 | 171k|  62 |9607 | 0.000000e+00 | 1.622800e+04 |    Inf 
1123.12/1123.14	c  1063s|  1010k|  1009k| 16822k|  16.7 | 975M| 509 |   0 |1700 |1616 |1700 | 241 | 172k|  62 |9664 | 0.000000e+00 | 1.622800e+04 |    Inf 
1132.22/1132.25	c  1072s|  1020k|  1019k| 16929k|  16.6 | 985M| 509 |   0 |1700 |1616 |1700 | 228 | 174k|  62 |9704 | 0.000000e+00 | 1.622800e+04 |    Inf 
1142.82/1142.82	c  1082s|  1030k|  1029k| 17086k|  16.6 | 994M| 509 |   0 |1700 |1616 |1700 | 219 | 176k|  62 |9754 | 0.000000e+00 | 1.622800e+04 |    Inf 
1155.72/1155.70	c  1094s|  1040k|  1039k| 17308k|  16.6 |1004M| 509 |   0 |1700 |1616 |1700 | 222 | 178k|  62 |9830 | 0.000000e+00 | 1.622800e+04 |    Inf 
1168.92/1168.91	c  1107s|  1050k|  1049k| 17541k|  16.7 |1013M| 509 |   0 |1700 |1616 |1700 | 219 | 180k|  62 |9896 | 0.000000e+00 | 1.622800e+04 |    Inf 
1182.12/1182.12	c  1119s|  1060k|  1059k| 17778k|  16.8 |1023M| 509 |   0 |1700 |1616 |1700 | 200 | 183k|  62 |9951 | 0.000000e+00 | 1.622800e+04 |    Inf 
1196.32/1196.36	c  1133s|  1070k|  1069k| 18042k|  16.9 |1033M| 509 |   0 |1700 |1616 |1700 | 222 | 185k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1209.12/1209.14	c  1145s|  1080k|  1079k| 18263k|  16.9 |1042M| 509 |   0 |1700 |1616 |1700 | 211 | 188k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1220.82/1220.89	c  1156s|  1090k|  1089k| 18456k|  16.9 |1052M| 509 |   0 |1700 |1616 |1700 | 229 | 189k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1231.42/1231.43	c  1166s|  1100k|  1099k| 18609k|  16.9 |1061M| 509 |   0 |1700 |1616 |1700 | 214 | 191k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1245.02/1245.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1245.02/1245.07	c  1179s|  1110k|  1109k| 18853k|  17.0 |1071M| 509 |   0 |1700 |1616 |1700 | 233 | 193k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1257.62/1257.67	c  1191s|  1120k|  1119k| 19071k|  17.0 |1081M| 509 |   0 |1700 |1616 |1700 | 243 | 195k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1270.33/1270.33	c  1203s|  1130k|  1129k| 19282k|  17.1 |1090M| 509 |   0 |1700 |1616 |1700 | 198 | 197k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1283.73/1283.75	c  1216s|  1140k|  1139k| 19517k|  17.1 |1100M| 509 |   0 |1700 |1616 |1700 | 221 | 200k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1296.62/1296.65	c  1228s|  1150k|  1149k| 19735k|  17.2 |1110M| 509 |   0 |1700 |1616 |1700 | 195 | 202k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1308.33/1308.31	c  1239s|  1160k|  1159k| 19920k|  17.2 |1119M| 509 |   0 |1700 |1616 |1700 | 213 | 204k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1320.22/1320.22	c  1250s|  1170k|  1169k| 20111k|  17.2 |1129M| 509 |   0 |1700 |1616 |1700 | 213 | 206k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1331.63/1331.63	c  1261s|  1180k|  1179k| 20293k|  17.2 |1139M| 509 |   0 |1700 |1616 |1700 | 214 | 208k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1342.42/1342.49	c  1271s|  1190k|  1189k| 20457k|  17.2 |1148M| 509 |   0 |1700 |1616 |1700 | 199 | 210k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1353.42/1353.43	c  1282s|  1200k|  1199k| 20623k|  17.2 |1158M| 509 |   0 |1700 |1616 |1700 | 218 | 211k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1364.03/1364.01	c  1292s|  1210k|  1209k| 20782k|  17.2 |1167M| 509 |   0 |1700 |1616 |1700 | 208 | 213k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1375.03/1375.06	c  1302s|  1220k|  1219k| 20950k|  17.2 |1177M| 509 |   0 |1700 |1616 |1700 | 227 | 215k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1385.43/1385.49	c  1312s|  1230k|  1229k| 21100k|  17.2 |1186M| 509 |   0 |1700 |1616 |1700 | 221 | 216k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1396.42/1396.45	c  1322s|  1240k|  1239k| 21265k|  17.1 |1196M| 509 |   0 |1700 |1616 |1700 | 212 | 218k|  62 |  10k| 0.000000e+00 | 1.622800e+04 |    Inf 
1407.22/1407.22	c  1332s|  1250k|  1249k| 21421k|  17.1 |1205M| 509 |   0 |1700 |1616 |1700 | 236 | 219k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1418.72/1418.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1418.72/1418.71	c  1343s|  1260k|  1259k| 21601k|  17.1 |1215M| 509 |   0 |1700 |1616 |1700 | 194 | 221k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1428.03/1428.04	c  1352s|  1270k|  1269k| 21722k|  17.1 |1224M| 509 |   0 |1700 |1616 |1700 | 209 | 222k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1439.43/1439.49	c  1363s|  1280k|  1279k| 21904k|  17.1 |1234M| 509 |   0 |1700 |1616 |1700 | 240 | 224k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1451.23/1451.25	c  1374s|  1290k|  1289k| 22094k|  17.1 |1244M| 509 |   0 |1700 |1616 |1700 | 214 | 226k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1462.82/1462.87	c  1385s|  1300k|  1299k| 22279k|  17.1 |1253M| 509 |   0 |1700 |1616 |1700 | 212 | 228k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1473.33/1473.38	c  1395s|  1310k|  1309k| 22431k|  17.1 |1263M| 509 |   0 |1700 |1616 |1700 | 229 | 229k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1485.73/1485.70	c  1407s|  1320k|  1319k| 22626k|  17.1 |1272M| 509 |   0 |1700 |1615 |1700 | 213 | 231k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1497.53/1497.53	c  1418s|  1330k|  1329k| 22808k|  17.1 |1282M| 509 |   0 |1700 |1615 |1700 | 217 | 233k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1506.22/1506.27	c  1426s|  1340k|  1339k| 22902k|  17.1 |1292M| 509 |   0 |1700 |1615 |1700 | 243 | 234k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1515.84/1515.86	c  1435s|  1350k|  1349k| 23024k|  17.1 |1301M| 509 |   0 |1700 |1615 |1700 | 245 | 236k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1526.63/1526.67	c  1446s|  1360k|  1359k| 23174k|  17.0 |1311M| 509 |   0 |1700 |1615 |1700 | 206 | 237k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1539.63/1539.64	c  1458s|  1370k|  1369k| 23392k|  17.1 |1320M| 509 |   0 |1700 |1615 |1700 | 206 | 239k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1550.53/1550.57	c  1468s|  1380k|  1379k| 23553k|  17.1 |1330M| 509 |   0 |1700 |1615 |1700 | 216 | 241k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1560.43/1560.43	c  1478s|  1390k|  1389k| 23677k|  17.0 |1339M| 509 |   0 |1700 |1615 |1700 | 245 | 242k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1569.93/1569.93	c  1486s|  1400k|  1399k| 23802k|  17.0 |1349M| 509 |   0 |1700 |1615 |1700 | 204 | 244k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1580.53/1580.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1580.53/1580.51	c  1496s|  1410k|  1409k| 23954k|  17.0 |1359M| 509 |   0 |1700 |1615 |1700 | 219 | 245k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1590.03/1590.00	c  1505s|  1420k|  1419k| 24071k|  17.0 |1368M| 509 |   0 |1700 |1615 |1700 | 234 | 247k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1600.64/1600.69	c  1516s|  1430k|  1429k| 24227k|  16.9 |1378M| 509 |   0 |1700 |1615 |1700 | 226 | 248k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1609.93/1609.99	c  1524s|  1440k|  1439k| 24344k|  16.9 |1387M| 509 |   0 |1700 |1615 |1700 | 216 | 249k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1620.43/1620.44	c  1534s|  1450k|  1449k| 24494k|  16.9 |1397M| 509 |   0 |1700 |1615 |1700 | 209 | 251k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1631.44/1631.41	c  1545s|  1460k|  1459k| 24663k|  16.9 |1406M| 509 |   0 |1700 |1615 |1700 | 221 | 253k|  62 |  11k| 0.000000e+00 | 1.622800e+04 |    Inf 
1643.63/1643.61	c  1556s|  1470k|  1469k| 24868k|  16.9 |1416M| 509 |   0 |1700 |1615 |1700 | 198 | 255k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1656.04/1656.02	c  1568s|  1480k|  1479k| 25078k|  16.9 |1425M| 509 |   0 |1700 |1615 |1700 | 223 | 258k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1666.24/1666.22	c  1577s|  1490k|  1489k| 25225k|  16.9 |1435M| 509 |   0 |1700 |1615 |1700 | 208 | 260k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1678.64/1678.60	c  1589s|  1500k|  1499k| 25436k|  17.0 |1444M| 509 |   0 |1700 |1615 |1700 | 213 | 262k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1690.93/1690.95	c  1601s|  1510k|  1509k| 25647k|  17.0 |1454M| 509 |   0 |1700 |1615 |1700 | 194 | 265k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1703.83/1703.86	c  1613s|  1520k|  1519k| 25871k|  17.0 |1464M| 509 |   0 |1700 |1615 |1700 | 220 | 268k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1715.33/1715.32	c  1624s|  1530k|  1529k| 26053k|  17.0 |1473M| 509 |   0 |1700 |1615 |1700 | 215 | 270k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1726.94/1726.98	c  1635s|  1540k|  1539k| 26239k|  17.0 |1483M| 509 |   0 |1700 |1615 |1700 | 207 | 272k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1739.24/1739.27	c  1647s|  1550k|  1549k| 26447k|  17.1 |1492M| 509 |   0 |1700 |1615 |1700 | 218 | 275k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1751.84/1751.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1751.84/1751.84	c  1658s|  1560k|  1559k| 26657k|  17.1 |1502M| 509 |   0 |1700 |1615 |1700 | 222 | 277k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1761.24/1761.22	c  1667s|  1570k|  1569k| 26771k|  17.1 |1512M| 509 |   0 |1700 |1615 |1700 | 192 | 279k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1773.44/1773.41	c  1679s|  1580k|  1579k| 26975k|  17.1 |1521M| 509 |   0 |1700 |1615 |1700 | 225 | 281k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1787.83/1787.88	c  1692s|  1590k|  1589k| 27246k|  17.1 |1531M| 509 |   0 |1700 |1615 |1700 | 216 | 285k|  62 |  12k| 0.000000e+00 | 1.622800e+04 |    Inf 
1796.64/1796.67	c  1701s|  1600k|  1599k| 27352k|  17.1 |1540M| 509 |   0 |1700 |1615 |1700 | 218 | 286k|  62 |  12k| 0.000000e+00 | 1.622800e+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) : 1703.94
1800.04/1800.00	c Solving Nodes      : 1603058
1800.04/1800.00	c Primal Bound       : +1.62280000000000e+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       :    1703.94
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2700129-1278534070.wbo
1800.04/1800.01	c   Variables        : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01	c   Constraints      : 1701 initial, 1701 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2700129-1278534070.wbo
1800.04/1800.01	c   Variables        : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01	c   Constraints      : 1600 initial, 1655 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.01          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.02          0        100          0        800          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    1746475          0          0         54          0          0      16478
1800.04/1800.01	c   indicator        :        800          0    2425297    1738190          0          0    1498076          0          0          0
1800.04/1800.01	c   linear           :        800          6    2425297    1738190          0         13     682340     287117          0          0
1800.04/1800.01	c   logicor          :          0+         0      85376          0          0          1      39278          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0    1594806          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      15.22       0.00       0.00      15.22       0.00
1800.04/1800.01	c   indicator        :     108.71       0.00      21.05      87.66       0.00
1800.04/1800.01	c   linear           :      36.72       0.00      11.21      25.51       0.00
1800.04/1800.01	c   logicor          :       0.10       0.00       0.10       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.00          2          0          0
1800.04/1800.01	c   rootredcost      :       0.00          1          0          0
1800.04/1800.01	c   pseudoobj        :      35.25    2425097          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         14         14         14        8.1         48        3.7          -
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 :          -          -          -         62        4.7          -          -          -
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          3          -          -          0          -    (maximal pool size: 51)
1800.04/1800.01	c   redcost          :      58.29    1746430          0          0          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          4          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.00          4          0          0         51          0
1800.04/1800.01	c   strongcg         :       0.00          4          0          0          0          0
1800.04/1800.01	c   cmir             :       0.01          4          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.02          4          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        :      15.19       8285          0         54          0          0      16478
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :      98.40    1594805          0          0          0          0    3189610
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   feaspump         :       0.00          0          0
1800.04/1800.01	c   oneopt           :       0.04          2          0
1800.04/1800.01	c   intshifting      :       0.01          5          0
1800.04/1800.01	c   crossover        :       0.19         18          2
1800.04/1800.01	c   fracdiving       :       9.15      20009          0
1800.04/1800.01	c   linesearchdiving :       9.62      20009          0
1800.04/1800.01	c   guideddiving     :       9.43      20010          0
1800.04/1800.01	c   coefdiving       :       8.78      20010          0
1800.04/1800.01	c   pscostdiving     :       9.08      20010          0
1800.04/1800.01	c   veclendiving     :       9.29      20010          0
1800.04/1800.01	c   objpscostdiving  :       9.21      20008          0
1800.04/1800.01	c   rootsoldiving    :      10.03      20008          0
1800.04/1800.01	c   trivial          :       0.00          2          1
1800.04/1800.01	c   simplerounding   :       0.21       8288          0
1800.04/1800.01	c   zirounding       :       0.01       1000          0
1800.04/1800.01	c   rounding         :       0.06       1248          0
1800.04/1800.01	c   shifting         :       0.20        401          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   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.01          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.00          0          0
1800.04/1800.01	c   trysol           :       0.14      20459         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          :    1076.04     374591   27401775      73.15   25465.39
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.02         17        782      46.00   39100.00
1800.04/1800.01	c   strong branching :      15.11      12731     362635      28.48   23999.67
1800.04/1800.01	c     (at root node) :          -         33       8610     260.91          -
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            :    1603058
1800.04/1800.01	c   nodes (total)    :    1603058
1800.04/1800.01	c   nodes left       :    1602909
1800.04/1800.01	c   max depth        :        509
1800.04/1800.01	c   max depth (total):        509
1800.04/1800.01	c   backtracks       :      20025 (1.2%)
1800.04/1800.01	c   delayed cutoffs  :          0
1800.04/1800.01	c   repropagations   :        288 (111 domain reductions, 0 cutoffs)
1800.04/1800.01	c   avg switch length:       2.24
1800.04/1800.01	c   switching time   :      32.36
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        101 (2 improvements)
1800.04/1800.01	c   First Solution   : +3.94238000000000e+05   (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01	c   Primal Bound     : +1.62280000000000e+04   (in run 1, after 33563 nodes, 35.89 seconds, depth 393, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :        250

Verifier Data 

OK	16228

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 1.77 0.77 3/178 17474
/proc/meminfo: memFree=29997184/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=10972 CPUtime=0
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 1667 0 0 0 0 0 0 0 21 0 1 0 21620417 11235328 1587 4089446400 4194304 9819077 140737368634192 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17474/statm: 2743 1587 392 1374 0 1364 0

[startup+0.100241 s]
/proc/loadavg: 2.33 1.77 0.77 3/178 17474
/proc/meminfo: memFree=29997184/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=27268 CPUtime=0.09
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 6680 0 0 0 8 1 0 0 21 0 1 0 21620417 27922432 5407 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 6817 5407 674 1374 0 5438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27268

[startup+0.200223 s]
/proc/loadavg: 2.33 1.77 0.77 3/178 17474
/proc/meminfo: memFree=29997184/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=30004 CPUtime=0.19
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 10635 0 0 0 18 1 0 0 21 0 1 0 21620417 30724096 5807 4089446400 4194304 9819077 140737368634192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 7501 5807 695 1374 0 6122 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30004

[startup+0.300202 s]
/proc/loadavg: 2.33 1.77 0.77 3/178 17474
/proc/meminfo: memFree=29997184/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=30004 CPUtime=0.29
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 11738 0 0 0 27 2 0 0 21 0 1 0 21620417 30724096 5812 4089446400 4194304 9819077 140737368634192 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 7366 5804 695 1374 0 5987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30004

[startup+0.700131 s]
/proc/loadavg: 2.33 1.77 0.77 3/178 17474
/proc/meminfo: memFree=29997184/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=29992 CPUtime=0.69
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 16605 0 0 0 65 4 0 0 22 0 1 0 21620417 30711808 5813 4089446400 4194304 9819077 140737368634192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 7498 5815 700 1374 0 6119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29992

[startup+1.50099 s]
/proc/loadavg: 2.33 1.77 0.77 3/179 17475
/proc/meminfo: memFree=29974532/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=30276 CPUtime=1.49
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 28111 0 0 0 141 8 0 0 25 0 1 0 21620417 31002624 5863 4089446400 4194304 9819077 140737368634192 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 7569 5863 702 1374 0 6190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30276

[startup+3.10071 s]
/proc/loadavg: 2.33 1.77 0.77 3/179 17475
/proc/meminfo: memFree=29972424/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=30544 CPUtime=3.09
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 50862 0 0 0 292 17 0 0 25 0 1 0 21620417 31277056 6197 4089446400 4194304 9819077 140737368634192 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 7636 6198 703 1374 0 6257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30544

[startup+6.3002 s]
/proc/loadavg: 2.31 1.78 0.78 3/179 17475
/proc/meminfo: memFree=29963256/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=34220 CPUtime=6.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 78361 0 0 0 597 33 0 0 25 0 1 0 21620417 35041280 7075 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 8555 7075 703 1374 0 7176 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 34220

[startup+12.701 s]
/proc/loadavg: 2.28 1.78 0.78 3/179 17475
/proc/meminfo: memFree=29945400/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=41516 CPUtime=12.69
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 119969 0 0 0 1205 64 0 0 25 0 1 0 21620417 42512384 8833 4089446400 4194304 9819077 140737368634192 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 10379 8833 707 1374 0 9000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41516

[startup+25.5008 s]
/proc/loadavg: 2.22 1.79 0.80 3/179 17475
/proc/meminfo: memFree=29907396/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=52248 CPUtime=25.49
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 203160 0 0 0 2416 133 0 0 25 0 1 0 21620417 53501952 11645 4089446400 4194304 9819077 140737368634192 18446744073709551615 6669992 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 13062 11645 707 1374 0 11683 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52248

[startup+51.1002 s]
/proc/loadavg: 2.14 1.81 0.83 3/179 17476
/proc/meminfo: memFree=29836800/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=79644 CPUtime=51.09
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 346908 0 0 0 4834 275 0 0 25 0 1 0 21620417 81555456 18621 4089446400 4194304 9819077 140737368634192 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 19911 18621 707 1374 0 18532 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79644

[startup+102.3 s]
/proc/loadavg: 2.06 1.83 0.89 3/179 17477
/proc/meminfo: memFree=29753916/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=122384 CPUtime=102.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 638652 0 0 0 9678 552 0 0 25 0 1 0 21620417 125321216 28964 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 30596 28964 707 1374 0 29217 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 122384

[startup+162.301 s]
/proc/loadavg: 2.02 1.86 0.96 3/179 17479
/proc/meminfo: memFree=29683160/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=177136 CPUtime=162.29
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 953620 0 0 0 15340 889 0 0 25 0 1 0 21620417 181387264 42850 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 44284 42850 707 1374 0 42905 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 177136

[startup+222.306 s]
/proc/loadavg: 2.01 1.88 1.02 3/179 17508
/proc/meminfo: memFree=29764456/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=233988 CPUtime=222.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 1275636 0 0 0 21032 1198 0 0 25 0 1 0 21620417 239603712 56261 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 58497 56261 707 1374 0 57118 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 233988

[startup+282.3 s]
/proc/loadavg: 2.00 1.90 1.08 3/179 17536
/proc/meminfo: memFree=29824924/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=287344 CPUtime=282.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 1607704 0 0 0 26706 1524 0 0 25 0 1 0 21620417 294240256 69822 4089446400 4194304 9819077 140737368634192 18446744073709551615 6210808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 71836 69822 707 1374 0 70457 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 287344

[startup+342.301 s]
/proc/loadavg: 2.04 1.93 1.14 3/179 17537
/proc/meminfo: memFree=29693464/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=336256 CPUtime=342.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 1914034 0 0 0 32387 1843 0 0 25 0 1 0 21620417 344326144 82271 4089446400 4194304 9819077 140737368634192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 84064 82271 707 1374 0 82685 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 336256

[startup+402.301 s]
/proc/loadavg: 2.01 1.94 1.19 3/179 17539
/proc/meminfo: memFree=29558500/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=389536 CPUtime=402.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 2232277 0 0 0 38079 2151 0 0 25 0 1 0 21620417 398884864 95778 4089446400 4194304 9819077 140737368634192 18446744073709551615 7291008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 97384 95778 707 1374 0 96005 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 389536

[startup+462.3 s]
/proc/loadavg: 2.00 1.95 1.24 3/179 17541
/proc/meminfo: memFree=29430216/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=431684 CPUtime=462.31
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 2576336 0 0 0 43778 2453 0 0 25 0 1 0 21620417 442044416 106486 4089446400 4194304 9819077 140737368634192 18446744073709551615 6568868 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 107921 106486 707 1374 0 106542 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 431684

[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.28 3/179 17543
/proc/meminfo: memFree=29285960/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=499588 CPUtime=522.3
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 2869075 0 0 0 49445 2785 0 0 25 0 1 0 21620417 511578112 121725 4089446400 4194304 9819077 140737368634192 18446744073709551615 7227236 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 124897 121725 707 1374 0 123518 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 499588

[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.32 3/179 17544
/proc/meminfo: memFree=29152352/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=549308 CPUtime=582.31
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 3185599 0 0 0 55128 3103 0 0 25 0 1 0 21620417 562491392 134320 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 137327 134320 707 1374 0 135948 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 549308

[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.36 3/179 17545
/proc/meminfo: memFree=29021868/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=592716 CPUtime=642.31
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 3540386 0 0 0 60821 3410 0 0 25 0 1 0 21620417 606941184 145357 4089446400 4194304 9819077 140737368634192 18446744073709551615 6385927 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 148179 145357 707 1374 0 146800 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 592716

[startup+702.301 s]

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

/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 5819644 0 0 0 100573 5659 0 0 25 0 1 0 21620417 974626816 236605 4089446400 4194304 9819077 140737368634192 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 237946 236605 707 1374 0 236567 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 951784

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/179 17559
/proc/meminfo: memFree=27911480/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1016852 CPUtime=1122.32
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 6157032 0 0 0 106260 5972 0 0 25 0 1 0 21620417 1041256448 248982 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 254213 248982 707 1374 0 252834 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1016852

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/179 17560
/proc/meminfo: memFree=27772300/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1065644 CPUtime=1182.32
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 6496513 0 0 0 111943 6289 0 0 25 0 1 0 21620417 1091219456 261365 4089446400 4194304 9819077 140737368634192 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 266411 261365 707 1374 0 265032 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1065644

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/179 17561
/proc/meminfo: memFree=27636588/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1110560 CPUtime=1242.32
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 6853477 0 0 0 117624 6608 0 0 25 0 1 0 21620417 1137213440 272788 4089446400 4194304 9819077 140737368634192 18446744073709551615 6590704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 277640 272788 707 1374 0 276261 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1110560

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/179 17563
/proc/meminfo: memFree=27500868/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1155296 CPUtime=1302.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 7211585 0 0 0 123309 6924 0 0 25 0 1 0 21620417 1183023104 284152 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 288824 284152 707 1374 0 287445 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1155296

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 17565
/proc/meminfo: memFree=27358828/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1205168 CPUtime=1362.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 7542579 0 0 0 128994 7239 0 0 25 0 1 0 21620417 1234092032 296827 4089446400 4194304 9819077 140737368634192 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 301292 296827 707 1374 0 299913 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1205168

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 17567
/proc/meminfo: memFree=27213812/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1255476 CPUtime=1422.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 7859846 0 0 0 134668 7565 0 0 25 0 1 0 21620417 1285607424 309626 4089446400 4194304 9819077 140737368634192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 313869 309626 707 1374 0 312490 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1255476

[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 1.72 3/179 17568
/proc/meminfo: memFree=27071264/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1306544 CPUtime=1482.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 8182446 0 0 0 140355 7878 0 0 25 0 1 0 21620417 1337901056 322589 4089446400 4194304 9819077 140737368634192 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 326636 322589 707 1374 0 325257 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1306544

[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.74 3/179 17569
/proc/meminfo: memFree=26925632/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1359288 CPUtime=1542.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 8490227 0 0 0 146039 8194 0 0 25 0 1 0 21620417 1391910912 335985 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 339822 335985 707 1374 0 338443 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1359288

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 17571
/proc/meminfo: memFree=26779016/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1415520 CPUtime=1602.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 8793741 0 0 0 151708 8525 0 0 25 0 1 0 21620417 1449492480 350292 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 353880 350292 707 1374 0 352501 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1415520

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 17573
/proc/meminfo: memFree=26637600/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1467544 CPUtime=1662.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9114447 0 0 0 157373 8860 0 0 25 0 1 0 21620417 1502765056 363520 4089446400 4194304 9819077 140737368634192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 366886 363520 707 1374 0 365507 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1467544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 17575
/proc/meminfo: memFree=26502232/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1511916 CPUtime=1722.33
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9461828 0 0 0 163047 9186 0 0 25 0 1 0 21620417 1548201984 374798 4089446400 4194304 9819077 140737368634192 18446744073709551615 4902918 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 377979 374798 707 1374 0 376600 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1511916

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 17576
/proc/meminfo: memFree=26363664/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1559588 CPUtime=1782.34
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9815505 0 0 0 168721 9513 0 0 25 0 1 0 21620417 1597018112 386902 4089446400 4194304 9819077 140737368634192 18446744073709551615 7815959 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 389897 386902 707 1374 0 388518 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1559588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 17577
/proc/meminfo: memFree=26321236/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1576052 CPUtime=1800.04
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9911682 0 0 0 170395 9609 0 0 25 0 1 0 21620417 1613877248 391084 4089446400 4194304 9819077 140737368634192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17474/statm: 394013 391084 707 1374 0 392634 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1576052

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17474

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

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 17578
/proc/meminfo: memFree=26320360/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1576052 CPUtime=1800.74
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9911685 0 0 0 170465 9609 0 0 25 0 1 0 21620417 1613877248 391087 4089446400 4194304 9819077 140737368634192 18446744073709551615 6179975 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17474/statm: 394013 391087 710 1374 0 392634 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 1576052

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 17578
/proc/meminfo: memFree=26320360/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1559668 CPUtime=1801.53
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9911685 0 0 0 170544 9609 0 0 25 0 1 0 21620417 1597100032 386991 4089446400 4194304 9819077 140737368634192 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17474/statm: 389917 386991 710 1374 0 388538 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 1559668

[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 17578
/proc/meminfo: memFree=26434564/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1433680 CPUtime=1801.94
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9911685 0 0 0 170585 9609 0 0 25 0 1 0 21620417 1468088320 355494 4089446400 4194304 9819077 140737368634192 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17474/statm: 358420 355494 710 1374 0 357041 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 1433680

[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.79 3/180 17578
/proc/meminfo: memFree=26434564/32950928 swapFree=4192956/4192956
[pid=17474] ppid=17472 vsize=1394432 CPUtime=1802.04
/proc/17474/stat : 17474 (pbscip.linux.x8) R 17472 17474 16702 0 -1 4202496 9911685 0 0 0 170594 9610 0 0 25 0 1 0 21620417 1427898368 345682 4089446400 4194304 9819077 140737368634192 18446744073709551615 6180098 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17474/statm: 348608 345682 710 1374 0 347229 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1394432

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.1
CPU user time (s): 1705.95
CPU system time (s): 96.1464
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1576076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.95
system time used= 96.1464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9911685
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= 1
involuntary context switches= 1265

runsolver used 2.46062 second user time and 5.76712 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-07 22:21:10
IDJOB=2700129
IDBENCH=79402
IDSOLVER=1205
FILE ID=node124/2700129-1278534070
PBS_JOBID= 11239229
Free space on /tmp= 130204 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-jnh219_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-2700129-1278534070/watcher-2700129-1278534070 -o /tmp/evaluation-result-2700129-1278534070/solver-2700129-1278534070 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700129-1278534070.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60
RANDOM SEED=1558813364

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29997836 kB
Buffers:        130616 kB
Cached:        2512504 kB
SwapCached:          0 kB
Active:        1112408 kB
Inactive:      1730820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29997836 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6268 kB
Writeback:           0 kB
AnonPages:      199948 kB
Mapped:          16260 kB
Slab:            76892 kB
PageTables:       5480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   350092 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130192 MiB
End job on node124 at 2010-07-07 22:51:12