Trace number 2693052

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.24 1800.19

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo
MD5SUMda8b4d3fc4733201ddcbc92154231f9d
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark287.393
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136625
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136624
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 733
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693052-1277930461.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 136624
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.366240e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.98
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   176 |     - |  19M|   0 |  44 |5645 |5414 |5645 | 165 | 165 |   0 |   0 | 0.000000e+00 | 1.366240e+05 |    Inf 
0.39/0.42	c   0.4s|     1 |     2 |   303 |     - |  19M|   0 |  44 |5645 |5414 |5645 | 165 | 165 |   0 |  33 | 0.000000e+00 | 1.366240e+05 |    Inf 
16.99/17.02	c  16.7s| 10000 | 10001 |  6869 |   0.7 |  45M| 519 |   0 |5645 |5414 |5645 | 249 |2162 |   0 | 683 | 0.000000e+00 | 1.366240e+05 |    Inf 
27.50/27.53	o 464
27.50/27.53	c *27.1s| 17756 | 15355 |  9433 |   0.5 |  58M|2680 |   - |5645 |5434 |5645 | 237 |2956 |  20 | 785 | 0.000000e+00 | 4.640000e+02 |    Inf 
30.90/30.95	c  30.5s| 20000 | 17570 | 10730 |   0.5 |  63M|2680 |   0 |5645 |5506 |5645 | 231 |3399 |  92 | 845 | 0.000000e+00 | 4.640000e+02 |    Inf 
36.09/36.11	o 450
36.09/36.11	c *35.6s| 23041 | 20267 | 12515 |   0.5 |  69M|2680 |   - |5645 |5751 |5645 | 220 |4040 | 337 | 889 | 0.000000e+00 | 4.500000e+02 |    Inf 
36.99/37.02	o 442
36.99/37.02	c *36.5s| 23435 | 20422 | 13081 |   0.6 |  70M|2680 |   - |5645 |5934 |5645 | 205 |4213 | 520 | 916 | 0.000000e+00 | 4.420000e+02 |    Inf 
37.70/37.79	o 406
37.70/37.79	c *37.2s| 23801 | 19678 | 13577 |   0.6 |  69M|2680 |   - |5645 |6068 |5645 | 210 |4354 | 654 | 921 | 0.000000e+00 | 4.060000e+02 |    Inf 
38.69/38.71	o 405
38.69/38.71	c *38.1s| 24252 | 20064 | 13964 |   0.6 |  70M|2680 |   - |5645 |6156 |5645 | 219 |4475 | 742 | 926 | 0.000000e+00 | 4.050000e+02 |    Inf 
38.69/38.72	o 400
38.69/38.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.69/38.72	c *38.1s| 24255 | 19855 | 13965 |   0.6 |  70M|2680 |   - |5645 |6156 |5645 | 219 |4475 | 742 | 926 | 0.000000e+00 | 4.000000e+02 |    Inf 
41.19/41.27	o 385
41.19/41.27	c *40.6s| 25210 | 20030 | 16003 |   0.6 |  72M|2680 |   - |5645 |6632 |5645 | 214 |5210 |1218 |1007 | 0.000000e+00 | 3.850000e+02 |    Inf 
41.49/41.55	o 368
41.49/41.55	c *40.9s| 25320 | 19431 | 16187 |   0.6 |  71M|2680 |   - |5645 |6745 |5645 | 214 |5254 |1331 |1011 | 0.000000e+00 | 3.680000e+02 |    Inf 
43.09/43.11	o 363
43.09/43.11	c *42.4s| 25912 | 19673 | 17533 |   0.7 |  73M|2680 |   - |5645 |7233 |5645 | 223 |5648 |1819 |1046 | 0.000000e+00 | 3.630000e+02 |    Inf 
43.09/43.12	o 349
43.09/43.12	c *42.4s| 25913 | 19077 | 17534 |   0.7 |  71M|2680 |   - |5645 |7233 |5645 | 223 |5648 |1819 |1046 | 0.000000e+00 | 3.490000e+02 |    Inf 
45.99/46.10	o 346
45.99/46.10	c *45.4s| 26966 | 19716 | 19802 |   0.7 |  74M|2680 |   - |5645 |8029 |5645 | 241 |6393 |2615 |1105 | 0.000000e+00 | 3.460000e+02 |    Inf 
46.80/46.84	o 330
46.80/46.84	c *46.1s| 27240 | 19277 | 20304 |   0.7 |  73M|2680 |   - |5645 |8283 |5645 | 220 |6538 |2869 |1109 | 0.000000e+00 | 3.300000e+02 |    Inf 
47.09/47.16	o 285
47.09/47.16	c *46.4s| 27427 | 17185 | 20489 |   0.7 |  68M|2680 |   - |5645 |8296 |5645 | 228 |6597 |2883 |1109 | 0.000000e+00 | 2.850000e+02 |    Inf 
47.89/47.90	o 284
47.89/47.90	c *47.1s| 27602 | 17248 | 21889 |   0.8 |  69M|2680 |   - |5645 |8435 |5645 | 209 |6953 |3028 |1157 | 0.000000e+00 | 2.840000e+02 |    Inf 
48.09/48.16	o 281
48.09/48.16	c *47.4s| 27722 | 17112 | 22133 |   0.8 |  68M|2680 |   - |5645 |8462 |5645 | 240 |7015 |3055 |1163 | 0.000000e+00 | 2.810000e+02 |    Inf 
48.99/49.02	o 278
48.99/49.02	c *48.3s| 28017 | 17189 | 22905 |   0.8 |  69M|2680 |   - |5645 |8561 |5645 | 209 |7295 |3167 |1177 | 0.000000e+00 | 2.780000e+02 |    Inf 
48.99/49.03	o 267
48.99/49.03	c *48.3s| 28018 | 16514 | 22905 |   0.8 |  67M|2680 |   - |5645 |8561 |5645 | 209 |7295 |3167 |1177 | 0.000000e+00 | 2.670000e+02 |    Inf 
52.49/52.54	o 255
52.49/52.54	c *51.7s| 29271 | 16770 | 26239 |   0.9 |  68M|2680 |   - |5645 |9281 |5645 | 243 |8466 |4035 |1219 | 0.000000e+00 | 2.550000e+02 |    Inf 
54.29/54.37	c  53.5s| 30000 | 17392 | 27634 |   0.9 |  70M|2680 |   0 |5645 |9368 |5645 | 238 |8899 |4262 |1245 | 0.000000e+00 | 2.550000e+02 |    Inf 
58.09/58.18	o 245
58.09/58.18	c *57.3s| 31292 | 17871 | 31700 |   1.0 |  73M|2680 |   - |5645 |9648 |5645 | 238 |  10k|5011 |1272 | 0.000000e+00 | 2.450000e+02 |    Inf 
63.19/63.27	o 242
63.19/63.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
63.19/63.27	c *62.2s| 32943 | 18873 | 38331 |   1.2 |  79M|2680 |   - |5645 |9042 |5645 | 226 |  12k|6146 |1329 | 0.000000e+00 | 2.420000e+02 |    Inf 
63.19/63.29	o 239
63.19/63.29	c *62.3s| 32967 | 18649 | 38337 |   1.2 |  78M|2680 |   - |5645 |9042 |5645 | 226 |  12k|6146 |1329 | 0.000000e+00 | 2.390000e+02 |    Inf 
64.19/64.22	o 231
64.19/64.22	c *63.2s| 33311 | 18340 | 39221 |   1.2 |  78M|2680 |   - |5645 |9057 |5645 | 232 |  12k|6323 |1330 | 0.000000e+00 | 2.310000e+02 |    Inf 
66.49/66.56	o 219
66.49/66.56	c *65.5s| 34037 | 17881 | 42149 |   1.2 |  78M|2680 |   - |5645 |8730 |5645 | 300 |  13k|6946 |1370 | 0.000000e+00 | 2.190000e+02 |    Inf 
70.90/70.96	o 216
70.90/70.96	c *69.8s| 35600 | 18705 | 47674 |   1.3 |  83M|2680 |   - |5645 |7267 |5645 | 231 |  14k|7522 |1429 | 0.000000e+00 | 2.160000e+02 |    Inf 
71.09/71.17	o 208
71.09/71.17	c *70.0s| 35669 | 17785 | 47756 |   1.3 |  81M|2680 |   - |5645 |7251 |5645 | 229 |  14k|7550 |1430 | 0.000000e+00 | 2.080000e+02 |    Inf 
71.79/71.86	o 190
71.79/71.86	c *70.7s| 36053 | 15894 | 48148 |   1.3 |  76M|2680 |   - |5645 |7132 |5645 | 221 |  15k|7634 |1435 | 0.000000e+00 | 1.900000e+02 |    Inf 
73.09/73.16	o 189
73.09/73.16	c *71.9s| 36360 | 15909 | 49617 |   1.4 |  77M|2680 |   - |5645 |6843 |5645 | 218 |  15k|7820 |1452 | 0.000000e+00 | 1.890000e+02 |    Inf 
73.09/73.17	o 179
73.09/73.17	c *71.9s| 36361 | 14891 | 49617 |   1.4 |  73M|2680 |   - |5645 |6843 |5645 | 218 |  15k|7820 |1452 | 0.000000e+00 | 1.790000e+02 |    Inf 
73.40/73.47	o 171
73.40/73.47	c *72.2s| 36439 | 14134 | 49941 |   1.4 |  70M|2680 |   - |5645 |6851 |5645 | 234 |  15k|7855 |1467 | 0.000000e+00 | 1.710000e+02 |    Inf 
73.40/73.48	o 165
73.40/73.48	c *72.2s| 36440 | 13502 | 49941 |   1.4 |  68M|2680 |   - |5645 |6851 |5645 | 234 |  15k|7855 |1467 | 0.000000e+00 | 1.650000e+02 |    Inf 
73.50/73.59	o 153
73.50/73.59	c *72.4s| 36465 | 12302 | 50167 |   1.4 |  65M|2680 |   - |5645 |6801 |5645 | 249 |  15k|7858 |1468 | 0.000000e+00 | 1.530000e+02 |    Inf 
75.79/75.86	o 143
75.79/75.86	c *74.6s| 37065 | 11651 | 53725 |   1.4 |  64M|2680 |   - |5645 |6762 |5645 | 270 |  16k|8231 |1499 | 0.000000e+00 | 1.430000e+02 |    Inf 
76.10/76.12	o 128
76.10/76.12	c *74.8s| 37205 | 10287 | 54068 |   1.4 |  59M|2680 |   - |5645 |6755 |5645 | 259 |  16k|8231 |1499 | 0.000000e+00 | 1.280000e+02 |    Inf 
78.69/78.73	o 126
78.69/78.73	c *77.4s| 38112 | 10717 | 57523 |   1.5 |  62M|2680 |   - |5645 |6833 |5645 | 257 |  17k|8609 |1530 | 0.000000e+00 | 1.260000e+02 |    Inf 
79.00/79.03	o 97
79.00/79.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.00/79.03	c *77.7s| 38345 |  7870 | 57595 |   1.5 |  53M|2680 |   - |5645 |6826 |5645 | 225 |  17k|8614 |1530 | 0.000000e+00 | 9.700000e+01 |    Inf 
79.09/79.14	o 96
79.09/79.14	c *77.8s| 38371 |  7783 | 57905 |   1.5 |  53M|2680 |   - |5645 |6716 |5645 | 230 |  17k|8619 |1531 | 0.000000e+00 | 9.600000e+01 |    Inf 
79.20/79.30	o 88
79.20/79.30	c *78.0s| 38400 |  6795 | 58290 |   1.5 |  49M|2680 |   - |5645 |6647 |5645 | 259 |  17k|8633 |1532 | 0.000000e+00 | 8.800000e+01 |    Inf 
79.40/79.44	o 83
79.40/79.44	c *78.1s| 38426 |  6302 | 58754 |   1.5 |  48M|2680 |   - |5645 |6383 |5645 | 291 |  17k|8635 |1532 | 0.000000e+00 | 8.300000e+01 |    Inf 
79.59/79.66	o 73
79.59/79.66	c *78.3s| 38497 |  5366 | 59120 |   1.5 |  46M|2680 |   - |5645 |6203 |5645 | 255 |  18k|8664 |1536 | 0.000000e+00 | 7.300000e+01 |    Inf 
79.69/79.75	o 71
79.69/79.75	c *78.4s| 38517 |  5239 | 59234 |   1.5 |  46M|2680 |   - |5645 |5906 |5645 | 255 |  18k|8664 |1538 | 0.000000e+00 | 7.100000e+01 |    Inf 
79.80/79.82	o 69
79.80/79.82	c *78.5s| 38549 |  5112 | 59283 |   1.5 |  45M|2680 |   - |5645 |5825 |5645 | 259 |  18k|8664 |1538 | 0.000000e+00 | 6.900000e+01 |    Inf 
80.09/80.18	o 58
80.09/80.18	c *78.8s| 38781 |  4353 | 59437 |   1.5 |  43M|2680 |   - |5645 |5739 |5645 | 275 |  18k|8669 |1545 | 0.000000e+00 | 5.800000e+01 |    Inf 
80.19/80.28	o 57
80.19/80.28	c *78.9s| 38793 |  4262 | 59606 |   1.5 |  43M|2680 |   - |5645 |5413 |5645 | 273 |  18k|8675 |1549 | 0.000000e+00 | 5.700000e+01 |    Inf 
80.49/80.51	o 51
80.49/80.51	c *79.1s| 38847 |  3921 | 60127 |   1.5 |  42M|2680 |   - |5645 |5319 |5645 | 223 |  18k|8697 |1555 | 0.000000e+00 | 5.100000e+01 |    Inf 
80.49/80.55	o 48
80.49/80.55	c *79.2s| 38853 |  3729 | 60140 |   1.5 |  42M|2680 |   - |5645 |5120 |5645 | 222 |  18k|8697 |1555 | 0.000000e+00 | 4.800000e+01 |    Inf 
80.49/80.58	o 37
80.49/80.58	c *79.2s| 38864 |  2742 | 60156 |   1.5 |  40M|2680 |   - |5645 |5008 |5645 | 223 |  18k|8697 |1555 | 0.000000e+00 | 3.700000e+01 |    Inf 
80.49/80.59	o 36
80.49/80.59	c *79.2s| 38865 |  2662 | 60156 |   1.5 |  39M|2680 |   - |5645 |5008 |5645 | 223 |  18k|8697 |1555 | 0.000000e+00 | 3.600000e+01 |    Inf 
80.69/80.76	o 25
80.69/80.76	c *79.4s| 38936 |  2012 | 60358 |   1.5 |  37M|2680 |   - |5645 |4688 |5645 | 227 |  18k|8765 |1561 | 0.000000e+00 | 2.500000e+01 |    Inf 
80.69/80.77	o 20
80.69/80.77	c *79.4s| 38937 |  1753 | 60358 |   1.5 |  37M|2680 |   - |5645 |4688 |5645 | 227 |  18k|8765 |1561 | 0.000000e+00 | 2.000000e+01 |    Inf 
80.79/80.83	o 19
80.79/80.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
80.79/80.83	c *79.5s| 38950 |  1230 | 60459 |   1.5 |  34M|2680 |   - |5645 |4212 |5645 | 213 |  18k|8774 |1573 | 0.000000e+00 | 1.900000e+01 |    Inf 
83.00/83.03	c  81.6s| 40000 |  1293 | 64182 |   1.6 |  35M|2680 |   - |5645 |5044 |   0 |   0 |  19k|  10k|1643 | 0.000000e+00 | 1.900000e+01 |    Inf 
102.79/102.87	c   101s| 50000 |  1710 |102452 |   2.0 |  43M|2680 |   8 |5645 |6757 |5645 | 207 |  25k|  22k|1757 | 0.000000e+00 | 1.900000e+01 |    Inf 
123.09/123.12	c   121s| 60000 |  1946 |137615 |   2.3 |  48M|2680 |   1 |5645 |7273 |5645 | 159 |  31k|  35k|1988 | 0.000000e+00 | 1.900000e+01 |    Inf 
143.29/143.32	c   141s| 70000 |  2114 |165665 |   2.4 |  53M|2680 |   1 |5645 |9502 |5645 | 219 |  37k|  47k|2144 | 0.000000e+00 | 1.900000e+01 |    Inf 
151.49/151.57	o 18
151.49/151.57	c * 149s| 73945 |  2105 |176487 |   2.4 |  53M|2680 |   - |5645 |9767 |5645 | 232 |  39k|  53k|2222 | 0.000000e+00 | 1.800000e+01 |    Inf 
151.59/151.69	o 16
151.59/151.69	c * 149s| 74003 |  2037 |176615 |   2.4 |  52M|2680 |   - |5645 |9609 |5645 | 227 |  39k|  53k|2223 | 0.000000e+00 | 1.600000e+01 |    Inf 
163.69/163.71	c   161s| 80000 |  2067 |194462 |   2.4 |  53M|2680 |   1 |5645 |9074 |5645 | 208 |  41k|  60k|2338 | 0.000000e+00 | 1.600000e+01 |    Inf 
183.50/183.53	c   180s| 90000 |  2169 |224592 |   2.5 |  56M|2680 |   - |5645 |9268 |   0 |   0 |  46k|  74k|2546 | 0.000000e+00 | 1.600000e+01 |    Inf 
202.90/202.99	c   199s|100000 |  2282 |255444 |   2.6 |  59M|2680 |  13 |5645 |9124 |5645 | 208 |  52k|  86k|2731 | 0.000000e+00 | 1.600000e+01 |    Inf 
208.40/208.49	o 14
208.40/208.49	c * 204s|102710 |  2156 |263725 |   2.6 |  58M|2680 |   - |5645 |9789 |5645 | 231 |  53k|  90k|2795 | 0.000000e+00 | 1.400000e+01 |    Inf 
222.69/222.70	c   218s|110000 |  2216 |286077 |   2.6 |  59M|2680 |   7 |5645 |9438 |5645 | 200 |  57k|  99k|2870 | 0.000000e+00 | 1.400000e+01 |    Inf 
242.50/242.59	c   238s|120000 |  2267 |321398 |   2.7 |  61M|2680 |   5 |5645 |7708 |5645 | 194 |  62k| 113k|3111 | 0.000000e+00 | 1.400000e+01 |    Inf 
262.39/262.44	c   257s|130000 |  2289 |357688 |   2.8 |  63M|2680 |   - |5645 |9328 |   0 |   0 |  68k| 126k|3315 | 0.000000e+00 | 1.400000e+01 |    Inf 
282.00/282.00	c   276s|140000 |  2299 |391520 |   2.8 |  64M|2680 |   - |5645 |9859 |   0 |   0 |  73k| 139k|3442 | 0.000000e+00 | 1.400000e+01 |    Inf 
302.10/302.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
302.10/302.14	c   296s|150000 |  2354 |422831 |   2.8 |  67M|2680 |   - |5645 |  12k|   0 |   0 |  78k| 152k|3588 | 0.000000e+00 | 1.400000e+01 |    Inf 
323.20/323.27	c   316s|160000 |  2414 |458115 |   2.9 |  69M|2680 |   4 |5645 |  14k|5645 | 251 |  81k| 166k|3739 | 0.000000e+00 | 1.400000e+01 |    Inf 
344.20/344.27	c   337s|170000 |  2579 |494317 |   2.9 |  71M|2680 |   - |5645 |  14k|   0 |   0 |  88k| 180k|3863 | 0.000000e+00 | 1.400000e+01 |    Inf 
365.50/365.56	c   358s|180000 |  2593 |531721 |   3.0 |  72M|2680 |   - |5645 |  13k|   0 |   0 |  93k| 194k|4016 | 0.000000e+00 | 1.400000e+01 |    Inf 
386.30/386.39	c   378s|190000 |  2705 |566858 |   3.0 |  75M|2680 |  15 |5645 |  14k|5645 | 228 |  98k| 207k|4126 | 0.000000e+00 | 1.400000e+01 |    Inf 
407.50/407.59	c   399s|200000 |  2741 |602103 |   3.0 |  76M|2680 |   1 |5645 |  13k|5645 | 227 | 104k| 222k|4265 | 0.000000e+00 | 1.400000e+01 |    Inf 
429.40/429.40	c   420s|210000 |  2825 |636348 |   3.0 |  78M|2680 |   - |5645 |  15k|   0 |   0 | 109k| 235k|4347 | 0.000000e+00 | 1.400000e+01 |    Inf 
450.20/450.26	c   441s|220000 |  2971 |668764 |   3.0 |  79M|2680 |   1 |5645 |  11k|5645 | 253 | 114k| 249k|4450 | 0.000000e+00 | 1.400000e+01 |    Inf 
453.10/453.12	o 6
453.10/453.12	c * 444s|221398 |  2302 |672795 |   3.0 |  65M|2680 |   - |5645 |  11k|5645 | 244 | 115k| 251k|4480 | 0.000000e+00 | 6.000000e+00 |    Inf 
461.20/461.21	o 5
461.20/461.21	c * 451s|225688 |  2000 |685510 |   3.0 |  60M|2680 |   - |5645 |  10k|5645 | 267 | 116k| 258k|4509 | 0.000000e+00 | 5.000000e+00 |    Inf 
469.21/469.22	c   459s|230000 |  1986 |699776 |   3.0 |  60M|2680 |  13 |5645 |9198 |5645 | 264 | 118k| 264k|4559 | 0.000000e+00 | 5.000000e+00 |    Inf 
487.50/487.57	c   477s|240000 |  1968 |735848 |   3.1 |  61M|2680 |  24 |5645 |  11k|5645 | 246 | 122k| 279k|4667 | 0.000000e+00 | 5.000000e+00 |    Inf 
506.20/506.27	c   495s|250000 |  1954 |768776 |   3.1 |  62M|2680 |   6 |5645 |  12k|5645 | 260 | 126k| 292k|4757 | 0.000000e+00 | 5.000000e+00 |    Inf 
526.11/526.11	c   515s|260000 |  1997 |799315 |   3.1 |  63M|2680 |   9 |5645 |  13k|5645 | 245 | 130k| 305k|4835 | 0.000000e+00 | 5.000000e+00 |    Inf 
545.61/545.62	c   534s|270000 |  1961 |830870 |   3.1 |  63M|2680 |  16 |5645 |  12k|5645 | 220 | 134k| 319k|4933 | 0.000000e+00 | 5.000000e+00 |    Inf 
566.11/566.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
566.11/566.15	c   554s|280000 |  2015 |870899 |   3.1 |  64M|2680 |   - |5645 |  13k|   0 |   0 | 139k| 334k|5048 | 0.000000e+00 | 5.000000e+00 |    Inf 
586.31/586.37	c   574s|290000 |  2066 |905498 |   3.1 |  66M|2680 |   - |5645 |  17k|   0 |   0 | 143k| 348k|5112 | 0.000000e+00 | 5.000000e+00 |    Inf 
608.51/608.51	c   595s|300000 |  2181 |945769 |   3.2 |  67M|2680 |   - |5645 |  17k|   0 |   0 | 148k| 363k|5219 | 0.000000e+00 | 5.000000e+00 |    Inf 
629.70/629.74	c   616s|310000 |  2249 |979587 |   3.2 |  69M|2680 |   - |5645 |  18k|   0 |   0 | 152k| 377k|5285 | 0.000000e+00 | 5.000000e+00 |    Inf 
651.11/651.13	c   637s|320000 |  2221 |  1013k|   3.2 |  69M|2680 |   1 |5645 |  18k|5645 | 276 | 155k| 392k|5356 | 0.000000e+00 | 5.000000e+00 |    Inf 
673.10/673.19	c   659s|330000 |  2203 |  1047k|   3.2 |  69M|2680 |   1 |5645 |  18k|5645 | 274 | 158k| 406k|5415 | 0.000000e+00 | 5.000000e+00 |    Inf 
694.81/694.88	c   680s|340000 |  2214 |  1081k|   3.2 |  70M|2680 |  11 |5645 |  17k|5645 | 256 | 162k| 421k|5481 | 0.000000e+00 | 5.000000e+00 |    Inf 
717.00/717.05	c   702s|350000 |  2274 |  1116k|   3.2 |  72M|2680 |   - |5645 |  21k|   0 |   0 | 166k| 435k|5557 | 0.000000e+00 | 5.000000e+00 |    Inf 
741.21/741.20	c   726s|360000 |  2334 |  1154k|   3.2 |  72M|2680 |   - |5645 |  20k|   0 |   0 | 169k| 450k|5637 | 0.000000e+00 | 5.000000e+00 |    Inf 
763.91/763.90	c   748s|370000 |  2311 |  1192k|   3.2 |  73M|2680 |   1 |5645 |  22k|5645 | 303 | 172k| 465k|5694 | 0.000000e+00 | 5.000000e+00 |    Inf 
786.81/786.83	c   770s|380000 |  2274 |  1231k|   3.2 |  73M|2680 |   1 |5645 |  21k|5645 | 261 | 175k| 480k|5765 | 0.000000e+00 | 5.000000e+00 |    Inf 
808.91/808.92	c   792s|390000 |  2213 |  1265k|   3.2 |  72M|2680 |  13 |5645 |  20k|5645 | 255 | 178k| 494k|5831 | 0.000000e+00 | 5.000000e+00 |    Inf 
831.52/831.54	c   814s|400000 |  2168 |  1302k|   3.3 |  71M|2680 |   1 |5645 |  19k|5645 | 237 | 182k| 509k|5930 | 0.000000e+00 | 5.000000e+00 |    Inf 
853.31/853.30	c   836s|410000 |  2197 |  1336k|   3.3 |  73M|2680 |   - |5645 |  22k|   0 |   0 | 186k| 524k|5980 | 0.000000e+00 | 5.000000e+00 |    Inf 
877.31/877.33	c   859s|420000 |  2194 |  1375k|   3.3 |  73M|2680 |   1 |5645 |  23k|5645 | 277 | 190k| 539k|6051 | 0.000000e+00 | 5.000000e+00 |    Inf 
901.01/901.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
901.01/901.07	c   882s|430000 |  2153 |  1413k|   3.3 |  73M|2680 |   1 |5645 |  23k|5645 | 283 | 195k| 554k|6128 | 0.000000e+00 | 5.000000e+00 |    Inf 
923.81/923.87	c   905s|440000 |  2074 |  1450k|   3.3 |  70M|2680 |   7 |5645 |  18k|5645 | 258 | 199k| 569k|6232 | 0.000000e+00 | 5.000000e+00 |    Inf 
944.41/944.43	c   925s|450000 |  2024 |  1484k|   3.3 |  68M|2680 |   - |5645 |  13k|   0 |   0 | 203k| 582k|6342 | 0.000000e+00 | 5.000000e+00 |    Inf 
964.51/964.56	c   945s|460000 |  2018 |  1518k|   3.3 |  69M|2680 |   - |5645 |  15k|   0 |   0 | 207k| 597k|6415 | 0.000000e+00 | 5.000000e+00 |    Inf 
985.01/985.05	c   965s|470000 |  2037 |  1555k|   3.3 |  70M|2680 |   1 |5645 |  17k|5645 | 281 | 212k| 611k|6534 | 0.000000e+00 | 5.000000e+00 |    Inf 
1006.31/1006.32	c   985s|480000 |  2076 |  1591k|   3.3 |  71M|2680 |   1 |5645 |  19k|5645 | 279 | 216k| 626k|6590 | 0.000000e+00 | 5.000000e+00 |    Inf 
1028.22/1028.30	c  1007s|490000 |  2034 |  1628k|   3.3 |  70M|2680 |   - |5645 |  18k|   0 |   0 | 220k| 640k|6669 | 0.000000e+00 | 5.000000e+00 |    Inf 
1050.81/1050.88	c  1029s|500000 |  2073 |  1664k|   3.3 |  71M|2680 |  15 |5645 |  20k|5645 | 280 | 223k| 654k|6733 | 0.000000e+00 | 5.000000e+00 |    Inf 
1074.02/1074.07	c  1052s|510000 |  2070 |  1694k|   3.3 |  72M|2680 |  12 |5645 |  22k|5645 | 287 | 226k| 668k|6782 | 0.000000e+00 | 5.000000e+00 |    Inf 
1098.92/1098.98	c  1076s|520000 |  2143 |  1731k|   3.3 |  73M|2680 |   - |5645 |  23k|   0 |   0 | 230k| 682k|6834 | 0.000000e+00 | 5.000000e+00 |    Inf 
1123.52/1123.51	c  1100s|530000 |  2094 |  1767k|   3.3 |  73M|2680 |   - |5645 |  23k|   0 |   0 | 233k| 697k|6886 | 0.000000e+00 | 5.000000e+00 |    Inf 
1146.02/1146.09	c  1122s|540000 |  2077 |  1804k|   3.3 |  71M|2680 |   1 |5645 |  17k|5645 | 225 | 238k| 710k|6978 | 0.000000e+00 | 5.000000e+00 |    Inf 
1166.42/1166.46	c  1142s|550000 |  2234 |  1841k|   3.3 |  72M|2680 |   - |5645 |  16k|   0 |   0 | 243k| 724k|7057 | 0.000000e+00 | 5.000000e+00 |    Inf 
1187.32/1187.38	c  1163s|560000 |  2311 |  1876k|   3.4 |  73M|2680 |   - |5645 |  18k|   0 |   0 | 248k| 738k|7146 | 0.000000e+00 | 5.000000e+00 |    Inf 
1209.32/1209.30	c  1184s|570000 |  2329 |  1908k|   3.3 |  74M|2680 |   - |5645 |  19k|   0 |   0 | 252k| 752k|7210 | 0.000000e+00 | 5.000000e+00 |    Inf 
1231.03/1231.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1231.03/1231.08	c  1206s|580000 |  2339 |  1940k|   3.3 |  75M|2680 |   - |5645 |  20k|5645 | 275 | 256k| 766k|7256 | 0.000000e+00 | 5.000000e+00 |    Inf 
1252.42/1252.41	c  1227s|590000 |  2323 |  1975k|   3.3 |  75M|2680 |   - |5645 |  19k|   0 |   0 | 260k| 780k|7295 | 0.000000e+00 | 5.000000e+00 |    Inf 
1274.12/1274.12	c  1248s|600000 |  2369 |  2008k|   3.3 |  76M|2680 |  17 |5645 |  21k|5645 | 236 | 264k| 794k|7334 | 0.000000e+00 | 5.000000e+00 |    Inf 
1297.03/1297.05	c  1270s|610000 |  2381 |  2042k|   3.3 |  76M|2680 |   - |5645 |  20k|   0 |   0 | 268k| 808k|7411 | 0.000000e+00 | 5.000000e+00 |    Inf 
1319.93/1319.96	c  1293s|620000 |  2389 |  2077k|   3.4 |  77M|2680 |   - |5645 |  20k|   0 |   0 | 272k| 822k|7473 | 0.000000e+00 | 5.000000e+00 |    Inf 
1341.52/1341.55	c  1314s|630000 |  2422 |  2112k|   3.4 |  78M|2680 |   - |5645 |  22k|   0 |   0 | 276k| 836k|7524 | 0.000000e+00 | 5.000000e+00 |    Inf 
1363.62/1363.61	c  1335s|640000 |  2405 |  2145k|   3.4 |  79M|2680 |  13 |5645 |  23k|5645 | 264 | 279k| 850k|7568 | 0.000000e+00 | 5.000000e+00 |    Inf 
1386.72/1386.80	c  1358s|650000 |  2402 |  2182k|   3.4 |  78M|2680 |   1 |5645 |  22k|5645 | 248 | 282k| 865k|7611 | 0.000000e+00 | 5.000000e+00 |    Inf 
1410.33/1410.34	c  1381s|660000 |  2560 |  2221k|   3.4 |  80M|2680 |  17 |5645 |  22k|5645 | 270 | 288k| 879k|7683 | 0.000000e+00 | 5.000000e+00 |    Inf 
1432.62/1432.61	c  1403s|670000 |  2568 |  2258k|   3.4 |  81M|2680 |   1 |5645 |  24k|5645 | 229 | 292k| 893k|7743 | 0.000000e+00 | 5.000000e+00 |    Inf 
1455.63/1455.67	c  1426s|680000 |  2585 |  2292k|   3.4 |  83M|2680 |   - |5645 |  27k|   0 |   0 | 296k| 906k|7788 | 0.000000e+00 | 5.000000e+00 |    Inf 
1479.82/1479.87	c  1450s|690000 |  2565 |  2327k|   3.4 |  82M|2680 |   - |5645 |  25k|   0 |   0 | 300k| 920k|7843 | 0.000000e+00 | 5.000000e+00 |    Inf 
1504.73/1504.75	c  1474s|700000 |  2619 |  2366k|   3.4 |  83M|2680 |  17 |5645 |  27k|5645 | 282 | 304k| 935k|7897 | 0.000000e+00 | 5.000000e+00 |    Inf 
1529.03/1529.01	c  1498s|710000 |  2647 |  2401k|   3.4 |  84M|2680 |   1 |5645 |  27k|5645 | 253 | 308k| 949k|7949 | 0.000000e+00 | 5.000000e+00 |    Inf 
1553.73/1553.79	c  1522s|720000 |  2701 |  2434k|   3.4 |  85M|2680 |   7 |5645 |  28k|5645 | 280 | 311k| 963k|8003 | 0.000000e+00 | 5.000000e+00 |    Inf 
1578.13/1578.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1578.13/1578.13	c  1546s|730000 |  2726 |  2469k|   3.4 |  85M|2680 |   1 |5645 |  27k|5645 | 234 | 315k| 978k|8052 | 0.000000e+00 | 5.000000e+00 |    Inf 
1601.83/1601.81	c  1570s|740000 |  2675 |  2504k|   3.4 |  84M|2680 |   1 |5645 |  24k|5645 | 238 | 318k| 991k|8084 | 0.000000e+00 | 5.000000e+00 |    Inf 
1624.53/1624.57	c  1592s|750000 |  2674 |  2541k|   3.4 |  84M|2680 |   - |5645 |  25k|   0 |   0 | 322k|1006k|8154 | 0.000000e+00 | 5.000000e+00 |    Inf 
1647.53/1647.55	c  1614s|760000 |  2649 |  2577k|   3.4 |  84M|2680 |   - |5645 |  24k|   0 |   0 | 326k|1020k|8233 | 0.000000e+00 | 5.000000e+00 |    Inf 
1665.23/1665.23	o 4
1665.23/1665.23	c *1632s|767954 |  2499 |  2603k|   3.4 |  80M|2680 |   - |5645 |  23k|5645 | 220 | 329k|1030k|8251 | 0.000000e+00 | 4.000000e+00 |    Inf 
1670.33/1670.32	c  1637s|770000 |  2491 |  2611k|   3.4 |  79M|2680 |   - |5645 |  20k|   0 |   0 | 330k|1033k|8277 | 0.000000e+00 | 4.000000e+00 |    Inf 
1693.74/1693.74	c  1660s|780000 |  2492 |  2650k|   3.4 |  80M|2680 |  18 |5645 |  21k|5645 | 243 | 333k|1047k|8317 | 0.000000e+00 | 4.000000e+00 |    Inf 
1715.04/1715.04	c  1681s|790000 |  2482 |  2684k|   3.4 |  79M|2680 |   - |5645 |  17k|   0 |   0 | 337k|1061k|8380 | 0.000000e+00 | 4.000000e+00 |    Inf 
1736.83/1736.81	c  1702s|800000 |  2515 |  2722k|   3.4 |  80M|2680 |  19 |5645 |  19k|5645 | 308 | 341k|1075k|8431 | 0.000000e+00 | 4.000000e+00 |    Inf 
1759.14/1759.10	c  1724s|810000 |  2657 |  2761k|   3.4 |  82M|2680 |   - |5645 |  20k|   0 |   0 | 345k|1089k|8484 | 0.000000e+00 | 4.000000e+00 |    Inf 
1782.04/1782.02	c  1746s|820000 |  2840 |  2797k|   3.4 |  85M|2680 |   - |5645 |  23k|   0 |   0 | 349k|1103k|8515 | 0.000000e+00 | 4.000000e+00 |    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) : 1763.98
1800.04/1800.00	c Solving Nodes      : 827934
1800.04/1800.00	c Primal Bound       : +4.00000000000000e+00 (192 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.08	s SATISFIABLE
1800.04/1800.08	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.08	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1800.04/1800.08	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 
1800.04/1800.08	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.08	v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 
1800.04/1800.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.04/1800.08	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 
1800.04/1800.08	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.04/1800.08	v -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 
1800.04/1800.08	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.04/1800.08	v -x1 
1800.04/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.08	c Solving Time       :    1763.98
1800.04/1800.08	c Original Problem   :
1800.04/1800.08	c   Problem name     : HOME/instance-2693052-1277930461.wbo
1800.04/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.04/1800.08	c Presolved Problem  :
1800.04/1800.08	c   Problem name     : t_HOME/instance-2693052-1277930461.wbo
1800.04/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08	c   Constraints      : 5414 initial, 30131 maximal
1800.04/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.04/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.08	c   root node        :          -       2621          -          -       5242          -          -          -          -
1800.04/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.08	c   integral         :          0          0          0     505661          0         14        682          0          0     847974
1800.04/1800.08	c   indicator        :       2707          0    4924259      80798          0        319    2923325          0          0          0
1800.04/1800.08	c   linear           :       2707          6    4955655      80210          0     319938   21294044     352333          0          0
1800.04/1800.08	c   logicor          :          0+         0    1226747          0          0      75607    1328633          0          0          0
1800.04/1800.08	c   countsols        :          0          0          0      35937          0          0          0          0          0          0
1800.04/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.08	c   integral         :      14.45       0.00       0.00      14.45       0.00
1800.04/1800.08	c   indicator        :      26.29       0.02      17.81       8.46       0.00
1800.04/1800.08	c   linear           :     219.69       0.01     212.66       7.02       0.00
1800.04/1800.08	c   logicor          :     241.10       0.00     241.10       0.00       0.00
1800.04/1800.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.08	c   vbounds          :       1.46          2          0          0
1800.04/1800.08	c   rootredcost      :       1.11         56          0       2621
1800.04/1800.08	c   pseudoobj        :     246.11    4965955       9086    2007441
1800.04/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.08	c   propagation      :      21.89     404631     404539    2446233       27.6      16585       19.6          -
1800.04/1800.08	c   infeasible LP    :       5.22      14182      14182     111320       42.8        238       15.6          0
1800.04/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   pseudo solution  :       0.06        124        124        546       13.1        179        5.5          -
1800.04/1800.08	c   applied globally :          -          -          -    1115479       21.8          -          -          -
1800.04/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.08	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.04/1800.08	c   redcost          :      37.62     510023          0     825714          0          0
1800.04/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.04/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.08	c   gomory           :       0.00          4          0          0         75          0
1800.04/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.04/1800.08	c   cmir             :       0.00          4          0          0          1          0
1800.04/1800.08	c   flowcover        :       0.04          4          0          0          2          0
1800.04/1800.08	c   clique           :       0.01          1          0          0          0          0
1800.04/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.08	c Pricers            :       Time      Calls       Vars
1800.04/1800.08	c   problem variables:       0.00          0          0
1800.04/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.08	c   relpscost        :      13.95     424571         14        682          0          0     847974
1800.04/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.08	c   inference        :       7.34      35881          0          0          0          0      71762
1800.04/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.08	c   LP solutions     :       0.08          -         56
1800.04/1800.08	c   pseudo solutions :       0.00          -          0
1800.04/1800.08	c   feaspump         :       0.00          0          0
1800.04/1800.08	c   intshifting      :       0.02          4          0
1800.04/1800.08	c   oneopt           :       0.60         50          0
1800.04/1800.08	c   guideddiving     :       0.09         32          0
1800.04/1800.08	c   veclendiving     :       0.05         79          0
1800.04/1800.08	c   linesearchdiving :       0.06         79          0
1800.04/1800.08	c   coefdiving       :       0.16         79          0
1800.04/1800.08	c   fracdiving       :       0.12         80          0
1800.04/1800.08	c   pscostdiving     :       0.15         80          0
1800.04/1800.08	c   rootsoldiving    :       0.10         77          0
1800.04/1800.08	c   objpscostdiving  :       0.19         78          0
1800.04/1800.08	c   crossover        :       1.87         58          3
1800.04/1800.08	c   trivial          :       0.08          2          2
1800.04/1800.08	c   simplerounding   :       0.73     426118          0
1800.04/1800.08	c   zirounding       :       0.59       1000          0
1800.04/1800.08	c   rounding         :       2.69       9171          0
1800.04/1800.08	c   shifting         :       1.30       2868          0
1800.04/1800.08	c   twoopt           :       0.00          0          0
1800.04/1800.08	c   fixandinfer      :       0.00          0          0
1800.04/1800.08	c   intdiving        :       0.00          0          0
1800.04/1800.08	c   actconsdiving    :       0.00          0          0
1800.04/1800.08	c   octane           :       0.00          0          0
1800.04/1800.08	c   rens             :       0.03          1          0
1800.04/1800.08	c   rins             :       0.00          0          0
1800.04/1800.08	c   localbranching   :       0.00          0          0
1800.04/1800.08	c   mutation         :       0.00          0          0
1800.04/1800.08	c   dins             :       0.00          0          0
1800.04/1800.08	c   undercover       :       0.00          0          0
1800.04/1800.08	c   nlp              :       0.28          0          0
1800.04/1800.08	c   trysol           :       4.61       8899        131
1800.04/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.08	c   dual LP          :     439.79     487438    2823410       5.79    6419.90
1800.04/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.08	c   diving/probing LP:       0.16         74       1828      24.70   11425.00
1800.04/1800.08	c   strong branching :      11.16       8556      98425      11.50    8819.44
1800.04/1800.08	c     (at root node) :          -         33       1893      57.36          -
1800.04/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.08	c B&B Tree           :
1800.04/1800.08	c   number of runs   :          1
1800.04/1800.08	c   nodes            :     827934
1800.04/1800.08	c   nodes (total)    :     827934
1800.04/1800.08	c   nodes left       :       2876
1800.04/1800.08	c   max depth        :       2680
1800.04/1800.08	c   max depth (total):       2680
1800.04/1800.08	c   backtracks       :      61348 (7.4%)
1800.04/1800.08	c   delayed cutoffs  :      53353
1800.04/1800.08	c   repropagations   :    2776617 (4512050 domain reductions, 51202 cutoffs)
1800.04/1800.08	c   avg switch length:       8.10
1800.04/1800.08	c   switching time   :     260.86
1800.04/1800.08	c Solution           :
1800.04/1800.08	c   Solutions found  :        192 (57 improvements)
1800.04/1800.08	c   First Solution   : +1.36624000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 767954 nodes, 1631.79 seconds, depth 56, found by <relaxation>)
1800.04/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.08	c   Gap              :   infinite
1800.04/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.08	c   Root Iterations  :        176
1800.14/1800.19	c Time complete: 1800.23.

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693052-1277930461/watcher-2693052-1277930461 -o /tmp/evaluation-result-2693052-1277930461/solver-2693052-1277930461 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693052-1277930461.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.00 2.16 2.30 4/178 16988
/proc/meminfo: memFree=31167564/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=11304 CPUtime=0
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1713 0 0 0 0 0 0 0 25 0 1 0 134342912 11575296 1633 4089446400 4194304 9819077 140736342900576 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16988/statm: 2826 1649 392 1374 0 1447 0

