Trace number 2693003

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.33 1800.28

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554420--soft-0-100-0.wbo
MD5SUMce7c3a365231565303f31d834d531ee5
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark38.4642
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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-2693003-1277928234.wbo>
0.02/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.09/0.12	o 134313
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.343130e+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.12
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.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.343130e+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.343130e+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.343130e+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.343130e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.343130e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.343130e+05 |    Inf 
16.00/16.09	c  15.6s| 10000 | 10001 |  7970 |   0.8 |  47M|1879 |   0 |5645 |5414 |5645 | 223 |2669 |   0 | 758 | 0.000000e+00 | 1.343130e+05 |    Inf 
29.19/29.22	c  28.4s| 20000 | 19989 | 10124 |   0.5 |  67M|1879 |   0 |5645 |5468 |5645 | 230 |3320 |  54 | 780 | 0.000000e+00 | 1.343130e+05 |    Inf 
29.89/29.93	o 1199
29.89/29.93	c *29.1s| 20596 | 20338 | 10124 |   0.5 |  68M|1879 |   - |5645 |5468 |5645 | 230 |3320 |  54 | 780 | 0.000000e+00 | 1.199000e+03 |    Inf 
30.79/30.83	o 446
30.79/30.83	c *29.9s| 21189 | 13436 | 10461 |   0.5 |  55M|1879 |   - |5645 |5468 |5645 | 218 |3397 |  54 | 788 | 0.000000e+00 | 4.460000e+02 |    Inf 
36.20/36.25	o 429
36.20/36.25	c *35.2s| 24311 | 15673 | 12999 |   0.5 |  61M|1879 |   - |5645 |5766 |5645 | 221 |4117 | 352 | 899 | 0.000000e+00 | 4.290000e+02 |    Inf 
41.09/41.18	o 403
41.09/41.18	c *40.0s| 26403 | 15736 | 17976 |   0.7 |  64M|1879 |   - |5645 |6386 |5645 | 230 |5771 | 972 |1010 | 0.000000e+00 | 4.030000e+02 |    Inf 
41.80/41.81	o 395
41.80/41.81	c *40.6s| 26623 | 15379 | 18664 |   0.7 |  64M|1879 |   - |5645 |6491 |5645 | 242 |6010 |1077 |1021 | 0.000000e+00 | 3.950000e+02 |    Inf 
43.20/43.28	o 382
43.20/43.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
43.20/43.28	c *42.1s| 27358 | 14883 | 19754 |   0.7 |  63M|1879 |   - |5645 |6701 |5645 | 202 |6386 |1287 |1033 | 0.000000e+00 | 3.820000e+02 |    Inf 
43.59/43.69	o 309
43.59/43.69	c *42.5s| 27570 | 10195 | 19950 |   0.7 |  52M|1879 |   - |5645 |6727 |5645 | 208 |6430 |1313 |1035 | 0.000000e+00 | 3.090000e+02 |    Inf 
43.69/43.70	o 305
43.69/43.70	c *42.5s| 27571 |  9937 | 19950 |   0.7 |  51M|1879 |   - |5645 |6727 |5645 | 208 |6430 |1313 |1035 | 0.000000e+00 | 3.050000e+02 |    Inf 
43.79/43.85	o 298
43.79/43.85	c *42.6s| 27638 |  9618 | 20018 |   0.7 |  50M|1879 |   - |5645 |6757 |5645 | 215 |6437 |1343 |1035 | 0.000000e+00 | 2.980000e+02 |    Inf 
44.90/44.93	o 294
44.90/44.93	c *43.7s| 27941 |  9597 | 21134 |   0.7 |  52M|1879 |   - |5645 |6951 |5645 | 222 |6787 |1537 |1075 | 0.000000e+00 | 2.940000e+02 |    Inf 
45.19/45.21	o 279
45.19/45.21	c *43.9s| 28052 |  8871 | 21403 |   0.8 |  51M|1879 |   - |5645 |6980 |5645 | 229 |6870 |1566 |1076 | 0.000000e+00 | 2.790000e+02 |    Inf 
45.19/45.29	o 248
45.19/45.29	c *44.0s| 28110 |  7174 | 21403 |   0.8 |  47M|1879 |   - |5645 |6980 |5645 | 229 |6870 |1566 |1076 | 0.000000e+00 | 2.480000e+02 |    Inf 
47.09/47.17	o 226
47.09/47.17	c *45.8s| 28721 |  6650 | 23837 |   0.8 |  46M|1879 |   - |5645 |7335 |5645 | 260 |7685 |1921 |1119 | 0.000000e+00 | 2.260000e+02 |    Inf 
47.09/47.17	o 222
47.09/47.17	c *45.9s| 28722 |  6464 | 23838 |   0.8 |  46M|1879 |   - |5645 |7335 |5645 | 260 |7685 |1921 |1119 | 0.000000e+00 | 2.220000e+02 |    Inf 
47.60/47.62	o 214
47.60/47.62	c *46.3s| 28851 |  6273 | 24531 |   0.8 |  45M|1879 |   - |5645 |7390 |5645 | 238 |7932 |1976 |1127 | 0.000000e+00 | 2.140000e+02 |    Inf 
48.90/48.90	o 203
48.90/48.90	c *47.5s| 29330 |  6217 | 26023 |   0.9 |  46M|1879 |   - |5645 |7708 |5645 | 220 |8427 |2294 |1153 | 0.000000e+00 | 2.030000e+02 |    Inf 
48.90/48.98	o 189
48.90/48.98	c *47.6s| 29340 |  5698 | 26096 |   0.9 |  45M|1879 |   - |5645 |7708 |5645 | 231 |8452 |2294 |1163 | 0.000000e+00 | 1.890000e+02 |    Inf 
48.90/48.99	o 177
48.90/48.99	c *47.6s| 29341 |  5164 | 26097 |   0.9 |  44M|1879 |   - |5645 |7708 |5645 | 231 |8452 |2294 |1163 | 0.000000e+00 | 1.770000e+02 |    Inf 
49.19/49.27	o 160
49.19/49.27	c *47.9s| 29446 |  4432 | 26550 |   0.9 |  41M|1879 |   - |5645 |7722 |5645 | 218 |8623 |2308 |1183 | 0.000000e+00 | 1.600000e+02 |    Inf 
51.29/51.30	c  49.9s| 30000 |  4780 | 28967 |   1.0 |  44M|1879 |   0 |5645 |8154 |5645 | 252 |9460 |2746 |1243 | 0.000000e+00 | 1.600000e+02 |    Inf 
53.59/53.67	o 143
53.59/53.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.59/53.67	c *52.2s| 30595 |  4459 | 31653 |   1.0 |  45M|1879 |   - |5645 |8669 |5645 | 233 |  10k|3363 |1316 | 0.000000e+00 | 1.430000e+02 |    Inf 
53.59/53.67	o 141
53.59/53.67	c *52.2s| 30596 |  4367 | 31659 |   1.0 |  45M|1879 |   - |5645 |8669 |5645 | 233 |  10k|3363 |1316 | 0.000000e+00 | 1.410000e+02 |    Inf 
55.49/55.59	o 134
55.49/55.59	c *54.0s| 31128 |  4502 | 34076 |   1.1 |  47M|1879 |   - |5645 |8880 |5645 | 227 |  11k|3763 |1338 | 0.000000e+00 | 1.340000e+02 |    Inf 
55.79/55.82	o 133
55.79/55.82	c *54.3s| 31168 |  4500 | 34445 |   1.1 |  47M|1879 |   - |5645 |8849 |5645 | 227 |  11k|3785 |1341 | 0.000000e+00 | 1.330000e+02 |    Inf 
56.29/56.35	o 132
56.29/56.35	c *54.8s| 31298 |  4536 | 35142 |   1.1 |  48M|1879 |   - |5645 |8833 |5645 | 212 |  11k|3906 |1347 | 0.000000e+00 | 1.320000e+02 |    Inf 
57.39/57.44	o 130
57.39/57.44	c *55.8s| 31825 |  4925 | 36288 |   1.1 |  50M|1879 |   - |5645 |8810 |5645 | 215 |  11k|3989 |1364 | 0.000000e+00 | 1.300000e+02 |    Inf 
57.90/57.95	o 98
57.90/57.95	c *56.3s| 31947 |  3489 | 37157 |   1.2 |  46M|1879 |   - |5645 |8817 |5645 | 245 |  12k|4106 |1375 | 0.000000e+00 | 9.800000e+01 |    Inf 
57.99/58.04	o 73
57.99/58.04	c *56.4s| 31976 |  2243 | 37233 |   1.2 |  39M|1879 |   - |5645 |8710 |5645 | 254 |  12k|4106 |1381 | 0.000000e+00 | 7.300000e+01 |    Inf 
61.99/62.00	o 68
61.99/62.00	c *60.2s| 32850 |  2400 | 43953 |   1.3 |  43M|1879 |   - |5645 |7554 |5645 | 194 |  14k|5237 |1453 | 0.000000e+00 | 6.800000e+01 |    Inf 
62.49/62.54	o 67
62.49/62.54	c *60.8s| 32973 |  2406 | 45058 |   1.4 |  43M|1879 |   - |5645 |7203 |5645 | 226 |  14k|5356 |1460 | 0.000000e+00 | 6.700000e+01 |    Inf 
62.59/62.69	o 65
62.59/62.69	c *60.9s| 33003 |  2299 | 45255 |   1.4 |  42M|1879 |   - |5645 |7009 |5645 | 234 |  14k|5369 |1465 | 0.000000e+00 | 6.500000e+01 |    Inf 
62.59/62.69	o 60
62.59/62.69	c *60.9s| 33004 |  2173 | 45256 |   1.4 |  42M|1879 |   - |5645 |7009 |5645 | 234 |  14k|5369 |1465 | 0.000000e+00 | 6.000000e+01 |    Inf 
62.99/63.03	o 59
62.99/63.03	c *61.2s| 33092 |  1804 | 45554 |   1.4 |  40M|1879 |   - |5645 |6622 |5645 | 208 |  14k|5465 |1469 | 0.000000e+00 | 5.900000e+01 |    Inf 
86.39/86.46	c  83.9s| 40000 |  3807 | 77339 |   1.9 |  60M|1879 |   1 |5645 |6829 |5645 | 226 |  23k|  12k|1668 | 0.000000e+00 | 5.900000e+01 |    Inf 
91.69/91.77	o 49
91.69/91.77	c *89.1s| 41887 |  3687 | 82283 |   2.0 |  60M|1879 |   - |5645 |7641 |5645 | 226 |  24k|  13k|1723 | 0.000000e+00 | 4.900000e+01 |    Inf 
98.49/98.54	o 43
98.49/98.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
98.49/98.54	c *95.6s| 44064 |  3916 | 90648 |   2.1 |  63M|1879 |   - |5645 |6784 |5645 | 214 |  27k|  16k|1780 | 0.000000e+00 | 4.300000e+01 |    Inf 
99.00/99.05	o 32
99.00/99.05	c *96.1s| 44248 |  3414 | 91206 |   2.1 |  60M|1879 |   - |5645 |6474 |5645 | 222 |  27k|  16k|1781 | 0.000000e+00 | 3.200000e+01 |    Inf 
112.99/113.05	c   110s| 50000 |  3686 |111596 |   2.2 |  66M|1879 |   1 |5645 |7101 |5645 | 236 |  31k|  24k|1981 | 0.000000e+00 | 3.200000e+01 |    Inf 
113.69/113.70	o 30
113.69/113.70	c * 110s| 50237 |  3623 |112522 |   2.2 |  66M|1879 |   - |5645 |7224 |5645 | 244 |  32k|  24k|1983 | 0.000000e+00 | 3.000000e+01 |    Inf 
127.10/127.18	o 29
127.10/127.18	c * 123s| 56028 |  3572 |131472 |   2.3 |  68M|1879 |   - |5645 |7886 |5645 | 194 |  36k|  32k|2161 | 0.000000e+00 | 2.900000e+01 |    Inf 
128.00/128.04	o 24
128.00/128.04	c * 124s| 56367 |  3224 |132551 |   2.3 |  63M|1879 |   - |5645 |7527 |5645 | 207 |  36k|  32k|2162 | 0.000000e+00 | 2.400000e+01 |    Inf 
135.40/135.44	c   131s| 60000 |  3338 |142125 |   2.4 |  65M|1879 |   1 |5645 |7948 |5645 | 232 |  37k|  37k|2241 | 0.000000e+00 | 2.400000e+01 |    Inf 
137.20/137.29	o 21
137.20/137.29	c * 133s| 60915 |  3247 |144081 |   2.4 |  63M|1879 |   - |5645 |8051 |5645 | 206 |  37k|  38k|2243 | 0.000000e+00 | 2.100000e+01 |    Inf 
137.41/137.45	o 17
137.41/137.45	c * 133s| 60972 |  3084 |144251 |   2.4 |  61M|1879 |   - |5645 |7796 |5645 | 204 |  37k|  39k|2243 | 0.000000e+00 | 1.700000e+01 |    Inf 
137.41/137.47	o 14
137.41/137.47	c * 133s| 60975 |  2977 |144270 |   2.4 |  59M|1879 |   - |5645 |7560 |5645 | 204 |  37k|  39k|2243 | 0.000000e+00 | 1.400000e+01 |    Inf 
138.39/138.49	o 13
138.39/138.49	c * 134s| 61430 |  2949 |145874 |   2.4 |  59M|1879 |   - |5645 |5869 |5645 | 206 |  38k|  39k|2260 | 0.000000e+00 | 1.300000e+01 |    Inf 
153.80/153.88	c   149s| 70000 |  3063 |170348 |   2.4 |  62M|1879 |  10 |5645 |8337 |5645 | 229 |  42k|  50k|2452 | 0.000000e+00 | 1.300000e+01 |    Inf 
171.89/171.94	c   166s| 80000 |  3331 |195362 |   2.4 |  65M|1879 |  10 |5645 |9771 |5645 | 236 |  46k|  63k|2602 | 0.000000e+00 | 1.300000e+01 |    Inf 
177.19/177.22	o 11
177.19/177.22	c * 171s| 82813 |  3207 |203163 |   2.5 |  64M|1879 |   - |5645 |9171 |5645 | 233 |  47k|  66k|2648 | 0.000000e+00 | 1.100000e+01 |    Inf 
190.40/190.40	c   184s| 90000 |  3268 |223003 |   2.5 |  67M|1879 |   - |5645 |9779 |   0 |   0 |  49k|  75k|2733 | 0.000000e+00 | 1.100000e+01 |    Inf 
201.79/201.90	o 9
201.79/201.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
201.79/201.90	c * 195s| 96216 |  3265 |240938 |   2.5 |  67M|1879 |   - |5645 |9950 |5645 | 212 |  52k|  83k|2959 | 0.000000e+00 | 9.000000e+00 |    Inf 
203.20/203.23	o 8
203.20/203.23	c * 196s| 96947 |  3043 |242651 |   2.5 |  63M|1879 |   - |5645 |  10k|5645 | 213 |  52k|  84k|2960 | 0.000000e+00 | 8.000000e+00 |    Inf 
206.20/206.25	o 7
206.20/206.25	c * 199s| 98586 |  2904 |247770 |   2.5 |  61M|1879 |   - |5645 |  10k|5645 | 217 |  53k|  86k|2967 | 0.000000e+00 | 7.000000e+00 |    Inf 
208.00/208.06	o 3
208.00/208.06	c * 201s| 99544 |  2655 |250818 |   2.5 |  59M|1879 |   - |5645 |9944 |5645 | 225 |  53k|  88k|3000 | 0.000000e+00 | 3.000000e+00 |    Inf 
208.80/208.84	c   201s|100000 |  2663 |252181 |   2.5 |  58M|1879 |   - |5645 |9452 |   0 |   0 |  53k|  88k|3008 | 0.000000e+00 | 3.000000e+00 |    Inf 
225.79/225.88	c   218s|110000 |  2779 |285438 |   2.6 |  60M|1879 |   - |5645 |8307 |   0 |   0 |  58k| 102k|3222 | 0.000000e+00 | 3.000000e+00 |    Inf 
242.59/242.63	c   234s|120000 |  2845 |318679 |   2.7 |  62M|1879 |   - |5645 |  10k|   0 |   0 |  62k| 115k|3392 | 0.000000e+00 | 3.000000e+00 |    Inf 
260.99/261.06	c   251s|130000 |  2864 |358061 |   2.8 |  63M|1879 |   - |5645 |  11k|   0 |   0 |  67k| 129k|3540 | 0.000000e+00 | 3.000000e+00 |    Inf 
279.09/279.18	c   269s|140000 |  2989 |396929 |   2.8 |  65M|1879 |   1 |5645 |  11k|5645 | 208 |  73k| 142k|3779 | 0.000000e+00 | 3.000000e+00 |    Inf 
297.10/297.16	c   286s|150000 |  3006 |433817 |   2.9 |  66M|1879 |   - |5645 |  11k|   0 |   0 |  79k| 154k|3936 | 0.000000e+00 | 3.000000e+00 |    Inf 
314.80/314.83	c   303s|160000 |  2979 |466605 |   2.9 |  67M|1879 |   - |5645 |  12k|   0 |   0 |  83k| 167k|4096 | 0.000000e+00 | 3.000000e+00 |    Inf 
326.60/326.63	o 1
326.60/326.63	c * 314s|166679 |  2525 |488826 |   2.9 |  64M|1879 |   - |5645 |  12k|5645 | 221 |  86k| 176k|4179 | 0.000000e+00 | 1.000000e-00 |    Inf 
332.90/332.91	c   320s|170000 |  2719 |502862 |   3.0 |  64M|1879 |   1 |5645 |  10k|5645 | 171 |  88k| 180k|4265 | 0.000000e+00 | 1.000000e-00 |    Inf 
351.30/351.35	c   338s|180000 |  3254 |545628 |   3.0 |  70M|1879 |   - |5645 |  12k|   0 |   0 |  96k| 193k|4408 | 0.000000e+00 | 1.000000e-00 |    Inf 
369.40/369.42	c   355s|190000 |  3488 |584826 |   3.1 |  73M|1879 |   - |5645 |  13k|   0 |   0 | 102k| 206k|4549 | 0.000000e+00 | 1.000000e-00 |    Inf 
387.21/387.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
387.21/387.28	c   373s|200000 |  3685 |619070 |   3.1 |  75M|1879 |   8 |5645 |  13k|5645 | 198 | 107k| 219k|4624 | 0.000000e+00 | 1.000000e-00 |    Inf 
405.50/405.54	c   390s|210000 |  4061 |657946 |   3.1 |  78M|1879 |   1 |5645 |  12k|5645 | 190 | 113k| 232k|4756 | 0.000000e+00 | 1.000000e-00 |    Inf 
424.20/424.26	c   408s|220000 |  4212 |698159 |   3.2 |  81M|1879 |   - |5645 |  12k|   0 |   0 | 118k| 245k|4860 | 0.000000e+00 | 1.000000e-00 |    Inf 
441.90/441.93	c   425s|230000 |  4314 |737266 |   3.2 |  83M|1879 |  15 |5645 |  13k|5645 | 238 | 122k| 260k|4960 | 0.000000e+00 | 1.000000e-00 |    Inf 
461.01/461.04	c   443s|240000 |  4623 |780023 |   3.2 |  87M|1879 |  17 |5645 |  14k|5645 | 204 | 129k| 272k|5091 | 0.000000e+00 | 1.000000e-00 |    Inf 
480.10/480.19	c   462s|250000 |  4725 |821670 |   3.3 |  89M|1879 |   - |5645 |  13k|   0 |   0 | 134k| 286k|5177 | 0.000000e+00 | 1.000000e-00 |    Inf 
499.01/499.05	c   480s|260000 |  4808 |862191 |   3.3 |  91M|1879 |  10 |5645 |  14k|5645 | 171 | 139k| 300k|5299 | 0.000000e+00 | 1.000000e-00 |    Inf 
517.40/517.47	c   498s|270000 |  4874 |901106 |   3.3 |  92M|1879 |   1 |5645 |  15k|5645 | 227 | 144k| 314k|5385 | 0.000000e+00 | 1.000000e-00 |    Inf 
536.10/536.17	c   516s|280000 |  5037 |940145 |   3.4 |  94M|1879 |   1 |5645 |  16k|5645 | 194 | 148k| 328k|5469 | 0.000000e+00 | 1.000000e-00 |    Inf 
554.90/554.98	c   534s|290000 |  5262 |981106 |   3.4 |  96M|1879 |   1 |5645 |  16k|5645 | 207 | 154k| 342k|5581 | 0.000000e+00 | 1.000000e-00 |    Inf 
574.21/574.28	c   553s|300000 |  5459 |  1023k|   3.4 |  99M|1879 |   1 |5645 |  15k|5645 | 225 | 160k| 356k|5653 | 0.000000e+00 | 1.000000e-00 |    Inf 
593.91/593.96	c   572s|310000 |  5666 |  1062k|   3.4 | 101M|1879 |  13 |5645 |  17k|5645 | 226 | 165k| 371k|5759 | 0.000000e+00 | 1.000000e-00 |    Inf 
613.81/613.89	c   591s|320000 |  5806 |  1102k|   3.4 | 104M|1879 |   - |5645 |  18k|   0 |   0 | 169k| 385k|5820 | 0.000000e+00 | 1.000000e-00 |    Inf 
634.21/634.26	c   611s|330000 |  5942 |  1147k|   3.5 | 106M|1879 |   - |5645 |  17k|   0 |   0 | 176k| 399k|5932 | 0.000000e+00 | 1.000000e-00 |    Inf 
654.00/654.06	c   630s|340000 |  5997 |  1191k|   3.5 | 107M|1879 |   - |5645 |  17k|   0 |   0 | 180k| 415k|6006 | 0.000000e+00 | 1.000000e-00 |    Inf 
674.11/674.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
674.11/674.12	c   649s|350000 |  6178 |  1236k|   3.5 | 109M|1879 |   1 |5645 |  18k|5645 | 229 | 185k| 430k|6091 | 0.000000e+00 | 1.000000e-00 |    Inf 
694.51/694.50	c   669s|360000 |  6091 |  1279k|   3.6 | 109M|1879 |   - |5645 |  18k|   0 |   0 | 190k| 445k|6188 | 0.000000e+00 | 1.000000e-00 |    Inf 
714.32/714.30	c   688s|370000 |  6068 |  1320k|   3.6 | 110M|1879 |   - |5645 |  17k|   0 |   0 | 194k| 461k|6250 | 0.000000e+00 | 1.000000e-00 |    Inf 
735.01/735.00	c   708s|380000 |  6082 |  1363k|   3.6 | 110M|1879 |   1 |5645 |  15k|5645 | 260 | 197k| 476k|6330 | 0.000000e+00 | 1.000000e-00 |    Inf 
754.21/754.20	c   727s|390000 |  6108 |  1404k|   3.6 | 110M|1879 |  19 |5645 |  13k|5645 | 228 | 201k| 490k|6413 | 0.000000e+00 | 1.000000e-00 |    Inf 
774.51/774.50	c   746s|400000 |  6103 |  1440k|   3.6 | 111M|1879 |   - |5645 |  13k|   0 |   0 | 205k| 504k|6470 | 0.000000e+00 | 1.000000e-00 |    Inf 
793.51/793.58	c   765s|410000 |  6230 |  1485k|   3.6 | 113M|1879 |   - |5645 |  16k|   0 |   0 | 210k| 517k|6568 | 0.000000e+00 | 1.000000e-00 |    Inf 
812.21/812.27	c   783s|420000 |  6301 |  1524k|   3.6 | 115M|1879 |  11 |5645 |  17k|5645 | 240 | 215k| 531k|6636 | 0.000000e+00 | 1.000000e-00 |    Inf 
831.31/831.33	c   801s|430000 |  6139 |  1568k|   3.6 | 113M|1879 |   1 |5645 |  14k|5645 | 211 | 220k| 545k|6714 | 0.000000e+00 | 1.000000e-00 |    Inf 
850.52/850.53	c   820s|440000 |  6081 |  1604k|   3.6 | 113M|1879 |  15 |5645 |  16k|5645 | 204 | 225k| 559k|6777 | 0.000000e+00 | 1.000000e-00 |    Inf 
871.92/871.93	c   841s|450000 |  6078 |  1645k|   3.7 | 113M|1879 |  20 |5645 |  15k|5645 | 210 | 232k| 572k|6854 | 0.000000e+00 | 1.000000e-00 |    Inf 
892.42/892.44	c   860s|460000 |  6089 |  1687k|   3.7 | 114M|1879 |   - |5645 |  16k|   0 |   0 | 238k| 586k|6935 | 0.000000e+00 | 1.000000e-00 |    Inf 
913.22/913.28	c   881s|470000 |  6060 |  1739k|   3.7 | 114M|1879 |   - |5645 |  15k|   0 |   0 | 246k| 600k|7010 | 0.000000e+00 | 1.000000e-00 |    Inf 
932.92/932.96	c   900s|480000 |  5904 |  1782k|   3.7 | 112M|1879 |  16 |5645 |  14k|5645 | 210 | 252k| 615k|7077 | 0.000000e+00 | 1.000000e-00 |    Inf 
952.72/952.71	c   919s|490000 |  5780 |  1824k|   3.7 | 111M|1879 |  22 |5645 |  15k|5645 | 228 | 256k| 629k|7144 | 0.000000e+00 | 1.000000e-00 |    Inf 
972.12/972.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
972.12/972.13	c   937s|500000 |  5882 |  1856k|   3.7 | 112M|1879 |   1 |5645 |  15k|5645 | 181 | 260k| 642k|7209 | 0.000000e+00 | 1.000000e-00 |    Inf 
992.32/992.34	c   957s|510000 |  6035 |  1892k|   3.7 | 113M|1879 |   1 |5645 |  15k|5645 | 171 | 264k| 655k|7256 | 0.000000e+00 | 1.000000e-00 |    Inf 
1012.72/1012.71	c   976s|520000 |  6096 |  1927k|   3.7 | 114M|1879 |   - |5645 |  15k|   0 |   0 | 268k| 669k|7325 | 0.000000e+00 | 1.000000e-00 |    Inf 
1032.72/1032.79	c   996s|530000 |  6080 |  1962k|   3.7 | 115M|1879 |   - |5645 |  17k|   0 |   0 | 271k| 683k|7385 | 0.000000e+00 | 1.000000e-00 |    Inf 
1052.73/1052.70	c  1015s|540000 |  5949 |  1999k|   3.7 | 113M|1879 |   1 |5645 |  14k|5645 | 188 | 275k| 697k|7471 | 0.000000e+00 | 1.000000e-00 |    Inf 
1072.42/1072.50	c  1034s|550000 |  6010 |  2036k|   3.7 | 115M|1879 |  11 |5645 |  16k|5645 | 213 | 279k| 710k|7940 | 0.000000e+00 | 1.000000e-00 |    Inf 
1092.43/1092.42	c  1053s|560000 |  6206 |  2072k|   3.7 | 117M|1879 |   1 |5645 |  18k|5645 | 209 | 283k| 723k|7985 | 0.000000e+00 | 1.000000e-00 |    Inf 
1112.13/1112.15	c  1072s|570000 |  6185 |  2108k|   3.7 | 118M|1879 |   - |5645 |  19k|   0 |   0 | 287k| 737k|8005 | 0.000000e+00 | 1.000000e-00 |    Inf 
1131.93/1131.93	c  1091s|580000 |  6167 |  2142k|   3.7 | 118M|1879 |  15 |5645 |  19k|5645 | 228 | 290k| 751k|8017 | 0.000000e+00 | 1.000000e-00 |    Inf 
1151.93/1151.97	c  1111s|590000 |  6237 |  2179k|   3.7 | 120M|1879 |   1 |5645 |  23k|5645 | 240 | 293k| 765k|8054 | 0.000000e+00 | 1.000000e-00 |    Inf 
1172.82/1172.83	c  1131s|600000 |  6196 |  2214k|   3.7 | 119M|1879 |  18 |5645 |  20k|5645 | 230 | 296k| 779k|8095 | 0.000000e+00 | 1.000000e-00 |    Inf 
1193.03/1193.05	c  1150s|610000 |  6349 |  2250k|   3.7 | 121M|1879 |   - |5645 |  21k|   0 |   0 | 299k| 793k|8153 | 0.000000e+00 | 1.000000e-00 |    Inf 
1213.82/1213.86	c  1171s|620000 |  6390 |  2286k|   3.7 | 122M|1879 |  15 |5645 |  22k|5645 | 232 | 302k| 807k|8209 | 0.000000e+00 | 1.000000e-00 |    Inf 
1234.43/1234.47	c  1191s|630000 |  6434 |  2322k|   3.7 | 124M|1879 |   - |5645 |  23k|   0 |   0 | 305k| 821k|8268 | 0.000000e+00 | 1.000000e-00 |    Inf 
1256.02/1256.09	c  1211s|640000 |  6500 |  2358k|   3.7 | 124M|1879 |   - |5645 |  22k|   0 |   0 | 308k| 834k|8321 | 0.000000e+00 | 1.000000e-00 |    Inf 
1276.82/1276.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1276.82/1276.87	c  1232s|650000 |  6537 |  2391k|   3.7 | 126M|1879 |  14 |5645 |  24k|5645 | 230 | 311k| 847k|8358 | 0.000000e+00 | 1.000000e-00 |    Inf 
1298.33/1298.33	c  1252s|660000 |  6614 |  2426k|   3.7 | 127M|1879 |   6 |5645 |  24k|5645 | 224 | 314k| 861k|8394 | 0.000000e+00 | 1.000000e-00 |    Inf 
1320.53/1320.57	c  1274s|670000 |  6782 |  2464k|   3.7 | 128M|1879 |  15 |5645 |  25k|5645 | 236 | 317k| 875k|8440 | 0.000000e+00 | 1.000000e-00 |    Inf 
1342.23/1342.23	c  1295s|680000 |  6877 |  2497k|   3.7 | 130M|1879 |  10 |5645 |  25k|5645 | 264 | 319k| 889k|8492 | 0.000000e+00 | 1.000000e-00 |    Inf 
1364.93/1364.95	c  1317s|690000 |  6986 |  2536k|   3.7 | 132M|1879 |  16 |5645 |  27k|5645 | 248 | 322k| 903k|8551 | 0.000000e+00 | 1.000000e-00 |    Inf 
1387.63/1387.66	c  1339s|700000 |  6964 |  2580k|   3.7 | 133M|1879 |   - |5645 |  26k|   0 |   0 | 324k| 919k|8611 | 0.000000e+00 | 1.000000e-00 |    Inf 
1411.03/1411.07	c  1362s|710000 |  6872 |  2620k|   3.7 | 131M|1879 |   1 |5645 |  22k|5645 | 196 | 328k| 934k|8677 | 0.000000e+00 | 1.000000e-00 |    Inf 
1433.93/1433.96	c  1384s|720000 |  7002 |  2660k|   3.7 | 133M|1879 |   1 |5645 |  22k|5645 | 235 | 332k| 948k|8720 | 0.000000e+00 | 1.000000e-00 |    Inf 
1457.33/1457.40	c  1406s|730000 |  6849 |  2702k|   3.7 | 132M|1879 |   - |5645 |  22k|   0 |   0 | 336k| 963k|8771 | 0.000000e+00 | 1.000000e-00 |    Inf 
1480.44/1480.41	c  1429s|740000 |  6887 |  2740k|   3.7 | 132M|1879 |  10 |5645 |  22k|5645 | 234 | 339k| 976k|8821 | 0.000000e+00 | 1.000000e-00 |    Inf 
1501.63/1501.67	c  1449s|750000 |  6889 |  2777k|   3.7 | 132M|1879 |  25 |5645 |  22k|5645 | 252 | 342k| 990k|8884 | 0.000000e+00 | 1.000000e-00 |    Inf 
1523.63/1523.65	c  1471s|760000 |  6881 |  2814k|   3.7 | 132M|1879 |   1 |5645 |  19k|5645 | 208 | 345k|1003k|8950 | 0.000000e+00 | 1.000000e-00 |    Inf 
1545.34/1545.39	c  1492s|770000 |  6848 |  2852k|   3.7 | 131M|1879 |   - |5645 |  19k|   0 |   0 | 349k|1017k|8981 | 0.000000e+00 | 1.000000e-00 |    Inf 
1567.44/1567.45	c  1513s|780000 |  6988 |  2894k|   3.7 | 132M|1879 |  12 |5645 |  16k|5645 | 227 | 356k|1029k|9104 | 0.000000e+00 | 1.000000e-00 |    Inf 
1589.14/1589.12	c  1534s|790000 |  7143 |  2935k|   3.7 | 135M|1879 |  14 |5645 |  18k|5645 | 233 | 363k|1043k|9222 | 0.000000e+00 | 1.000000e-00 |    Inf 
1610.73/1610.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1610.73/1610.75	c  1555s|800000 |  7165 |  2973k|   3.7 | 136M|1879 |   - |5645 |  19k|   0 |   0 | 367k|1057k|9239 | 0.000000e+00 | 1.000000e-00 |    Inf 
1632.13/1632.13	c  1575s|810000 |  7140 |  3006k|   3.7 | 136M|1879 |  17 |5645 |  19k|5645 | 233 | 370k|1071k|9303 | 0.000000e+00 | 1.000000e-00 |    Inf 
1653.64/1653.63	c  1596s|820000 |  7275 |  3046k|   3.7 | 138M|1879 |   1 |5645 |  19k|5645 | 171 | 375k|1084k|9372 | 0.000000e+00 | 1.000000e-00 |    Inf 
1675.64/1675.65	c  1617s|830000 |  7446 |  3085k|   3.7 | 140M|1879 |   9 |5645 |  19k|5645 | 181 | 381k|1098k|9395 | 0.000000e+00 | 1.000000e-00 |    Inf 
1697.54/1697.50	c  1638s|840000 |  7561 |  3125k|   3.7 | 142M|1879 |   1 |5645 |  20k|5645 | 208 | 386k|1111k|9457 | 0.000000e+00 | 1.000000e-00 |    Inf 
1719.74/1719.71	c  1660s|850000 |  7870 |  3174k|   3.7 | 146M|1879 |  13 |5645 |  22k|5645 | 205 | 392k|1125k|9519 | 0.000000e+00 | 1.000000e-00 |    Inf 
1742.35/1742.34	c  1682s|860000 |  8033 |  3225k|   3.8 | 149M|1879 |   1 |5645 |  23k|5645 | 235 | 398k|1140k|9587 | 0.000000e+00 | 1.000000e-00 |    Inf 
1764.94/1764.94	c  1704s|870000 |  8273 |  3286k|   3.8 | 152M|1879 |  24 |5645 |  23k|5645 | 229 | 407k|1157k|9650 | 0.000000e+00 | 1.000000e-00 |    Inf 
1787.45/1787.42	c  1725s|880000 |  8344 |  3342k|   3.8 | 153M|1879 |   1 |5645 |  22k|5645 | 252 | 413k|1173k|9722 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1737.60
1800.05/1800.00	c Solving Nodes      : 885584
1800.05/1800.00	c Primal Bound       : +1.00000000000000e-00 (324 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.09	s SATISFIABLE
1800.05/1800.09	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.05/1800.09	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.09	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168 
1800.05/1800.09	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 
1800.05/1800.09	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.05/1800.09	v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.09	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.05/1800.09	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 -x54 
1800.05/1800.09	v -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.05/1800.09	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.05/1800.09	v x1 
1800.05/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.09	c Solving Time       :    1737.60
1800.05/1800.09	c Original Problem   :
1800.05/1800.09	c   Problem name     : HOME/instance-2693003-1277928234.wbo
1800.05/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.05/1800.09	c Presolved Problem  :
1800.05/1800.09	c   Problem name     : t_HOME/instance-2693003-1277928234.wbo
1800.05/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.05/1800.09	c   Constraints      : 5414 initial, 27755 maximal
1800.05/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   linear           :       0.01          0          0          0       2707          0          1          0          0
1800.05/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.05/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.09	c   integral         :          0          0          0     539627          0         21        531          0          0     926636
1800.05/1800.09	c   indicator        :       2707          0     836939      47224          0        224    2703975          0          0          0
1800.05/1800.09	c   linear           :       2707          6    4958879      75726          0     347821   21345510     417757          0          0
1800.05/1800.09	c   logicor          :          0+         0    1421555          0          0      92690    2020353          0          0          0
1800.05/1800.09	c   bounddisjunction :          0+         0       4983          0          0          0          0          0          0          0
1800.05/1800.09	c   countsols        :          0          0          0      34265          0          0          0          0          0          0
1800.05/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.09	c   integral         :      15.00       0.00       0.00      15.00       0.00
1800.05/1800.09	c   indicator        :      13.46       0.00       7.00       6.46       0.00
1800.05/1800.09	c   linear           :     256.69       0.00     249.96       6.73       0.00
1800.05/1800.09	c   logicor          :     233.07       0.00     233.07       0.00       0.00
1800.05/1800.09	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.09	c   vbounds          :       0.00          2          0          0
1800.05/1800.09	c   rootredcost      :       0.01         48          0       2707
1800.05/1800.09	c   pseudoobj        :     237.29    4964707       5382    1883660
1800.05/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.09	c   propagation      :      28.84     445893     445788    2750202       33.2      20209       25.2          -
1800.05/1800.09	c   infeasible LP    :       2.31       6142       6142      49369       45.0        110       22.6          0
1800.05/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.09	c   pseudo solution  :       0.01        137        137        568       13.2        152        5.2          -
1800.05/1800.09	c   applied globally :          -          -          -    1182890       25.2          -          -          -
1800.05/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.09	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.05/1800.09	c   redcost          :      38.59     541610          0     768123          0          0
1800.05/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.05/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.09	c   gomory           :       0.02          4          0          0         75          0
1800.05/1800.09	c   strongcg         :       0.00          4          0          0          0          0
1800.05/1800.09	c   cmir             :       0.00          4          0          0          1          0
1800.05/1800.09	c   flowcover        :       0.04          4          0          0          2          0
1800.05/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.09	c Pricers            :       Time      Calls       Vars
1800.05/1800.09	c   problem variables:       0.00          0          0
1800.05/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.09	c   relpscost        :      14.89     463769         21        531          0          0     926636
1800.05/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   inference        :       6.14      34217          0          0          0          0      68434
1800.05/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.09	c   LP solutions     :       0.09          -         48
1800.05/1800.09	c   pseudo solutions :       0.00          -          0
1800.05/1800.09	c   feaspump         :       0.00          0          0
1800.05/1800.09	c   intshifting      :       0.02          4          0
1800.05/1800.09	c   oneopt           :       0.20         43          0
1800.05/1800.09	c   guideddiving     :       0.04         31          0
1800.05/1800.09	c   fracdiving       :       0.12         90          0
1800.05/1800.09	c   veclendiving     :       0.14         90          0
1800.05/1800.09	c   linesearchdiving :       0.12         90          0
1800.05/1800.09	c   coefdiving       :       0.10         90          0
1800.05/1800.09	c   pscostdiving     :       0.12         90          0
1800.05/1800.09	c   objpscostdiving  :       0.16         89          0
1800.05/1800.09	c   rootsoldiving    :       0.16         89          0
1800.05/1800.09	c   crossover        :       1.78         69          2
1800.05/1800.09	c   trivial          :       0.08          2          2
1800.05/1800.09	c   simplerounding   :       0.53     464364          0
1800.05/1800.09	c   zirounding       :       0.29       1000          0
1800.05/1800.09	c   rounding         :       1.75       9574          0
1800.05/1800.09	c   shifting         :       1.26       3014          0
1800.05/1800.09	c   twoopt           :       0.00          0          0
1800.05/1800.09	c   fixandinfer      :       0.00          0          0
1800.05/1800.09	c   intdiving        :       0.00          0          0
1800.05/1800.09	c   actconsdiving    :       0.00          0          0
1800.05/1800.09	c   octane           :       0.00          0          0
1800.05/1800.09	c   rens             :       0.02          1          0
1800.05/1800.09	c   rins             :       0.00          0          0
1800.05/1800.09	c   localbranching   :       0.00          0          0
1800.05/1800.09	c   mutation         :       0.00          0          0
1800.05/1800.09	c   dins             :       0.00          0          0
1800.05/1800.09	c   undercover       :       0.00          0          0
1800.05/1800.09	c   nlp              :       0.00          0          0
1800.05/1800.09	c   trysol           :       2.32       3745        272
1800.05/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.09	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.09	c   dual LP          :     442.85     514377    3376466       6.56    7624.40
1800.05/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.09	c   diving/probing LP:       0.16         62       1429      23.05    8931.25
1800.05/1800.09	c   strong branching :      11.62       9747     105604      10.83    9088.12
1800.05/1800.09	c     (at root node) :          -         33       1884      57.09          -
1800.05/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.09	c B&B Tree           :
1800.05/1800.09	c   number of runs   :          1
1800.05/1800.09	c   nodes            :     885584
1800.05/1800.09	c   nodes (total)    :     885584
1800.05/1800.09	c   nodes left       :       8394
1800.05/1800.09	c   max depth        :       1879
1800.05/1800.09	c   max depth (total):       1879
1800.05/1800.09	c   backtracks       :      70651 (8.0%)
1800.05/1800.09	c   delayed cutoffs  :      68411
1800.05/1800.09	c   repropagations   :    2724469 (4305634 domain reductions, 64371 cutoffs)
1800.05/1800.09	c   avg switch length:       7.60
1800.05/1800.09	c   switching time   :     250.40
1800.05/1800.09	c Solution           :
1800.05/1800.09	c   Solutions found  :        324 (49 improvements)
1800.05/1800.09	c   First Solution   : +1.34313000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.09	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 166679 nodes, 314.29 seconds, depth 28, found by <relaxation>)
1800.05/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.09	c   Gap              :   infinite
1800.05/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.09	c   Root Iterations  :        183
1800.24/1800.27	c Time complete: 1800.32.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693003-1277928234/watcher-2693003-1277928234 -o /tmp/evaluation-result-2693003-1277928234/solver-2693003-1277928234 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693003-1277928234.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.03 2.02 2.00 4/196 17253
/proc/meminfo: memFree=31346428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=11308 CPUtime=0
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1751 0 0 0 0 0 0 0 20 0 1 0 134118014 11579392 1671 4089446400 4194304 9819077 140734409521616 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17253/statm: 2827 1671 392 1374 0 1448 0

