Trace number 2700333

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 solverOPTIMUM 723.917 723.895

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
MD5SUM3100ea9ba7746ae86daacced189e255b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark0.031995
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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-2700333-1278534780.wbo>
0.00/0.01	c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.03	c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (3 rounds):
0.00/0.06	c  100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  1050 implications, 0 cliques
0.00/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06	c     850 constraints of type <indicator>
0.00/0.06	c     850 constraints of type <linear>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.03
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	o 420925
0.00/0.06	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.06	c t 0.0s|     1 |     0 |     0 |     - |6127k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |     0 |     - |6524k|   0 |   0 |1800 |1700 |1800 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |    29 |     - |6562k|   0 |   0 |1800 |1700 |1800 |  66 |  66 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.06/0.07	c   0.0s|     1 |     0 |   110 |     - |6610k|   0 |  39 |1800 |1700 |1800 | 109 | 109 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.06/0.08	c   0.1s|     1 |     0 |   164 |     - |6740k|   0 |  49 |1800 |1700 |1800 | 157 | 157 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.06/0.09	c   0.1s|     1 |     0 |   188 |     - |6775k|   0 |  56 |1800 |1700 |1800 | 178 | 178 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   217 |     - |6823k|   0 |  56 |1800 |1700 |1800 | 187 | 187 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   226 |     - |6850k|   0 |  58 |1800 |1700 |1800 | 192 | 192 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     2 |   384 |     - |6902k|   0 |  58 |1800 |1700 |1800 | 192 | 192 |   0 |  33 | 0.000000e+00 | 4.209250e+05 |    Inf 
3.49/3.54	o 9759
3.49/3.54	c * 3.3s|  4058 |  3935 |  5476 |   1.3 |  12M| 735 |   - |1800 |1726 |1800 | 238 | 784 |  26 | 680 | 0.000000e+00 | 9.759000e+03 |    Inf 
7.89/7.99	c   7.5s| 10000 |  9505 | 14862 |   1.5 |  20M| 735 |   0 |1800 |3344 |1800 | 252 |2302 |1644 | 730 | 0.000000e+00 | 9.759000e+03 |    Inf 
9.29/9.34	o 9646
9.29/9.34	c * 8.8s| 12002 | 11411 | 16624 |   1.4 |  22M| 735 |   - |1800 |3539 |1800 | 238 |2626 |1843 | 736 | 0.000000e+00 | 9.646000e+03 |    Inf 
9.59/9.64	o 9572
9.59/9.64	c * 9.0s| 12412 | 11774 | 17035 |   1.4 |  23M| 735 |   - |1800 |3598 |1800 | 245 |2692 |1909 | 736 | 0.000000e+00 | 9.572000e+03 |    Inf 
9.59/9.65	o 9505
9.59/9.65	c * 9.0s| 12413 | 11737 | 17067 |   1.4 |  23M| 735 |   - |1800 |3598 |1800 | 245 |2692 |1909 | 736 | 0.000000e+00 | 9.505000e+03 |    Inf 
11.89/12.00	o 9286
11.89/12.00	c *11.2s| 15472 | 14353 | 21870 |   1.4 |  26M| 735 |   - |1800 |4316 |1800 | 246 |3358 |2906 | 739 | 0.000000e+00 | 9.286000e+03 |    Inf 
12.10/12.18	o 9261
12.10/12.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.10/12.18	c *11.4s| 15738 | 14572 | 22001 |   1.4 |  27M| 735 |   - |1800 |4383 |1800 | 246 |3383 |2977 | 739 | 0.000000e+00 | 9.261000e+03 |    Inf 
12.19/12.21	o 9134
12.19/12.21	c *11.4s| 15787 | 14476 | 22068 |   1.4 |  26M| 735 |   - |1800 |4383 |1800 | 241 |3389 |2977 | 739 | 0.000000e+00 | 9.134000e+03 |    Inf 
12.19/12.22	o 9010
12.19/12.22	c *11.5s| 15788 | 14338 | 22098 |   1.4 |  26M| 735 |   - |1800 |4383 |1800 | 241 |3389 |2977 | 739 | 0.000000e+00 | 9.010000e+03 |    Inf 
12.19/12.24	o 8970
12.19/12.24	c *11.5s| 15823 | 14330 | 22163 |   1.4 |  26M| 735 |   - |1800 |4382 |1800 | 246 |3395 |2977 | 739 | 0.000000e+00 | 8.970000e+03 |    Inf 
14.99/15.02	o 8592
14.99/15.02	c *14.1s| 19319 | 16736 | 29222 |   1.5 |  30M| 735 |   - |1800 |4808 |1800 | 236 |4311 |4836 | 745 | 0.000000e+00 | 8.592000e+03 |    Inf 
15.39/15.44	o 8504
15.39/15.44	c *14.5s| 19873 | 17034 | 29966 |   1.5 |  30M| 735 |   - |1800 |4910 |1800 | 257 |4406 |5125 | 745 | 0.000000e+00 | 8.504000e+03 |    Inf 
15.39/15.45	o 8324
15.39/15.45	c *14.5s| 19874 | 16597 | 29971 |   1.5 |  29M| 735 |   - |1800 |4910 |1800 | 258 |4407 |5125 | 745 | 0.000000e+00 | 8.324000e+03 |    Inf 
15.49/15.55	c  14.6s| 20000 | 16707 | 30268 |   1.5 |  29M| 735 |   0 |1800 |4965 |1800 | 239 |4440 |5205 | 745 | 0.000000e+00 | 8.324000e+03 |    Inf 
15.49/15.58	o 8316
15.49/15.58	c *14.6s| 20048 | 16728 | 30305 |   1.5 |  29M| 735 |   - |1800 |4977 |1800 | 241 |4442 |5218 | 745 | 0.000000e+00 | 8.316000e+03 |    Inf 
15.49/15.59	o 8303
15.49/15.59	c *14.6s| 20063 | 16706 | 30371 |   1.5 |  29M| 735 |   - |1800 |4977 |1800 | 243 |4444 |5218 | 745 | 0.000000e+00 | 8.303000e+03 |    Inf 
15.49/15.59	o 8277
15.49/15.59	c *14.6s| 20064 | 16651 | 30374 |   1.5 |  29M| 735 |   - |1800 |4977 |1800 | 243 |4444 |5218 | 745 | 0.000000e+00 | 8.277000e+03 |    Inf 
15.59/15.63	o 7984
15.59/15.63	c *14.7s| 20105 | 16030 | 30505 |   1.5 |  28M| 735 |   - |1800 |4989 |1800 | 239 |4451 |5238 | 745 | 0.000000e+00 | 7.984000e+03 |    Inf 
18.19/18.27	o 7793
18.19/18.27	c *17.1s| 23456 | 18346 | 36014 |   1.5 |  31M| 735 |   - |1800 |5849 |1800 | 244 |5313 |7614 | 750 | 0.000000e+00 | 7.793000e+03 |    Inf 
18.29/18.33	o 7694
18.29/18.33	c *17.2s| 23518 | 18106 | 36143 |   1.5 |  31M| 735 |   - |1800 |5869 |1800 | 253 |5325 |7654 | 750 | 0.000000e+00 | 7.694000e+03 |    Inf 
18.29/18.36	o 7345
18.29/18.36	c *17.2s| 23574 | 17193 | 36190 |   1.5 |  30M| 735 |   - |1800 |5884 |1800 | 247 |5326 |7674 | 750 | 0.000000e+00 | 7.345000e+03 |    Inf 
18.29/18.37	o 7121
18.29/18.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.29/18.37	c *17.2s| 23575 | 16569 | 36194 |   1.5 |  29M| 735 |   - |1800 |5884 |1800 | 247 |5326 |7674 | 750 | 0.000000e+00 | 7.121000e+03 |    Inf 
18.39/18.40	o 7065
18.39/18.40	c *17.3s| 23626 | 16454 | 36261 |   1.5 |  29M| 735 |   - |1800 |5891 |1800 | 253 |5330 |7684 | 750 | 0.000000e+00 | 7.065000e+03 |    Inf 
18.39/18.41	o 7043
18.39/18.41	c *17.3s| 23630 | 16398 | 36272 |   1.5 |  29M| 735 |   - |1800 |5891 |1800 | 253 |5330 |7684 | 750 | 0.000000e+00 | 7.043000e+03 |    Inf 
18.39/18.41	o 6979
18.39/18.41	c *17.3s| 23631 | 16255 | 36272 |   1.5 |  29M| 735 |   - |1800 |5891 |1800 | 253 |5330 |7684 | 750 | 0.000000e+00 | 6.979000e+03 |    Inf 
18.39/18.47	o 6854
18.39/18.47	c *17.3s| 23719 | 15969 | 36357 |   1.5 |  28M| 735 |   - |1800 |5931 |1800 | 245 |5330 |7734 | 750 | 0.000000e+00 | 6.854000e+03 |    Inf 
18.39/18.48	o 6468
18.39/18.48	c *17.3s| 23733 | 14985 | 36365 |   1.5 |  27M| 735 |   - |1800 |5930 |1800 | 245 |5330 |7734 | 750 | 0.000000e+00 | 6.468000e+03 |    Inf 
18.39/18.48	o 6281
18.39/18.48	c *17.3s| 23734 | 14541 | 36366 |   1.5 |  27M| 735 |   - |1800 |5930 |1800 | 245 |5330 |7734 | 750 | 0.000000e+00 | 6.281000e+03 |    Inf 
23.39/23.45	c  22.0s| 30000 | 19928 | 47589 |   1.6 |  34M| 735 |   0 |1800 |4838 |1800 | 207 |7054 |  10k| 760 | 0.000000e+00 | 6.281000e+03 |    Inf 
31.29/31.33	c  29.5s| 40000 | 28482 | 65595 |   1.6 |  46M| 735 |   0 |1800 |5479 |1800 | 206 |  10k|  15k| 775 | 0.000000e+00 | 6.281000e+03 |    Inf 
35.29/35.38	o 6220
35.29/35.38	c *33.3s| 45229 | 32768 | 73129 |   1.6 |  53M| 735 |   - |1800 |5865 |1800 | 251 |  11k|  18k| 778 | 0.000000e+00 | 6.220000e+03 |    Inf 
35.29/35.39	o 6094
35.29/35.39	c *33.3s| 45230 | 32229 | 73130 |   1.6 |  52M| 735 |   - |1800 |5865 |1800 | 251 |  11k|  18k| 778 | 0.000000e+00 | 6.094000e+03 |    Inf 
38.99/39.06	c  36.8s| 50000 | 36258 | 79006 |   1.6 |  59M| 735 |   0 |1800 |6019 |1800 | 213 |  12k|  21k| 778 | 0.000000e+00 | 6.094000e+03 |    Inf 
41.59/41.67	o 6043
41.59/41.67	c *39.2s| 53375 | 38888 | 83641 |   1.6 |  63M| 735 |   - |1800 |5972 |1800 | 210 |  13k|  23k| 778 | 0.000000e+00 | 6.043000e+03 |    Inf 
44.30/44.37	o 5517
44.30/44.37	c *41.7s| 56811 | 38202 | 87782 |   1.5 |  62M| 735 |   - |1800 |6104 |1800 | 212 |  14k|  24k| 778 | 0.000000e+00 | 5.517000e+03 |    Inf 
44.30/44.37	o 5143
44.30/44.37	c *41.7s| 56812 | 34944 | 87812 |   1.5 |  53M| 735 |   - |1800 |6102 |1800 | 212 |  14k|  24k| 778 | 0.000000e+00 | 5.143000e+03 |    Inf 
44.69/44.72	o 5007
44.69/44.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
44.69/44.72	c *42.0s| 57224 | 34150 | 88501 |   1.5 |  51M| 735 |   - |1800 |6251 |1800 | 224 |  14k|  25k| 778 | 0.000000e+00 | 5.007000e+03 |    Inf 
44.69/44.73	o 4853
44.69/44.73	c *42.1s| 57225 | 32959 | 88503 |   1.5 |  48M| 735 |   - |1800 |6250 |1800 | 224 |  14k|  25k| 778 | 0.000000e+00 | 4.853000e+03 |    Inf 
46.89/46.98	c  44.2s| 60000 | 35261 | 92746 |   1.5 |  52M| 735 |   0 |1800 |5736 |1800 | 214 |  14k|  26k| 778 | 0.000000e+00 | 4.853000e+03 |    Inf 
55.49/55.52	c  52.2s| 70000 | 43633 |116582 |   1.7 |  65M| 735 |   0 |1800 |4294 |1800 | 210 |  18k|  31k| 853 | 0.000000e+00 | 4.853000e+03 |    Inf 
62.29/62.38	o 4811
62.29/62.38	c *58.7s| 78143 | 50038 |133312 |   1.7 |  76M| 735 |   - |1800 |4372 |1800 | 225 |  21k|  35k| 928 | 0.000000e+00 | 4.811000e+03 |    Inf 
62.29/62.39	o 4686
62.29/62.39	c *58.7s| 78147 | 48814 |133318 |   1.7 |  74M| 735 |   - |1800 |4372 |1800 | 225 |  21k|  35k| 928 | 0.000000e+00 | 4.686000e+03 |    Inf 
63.89/63.99	c  60.2s| 80000 | 50301 |137103 |   1.7 |  77M| 735 |   0 |1800 |4892 |1800 | 207 |  21k|  36k| 944 | 0.000000e+00 | 4.686000e+03 |    Inf 
72.30/72.38	c  68.0s| 90000 | 58479 |154791 |   1.7 |  91M| 735 |   0 |1800 |5361 |1800 | 217 |  24k|  42k|1019 | 0.000000e+00 | 4.686000e+03 |    Inf 
80.90/80.93	c  76.1s|100000 | 66830 |176627 |   1.8 | 105M| 735 |   0 |1800 |5231 |1800 | 236 |  28k|  46k|1110 | 0.000000e+00 | 4.686000e+03 |    Inf 
89.10/89.11	c  83.8s|110000 | 75162 |195267 |   1.8 | 118M| 735 |   0 |1800 |5853 |1800 | 201 |  31k|  52k|1196 | 0.000000e+00 | 4.686000e+03 |    Inf 
97.50/97.58	c  91.8s|120000 | 83567 |217571 |   1.8 | 132M| 735 |   - |1800 |5898 |   0 |   0 |  35k|  57k|1303 | 0.000000e+00 | 4.686000e+03 |    Inf 
106.09/106.16	c  99.8s|130000 | 91745 |237641 |   1.8 | 146M| 735 |   0 |1800 |6005 |1800 | 238 |  38k|  62k|1402 | 0.000000e+00 | 4.686000e+03 |    Inf 
113.69/113.75	o 4656
113.69/113.75	c * 107s|138632 | 98353 |258043 |   1.9 | 157M| 735 |   - |1800 |6188 |1800 | 220 |  42k|  67k|1479 | 0.000000e+00 | 4.656000e+03 |    Inf 
114.90/114.94	c   108s|140000 | 99476 |261054 |   1.9 | 159M| 735 |   0 |1800 |5952 |1800 | 235 |  42k|  68k|1479 | 0.000000e+00 | 4.656000e+03 |    Inf 
123.40/123.45	c   116s|150000 |107740 |279652 |   1.9 | 173M| 735 |   0 |1800 |5966 |1800 | 231 |  46k|  73k|1577 | 0.000000e+00 | 4.656000e+03 |    Inf 
128.30/128.35	o 4643
128.30/128.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.30/128.35	c * 121s|155554 |112105 |292060 |   1.9 | 180M| 735 |   - |1800 |6105 |1800 | 233 |  48k|  76k|1620 | 0.000000e+00 | 4.643000e+03 |    Inf 
132.19/132.22	c   124s|160000 |115753 |300371 |   1.9 | 187M| 735 |   0 |1800 |5983 |1800 | 243 |  49k|  78k|1658 | 0.000000e+00 | 4.643000e+03 |    Inf 
140.60/140.67	c   132s|170000 |124154 |321170 |   1.9 | 200M| 735 |   0 |1800 |5321 |1800 | 239 |  53k|  82k|1749 | 0.000000e+00 | 4.643000e+03 |    Inf 
148.70/148.72	c   140s|180000 |132342 |336575 |   1.9 | 214M| 735 |   0 |1800 |4993 |1800 | 204 |  56k|  87k|1797 | 0.000000e+00 | 4.643000e+03 |    Inf 
158.09/158.10	c   149s|190000 |140748 |364240 |   1.9 | 228M| 735 |   0 |1800 |5588 |1800 | 211 |  61k|  92k|1912 | 0.000000e+00 | 4.643000e+03 |    Inf 
166.80/166.88	c   157s|200000 |149041 |384772 |   1.9 | 242M| 735 |   0 |1800 |5310 |1800 | 244 |  65k|  97k|2013 | 0.000000e+00 | 4.643000e+03 |    Inf 
175.09/175.15	o 4627
175.09/175.15	c * 165s|209801 |156834 |403661 |   1.9 | 256M| 735 |   - |1800 |5853 |1800 | 254 |  68k| 101k|2079 | 0.000000e+00 | 4.627000e+03 |    Inf 
175.30/175.31	c   165s|210000 |157011 |404018 |   1.9 | 256M| 735 |   0 |1800 |5954 |1800 | 248 |  68k| 101k|2079 | 0.000000e+00 | 4.627000e+03 |    Inf 
184.00/184.04	c   173s|220000 |165161 |424190 |   1.9 | 271M| 735 |   0 |1800 |5653 |1800 | 228 |  71k| 107k|2153 | 0.000000e+00 | 4.627000e+03 |    Inf 
192.90/192.95	c   182s|230000 |173428 |447923 |   1.9 | 285M| 735 |   0 |1800 |5685 |1800 | 219 |  75k| 112k|2227 | 0.000000e+00 | 4.627000e+03 |    Inf 
201.40/201.47	c   190s|240000 |181642 |467046 |   1.9 | 299M| 735 |   0 |1800 |5753 |1800 | 231 |  79k| 117k|2287 | 0.000000e+00 | 4.627000e+03 |    Inf 
210.30/210.36	c   198s|250000 |189886 |489954 |   2.0 | 313M| 735 |   0 |1800 |5726 |1800 | 233 |  83k| 122k|2380 | 0.000000e+00 | 4.627000e+03 |    Inf 
219.69/219.77	c   207s|260000 |198048 |518710 |   2.0 | 328M| 735 |   0 |1800 |5690 |1800 | 216 |  88k| 127k|2476 | 0.000000e+00 | 4.627000e+03 |    Inf 
228.30/228.31	c   215s|270000 |206510 |539109 |   2.0 | 342M| 735 |   0 |1800 |5068 |1800 | 210 |  91k| 132k|2542 | 0.000000e+00 | 4.627000e+03 |    Inf 
234.10/234.13	o 4604
234.10/234.13	c * 220s|276482 |211176 |554834 |   2.0 | 351M| 735 |   - |1800 |6158 |1800 | 241 |  94k| 135k|2578 | 0.000000e+00 | 4.604000e+03 |    Inf 
234.10/234.14	o 4584
234.10/234.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
234.10/234.14	c * 220s|276483 |210496 |554835 |   2.0 | 350M| 735 |   - |1800 |6158 |1800 | 241 |  94k| 135k|2578 | 0.000000e+00 | 4.584000e+03 |    Inf 
237.10/237.15	c   223s|280000 |213406 |560655 |   2.0 | 355M| 735 |   0 |1800 |5841 |1800 | 204 |  95k| 137k|2589 | 0.000000e+00 | 4.584000e+03 |    Inf 
245.70/245.79	c   231s|290000 |221681 |582018 |   2.0 | 369M| 735 |   0 |1800 |5789 |1800 | 229 |  99k| 142k|2652 | 0.000000e+00 | 4.584000e+03 |    Inf 
254.30/254.32	c   239s|300000 |229738 |602131 |   2.0 | 383M| 735 |   0 |1800 |5434 |1800 | 205 | 102k| 147k|2719 | 0.000000e+00 | 4.584000e+03 |    Inf 
263.00/263.02	c   248s|310000 |237812 |622080 |   2.0 | 398M| 735 |   0 |1800 |5582 |1800 | 217 | 105k| 152k|2773 | 0.000000e+00 | 4.584000e+03 |    Inf 
271.40/271.40	c   255s|320000 |245980 |640541 |   2.0 | 413M| 735 |   0 |1800 |5945 |1800 | 222 | 108k| 157k|2846 | 0.000000e+00 | 4.584000e+03 |    Inf 
277.80/277.85	o 4571
277.80/277.85	c * 262s|327537 |251565 |653954 |   2.0 | 422M| 735 |   - |1800 |5776 |1800 | 237 | 111k| 161k|2883 | 0.000000e+00 | 4.571000e+03 |    Inf 
277.80/277.86	o 4569
277.80/277.86	c * 262s|327545 |251491 |653960 |   2.0 | 422M| 735 |   - |1800 |5776 |1800 | 237 | 111k| 161k|2883 | 0.000000e+00 | 4.569000e+03 |    Inf 
277.80/277.89	o 4285
277.80/277.89	c * 262s|327549 |238142 |653966 |   2.0 | 404M| 735 |   - |1800 |5776 |1800 | 237 | 111k| 161k|2883 | 0.000000e+00 | 4.285000e+03 |    Inf 
279.00/279.08	o 4251
279.00/279.08	c * 263s|328915 |237203 |656621 |   2.0 | 402M| 735 |   - |1800 |5751 |1800 | 211 | 111k| 162k|2888 | 0.000000e+00 | 4.251000e+03 |    Inf 
280.00/280.04	c   264s|330000 |238064 |658796 |   2.0 | 404M| 735 |   0 |1800 |5847 |1800 | 222 | 112k| 162k|2901 | 0.000000e+00 | 4.251000e+03 |    Inf 
288.30/288.35	c   271s|340000 |246095 |674843 |   2.0 | 418M| 735 |   0 |1800 |5198 |1800 | 211 | 114k| 167k|2941 | 0.000000e+00 | 4.251000e+03 |    Inf 
297.60/297.61	c   280s|350000 |254365 |708535 |   2.0 | 432M| 735 |   0 |1800 |5184 |1800 | 210 | 119k| 171k|3046 | 0.000000e+00 | 4.251000e+03 |    Inf 
300.60/300.62	o 4236
300.60/300.62	c * 283s|353584 |256447 |715263 |   2.0 | 436M| 735 |   - |1800 |5460 |1800 | 249 | 120k| 173k|3052 | 0.000000e+00 | 4.236000e+03 |    Inf 
300.60/300.63	o 4152
300.60/300.63	c * 283s|353585 |251053 |715266 |   2.0 | 426M| 735 |   - |1800 |5460 |1800 | 249 | 120k| 173k|3052 | 0.000000e+00 | 4.152000e+03 |    Inf 
306.20/306.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
306.20/306.27	c   288s|360000 |256264 |728003 |   2.0 | 435M| 735 |   0 |1800 |5473 |1800 | 207 | 122k| 176k|3086 | 0.000000e+00 | 4.152000e+03 |    Inf 
307.50/307.55	o 4041
307.50/307.55	c * 290s|361462 |249926 |730785 |   2.0 | 422M| 735 |   - |1800 |5642 |1800 | 222 | 123k| 177k|3087 | 0.000000e+00 | 4.041000e+03 |    Inf 
307.50/307.56	o 3972
307.50/307.56	c * 290s|361463 |245098 |730787 |   2.0 | 409M| 735 |   - |1800 |5642 |1800 | 222 | 123k| 177k|3087 | 0.000000e+00 | 3.972000e+03 |    Inf 
315.00/315.01	c   297s|370000 |251914 |746292 |   2.0 | 421M| 735 |   0 |1800 |5912 |1800 | 224 | 125k| 181k|3126 | 0.000000e+00 | 3.972000e+03 |    Inf 
323.70/323.77	c   305s|380000 |260049 |767195 |   2.0 | 435M| 735 |   0 |1800 |5139 |1800 | 241 | 129k| 186k|3167 | 0.000000e+00 | 3.972000e+03 |    Inf 
326.00/326.01	o 3950
326.00/326.01	c * 307s|382483 |260307 |772522 |   2.0 | 435M| 735 |   - |1800 |5377 |1800 | 229 | 130k| 187k|3190 | 0.000000e+00 | 3.950000e+03 |    Inf 
326.00/326.02	o 3927
326.00/326.02	c * 307s|382484 |258457 |772525 |   2.0 | 429M| 735 |   - |1800 |5377 |1800 | 229 | 130k| 187k|3190 | 0.000000e+00 | 3.927000e+03 |    Inf 
332.80/332.86	c   313s|390000 |264670 |793775 |   2.0 | 440M| 735 |   0 |1800 |4597 |1800 | 223 | 133k| 190k|3248 | 0.000000e+00 | 3.927000e+03 |    Inf 
333.90/333.97	o 3855
333.90/333.97	c * 314s|391150 |259735 |798625 |   2.0 | 422M| 735 |   - |1800 |4741 |1800 | 206 | 134k| 190k|3266 | 0.000000e+00 | 3.855000e+03 |    Inf 
334.20/334.22	o 3777
334.20/334.22	c * 315s|391382 |253148 |799690 |   2.0 | 400M| 735 |   - |1800 |4769 |1800 | 228 | 134k| 190k|3271 | 0.000000e+00 | 3.777000e+03 |    Inf 
334.20/334.25	o 3693
334.20/334.25	c * 315s|391383 |245341 |799693 |   2.0 | 374M| 735 |   - |1800 |4769 |1800 | 228 | 134k| 190k|3271 | 0.000000e+00 | 3.693000e+03 |    Inf 
338.50/338.57	o 3447
338.50/338.57	c * 319s|395910 |224747 |814605 |   2.1 | 311M| 735 |   - |1800 |5592 |1800 | 240 | 136k| 192k|3285 | 0.000000e+00 | 3.447000e+03 |    Inf 
342.60/342.66	c   323s|400000 |227984 |828470 |   2.1 | 317M| 735 |   - |1800 |4785 |   0 |   0 | 138k| 194k|3317 | 0.000000e+00 | 3.447000e+03 |    Inf 
352.11/352.15	c   332s|410000 |235855 |858924 |   2.1 | 333M| 735 |   0 |1800 |5228 |1800 | 222 | 142k| 199k|3396 | 0.000000e+00 | 3.447000e+03 |    Inf 
357.20/357.24	o 3439
357.20/357.24	c * 336s|415273 |239380 |877289 |   2.1 | 339M| 735 |   - |1800 |5532 |1800 | 226 | 145k| 202k|3440 | 0.000000e+00 | 3.439000e+03 |    Inf 
362.40/362.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
362.40/362.41	c   341s|420000 |242990 |898922 |   2.1 | 347M| 735 |   - |1800 |5611 |   0 |   0 | 148k| 204k|3483 | 0.000000e+00 | 3.439000e+03 |    Inf 
372.10/372.13	c   350s|430000 |250711 |930738 |   2.2 | 363M| 735 |   0 |1800 |5756 |1800 | 223 | 153k| 210k|3536 | 0.000000e+00 | 3.439000e+03 |    Inf 
377.60/377.66	o 3404
377.60/377.66	c * 356s|435783 |251767 |946361 |   2.2 | 364M| 735 |   - |1800 |5181 |1800 | 253 | 155k| 212k|3593 | 0.000000e+00 | 3.404000e+03 |    Inf 
381.81/381.80	c   360s|440000 |255003 |957527 |   2.2 | 370M| 735 |   0 |1800 |5364 |1800 | 214 | 157k| 215k|3603 | 0.000000e+00 | 3.404000e+03 |    Inf 
383.91/383.97	o 3386
383.91/383.97	c * 362s|442221 |254988 |963457 |   2.2 | 370M| 735 |   - |1800 |5348 |1800 | 237 | 158k| 216k|3627 | 0.000000e+00 | 3.386000e+03 |    Inf 
391.70/391.71	c   369s|450000 |260700 |989461 |   2.2 | 382M| 735 |   0 |1800 |4858 |1800 | 201 | 162k| 220k|3696 | 0.000000e+00 | 3.386000e+03 |    Inf 
401.20/401.29	c   378s|460000 |268608 |  1019k|   2.2 | 397M| 735 |   0 |1800 |5556 |1800 | 244 | 167k| 225k|3765 | 0.000000e+00 | 3.386000e+03 |    Inf 
410.51/410.53	c   387s|470000 |276488 |  1045k|   2.2 | 412M| 735 |   0 |1800 |5000 |1800 | 219 | 171k| 230k|3809 | 0.000000e+00 | 3.386000e+03 |    Inf 
419.61/419.61	c   395s|480000 |284305 |  1068k|   2.2 | 427M| 735 |   0 |1800 |5343 |1800 | 240 | 175k| 235k|3843 | 0.000000e+00 | 3.386000e+03 |    Inf 
425.61/425.62	o 3320
425.61/425.62	c * 401s|485975 |282251 |  1087k|   2.2 | 422M| 735 |   - |1800 |6021 |1800 | 228 | 178k| 239k|3876 | 0.000000e+00 | 3.320000e+03 |    Inf 
429.51/429.54	c   405s|490000 |285260 |  1098k|   2.2 | 428M| 735 |   0 |1800 |5572 |1800 | 253 | 180k| 241k|3903 | 0.000000e+00 | 3.320000e+03 |    Inf 
432.60/432.60	o 3283
432.60/432.60	c * 408s|493083 |283978 |  1107k|   2.2 | 425M| 735 |   - |1800 |5863 |1800 | 232 | 182k| 243k|3922 | 0.000000e+00 | 3.283000e+03 |    Inf 
432.60/432.63	o 3209
432.60/432.63	c * 408s|493086 |276193 |  1107k|   2.2 | 409M| 735 |   - |1800 |5863 |1800 | 232 | 182k| 243k|3922 | 0.000000e+00 | 3.209000e+03 |    Inf 
432.60/432.67	o 3072
432.60/432.67	c * 408s|493107 |261899 |  1107k|   2.2 | 382M| 735 |   - |1800 |5863 |1800 | 232 | 182k| 243k|3922 | 0.000000e+00 | 3.072000e+03 |    Inf 
432.71/432.71	o 2946
432.71/432.71	c * 408s|493108 |248768 |  1107k|   2.2 | 359M| 735 |   - |1800 |5863 |1800 | 232 | 182k| 243k|3922 | 0.000000e+00 | 2.946000e+03 |    Inf 
439.60/439.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
439.60/439.65	c   414s|500000 |253866 |  1128k|   2.3 | 369M| 735 |   0 |1800 |5369 |1800 | 227 | 185k| 247k|3967 | 0.000000e+00 | 2.946000e+03 |    Inf 
449.60/449.65	c   424s|510000 |261311 |  1159k|   2.3 | 384M| 735 |   0 |1800 |5194 |1800 | 215 | 190k| 253k|4020 | 0.000000e+00 | 2.946000e+03 |    Inf 
458.51/458.50	o 2893
458.51/458.50	c * 432s|518758 |262279 |  1183k|   2.3 | 388M| 735 |   - |1800 |4911 |1800 | 221 | 194k| 257k|4083 | 0.000000e+00 | 2.893000e+03 |    Inf 
459.60/459.68	c   433s|520000 |263219 |  1186k|   2.3 | 390M| 735 |   0 |1800 |4913 |1800 | 218 | 194k| 258k|4086 | 0.000000e+00 | 2.893000e+03 |    Inf 
469.30/469.36	c   442s|530000 |270511 |  1210k|   2.3 | 407M| 735 |   0 |1800 |4977 |1800 | 219 | 198k| 264k|4125 | 0.000000e+00 | 2.893000e+03 |    Inf 
479.61/479.64	c   452s|540000 |278010 |  1246k|   2.3 | 423M| 735 |   0 |1800 |5405 |1800 | 211 | 203k| 269k|4180 | 0.000000e+00 | 2.893000e+03 |    Inf 
486.80/486.82	o 2854
486.80/486.82	c * 459s|547174 |279055 |  1266k|   2.3 | 427M| 735 |   - |1800 |5566 |1800 | 223 | 207k| 273k|4221 | 0.000000e+00 | 2.854000e+03 |    Inf 
489.90/489.97	c   462s|550000 |281178 |  1275k|   2.3 | 432M| 735 |   0 |1800 |6581 |1800 | 255 | 209k| 275k|4241 | 0.000000e+00 | 2.854000e+03 |    Inf 
492.41/492.43	o 2839
492.41/492.43	c * 464s|552514 |281544 |  1282k|   2.3 | 432M| 735 |   - |1800 |5766 |1800 | 220 | 210k| 276k|4249 | 0.000000e+00 | 2.839000e+03 |    Inf 
492.41/492.45	o 2769
492.41/492.45	c * 464s|552521 |273882 |  1282k|   2.3 | 418M| 735 |   - |1800 |5766 |1800 | 220 | 210k| 276k|4249 | 0.000000e+00 | 2.769000e+03 |    Inf 
492.41/492.47	o 2695
492.41/492.47	c * 464s|552522 |265551 |  1282k|   2.3 | 402M| 735 |   - |1800 |5766 |1800 | 220 | 210k| 276k|4249 | 0.000000e+00 | 2.695000e+03 |    Inf 
495.31/495.36	o 2676
495.31/495.36	c * 467s|555164 |265258 |  1290k|   2.3 | 402M| 735 |   - |1800 |6033 |1800 | 241 | 211k| 278k|4267 | 0.000000e+00 | 2.676000e+03 |    Inf 
500.21/500.24	c   471s|560000 |268815 |  1304k|   2.3 | 410M| 735 |   0 |1800 |5951 |1800 | 236 | 213k| 281k|4290 | 0.000000e+00 | 2.676000e+03 |    Inf 
510.60/510.69	c   481s|570000 |275680 |  1334k|   2.3 | 426M| 735 |   0 |1800 |5475 |1800 | 215 | 219k| 287k|4342 | 0.000000e+00 | 2.676000e+03 |    Inf 
511.90/511.91	o 2631
511.90/511.91	c * 482s|571232 |271314 |  1337k|   2.3 | 417M| 735 |   - |1800 |5525 |1800 | 213 | 219k| 288k|4351 | 0.000000e+00 | 2.631000e+03 |    Inf 
511.90/511.95	o 2526
511.90/511.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
511.90/511.95	c * 482s|571233 |258474 |  1337k|   2.3 | 390M| 735 |   - |1800 |5525 |1800 | 213 | 219k| 288k|4351 | 0.000000e+00 | 2.526000e+03 |    Inf 
519.31/519.32	o 2496
519.31/519.32	c * 489s|578270 |259745 |  1360k|   2.4 | 394M| 735 |   - |1800 |5514 |1800 | 230 | 223k| 292k|4389 | 0.000000e+00 | 2.496000e+03 |    Inf 
521.01/521.07	c   491s|580000 |260997 |  1365k|   2.4 | 397M| 735 |   0 |1800 |5705 |1800 | 227 | 223k| 293k|4403 | 0.000000e+00 | 2.496000e+03 |    Inf 
531.41/531.43	c   501s|590000 |268159 |  1398k|   2.4 | 413M| 735 |   0 |1800 |5242 |1800 | 221 | 229k| 298k|4471 | 0.000000e+00 | 2.496000e+03 |    Inf 
533.81/533.82	o 2383
533.81/533.82	c * 503s|592296 |255436 |  1405k|   2.4 | 389M| 735 |   - |1800 |5246 |1800 | 218 | 230k| 299k|4474 | 0.000000e+00 | 2.383000e+03 |    Inf 
542.11/542.19	c   511s|600000 |260807 |  1433k|   2.4 | 403M| 735 |   0 |1800 |4995 |1800 | 241 | 235k| 303k|4512 | 0.000000e+00 | 2.383000e+03 |    Inf 
546.61/546.66	o 2340
546.61/546.66	c * 515s|603989 |257879 |  1449k|   2.4 | 399M| 735 |   - |1800 |5432 |1800 | 215 | 237k| 306k|4556 | 0.000000e+00 | 2.340000e+03 |    Inf 
546.61/546.68	o 2305
546.61/546.68	c * 515s|603990 |253259 |  1449k|   2.4 | 391M| 735 |   - |1800 |5432 |1800 | 215 | 237k| 306k|4556 | 0.000000e+00 | 2.305000e+03 |    Inf 
553.21/553.30	c   521s|610000 |257186 |  1470k|   2.4 | 402M| 735 |   0 |1800 |5223 |1800 | 216 | 241k| 309k|4578 | 0.000000e+00 | 2.305000e+03 |    Inf 
554.91/554.96	o 2144
554.91/554.96	c * 523s|611452 |237597 |  1477k|   2.4 | 367M| 735 |   - |1800 |5312 |1800 | 226 | 241k| 310k|4589 | 0.000000e+00 | 2.144000e+03 |    Inf 
564.51/564.57	c   532s|620000 |243472 |  1512k|   2.4 | 382M| 735 |   0 |1800 |5620 |1800 | 205 | 247k| 316k|4637 | 0.000000e+00 | 2.144000e+03 |    Inf 
575.91/575.98	c   543s|630000 |250027 |  1552k|   2.5 | 400M| 735 |   0 |1800 |5140 |1800 | 203 | 254k| 322k|4716 | 0.000000e+00 | 2.144000e+03 |    Inf 
587.01/587.06	c   553s|640000 |256628 |  1591k|   2.5 | 418M| 735 |   0 |1800 |4713 |1800 | 210 | 259k| 328k|4771 | 0.000000e+00 | 2.144000e+03 |    Inf 
596.70/596.75	o 2067
596.70/596.75	c * 562s|649065 |252355 |  1621k|   2.5 | 415M| 735 |   - |1800 |5543 |1800 | 249 | 265k| 333k|4820 | 0.000000e+00 | 2.067000e+03 |    Inf 
597.91/597.92	c   564s|650000 |252917 |  1626k|   2.5 | 417M| 735 |   0 |1800 |5389 |1800 | 208 | 265k| 334k|4838 | 0.000000e+00 | 2.067000e+03 |    Inf 
603.01/603.05	o 2052
603.01/603.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
603.01/603.05	c * 568s|654308 |253697 |  1645k|   2.5 | 422M| 735 |   - |1800 |5249 |1800 | 220 | 268k| 336k|4860 | 0.000000e+00 | 2.052000e+03 |    Inf 
603.11/603.14	o 1912
603.11/603.14	c * 568s|654339 |233957 |  1646k|   2.5 | 385M| 735 |   - |1800 |5253 |1800 | 232 | 268k| 336k|4860 | 0.000000e+00 | 1.912000e+03 |    Inf 
603.21/603.22	o 1725
603.21/603.22	c * 569s|654340 |208043 |  1646k|   2.5 | 335M| 735 |   - |1800 |5253 |1800 | 232 | 268k| 336k|4860 | 0.000000e+00 | 1.725000e+03 |    Inf 
610.61/610.66	c   576s|660000 |211281 |  1681k|   2.5 | 347M| 735 |   0 |1800 |5019 |1800 | 216 | 274k| 340k|4927 | 0.000000e+00 | 1.725000e+03 |    Inf 
623.31/623.30	c   588s|670000 |217440 |  1742k|   2.6 | 371M| 735 |   0 |1800 |5631 |1800 | 238 | 282k| 347k|5020 | 0.000000e+00 | 1.725000e+03 |    Inf 
632.42/632.45	o 1651
632.42/632.45	c * 596s|677387 |211474 |  1784k|   2.6 | 365M| 735 |   - |1800 |5282 |1800 | 266 | 288k| 351k|5081 | 0.000000e+00 | 1.651000e+03 |    Inf 
635.61/635.67	c   599s|680000 |213106 |  1797k|   2.6 | 370M| 735 |   0 |1800 |5103 |1800 | 222 | 290k| 353k|5097 | 0.000000e+00 | 1.651000e+03 |    Inf 
648.71/648.77	c   612s|690000 |218637 |  1859k|   2.7 | 391M| 735 |   0 |1800 |4746 |1800 | 211 | 298k| 359k|5179 | 0.000000e+00 | 1.651000e+03 |    Inf 
661.32/661.39	c   624s|700000 |224319 |  1912k|   2.7 | 413M| 735 |   0 |1800 |4667 |1800 | 214 | 307k| 366k|5254 | 0.000000e+00 | 1.651000e+03 |    Inf 
665.52/665.53	o 1625
665.52/665.53	c * 627s|703425 |222167 |  1930k|   2.7 | 412M| 735 |   - |1800 |4765 |1800 | 258 | 309k| 368k|5271 | 0.000000e+00 | 1.625000e+03 |    Inf 
674.32/674.35	c   636s|710000 |225784 |  1969k|   2.8 | 427M| 735 |   0 |1800 |4733 |1800 | 230 | 315k| 372k|5335 | 0.000000e+00 | 1.625000e+03 |    Inf 
674.71/674.73	o 1557
674.71/674.73	c * 636s|710245 |216061 |  1970k|   2.8 | 408M| 735 |   - |1800 |4829 |1800 | 223 | 316k| 373k|5337 | 0.000000e+00 | 1.557000e+03 |    Inf 
674.71/674.79	o 1452
674.71/674.79	c * 636s|710247 |199461 |  1970k|   2.8 | 377M| 735 |   - |1800 |4828 |1800 | 223 | 316k| 373k|5337 | 0.000000e+00 | 1.452000e+03 |    Inf 
674.81/674.87	o 1245
674.81/674.87	c * 636s|710248 |167719 |  1970k|   2.8 | 315M| 735 |   - |1800 |4828 |1800 | 223 | 316k| 373k|5337 | 0.000000e+00 | 1.245000e+03 |    Inf 
674.92/674.95	o 1235
674.92/674.95	c * 636s|710276 |166112 |  1971k|   2.8 | 312M| 735 |   - |1800 |4833 |1800 | 243 | 316k| 373k|5338 | 0.000000e+00 | 1.235000e+03 |    Inf 
682.41/682.43	o 1200
682.41/682.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
682.41/682.43	c * 643s|714952 |162461 |  2009k|   2.8 | 314M| 735 |   - |1800 |4332 |1800 | 228 | 321k| 376k|5394 | 0.000000e+00 | 1.200000e+03 |    Inf 
682.41/682.48	o 1124
682.41/682.48	c * 643s|714961 |150829 |  2009k|   2.8 | 292M| 735 |   - |1800 |4332 |1800 | 228 | 321k| 376k|5394 | 0.000000e+00 | 1.124000e+03 |    Inf 
682.51/682.51	o 1063
682.51/682.51	c * 643s|714969 |141479 |  2009k|   2.8 | 271M| 735 |   - |1800 |4332 |1800 | 228 | 321k| 376k|5394 | 0.000000e+00 | 1.063000e+03 |    Inf 
682.51/682.58	o 937
682.51/682.58	c * 643s|714970 |120929 |  2009k|   2.8 | 228M| 735 |   - |1800 |4332 |1800 | 228 | 321k| 376k|5394 | 0.000000e+00 | 9.370000e+02 |    Inf 
685.52/685.55	o 863
685.52/685.55	c * 646s|716463 |111309 |  2028k|   2.8 | 213M| 735 |   - |1800 |3217 |1800 | 262 | 324k| 378k|5411 | 0.000000e+00 | 8.630000e+02 |    Inf 
685.52/685.57	o 830
685.52/685.57	c * 646s|716464 |105747 |  2028k|   2.8 | 202M| 735 |   - |1800 |3217 |1800 | 262 | 324k| 378k|5411 | 0.000000e+00 | 8.300000e+02 |    Inf 
686.11/686.14	o 816
686.11/686.14	c * 647s|716677 |103902 |  2032k|   2.8 | 199M| 735 |   - |1800 |2806 |1800 | 223 | 324k| 378k|5416 | 0.000000e+00 | 8.160000e+02 |    Inf 
692.71/692.76	c   653s|720000 |104344 |  2080k|   2.9 | 212M| 735 |   - |1800 |3085 |   0 |   0 | 331k| 382k|5471 | 0.000000e+00 | 8.160000e+02 |    Inf 
696.61/696.65	o 806
696.61/696.65	c * 657s|721787 |101793 |  2107k|   2.9 | 216M| 735 |   - |1800 |3472 |1800 | 257 | 335k| 384k|5507 | 0.000000e+00 | 8.060000e+02 |    Inf 
696.71/696.76	o 722
696.71/696.76	c * 657s|721815 | 89258 |  2107k|   2.9 | 191M| 735 |   - |1800 |3487 |1800 | 231 | 335k| 384k|5507 | 0.000000e+00 | 7.220000e+02 |    Inf 
714.11/714.13	c   673s|730000 | 88203 |  2250k|   3.1 | 217M| 735 |   0 |1800 |4385 |1800 | 233 | 354k| 395k|5638 | 0.000000e+00 | 7.220000e+02 |    Inf 
714.71/714.76	o 529
714.71/714.76	c * 674s|730244 | 55760 |  2254k|   3.1 | 160M| 735 |   - |1800 |4244 |1800 | 255 | 355k| 395k|5649 | 0.000000e+00 | 5.290000e+02 |    Inf 
722.91/722.99	o 334
722.91/722.99	c * 681s|733715 | 22962 |  2322k|   3.2 | 111M| 735 |   - |1800 |3545 |1800 | 261 | 364k| 401k|5702 | 0.000000e+00 | 3.340000e+02 |    Inf 
723.02/723.01	o 320
723.02/723.01	c * 681s|733720 | 22402 |  2322k|   3.2 | 110M| 735 |   - |1800 |3131 |1800 | 250 | 364k| 401k|5702 | 0.000000e+00 | 3.200000e+02 |    Inf 
723.11/723.14	o 234
723.11/723.14	c * 682s|733767 | 11314 |  2323k|   3.2 |  79M| 735 |   - |1800 |3048 |1800 | 228 | 365k| 401k|5710 | 0.000000e+00 | 2.340000e+02 |    Inf 
723.62/723.65	o 109
723.62/723.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
723.62/723.65	c * 682s|733929 |  1839 |  2327k|   3.2 |  36M| 735 |   - |1800 |1947 |1800 | 231 | 365k| 402k|5710 | 0.000000e+00 | 1.090000e+02 |    Inf 
723.82/723.86	c 
723.82/723.86	c SCIP Status        : problem is solved [optimal solution found]
723.82/723.86	c Solving Time (sec) : 682.25
723.82/723.86	c Solving Nodes      : 734002
723.82/723.86	c Primal Bound       : +1.09000000000000e+02 (228 solutions)
723.82/723.86	c Dual Bound         : +1.09000000000000e+02
723.82/723.86	c Gap                : 0.00 %
723.82/723.86	s OPTIMUM FOUND
723.82/723.86	v x200 -x199 -x198 x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 -x180 x179 -x178 
723.82/723.86	v x177 x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 -x156 x155 
723.82/723.86	v x154 -x153 -x152 x151 -x150 x149 -x148 x147 x146 -x145 -x144 x143 x142 -x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 
723.82/723.86	v x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 x110 -x109 
723.82/723.86	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 
723.82/723.86	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 
723.82/723.86	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 
723.82/723.86	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 
723.82/723.86	c SCIP Status        : problem is solved [optimal solution found]
723.82/723.86	c Solving Time       :     682.25
723.82/723.86	c Original Problem   :
723.82/723.86	c   Problem name     : HOME/instance-2700333-1278534780.wbo
723.82/723.86	c   Variables        : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
723.82/723.86	c   Constraints      : 1801 initial, 1801 maximal
723.82/723.86	c Presolved Problem  :
723.82/723.86	c   Problem name     : t_HOME/instance-2700333-1278534780.wbo
723.82/723.86	c   Variables        : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
723.82/723.86	c   Constraints      : 1700 initial, 6800 maximal
723.82/723.86	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
723.82/723.86	c   trivial          :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   implics          :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   probing          :       0.01          0          0          0          0          0          0          0          0
723.82/723.86	c   indicator        :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   linear           :       0.01          0        100          0        850          0        101          0          0
723.82/723.86	c   logicor          :       0.00          0          0          0          0          0          0          0          0
723.82/723.86	c   root node        :          -        770          -          -       1532          -          -          -          -
723.82/723.86	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
723.82/723.86	c   integral         :          0          0          0     769219          0          0         46          0          0      35634
723.82/723.86	c   indicator        :        850          0    1841593     751358          0       1922   21318632          0          0          0
723.82/723.86	c   linear           :        850          6    1839426     751247          0      20051    1655875     365821          0          0
723.82/723.86	c   logicor          :          0+         0    1137651          0          0       3066     708666          0          0          0
723.82/723.86	c   countsols        :          0          0          0     640834          0          0          0          0          0          0
723.82/723.86	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
723.82/723.86	c   integral         :       4.60       0.00       0.00       4.60       0.00
723.82/723.86	c   indicator        :      71.68       0.00      30.37      41.31       0.00
723.82/723.86	c   linear           :      53.28       0.00      28.97      24.31       0.00
723.82/723.86	c   logicor          :      19.56       0.00      19.56       0.00       0.00
723.82/723.86	c   countsols        :       0.00       0.00       0.00       0.00       0.00
723.82/723.86	c Propagators        :       Time      Calls    Cutoffs    DomReds
723.82/723.86	c   vbounds          :       0.00          2          0          0
723.82/723.86	c   rootredcost      :       0.01         99          0        762
723.82/723.86	c   pseudoobj        :      46.77    1918403      77010   18290472
723.82/723.86	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
723.82/723.86	c   propagation      :       5.04     100127     100037     313953       21.0     150456        3.7          -
723.82/723.86	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
723.82/723.86	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
723.82/723.86	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
723.82/723.86	c   pseudo solution  :       0.03        303        303       1261       17.5        768        4.0          -
723.82/723.86	c   applied globally :          -          -          -     402310       13.7          -          -          -
723.82/723.86	c   applied locally  :          -          -          -          0        0.0          -          -          -
723.82/723.86	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
723.82/723.86	c   cut pool         :       0.00          3          -          -         17          -    (maximal pool size: 48)
723.82/723.86	c   redcost          :      29.70     798308          0    2690536          0          0
723.82/723.86	c   impliedbounds    :       0.00          4          0          0          0          0
723.82/723.86	c   intobj           :       0.00          0          0          0          0          0
723.82/723.86	c   cgmip            :       0.00          0          0          0          0          0
723.82/723.86	c   gomory           :       0.00          4          0          0         49          0
723.82/723.86	c   strongcg         :       0.01          4          0          0          0          0
723.82/723.86	c   cmir             :       0.02          4          0          0          1          0
723.82/723.86	c   flowcover        :       0.01          4          0          0          2          0
723.82/723.86	c   clique           :       0.00          1          0          0          0          0
723.82/723.86	c   zerohalf         :       0.00          0          0          0          0          0
723.82/723.86	c   mcf              :       0.00          1          0          0          0          0
723.82/723.86	c   rapidlearning    :       0.00          0          0          0          0          0
723.82/723.86	c Pricers            :       Time      Calls       Vars
723.82/723.86	c   problem variables:       0.00          0          0
723.82/723.86	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
723.82/723.86	c   relpscost        :       4.60      17861          0         46          0          0      35634
723.82/723.86	c   pscost           :       0.00          0          0          0          0          0          0
723.82/723.86	c   inference        :      46.74     640735          0          0          0          0    1281470
723.82/723.86	c   mostinf          :       0.00          0          0          0          0          0          0
723.82/723.86	c   leastinf         :       0.00          0          0          0          0          0          0
723.82/723.86	c   fullstrong       :       0.00          0          0          0          0          0          0
723.82/723.86	c   allfullstrong    :       0.00          0          0          0          0          0          0
723.82/723.86	c   random           :       0.00          0          0          0          0          0          0
723.82/723.86	c Primal Heuristics  :       Time      Calls      Found
723.82/723.86	c   LP solutions     :       1.46          -         99
723.82/723.86	c   pseudo solutions :       0.00          -          0
723.82/723.86	c   feaspump         :       0.01          0          0
723.82/723.86	c   intshifting      :       0.01          1          0
723.82/723.86	c   oneopt           :       0.15         77          0
723.82/723.86	c   coefdiving       :       0.10        257          0
723.82/723.86	c   pscostdiving     :       0.06        257          0
723.82/723.86	c   veclendiving     :       0.12        257          0
723.82/723.86	c   linesearchdiving :       0.11        257          0
723.82/723.86	c   guideddiving     :       0.05        257          0
723.82/723.86	c   fracdiving       :       0.11        258          0
723.82/723.86	c   crossover        :       1.92        150          6
723.82/723.86	c   objpscostdiving  :       0.15        257          0
723.82/723.86	c   rootsoldiving    :       0.19        257          0
723.82/723.86	c   trivial          :       0.02          2          1
723.82/723.86	c   simplerounding   :       0.07      20390          0
723.82/723.86	c   zirounding       :       0.01       1000          0
723.82/723.86	c   rounding         :       0.06       1929          0
723.82/723.86	c   shifting         :       0.28        573          0
723.82/723.86	c   twoopt           :       0.00          0          0
723.82/723.86	c   fixandinfer      :       0.00          0          0
723.82/723.86	c   intdiving        :       0.00          0          0
723.82/723.86	c   actconsdiving    :       0.00          0          0
723.82/723.86	c   octane           :       0.00          0          0
723.82/723.86	c   rens             :       0.01          1          0
723.82/723.86	c   rins             :       0.00          0          0
723.82/723.86	c   localbranching   :       0.00          0          0
723.82/723.86	c   mutation         :       0.00          0          0
723.82/723.86	c   dins             :       0.00          0          0
723.82/723.86	c   undercover       :       0.00          0          0
723.82/723.86	c   nlp              :       0.00          0          0
723.82/723.86	c   trysol           :       0.12       1177        122
723.82/723.86	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
723.82/723.86	c   primal LP        :       0.00          0          0       0.00          -
723.82/723.86	c   dual LP          :     257.47     260913    2325122       8.91    9030.65
723.82/723.86	c   lex dual LP      :       0.00          0          0       0.00          -
723.82/723.86	c   barrier LP       :       0.00          0          0       0.00          -
723.82/723.86	c   diving/probing LP:       0.08         80       5248      65.60   65600.00
723.82/723.86	c   strong branching :       4.40       5715      66747      11.68   15169.77
723.82/723.86	c     (at root node) :          -         33       3591     108.82          -
723.82/723.86	c   conflict analysis:       0.00          0          0       0.00          -
723.82/723.86	c B&B Tree           :
723.82/723.86	c   number of runs   :          1
723.82/723.86	c   nodes            :     734002
723.82/723.86	c   nodes (total)    :     734002
723.82/723.86	c   nodes left       :          0
723.82/723.86	c   max depth        :        735
723.82/723.86	c   max depth (total):        735
723.82/723.86	c   backtracks       :      34794 (4.7%)
723.82/723.86	c   delayed cutoffs  :      48856
723.82/723.86	c   repropagations   :     203611 (11090674 domain reductions, 27001 cutoffs)
723.82/723.86	c   avg switch length:       3.67
723.82/723.86	c   switching time   :      51.65
723.82/723.86	c Solution           :
723.82/723.86	c   Solutions found  :        228 (100 improvements)
723.82/723.86	c   First Solution   : +4.20925000000000e+05   (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
723.82/723.86	c   Primal Bound     : +1.09000000000000e+02   (in run 1, after 733929 nodes, 682.05 seconds, depth 14, found by <relaxation>)
723.82/723.86	c   Dual Bound       : +1.09000000000000e+02
723.82/723.86	c   Gap              :       0.00 %
723.82/723.86	c   Root Dual Bound  : +0.00000000000000e+00
723.82/723.86	c   Root Iterations  :        226
723.82/723.89	c Time complete: 723.91.

Verifier Data 

OK	109

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700333-1278534780/watcher-2700333-1278534780 -o /tmp/evaluation-result-2700333-1278534780/solver-2700333-1278534780 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700333-1278534780.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.07 1.94 1.29 3/182 7772
/proc/meminfo: memFree=28081620/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=10976 CPUtime=0
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 1667 0 0 0 0 0 0 0 22 0 1 0 21690702 11239424 1587 4089446400 4194304 9819077 140734216918640 18446744073709551615 8656404 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7772/statm: 2744 1587 392 1374 0 1365 0

[startup+0.067494 s]
/proc/loadavg: 2.07 1.94 1.29 3/182 7772
/proc/meminfo: memFree=28081620/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=25140 CPUtime=0.06
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 6064 0 0 0 5 1 0 0 22 0 1 0 21690702 25743360 4854 4089446400 4194304 9819077 140734216918640 18446744073709551615 4561458 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 6285 4854 643 1374 0 4906 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25140

[startup+0.100486 s]
/proc/loadavg: 2.07 1.94 1.29 3/182 7772
/proc/meminfo: memFree=28081620/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=25944 CPUtime=0.09
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 6296 0 0 0 8 1 0 0 22 0 1 0 21690702 26566656 5039 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 6486 5039 673 1374 0 5107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25944

[startup+0.300449 s]
/proc/loadavg: 2.07 1.94 1.29 3/182 7772
/proc/meminfo: memFree=28081620/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=29644 CPUtime=0.29
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 12423 0 0 0 27 2 0 0 22 0 1 0 21690702 30355456 5673 4089446400 4194304 9819077 140734216918640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 7411 5675 699 1374 0 6032 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29644

[startup+0.70038 s]
/proc/loadavg: 2.07 1.94 1.29 3/182 7772
/proc/meminfo: memFree=28081620/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=29900 CPUtime=0.69
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 21756 0 0 0 63 6 0 0 24 0 1 0 21690702 30617600 5749 4089446400 4194304 9819077 140734216918640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 7475 5749 701 1374 0 6096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29900

[startup+1.50023 s]
/proc/loadavg: 2.07 1.94 1.29 3/183 7773
/proc/meminfo: memFree=28061200/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=29924 CPUtime=1.49
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 37722 0 0 0 137 12 0 0 25 0 1 0 21690702 30642176 6022 4089446400 4194304 9819077 140734216918640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 7481 6022 702 1374 0 6102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29924

[startup+3.10094 s]
/proc/loadavg: 2.07 1.94 1.29 3/183 7773
/proc/meminfo: memFree=28058844/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=35488 CPUtime=3.09
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 50664 0 0 0 285 24 0 0 25 0 1 0 21690702 36339712 7650 4089446400 4194304 9819077 140734216918640 18446744073709551615 7317330 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 8872 7650 706 1374 0 7493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35488

[startup+6.30036 s]
/proc/loadavg: 2.06 1.94 1.29 3/183 7773
/proc/meminfo: memFree=28048180/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=41848 CPUtime=6.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 65610 0 0 0 589 41 0 0 25 0 1 0 21690702 42852352 8922 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 10462 8922 706 1374 0 9083 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41848

[startup+12.7002 s]
/proc/loadavg: 2.06 1.94 1.30 3/183 7773
/proc/meminfo: memFree=28033416/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=53512 CPUtime=12.69
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 111281 0 0 0 1191 78 0 0 25 0 1 0 21690702 54796288 11923 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 13378 11923 706 1374 0 11999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53512

[startup+25.5009 s]
/proc/loadavg: 2.04 1.94 1.31 3/183 7774
/proc/meminfo: memFree=28015276/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=68092 CPUtime=25.49
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 174810 0 0 0 2398 151 0 0 25 0 1 0 21690702 69726208 15709 4089446400 4194304 9819077 140734216918640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 17155 15712 706 1374 0 15776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68092

[startup+51.1002 s]
/proc/loadavg: 2.03 1.94 1.32 3/183 7774
/proc/meminfo: memFree=27971116/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=107760 CPUtime=51.09
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 280936 0 0 0 4805 304 0 0 25 0 1 0 21690702 110346240 25175 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 26940 25175 706 1374 0 25561 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107760

[startup+102.307 s]
/proc/loadavg: 2.01 1.95 1.36 3/183 7776
/proc/meminfo: memFree=27872616/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=192060 CPUtime=102.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 480435 0 0 0 9624 606 0 0 25 0 1 0 21690702 196669440 44693 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 48015 44693 706 1374 0 46636 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 192060

[startup+162.301 s]
/proc/loadavg: 2.11 1.99 1.41 3/183 7777
/proc/meminfo: memFree=27756136/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=304660 CPUtime=162.29
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 741654 0 0 0 15273 956 0 0 25 0 1 0 21690702 311971840 70353 4089446400 4194304 9819077 140734216918640 18446744073709551615 8648515 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 76165 70353 706 1374 0 74786 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 304660

[startup+222.301 s]
/proc/loadavg: 2.04 1.99 1.44 3/183 7779
/proc/meminfo: memFree=27633824/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=425680 CPUtime=222.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 989675 0 0 0 20918 1312 0 0 25 0 1 0 21690702 435896320 96715 4089446400 4194304 9819077 140734216918640 18446744073709551615 6669217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 106420 96716 706 1374 0 105041 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 425680

[startup+282.301 s]
/proc/loadavg: 2.01 1.99 1.47 3/183 7780
/proc/meminfo: memFree=27524032/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=525260 CPUtime=282.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 1223746 0 0 0 26568 1662 0 0 25 0 1 0 21690702 537866240 119481 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 131315 119481 706 1374 0 129936 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 525260

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.50 3/183 7782
/proc/meminfo: memFree=27460380/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=577076 CPUtime=342.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 1478511 0 0 0 32231 1999 0 0 25 0 1 0 21690702 590925824 130709 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 144269 130709 706 1374 0 142890 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 577076

[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.54 3/183 7784
/proc/meminfo: memFree=27433432/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=590720 CPUtime=402.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 1738740 0 0 0 37896 2334 0 0 25 0 1 0 21690702 604897280 133678 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 147680 133678 706 1374 0 146301 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 590720

[startup+462.3 s]
/proc/loadavg: 2.07 2.01 1.57 3/183 7785
/proc/meminfo: memFree=27387092/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=620224 CPUtime=462.31
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 2001359 0 0 0 43556 2675 0 0 25 0 1 0 21690702 635109376 140726 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 155056 140726 706 1374 0 153677 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 620224

[startup+522.3 s]
/proc/loadavg: 2.09 2.02 1.60 3/183 7787
/proc/meminfo: memFree=27358168/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=635248 CPUtime=522.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 2270485 0 0 0 49220 3010 0 0 25 0 1 0 21690702 650493952 143614 4089446400 4194304 9819077 140734216918640 18446744073709551615 4210459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 158812 143614 706 1374 0 157433 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 635248

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 1.62 3/183 7788
/proc/meminfo: memFree=27331212/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=649444 CPUtime=582.3
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 2548298 0 0 0 54878 3352 0 0 25 0 1 0 21690702 665030656 146036 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 162361 146036 706 1374 0 160982 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 649444

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 1.64 3/183 7790
/proc/meminfo: memFree=27298796/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=664904 CPUtime=642.31
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 2831896 0 0 0 60549 3682 0 0 25 0 1 0 21690702 680861696 149305 4089446400 4194304 9819077 140734216918640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 166226 149305 706 1374 0 164847 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 664904

[startup+702.301 s]
/proc/loadavg: 2.16 2.04 1.67 3/183 7792
/proc/meminfo: memFree=27264644/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=684220 CPUtime=702.31
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3160005 0 0 0 66198 4033 0 0 25 0 1 0 21690702 700641280 153258 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171055 153258 707 1374 0 169676 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 684220

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

[startup+703.9 s]
/proc/loadavg: 2.14 2.04 1.67 3/183 7792
/proc/meminfo: memFree=27262288/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=684548 CPUtime=703.91
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3172168 0 0 0 66349 4042 0 0 25 0 1 0 21690702 700977152 153335 4089446400 4194304 9819077 140734216918640 18446744073709551615 4661598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171137 153335 707 1374 0 169758 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 684548

[startup+716.701 s]
/proc/loadavg: 2.12 2.04 1.67 3/183 7792
/proc/meminfo: memFree=27259556/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685100 CPUtime=716.71
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3247032 0 0 0 67555 4116 0 0 25 0 1 0 21690702 701542400 153470 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171275 153470 707 1374 0 169896 0
Current children cumulated CPU time (s) 716.71
Current children cumulated vsize (KiB) 685100

[startup+719.9 s]
/proc/loadavg: 2.11 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27257696/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685280 CPUtime=719.91
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3266156 0 0 0 67856 4135 0 0 25 0 1 0 21690702 701726720 153503 4089446400 4194304 9819077 140734216918640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171320 153503 707 1374 0 169941 0
Current children cumulated CPU time (s) 719.91
Current children cumulated vsize (KiB) 685280

[startup+721.501 s]
/proc/loadavg: 2.11 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27256204/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685284 CPUtime=721.52
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3274024 0 0 0 68006 4146 0 0 25 0 1 0 21690702 701730816 153503 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171321 153503 707 1374 0 169942 0
Current children cumulated CPU time (s) 721.52
Current children cumulated vsize (KiB) 685284

[startup+723.101 s]
/proc/loadavg: 2.11 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27254964/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685256 CPUtime=723.11
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3285042 0 0 0 68155 4156 0 0 25 0 1 0 21690702 701702144 153502 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171314 153502 707 1374 0 169935 0
Current children cumulated CPU time (s) 723.11
Current children cumulated vsize (KiB) 685256

[startup+723.501 s]
/proc/loadavg: 2.11 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27254964/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685260 CPUtime=723.52
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3286339 0 0 0 68193 4159 0 0 25 0 1 0 21690702 701706240 153503 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171315 153503 707 1374 0 169936 0
Current children cumulated CPU time (s) 723.52
Current children cumulated vsize (KiB) 685260

[startup+723.701 s]
/proc/loadavg: 2.10 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27254840/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=685416 CPUtime=723.72
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3286976 0 0 0 68212 4160 0 0 25 0 1 0 21690702 701865984 153508 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 171354 153508 707 1374 0 169975 0
Current children cumulated CPU time (s) 723.72
Current children cumulated vsize (KiB) 685416

[startup+723.807 s]
/proc/loadavg: 2.10 2.04 1.68 3/183 7792
/proc/meminfo: memFree=27254840/32951124 swapFree=67111528/67111528
[pid=7772] ppid=7770 vsize=675972 CPUtime=723.82
/proc/7772/stat : 7772 (pbscip.linux.x8) R 7770 7772 7395 0 -1 4202496 3287670 0 0 0 68221 4161 0 0 25 0 1 0 21690702 692195328 151156 4089446400 4194304 9819077 140734216918640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7772/statm: 168993 151156 707 1374 0 167614 0
Current children cumulated CPU time (s) 723.82
Current children cumulated vsize (KiB) 675972

Child status: 0
Real time (s): 723.895
CPU time (s): 723.917
CPU user time (s): 682.276
CPU system time (s): 41.6407
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 693372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 682.276
system time used= 41.6407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3287913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1129

runsolver used 1.11483 second user time and 2.85057 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-07 22:33:00
IDJOB=2700333
IDBENCH=79419
IDSOLVER=1205
FILE ID=node133/2700333-1278534780
PBS_JOBID= 11239211
Free space on /tmp= 73652 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-jnh13_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-2700333-1278534780/watcher-2700333-1278534780 -o /tmp/evaluation-result-2700333-1278534780/solver-2700333-1278534780 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700333-1278534780.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b
RANDOM SEED=77168906

node133.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.844
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.68
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.844
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.844
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.74
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.844
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.84
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.844
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.844
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.844
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.67
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.844
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28082520 kB
Buffers:        151456 kB
Cached:        4117712 kB
SwapCached:          0 kB
Active:        1602132 kB
Inactive:      3110564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28082520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6212 kB
Writeback:           0 kB
AnonPages:      443944 kB
Mapped:          16956 kB
Slab:            91312 kB
PageTables:       5684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   594224 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= 73644 MiB
End job on node133 at 2010-07-07 22:45:04