Trace number 2693055

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.44 1800.4

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
MD5SUM72eb8aad8ccea22a443211b3b107df93
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 benchmark466.477
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
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-2693055-1277930566.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.13	o 136842
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.368420e+05
0.09/0.13	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.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.21	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.21	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.368420e+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.368420e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    88 |     - |  19M|   0 |  33 |5645 |5414 |5645 | 123 | 123 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   110 |     - |  19M|   0 |  43 |5645 |5414 |5645 | 145 | 145 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   183 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.368420e+05 |    Inf 
15.59/15.66	c  15.2s| 10000 |  9997 |  2260 |   0.2 |  42M|2469 |   0 |5645 |5425 |5645 | 242 | 673 |  11 | 457 | 0.000000e+00 | 1.368420e+05 |    Inf 
31.29/31.35	c  30.5s| 20000 | 19997 |  4016 |   0.2 |  63M|2469 |   0 |5645 |5425 |5645 | 225 |1171 |  11 | 622 | 0.000000e+00 | 1.368420e+05 |    Inf 
46.50/46.55	c  45.4s| 30000 | 29997 |  5001 |   0.2 |  83M|2469 |   0 |5645 |5425 |5645 | 224 |1549 |  11 | 680 | 0.000000e+00 | 1.368420e+05 |    Inf 
61.19/61.21	c  59.7s| 40000 | 39997 |  6127 |   0.1 | 104M|2469 |   0 |5645 |5425 |5645 | 235 |1942 |  11 | 713 | 0.000000e+00 | 1.368420e+05 |    Inf 
76.18/76.21	c  74.4s| 50000 | 49993 |  6997 |   0.1 | 124M|2469 |   0 |5645 |5438 |5645 | 239 |2213 |  24 | 734 | 0.000000e+00 | 1.368420e+05 |    Inf 
84.69/84.76	o 629
84.69/84.76	c *82.7s| 55760 | 46891 |  7478 |   0.1 | 119M|2469 |   - |5645 |5438 |5645 | 237 |2359 |  24 | 752 | 0.000000e+00 | 6.290000e+02 |    Inf 
92.29/92.35	c  90.1s| 60000 | 51116 |  9230 |   0.2 | 128M|2469 |   0 |5645 |5483 |5645 | 229 |2865 |  69 | 838 | 0.000000e+00 | 6.290000e+02 |    Inf 
92.68/92.77	o 537
92.68/92.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
92.68/92.77	c *90.5s| 60256 | 43678 |  9250 |   0.2 | 115M|2469 |   - |5645 |5493 |5645 | 225 |2871 |  79 | 838 | 0.000000e+00 | 5.370000e+02 |    Inf 
94.38/94.47	o 525
94.38/94.47	c *92.2s| 61002 | 42626 |  9875 |   0.2 | 114M|2469 |   - |5645 |5627 |5645 | 233 |3076 | 213 | 848 | 0.000000e+00 | 5.250000e+02 |    Inf 
95.59/95.61	o 471
95.59/95.61	c *93.3s| 61567 | 36178 | 10198 |   0.2 | 101M|2469 |   - |5645 |5680 |5645 | 243 |3159 | 266 | 851 | 0.000000e+00 | 4.710000e+02 |    Inf 
96.48/96.53	o 433
96.48/96.53	c *94.2s| 61995 | 32358 | 10762 |   0.2 |  94M|2469 |   - |5645 |5736 |5645 | 253 |3323 | 322 | 853 | 0.000000e+00 | 4.330000e+02 |    Inf 
96.98/97.03	o 417
96.98/97.03	c *94.7s| 62144 | 30975 | 11288 |   0.2 |  91M|2469 |   - |5645 |5814 |5645 | 224 |3451 | 400 | 871 | 0.000000e+00 | 4.170000e+02 |    Inf 
101.09/101.17	o 411
101.09/101.17	c *98.7s| 63631 | 31737 | 14182 |   0.2 |  94M|2469 |   - |5645 |6386 |5645 | 263 |4455 | 972 | 932 | 0.000000e+00 | 4.110000e+02 |    Inf 
102.38/102.47	o 401
102.38/102.47	c * 100s| 64170 | 31228 | 14856 |   0.2 |  94M|2469 |   - |5645 |6560 |5645 | 256 |4627 |1146 | 942 | 0.000000e+00 | 4.010000e+02 |    Inf 
104.08/104.19	o 394
104.08/104.19	c * 102s| 64801 | 31103 | 15990 |   0.2 |  95M|2469 |   - |5645 |6855 |5645 | 200 |4960 |1441 | 947 | 0.000000e+00 | 3.940000e+02 |    Inf 
104.18/104.24	o 392
104.18/104.24	c * 102s| 64824 | 30952 | 15999 |   0.2 |  95M|2469 |   - |5645 |6855 |5645 | 200 |4960 |1441 | 947 | 0.000000e+00 | 3.920000e+02 |    Inf 
106.38/106.49	o 385
106.38/106.49	c * 104s| 65620 | 30774 | 18228 |   0.3 |  96M|2469 |   - |5645 |7161 |5645 | 219 |5430 |1747 | 985 | 0.000000e+00 | 3.850000e+02 |    Inf 
109.28/109.31	o 366
109.28/109.31	c * 107s| 66779 | 29428 | 20059 |   0.3 |  94M|2469 |   - |5645 |7764 |5645 | 265 |6019 |2350 |1012 | 0.000000e+00 | 3.660000e+02 |    Inf 
111.18/111.20	o 362
111.18/111.20	c * 108s| 67487 | 29501 | 21087 |   0.3 |  96M|2469 |   - |5645 |7996 |5645 | 252 |6380 |2582 |1048 | 0.000000e+00 | 3.620000e+02 |    Inf 
111.18/111.21	o 357
111.18/111.21	c * 108s| 67488 | 28901 | 21087 |   0.3 |  94M|2469 |   - |5645 |7996 |5645 | 252 |6380 |2582 |1048 | 0.000000e+00 | 3.570000e+02 |    Inf 
114.38/114.42	o 345
114.38/114.42	c * 112s| 68586 | 28239 | 23710 |   0.3 |  95M|2469 |   - |5645 |8599 |5645 | 239 |7120 |3197 |1075 | 0.000000e+00 | 3.450000e+02 |    Inf 
114.38/114.43	o 343
114.38/114.43	c * 112s| 68587 | 27992 | 23710 |   0.3 |  94M|2469 |   - |5645 |8599 |5645 | 239 |7120 |3197 |1075 | 0.000000e+00 | 3.430000e+02 |    Inf 
116.78/116.84	o 320
116.78/116.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
116.78/116.84	c * 114s| 69539 | 26167 | 25237 |   0.4 |  90M|2469 |   - |5645 |8911 |5645 | 268 |7570 |3543 |1085 | 0.000000e+00 | 3.200000e+02 |    Inf 
117.88/117.97	c   115s| 70000 | 26549 | 26087 |   0.4 |  91M|2469 |   0 |5645 |9194 |5645 | 272 |7850 |3853 |1090 | 0.000000e+00 | 3.200000e+02 |    Inf 
119.98/120.08	o 316
119.98/120.08	c * 117s| 70747 | 26647 | 27710 |   0.4 |  93M|2469 |   - |5645 |9582 |5645 | 209 |8259 |4344 |1103 | 0.000000e+00 | 3.160000e+02 |    Inf 
120.08/120.17	o 302
120.08/120.17	c * 117s| 70839 | 25057 | 27710 |   0.4 |  88M|2469 |   - |5645 |9582 |5645 | 209 |8259 |4344 |1103 | 0.000000e+00 | 3.020000e+02 |    Inf 
123.18/123.23	o 284
123.18/123.23	c * 120s| 71756 | 23407 | 31058 |   0.4 |  87M|2469 |   - |5645 |9971 |5645 | 262 |9334 |5003 |1196 | 0.000000e+00 | 2.840000e+02 |    Inf 
128.48/128.59	o 275
128.48/128.59	c * 125s| 73500 | 23550 | 35815 |   0.5 |  90M|2469 |   - |5645 |  10k|5645 | 223 |  10k|6139 |1235 | 0.000000e+00 | 2.750000e+02 |    Inf 
148.78/148.87	c   145s| 80000 | 28507 | 52799 |   0.7 | 113M|2469 |   0 |5645 |8866 |5645 | 292 |  15k|  11k|1304 | 0.000000e+00 | 2.750000e+02 |    Inf 
150.08/150.17	o 272
150.08/150.17	c * 146s| 80378 | 28319 | 53770 |   0.7 | 114M|2469 |   - |5645 |8660 |5645 | 249 |  16k|  11k|1305 | 0.000000e+00 | 2.720000e+02 |    Inf 
154.77/154.87	o 269
154.77/154.87	c * 151s| 81641 | 28801 | 60024 |   0.7 | 117M|2469 |   - |5645 |7721 |5645 | 263 |  18k|  12k|1390 | 0.000000e+00 | 2.690000e+02 |    Inf 
156.98/157.08	o 264
156.98/157.08	c * 153s| 82274 | 28526 | 62615 |   0.8 | 117M|2469 |   - |5645 |7554 |5645 | 302 |  19k|  12k|1406 | 0.000000e+00 | 2.640000e+02 |    Inf 
164.28/164.35	o 255
164.28/164.35	c * 160s| 84843 | 29253 | 67197 |   0.8 | 122M|2469 |   - |5645 |8462 |5645 | 247 |  20k|  14k|1417 | 0.000000e+00 | 2.550000e+02 |    Inf 
167.88/167.97	o 253
167.88/167.97	c * 164s| 85841 | 29735 | 71011 |   0.8 | 125M|2469 |   - |5645 |8154 |5645 | 249 |  21k|  14k|1466 | 0.000000e+00 | 2.530000e+02 |    Inf 
169.28/169.31	o 235
169.28/169.31	c * 165s| 86214 | 27128 | 72472 |   0.8 | 119M|2469 |   - |5645 |8121 |5645 | 274 |  22k|  14k|1487 | 0.000000e+00 | 2.350000e+02 |    Inf 
169.28/169.32	o 220
169.28/169.32	c * 165s| 86215 | 24767 | 72472 |   0.8 | 111M|2469 |   - |5645 |8121 |5645 | 274 |  22k|  14k|1487 | 0.000000e+00 | 2.200000e+02 |    Inf 
169.88/169.92	o 216
169.88/169.92	c * 166s| 86399 | 24244 | 73093 |   0.8 | 110M|2469 |   - |5645 |8170 |5645 | 245 |  22k|  15k|1502 | 0.000000e+00 | 2.160000e+02 |    Inf 
169.88/169.93	o 212
169.88/169.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
169.88/169.93	c * 166s| 86400 | 23423 | 73093 |   0.8 | 106M|2469 |   - |5645 |8170 |5645 | 245 |  22k|  15k|1502 | 0.000000e+00 | 2.120000e+02 |    Inf 
170.28/170.37	o 206
170.28/170.37	c * 166s| 86567 | 22576 | 73496 |   0.8 | 103M|2469 |   - |5645 |8206 |5645 | 281 |  22k|  15k|1511 | 0.000000e+00 | 2.060000e+02 |    Inf 
170.39/170.49	o 199
170.39/170.49	c * 166s| 86681 | 21270 | 73507 |   0.8 |  98M|2469 |   - |5645 |8204 |5645 | 281 |  22k|  15k|1511 | 0.000000e+00 | 1.990000e+02 |    Inf 
171.59/171.63	o 198
171.59/171.63	c * 167s| 87024 | 21371 | 74416 |   0.9 |  98M|2469 |   - |5645 |8210 |5645 | 267 |  22k|  15k|1528 | 0.000000e+00 | 1.980000e+02 |    Inf 
171.59/171.63	o 194
171.59/171.63	c * 167s| 87025 | 20571 | 74416 |   0.9 |  93M|2469 |   - |5645 |8210 |5645 | 267 |  22k|  15k|1528 | 0.000000e+00 | 1.940000e+02 |    Inf 
175.18/175.22	o 177
175.18/175.22	c * 171s| 88125 | 18114 | 76876 |   0.9 |  85M|2469 |   - |5645 |8445 |5645 | 245 |  23k|  16k|1540 | 0.000000e+00 | 1.770000e+02 |    Inf 
177.78/177.85	o 175
177.78/177.85	c * 173s| 88729 | 18039 | 80265 |   0.9 |  87M|2469 |   - |5645 |7968 |5645 | 268 |  24k|  16k|1582 | 0.000000e+00 | 1.750000e+02 |    Inf 
182.59/182.61	c   178s| 90000 | 18847 | 85687 |   1.0 |  92M|2469 |   0 |5645 |7657 |5645 | 271 |  26k|  17k|1652 | 0.000000e+00 | 1.750000e+02 |    Inf 
195.88/195.90	o 166
195.88/195.90	c * 191s| 93831 | 19737 | 98015 |   1.0 | 101M|2469 |   - |5645 |7788 |5645 | 270 |  30k|  20k|1746 | 0.000000e+00 | 1.660000e+02 |    Inf 
199.38/199.44	o 160
199.38/199.44	c * 195s| 94748 | 19024 |101680 |   1.1 | 100M|2469 |   - |5645 |7291 |5645 | 205 |  31k|  20k|1785 | 0.000000e+00 | 1.600000e+02 |    Inf 
200.58/200.69	o 156
200.58/200.69	c * 196s| 94979 | 18367 |103560 |   1.1 |  99M|2469 |   - |5645 |7102 |5645 | 229 |  32k|  20k|1805 | 0.000000e+00 | 1.560000e+02 |    Inf 
200.68/200.75	o 150
200.68/200.75	c * 196s| 94987 | 17499 |103760 |   1.1 |  97M|2469 |   - |5645 |7078 |5645 | 215 |  32k|  20k|1810 | 0.000000e+00 | 1.500000e+02 |    Inf 
200.88/200.99	o 147
200.88/200.99	c * 196s| 95034 | 16993 |104349 |   1.1 |  96M|2469 |   - |5645 |7033 |5645 | 234 |  32k|  20k|1821 | 0.000000e+00 | 1.470000e+02 |    Inf 
204.98/205.07	o 146
204.98/205.07	c * 200s| 96057 | 17420 |109150 |   1.1 | 100M|2469 |   - |5645 |7115 |5645 | 229 |  34k|  21k|1872 | 0.000000e+00 | 1.460000e+02 |    Inf 
204.98/205.08	o 145
204.98/205.08	c * 200s| 96058 | 17256 |109150 |   1.1 |  99M|2469 |   - |5645 |7115 |5645 | 229 |  34k|  21k|1872 | 0.000000e+00 | 1.450000e+02 |    Inf 
212.98/213.05	o 123
212.98/213.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
212.98/213.05	c * 208s| 98311 | 15362 |117783 |   1.2 |  97M|2469 |   - |5645 |7689 |5645 | 265 |  36k|  23k|1939 | 0.000000e+00 | 1.230000e+02 |    Inf 
213.49/213.57	o 109
213.49/213.57	c * 208s| 98515 | 13321 |118221 |   1.2 |  88M|2469 |   - |5645 |7660 |5645 | 206 |  36k|  23k|1942 | 0.000000e+00 | 1.090000e+02 |    Inf 
213.98/214.01	o 98
213.98/214.01	c * 209s| 98621 | 11803 |118730 |   1.2 |  79M|2469 |   - |5645 |7674 |5645 | 238 |  36k|  23k|1947 | 0.000000e+00 | 9.800000e+01 |    Inf 
213.98/214.08	o 96
213.98/214.08	c * 209s| 98632 | 11428 |118859 |   1.2 |  78M|2469 |   - |5645 |7553 |5645 | 241 |  36k|  23k|1950 | 0.000000e+00 | 9.600000e+01 |    Inf 
218.08/218.10	o 95
218.08/218.10	c * 213s| 99486 | 11111 |122966 |   1.2 |  77M|2469 |   - |5645 |6780 |5645 | 204 |  38k|  24k|1993 | 0.000000e+00 | 9.500000e+01 |    Inf 
220.28/220.31	c   215s|100000 | 11392 |125391 |   1.3 |  79M|2469 |   - |5645 |6530 |   0 |   0 |  38k|  24k|2031 | 0.000000e+00 | 9.500000e+01 |    Inf 
256.38/256.47	c   250s|110000 | 16999 |158925 |   1.4 | 117M|2469 |   - |5645 |8237 |   0 |   0 |  48k|  33k|2327 | 0.000000e+00 | 9.500000e+01 |    Inf 
292.78/292.82	o 89
292.78/292.82	c * 286s|119772 | 20515 |191968 |   1.6 | 149M|2469 |   - |5645 |8490 |5645 | 251 |  56k|  42k|2612 | 0.000000e+00 | 8.900000e+01 |    Inf 
293.69/293.71	c   286s|120000 | 20665 |192710 |   1.6 | 150M|2469 |   0 |5645 |8343 |5645 | 215 |  56k|  42k|2612 | 0.000000e+00 | 8.900000e+01 |    Inf 
331.29/331.38	c   323s|130000 | 25230 |226872 |   1.7 | 189M|2469 |   0 |5645 |8996 |5645 | 266 |  65k|  53k|2846 | 0.000000e+00 | 8.900000e+01 |    Inf 
369.38/369.45	c   360s|140000 | 29515 |261986 |   1.9 | 224M|2469 |   0 |5645 |8435 |5645 | 247 |  75k|  64k|3056 | 0.000000e+00 | 8.900000e+01 |    Inf 
410.30/410.38	c   400s|150000 | 33715 |300422 |   2.0 | 259M|2469 |   - |5645 |7935 |   0 |   0 |  86k|  74k|3248 | 0.000000e+00 | 8.900000e+01 |    Inf 
429.59/429.60	o 83
429.59/429.60	c * 419s|154873 | 34292 |316839 |   2.0 | 274M|2469 |   - |5645 |8458 |5645 | 261 |  91k|  79k|3323 | 0.000000e+00 | 8.300000e+01 |    Inf 
450.68/450.70	c   439s|160000 | 35934 |337643 |   2.1 | 292M|2469 |   - |5645 |7118 |   0 |   0 |  96k|  85k|3439 | 0.000000e+00 | 8.300000e+01 |    Inf 
489.79/489.80	c   478s|170000 | 39750 |374304 |   2.2 | 325M|2469 |   0 |5645 |7872 |5645 | 239 | 106k|  96k|3614 | 0.000000e+00 | 8.300000e+01 |    Inf 
528.29/528.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
528.29/528.36	c   515s|180000 | 43097 |410258 |   2.3 | 358M|2469 |   1 |5645 |7913 |5645 | 221 | 116k| 107k|3793 | 0.000000e+00 | 8.300000e+01 |    Inf 
541.59/541.61	o 74
541.59/541.61	c * 528s|183649 | 41020 |422154 |   2.3 | 353M|2469 |   - |5645 |9782 |5645 | 275 | 119k| 112k|3852 | 0.000000e+00 | 7.400000e+01 |    Inf 
568.69/568.80	c   555s|190000 | 42492 |451165 |   2.4 | 368M|2469 |   0 |5645 |7891 |5645 | 224 | 127k| 120k|3979 | 0.000000e+00 | 7.400000e+01 |    Inf 
608.89/608.91	c   594s|200000 | 44396 |492764 |   2.5 | 393M|2469 |   0 |5645 |7421 |5645 | 295 | 137k| 132k|4166 | 0.000000e+00 | 7.400000e+01 |    Inf 
624.90/624.98	o 70
624.90/624.98	c * 609s|204398 | 43211 |508016 |   2.5 | 395M|2469 |   - |5645 |9873 |5645 | 306 | 140k| 140k|4226 | 0.000000e+00 | 7.000000e+01 |    Inf 
636.19/636.26	o 64
636.19/636.26	c * 620s|207807 | 41215 |516983 |   2.5 | 379M|2469 |   - |5645 |  11k|5645 | 292 | 142k| 147k|4265 | 0.000000e+00 | 6.400000e+01 |    Inf 
644.20/644.28	c   628s|210000 | 41662 |524822 |   2.5 | 383M|2469 |   0 |5645 |  10k|5645 | 290 | 144k| 150k|4286 | 0.000000e+00 | 6.400000e+01 |    Inf 
679.00/679.03	c   662s|220000 | 43172 |559270 |   2.5 | 400M|2469 |   - |5645 |8250 |   0 |   0 | 152k| 162k|4421 | 0.000000e+00 | 6.400000e+01 |    Inf 
715.89/715.92	c   698s|230000 | 44248 |601260 |   2.6 | 416M|2469 |   1 |5645 |9609 |5645 | 282 | 162k| 174k|4566 | 0.000000e+00 | 6.400000e+01 |    Inf 
750.30/750.35	c   731s|240000 | 45261 |636165 |   2.6 | 430M|2469 |   7 |5645 |9294 |5645 | 280 | 170k| 186k|4652 | 0.000000e+00 | 6.400000e+01 |    Inf 
768.50/768.57	o 55
768.50/768.57	c * 749s|245164 | 44138 |655299 |   2.7 | 428M|2469 |   - |5645 |  10k|5645 | 250 | 175k| 193k|4702 | 0.000000e+00 | 5.500000e+01 |    Inf 
783.70/783.73	c   764s|250000 | 44664 |672641 |   2.7 | 434M|2469 |   4 |5645 |9404 |5645 | 238 | 180k| 199k|4754 | 0.000000e+00 | 5.500000e+01 |    Inf 
811.80/811.82	o 54
811.80/811.82	c * 791s|259161 | 45051 |707087 |   2.7 | 443M|2469 |   - |5645 |9436 |5645 | 268 | 188k| 211k|4865 | 0.000000e+00 | 5.400000e+01 |    Inf 
814.01/814.05	c   793s|260000 | 45072 |709348 |   2.7 | 443M|2469 |   - |5645 |9377 |   0 |   0 | 188k| 212k|4866 | 0.000000e+00 | 5.400000e+01 |    Inf 
844.30/844.31	c   822s|270000 | 45580 |742537 |   2.7 | 453M|2469 |   - |5645 |8792 |   0 |   0 | 196k| 226k|4990 | 0.000000e+00 | 5.400000e+01 |    Inf 
873.70/873.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.70/873.71	c   851s|280000 | 46144 |776612 |   2.8 | 462M|2469 |   1 |5645 |9299 |5645 | 224 | 204k| 239k|5092 | 0.000000e+00 | 5.400000e+01 |    Inf 
885.50/885.53	o 41
885.50/885.53	c * 862s|284243 | 39847 |787916 |   2.8 | 411M|2469 |   - |5645 |9902 |5645 | 228 | 206k| 243k|5111 | 0.000000e+00 | 4.100000e+01 |    Inf 
900.30/900.31	c   876s|290000 | 39876 |806636 |   2.8 | 415M|2469 |   1 |5645 |8494 |5645 | 238 | 210k| 251k|5183 | 0.000000e+00 | 4.100000e+01 |    Inf 
907.70/907.73	o 37
907.70/907.73	c * 884s|293201 | 38495 |814106 |   2.8 | 400M|2469 |   - |5645 |8752 |5645 | 241 | 211k| 255k|5205 | 0.000000e+00 | 3.700000e+01 |    Inf 
907.70/907.74	o 33
907.70/907.74	c * 884s|293202 | 37662 |814106 |   2.8 | 387M|2469 |   - |5645 |8752 |5645 | 241 | 211k| 255k|5205 | 0.000000e+00 | 3.300000e+01 |    Inf 
922.91/922.96	c   898s|300000 | 37811 |832372 |   2.8 | 390M|2469 |  18 |5645 |8665 |5645 | 220 | 214k| 264k|5256 | 0.000000e+00 | 3.300000e+01 |    Inf 
945.20/945.27	c   920s|310000 | 37928 |860890 |   2.8 | 393M|2469 |   - |5645 |9748 |   0 |   0 | 220k| 277k|5308 | 0.000000e+00 | 3.300000e+01 |    Inf 
968.90/968.99	c   943s|320000 | 37693 |892258 |   2.8 | 395M|2469 |   1 |5645 |8525 |5645 | 242 | 225k| 291k|5481 | 0.000000e+00 | 3.300000e+01 |    Inf 
988.31/988.37	o 31
988.31/988.37	c * 961s|328585 | 37254 |918752 |   2.8 | 394M|2469 |   - |5645 |9161 |5645 | 267 | 229k| 303k|5540 | 0.000000e+00 | 3.100000e+01 |    Inf 
991.40/991.44	c   964s|330000 | 37259 |922053 |   2.8 | 394M|2469 |  11 |5645 |9570 |5645 | 290 | 230k| 305k|5542 | 0.000000e+00 | 3.100000e+01 |    Inf 
1009.31/1009.31	o 22
1009.31/1009.31	c * 981s|337900 | 33537 |945148 |   2.8 | 329M|2469 |   - |5645 |8826 |5645 | 242 | 234k| 315k|5594 | 0.000000e+00 | 2.200000e+01 |    Inf 
1013.90/1013.99	c   986s|340000 | 33342 |951677 |   2.8 | 329M|2469 |   1 |5645 |8092 |5645 | 278 | 235k| 318k|5603 | 0.000000e+00 | 2.200000e+01 |    Inf 
1035.21/1035.27	c  1006s|350000 | 33231 |983779 |   2.8 | 332M|2469 |   7 |5645 |8602 |5645 | 224 | 240k| 331k|5699 | 0.000000e+00 | 2.200000e+01 |    Inf 
1056.10/1056.14	c  1026s|360000 | 32924 |  1013k|   2.8 | 333M|2469 |   - |5645 |8632 |   0 |   0 | 244k| 344k|5751 | 0.000000e+00 | 2.200000e+01 |    Inf 
1077.91/1077.93	c  1047s|370000 | 33022 |  1047k|   2.8 | 336M|2469 |  10 |5645 |  10k|5645 | 252 | 249k| 357k|5847 | 0.000000e+00 | 2.200000e+01 |    Inf 
1099.21/1099.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1099.21/1099.25	c  1068s|380000 | 33067 |  1082k|   2.8 | 338M|2469 |   - |5645 |9722 |   0 |   0 | 254k| 370k|5919 | 0.000000e+00 | 2.200000e+01 |    Inf 
1120.21/1120.26	c  1088s|390000 | 33219 |  1115k|   2.9 | 341M|2469 |   - |5645 |  11k|   0 |   0 | 258k| 383k|5983 | 0.000000e+00 | 2.200000e+01 |    Inf 
1141.51/1141.53	c  1109s|400000 | 33243 |  1147k|   2.9 | 343M|2469 |   1 |5645 |  12k|5645 | 205 | 262k| 396k|6048 | 0.000000e+00 | 2.200000e+01 |    Inf 
1162.71/1162.75	c  1129s|410000 | 33291 |  1180k|   2.9 | 345M|2469 |   1 |5645 |  11k|5645 | 271 | 266k| 410k|6146 | 0.000000e+00 | 2.200000e+01 |    Inf 
1183.91/1183.98	c  1150s|420000 | 33446 |  1213k|   2.9 | 347M|2469 |  24 |5645 |  12k|5645 | 250 | 271k| 423k|6199 | 0.000000e+00 | 2.200000e+01 |    Inf 
1205.11/1205.13	c  1170s|430000 | 33495 |  1246k|   2.9 | 349M|2469 |   1 |5645 |  11k|5645 | 254 | 276k| 437k|6245 | 0.000000e+00 | 2.200000e+01 |    Inf 
1226.52/1226.51	c  1191s|440000 | 33501 |  1279k|   2.9 | 351M|2469 |   - |5645 |  12k|   0 |   0 | 280k| 450k|6325 | 0.000000e+00 | 2.200000e+01 |    Inf 
1248.41/1248.42	c  1212s|450000 | 33582 |  1313k|   2.9 | 353M|2469 |   - |5645 |  12k|   0 |   0 | 284k| 463k|6402 | 0.000000e+00 | 2.200000e+01 |    Inf 
1269.81/1269.83	c  1233s|460000 | 33620 |  1346k|   2.9 | 355M|2469 |   - |5645 |  13k|   0 |   0 | 288k| 477k|6464 | 0.000000e+00 | 2.200000e+01 |    Inf 
1285.01/1285.07	o 21
1285.01/1285.07	c *1247s|467104 | 32811 |  1370k|   2.9 | 343M|2469 |   - |5645 |  12k|5645 | 222 | 291k| 487k|6513 | 0.000000e+00 | 2.100000e+01 |    Inf 
1291.11/1291.17	c  1253s|470000 | 32843 |  1380k|   2.9 | 344M|2469 |   - |5645 |  12k|   0 |   0 | 292k| 491k|6518 | 0.000000e+00 | 2.100000e+01 |    Inf 
1312.81/1312.81	c  1274s|480000 | 33016 |  1415k|   2.9 | 346M|2469 |   1 |5645 |  13k|5645 | 245 | 297k| 504k|6565 | 0.000000e+00 | 2.100000e+01 |    Inf 
1334.32/1334.35	c  1295s|490000 | 33060 |  1446k|   3.0 | 348M|2469 |   - |5645 |  14k|   0 |   0 | 301k| 518k|6621 | 0.000000e+00 | 2.100000e+01 |    Inf 
1356.02/1356.06	c  1316s|500000 | 32955 |  1479k|   3.0 | 349M|2469 |   1 |5645 |  12k|5645 | 205 | 305k| 532k|6689 | 0.000000e+00 | 2.100000e+01 |    Inf 
1377.41/1377.41	c  1337s|510000 | 32582 |  1512k|   3.0 | 348M|2469 |   1 |5645 |9684 |5645 | 289 | 310k| 546k|6862 | 0.000000e+00 | 2.100000e+01 |    Inf 
1398.31/1398.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1398.31/1398.36	c  1357s|520000 | 32494 |  1545k|   3.0 | 349M|2469 |   1 |5645 |8890 |5645 | 224 | 314k| 560k|6905 | 0.000000e+00 | 2.100000e+01 |    Inf 
1419.31/1419.31	c  1377s|530000 | 32181 |  1581k|   3.0 | 348M|2469 |   1 |5645 |8677 |5645 | 212 | 319k| 574k|6977 | 0.000000e+00 | 2.100000e+01 |    Inf 
1440.41/1440.44	c  1397s|540000 | 31853 |  1613k|   3.0 | 349M|2469 |   - |5645 |9302 |   0 |   0 | 323k| 586k|7057 | 0.000000e+00 | 2.100000e+01 |    Inf 
1460.72/1460.72	c  1417s|550000 | 31817 |  1643k|   3.0 | 352M|2469 |   - |5645 |  13k|   0 |   0 | 326k| 600k|7158 | 0.000000e+00 | 2.100000e+01 |    Inf 
1482.31/1482.32	c  1438s|560000 | 31843 |  1674k|   3.0 | 354M|2469 |   4 |5645 |  12k|5645 | 221 | 331k| 613k|7199 | 0.000000e+00 | 2.100000e+01 |    Inf 
1504.42/1504.47	c  1459s|570000 | 31894 |  1705k|   3.0 | 357M|2469 |   - |5645 |  16k|   0 |   0 | 334k| 626k|7255 | 0.000000e+00 | 2.100000e+01 |    Inf 
1505.72/1505.75	o 19
1505.72/1505.75	c *1461s|570570 | 30430 |  1706k|   3.0 | 334M|2469 |   - |5645 |  16k|5645 | 273 | 334k| 627k|7256 | 0.000000e+00 | 1.900000e+01 |    Inf 
1526.22/1526.24	c  1480s|580000 | 30379 |  1739k|   3.0 | 335M|2469 |   1 |5645 |  10k|5645 | 241 | 337k| 639k|7313 | 0.000000e+00 | 1.900000e+01 |    Inf 
1547.12/1547.11	c  1501s|590000 | 30375 |  1772k|   3.0 | 337M|2469 |   - |5645 |  12k|   0 |   0 | 342k| 652k|7353 | 0.000000e+00 | 1.900000e+01 |    Inf 
1568.62/1568.68	c  1521s|600000 | 30458 |  1804k|   3.0 | 339M|2469 |   - |5645 |  12k|   0 |   0 | 345k| 665k|7397 | 0.000000e+00 | 1.900000e+01 |    Inf 
1590.53/1590.56	c  1542s|610000 | 30526 |  1836k|   3.0 | 342M|2469 |   5 |5645 |  13k|5645 | 251 | 349k| 679k|7441 | 0.000000e+00 | 1.900000e+01 |    Inf 
1612.12/1612.19	c  1563s|620000 | 30495 |  1866k|   3.0 | 344M|2469 |   - |5645 |  13k|   0 |   0 | 353k| 692k|7480 | 0.000000e+00 | 1.900000e+01 |    Inf 
1634.13/1634.16	c  1585s|630000 | 30503 |  1899k|   3.0 | 346M|2469 |   - |5645 |  15k|   0 |   0 | 357k| 705k|7521 | 0.000000e+00 | 1.900000e+01 |    Inf 
1655.62/1655.63	c  1605s|640000 | 30551 |  1929k|   3.0 | 348M|2469 |   1 |5645 |  14k|5645 | 229 | 360k| 718k|7563 | 0.000000e+00 | 1.900000e+01 |    Inf 
1677.92/1677.91	c  1627s|650000 | 30507 |  1960k|   3.0 | 349M|2469 |   - |5645 |  15k|   0 |   0 | 364k| 732k|7609 | 0.000000e+00 | 1.900000e+01 |    Inf 
1700.13/1700.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1700.13/1700.16	c  1648s|660000 | 30439 |  1993k|   3.0 | 350M|2469 |   - |5645 |  13k|   0 |   0 | 367k| 747k|7680 | 0.000000e+00 | 1.900000e+01 |    Inf 
1720.93/1720.98	c  1668s|670000 | 30520 |  2022k|   3.0 | 353M|2469 |   - |5645 |  13k|   0 |   0 | 371k| 759k|7700 | 0.000000e+00 | 1.900000e+01 |    Inf 
1741.72/1741.78	c  1689s|680000 | 30610 |  2050k|   3.0 | 356M|2469 |   - |5645 |  15k|   0 |   0 | 375k| 772k|7735 | 0.000000e+00 | 1.900000e+01 |    Inf 
1763.23/1763.30	c  1709s|690000 | 30674 |  2081k|   3.0 | 358M|2469 |  12 |5645 |  15k|5645 | 233 | 379k| 785k|7764 | 0.000000e+00 | 1.900000e+01 |    Inf 
1785.13/1785.11	c  1730s|700000 | 30692 |  2109k|   3.0 | 361M|2469 |   1 |5645 |  16k|5645 | 232 | 382k| 798k|7803 | 0.000000e+00 | 1.900000e+01 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1744.93
1800.03/1800.00	c Solving Nodes      : 706871
1800.03/1800.00	c Primal Bound       : +1.90000000000000e+01 (586 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.09	s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.09	v x2 -x1 
1800.03/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.09	c Solving Time       :    1744.93
1800.03/1800.09	c Original Problem   :
1800.03/1800.09	c   Problem name     : HOME/instance-2693055-1277930566.wbo
1800.03/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.09	c Presolved Problem  :
1800.03/1800.09	c   Problem name     : t_HOME/instance-2693055-1277930566.wbo
1800.03/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09	c   Constraints      : 5414 initial, 18253 maximal
1800.03/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.09	c   root node        :          -       2206          -          -       4412          -          -          -          -
1800.03/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.09	c   integral         :          0          0          0     514554          0          5        444          0          0     582774
1800.03/1800.09	c   indicator        :       2707          0    4090716     222683          0       2012   30175267          0          0          0
1800.03/1800.09	c   linear           :       2707          6    4095005     222411          0     181304   15819849     384438          0          0
1800.03/1800.09	c   logicor          :          0+         0    1217956          0          0      54691    1268883          0          0          0
1800.03/1800.09	c   bounddisjunction :          0+         0      50075          0          0          0       1440          0          0          0
1800.03/1800.09	c   countsols        :          0          0          0     153015          0          0          0          0          0          0
1800.03/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.09	c   integral         :      13.05       0.00       0.00      13.05       0.00
1800.03/1800.09	c   indicator        :     133.53       0.00      85.70      47.83       0.00
1800.03/1800.09	c   linear           :     182.84       0.00     158.35      24.49       0.00
1800.03/1800.09	c   logicor          :      94.75       0.00      94.75       0.00       0.00
1800.03/1800.09	c   bounddisjunction :       0.09       0.00       0.09       0.00       0.00
1800.03/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.09	c   vbounds          :       0.01          2          0          0
1800.03/1800.09	c   rootredcost      :       0.01         62          0       2206
1800.03/1800.09	c   pseudoobj        :     255.80    4151329      53793   19952691
1800.03/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.09	c   propagation      :      22.31     289788     289718    1828619       27.4      52285        7.6          -
1800.03/1800.09	c   infeasible LP    :       2.86       7654       7654      66328       41.1        237       11.1          0
1800.03/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   pseudo solution  :       0.35       1261       1261       4466       11.2       1158        6.0          -
1800.03/1800.09	c   applied globally :          -          -          -     807270       21.2          -          -          -
1800.03/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.09	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.03/1800.09	c   redcost          :      62.33     532246          0    9810687          0          0
1800.03/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.09	c   gomory           :       0.01          4          0          0         75          0
1800.03/1800.09	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.09	c   cmir             :       0.00          4          0          0          1          0
1800.03/1800.09	c   flowcover        :       0.04          4          0          0          2          0
1800.03/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.09	c Pricers            :       Time      Calls       Vars
1800.03/1800.09	c   problem variables:       0.00          0          0
1800.03/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.09	c   relpscost        :      12.93     291782          5        444          0          0     582774
1800.03/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   inference        :      42.60     152953          0          0          0          0     305906
1800.03/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.09	c   LP solutions     :       0.31          -         62
1800.03/1800.09	c   pseudo solutions :       0.00          -          0
1800.03/1800.09	c   feaspump         :       0.00          0          0
1800.03/1800.09	c   intshifting      :       0.01          2          0
1800.03/1800.09	c   oneopt           :       0.39         55          0
1800.03/1800.09	c   guideddiving     :       0.07         23          0
1800.03/1800.09	c   coefdiving       :       0.07         66          0
1800.03/1800.09	c   pscostdiving     :       0.08         66          0
1800.03/1800.09	c   fracdiving       :       0.09         66          0
1800.03/1800.09	c   veclendiving     :       0.10         66          0
1800.03/1800.09	c   linesearchdiving :       0.13         66          0
1800.03/1800.09	c   rootsoldiving    :       0.04         65          0
1800.03/1800.09	c   objpscostdiving  :       0.17         66          0
1800.03/1800.09	c   crossover        :       3.28        108          4
1800.03/1800.09	c   trivial          :       0.09          2          2
1800.03/1800.09	c   simplerounding   :       0.59     297177          0
1800.03/1800.09	c   zirounding       :       0.30       1000          0
1800.03/1800.09	c   rounding         :       4.40       7669          0
1800.03/1800.09	c   shifting         :       2.49       2402          0
1800.03/1800.09	c   twoopt           :       0.00          0          0
1800.03/1800.09	c   fixandinfer      :       0.00          0          0
1800.03/1800.09	c   intdiving        :       0.00          0          0
1800.03/1800.09	c   actconsdiving    :       0.00          0          0
1800.03/1800.09	c   octane           :       0.00          0          0
1800.03/1800.09	c   rens             :       0.02          1          0
1800.03/1800.09	c   rins             :       0.00          0          0
1800.03/1800.09	c   localbranching   :       0.00          0          0
1800.03/1800.09	c   mutation         :       0.00          0          0
1800.03/1800.09	c   dins             :       0.00          0          0
1800.03/1800.09	c   undercover       :       0.00          0          0
1800.03/1800.09	c   nlp              :       0.01          0          0
1800.03/1800.09	c   trysol           :       4.60       7117        518
1800.03/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.09	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.09	c   dual LP          :     512.54     398736    2127354       5.34    4150.61
1800.03/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.09	c   diving/probing LP:       0.15         62       1870      30.16   12466.67
1800.03/1800.09	c   strong branching :      10.88       7835      74104       9.46    6811.03
1800.03/1800.09	c     (at root node) :          -         33       1884      57.09          -
1800.03/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.09	c B&B Tree           :
1800.03/1800.09	c   number of runs   :          1
1800.03/1800.09	c   nodes            :     706871
1800.03/1800.09	c   nodes (total)    :     706871
1800.03/1800.09	c   nodes left       :      30636
1800.03/1800.09	c   max depth        :       2469
1800.03/1800.09	c   max depth (total):       2469
1800.03/1800.09	c   backtracks       :      50093 (7.1%)
1800.03/1800.09	c   delayed cutoffs  :      44198
1800.03/1800.09	c   repropagations   :    1872305 (12093809 domain reductions, 38234 cutoffs)
1800.03/1800.09	c   avg switch length:       7.21
1800.03/1800.09	c   switching time   :     193.85
1800.03/1800.09	c Solution           :
1800.03/1800.09	c   Solutions found  :        586 (63 improvements)
1800.03/1800.09	c   First Solution   : +1.36842000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.09	c   Primal Bound     : +1.90000000000000e+01   (in run 1, after 570570 nodes, 1460.52 seconds, depth 65, found by <relaxation>)
1800.03/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.09	c   Gap              :   infinite
1800.03/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.09	c   Root Iterations  :        183
1800.43/1800.40	c Time complete: 1800.43.

Verifier Data 

OK	19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693055-1277930566/watcher-2693055-1277930566 -o /tmp/evaluation-result-2693055-1277930566/solver-2693055-1277930566 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693055-1277930566.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.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=10972 CPUtime=0
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1670 0 0 0 0 0 0 0 22 0 1 0 134351207 11235328 1590 4089446400 4194304 9819077 140734027666336 18446744073709551615 8659358 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 2743 1590 392 1374 0 1364 0

[startup+0.0612059 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=36076 CPUtime=0.05
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 8043 0 0 0 5 0 0 0 23 0 1 0 134351207 36941824 7609 4089446400 4194304 9819077 140734027666336 18446744073709551615 8678920 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 9019 7609 463 1374 0 7640 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36076

[startup+0.101184 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=36404 CPUtime=0.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 8123 0 0 0 9 0 0 0 23 0 1 0 134351207 37277696 7689 4089446400 4194304 9819077 140734027666336 18446744073709551615 4410845 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 9101 7689 469 1374 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36404

[startup+0.301154 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=45864 CPUtime=0.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 10852 0 0 0 27 2 0 0 23 0 1 0 134351207 46964736 9834 4089446400 4194304 9819077 140734027666336 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 11466 9834 671 1374 0 10087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45864

[startup+0.70108 s]
/proc/loadavg: 2.83 2.42 2.16 4/199 17505
/proc/meminfo: memFree=31206856/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=47232 CPUtime=0.69
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 27278 0 0 0 64 5 0 0 25 0 1 0 134351207 48365568 9995 4089446400 4194304 9819077 140734027666336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 11808 9995 698 1374 0 10429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47232

[startup+1.5009 s]
/proc/loadavg: 2.83 2.42 2.16 4/200 17506
/proc/meminfo: memFree=31168408/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=49236 CPUtime=1.49
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 35894 0 0 0 142 7 0 0 25 0 1 0 134351207 50417664 10817 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 12309 10817 700 1374 0 10930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49236

[startup+3.10068 s]
/proc/loadavg: 2.83 2.42 2.16 4/200 17506
/proc/meminfo: memFree=31164416/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=51500 CPUtime=3.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 45151 0 0 0 298 11 0 0 25 0 1 0 134351207 52736000 11179 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 12875 11179 700 1374 0 11496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51500

[startup+6.30105 s]
/proc/loadavg: 2.84 2.43 2.17 3/200 17506
/proc/meminfo: memFree=31160008/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=56884 CPUtime=6.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 60864 0 0 0 607 22 0 0 25 0 1 0 134351207 58249216 12608 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 14221 12608 704 1374 0 12842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56884

[startup+12.7009 s]
/proc/loadavg: 2.85 2.44 2.17 4/200 17506
/proc/meminfo: memFree=31146260/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=65620 CPUtime=12.7
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 72510 0 0 0 1232 38 0 0 25 0 1 0 134351207 67194880 15128 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 16405 15128 704 1374 0 15026 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 65620

[startup+25.5006 s]
/proc/loadavg: 2.89 2.47 2.18 4/200 17507
/proc/meminfo: memFree=31128656/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=83056 CPUtime=25.49
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 84823 0 0 0 2482 67 0 0 25 0 1 0 134351207 85049344 19415 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 20764 19415 704 1374 0 19385 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83056

[startup+51.1009 s]
/proc/loadavg: 2.92 2.51 2.20 4/200 17508
/proc/meminfo: memFree=31092456/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=117896 CPUtime=51.09
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 103317 0 0 0 4984 125 0 0 25 0 1 0 134351207 120725504 27793 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 29474 27793 704 1374 0 28095 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117896

[startup+102.307 s]
/proc/loadavg: 2.88 2.55 2.23 4/200 17509
/proc/meminfo: memFree=31031068/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=164612 CPUtime=102.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 209021 0 0 0 9984 245 0 0 25 0 1 0 134351207 168562688 39710 4089446400 4194304 9819077 140734027666336 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/17505/statm: 41153 39710 705 1374 0 39774 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 164612

[startup+162.301 s]
/proc/loadavg: 2.73 2.57 2.26 3/200 17510
/proc/meminfo: memFree=30953380/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=237816 CPUtime=162.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 421230 0 0 0 15834 394 0 0 25 0 1 0 134351207 243523584 57173 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 59454 57173 705 1374 0 58075 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 237816

[startup+222.301 s]
/proc/loadavg: 2.82 2.62 2.29 4/200 17512
/proc/meminfo: memFree=30871704/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=319236 CPUtime=222.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 626306 0 0 0 21685 543 0 0 25 0 1 0 134351207 326897664 76127 4089446400 4194304 9819077 140734027666336 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 79809 76127 707 1374 0 78430 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 319236

[startup+282.301 s]
/proc/loadavg: 2.84 2.65 2.32 4/200 17514
/proc/meminfo: memFree=30768968/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=427860 CPUtime=282.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 754978 0 0 0 27529 699 0 0 25 0 1 0 134351207 438128640 100913 4089446400 4194304 9819077 140734027666336 18446744073709551615 4210299 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 106965 100913 707 1374 0 105586 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 427860

[startup+342.301 s]
/proc/loadavg: 2.94 2.71 2.36 4/200 17516
/proc/meminfo: memFree=30674776/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=525216 CPUtime=342.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 874070 0 0 0 33377 852 0 0 25 0 1 0 134351207 537821184 122834 4089446400 4194304 9819077 140734027666336 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 131304 122834 711 1374 0 129925 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 525216

[startup+402.301 s]
/proc/loadavg: 2.93 2.75 2.39 4/200 17517
/proc/meminfo: memFree=30597576/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=607372 CPUtime=402.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 969035 0 0 0 39230 998 0 0 25 0 1 0 134351207 621948928 140326 4089446400 4194304 9819077 140734027666336 18446744073709551615 6361171 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 151843 140326 711 1374 0 150464 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 607372

[startup+462.301 s]
/proc/loadavg: 2.92 2.78 2.42 4/200 17518
/proc/meminfo: memFree=30535008/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=677368 CPUtime=462.28
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1062161 0 0 0 45082 1146 0 0 25 0 1 0 134351207 693624832 154955 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 169342 154955 715 1374 0 167963 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 677368

[startup+522.301 s]
/proc/loadavg: 2.79 2.76 2.44 3/200 17520
/proc/meminfo: memFree=30470452/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=744464 CPUtime=522.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1153896 0 0 0 50937 1292 0 0 25 0 1 0 134351207 762331136 169269 4089446400 4194304 9819077 140734027666336 18446744073709551615 6020593 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 186116 169269 715 1374 0 184737 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 744464

[startup+582.301 s]
/proc/loadavg: 2.79 2.75 2.45 4/200 17522
/proc/meminfo: memFree=30419916/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=801280 CPUtime=582.29
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1243070 0 0 0 56785 1444 0 0 25 0 1 0 134351207 820510720 180448 4089446400 4194304 9819077 140734027666336 18446744073709551615 6670352 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 200320 180448 716 1374 0 198941 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 801280

[startup+642.301 s]
/proc/loadavg: 2.72 2.75 2.47 3/200 17524
/proc/meminfo: memFree=30366800/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=856800 CPUtime=642.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1366053 0 0 0 62624 1606 0 0 25 0 1 0 134351207 877363200 191511 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 214200 191511 716 1374 0 212821 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 856800

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.09 2.45 2.42 3/197 17579
/proc/meminfo: memFree=30258784/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1010284 CPUtime=942.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 1905283 0 0 0 91694 2537 0 0 25 0 1 0 134351207 1034530816 221050 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 252571 221050 725 1374 0 251192 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1010284

[startup+1002.3 s]
/proc/loadavg: 2.03 2.36 2.39 3/197 17581
/proc/meminfo: memFree=30213104/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1037532 CPUtime=1002.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2029921 0 0 0 97471 2759 0 0 25 0 1 0 134351207 1062432768 226886 4089446400 4194304 9819077 140734027666336 18446744073709551615 4385193 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 259383 226887 725 1374 0 258004 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1037532

[startup+1062.3 s]
/proc/loadavg: 2.01 2.30 2.36 3/197 17582
/proc/meminfo: memFree=30174880/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1026972 CPUtime=1062.3
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2144858 0 0 0 103233 2997 0 0 25 0 1 0 134351207 1051619328 224331 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 256743 224331 725 1374 0 255364 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1026972

[startup+1122.3 s]
/proc/loadavg: 2.00 2.24 2.34 3/197 17593
/proc/meminfo: memFree=30136144/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1030296 CPUtime=1122.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2220684 0 0 0 109009 3222 0 0 25 0 1 0 134351207 1055023104 224992 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 257574 224992 725 1374 0 256195 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1030296

[startup+1182.3 s]
/proc/loadavg: 2.00 2.19 2.32 3/197 17595
/proc/meminfo: memFree=30090232/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1035208 CPUtime=1182.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2250322 0 0 0 114805 3426 0 0 25 0 1 0 134351207 1060052992 226085 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 258802 226085 725 1374 0 257423 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1035208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.16 2.29 3/197 17597
/proc/meminfo: memFree=30058832/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1041180 CPUtime=1242.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2290718 0 0 0 120600 3631 0 0 25 0 1 0 134351207 1066168320 227223 4089446400 4194304 9819077 140734027666336 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 260295 227223 725 1374 0 258916 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1041180

[startup+1302.3 s]
/proc/loadavg: 2.34 2.23 2.31 3/197 17598
/proc/meminfo: memFree=30017504/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1046800 CPUtime=1302.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2352546 0 0 0 126406 3825 0 0 25 0 1 0 134351207 1071923200 228411 4089446400 4194304 9819077 140734027666336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 261700 228411 739 1374 0 260321 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1046800

[startup+1362.3 s]
/proc/loadavg: 2.12 2.18 2.28 3/197 17599
/proc/meminfo: memFree=29993788/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1050676 CPUtime=1362.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2393124 0 0 0 132212 4020 0 0 25 0 1 0 134351207 1075892224 229332 4089446400 4194304 9819077 140734027666336 18446744073709551615 6671165 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 262669 229332 739 1374 0 261290 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1050676

[startup+1422.31 s]
/proc/loadavg: 2.49 2.27 2.30 3/197 17601
/proc/meminfo: memFree=29964360/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1053756 CPUtime=1422.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2428604 0 0 0 137999 4233 0 0 25 0 1 0 134351207 1079046144 230077 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 263439 230077 739 1374 0 262060 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1053756

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.29 3/197 17603
/proc/meminfo: memFree=29918816/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1058548 CPUtime=1482.31
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2453677 0 0 0 143786 4445 0 0 25 0 1 0 134351207 1083953152 230963 4089446400 4194304 9819077 140734027666336 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 264637 230963 739 1374 0 263258 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1058548

[startup+1542.3 s]
/proc/loadavg: 2.40 2.27 2.29 3/197 17605
/proc/meminfo: memFree=29869068/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1065736 CPUtime=1542.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2527107 0 0 0 149589 4643 0 0 25 0 1 0 134351207 1091313664 232433 4089446400 4194304 9819077 140734027666336 18446744073709551615 6590441 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 266434 232433 739 1374 0 265055 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1065736

[startup+1602.3 s]
/proc/loadavg: 2.27 2.25 2.28 3/197 17606
/proc/meminfo: memFree=29825436/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1071644 CPUtime=1602.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2564146 0 0 0 155378 4854 0 0 25 0 1 0 134351207 1097363456 233680 4089446400 4194304 9819077 140734027666336 18446744073709551615 6003242 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 267911 233680 739 1374 0 266532 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1071644

[startup+1662.3 s]
/proc/loadavg: 2.14 2.22 2.26 3/197 17607
/proc/meminfo: memFree=29778904/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1075096 CPUtime=1662.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2596170 0 0 0 161170 5062 0 0 25 0 1 0 134351207 1100898304 234532 4089446400 4194304 9819077 140734027666336 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 268774 234532 739 1374 0 267395 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1075096

[startup+1722.3 s]
/proc/loadavg: 2.05 2.17 2.25 3/197 17609
/proc/meminfo: memFree=29721472/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1079608 CPUtime=1722.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2623140 0 0 0 166971 5261 0 0 25 0 1 0 134351207 1105518592 235435 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 269902 235435 739 1374 0 268523 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1079608

[startup+1782.3 s]
/proc/loadavg: 2.45 2.25 2.27 3/197 17611
/proc/meminfo: memFree=29654352/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1088744 CPUtime=1782.32
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2650091 0 0 0 172774 5458 0 0 25 0 1 0 134351207 1114873856 237328 4089446400 4194304 9819077 140734027666336 18446744073709551615 6670004 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 272186 237328 739 1374 0 270807 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1088744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1090424 CPUtime=1800.03
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656442 0 0 0 174496 5507 0 0 25 0 1 0 134351207 1116594176 237631 4089446400 4194304 9819077 140734027666336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17505/statm: 272606 237631 739 1374 0 271227 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1090424

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.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=1088376 CPUtime=1800.23
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656444 0 0 0 174516 5507 0 0 25 0 1 0 134351207 1114497024 237120 4089446400 4194304 9819077 140734027666336 18446744073709551615 6180014 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 272094 237120 740 1374 0 270715 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1088376

[startup+1800.4 s]
/proc/loadavg: 2.32 2.23 2.26 3/197 17611
/proc/meminfo: memFree=29638600/32951124 swapFree=67111528/67111528
[pid=17505] ppid=17503 vsize=142200 CPUtime=1800.43
/proc/17505/stat : 17505 (pbscip.linux.x8) R 17503 17505 17108 0 -1 4202496 2656444 0 0 0 174532 5511 0 0 25 0 1 0 134351207 145612800 19841 4089446400 4194304 9819077 140734027666336 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17505/statm: 35550 19342 738 1374 0 34171 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 142200

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.44
CPU user time (s): 1745.33
CPU system time (s): 55.1136
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1096728

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

runsolver used 3.20851 second user time and 6.24905 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 22:42:46
IDJOB=2693055
IDBENCH=79307
IDSOLVER=1205
FILE ID=node142/2693055-1277930566
PBS_JOBID= 11197406
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.1900557362--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-2693055-1277930566/watcher-2693055-1277930566 -o /tmp/evaluation-result-2693055-1277930566/solver-2693055-1277930566 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693055-1277930566.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 72eb8aad8ccea22a443211b3b107df93
RANDOM SEED=1726049087

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:      31206888 kB
Buffers:        210580 kB
Cached:        1076948 kB
SwapCached:          0 kB
Active:         740712 kB
Inactive:       858044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31206888 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6264 kB
Writeback:           0 kB
AnonPages:      311364 kB
Mapped:          20480 kB
Slab:            81160 kB
PageTables:       5788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658828 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= 74172 MiB
End job on node142 at 2010-06-30 23:12:48