Trace number 2693061

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.36 1800.3

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MD5SUM14bc8800f159591dc4e79c8dbc089eb4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark390.912
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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-2693061-1277930767.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 138261
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.382610e+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.97
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.382610e+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.382610e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.382610e+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.382610e+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.382610e+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.382610e+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.382610e+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.382610e+05 |    Inf 
14.79/14.87	c  14.3s| 10000 | 10001 |  4248 |   0.4 |  45M|1833 |   0 |5645 |5414 |5645 | 222 |1603 |   0 | 627 | 0.000000e+00 | 1.382610e+05 |    Inf 
27.59/27.66	c  26.8s| 20000 | 20001 |  5397 |   0.3 |  66M|1833 |   0 |5645 |5414 |5645 | 258 |1930 |   0 | 663 | 0.000000e+00 | 1.382610e+05 |    Inf 
40.29/40.38	c  39.2s| 30000 | 30001 |  6210 |   0.2 |  85M|1833 |   0 |5645 |5414 |5645 | 255 |2179 |   0 | 689 | 0.000000e+00 | 1.382610e+05 |    Inf 
52.90/52.96	c  51.4s| 40000 | 40001 |  6701 |   0.2 | 105M|1833 |   0 |5645 |5414 |5645 | 231 |2312 |   0 | 694 | 0.000000e+00 | 1.382610e+05 |    Inf 
65.99/66.07	c  64.2s| 50000 | 50001 |  7839 |   0.2 | 124M|1833 |   0 |5645 |5414 |5645 | 232 |2682 |   0 | 727 | 0.000000e+00 | 1.382610e+05 |    Inf 
78.99/79.08	c  76.9s| 60000 | 60001 |  8944 |   0.1 | 143M|1833 |   0 |5645 |5414 |5645 | 271 |3068 |   0 | 747 | 0.000000e+00 | 1.382610e+05 |    Inf 
92.09/92.19	c  89.7s| 70000 | 70001 | 10188 |   0.1 | 163M|1833 |   0 |5645 |5414 |5645 | 231 |3516 |   0 | 781 | 0.000000e+00 | 1.382610e+05 |    Inf 
105.09/105.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
105.09/105.18	c   102s| 80000 | 80001 | 11372 |   0.1 | 182M|1833 |   0 |5645 |5414 |5645 | 242 |3869 |   0 | 799 | 0.000000e+00 | 1.382610e+05 |    Inf 
118.00/118.09	c   115s| 90000 | 90001 | 12355 |   0.1 | 201M|1833 |   0 |5645 |5414 |5645 | 232 |4198 |   0 | 813 | 0.000000e+00 | 1.382610e+05 |    Inf 
129.70/129.71	o 665
129.70/129.71	c * 126s| 98955 | 97306 | 13264 |   0.1 | 216M|1833 |   - |5645 |5434 |5645 | 247 |4475 |  20 | 829 | 0.000000e+00 | 6.650000e+02 |    Inf 
131.29/131.33	c   128s|100000 | 98351 | 13792 |   0.1 | 218M|1833 |   0 |5645 |5434 |5645 | 234 |4582 |  20 | 840 | 0.000000e+00 | 6.650000e+02 |    Inf 
143.29/143.33	o 565
143.29/143.33	c * 139s|108037 |103629 | 17203 |   0.2 | 229M|1833 |   - |5645 |5464 |5645 | 262 |5692 |  50 | 898 | 0.000000e+00 | 5.650000e+02 |    Inf 
143.29/143.34	o 558
143.29/143.34	c * 140s|108038 |103299 | 17203 |   0.2 | 229M|1833 |   - |5645 |5464 |5645 | 262 |5692 |  50 | 898 | 0.000000e+00 | 5.580000e+02 |    Inf 
146.10/146.12	o 551
146.10/146.12	c * 142s|109600 |104296 | 18300 |   0.2 | 232M|1833 |   - |5645 |5835 |5645 | 219 |6067 | 421 | 911 | 0.000000e+00 | 5.510000e+02 |    Inf 
146.70/146.76	c   143s|110000 |104683 | 18357 |   0.2 | 232M|1833 |   0 |5645 |5881 |5645 | 222 |6080 | 467 | 911 | 0.000000e+00 | 5.510000e+02 |    Inf 
147.80/147.86	o 518
147.80/147.86	c * 144s|110638 |102095 | 18564 |   0.2 | 228M|1833 |   - |5645 |6009 |5645 | 227 |6172 | 595 | 913 | 0.000000e+00 | 5.180000e+02 |    Inf 
150.70/150.79	o 456
150.70/150.79	c * 147s|112110 | 93555 | 19572 |   0.2 | 214M|1833 |   - |5645 |6402 |5645 | 252 |6484 | 988 | 927 | 0.000000e+00 | 4.560000e+02 |    Inf 
151.60/151.69	o 440
151.60/151.69	c * 148s|112522 | 90484 | 20034 |   0.2 | 209M|1833 |   - |5645 |6565 |5645 | 240 |6621 |1151 | 928 | 0.000000e+00 | 4.400000e+02 |    Inf 
152.29/152.31	o 423
152.29/152.31	c * 148s|112772 | 87117 | 20543 |   0.2 | 202M|1833 |   - |5645 |6672 |5645 | 227 |6757 |1258 | 932 | 0.000000e+00 | 4.230000e+02 |    Inf 
152.60/152.65	o 415
152.60/152.65	c * 149s|112908 | 85499 | 20766 |   0.2 | 199M|1833 |   - |5645 |6731 |5645 | 244 |6813 |1317 | 932 | 0.000000e+00 | 4.150000e+02 |    Inf 
152.69/152.77	o 393
152.69/152.77	c * 149s|112943 | 80685 | 20829 |   0.2 | 190M|1833 |   - |5645 |6762 |5645 | 262 |6831 |1348 | 932 | 0.000000e+00 | 3.930000e+02 |    Inf 
152.99/153.08	o 387
152.99/153.08	c * 149s|113065 | 79281 | 21008 |   0.2 | 188M|1833 |   - |5645 |6876 |5645 | 236 |6872 |1462 | 935 | 0.000000e+00 | 3.870000e+02 |    Inf 
155.60/155.64	o 381
155.60/155.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
155.60/155.64	c * 151s|114165 | 78638 | 22758 |   0.2 | 188M|1833 |   - |5645 |7462 |5645 | 239 |7388 |2048 | 948 | 0.000000e+00 | 3.810000e+02 |    Inf 
157.39/157.40	o 354
157.39/157.40	c * 153s|114926 | 72366 | 23761 |   0.2 | 177M|1833 |   - |5645 |8021 |5645 | 239 |7715 |2607 | 954 | 0.000000e+00 | 3.540000e+02 |    Inf 
157.79/157.80	o 341
157.79/157.80	c * 154s|115063 | 69130 | 23972 |   0.2 | 171M|1833 |   - |5645 |8135 |5645 | 252 |7784 |2722 | 957 | 0.000000e+00 | 3.410000e+02 |    Inf 
162.20/162.21	o 339
162.20/162.21	c * 158s|116984 | 70201 | 26495 |   0.2 | 177M|1833 |   - |5645 |9170 |5645 | 244 |8504 |3837 | 983 | 0.000000e+00 | 3.390000e+02 |    Inf 
162.80/162.88	o 338
162.80/162.88	c * 158s|117231 | 70132 | 26883 |   0.2 | 178M|1833 |   - |5645 |9282 |5645 | 239 |8599 |3975 | 987 | 0.000000e+00 | 3.380000e+02 |    Inf 
163.50/163.50	o 335
163.50/163.50	c * 159s|117448 | 69422 | 27362 |   0.2 | 177M|1833 |   - |5645 |9331 |5645 | 254 |8744 |4065 | 987 | 0.000000e+00 | 3.350000e+02 |    Inf 
165.70/165.70	o 317
165.70/165.70	c * 161s|118214 | 65195 | 28843 |   0.2 | 170M|1833 |   - |5645 |9722 |5645 | 247 |9256 |4831 | 992 | 0.000000e+00 | 3.170000e+02 |    Inf 
167.40/167.46	o 312
167.40/167.46	c * 163s|118922 | 64435 | 29878 |   0.2 | 169M|1833 |   - |5645 |  10k|5645 | 244 |9624 |5396 |1003 | 0.000000e+00 | 3.120000e+02 |    Inf 
167.40/167.48	o 303
167.40/167.48	c * 163s|118923 | 62053 | 29881 |   0.2 | 164M|1833 |   - |5645 |  10k|5645 | 244 |9624 |5396 |1003 | 0.000000e+00 | 3.030000e+02 |    Inf 
170.59/170.66	c   166s|120000 | 62861 | 32485 |   0.3 | 168M|1833 |   0 |5645 |9992 |5645 | 235 |  10k|6333 |1037 | 0.000000e+00 | 3.030000e+02 |    Inf 
170.70/170.76	o 301
170.70/170.76	c * 166s|120047 | 62379 | 32515 |   0.3 | 167M|1833 |   - |5645 |9992 |5645 | 237 |  10k|6333 |1037 | 0.000000e+00 | 3.010000e+02 |    Inf 
170.70/170.77	o 291
170.70/170.77	c * 166s|120048 | 59773 | 32515 |   0.3 | 161M|1833 |   - |5645 |9992 |5645 | 237 |  10k|6333 |1037 | 0.000000e+00 | 2.910000e+02 |    Inf 
173.89/173.98	o 272
173.89/173.98	c * 169s|121057 | 55615 | 35971 |   0.3 | 153M|1833 |   - |5645 |9725 |5645 | 246 |  11k|7165 |1058 | 0.000000e+00 | 2.720000e+02 |    Inf 
176.00/176.01	o 253
176.00/176.01	c * 171s|121813 | 51234 | 38400 |   0.3 | 144M|1833 |   - |5645 |9199 |5645 | 234 |  12k|7739 |1100 | 0.000000e+00 | 2.530000e+02 |    Inf 
176.39/176.42	o 252
176.39/176.42	c * 172s|121879 | 51047 | 39136 |   0.3 | 145M|1833 |   - |5645 |8978 |5645 | 229 |  12k|7793 |1132 | 0.000000e+00 | 2.520000e+02 |    Inf 
176.39/176.43	o 250
176.39/176.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
176.39/176.43	c * 172s|121880 | 50561 | 39152 |   0.3 | 144M|1833 |   - |5645 |8978 |5645 | 234 |  12k|7793 |1132 | 0.000000e+00 | 2.500000e+02 |    Inf 
177.19/177.29	o 249
177.19/177.29	c * 172s|122250 | 50616 | 39813 |   0.3 | 144M|1833 |   - |5645 |8914 |5645 | 235 |  12k|8002 |1133 | 0.000000e+00 | 2.490000e+02 |    Inf 
178.60/178.62	o 237
178.60/178.62	c * 174s|122653 | 47866 | 41613 |   0.3 | 138M|1833 |   - |5645 |8367 |5645 | 218 |  13k|8194 |1173 | 0.000000e+00 | 2.370000e+02 |    Inf 
186.79/186.86	o 224
186.79/186.86	c * 182s|125821 | 46987 | 48963 |   0.4 | 139M|1833 |   - |5645 |8392 |5645 | 219 |  15k|9944 |1225 | 0.000000e+00 | 2.240000e+02 |    Inf 
188.90/188.98	o 221
188.90/188.98	c * 184s|126491 | 46422 | 50715 |   0.4 | 139M|1833 |   - |5645 |8523 |5645 | 227 |  15k|  10k|1234 | 0.000000e+00 | 2.210000e+02 |    Inf 
189.30/189.34	o 219
189.30/189.34	c * 184s|126608 | 45950 | 50977 |   0.4 | 138M|1833 |   - |5645 |8523 |5645 | 243 |  15k|  10k|1245 | 0.000000e+00 | 2.190000e+02 |    Inf 
189.40/189.48	o 197
189.40/189.48	c * 184s|126715 | 39753 | 50997 |   0.4 | 123M|1833 |   - |5645 |8522 |5645 | 245 |  15k|  10k|1245 | 0.000000e+00 | 1.970000e+02 |    Inf 
190.69/190.76	o 191
190.69/190.76	c * 186s|127138 | 38386 | 51886 |   0.4 | 121M|1833 |   - |5645 |8396 |5645 | 215 |  16k|  10k|1245 | 0.000000e+00 | 1.910000e+02 |    Inf 
190.80/190.89	o 164
190.80/190.89	c * 186s|127245 | 29672 | 51886 |   0.4 | 102M|1833 |   - |5645 |8396 |5645 | 215 |  16k|  10k|1245 | 0.000000e+00 | 1.640000e+02 |    Inf 
191.10/191.14	o 146
191.10/191.14	c * 186s|127367 | 23962 | 52000 |   0.4 |  89M|1833 |   - |5645 |8334 |5645 | 218 |  16k|  10k|1247 | 0.000000e+00 | 1.460000e+02 |    Inf 
193.10/193.19	o 145
193.10/193.19	c * 188s|127842 | 23885 | 55246 |   0.4 |  91M|1833 |   - |5645 |7252 |5645 | 212 |  17k|  11k|1295 | 0.000000e+00 | 1.450000e+02 |    Inf 
193.39/193.42	o 125
193.39/193.42	c * 188s|127964 | 17293 | 55559 |   0.4 |  75M|1833 |   - |5645 |7240 |5645 | 205 |  17k|  11k|1295 | 0.000000e+00 | 1.250000e+02 |    Inf 
193.39/193.49	o 108
193.39/193.49	c * 188s|127980 | 13520 | 55618 |   0.4 |  67M|1833 |   - |5645 |7212 |5645 | 197 |  17k|  11k|1295 | 0.000000e+00 | 1.080000e+02 |    Inf 
199.60/199.69	c   194s|130000 | 14680 | 61164 |   0.5 |  74M|1833 |   0 |5645 |7423 |5645 | 217 |  18k|  13k|1327 | 0.000000e+00 | 1.080000e+02 |    Inf 
200.30/200.32	o 99
200.30/200.32	c * 195s|130297 | 12611 | 61567 |   0.5 |  70M|1833 |   - |5645 |7426 |5645 | 226 |  18k|  13k|1328 | 0.000000e+00 | 9.900000e+01 |    Inf 
202.59/202.63	o 97
202.59/202.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
202.59/202.63	c * 197s|131005 | 12611 | 63636 |   0.5 |  72M|1833 |   - |5645 |7110 |5645 | 207 |  19k|  13k|1353 | 0.000000e+00 | 9.700000e+01 |    Inf 
204.40/204.48	o 93
204.40/204.48	c * 199s|131508 | 11756 | 65541 |   0.5 |  72M|1833 |   - |5645 |7041 |5645 | 199 |  20k|  14k|1376 | 0.000000e+00 | 9.300000e+01 |    Inf 
217.60/217.67	o 83
217.60/217.67	c * 212s|135259 | 10548 | 78425 |   0.6 |  78M|1833 |   - |5645 |6930 |5645 | 226 |  23k|  17k|1541 | 0.000000e+00 | 8.300000e+01 |    Inf 
217.70/217.72	o 79
217.70/217.72	c * 212s|135266 |  9508 | 78480 |   0.6 |  76M|1833 |   - |5645 |6627 |5645 | 212 |  23k|  17k|1541 | 0.000000e+00 | 7.900000e+01 |    Inf 
217.70/217.77	o 72
217.70/217.77	c * 212s|135286 |  8291 | 78480 |   0.6 |  69M|1833 |   - |5645 |6475 |5645 | 212 |  23k|  17k|1541 | 0.000000e+00 | 7.200000e+01 |    Inf 
233.30/233.32	c   227s|140000 |  9135 | 96562 |   0.7 |  79M|1833 |   0 |5645 |6741 |5645 | 217 |  27k|  22k|1788 | 0.000000e+00 | 7.200000e+01 |    Inf 
259.89/259.93	o 59
259.89/259.93	c * 253s|148452 |  8025 |125462 |   0.8 |  90M|1833 |   - |5645 |7714 |5645 | 242 |  33k|  32k|2087 | 0.000000e+00 | 5.900000e+01 |    Inf 
264.10/264.15	c   257s|150000 |  8115 |128945 |   0.9 |  92M|1833 |   - |5645 |6940 |   0 |   0 |  33k|  33k|2107 | 0.000000e+00 | 5.900000e+01 |    Inf 
264.39/264.44	o 56
264.39/264.44	c * 257s|150125 |  7664 |129026 |   0.9 |  90M|1833 |   - |5645 |6981 |5645 | 257 |  33k|  34k|2108 | 0.000000e+00 | 5.600000e+01 |    Inf 
270.10/270.17	o 53
270.10/270.17	c * 262s|152111 |  7556 |134488 |   0.9 |  92M|1833 |   - |5645 |7203 |5645 | 213 |  34k|  36k|2160 | 0.000000e+00 | 5.300000e+01 |    Inf 
280.00/280.05	o 44
280.00/280.05	c * 272s|155599 |  6912 |144878 |   0.9 |  93M|1833 |   - |5645 |7020 |5645 | 256 |  37k|  40k|2249 | 0.000000e+00 | 4.400000e+01 |    Inf 
292.40/292.41	c   284s|160000 |  7275 |159382 |   1.0 |  97M|1833 |   - |5645 |8007 |   0 |   0 |  40k|  45k|2326 | 0.000000e+00 | 4.400000e+01 |    Inf 
304.30/304.32	o 40
304.30/304.32	c * 295s|164430 |  7086 |171907 |   1.0 |  99M|1833 |   - |5645 |6905 |5645 | 232 |  43k|  51k|2426 | 0.000000e+00 | 4.000000e+01 |    Inf 
305.19/305.24	o 33
305.19/305.24	c * 296s|164748 |  6356 |172576 |   1.0 |  94M|1833 |   - |5645 |6906 |5645 | 204 |  43k|  51k|2428 | 0.000000e+00 | 3.300000e+01 |    Inf 
317.40/317.49	c   308s|170000 |  6478 |187380 |   1.1 |  97M|1833 |   - |5645 |6703 |   0 |   0 |  46k|  57k|2551 | 0.000000e+00 | 3.300000e+01 |    Inf 
336.40/336.47	o 32
336.40/336.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.40/336.47	c * 326s|178177 |  6742 |209638 |   1.2 | 103M|1833 |   - |5645 |8412 |5645 | 248 |  50k|  68k|2736 | 0.000000e+00 | 3.200000e+01 |    Inf 
340.90/340.99	c   331s|180000 |  6805 |214087 |   1.2 | 104M|1833 |   0 |5645 |8438 |5645 | 271 |  50k|  70k|2744 | 0.000000e+00 | 3.200000e+01 |    Inf 
345.80/345.87	o 31
345.80/345.87	c * 335s|182193 |  6786 |218558 |   1.2 | 105M|1833 |   - |5645 |8412 |5645 | 256 |  51k|  73k|2763 | 0.000000e+00 | 3.100000e+01 |    Inf 
355.30/355.30	o 27
355.30/355.30	c * 344s|186155 |  6551 |228793 |   1.2 | 103M|1833 |   - |5645 |6807 |5645 | 259 |  53k|  78k|2879 | 0.000000e+00 | 2.700000e+01 |    Inf 
361.50/361.54	o 25
361.50/361.54	c * 350s|188796 |  6340 |237678 |   1.3 | 101M|1833 |   - |5645 |6307 |5645 | 251 |  54k|  81k|2939 | 0.000000e+00 | 2.500000e+01 |    Inf 
364.50/364.53	c   353s|190000 |  6304 |241661 |   1.3 | 102M|1833 |   - |5645 |5736 |   0 |   0 |  55k|  83k|2971 | 0.000000e+00 | 2.500000e+01 |    Inf 
372.00/372.06	o 16
372.00/372.06	c * 360s|193436 |  5002 |252278 |   1.3 |  86M|1833 |   - |5645 |6578 |5645 | 257 |  57k|  88k|3035 | 0.000000e+00 | 1.600000e+01 |    Inf 
384.60/384.62	c   372s|200000 |  5006 |271346 |   1.4 |  89M|1833 |   - |5645 |7565 |   0 |   0 |  59k|  96k|3159 | 0.000000e+00 | 1.600000e+01 |    Inf 
404.00/404.07	c   391s|210000 |  5153 |300199 |   1.4 |  93M|1833 |   - |5645 |  11k|5645 | 268 |  63k| 109k|3289 | 0.000000e+00 | 1.600000e+01 |    Inf 
423.20/423.28	c   409s|220000 |  5192 |326868 |   1.5 |  95M|1833 |   - |5645 |  10k|   0 |   0 |  67k| 122k|3427 | 0.000000e+00 | 1.600000e+01 |    Inf 
443.50/443.52	c   429s|230000 |  5244 |359711 |   1.6 |  98M|1833 |   1 |5645 |  10k|5645 | 243 |  71k| 136k|3600 | 0.000000e+00 | 1.600000e+01 |    Inf 
465.31/465.31	c   450s|240000 |  5289 |402884 |   1.7 | 100M|1833 |   - |5645 |  13k|   0 |   0 |  77k| 148k|3749 | 0.000000e+00 | 1.600000e+01 |    Inf 
486.01/486.00	c   470s|250000 |  5410 |437839 |   1.8 | 103M|1833 |   8 |5645 |  10k|5645 | 188 |  81k| 161k|3914 | 0.000000e+00 | 1.600000e+01 |    Inf 
506.50/506.54	c   489s|260000 |  5665 |466090 |   1.8 | 107M|1833 |   1 |5645 |  13k|5645 | 220 |  85k| 174k|4044 | 0.000000e+00 | 1.600000e+01 |    Inf 
527.21/527.21	c   509s|270000 |  5821 |495500 |   1.8 | 110M|1833 |   - |5645 |  12k|   0 |   0 |  89k| 187k|4132 | 0.000000e+00 | 1.600000e+01 |    Inf 
547.61/547.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
547.61/547.62	c   529s|280000 |  6123 |525170 |   1.9 | 113M|1833 |   1 |5645 |  12k|5645 | 199 |  93k| 200k|4253 | 0.000000e+00 | 1.600000e+01 |    Inf 
568.71/568.74	c   549s|290000 |  6308 |555479 |   1.9 | 117M|1833 |   - |5645 |  13k|   0 |   0 |  98k| 213k|4321 | 0.000000e+00 | 1.600000e+01 |    Inf 
590.11/590.15	c   570s|300000 |  6519 |586707 |   2.0 | 121M|1833 |   - |5645 |  15k|   0 |   0 | 102k| 226k|4453 | 0.000000e+00 | 1.600000e+01 |    Inf 
611.71/611.70	c   590s|310000 |  6632 |618050 |   2.0 | 124M|1833 |   - |5645 |  16k|   0 |   0 | 106k| 240k|4521 | 0.000000e+00 | 1.600000e+01 |    Inf 
632.21/632.22	c   610s|320000 |  6673 |644891 |   2.0 | 125M|1833 |   - |5645 |  12k|   0 |   0 | 109k| 254k|4625 | 0.000000e+00 | 1.600000e+01 |    Inf 
652.81/652.83	c   630s|330000 |  6778 |677291 |   2.1 | 128M|1833 |   - |5645 |  11k|   0 |   0 | 113k| 267k|4744 | 0.000000e+00 | 1.600000e+01 |    Inf 
673.51/673.55	c   650s|340000 |  6833 |708549 |   2.1 | 130M|1833 |  16 |5645 |  12k|5645 | 229 | 117k| 280k|4835 | 0.000000e+00 | 1.600000e+01 |    Inf 
690.11/690.14	o 13
690.11/690.14	c * 666s|348194 |  6560 |734233 |   2.1 | 126M|1833 |   - |5645 |  12k|5645 | 238 | 120k| 291k|4908 | 0.000000e+00 | 1.300000e+01 |    Inf 
693.92/693.93	c   669s|350000 |  6590 |740954 |   2.1 | 126M|1833 |   - |5645 |  11k|   0 |   0 | 121k| 293k|4918 | 0.000000e+00 | 1.300000e+01 |    Inf 
713.51/713.50	c   688s|360000 |  6755 |776465 |   2.2 | 128M|1833 |   9 |5645 |  11k|5645 | 180 | 125k| 306k|5106 | 0.000000e+00 | 1.300000e+01 |    Inf 
732.81/732.81	c   707s|370000 |  6862 |809633 |   2.2 | 131M|1833 |   - |5645 |  13k|   0 |   0 | 128k| 319k|5178 | 0.000000e+00 | 1.300000e+01 |    Inf 
752.61/752.67	c   726s|380000 |  6928 |842387 |   2.2 | 133M|1833 |   - |5645 |  15k|   0 |   0 | 132k| 332k|5270 | 0.000000e+00 | 1.300000e+01 |    Inf 
774.42/774.46	c   747s|390000 |  6997 |875226 |   2.2 | 135M|1833 |   - |5645 |  17k|   0 |   0 | 135k| 346k|5356 | 0.000000e+00 | 1.300000e+01 |    Inf 
776.81/776.89	o 10
776.81/776.89	c * 749s|391106 |  6386 |879080 |   2.2 | 125M|1833 |   - |5645 |  18k|5645 | 266 | 135k| 347k|5356 | 0.000000e+00 | 1.000000e+01 |    Inf 
796.51/796.57	c   768s|400000 |  6405 |911746 |   2.3 | 126M|1833 |   - |5645 |  15k|   0 |   0 | 138k| 359k|5462 | 0.000000e+00 | 1.000000e+01 |    Inf 
817.71/817.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
817.71/817.77	c   788s|410000 |  6413 |944255 |   2.3 | 127M|1833 |   - |5645 |  16k|   0 |   0 | 142k| 372k|5526 | 0.000000e+00 | 1.000000e+01 |    Inf 
838.62/838.69	c   808s|420000 |  6464 |978593 |   2.3 | 128M|1833 |   1 |5645 |  17k|5645 | 248 | 145k| 386k|5602 | 0.000000e+00 | 1.000000e+01 |    Inf 
859.82/859.89	c   829s|430000 |  6501 |  1012k|   2.4 | 129M|1833 |   - |5645 |  16k|   0 |   0 | 149k| 400k|5717 | 0.000000e+00 | 1.000000e+01 |    Inf 
881.52/881.59	c   850s|440000 |  6547 |  1047k|   2.4 | 131M|1833 |   - |5645 |  18k|   0 |   0 | 154k| 413k|5790 | 0.000000e+00 | 1.000000e+01 |    Inf 
905.33/905.37	c   873s|450000 |  6652 |  1083k|   2.4 | 134M|1833 |   - |5645 |  21k|   0 |   0 | 158k| 427k|5846 | 0.000000e+00 | 1.000000e+01 |    Inf 
929.22/929.24	c   896s|460000 |  6615 |  1121k|   2.4 | 134M|1833 |   - |5645 |  18k|   0 |   0 | 162k| 441k|5929 | 0.000000e+00 | 1.000000e+01 |    Inf 
950.72/950.71	c   916s|470000 |  6617 |  1155k|   2.5 | 134M|1833 |   - |5645 |  16k|   0 |   0 | 166k| 454k|6020 | 0.000000e+00 | 1.000000e+01 |    Inf 
973.22/973.23	c   938s|480000 |  6701 |  1190k|   2.5 | 136M|1833 |   1 |5645 |  17k|5645 | 243 | 171k| 467k|6101 | 0.000000e+00 | 1.000000e+01 |    Inf 
995.22/995.24	c   959s|490000 |  6714 |  1222k|   2.5 | 137M|1833 |  15 |5645 |  17k|5645 | 219 | 175k| 480k|6174 | 0.000000e+00 | 1.000000e+01 |    Inf 
1017.33/1017.35	c   981s|500000 |  6752 |  1255k|   2.5 | 139M|1833 |   1 |5645 |  20k|5645 | 246 | 178k| 493k|6255 | 0.000000e+00 | 1.000000e+01 |    Inf 
1040.92/1040.91	c  1003s|510000 |  6842 |  1291k|   2.5 | 142M|1833 |   - |5645 |  24k|   0 |   0 | 182k| 507k|6311 | 0.000000e+00 | 1.000000e+01 |    Inf 
1064.93/1064.98	c  1027s|520000 |  6756 |  1326k|   2.5 | 141M|1833 |   - |5645 |  21k|   0 |   0 | 185k| 521k|6399 | 0.000000e+00 | 1.000000e+01 |    Inf 
1089.23/1089.23	c  1050s|530000 |  6793 |  1358k|   2.6 | 142M|1833 |   - |5645 |  23k|   0 |   0 | 189k| 534k|6454 | 0.000000e+00 | 1.000000e+01 |    Inf 
1113.53/1113.56	c  1074s|540000 |  6870 |  1387k|   2.6 | 145M|1833 |   1 |5645 |  25k|5645 | 251 | 193k| 547k|6511 | 0.000000e+00 | 1.000000e+01 |    Inf 
1138.73/1138.73	c  1098s|550000 |  6924 |  1423k|   2.6 | 145M|1833 |   - |5645 |  23k|   0 |   0 | 197k| 560k|6604 | 0.000000e+00 | 1.000000e+01 |    Inf 
1163.12/1163.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.12/1163.16	c  1122s|560000 |  7059 |  1460k|   2.6 | 147M|1833 |   1 |5645 |  22k|5645 | 219 | 202k| 574k|6684 | 0.000000e+00 | 1.000000e+01 |    Inf 
1186.93/1186.98	c  1145s|570000 |  7176 |  1501k|   2.6 | 149M|1833 |   - |5645 |  21k|   0 |   0 | 206k| 588k|6774 | 0.000000e+00 | 1.000000e+01 |    Inf 
1209.53/1209.56	c  1167s|580000 |  7352 |  1541k|   2.7 | 150M|1833 |  25 |5645 |  17k|5645 | 239 | 211k| 602k|6861 | 0.000000e+00 | 1.000000e+01 |    Inf 
1231.23/1231.26	c  1188s|590000 |  7430 |  1579k|   2.7 | 151M|1833 |  14 |5645 |  15k|5645 | 240 | 215k| 616k|6944 | 0.000000e+00 | 1.000000e+01 |    Inf 
1251.93/1251.92	c  1208s|600000 |  7580 |  1615k|   2.7 | 153M|1833 |   1 |5645 |  15k|5645 | 243 | 219k| 630k|7003 | 0.000000e+00 | 1.000000e+01 |    Inf 
1272.63/1272.64	c  1228s|610000 |  7678 |  1648k|   2.7 | 154M|1833 |   1 |5645 |  16k|5645 | 248 | 223k| 644k|7059 | 0.000000e+00 | 1.000000e+01 |    Inf 
1294.03/1294.03	c  1248s|620000 |  7825 |  1686k|   2.7 | 157M|1833 |   - |5645 |  16k|   0 |   0 | 226k| 658k|7124 | 0.000000e+00 | 1.000000e+01 |    Inf 
1315.13/1315.17	c  1269s|630000 |  7954 |  1721k|   2.7 | 159M|1833 |   1 |5645 |  17k|5645 | 248 | 230k| 671k|7169 | 0.000000e+00 | 1.000000e+01 |    Inf 
1335.93/1335.91	c  1289s|640000 |  8046 |  1754k|   2.7 | 161M|1833 |   - |5645 |  17k|   0 |   0 | 234k| 685k|7242 | 0.000000e+00 | 1.000000e+01 |    Inf 
1357.53/1357.51	c  1310s|650000 |  8146 |  1790k|   2.8 | 163M|1833 |   1 |5645 |  19k|5645 | 244 | 238k| 699k|7293 | 0.000000e+00 | 1.000000e+01 |    Inf 
1380.03/1380.08	c  1332s|660000 |  8302 |  1828k|   2.8 | 165M|1833 |   1 |5645 |  20k|5645 | 240 | 243k| 712k|7338 | 0.000000e+00 | 1.000000e+01 |    Inf 
1401.53/1401.57	c  1352s|670000 |  8502 |  1857k|   2.8 | 168M|1833 |   1 |5645 |  21k|5645 | 280 | 246k| 726k|7378 | 0.000000e+00 | 1.000000e+01 |    Inf 
1423.94/1423.94	c  1374s|680000 |  8553 |  1891k|   2.8 | 170M|1833 |  13 |5645 |  22k|5645 | 246 | 250k| 741k|7419 | 0.000000e+00 | 1.000000e+01 |    Inf 
1446.13/1446.19	c  1396s|690000 |  8587 |  1923k|   2.8 | 171M|1833 |  10 |5645 |  22k|5645 | 250 | 253k| 755k|7464 | 0.000000e+00 | 1.000000e+01 |    Inf 
1469.43/1469.41	c  1418s|700000 |  8693 |  1956k|   2.8 | 173M|1833 |   1 |5645 |  22k|5645 | 255 | 256k| 769k|7514 | 0.000000e+00 | 1.000000e+01 |    Inf 
1492.34/1492.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1492.34/1492.34	c  1440s|710000 |  8784 |  1989k|   2.8 | 175M|1833 |  13 |5645 |  24k|5645 | 256 | 261k| 783k|7559 | 0.000000e+00 | 1.000000e+01 |    Inf 
1516.34/1516.39	c  1464s|720000 |  8829 |  2024k|   2.8 | 177M|1833 |   1 |5645 |  25k|5645 | 250 | 265k| 797k|7597 | 0.000000e+00 | 1.000000e+01 |    Inf 
1540.84/1540.81	c  1488s|730000 |  8899 |  2060k|   2.8 | 179M|1833 |   1 |5645 |  26k|5645 | 252 | 269k| 811k|7658 | 0.000000e+00 | 1.000000e+01 |    Inf 
1565.74/1565.74	c  1512s|740000 |  8926 |  2096k|   2.8 | 179M|1833 |   - |5645 |  26k|   0 |   0 | 273k| 825k|7701 | 0.000000e+00 | 1.000000e+01 |    Inf 
1591.65/1591.67	c  1537s|750000 |  8971 |  2131k|   2.8 | 181M|1833 |   - |5645 |  29k|   0 |   0 | 277k| 839k|7738 | 0.000000e+00 | 1.000000e+01 |    Inf 
1618.74/1618.78	c  1563s|760000 |  8956 |  2170k|   2.9 | 182M|1833 |  18 |5645 |  28k|5645 | 261 | 280k| 853k|7788 | 0.000000e+00 | 1.000000e+01 |    Inf 
1645.14/1645.13	c  1589s|770000 |  9080 |  2201k|   2.9 | 183M|1833 |   1 |5645 |  26k|5645 | 234 | 284k| 867k|7894 | 0.000000e+00 | 1.000000e+01 |    Inf 
1670.04/1670.07	c  1613s|780000 |  9053 |  2231k|   2.9 | 183M|1833 |   1 |5645 |  25k|5645 | 254 | 288k| 881k|7936 | 0.000000e+00 | 1.000000e+01 |    Inf 
1695.64/1695.63	c  1638s|790000 |  9050 |  2269k|   2.9 | 184M|1833 |  16 |5645 |  25k|5645 | 250 | 291k| 896k|7979 | 0.000000e+00 | 1.000000e+01 |    Inf 
1719.44/1719.40	c  1661s|800000 |  9041 |  2305k|   2.9 | 183M|1833 |   1 |5645 |  21k|5645 | 231 | 295k| 911k|8072 | 0.000000e+00 | 1.000000e+01 |    Inf 
1741.45/1741.43	c  1682s|810000 |  9221 |  2338k|   2.9 | 185M|1833 |  12 |5645 |  22k|5645 | 257 | 298k| 925k|8126 | 0.000000e+00 | 1.000000e+01 |    Inf 
1764.15/1764.12	c  1704s|820000 |  9354 |  2372k|   2.9 | 187M|1833 |   1 |5645 |  23k|5645 | 258 | 303k| 939k|8167 | 0.000000e+00 | 1.000000e+01 |    Inf 
1788.44/1788.48	c  1727s|830000 |  9612 |  2411k|   2.9 | 189M|1833 |   - |5645 |  24k|   0 |   0 | 308k| 953k|8227 | 0.000000e+00 | 1.000000e+01 |    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) : 1738.13
1800.05/1800.00	c Solving Nodes      : 834677
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+01 (466 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 
1800.05/1800.09	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.09	v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 
1800.05/1800.09	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 
1800.05/1800.09	v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.05/1800.09	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 
1800.05/1800.09	v -x29 -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 
1800.05/1800.09	v -x2 -x1 
1800.05/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.09	c Solving Time       :    1738.13
1800.05/1800.09	c Original Problem   :
1800.05/1800.09	c   Problem name     : HOME/instance-2693061-1277930767.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-2693061-1277930767.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, 31363 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.03          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.02          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        :          -       2457          -          -       4914          -          -          -          -
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     558522          0         16        611          0          0     754972
1800.05/1800.09	c   indicator        :       2707          0    4462562     180335          0        732    8520139          0          0          0
1800.05/1800.09	c   linear           :       2707          6    4477192     179718          0     263733   19390168     310433          0          0
1800.05/1800.09	c   logicor          :          0+         0    1173626          0          0      69356    1209747          0          0          0
1800.05/1800.09	c   bounddisjunction :          0+         0        726          0          0          0          0          0          0          0
1800.05/1800.09	c   countsols        :          0          0          0     134218          0          0          0          0          0          0
1800.05/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.09	c   integral         :      12.86       0.00       0.00      12.86       0.00
1800.05/1800.09	c   indicator        :      56.02       0.01      32.36      23.65       0.00
1800.05/1800.09	c   linear           :     186.91       0.01     177.13       9.77       0.00
1800.05/1800.09	c   logicor          :     199.86       0.00     199.86       0.00       0.00
1800.05/1800.09	c   bounddisjunction :       0.01       0.00       0.01       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.01          2          0          0
1800.05/1800.09	c   rootredcost      :       0.01         57          0       2457
1800.05/1800.09	c   pseudoobj        :     248.08    4501779      22768    6251288
1800.05/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.09	c   propagation      :      20.16     355857     355751    2139742       26.2      20108       13.9          -
1800.05/1800.09	c   infeasible LP    :       4.91      13940      13940     108341       40.1        250       14.0          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.07        304        304       1219       12.5        360        5.8          -
1800.05/1800.09	c   applied globally :          -          -          -     960914       21.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          :      47.84     566201          0    2048531          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.01          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.01          4          0          0          1          0
1800.05/1800.09	c   flowcover        :       0.02          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        :      12.69     378021         16        611          0          0     754972
1800.05/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.09	c   inference        :      24.49     134161          0          0          0          0     268322
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.22          -         57
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   oneopt           :       0.25         53          0
1800.05/1800.09	c   guideddiving     :       0.10         55          0
1800.05/1800.09	c   linesearchdiving :       0.28        175          0
1800.05/1800.09	c   coefdiving       :       0.24        175          0
1800.05/1800.09	c   pscostdiving     :       0.26        175          0
1800.05/1800.09	c   fracdiving       :       0.27        175          0
1800.05/1800.09	c   veclendiving     :       0.27        175          0
1800.05/1800.09	c   crossover        :       2.67         96          4
1800.05/1800.09	c   objpscostdiving  :       0.24        172          0
1800.05/1800.09	c   rootsoldiving    :       0.18        172          0
1800.05/1800.09	c   trivial          :       0.08          2          2
1800.05/1800.09	c   simplerounding   :       0.60     380890          0
1800.05/1800.09	c   zirounding       :       0.22       1000          0
1800.05/1800.09	c   rounding         :       3.47       8709          0
1800.05/1800.09	c   shifting         :       1.87       2727          0
1800.05/1800.09	c   intshifting      :       0.02          5          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           :       4.70       8608        403
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          :     472.54     447248    2427635       5.43    5137.42
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.17         74       1761      23.80   10358.82
1800.05/1800.09	c   strong branching :      10.11       8240      83306      10.11    8239.96
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            :     834677
1800.05/1800.09	c   nodes (total)    :     834677
1800.05/1800.09	c   nodes left       :       9684
1800.05/1800.09	c   max depth        :       1833
1800.05/1800.09	c   max depth (total):       1833
1800.05/1800.09	c   backtracks       :      58983 (7.1%)
1800.05/1800.09	c   delayed cutoffs  :      51347
1800.05/1800.09	c   repropagations   :    2186790 (6332783 domain reductions, 47810 cutoffs)
1800.05/1800.09	c   avg switch length:       6.75
1800.05/1800.09	c   switching time   :     232.65
1800.05/1800.09	c Solution           :
1800.05/1800.09	c   Solutions found  :        466 (58 improvements)
1800.05/1800.09	c   First Solution   : +1.38261000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.09	c   Primal Bound     : +1.00000000000000e+01   (in run 1, after 391106 nodes, 748.93 seconds, depth 33, 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.34/1800.30	c Time complete: 1800.34.

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693061-1277930767/watcher-2693061-1277930767 -o /tmp/evaluation-result-2693061-1277930767/solver-2693061-1277930767 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693061-1277930767.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.00 2.00 3/182 15367
/proc/meminfo: memFree=31352308/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=11112 CPUtime=0
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1701 0 0 0 0 0 0 0 22 0 1 0 134372310 11378688 1621 4089446400 4194304 9819077 140736951314992 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15367/statm: 2778 1621 392 1374 0 1399 0

[startup+0.061095 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15367
/proc/meminfo: memFree=31352308/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=36260 CPUtime=0.05
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 8092 0 0 0 4 1 0 0 22 0 1 0 134372310 37130240 7658 4089446400 4194304 9819077 140736951314992 18446744073709551615 8678909 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 9065 7662 469 1374 0 7686 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36260

[startup+0.101081 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15367
/proc/meminfo: memFree=31352308/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=36400 CPUtime=0.09
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 8123 0 0 0 8 1 0 0 22 0 1 0 134372310 37273600 7689 4089446400 4194304 9819077 140736951314992 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.301039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15367
/proc/meminfo: memFree=31352308/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=53512 CPUtime=0.29
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 12809 0 0 0 26 3 0 0 22 0 1 0 134372310 54796288 11776 4089446400 4194304 9819077 140736951314992 18446744073709551615 4240589 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 13378 11776 673 1374 0 11999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53512

[startup+0.70096 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15367
/proc/meminfo: memFree=31352308/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=47228 CPUtime=0.69
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 27904 0 0 0 63 6 0 0 24 0 1 0 134372310 48361472 9994 4089446400 4194304 9819077 140736951314992 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 11807 9994 697 1374 0 10428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47228

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15368
/proc/meminfo: memFree=31312124/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=48000 CPUtime=1.49
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 36889 0 0 0 140 9 0 0 25 0 1 0 134372310 49152000 10517 4089446400 4194304 9819077 140736951314992 18446744073709551615 4902914 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 12000 10517 699 1374 0 10621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48000

[startup+3.10053 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15368
/proc/meminfo: memFree=31307412/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=52492 CPUtime=3.09
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 61934 0 0 0 293 16 0 0 25 0 1 0 134372310 53751808 11493 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 13123 11493 700 1374 0 11744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52492

[startup+6.30095 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15368
/proc/meminfo: memFree=31294968/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=61216 CPUtime=6.29
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 74821 0 0 0 604 25 0 0 25 0 1 0 134372310 62685184 13832 4089446400 4194304 9819077 140736951314992 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 15304 13832 700 1374 0 13925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61216

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15368
/proc/meminfo: memFree=31274760/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=70604 CPUtime=12.69
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 81788 0 0 0 1226 43 0 0 25 0 1 0 134372310 72298496 16102 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 17651 16102 700 1374 0 16272 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70604

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15368
/proc/meminfo: memFree=31255840/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=91556 CPUtime=25.49
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 92951 0 0 0 2473 76 0 0 25 0 1 0 134372310 93753344 21377 4089446400 4194304 9819077 140736951314992 18446744073709551615 6162103 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 22889 21377 700 1374 0 21510 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91556

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15369
/proc/meminfo: memFree=31171488/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=130148 CPUtime=51.09
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 109691 0 0 0 4965 144 0 0 25 0 1 0 134372310 133271552 31045 4089446400 4194304 9819077 140736951314992 18446744073709551615 4407754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 32537 31045 700 1374 0 31158 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130148

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15370
/proc/meminfo: memFree=30982424/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=206468 CPUtime=102.3
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 144824 0 0 0 9955 275 0 0 25 0 1 0 134372310 211423232 49750 4089446400 4194304 9819077 140736951314992 18446744073709551615 4331922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 51617 49750 700 1374 0 50238 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 206468

[startup+162.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 15372
/proc/meminfo: memFree=30849332/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=281932 CPUtime=162.29
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 304992 0 0 0 15791 438 0 0 25 0 1 0 134372310 288698368 68477 4089446400 4194304 9819077 140736951314992 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 70483 68477 705 1374 0 69104 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 281932

[startup+222.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 15374
/proc/meminfo: memFree=30707552/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=376016 CPUtime=222.3
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 540465 0 0 0 21617 613 0 0 25 0 1 0 134372310 385040384 91330 4089446400 4194304 9819077 140736951314992 18446744073709551615 4675158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 94004 91330 709 1374 0 92625 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 376016

[startup+282.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 15375
/proc/meminfo: memFree=30608200/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=471960 CPUtime=282.29
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 735944 0 0 0 27411 818 0 0 25 0 1 0 134372310 483287040 113327 4089446400 4194304 9819077 140736951314992 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 117990 113327 723 1374 0 116611 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 471960

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 15376
/proc/meminfo: memFree=30575176/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=505064 CPUtime=342.3
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 901618 0 0 0 33189 1041 0 0 25 0 1 0 134372310 517185536 120548 4089446400 4194304 9819077 140736951314992 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 126266 120548 723 1374 0 124887 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 505064

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15378
/proc/meminfo: memFree=30561752/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=516048 CPUtime=402.31
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1117389 0 0 0 38931 1300 0 0 25 0 1 0 134372310 528433152 122837 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 129012 122837 725 1374 0 127633 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 516048

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15380
/proc/meminfo: memFree=30549320/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=524296 CPUtime=462.31
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1243878 0 0 0 44678 1553 0 0 25 0 1 0 134372310 536879104 124824 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 131074 124824 725 1374 0 129695 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 524296

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15382
/proc/meminfo: memFree=30540980/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=533028 CPUtime=522.31
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1368936 0 0 0 50443 1788 0 0 25 0 1 0 134372310 545820672 126713 4089446400 4194304 9819077 140736951314992 18446744073709551615 6589094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 133257 126713 725 1374 0 131878 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 533028

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15383
/proc/meminfo: memFree=30526316/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=545836 CPUtime=582.31
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1488784 0 0 0 56212 2019 0 0 25 0 1 0 134372310 558936064 129863 4089446400 4194304 9819077 140736951314992 18446744073709551615 4820022 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 136459 129863 725 1374 0 135080 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 545836

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15384
/proc/meminfo: memFree=30518600/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=554212 CPUtime=642.32
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 1600073 0 0 0 61982 2250 0 0 25 0 1 0 134372310 567513088 131803 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 138553 131803 725 1374 0 137174 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 554212

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15401
/proc/meminfo: memFree=30496564/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=572216 CPUtime=942.32
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2270286 0 0 0 90830 3402 0 0 25 0 1 0 134372310 585949184 136017 4089446400 4194304 9819077 140736951314992 18446744073709551615 7816459 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 143054 136017 739 1374 0 141675 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 572216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15403
/proc/meminfo: memFree=30492812/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=592748 CPUtime=1002.32
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2379847 0 0 0 96619 3613 0 0 25 0 1 0 134372310 606973952 140700 4089446400 4194304 9819077 140736951314992 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 148187 140729 739 1374 0 146808 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 592748

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15405
/proc/meminfo: memFree=30487940/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=578640 CPUtime=1062.32
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2488974 0 0 0 102418 3814 0 0 25 0 1 0 134372310 592527360 137618 4089446400 4194304 9819077 140736951314992 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 144660 137618 741 1374 0 143281 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 578640

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 15407
/proc/meminfo: memFree=30484556/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=581072 CPUtime=1122.32
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2578508 0 0 0 108225 4007 0 0 25 0 1 0 134372310 595017728 138271 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 145268 138271 741 1374 0 143889 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 581072

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 15408
/proc/meminfo: memFree=30479068/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=586272 CPUtime=1182.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2684554 0 0 0 114035 4198 0 0 25 0 1 0 134372310 600342528 139576 4089446400 4194304 9819077 140736951314992 18446744073709551615 4926207 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 146568 139576 741 1374 0 145189 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 586272

[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 15409
/proc/meminfo: memFree=30474312/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=589808 CPUtime=1242.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2777051 0 0 0 119834 4399 0 0 25 0 1 0 134372310 603963392 140335 4089446400 4194304 9819077 140736951314992 18446744073709551615 6513120 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 147452 140335 741 1374 0 146073 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 589808

[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 15411
/proc/meminfo: memFree=30468076/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=593912 CPUtime=1302.34
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2875195 0 0 0 125628 4606 0 0 25 0 1 0 134372310 608165888 141283 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 148478 141283 740 1374 0 147099 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 593912

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 15413
/proc/meminfo: memFree=30462708/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=598808 CPUtime=1362.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2926952 0 0 0 131434 4799 0 0 25 0 1 0 134372310 613179392 142435 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 149702 142435 740 1374 0 148323 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 598808

[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 15415
/proc/meminfo: memFree=30451516/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=606832 CPUtime=1422.34
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 2975175 0 0 0 137256 4978 0 0 25 0 1 0 134372310 621395968 144417 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 151708 144417 740 1374 0 150329 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 606832

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15416
/proc/meminfo: memFree=30445284/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=612076 CPUtime=1482.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3018069 0 0 0 143073 5160 0 0 25 0 1 0 134372310 626765824 145719 4089446400 4194304 9819077 140736951314992 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 153019 145719 740 1374 0 151640 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 612076

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15417
/proc/meminfo: memFree=30438296/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=616904 CPUtime=1542.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3059721 0 0 0 148907 5326 0 0 25 0 1 0 134372310 631709696 146778 4089446400 4194304 9819077 140736951314992 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 154226 146778 740 1374 0 152847 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 616904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15419
/proc/meminfo: memFree=30434796/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=621020 CPUtime=1602.33
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3099772 0 0 0 154742 5491 0 0 25 0 1 0 134372310 635924480 147785 4089446400 4194304 9819077 140736951314992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 155255 147785 740 1374 0 153876 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 621020

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15421
/proc/meminfo: memFree=30432284/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=623304 CPUtime=1662.34
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3136998 0 0 0 160574 5660 0 0 25 0 1 0 134372310 638263296 148349 4089446400 4194304 9819077 140736951314992 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 155826 148349 740 1374 0 154447 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 623304

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15451
/proc/meminfo: memFree=30803828/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=626580 CPUtime=1722.35
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3180626 0 0 0 166380 5855 0 0 25 0 1 0 134372310 641617920 149168 4089446400 4194304 9819077 140736951314992 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 156645 149168 740 1374 0 155266 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 626580

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15452
/proc/meminfo: memFree=30797668/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=629560 CPUtime=1782.34
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3196124 0 0 0 172122 6112 0 0 25 0 1 0 134372310 644669440 149908 4089446400 4194304 9819077 140736951314992 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 157390 149908 740 1374 0 156011 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 629560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15453
/proc/meminfo: memFree=30794684/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=631072 CPUtime=1800.05
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3203487 0 0 0 173816 6189 0 0 25 0 1 0 134372310 646217728 150256 4089446400 4194304 9819077 140736951314992 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15367/statm: 157768 150256 740 1374 0 156389 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 631072

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.00 2.00 2.00 3/183 15453
/proc/meminfo: memFree=30794684/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=595232 CPUtime=1800.24
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3203497 0 0 0 173835 6189 0 0 25 0 1 0 134372310 609517568 141305 4089446400 4194304 9819077 140736951314992 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15367/statm: 148808 141305 741 1374 0 147429 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 595232

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15453
/proc/meminfo: memFree=30794684/32951124 swapFree=67111528/67111528
[pid=15367] ppid=15365 vsize=185624 CPUtime=1800.34
/proc/15367/stat : 15367 (pbscip.linux.x8) R 15365 15367 14856 0 -1 4202496 3203497 0 0 0 173843 6191 0 0 25 0 1 0 134372310 190078976 18945 4089446400 4194304 9819077 140736951314992 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15367/statm: 46406 18446 739 1374 0 45027 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 185624

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.36
CPU user time (s): 1738.44
CPU system time (s): 61.9176
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 639268

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

runsolver used 2.94255 second user time and 6.89295 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 22:46:07
IDJOB=2693061
IDBENCH=79309
IDSOLVER=1205
FILE ID=node133/2693061-1277930767
PBS_JOBID= 11197358
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.1900570242--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-2693061-1277930767/watcher-2693061-1277930767 -o /tmp/evaluation-result-2693061-1277930767/solver-2693061-1277930767 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693061-1277930767.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4
RANDOM SEED=738438004

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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.74
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.821
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.821
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:      31352836 kB
Buffers:        211060 kB
Cached:         989184 kB
SwapCached:          0 kB
Active:         789888 kB
Inactive:       664356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31352836 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:      254268 kB
Mapped:          17328 kB
Slab:            80000 kB
PageTables:       5692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   403572 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node133 at 2010-06-30 23:16:09