Trace number 2693082

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) 1801.45 1801.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-66-100-0.wbo
MD5SUM0f5209330b13fd9909fb37660b8a3f5d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.015996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1328
Total number of constraints3349
Number of soft constraints1145
Number of constraints which are clauses3165
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints184
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 58120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 58119
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2693082-1277915351.wbo>
0.00/0.03	c original problem has 3618 variables (2473 bin, 0 int, 0 impl, 1145 cont) and 4495 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 70 del vars, 32 del conss, 7 chg bounds, 92 chg sides, 192 chg coeffs, 0 upgd conss, 19161 impls, 0 clqs
0.00/0.06	c (round 2) 74 del vars, 152 del conss, 7 chg bounds, 92 chg sides, 192 chg coeffs, 0 upgd conss, 19161 impls, 0 clqs
0.00/0.08	c (round 3) 78 del vars, 158 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 0 upgd conss, 19161 impls, 0 clqs
0.09/0.11	c (round 4) 80 del vars, 164 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2058 upgd conss, 19161 impls, 0 clqs
0.09/0.13	c (round 5) 81 del vars, 164 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2058 upgd conss, 19163 impls, 0 clqs
0.39/0.41	c    (0.3s) probing: 1000/2397 (41.7%) - 1 fixings, 5 aggregations, 1357 implications, 0 bound changes
0.39/0.42	c    (0.3s) probing: 1046/2397 (43.6%) - 1 fixings, 5 aggregations, 1357 implications, 0 bound changes
0.39/0.42	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.42	c (round 6) 87 del vars, 164 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2058 upgd conss, 23084 impls, 0 clqs
0.39/0.42	c (round 7) 87 del vars, 167 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2058 upgd conss, 23084 impls, 0 clqs
0.39/0.43	c (round 8) 88 del vars, 168 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2059 upgd conss, 23084 impls, 0 clqs
0.39/0.44	c (round 9) 89 del vars, 168 del conss, 1148 chg bounds, 93 chg sides, 192 chg coeffs, 2059 upgd conss, 23084 impls, 0 clqs
0.39/0.46	c    (0.4s) probing: 1056/2397 (44.1%) - 1 fixings, 5 aggregations, 1357 implications, 0 bound changes
0.39/0.46	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.46	c presolving (10 rounds):
0.39/0.46	c  89 deleted vars, 168 deleted constraints, 1148 tightened bounds, 0 added holes, 93 changed sides, 192 changed coefficients
0.39/0.46	c  23084 implications, 0 cliques
0.39/0.46	c presolved problem has 3529 variables (2390 bin, 0 int, 0 impl, 1139 cont) and 4327 constraints
0.39/0.46	c    1139 constraints of type <indicator>
0.39/0.46	c       3 constraints of type <varbound>
0.39/0.46	c     123 constraints of type <knapsack>
0.39/0.46	c    1136 constraints of type <linear>
0.39/0.46	c    1926 constraints of type <logicor>
0.39/0.46	c transformed objective value is always integral (scale: 1)
0.39/0.46	c Presolving Time: 0.36
0.39/0.46	c - non default parameters ----------------------------------------------------------------------
0.39/0.46	c # SCIP version 1.2.1.2
0.39/0.46	c 
0.39/0.46	c # frequency for displaying node information lines
0.39/0.46	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46	c display/freq = 10000
0.39/0.46	c 
0.39/0.46	c # maximal time in seconds to run
0.39/0.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46	c limits/time = 1799.97
0.39/0.46	c 
0.39/0.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46	c limits/memory = 3420
0.39/0.46	c 
0.39/0.46	c # should presolving try to simplify inequalities
0.39/0.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46	c constraints/linear/simplifyinequalities = TRUE
0.39/0.46	c 
0.39/0.46	c # should presolving try to simplify knapsacks
0.39/0.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46	c 
0.39/0.46	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46	c separating/rapidlearning/freq = 0
0.39/0.46	c 
0.39/0.46	c -----------------------------------------------------------------------------------------------
0.39/0.46	c start solving
0.39/0.46	c 
0.39/0.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.48	c   0.4s|     1 |     0 |   228 |     - |  14M|   0 | 161 |3529 |4327 |3529 |2043 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.50	o 57733
0.39/0.50	c y 0.4s|     1 |     0 |   228 |     - |  14M|   0 | 161 |3529 |4327 |3529 |2043 |   0 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
0.59/0.60	c   0.5s|     1 |     0 |   518 |     - |  14M|   0 | 306 |3529 |4327 |3529 |2241 | 198 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
0.69/0.71	c   0.6s|     1 |     0 |   982 |     - |  15M|   0 | 388 |3529 |4327 |3529 |2369 | 326 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
0.79/0.83	c   0.7s|     1 |     0 |  1283 |     - |  15M|   0 | 546 |3529 |4327 |3529 |2504 | 461 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
0.99/1.09	c   1.0s|     1 |     0 |  1589 |     - |  15M|   0 | 609 |3529 |4327 |3529 |2624 | 581 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
1.28/1.36	c   1.2s|     1 |     0 |  1867 |     - |  15M|   0 | 588 |3529 |4327 |3529 |2730 | 687 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
1.49/1.58	c   1.4s|     1 |     0 |  2154 |     - |  15M|   0 | 655 |3529 |4327 |3529 |2798 | 755 |   0 |   0 | 0.000000e+00 | 5.773300e+04 |    Inf 
2.38/2.40	c   2.2s|     1 |     2 |  2154 |     - |  15M|   0 | 655 |3529 |4327 |3529 |2798 | 755 |   0 |  17 | 0.000000e+00 | 5.773300e+04 |    Inf 
48.09/48.19	c  45.9s| 10000 |  9917 | 39001 |   3.7 |  37M| 233 |   0 |3529 |4390 |3529 |2657 |7507 |  64 |4582 | 0.000000e+00 | 5.773300e+04 |    Inf 
73.19/73.24	c  70.0s| 20000 | 19911 | 69505 |   3.4 |  59M| 233 |   0 |3529 |4391 |3529 |2640 |  13k|  68 |5026 | 0.000000e+00 | 5.773300e+04 |    Inf 
93.79/93.85	c  89.9s| 30000 | 29899 | 88065 |   2.9 |  79M| 233 |   0 |3529 |4397 |3529 |2641 |  18k|  75 |5077 | 0.000000e+00 | 5.773300e+04 |    Inf 
114.79/114.89	c   110s| 40000 | 39897 |108879 |   2.7 | 100M| 233 |   0 |3529 |4396 |3529 |2631 |  23k|  76 |5290 | 0.000000e+00 | 5.773300e+04 |    Inf 
135.70/135.70	c   130s| 50000 | 49891 |129366 |   2.5 | 121M| 233 |   0 |3529 |4398 |3529 |2642 |  28k|  79 |5472 | 0.000000e+00 | 5.773300e+04 |    Inf 
157.19/157.21	c   151s| 60000 | 59885 |148137 |   2.4 | 142M| 233 |   0 |3529 |4402 |3529 |2641 |  32k|  85 |5721 | 0.000000e+00 | 5.773300e+04 |    Inf 
177.49/177.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
177.49/177.54	c   171s| 70000 | 69883 |163792 |   2.3 | 163M| 233 |   0 |3529 |4402 |3529 |2637 |  36k|  86 |5788 | 0.000000e+00 | 5.773300e+04 |    Inf 
198.99/199.01	c   191s| 80000 | 79879 |180405 |   2.2 | 183M| 233 |   0 |3529 |4404 |3529 |2636 |  41k|  89 |6124 | 0.000000e+00 | 5.773300e+04 |    Inf 
219.30/219.36	c   211s| 90000 | 89873 |196030 |   2.2 | 204M| 233 |   0 |3529 |4404 |3529 |2635 |  45k|  92 |6209 | 0.000000e+00 | 5.773300e+04 |    Inf 
240.69/240.77	c   232s|100000 | 99869 |216487 |   2.1 | 225M| 233 |   0 |3529 |4402 |3529 |2642 |  50k|  95 |6438 | 0.000000e+00 | 5.773300e+04 |    Inf 
262.09/262.18	c   252s|110000 |109867 |235278 |   2.1 | 246M| 233 |   0 |3529 |4403 |3529 |2639 |  55k|  96 |6678 | 0.000000e+00 | 5.773300e+04 |    Inf 
282.40/282.47	c   272s|120000 |119867 |252329 |   2.1 | 267M| 233 |   0 |3529 |4402 |3529 |2642 |  59k|  96 |6738 | 0.000000e+00 | 5.773300e+04 |    Inf 
303.10/303.17	c   292s|130000 |129865 |271073 |   2.1 | 288M| 233 |   0 |3529 |4402 |3529 |2648 |  64k|  97 |6854 | 0.000000e+00 | 5.773300e+04 |    Inf 
323.50/323.55	c   312s|140000 |139865 |288760 |   2.0 | 308M| 233 |   0 |3529 |4401 |3529 |2641 |  69k|  97 |6860 | 0.000000e+00 | 5.773300e+04 |    Inf 
342.60/342.69	c   330s|150000 |149865 |299179 |   2.0 | 329M| 233 |   0 |3529 |4401 |3529 |2637 |  72k|  97 |6861 | 0.000000e+00 | 5.773300e+04 |    Inf 
363.20/363.29	c   350s|160000 |159865 |317917 |   2.0 | 350M| 233 |   0 |3529 |4399 |3529 |2643 |  77k|  97 |6880 | 0.000000e+00 | 5.773300e+04 |    Inf 
383.69/383.76	c   370s|170000 |169865 |336693 |   2.0 | 371M| 233 |   0 |3529 |4398 |3529 |2645 |  82k|  97 |6897 | 0.000000e+00 | 5.773300e+04 |    Inf 
403.90/403.95	c   389s|180000 |179865 |354773 |   2.0 | 392M| 233 |   0 |3529 |4395 |3529 |2641 |  87k|  97 |6906 | 0.000000e+00 | 5.773300e+04 |    Inf 
423.80/423.81	c   408s|190000 |189865 |371227 |   1.9 | 413M| 233 |   0 |3529 |4395 |3529 |2645 |  91k|  97 |6916 | 0.000000e+00 | 5.773300e+04 |    Inf 
443.20/443.21	c   427s|200000 |199863 |385686 |   1.9 | 433M| 239 |   0 |3529 |4396 |3529 |2639 |  95k|  99 |6934 | 0.000000e+00 | 5.773300e+04 |    Inf 
462.11/462.20	c   446s|210000 |209859 |390915 |   1.9 | 454M| 241 |   0 |3529 |4397 |3529 |2641 |  96k| 101 |7283 | 0.000000e+00 | 5.773300e+04 |    Inf 
481.60/481.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
481.60/481.67	c   464s|220000 |219859 |406512 |   1.8 | 475M| 241 |   0 |3529 |4397 |3529 |2636 | 100k| 101 |7283 | 0.000000e+00 | 5.773300e+04 |    Inf 
501.30/501.37	c   483s|230000 |229859 |421549 |   1.8 | 496M| 241 |   0 |3529 |4395 |3529 |2642 | 104k| 101 |7295 | 0.000000e+00 | 5.773300e+04 |    Inf 
521.01/521.05	c   502s|240000 |239859 |438974 |   1.8 | 517M| 241 |   0 |3529 |4393 |3529 |2641 | 109k| 101 |7302 | 0.000000e+00 | 5.773300e+04 |    Inf 
541.10/541.11	c   522s|250000 |249859 |458356 |   1.8 | 538M| 241 |   0 |3529 |4390 |3529 |2645 | 114k| 101 |7313 | 0.000000e+00 | 5.773300e+04 |    Inf 
560.90/561.00	c   541s|260000 |259859 |476917 |   1.8 | 558M| 241 |   0 |3529 |4389 |3529 |2651 | 119k| 101 |7315 | 0.000000e+00 | 5.773300e+04 |    Inf 
581.30/581.38	c   561s|270000 |269857 |493805 |   1.8 | 579M| 241 |   0 |3529 |4392 |3529 |2639 | 123k| 104 |7464 | 0.000000e+00 | 5.773300e+04 |    Inf 
602.20/602.21	c   581s|280000 |279855 |510851 |   1.8 | 600M| 241 |   0 |3529 |4389 |3529 |2644 | 127k| 105 |7754 | 0.000000e+00 | 5.773300e+04 |    Inf 
622.80/622.88	c   601s|290000 |289851 |532871 |   1.8 | 621M| 241 |   0 |3529 |4382 |3529 |2641 | 132k| 107 |7895 | 0.000000e+00 | 5.773300e+04 |    Inf 
643.61/643.65	c   621s|300000 |299849 |553893 |   1.8 | 642M| 241 |   0 |3529 |4380 |3529 |2630 | 137k| 108 |8047 | 0.000000e+00 | 5.773300e+04 |    Inf 
664.61/664.61	c   641s|310000 |309847 |571899 |   1.8 | 663M| 241 |   0 |3529 |4378 |3529 |2644 | 141k| 109 |8361 | 0.000000e+00 | 5.773300e+04 |    Inf 
684.50/684.53	c   660s|320000 |319847 |586819 |   1.8 | 684M| 247 |   0 |3529 |4377 |3529 |2646 | 145k| 109 |8492 | 0.000000e+00 | 5.773300e+04 |    Inf 
703.71/703.75	c   679s|330000 |329845 |599933 |   1.8 | 705M| 247 |   0 |3529 |4376 |3529 |2640 | 149k| 110 |8564 | 0.000000e+00 | 5.773300e+04 |    Inf 
723.51/723.51	c   698s|340000 |339845 |617196 |   1.8 | 726M| 247 |   0 |3529 |4376 |3529 |2635 | 154k| 110 |8597 | 0.000000e+00 | 5.773300e+04 |    Inf 
744.41/744.40	c   718s|350000 |349845 |634484 |   1.8 | 746M| 247 |   0 |3529 |4374 |3529 |2647 | 158k| 110 |8968 | 0.000000e+00 | 5.773300e+04 |    Inf 
764.31/764.31	c   737s|360000 |359845 |651185 |   1.8 | 767M| 247 |   0 |3529 |4374 |3529 |2643 | 163k| 110 |9020 | 0.000000e+00 | 5.773300e+04 |    Inf 
783.61/783.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
783.61/783.66	c   756s|370000 |369845 |665797 |   1.8 | 788M| 247 |   0 |3529 |4374 |3529 |2644 | 167k| 110 |9038 | 0.000000e+00 | 5.773300e+04 |    Inf 
803.61/803.69	c   775s|380000 |379845 |681428 |   1.8 | 809M| 247 |   0 |3529 |4374 |3529 |2643 | 172k| 110 |9221 | 0.000000e+00 | 5.773300e+04 |    Inf 
822.71/822.80	c   794s|390000 |389845 |694396 |   1.8 | 830M| 247 |   0 |3529 |4374 |3529 |2645 | 176k| 110 |9263 | 0.000000e+00 | 5.773300e+04 |    Inf 
841.81/841.82	c   812s|400000 |399845 |706711 |   1.8 | 851M| 247 |   0 |3529 |4374 |3529 |2635 | 179k| 110 |9268 | 0.000000e+00 | 5.773300e+04 |    Inf 
861.21/861.28	c   831s|410000 |409845 |721540 |   1.8 | 873M| 247 |   0 |3529 |4374 |3529 |2640 | 183k| 110 |9284 | 0.000000e+00 | 5.773300e+04 |    Inf 
881.01/881.00	c   850s|420000 |419845 |734808 |   1.7 | 894M| 247 |   0 |3529 |4374 |3529 |2645 | 187k| 110 |9490 | 0.000000e+00 | 5.773300e+04 |    Inf 
900.32/900.32	c   869s|430000 |429845 |749386 |   1.7 | 916M| 247 |   0 |3529 |4374 |3529 |2648 | 191k| 110 |9515 | 0.000000e+00 | 5.773300e+04 |    Inf 
919.51/919.55	c   887s|440000 |439845 |763518 |   1.7 | 938M| 247 |   0 |3529 |4374 |3529 |2635 | 195k| 110 |9537 | 0.000000e+00 | 5.773300e+04 |    Inf 
939.11/939.18	c   906s|450000 |449845 |777878 |   1.7 | 959M| 247 |  15 |3529 |4374 |3529 |2629 | 200k| 110 |9657 | 0.000000e+00 | 5.773300e+04 |    Inf 
958.62/958.66	c   925s|460000 |459845 |792091 |   1.7 | 980M| 247 |   0 |3529 |4374 |3529 |2640 | 204k| 110 |9773 | 0.000000e+00 | 5.773300e+04 |    Inf 
977.72/977.79	c   944s|470000 |469845 |806680 |   1.7 |1001M| 247 |   0 |3529 |4374 |3529 |2644 | 208k| 110 |9788 | 0.000000e+00 | 5.773300e+04 |    Inf 
996.72/996.78	c   962s|480000 |479845 |820441 |   1.7 |1022M| 247 |   0 |3529 |4374 |3529 |2640 | 212k| 110 |9790 | 0.000000e+00 | 5.773300e+04 |    Inf 
1015.42/1015.43	c   980s|490000 |489845 |828026 |   1.7 |1042M| 247 |   0 |3529 |4373 |3529 |2641 | 214k| 110 |9897 | 0.000000e+00 | 5.773300e+04 |    Inf 
1034.02/1034.07	c   998s|500000 |499845 |838083 |   1.7 |1063M| 247 |   0 |3529 |4373 |3529 |2642 | 217k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1052.72/1052.74	c  1016s|510000 |509845 |850030 |   1.7 |1084M| 247 |   0 |3529 |4373 |3529 |2647 | 220k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1071.61/1071.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1071.61/1071.69	c  1035s|520000 |519845 |862671 |   1.7 |1105M| 247 |  40 |3529 |4373 |3529 |2630 | 224k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1090.42/1090.44	c  1053s|530000 |529845 |875042 |   1.6 |1125M| 247 |   0 |3529 |4373 |3529 |2638 | 227k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1109.62/1109.60	c  1071s|540000 |539845 |884868 |   1.6 |1146M| 247 |   0 |3529 |4373 |3529 |2645 | 230k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1128.82/1128.85	c  1090s|550000 |549845 |896962 |   1.6 |1167M| 247 |   0 |3529 |4373 |3529 |2635 | 233k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1148.22/1148.24	c  1109s|560000 |559845 |910083 |   1.6 |1188M| 247 |   0 |3529 |4373 |3529 |2641 | 237k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1167.82/1167.81	c  1128s|570000 |569845 |924319 |   1.6 |1209M| 247 |   0 |3529 |4373 |3529 |2649 | 241k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1187.22/1187.26	c  1146s|580000 |579845 |938292 |   1.6 |1230M| 247 |   0 |3529 |4373 |3529 |2649 | 245k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1206.22/1206.25	c  1165s|590000 |589845 |946336 |   1.6 |1250M| 247 |   0 |3529 |4373 |3529 |2646 | 248k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1225.42/1225.41	c  1183s|600000 |599845 |957529 |   1.6 |1271M| 247 |   0 |3529 |4373 |3529 |2640 | 251k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1243.92/1243.94	c  1201s|610000 |609845 |966389 |   1.6 |1292M| 247 |   0 |3529 |4373 |3529 |2637 | 253k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1263.22/1263.28	c  1220s|620000 |619845 |978426 |   1.6 |1313M| 247 |   0 |3529 |4373 |3529 |2637 | 257k| 110 |  10k| 0.000000e+00 | 5.773300e+04 |    Inf 
1283.72/1283.70	c  1240s|630000 |629845 |989486 |   1.6 |1333M| 247 |   0 |3529 |4373 |3529 |2636 | 260k| 110 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1303.02/1303.05	c  1258s|640000 |639845 |  1003k|   1.6 |1354M| 247 |  14 |3529 |4373 |3529 |2641 | 264k| 110 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1323.02/1323.07	c  1278s|650000 |649845 |  1017k|   1.6 |1375M| 247 |   0 |3529 |4373 |3529 |2640 | 268k| 110 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1342.52/1342.51	c  1297s|660000 |659845 |  1031k|   1.6 |1396M| 247 |   0 |3529 |4373 |3529 |2644 | 272k| 110 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1361.32/1361.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1361.32/1361.33	c  1315s|670000 |669845 |  1041k|   1.6 |1417M| 247 |   0 |3529 |4373 |3529 |2644 | 275k| 110 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1380.72/1380.79	c  1334s|680000 |679843 |  1055k|   1.5 |1438M| 247 |   0 |3529 |4374 |3529 |2640 | 278k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1399.62/1399.65	c  1352s|690000 |689843 |  1066k|   1.5 |1458M| 247 |   0 |3529 |4374 |3529 |2641 | 281k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1418.82/1418.80	c  1370s|700000 |699843 |  1076k|   1.5 |1479M| 247 |   0 |3529 |4374 |3529 |2654 | 284k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1437.52/1437.50	c  1389s|710000 |709843 |  1086k|   1.5 |1500M| 247 |   0 |3529 |4374 |3529 |2637 | 287k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1455.83/1455.81	c  1406s|720000 |719843 |  1094k|   1.5 |1521M| 247 |   0 |3529 |4374 |3529 |2626 | 289k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1474.92/1474.90	c  1425s|730000 |729843 |  1107k|   1.5 |1542M| 247 |   0 |3529 |4374 |3529 |2645 | 293k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1494.23/1494.21	c  1443s|740000 |739843 |  1121k|   1.5 |1563M| 247 |   0 |3529 |4374 |3529 |2641 | 297k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1513.22/1513.21	c  1462s|750000 |749843 |  1131k|   1.5 |1583M| 247 |   0 |3529 |4374 |3529 |2634 | 300k| 111 |  11k| 0.000000e+00 | 5.773300e+04 |    Inf 
1531.12/1531.18	c  1479s|760000 |759843 |  1135k|   1.5 |1604M| 247 |   0 |3529 |4374 |3529 |2649 | 300k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1550.12/1550.17	c  1497s|770000 |769843 |  1147k|   1.5 |1625M| 247 |   0 |3529 |4374 |3529 |2642 | 304k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1568.63/1568.68	c  1515s|780000 |779843 |  1157k|   1.5 |1646M| 247 |   0 |3529 |4374 |3529 |2641 | 307k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1585.82/1585.89	c  1532s|790000 |789843 |  1159k|   1.5 |1666M| 247 |   0 |3529 |4374 |3529 |2645 | 307k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1603.43/1603.41	c  1549s|800000 |799843 |  1163k|   1.5 |1687M| 247 |   0 |3529 |4374 |3529 |2637 | 308k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1621.43/1621.46	c  1566s|810000 |809843 |  1170k|   1.4 |1708M| 247 |   0 |3529 |4374 |3529 |2639 | 310k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1639.83/1639.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1639.83/1639.87	c  1584s|820000 |819843 |  1178k|   1.4 |1729M| 247 |   0 |3529 |4374 |3529 |2638 | 312k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1659.02/1659.01	c  1603s|830000 |829843 |  1189k|   1.4 |1749M| 247 |   0 |3529 |4374 |3529 |2637 | 315k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1678.53/1678.60	c  1622s|840000 |839843 |  1204k|   1.4 |1770M| 247 |   0 |3529 |4374 |3529 |2642 | 319k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1697.83/1697.81	c  1640s|850000 |849843 |  1218k|   1.4 |1791M| 247 |   0 |3529 |4374 |3529 |2638 | 323k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1715.83/1715.80	c  1657s|860000 |859843 |  1224k|   1.4 |1812M| 247 |   0 |3529 |4374 |3529 |2638 | 325k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1735.13/1735.19	c  1676s|870000 |869843 |  1239k|   1.4 |1833M| 247 |   0 |3529 |4374 |3529 |2648 | 329k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1753.73/1753.71	c  1694s|880000 |879843 |  1245k|   1.4 |1854M| 247 |   0 |3529 |4374 |3529 |2643 | 331k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1773.93/1773.99	c  1714s|890000 |889843 |  1259k|   1.4 |1874M| 247 |   0 |3529 |4374 |3529 |2641 | 335k| 111 |  12k| 0.000000e+00 | 5.773300e+04 |    Inf 
1792.93/1792.92	c  1732s|900000 |899843 |  1271k|   1.4 |1895M| 247 |   0 |3529 |4374 |3529 |2646 | 338k| 111 |  12k| 0.000000e+00 | 5.773300e+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) : 1738.77
1800.04/1800.00	c Solving Nodes      : 903583
1800.04/1800.00	c Primal Bound       : +5.77330000000000e+04 (100 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.03	s SATISFIABLE
1800.04/1800.03	v x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 
1800.04/1800.03	v -x1309 x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 
1800.04/1800.03	v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 
1800.04/1800.03	v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 
1800.04/1800.03	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 
1800.04/1800.03	v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 
1800.04/1800.03	v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 
1800.04/1800.03	v -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
1800.04/1800.03	v x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 
1800.04/1800.03	v x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 x1151 x1150 -x1149 -x1148 x1147 
1800.04/1800.03	v x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
1800.04/1800.03	v -x1128 -x1127 -x1126 -x1125 x1124 x1123 x1122 x1121 x1120 -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 
1800.04/1800.03	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
1800.04/1800.03	v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 
1800.04/1800.03	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 x1063 x1062 x1061 -x1060 x1059 -x1058 -x1057 x1056 x1055 
1800.04/1800.03	v -x1054 x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
1800.04/1800.03	v -x1036 -x1035 -x1034 x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 x1023 -x1022 -x1021 -x1020 -x1019 
1800.04/1800.03	v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 x1002 -x1001 
1800.04/1800.03	v -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1800.04/1800.03	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
1800.04/1800.03	v -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1800.04/1800.03	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1800.04/1800.03	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1800.04/1800.03	v x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 
1800.04/1800.03	v -x873 -x872 x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
1800.04/1800.03	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 
1800.04/1800.03	v x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 
1800.04/1800.03	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 
1800.04/1800.03	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 
1800.04/1800.03	v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 
1800.04/1800.03	v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
1800.04/1800.03	v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 
1800.04/1800.03	v -x705 -x704 -x703 -x702 -x701 x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 x685 x684 
1800.04/1800.03	v x683 -x682 -x681 -x680 -x679 x678 -x677 x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 x662 
1800.04/1800.03	v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 
1800.04/1800.03	v -x640 -x639 x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 x623 -x622 -x621 -x620 
1800.04/1800.03	v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 
1800.04/1800.03	v -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 x589 x588 x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 
1800.04/1800.03	v x576 x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 x566 -x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 
1800.04/1800.03	v x554 -x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 -x544 x543 x542 x541 x540 -x539 x538 x537 x536 x535 -x534 x533 -x532 -x531 
1800.04/1800.03	v -x530 -x529 -x528 x527 -x526 -x525 x524 x523 x522 x521 x520 -x519 x518 x517 -x516 x515 -x514 -x513 x512 -x511 -x510 -x509 
1800.04/1800.03	v x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 
1800.04/1800.03	v -x487 -x486 x485 x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
1800.04/1800.03	v -x465 x464 x463 -x462 -x461 x460 x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 
1800.04/1800.03	v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 x432 -x431 -x430 -x429 -x428 -x427 x426 x425 -x424 -x423 
1800.04/1800.03	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 
1800.04/1800.03	v -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 x383 -x382 -x381 -x380 
1800.04/1800.03	v -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 x366 -x365 -x364 -x363 x362 x361 x360 -x359 
1800.04/1800.03	v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 
1800.04/1800.03	v -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 
1800.04/1800.03	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 
1800.04/1800.03	v x294 x293 x292 x291 x290 x289 x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
1800.04/1800.03	v -x272 x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 x252 
1800.04/1800.03	v -x251 -x250 x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233 x232 -x231 x230 -x229 
1800.04/1800.03	v -x228 -x227 -x226 -x225 -x224 x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 x212 x211 x210 -x209 -x208 
1800.04/1800.03	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 
1800.04/1800.03	v -x185 -x184 -x183 -x182 -x181 x180 x179 x178 x177 x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 x166 -x165 -x164 
1800.04/1800.03	v x163 x162 -x161 x160 x159 -x158 -x157 x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 x143 -x142 
1800.04/1800.03	v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 
1800.04/1800.03	v -x120 x119 -x118 -x117 x116 x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 
1800.04/1800.03	v x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 
1800.04/1800.03	v -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 x64 x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 x51 x50 -x49 -x48 -x47 x46 x45 
1800.04/1800.03	v x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 x29 -x28 -x27 x26 -x25 x24 -x23 x22 -x21 -x20 -x19 
1800.04/1800.03	v -x18 -x17 x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 x3 x2 x1 
1800.04/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.03	c Solving Time       :    1738.77
1800.04/1800.03	c Original Problem   :
1800.04/1800.03	c   Problem name     : HOME/instance-2693082-1277915351.wbo
1800.04/1800.03	c   Variables        : 3618 (2473 binary, 0 integer, 0 implicit integer, 1145 continuous)
1800.04/1800.03	c   Constraints      : 4495 initial, 4495 maximal
1800.04/1800.03	c Presolved Problem  :
1800.04/1800.03	c   Problem name     : t_HOME/instance-2693082-1277915351.wbo
1800.04/1800.03	c   Variables        : 3529 (2390 binary, 0 integer, 0 implicit integer, 1139 continuous)
1800.04/1800.03	c   Constraints      : 4327 initial, 4405 maximal
1800.04/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.03	c   trivial          :       0.01          1          0          0          0          0          0          0          0
1800.04/1800.03	c   dualfix          :       0.00         12          0          0          0          0          0          0          0
1800.04/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   implics          :       0.00          0         55          0          0          0          0          0          0
1800.04/1800.03	c   probing          :       0.25          1          5          0          0          0          0          0          0
1800.04/1800.03	c   indicator        :       0.00          0          0          0          0          0          6          0          0
1800.04/1800.03	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.03	c   linear           :       0.05          7          8          0       1148          0        155         93        192
1800.04/1800.03	c   logicor          :       0.04          0          0          0          0          0          7          0          0
1800.04/1800.03	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   integral         :          0          0          0     939768          0          0        143          0          0     141204
1800.04/1800.03	c   indicator        :       1139          0    2182370     869072          0          0     585180          0          0          0
1800.04/1800.03	c   varbound         :          3          6    2182370     869072          0          0          0         21          0          0
1800.04/1800.03	c   knapsack         :        123          6    2182370     869052          0         59      86658        484          0          0
1800.04/1800.03	c   linear           :       1136          6    2182311     869052          0          1     421742     339830          0          0
1800.04/1800.03	c   logicor          :       1926+         6    1363803     832902          0          7    1678013          0          0          0
1800.04/1800.03	c   countsols        :          0          0          0     832902          0          0          0          0          0          0
1800.04/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.03	c   integral         :      48.86       0.00       0.00      48.86       0.00
1800.04/1800.03	c   indicator        :      93.46       0.00      25.07      68.39       0.00
1800.04/1800.03	c   varbound         :       0.06       0.00       0.01       0.05       0.00
1800.04/1800.03	c   knapsack         :       3.68       0.00       2.72       0.96       0.00
1800.04/1800.03	c   linear           :      63.95       0.00      13.79      50.16       0.00
1800.04/1800.03	c   logicor          :      22.17       0.00       4.26      17.91       0.00
1800.04/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.03	c   vbounds          :       0.22      60347          0         16
1800.04/1800.03	c   rootredcost      :       0.00          1          0          0
1800.04/1800.03	c   pseudoobj        :      54.51    2179908          0          0
1800.04/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.03	c   propagation      :       0.00         66         66        116        7.5          1        4.0          -
1800.04/1800.03	c   infeasible LP    :       0.00         16         16         16        2.4          0        0.0          0
1800.04/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.03	c   applied globally :          -          -          -        111        6.5          -          -          -
1800.04/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.03	c   cut pool         :       0.00          5          -          -        316          -    (maximal pool size: 1238)
1800.04/1800.03	c   redcost          :      65.34     939150          0          0          0          0
1800.04/1800.03	c   impliedbounds    :       0.01          6          0          0         64          0
1800.04/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.03	c   gomory           :       0.29          6          0          0       2372          0
1800.04/1800.03	c   strongcg         :       0.20          6          0          0       1769          0
1800.04/1800.03	c   cmir             :       0.10          6          0          0         54          0
1800.04/1800.03	c   flowcover        :       0.22          6          0          0        661          0
1800.04/1800.03	c   clique           :       0.00          6          0          0         35          0
1800.04/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.03	c   mcf              :       0.01          1          0          0          0          0
1800.04/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.03	c Pricers            :       Time      Calls       Vars
1800.04/1800.03	c   problem variables:       0.00          0          0
1800.04/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   relpscost        :      48.83      70696          0        143          0          0     141204
1800.04/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   inference        :     122.97     832902          0          0          0          0    1665804
1800.04/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.03	c   LP solutions     :       0.00          -          0
1800.04/1800.03	c   pseudo solutions :       0.00          -          0
1800.04/1800.03	c   oneopt           :       0.05          1          0
1800.04/1800.03	c   feaspump         :       0.02          1          0
1800.04/1800.03	c   intshifting      :       0.01          4          0
1800.04/1800.03	c   crossover        :       0.36         12          0
1800.04/1800.03	c   linesearchdiving :       5.09       7268          0
1800.04/1800.03	c   guideddiving     :       5.22       7268          0
1800.04/1800.03	c   coefdiving       :       5.70       7268          0
1800.04/1800.03	c   pscostdiving     :       5.11       7268          0
1800.04/1800.03	c   fracdiving       :       5.65       7268          0
1800.04/1800.03	c   veclendiving     :       5.02       7268          0
1800.04/1800.03	c   objpscostdiving  :       5.04       7267          0
1800.04/1800.03	c   rootsoldiving    :       6.04       7267          0
1800.04/1800.03	c   trivial          :       0.00          2          0
1800.04/1800.03	c   simplerounding   :       0.04      69095          0
1800.04/1800.03	c   zirounding       :       0.15       1000          0
1800.04/1800.03	c   rounding         :       0.30       3660          0
1800.04/1800.03	c   shifting         :       1.02       1149          0
1800.04/1800.03	c   twoopt           :       0.00          0          0
1800.04/1800.03	c   fixandinfer      :       0.00          0          0
1800.04/1800.03	c   intdiving        :       0.00          0          0
1800.04/1800.03	c   actconsdiving    :       0.00          0          0
1800.04/1800.03	c   octane           :       0.00          0          0
1800.04/1800.03	c   rens             :       0.04          1          0
1800.04/1800.03	c   rins             :       0.00          0          0
1800.04/1800.03	c   localbranching   :       0.00          0          0
1800.04/1800.03	c   mutation         :       0.00          0          0
1800.04/1800.03	c   dins             :       0.00          0          0
1800.04/1800.03	c   undercover       :       0.00          0          0
1800.04/1800.03	c   nlp              :       0.00          0          0
1800.04/1800.03	c   trysol           :       3.13       8688        100
1800.04/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.03	c   primal LP        :       0.01          0          0       0.00       0.00
1800.04/1800.03	c   dual LP          :     893.51     149400    1277383       8.55    1429.62
1800.04/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.03	c   diving/probing LP:       0.13         50        334       6.68    2569.23
1800.04/1800.03	c   strong branching :      47.87      12824     169686      13.23    3544.73
1800.04/1800.03	c     (at root node) :          -         17       2999     176.41          -
1800.04/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.03	c B&B Tree           :
1800.04/1800.03	c   number of runs   :          1
1800.04/1800.03	c   nodes            :     903583
1800.04/1800.03	c   nodes (total)    :     903583
1800.04/1800.03	c   nodes left       :     903426
1800.04/1800.03	c   max depth        :        247
1800.04/1800.03	c   max depth (total):        247
1800.04/1800.03	c   backtracks       :       7278 (0.8%)
1800.04/1800.03	c   delayed cutoffs  :          0
1800.04/1800.03	c   repropagations   :       1202 (152 domain reductions, 0 cutoffs)
1800.04/1800.03	c   avg switch length:       2.13
1800.04/1800.03	c   switching time   :      55.43
1800.04/1800.03	c Solution           :
1800.04/1800.03	c   Solutions found  :        100 (1 improvements)
1800.04/1800.03	c   First Solution   : +5.77330000000000e+04   (in run 1, after 1 nodes, 0.38 seconds, depth 0, found by <trysol>)
1800.04/1800.03	c   Primal Bound     : +5.77330000000000e+04   (in run 1, after 1 nodes, 0.38 seconds, depth 0, found by <trysol>)
1800.04/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.03	c   Gap              :   infinite
1800.04/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.03	c   Root Iterations  :       2154
1801.43/1801.41	c Time complete: 1801.44.

Verifier Data 

OK	5304

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693082-1277915351/watcher-2693082-1277915351 -o /tmp/evaluation-result-2693082-1277915351/solver-2693082-1277915351 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693082-1277915351.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.45 2.14 2.04 3/182 14313
/proc/meminfo: memFree=30792212/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=10880 CPUtime=0
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 1673 0 0 0 0 0 0 0 25 0 1 0 132831264 11141120 1594 4089446400 4194304 9819077 140734530203728 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14313/statm: 2720 1594 392 1374 0 1341 0

[startup+0.102945 s]
/proc/loadavg: 2.45 2.14 2.04 3/182 14313
/proc/meminfo: memFree=30792212/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=31576 CPUtime=0.09
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8555 0 0 0 7 2 0 0 25 0 1 0 132831264 32333824 6580 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 7894 6580 509 1374 0 6515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31576

[startup+0.200928 s]
/proc/loadavg: 2.45 2.14 2.04 3/182 14313
/proc/meminfo: memFree=30792212/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=32044 CPUtime=0.19
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 10762 0 0 0 16 3 0 0 25 0 1 0 132831264 32813056 6731 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 8011 6731 532 1374 0 6632 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32044

[startup+0.300911 s]
/proc/loadavg: 2.45 2.14 2.04 3/182 14313
/proc/meminfo: memFree=30792212/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=32304 CPUtime=0.29
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 10833 0 0 0 26 3 0 0 25 0 1 0 132831264 33079296 6802 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 8076 6802 532 1374 0 6697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32304

[startup+0.700853 s]
/proc/loadavg: 2.45 2.14 2.04 3/182 14313
/proc/meminfo: memFree=30792212/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=42188 CPUtime=0.69
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 16472 0 0 0 61 8 0 0 25 0 1 0 132831264 43200512 8839 4089446400 4194304 9819077 140734530203728 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 10547 8839 694 1374 0 9168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42188

[startup+1.50071 s]
/proc/loadavg: 2.41 2.14 2.04 3/183 14314
/proc/meminfo: memFree=30758476/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=44464 CPUtime=1.49
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 17723 0 0 0 139 10 0 0 25 0 1 0 132831264 45531136 9253 4089446400 4194304 9819077 140734530203728 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 11116 9253 696 1374 0 9737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44464

[startup+3.10042 s]
/proc/loadavg: 2.41 2.14 2.04 3/183 14314
/proc/meminfo: memFree=30755004/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=48368 CPUtime=3.09
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 40091 0 0 0 295 14 0 0 25 0 1 0 132831264 49528832 9432 4089446400 4194304 9819077 140734530203728 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 12092 9432 723 1374 0 10713 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48368

[startup+6.30086 s]
/proc/loadavg: 2.41 2.14 2.04 3/183 14314
/proc/meminfo: memFree=30753144/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=48216 CPUtime=6.28
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 115110 0 0 0 601 27 0 0 25 0 1 0 132831264 49373184 9425 4089446400 4194304 9819077 140734530203728 18446744073709551615 6361843 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 12054 9425 723 1374 0 10675 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48216

[startup+12.7007 s]
/proc/loadavg: 2.35 2.13 2.04 3/183 14314
/proc/meminfo: memFree=30748856/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=47900 CPUtime=12.68
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 355411 0 0 0 1205 63 0 0 25 0 1 0 132831264 49049600 9481 4089446400 4194304 9819077 140734530203728 18446744073709551615 6519223 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 11975 9481 723 1374 0 10596 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47900

[startup+25.5004 s]
/proc/loadavg: 2.30 2.13 2.04 3/183 14315
/proc/meminfo: memFree=30731948/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=52704 CPUtime=25.49
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 752766 0 0 0 2415 134 0 0 25 0 1 0 132831264 53968896 10732 4089446400 4194304 9819077 140734530203728 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 13176 10732 728 1374 0 11797 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52704

[startup+51.1009 s]
/proc/loadavg: 2.19 2.12 2.03 3/183 14316
/proc/meminfo: memFree=30689052/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=71536 CPUtime=51.09
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 1078292 0 0 0 4876 233 0 0 25 0 1 0 132831264 73252864 16079 4089446400 4194304 9819077 140734530203728 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 17884 16079 728 1374 0 16505 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 71536

[startup+102.301 s]
/proc/loadavg: 2.08 2.10 2.03 3/183 14317
/proc/meminfo: memFree=30594272/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=117316 CPUtime=102.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 1485641 0 0 0 9806 424 0 0 25 0 1 0 132831264 120131584 27499 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 29329 27499 728 1374 0 27950 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 117316

[startup+162.301 s]
/proc/loadavg: 2.09 2.09 2.03 3/183 14321
/proc/meminfo: memFree=30476248/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=184208 CPUtime=162.29
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 1844454 0 0 0 15595 634 0 0 25 0 1 0 132831264 188628992 43599 4089446400 4194304 9819077 140734530203728 18446744073709551615 8875210 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 46052 43599 728 1374 0 44673 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 184208

[startup+222.306 s]
/proc/loadavg: 2.11 2.09 2.03 3/183 14323
/proc/meminfo: memFree=30363840/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=241764 CPUtime=222.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 2185759 0 0 0 21389 841 0 0 25 0 1 0 132831264 247566336 58341 4089446400 4194304 9819077 140734530203728 18446744073709551615 7290872 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 60441 58341 728 1374 0 59062 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 241764

[startup+282.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/183 14325
/proc/meminfo: memFree=30252936/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=299812 CPUtime=282.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 2543172 0 0 0 27177 1053 0 0 25 0 1 0 132831264 307007488 73007 4089446400 4194304 9819077 140734530203728 18446744073709551615 6584032 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 74953 73007 728 1374 0 73574 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 299812

[startup+342.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/183 14327
/proc/meminfo: memFree=30133576/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=362188 CPUtime=342.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 2811972 0 0 0 32973 1257 0 0 25 0 1 0 132831264 370880512 88888 4089446400 4194304 9819077 140734530203728 18446744073709551615 7226672 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 90547 88888 728 1374 0 89168 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 362188

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/183 14328
/proc/meminfo: memFree=30018584/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=422384 CPUtime=402.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 3093346 0 0 0 38772 1458 0 0 25 0 1 0 132831264 432521216 103836 4089446400 4194304 9819077 140734530203728 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 105596 103836 728 1374 0 104217 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 422384

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/183 14329
/proc/meminfo: memFree=29896872/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=492488 CPUtime=462.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 3351858 0 0 0 44566 1664 0 0 25 0 1 0 132831264 504307712 120451 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 123122 120451 729 1374 0 121743 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 492488

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14331
/proc/meminfo: memFree=29786716/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=551832 CPUtime=522.31
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 3580623 0 0 0 50367 1864 0 0 25 0 1 0 132831264 565075968 135400 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 137958 135400 729 1374 0 136579 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 551832

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14333
/proc/meminfo: memFree=29664500/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=614556 CPUtime=582.3
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 3852054 0 0 0 56158 2072 0 0 25 0 1 0 132831264 629305344 151212 4089446400 4194304 9819077 140734530203728 18446744073709551615 4561004 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 153639 151212 729 1374 0 152260 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 614556

[startup+642.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14335
/proc/meminfo: memFree=29556452/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=671064 CPUtime=642.31
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 4184616 0 0 0 61945 2286 0 0 25 0 1 0 132831264 687169536 165451 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 167766 165451 729 1374 0 166387 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 671064

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 14345
/proc/meminfo: memFree=28732288/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1128232 CPUtime=1062.31
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 5559002 0 0 0 102569 3662 0 0 25 0 1 0 132831264 1155309568 278691 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 282058 278691 729 1374 0 280679 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1128232

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 14347
/proc/meminfo: memFree=28612440/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1192852 CPUtime=1122.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 5739413 0 0 0 108368 3864 0 0 25 0 1 0 132831264 1221480448 294784 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 298213 294784 729 1374 0 296834 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1192852

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14349
/proc/meminfo: memFree=28497296/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1254568 CPUtime=1182.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 5933603 0 0 0 114172 4060 0 0 25 0 1 0 132831264 1284677632 310380 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 313642 310380 729 1374 0 312263 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1254568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14351
/proc/meminfo: memFree=28376840/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1321356 CPUtime=1242.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 6128621 0 0 0 119962 4270 0 0 25 0 1 0 132831264 1353068544 327165 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 330339 327165 729 1374 0 328960 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1321356

[startup+1302.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/201 14570
/proc/meminfo: memFree=29728740/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1381492 CPUtime=1302.31
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 6387800 0 0 0 125779 4452 0 0 25 0 1 0 132831264 1414647808 342475 4089446400 4194304 9819077 140734530203728 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 345373 342477 729 1374 0 343994 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1381492

[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/183 14599
/proc/meminfo: memFree=29621000/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1443764 CPUtime=1362.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 6629625 0 0 0 131591 4641 0 0 25 0 1 0 132831264 1478414336 357967 4089446400 4194304 9819077 140734530203728 18446744073709551615 6003308 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 360941 357967 729 1374 0 359562 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1443764

[startup+1422.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 14601
/proc/meminfo: memFree=29550444/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1509868 CPUtime=1422.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 6848654 0 0 0 137390 4843 0 0 25 0 1 0 132831264 1546104832 374601 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 377467 374601 729 1374 0 376088 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1509868

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/183 14603
/proc/meminfo: memFree=29484936/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1576400 CPUtime=1482.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 7041710 0 0 0 143189 5043 0 0 25 0 1 0 132831264 1614233600 391357 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 394100 391357 729 1374 0 392721 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1576400

[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 14605
/proc/meminfo: memFree=29411604/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1641492 CPUtime=1542.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 7240408 0 0 0 148987 5246 0 0 25 0 1 0 132831264 1680887808 407763 4089446400 4194304 9819077 140734530203728 18446744073709551615 6590247 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 410373 407763 729 1374 0 408994 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1641492

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14606
/proc/meminfo: memFree=29346460/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1709320 CPUtime=1602.32
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 7385524 0 0 0 154782 5450 0 0 25 0 1 0 132831264 1750343680 424846 4089446400 4194304 9819077 140734530203728 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 427330 424846 729 1374 0 425951 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1709320

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14607
/proc/meminfo: memFree=29275368/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1777576 CPUtime=1662.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 7585617 0 0 0 160584 5649 0 0 25 0 1 0 132831264 1820237824 442035 4089446400 4194304 9819077 140734530203728 18446744073709551615 6162144 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 444394 442035 729 1374 0 443015 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1777576

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14609
/proc/meminfo: memFree=29211592/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1840164 CPUtime=1722.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 7786991 0 0 0 166374 5859 0 0 25 0 1 0 132831264 1884327936 457788 4089446400 4194304 9819077 140734530203728 18446744073709551615 7815954 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 460041 457788 729 1374 0 458662 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1840164

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 14611
/proc/meminfo: memFree=29147560/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1903056 CPUtime=1782.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8021671 0 0 0 172167 6066 0 0 25 0 1 0 132831264 1948729344 473651 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 475764 473651 729 1374 0 474385 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1903056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 14611
/proc/meminfo: memFree=29128832/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1920900 CPUtime=1800.04
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8085394 0 0 0 173880 6124 0 0 25 0 1 0 132831264 1967001600 478133 4089446400 4194304 9819077 140734530203728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14313/statm: 480225 478133 729 1374 0 478846 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1920900

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

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

[startup+1800.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 14612
/proc/meminfo: memFree=29319652/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1719284 CPUtime=1800.74
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8085395 0 0 0 173950 6124 0 0 25 0 1 0 132831264 1760546816 427730 4089446400 4194304 9819077 140734530203728 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14313/statm: 429821 427474 730 1374 0 428442 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 1719284

[startup+1801.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 14612
/proc/meminfo: memFree=29319652/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=1039900 CPUtime=1801.13
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8085395 0 0 0 173987 6126 0 0 25 0 1 0 132831264 1064857600 257884 4089446400 4194304 9819077 140734530203728 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14313/statm: 259975 257884 730 1374 0 258596 0
Current children cumulated CPU time (s) 1801.13
Current children cumulated vsize (KiB) 1039900

[startup+1801.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 14612
/proc/meminfo: memFree=29319652/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=559440 CPUtime=1801.33
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8085395 0 0 0 174005 6128 0 0 25 0 1 0 132831264 572866560 137769 4089446400 4194304 9819077 140734530203728 18446744073709551615 6180580 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14313/statm: 139860 137769 730 1374 0 138481 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 559440

[startup+1801.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 14612
/proc/meminfo: memFree=29319652/32951124 swapFree=67111528/67111528
[pid=14313] ppid=14311 vsize=177460 CPUtime=1801.43
/proc/14313/stat : 14313 (pbscip.linux.x8) R 14311 14313 13138 0 -1 4202496 8085395 0 0 0 174014 6129 0 0 25 0 1 0 132831264 181719040 42592 4089446400 4194304 9819077 140734530203728 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14313/statm: 44365 42592 730 1374 0 42986 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 177460

Child status: 0
Real time (s): 1801.41
CPU time (s): 1801.45
CPU user time (s): 1740.14
CPU system time (s): 61.3077
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1920900

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

runsolver used 2.93655 second user time and 6.90195 second system time

The end

Launcher Data 

Begin job on node132 at 2010-06-30 18:29:11
IDJOB=2693082
IDBENCH=79051
IDSOLVER=1205
FILE ID=node132/2693082-1277915351
PBS_JOBID= 11197250
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693082-1277915351/watcher-2693082-1277915351 -o /tmp/evaluation-result-2693082-1277915351/solver-2693082-1277915351 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693082-1277915351.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0f5209330b13fd9909fb37660b8a3f5d
RANDOM SEED=1653205774

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30793112 kB
Buffers:        196848 kB
Cached:        1219188 kB
SwapCached:          0 kB
Active:        1138420 kB
Inactive:       872376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30793112 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6444 kB
Writeback:           0 kB
AnonPages:      594864 kB
Mapped:          16164 kB
Slab:            81916 kB
PageTables:       5960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   738944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74124 MiB
End job on node132 at 2010-06-30 18:59:13