[startup+0.105746 s]
/proc/loadavg: 2.00 2.16 2.30 4/178 16988
/proc/meminfo: memFree=31167564/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=36400 CPUtime=0.09
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 8123 0 0 0 9 0 0 0 25 0 1 0 134342912 37273600 7689 4089446400 4194304 9819077 140736342900576 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.200729 s]
/proc/loadavg: 2.00 2.16 2.30 4/178 16988
/proc/meminfo: memFree=31167564/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=39092 CPUtime=0.19
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 9329 0 0 0 18 1 0 0 25 0 1 0 134342912 40030208 8381 4089446400 4194304 9819077 140736342900576 18446744073709551615 4819401 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 9773 8381 521 1374 0 8394 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39092

[startup+0.300737 s]
/proc/loadavg: 2.00 2.16 2.30 4/178 16988
/proc/meminfo: memFree=31167564/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=53520 CPUtime=0.29
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 12813 0 0 0 27 2 0 0 25 0 1 0 134342912 54804480 11779 4089446400 4194304 9819077 140736342900576 18446744073709551615 6179984 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 13380 11779 674 1374 0 12001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53520

[startup+0.700641 s]
/proc/loadavg: 2.00 2.16 2.30 4/178 16988
/proc/meminfo: memFree=31167564/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=47244 CPUtime=0.69
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 25134 0 0 0 65 4 0 0 25 0 1 0 134342912 48377856 9987 4089446400 4194304 9819077 140736342900576 18446744073709551615 6391555 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 11811 9987 698 1374 0 10432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47244