[startup+0.0314561 s]
/proc/loadavg: 2.03 2.02 2.00 4/196 17253
/proc/meminfo: memFree=31346428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=19664 CPUtime=0.02
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3857 0 0 0 2 0 0 0 20 0 1 0 134118014 20135936 3777 4089446400 4194304 9819077 140734409521616 18446744073709551615 8610941 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17253/statm: 4916 3777 392 1374 0 3537 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19664

[startup+0.100432 s]
/proc/loadavg: 2.03 2.02 2.00 4/196 17253
/proc/meminfo: memFree=31346428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=36404 CPUtime=0.09
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 8123 0 0 0 8 1 0 0 20 0 1 0 134118014 37277696 7689 4089446400 4194304 9819077 140734409521616 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.300423 s]
/proc/loadavg: 2.03 2.02 2.00 4/196 17253
/proc/meminfo: memFree=31346428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=53516 CPUtime=0.29
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 12810 0 0 0 26 3 0 0 18 0 1 0 134118014 54800384 11777 4089446400 4194304 9819077 140734409521616 18446744073709551615 4213703 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 13379 11777 674 1374 0 12000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53516

[startup+0.700333 s]
/proc/loadavg: 2.03 2.02 2.00 4/196 17253
/proc/meminfo: memFree=31346428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=45892 CPUtime=0.69
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 27918 0 0 0 63 6 0 0 18 0 1 0 134118014 46993408 9944 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 11473 9944 698 1374 0 10094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45892