[startup+1.5005 s]
/proc/loadavg: 2.00 2.16 2.30 3/179 16989
/proc/meminfo: memFree=31129488/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=47772 CPUtime=1.49
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 38867 0 0 0 143 6 0 0 25 0 1 0 134342912 48918528 10232 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 11943 10232 699 1374 0 10564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47772

[startup+3.10022 s]
/proc/loadavg: 2.00 2.16 2.30 3/179 16989
/proc/meminfo: memFree=31125272/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=51840 CPUtime=3.09
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 49731 0 0 0 300 9 0 0 25 0 1 0 134342912 53084160 11618 4089446400 4194304 9819077 140736342900576 18446744073709551615 6567639 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 12960 11618 700 1374 0 11581 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51840

[startup+6.30065 s]
/proc/loadavg: 2.00 2.15 2.30 3/179 16989
/proc/meminfo: memFree=31121432/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=56164 CPUtime=6.29
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 56230 0 0 0 616 13 0 0 25 0 1 0 134342912 57511936 12458 4089446400 4194304 9819077 140736342900576 18446744073709551615 4651280 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 14041 12458 700 1374 0 12662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56164

[startup+12.7006 s]
/proc/loadavg: 2.00 2.15 2.30 3/179 16989
/proc/meminfo: memFree=31109852/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=66488 CPUtime=12.69
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 70284 0 0 0 1247 22 0 0 25 0 1 0 134342912 68083712 15241 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 16622 15241 700 1374 0 15243 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66488