[startup+1.50017 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 17254
/proc/meminfo: memFree=31308476/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=66336 CPUtime=1.49
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 44994 0 0 0 138 11 0 0 19 0 1 0 134118014 67928064 14669 4089446400 4194304 9819077 140734409521616 18446744073709551615 5961780 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 16584 14669 700 1374 0 15205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66336

[startup+3.10086 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 17254
/proc/meminfo: memFree=31306820/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=51532 CPUtime=3.09
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 65836 0 0 0 293 16 0 0 24 0 1 0 134118014 52768768 11187 4089446400 4194304 9819077 140734409521616 18446744073709551615 4965350 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 12883 11187 700 1374 0 11504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51532

[startup+6.30032 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 17254
/proc/meminfo: memFree=31298512/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=57836 CPUtime=6.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 78621 0 0 0 606 24 0 0 25 0 1 0 134118014 59224064 12952 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 14459 12952 700 1374 0 13080 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 57836

[startup+12.7011 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 17254
/proc/meminfo: memFree=31286480/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=70036 CPUtime=12.69
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 94468 0 0 0 1230 39 0 0 25 0 1 0 134118014 71716864 15880 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 17509 15880 700 1374 0 16130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70036

[startup+25.5008 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 17255
/proc/meminfo: memFree=31267704/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=89144 CPUtime=25.49
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 108725 0 0 0 2476 73 0 0 25 0 1 0 134118014 91283456 20685 4089446400 4194304 9819077 140734409521616 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 22286 20685 704 1374 0 20907 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89144

[startup+51.1011 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 17256
/proc/meminfo: memFree=31234864/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=124020 CPUtime=51.1
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 229846 0 0 0 4969 141 0 0 25 0 1 0 134118014 126996480 29225 4089446400 4194304 9819077 140734409521616 18446744073709551615 6003003 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 31005 29225 707 1374 0 29626 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 124020

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 17257
/proc/meminfo: memFree=31152340/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=209064 CPUtime=102.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 404317 0 0 0 9928 302 0 0 25 0 1 0 134118014 214081536 49383 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 52266 49383 711 1374 0 50887 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 209064

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 17258
/proc/meminfo: memFree=31120652/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=242756 CPUtime=162.29
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 633418 0 0 0 15685 544 0 0 25 0 1 0 134118014 248582144 57206 4089446400 4194304 9819077 140734409521616 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17253/statm: 60646 57204 725 1374 0 59267 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 242756

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17260
/proc/meminfo: memFree=31109168/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=251228 CPUtime=222.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 868882 0 0 0 21423 807 0 0 25 0 1 0 134118014 257257472 59273 4089446400 4194304 9819077 140734409521616 18446744073709551615 4923032 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17253/statm: 62807 59273 725 1374 0 61428 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 251228

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17262
/proc/meminfo: memFree=31104884/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=256508 CPUtime=282.29
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1011687 0 0 0 27170 1059 0 0 25 0 1 0 134118014 262664192 60465 4089446400 4194304 9819077 140734409521616 18446744073709551615 6361068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 64127 60465 725 1374 0 62748 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 256508

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17263
/proc/meminfo: memFree=31101472/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=258912 CPUtime=342.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1185398 0 0 0 32937 1293 0 0 25 0 1 0 134118014 265125888 61099 4089446400 4194304 9819077 140734409521616 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 64728 61099 725 1374 0 63349 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 258912

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17265
/proc/meminfo: memFree=31094216/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=266096 CPUtime=402.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1327959 0 0 0 38700 1530 0 0 25 0 1 0 134118014 272482304 62891 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 66524 62891 725 1374 0 65145 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 266096

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17294
/proc/meminfo: memFree=31163352/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=274496 CPUtime=462.3
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1462012 0 0 0 44473 1757 0 0 25 0 1 0 134118014 281083904 64916 4089446400 4194304 9819077 140734409521616 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 68624 64916 725 1374 0 67245 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 274496

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17296
/proc/meminfo: memFree=30959708/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=281656 CPUtime=522.31
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1592065 0 0 0 50247 1984 0 0 25 0 1 0 134118014 288415744 66749 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 70414 66749 725 1374 0 69035 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 281656

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17298
/proc/meminfo: memFree=30858224/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=287016 CPUtime=582.31
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1719500 0 0 0 56052 2179 0 0 25 0 1 0 134118014 293904384 67999 4089446400 4194304 9819077 140734409521616 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 71754 67999 725 1374 0 70375 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 287016

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17299
/proc/meminfo: memFree=30722016/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=294056 CPUtime=642.31
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 1836745 0 0 0 61854 2377 0 0 25 0 1 0 134118014 301113344 69800 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 73514 69800 725 1374 0 72135 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 294056

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17306
/proc/meminfo: memFree=30223828/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=306460 CPUtime=882.32
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2278933 0 0 0 85059 3173 0 0 25 0 1 0 134118014 313815040 72764 4089446400 4194304 9819077 140734409521616 18446744073709551615 4923075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 76615 72764 725 1374 0 75236 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 306460

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17307
/proc/meminfo: memFree=30124188/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=306636 CPUtime=942.32
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2385497 0 0 0 90857 3375 0 0 25 0 1 0 134118014 313995264 72819 4089446400 4194304 9819077 140734409521616 18446744073709551615 6590534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 76659 72819 725 1374 0 75280 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 306636

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17309
/proc/meminfo: memFree=30020852/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=307296 CPUtime=1002.32
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2479092 0 0 0 96639 3593 0 0 25 0 1 0 134118014 314671104 72948 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 76824 72948 725 1374 0 75445 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 307296

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17310
/proc/meminfo: memFree=29934492/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=309492 CPUtime=1062.32
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2603944 0 0 0 102428 3804 0 0 25 0 1 0 134118014 316919808 73501 4089446400 4194304 9819077 140734409521616 18446744073709551615 7815933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 77373 73501 725 1374 0 75994 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 309492

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17312
/proc/meminfo: memFree=29856704/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=310676 CPUtime=1122.32
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2715622 0 0 0 108218 4014 0 0 25 0 1 0 134118014 318132224 73769 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 77669 73769 725 1374 0 76290 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 310676

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17314
/proc/meminfo: memFree=29785616/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=313552 CPUtime=1182.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2829568 0 0 0 114009 4224 0 0 25 0 1 0 134118014 321077248 74531 4089446400 4194304 9819077 140734409521616 18446744073709551615 6003398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 78388 74531 725 1374 0 77009 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 313552

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17315
/proc/meminfo: memFree=29736356/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=316544 CPUtime=1242.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 2937844 0 0 0 119812 4421 0 0 25 0 1 0 134118014 324141056 75280 4089446400 4194304 9819077 140734409521616 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 79136 75280 725 1374 0 77757 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 316544

[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 17317
/proc/meminfo: memFree=29699124/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=319716 CPUtime=1302.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3034881 0 0 0 125622 4611 0 0 25 0 1 0 134118014 327389184 76142 4089446400 4194304 9819077 140734409521616 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 79929 76142 725 1374 0 78550 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 319716

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 17318
/proc/meminfo: memFree=29592556/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=323032 CPUtime=1362.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3123126 0 0 0 131439 4794 0 0 25 0 1 0 134118014 330784768 76935 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 80758 76935 740 1374 0 79379 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 323032

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17320
/proc/meminfo: memFree=29508428/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=324464 CPUtime=1422.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3227779 0 0 0 137248 4985 0 0 25 0 1 0 134118014 332251136 77370 4089446400 4194304 9819077 140734409521616 18446744073709551615 5001186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 81116 77370 740 1374 0 79737 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 324464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17322
/proc/meminfo: memFree=29419612/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=324852 CPUtime=1482.33
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3325991 0 0 0 143057 5176 0 0 25 0 1 0 134118014 332648448 77498 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 81213 77498 740 1374 0 79834 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 324852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17323
/proc/meminfo: memFree=29332376/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=324996 CPUtime=1542.34
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3426662 0 0 0 148858 5376 0 0 25 0 1 0 134118014 332795904 77538 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 81249 77538 740 1374 0 79870 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 324996

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17325
/proc/meminfo: memFree=29256564/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=327168 CPUtime=1602.34
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3535287 0 0 0 154653 5581 0 0 25 0 1 0 134118014 335020032 78095 4089446400 4194304 9819077 140734409521616 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 81834 78096 740 1374 0 80455 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 327168

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17326
/proc/meminfo: memFree=29159536/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=329664 CPUtime=1662.34
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3632693 0 0 0 160447 5787 0 0 25 0 1 0 134118014 337575936 78602 4089446400 4194304 9819077 140734409521616 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 82416 78602 740 1374 0 81037 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 329664

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17331
/proc/meminfo: memFree=29035580/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=337328 CPUtime=1722.34
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3737306 0 0 0 166252 5982 0 0 25 0 1 0 134118014 345423872 80350 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 84332 80350 740 1374 0 82953 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 337328

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17333
/proc/meminfo: memFree=28928644/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=345076 CPUtime=1782.34
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3864992 0 0 0 172049 6185 0 0 25 0 1 0 134118014 353357824 82348 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 86269 82348 740 1374 0 84890 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 345076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17333
/proc/meminfo: memFree=28911400/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=345612 CPUtime=1800.05
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3906866 0 0 0 173762 6243 0 0 25 0 1 0 134118014 353906688 82508 4089446400 4194304 9819077 140734409521616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17253/statm: 86403 82508 740 1374 0 85024 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 345612

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

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

[startup+1800.2 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17333
/proc/meminfo: memFree=28911400/32951124 swapFree=67111528/67111528
[pid=17253] ppid=17251 vsize=343620 CPUtime=1800.24
/proc/17253/stat : 17253 (pbscip.linux.x8) R 17251 17253 17030 0 -1 4202496 3906887 0 0 0 173781 6243 0 0 18 0 1 0 134118014 351866880 82009 4089446400 4194304 9819077 140734409521616 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17253/statm: 85905 82009 741 1374 0 84526 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 343620

Child status: 0
Real time (s): 1800.28
CPU time (s): 1800.33
CPU user time (s): 1737.88
CPU system time (s): 62.4525
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 346488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.88
system time used= 62.4525
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906891
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= 4
involuntary context switches= 2874

runsolver used 2.88556 second user time and 5.55116 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 22:03:54
IDJOB=2693003
IDBENCH=79286
IDSOLVER=1205
FILE ID=node142/2693003-1277928234
PBS_JOBID= 11197377
Free space on /tmp= 74180 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.1900554420--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-2693003-1277928234/watcher-2693003-1277928234 -o /tmp/evaluation-result-2693003-1277928234/solver-2693003-1277928234 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693003-1277928234.wbo -t 1800 -m 3800

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

MD5SUM BENCH= ce7c3a365231565303f31d834d531ee5
RANDOM SEED=957224897

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31346212 kB
Buffers:        207512 kB
Cached:        1076612 kB
SwapCached:          0 kB
Active:         603928 kB
Inactive:       855056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31346212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6304 kB
Writeback:           0 kB
AnonPages:      175204 kB
Mapped:          20304 kB
Slab:            81028 kB
PageTables:       5376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656160 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= 74168 MiB
End job on node142 at 2010-06-30 22:33:56