[startup+25.5002 s]
/proc/loadavg: 2.00 2.14 2.29 3/179 16990
/proc/meminfo: memFree=31088340/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=85860 CPUtime=25.5
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 84266 0 0 0 2512 38 0 0 25 0 1 0 134342912 87920640 20043 4089446400 4194304 9819077 140736342900576 18446744073709551615 6589060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 21465 20043 704 1374 0 20086 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 85860

[startup+51.1008 s]
/proc/loadavg: 2.00 2.13 2.28 3/179 16991
/proc/meminfo: memFree=31051352/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=121288 CPUtime=51.09
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 185073 0 0 0 5032 77 0 0 25 0 1 0 134342912 124198912 28653 4089446400 4194304 9819077 140736342900576 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 30322 28653 704 1374 0 28943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121288

[startup+102.301 s]
/proc/loadavg: 2.00 2.11 2.26 3/179 16992
/proc/meminfo: memFree=30998852/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=172236 CPUtime=102.29
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 375565 0 0 0 10046 183 0 0 25 0 1 0 134342912 176369664 41038 4089446400 4194304 9819077 140736342900576 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16988/statm: 43059 41038 715 1374 0 41680 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 172236

[startup+162.301 s]
/proc/loadavg: 2.00 2.08 2.25 3/179 16993
/proc/meminfo: memFree=30979220/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=189080 CPUtime=162.29
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 528571 0 0 0 15915 314 0 0 25 0 1 0 134342912 193617920 45125 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 47270 45125 729 1374 0 45891 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 189080

[startup+222.306 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16995
/proc/meminfo: memFree=30965168/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=200412 CPUtime=222.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 715469 0 0 0 21778 452 0 0 25 0 1 0 134342912 205221888 47752 4089446400 4194304 9819077 140736342900576 18446744073709551615 6003432 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 50103 47752 737 1374 0 48724 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 200412

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.21 3/179 16997
/proc/meminfo: memFree=30953956/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=206492 CPUtime=282.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 877971 0 0 0 27643 587 0 0 25 0 1 0 134342912 211447808 49239 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 51623 49239 737 1374 0 50244 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 206492

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.20 3/179 16998
/proc/meminfo: memFree=30943124/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=213448 CPUtime=342.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1013433 0 0 0 33512 718 0 0 25 0 1 0 134342912 218570752 50927 4089446400 4194304 9819077 140736342900576 18446744073709551615 6667181 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 53362 50927 737 1374 0 51983 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 213448

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.18 3/179 17000
/proc/meminfo: memFree=30935160/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=219984 CPUtime=402.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1142822 0 0 0 39387 843 0 0 25 0 1 0 134342912 225263616 52416 4089446400 4194304 9819077 140736342900576 18446744073709551615 6513014 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 54996 52416 737 1374 0 53617 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 219984

[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.17 3/179 17001
/proc/meminfo: memFree=30928560/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=225048 CPUtime=462.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1289581 0 0 0 45256 974 0 0 25 0 1 0 134342912 230449152 53528 4089446400 4194304 9819077 140736342900576 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 56262 53528 737 1374 0 54883 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225048

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/179 17003
/proc/meminfo: memFree=30926284/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=225340 CPUtime=522.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1452501 0 0 0 51115 1115 0 0 25 0 1 0 134342912 230748160 53575 4089446400 4194304 9819077 140736342900576 18446744073709551615 7816563 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 56335 53575 737 1374 0 54956 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 225340

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 17005
/proc/meminfo: memFree=30924384/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=226496 CPUtime=582.31
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1592891 0 0 0 56982 1249 0 0 25 0 1 0 134342912 231931904 53851 4089446400 4194304 9819077 140736342900576 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 56624 53851 737 1374 0 55245 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 226496

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 17006
/proc/meminfo: memFree=30919756/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=228728 CPUtime=642.3
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 1710860 0 0 0 62866 1364 0 0 25 0 1 0 134342912 234217472 54435 4089446400 4194304 9819077 140736342900576 18446744073709551615 6723478 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 57182 54435 737 1374 0 55803 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 228728

[startup+702.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 17013
/proc/meminfo: memFree=30910540/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=234436 CPUtime=882.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2149945 0 0 0 86410 1822 0 0 25 0 1 0 134342912 240062464 55893 4089446400 4194304 9819077 140736342900576 18446744073709551615 4923075 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 58609 55893 737 1374 0 57230 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 234436

[startup+942.301 s]
/proc/loadavg: 2.08 2.02 2.09 3/179 17014
/proc/meminfo: memFree=30906908/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=235464 CPUtime=942.31
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2281252 0 0 0 92282 1949 0 0 25 0 1 0 134342912 241115136 56154 4089446400 4194304 9819077 140736342900576 18446744073709551615 6589058 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 58866 56154 737 1374 0 57487 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 235464

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/179 17016
/proc/meminfo: memFree=30905996/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=236332 CPUtime=1002.31
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2419065 0 0 0 98152 2079 0 0 25 0 1 0 134342912 242003968 56285 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59083 56285 737 1374 0 57704 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 236332

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/179 17017
/proc/meminfo: memFree=30905952/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=236564 CPUtime=1062.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2539167 0 0 0 104035 2197 0 0 25 0 1 0 134342912 242241536 56323 4089446400 4194304 9819077 140736342900576 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59141 56323 737 1374 0 57762 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 236564

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17019
/proc/meminfo: memFree=30905672/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=236652 CPUtime=1122.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2646765 0 0 0 109922 2310 0 0 25 0 1 0 134342912 242331648 56367 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59163 56367 737 1374 0 57784 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 236652

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 17021
/proc/meminfo: memFree=30904760/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=237780 CPUtime=1182.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2766565 0 0 0 115798 2434 0 0 25 0 1 0 134342912 243486720 56541 4089446400 4194304 9819077 140736342900576 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59445 56541 737 1374 0 58066 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 237780

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 17031
/proc/meminfo: memFree=30903332/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=238324 CPUtime=1242.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2874328 0 0 0 121672 2560 0 0 25 0 1 0 134342912 244043776 56694 4089446400 4194304 9819077 140736342900576 18446744073709551615 7815949 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59581 56694 737 1374 0 58202 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 238324

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 2/177 17034
/proc/meminfo: memFree=31177588/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=238640 CPUtime=1302.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 2983271 0 0 0 127552 2681 0 0 25 0 1 0 134342912 244367360 56758 4089446400 4194304 9819077 140736342900576 18446744073709551615 4210566 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59660 56758 737 1374 0 58281 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 238640

[startup+1362.3 s]
/proc/loadavg: 1.97 1.98 2.04 3/179 17216
/proc/meminfo: memFree=31024364/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=239552 CPUtime=1362.32
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3102884 0 0 0 133420 2812 0 0 25 0 1 0 134342912 245301248 57012 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 59888 57012 737 1374 0 58509 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 239552

[startup+1422.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/179 17218
/proc/meminfo: memFree=30998256/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=241176 CPUtime=1422.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3206999 0 0 0 139310 2923 0 0 25 0 1 0 134342912 246964224 57458 4089446400 4194304 9819077 140736342900576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 60294 57458 737 1374 0 58915 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 241176

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/179 17220
/proc/meminfo: memFree=30993380/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=243344 CPUtime=1482.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3309251 0 0 0 145206 3027 0 0 25 0 1 0 134342912 249184256 57977 4089446400 4194304 9819077 140736342900576 18446744073709551615 6589128 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 60836 57977 737 1374 0 59457 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 243344

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 17221
/proc/meminfo: memFree=30989260/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=244644 CPUtime=1542.34
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3410332 0 0 0 151105 3129 0 0 25 0 1 0 134342912 250515456 58209 4089446400 4194304 9819077 140736342900576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 61161 58209 737 1374 0 59782 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 244644

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17223
/proc/meminfo: memFree=30984156/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=246008 CPUtime=1602.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3508607 0 0 0 157005 3228 0 0 25 0 1 0 134342912 251912192 58553 4089446400 4194304 9819077 140736342900576 18446744073709551615 6581343 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 61502 58553 737 1374 0 60123 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 246008

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17224
/proc/meminfo: memFree=30981280/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=246796 CPUtime=1662.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3626307 0 0 0 162894 3339 0 0 25 0 1 0 134342912 252719104 58684 4089446400 4194304 9819077 140736342900576 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 61699 58684 737 1374 0 60320 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 246796

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17226
/proc/meminfo: memFree=30977020/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=247500 CPUtime=1722.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3779434 0 0 0 168769 3464 0 0 25 0 1 0 134342912 253440000 58891 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 61875 58891 738 1374 0 60496 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 247500

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17228
/proc/meminfo: memFree=30972884/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=248424 CPUtime=1782.33
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3896808 0 0 0 174662 3571 0 0 25 0 1 0 134342912 254386176 59140 4089446400 4194304 9819077 140736342900576 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 62106 59140 738 1374 0 60727 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 248424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17228
/proc/meminfo: memFree=30972384/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=248584 CPUtime=1800.04
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3928427 0 0 0 176400 3604 0 0 25 0 1 0 134342912 254550016 59189 4089446400 4194304 9819077 140736342900576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16988/statm: 62146 59189 738 1374 0 60767 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 248584

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17228
/proc/meminfo: memFree=30972384/32950928 swapFree=67111528/67111528
[pid=16988] ppid=16986 vsize=248584 CPUtime=1800.14
/proc/16988/stat : 16988 (pbscip.linux.x8) R 16986 16988 16765 0 -1 4202496 3928435 0 0 0 176410 3604 0 0 25 0 1 0 134342912 254550016 59189 4089446400 4194304 9819077 140736342900576 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16988/statm: 62146 59189 739 1374 0 60767 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 248584

Child status: 0
Real time (s): 1800.19
CPU time (s): 1800.24
CPU user time (s): 1764.18
CPU system time (s): 36.0535
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 265452

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

runsolver used 3.07353 second user time and 5.9481 second system time

The end

Launcher Data 

Begin job on node123 at 2010-06-30 22:41:01
IDJOB=2693052
IDBENCH=79306
IDSOLVER=1205
FILE ID=node123/2693052-1277930461
PBS_JOBID= 11197427
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360--soft-0-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-2693052-1277930461/watcher-2693052-1277930461 -o /tmp/evaluation-result-2693052-1277930461/solver-2693052-1277930461 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693052-1277930461.wbo -t 1800 -m 3800

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

MD5SUM BENCH= da8b4d3fc4733201ddcbc92154231f9d
RANDOM SEED=826205889

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31168216 kB
Buffers:        217940 kB
Cached:        1119072 kB
SwapCached:          0 kB
Active:         824296 kB
Inactive:       813380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31168216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:      301088 kB
Mapped:          17416 kB
Slab:            80640 kB
PageTables:       5260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   455188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node123 at 2010-06-30 23:11:03