Trace number 2693007

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.28 1800.25

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo
MD5SUMa9e19d6176a708e2234c09caf532f5b0
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark22.7805
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 719
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-2693007-1277928405.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 137244
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.372440e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.98
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.372440e+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.372440e+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.372440e+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.372440e+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.372440e+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.372440e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     2 |   276 |     - |  19M|   0 |  50 |5645 |5414 |5645 | 164 | 164 |   0 |  33 | 0.000000e+00 | 1.372440e+05 |    Inf 
7.70/7.71	o 600
7.70/7.71	c * 7.5s|  3691 |  3541 |  5805 |   1.5 |  35M|2620 |   - |5645 |5414 |5645 | 218 |2258 |   0 | 729 | 0.000000e+00 | 6.000000e+02 |    Inf 
17.99/18.08	c  17.8s| 10000 |  9823 |  9527 |   0.9 |  48M|2620 |   0 |5645 |5494 |5645 | 240 |3323 |  80 | 850 | 0.000000e+00 | 6.000000e+02 |    Inf 
24.80/24.83	o 402
24.80/24.83	c *24.5s| 14002 | 10446 | 12815 |   0.9 |  50M|2620 |   - |5645 |5589 |5645 | 237 |4360 | 175 | 916 | 0.000000e+00 | 4.020000e+02 |    Inf 
29.70/29.73	o 394
29.70/29.73	c *29.3s| 15953 | 11810 | 17298 |   1.1 |  56M|2620 |   - |5645 |6265 |5645 | 269 |5735 | 851 |1044 | 0.000000e+00 | 3.940000e+02 |    Inf 
30.29/30.31	o 383
30.29/30.31	c *29.9s| 16199 | 11520 | 18006 |   1.1 |  56M|2620 |   - |5645 |6370 |5645 | 247 |5915 | 956 |1044 | 0.000000e+00 | 3.830000e+02 |    Inf 
31.29/31.36	o 341
31.29/31.36	c *30.9s| 16562 | 10377 | 19202 |   1.1 |  53M|2620 |   - |5645 |6578 |5645 | 249 |6297 |1164 |1052 | 0.000000e+00 | 3.410000e+02 |    Inf 
34.39/34.41	o 304
34.39/34.41	c *33.9s| 17636 |  9856 | 22828 |   1.3 |  52M|2620 |   - |5645 |6980 |5645 | 269 |7420 |1566 |1108 | 0.000000e+00 | 3.040000e+02 |    Inf 
36.39/36.48	o 303
36.39/36.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.39/36.48	c *35.9s| 18151 | 10247 | 26026 |   1.4 |  55M|2620 |   - |5645 |7265 |5645 | 249 |8592 |1851 |1199 | 0.000000e+00 | 3.030000e+02 |    Inf 
41.19/41.25	c  40.6s| 20000 | 11809 | 30348 |   1.5 |  61M|2620 |   0 |5645 |8265 |5645 | 219 |9986 |2860 |1261 | 0.000000e+00 | 3.030000e+02 |    Inf 
50.79/50.85	o 300
50.79/50.85	c *50.1s| 23596 | 14539 | 39832 |   1.7 |  72M|2620 |   - |5645 |9739 |5645 | 278 |  12k|5045 |1340 | 0.000000e+00 | 3.000000e+02 |    Inf 
50.79/50.85	o 298
50.79/50.85	c *50.1s| 23597 | 14389 | 39832 |   1.7 |  71M|2620 |   - |5645 |9739 |5645 | 278 |  12k|5045 |1340 | 0.000000e+00 | 2.980000e+02 |    Inf 
54.59/54.63	o 297
54.59/54.63	c *53.8s| 24717 | 15209 | 45370 |   1.8 |  76M|2620 |   - |5645 |9755 |5645 | 254 |  14k|5865 |1374 | 0.000000e+00 | 2.970000e+02 |    Inf 
55.00/55.04	o 295
55.00/55.04	c *54.2s| 24932 | 15295 | 45540 |   1.8 |  76M|2620 |   - |5645 |9730 |5645 | 218 |  14k|5869 |1374 | 0.000000e+00 | 2.950000e+02 |    Inf 
57.39/57.48	o 290
57.39/57.48	c *56.6s| 25887 | 15839 | 48623 |   1.9 |  79M|2620 |   - |5645 |9587 |5645 | 239 |  15k|6254 |1437 | 0.000000e+00 | 2.900000e+02 |    Inf 
57.79/57.89	o 288
57.79/57.89	c *57.0s| 26098 | 15917 | 48709 |   1.9 |  79M|2620 |   - |5645 |9662 |5645 | 238 |  15k|6367 |1439 | 0.000000e+00 | 2.880000e+02 |    Inf 
58.29/58.32	o 284
58.29/58.32	c *57.4s| 26340 | 15931 | 48762 |   1.8 |  79M|2620 |   - |5645 |9662 |5645 | 244 |  15k|6389 |1439 | 0.000000e+00 | 2.840000e+02 |    Inf 
58.89/58.91	o 263
58.89/58.91	c *58.0s| 26609 | 14796 | 49000 |   1.8 |  75M|2620 |   - |5645 |9611 |5645 | 242 |  15k|6454 |1439 | 0.000000e+00 | 2.630000e+02 |    Inf 
58.99/59.07	o 260
58.99/59.07	c *58.2s| 26698 | 14710 | 49046 |   1.8 |  75M|2620 |   - |5645 |9608 |5645 | 250 |  15k|6464 |1439 | 0.000000e+00 | 2.600000e+02 |    Inf 
61.89/61.98	o 234
61.89/61.98	c *61.0s| 27914 | 14089 | 50298 |   1.8 |  72M|2620 |   - |5645 |9884 |5645 | 238 |  15k|7535 |1442 | 0.000000e+00 | 2.340000e+02 |    Inf 
62.48/62.56	o 222
62.48/62.56	c *61.6s| 28120 | 13443 | 50736 |   1.8 |  69M|2620 |   - |5645 |9605 |5645 | 234 |  15k|7593 |1446 | 0.000000e+00 | 2.220000e+02 |    Inf 
63.09/63.11	o 206
63.09/63.11	c *62.1s| 28234 | 12121 | 51848 |   1.8 |  64M|2620 |   - |5645 |9287 |5645 | 253 |  16k|7670 |1491 | 0.000000e+00 | 2.060000e+02 |    Inf 
63.69/63.77	o 204
63.69/63.77	c *62.8s| 28422 | 12064 | 53052 |   1.9 |  64M|2620 |   - |5645 |9053 |5645 | 281 |  16k|7795 |1510 | 0.000000e+00 | 2.040000e+02 |    Inf 
63.89/63.94	o 202
63.89/63.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
63.89/63.94	c *63.0s| 28458 | 11936 | 53527 |   1.9 |  64M|2620 |   - |5645 |8987 |5645 | 245 |  16k|7818 |1517 | 0.000000e+00 | 2.020000e+02 |    Inf 
63.89/63.95	o 191
63.89/63.95	c *63.0s| 28459 | 11138 | 53527 |   1.9 |  61M|2620 |   - |5645 |8987 |5645 | 245 |  16k|7818 |1517 | 0.000000e+00 | 1.910000e+02 |    Inf 
68.19/68.27	c  67.2s| 30000 | 12262 | 57870 |   1.9 |  67M|2620 |   0 |5645 |7745 |5645 | 235 |  17k|8707 |1535 | 0.000000e+00 | 1.910000e+02 |    Inf 
68.99/69.00	o 185
68.99/69.00	c *68.0s| 30260 | 11925 | 58427 |   1.9 |  66M|2620 |   - |5645 |7635 |5645 | 229 |  18k|8870 |1535 | 0.000000e+00 | 1.850000e+02 |    Inf 
72.69/72.76	o 170
72.69/72.76	c *71.7s| 31360 | 11561 | 64683 |   2.1 |  66M|2620 |   - |5645 |7399 |5645 | 238 |  20k|9665 |1551 | 0.000000e+00 | 1.700000e+02 |    Inf 
72.89/72.93	o 169
72.89/72.93	c *71.8s| 31391 | 11518 | 64901 |   2.1 |  66M|2620 |   - |5645 |7335 |5645 | 220 |  20k|9679 |1551 | 0.000000e+00 | 1.690000e+02 |    Inf 
74.69/74.74	o 152
74.69/74.74	c *73.6s| 31826 | 10593 | 68118 |   2.1 |  62M|2620 |   - |5645 |7169 |5645 | 294 |  21k|9988 |1567 | 0.000000e+00 | 1.520000e+02 |    Inf 
76.59/76.60	o 137
76.59/76.60	c *75.4s| 32246 |  9740 | 71694 |   2.2 |  61M|2620 |   - |5645 |7141 |5645 | 253 |  21k|  10k|1576 | 0.000000e+00 | 1.370000e+02 |    Inf 
76.59/76.61	o 135
76.59/76.61	c *75.5s| 32247 |  9637 | 71694 |   2.2 |  61M|2620 |   - |5645 |7139 |5645 | 253 |  21k|  10k|1576 | 0.000000e+00 | 1.350000e+02 |    Inf 
77.00/77.07	o 124
77.00/77.07	c *75.9s| 32362 |  9116 | 72784 |   2.2 |  60M|2620 |   - |5645 |7044 |5645 | 215 |  22k|  10k|1583 | 0.000000e+00 | 1.240000e+02 |    Inf 
77.59/77.64	o 120
77.59/77.64	c *76.5s| 32522 |  9020 | 73973 |   2.3 |  60M|2620 |   - |5645 |7017 |5645 | 236 |  22k|  10k|1592 | 0.000000e+00 | 1.200000e+02 |    Inf 
79.10/79.17	o 112
79.10/79.17	c *78.0s| 32945 |  8905 | 76318 |   2.3 |  59M|2620 |   - |5645 |7014 |5645 | 237 |  23k|  10k|1595 | 0.000000e+00 | 1.120000e+02 |    Inf 
79.39/79.46	o 106
79.39/79.46	c *78.3s| 33027 |  8673 | 76824 |   2.3 |  59M|2620 |   - |5645 |7010 |5645 | 234 |  23k|  10k|1604 | 0.000000e+00 | 1.060000e+02 |    Inf 
79.49/79.52	o 92
79.49/79.52	c *78.3s| 33087 |  7650 | 76824 |   2.3 |  55M|2620 |   - |5645 |7010 |5645 | 234 |  23k|  10k|1604 | 0.000000e+00 | 9.200000e+01 |    Inf 
79.69/79.80	o 89
79.69/79.80	c *78.6s| 33142 |  7113 | 77720 |   2.3 |  53M|2620 |   - |5645 |6701 |5645 | 265 |  23k|  11k|1617 | 0.000000e+00 | 8.900000e+01 |    Inf 
79.79/79.83	o 88
79.79/79.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.79/79.83	c *78.6s| 33144 |  7002 | 77744 |   2.3 |  53M|2620 |   - |5645 |6570 |5645 | 268 |  23k|  11k|1621 | 0.000000e+00 | 8.800000e+01 |    Inf 
79.89/79.97	o 76
79.89/79.97	c *78.8s| 33170 |  5659 | 78210 |   2.4 |  47M|2620 |   - |5645 |6490 |5645 | 231 |  23k|  11k|1623 | 0.000000e+00 | 7.600000e+01 |    Inf 
97.39/97.47	o 75
97.39/97.47	c *96.0s| 37853 |  7100 |102894 |   2.7 |  64M|2620 |   - |5645 |6509 |5645 | 279 |  30k|  16k|1872 | 0.000000e+00 | 7.500000e+01 |    Inf 
105.99/106.09	c   104s| 40000 |  7882 |115880 |   2.9 |  72M|2620 |   - |5645 |6108 |   0 |   0 |  33k|  18k|1986 | 0.000000e+00 | 7.500000e+01 |    Inf 
118.80/118.87	o 60
118.80/118.87	c * 117s| 43680 |  7434 |131627 |   3.0 |  75M|2620 |   - |5645 |6565 |5645 | 264 |  38k|  21k|2113 | 0.000000e+00 | 6.000000e+01 |    Inf 
140.39/140.41	c   138s| 50000 |  8379 |163112 |   3.3 |  87M|2620 |  11 |5645 |6273 |5645 | 261 |  46k|  29k|2417 | 0.000000e+00 | 6.000000e+01 |    Inf 
173.39/173.44	c   171s| 60000 |  9808 |210099 |   3.5 | 104M|2620 |   - |5645 |7903 |   0 |   0 |  59k|  44k|2705 | 0.000000e+00 | 6.000000e+01 |    Inf 
197.29/197.38	o 46
197.29/197.38	c * 194s| 66986 |  9226 |247290 |   3.7 | 104M|2620 |   - |5645 |8087 |5645 | 260 |  69k|  52k|2945 | 0.000000e+00 | 4.600000e+01 |    Inf 
206.20/206.28	c   203s| 70000 |  9300 |260691 |   3.7 | 107M|2620 |   1 |5645 |6790 |5645 | 214 |  73k|  57k|3007 | 0.000000e+00 | 4.600000e+01 |    Inf 
235.19/235.25	c   232s| 80000 |  9874 |306497 |   3.8 | 117M|2620 |   1 |5645 |8373 |5645 | 180 |  84k|  71k|3254 | 0.000000e+00 | 4.600000e+01 |    Inf 
262.39/262.44	c   258s| 90000 | 10417 |342059 |   3.8 | 125M|2620 |   - |5645 |8522 |   0 |   0 |  92k|  84k|3421 | 0.000000e+00 | 4.600000e+01 |    Inf 
282.70/282.74	o 44
282.70/282.74	c * 278s| 97828 | 10369 |369759 |   3.8 | 129M|2620 |   - |5645 |  10k|5645 | 269 |  97k|  94k|3539 | 0.000000e+00 | 4.400000e+01 |    Inf 
288.69/288.79	c   284s|100000 | 10398 |378762 |   3.8 | 130M|2620 |   1 |5645 |7521 |5645 | 271 |  99k|  98k|3571 | 0.000000e+00 | 4.400000e+01 |    Inf 
314.39/314.45	c   309s|110000 | 10633 |414504 |   3.8 | 136M|2620 |   4 |5645 |9608 |5645 | 184 | 107k| 112k|3745 | 0.000000e+00 | 4.400000e+01 |    Inf 
337.70/337.70	o 40
337.70/337.70	c * 332s|118664 | 10250 |449080 |   3.8 | 137M|2620 |   - |5645 |8039 |5645 | 253 | 114k| 125k|3885 | 0.000000e+00 | 4.000000e+01 |    Inf 
337.70/337.74	o 36
337.70/337.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
337.70/337.74	c * 332s|118666 |  9874 |449087 |   3.8 | 135M|2620 |   - |5645 |7815 |5645 | 254 | 114k| 125k|3885 | 0.000000e+00 | 3.600000e+01 |    Inf 
337.70/337.74	o 28
337.70/337.74	c * 332s|118667 |  9442 |449087 |   3.8 | 130M|2620 |   - |5645 |7815 |5645 | 254 | 114k| 125k|3885 | 0.000000e+00 | 2.800000e+01 |    Inf 
339.49/339.59	o 16
339.49/339.59	c * 334s|119400 |  7860 |452255 |   3.8 | 109M|2620 |   - |5645 |6338 |5645 | 264 | 114k| 126k|3901 | 0.000000e+00 | 1.600000e+01 |    Inf 
340.90/340.98	c   336s|120000 |  7757 |454540 |   3.8 | 109M|2620 |   - |5645 |5305 |   0 |   0 | 115k| 127k|3907 | 0.000000e+00 | 1.600000e+01 |    Inf 
357.89/357.98	o 15
357.89/357.98	c * 352s|128876 |  7835 |483800 |   3.8 | 112M|2620 |   - |5645 |8591 |5645 | 227 | 120k| 139k|3981 | 0.000000e+00 | 1.500000e+01 |    Inf 
360.10/360.18	c   354s|130000 |  7875 |487262 |   3.7 | 112M|2620 |   - |5645 |9126 |   0 |   0 | 120k| 140k|4006 | 0.000000e+00 | 1.500000e+01 |    Inf 
375.70/375.72	o 13
375.70/375.72	c * 370s|138015 |  7560 |509306 |   3.7 | 110M|2620 |   - |5645 |9839 |5645 | 244 | 123k| 151k|4085 | 0.000000e+00 | 1.300000e+01 |    Inf 
379.69/379.75	c   374s|140000 |  7547 |515114 |   3.7 | 109M|2620 |   1 |5645 |7253 |5645 | 234 | 124k| 153k|4105 | 0.000000e+00 | 1.300000e+01 |    Inf 
384.60/384.67	o 9
384.60/384.67	c * 378s|142594 |  7258 |524340 |   3.7 | 105M|2620 |   - |5645 |7585 |5645 | 224 | 126k| 157k|4128 | 0.000000e+00 | 9.000000e+00 |    Inf 
397.90/397.94	c   391s|150000 |  7234 |548182 |   3.7 | 106M|2620 |   - |5645 |6727 |   0 |   0 | 129k| 167k|4206 | 0.000000e+00 | 9.000000e+00 |    Inf 
416.00/416.04	c   409s|160000 |  7184 |583267 |   3.6 | 108M|2620 |  16 |5645 |9276 |5645 | 224 | 134k| 180k|4336 | 0.000000e+00 | 9.000000e+00 |    Inf 
434.79/434.87	c   428s|170000 |  7328 |621563 |   3.7 | 110M|2620 |   - |5645 |8644 |   0 |   0 | 141k| 193k|4446 | 0.000000e+00 | 9.000000e+00 |    Inf 
453.30/453.35	c   446s|180000 |  7520 |659749 |   3.7 | 113M|2620 |   1 |5645 |9850 |5645 | 214 | 147k| 206k|4552 | 0.000000e+00 | 9.000000e+00 |    Inf 
471.90/471.91	c   464s|190000 |  7681 |696581 |   3.7 | 116M|2620 |   1 |5645 |  10k|5645 | 268 | 152k| 220k|4676 | 0.000000e+00 | 9.000000e+00 |    Inf 
491.39/491.42	c   483s|200000 |  7800 |736268 |   3.7 | 119M|2620 |   - |5645 |  10k|   0 |   0 | 157k| 233k|4754 | 0.000000e+00 | 9.000000e+00 |    Inf 
510.30/510.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
510.30/510.33	c   502s|210000 |  7720 |770012 |   3.7 | 119M|2620 |   - |5645 |9378 |   0 |   0 | 161k| 247k|4875 | 0.000000e+00 | 9.000000e+00 |    Inf 
529.10/529.18	c   520s|220000 |  7783 |806775 |   3.7 | 122M|2620 |  13 |5645 |  11k|5645 | 251 | 165k| 261k|5000 | 0.000000e+00 | 9.000000e+00 |    Inf 
548.59/548.61	c   539s|230000 |  7694 |843353 |   3.7 | 122M|2620 |  25 |5645 |  11k|5645 | 243 | 170k| 274k|5093 | 0.000000e+00 | 9.000000e+00 |    Inf 
567.61/567.69	c   558s|240000 |  7699 |878155 |   3.7 | 124M|2620 |   1 |5645 |  12k|5645 | 281 | 173k| 288k|5162 | 0.000000e+00 | 9.000000e+00 |    Inf 
587.30/587.36	c   577s|250000 |  7583 |916116 |   3.7 | 123M|2620 |  10 |5645 |  11k|5645 | 237 | 178k| 302k|5284 | 0.000000e+00 | 9.000000e+00 |    Inf 
607.10/607.11	c   597s|260000 |  7721 |959288 |   3.7 | 127M|2620 |   1 |5645 |  13k|5645 | 242 | 184k| 316k|5357 | 0.000000e+00 | 9.000000e+00 |    Inf 
627.30/627.32	c   616s|270000 |  7753 |  1002k|   3.7 | 128M|2620 |   1 |5645 |  13k|5645 | 258 | 189k| 330k|5460 | 0.000000e+00 | 9.000000e+00 |    Inf 
646.90/646.93	c   636s|280000 |  7736 |  1040k|   3.7 | 129M|2620 |   - |5645 |  14k|   0 |   0 | 194k| 343k|5547 | 0.000000e+00 | 9.000000e+00 |    Inf 
666.80/666.86	c   655s|290000 |  7679 |  1077k|   3.7 | 128M|2620 |  20 |5645 |  11k|5645 | 212 | 199k| 357k|5645 | 0.000000e+00 | 9.000000e+00 |    Inf 
686.41/686.43	c   674s|300000 |  7703 |  1111k|   3.7 | 129M|2620 |   1 |5645 |  14k|5645 | 284 | 204k| 371k|5718 | 0.000000e+00 | 9.000000e+00 |    Inf 
708.10/708.13	c   696s|310000 |  7896 |  1150k|   3.7 | 132M|2620 |  16 |5645 |  15k|5645 | 272 | 208k| 385k|5808 | 0.000000e+00 | 9.000000e+00 |    Inf 
730.80/730.88	c   718s|320000 |  8079 |  1196k|   3.7 | 136M|2620 |   8 |5645 |  16k|5645 | 307 | 214k| 399k|5904 | 0.000000e+00 | 9.000000e+00 |    Inf 
752.70/752.78	c   740s|330000 |  8376 |  1235k|   3.7 | 139M|2620 |   - |5645 |  17k|   0 |   0 | 219k| 412k|5981 | 0.000000e+00 | 9.000000e+00 |    Inf 
774.41/774.40	c   761s|340000 |  8600 |  1270k|   3.7 | 142M|2620 |   - |5645 |  18k|   0 |   0 | 224k| 427k|6035 | 0.000000e+00 | 9.000000e+00 |    Inf 
796.70/796.75	c   783s|350000 |  8708 |  1309k|   3.7 | 144M|2620 |   1 |5645 |  18k|5645 | 276 | 228k| 441k|6124 | 0.000000e+00 | 9.000000e+00 |    Inf 
819.41/819.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
819.41/819.47	c   805s|360000 |  8784 |  1348k|   3.7 | 145M|2620 |   - |5645 |  18k|   0 |   0 | 233k| 456k|6210 | 0.000000e+00 | 9.000000e+00 |    Inf 
841.20/841.20	c   827s|370000 |  8883 |  1383k|   3.7 | 147M|2620 |   1 |5645 |  18k|5645 | 271 | 237k| 470k|6267 | 0.000000e+00 | 9.000000e+00 |    Inf 
864.00/864.00	c   849s|380000 |  8999 |  1421k|   3.7 | 149M|2620 |   - |5645 |  19k|   0 |   0 | 242k| 484k|6326 | 0.000000e+00 | 9.000000e+00 |    Inf 
886.51/886.58	c   871s|390000 |  9103 |  1458k|   3.7 | 151M|2620 |   6 |5645 |  20k|5645 | 268 | 246k| 499k|6375 | 0.000000e+00 | 9.000000e+00 |    Inf 
909.80/909.89	c   894s|400000 |  9228 |  1497k|   3.7 | 153M|2620 |   1 |5645 |  22k|5645 | 318 | 250k| 514k|6453 | 0.000000e+00 | 9.000000e+00 |    Inf 
935.01/935.04	c   919s|410000 |  9427 |  1540k|   3.8 | 156M|2620 |   1 |5645 |  23k|5645 | 302 | 254k| 528k|6536 | 0.000000e+00 | 9.000000e+00 |    Inf 
959.70/959.70	c   943s|420000 |  9517 |  1579k|   3.8 | 157M|2620 |   1 |5645 |  22k|5645 | 299 | 258k| 542k|6600 | 0.000000e+00 | 9.000000e+00 |    Inf 
982.81/982.86	c   966s|430000 |  9624 |  1619k|   3.8 | 158M|2620 |   1 |5645 |  21k|5645 | 289 | 263k| 557k|6665 | 0.000000e+00 | 9.000000e+00 |    Inf 
1005.80/1005.80	c   989s|440000 |  9682 |  1652k|   3.8 | 160M|2620 |   - |5645 |  21k|   0 |   0 | 267k| 572k|6724 | 0.000000e+00 | 9.000000e+00 |    Inf 
1028.51/1028.56	c  1011s|450000 |  9764 |  1691k|   3.8 | 160M|2620 |  14 |5645 |  18k|5645 | 288 | 270k| 587k|6789 | 0.000000e+00 | 9.000000e+00 |    Inf 
1051.00/1051.03	c  1033s|460000 |  9807 |  1731k|   3.8 | 161M|2620 |   - |5645 |  16k|   0 |   0 | 274k| 602k|6846 | 0.000000e+00 | 9.000000e+00 |    Inf 
1072.61/1072.63	c  1054s|470000 |  9729 |  1769k|   3.8 | 161M|2620 |   - |5645 |  16k|   0 |   0 | 278k| 617k|6918 | 0.000000e+00 | 9.000000e+00 |    Inf 
1095.21/1095.23	c  1077s|480000 |  9771 |  1808k|   3.8 | 162M|2620 |   - |5645 |  17k|   0 |   0 | 283k| 631k|6969 | 0.000000e+00 | 9.000000e+00 |    Inf 
1117.62/1117.65	c  1099s|490000 |  9810 |  1851k|   3.8 | 164M|2620 |   - |5645 |  18k|   0 |   0 | 288k| 646k|7030 | 0.000000e+00 | 9.000000e+00 |    Inf 
1139.62/1139.61	c  1120s|500000 |  9943 |  1888k|   3.8 | 166M|2620 |   - |5645 |  19k|   0 |   0 | 292k| 660k|7081 | 0.000000e+00 | 9.000000e+00 |    Inf 
1162.11/1162.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1162.11/1162.16	c  1143s|510000 |  9855 |  1926k|   3.8 | 165M|2620 |   9 |5645 |  16k|5645 | 291 | 296k| 676k|7180 | 0.000000e+00 | 9.000000e+00 |    Inf 
1183.62/1183.65	c  1164s|520000 |  9662 |  1967k|   3.8 | 163M|2620 |   - |5645 |  16k|   0 |   0 | 301k| 691k|7279 | 0.000000e+00 | 9.000000e+00 |    Inf 
1205.52/1205.59	c  1185s|530000 |  9148 |  2008k|   3.8 | 156M|2620 |   - |5645 |  14k|   0 |   0 | 306k| 707k|7349 | 0.000000e+00 | 9.000000e+00 |    Inf 
1226.81/1226.89	c  1206s|540000 |  9185 |  2049k|   3.8 | 156M|2620 |  17 |5645 |  14k|5645 | 247 | 312k| 721k|7405 | 0.000000e+00 | 9.000000e+00 |    Inf 
1248.31/1248.37	c  1228s|550000 |  9307 |  2086k|   3.8 | 158M|2620 |   - |5645 |  15k|   0 |   0 | 317k| 735k|7454 | 0.000000e+00 | 9.000000e+00 |    Inf 
1268.91/1268.98	c  1248s|560000 |  9179 |  2122k|   3.8 | 157M|2620 |   - |5645 |  12k|   0 |   0 | 321k| 749k|7611 | 0.000000e+00 | 9.000000e+00 |    Inf 
1289.41/1289.43	c  1268s|570000 |  9332 |  2158k|   3.8 | 159M|2620 |  17 |5645 |  13k|5645 | 260 | 326k| 761k|7648 | 0.000000e+00 | 9.000000e+00 |    Inf 
1310.31/1310.36	c  1288s|580000 |  9423 |  2197k|   3.8 | 161M|2620 |   - |5645 |  13k|   0 |   0 | 331k| 775k|7702 | 0.000000e+00 | 9.000000e+00 |    Inf 
1330.71/1330.77	c  1309s|590000 |  9654 |  2235k|   3.8 | 163M|2620 |   1 |5645 |  13k|5645 | 258 | 337k| 787k|7754 | 0.000000e+00 | 9.000000e+00 |    Inf 
1350.91/1350.98	c  1328s|600000 |  9693 |  2273k|   3.8 | 165M|2620 |   1 |5645 |  14k|5645 | 272 | 341k| 801k|7805 | 0.000000e+00 | 9.000000e+00 |    Inf 
1371.91/1371.94	c  1349s|610000 |  9803 |  2311k|   3.8 | 168M|2620 |   1 |5645 |  16k|5645 | 244 | 345k| 815k|7859 | 0.000000e+00 | 9.000000e+00 |    Inf 
1393.11/1393.19	c  1370s|620000 |  9825 |  2348k|   3.8 | 169M|2620 |   9 |5645 |  15k|5645 | 233 | 349k| 829k|7912 | 0.000000e+00 | 9.000000e+00 |    Inf 
1413.61/1413.60	c  1390s|630000 |  9977 |  2380k|   3.8 | 171M|2620 |   - |5645 |  16k|   0 |   0 | 353k| 841k|7963 | 0.000000e+00 | 9.000000e+00 |    Inf 
1435.21/1435.28	c  1411s|640000 | 10032 |  2416k|   3.8 | 173M|2620 |   - |5645 |  17k|   0 |   0 | 357k| 855k|8016 | 0.000000e+00 | 9.000000e+00 |    Inf 
1456.91/1456.93	c  1433s|650000 | 10003 |  2452k|   3.8 | 174M|2620 |   - |5645 |  16k|   0 |   0 | 362k| 868k|8066 | 0.000000e+00 | 9.000000e+00 |    Inf 
1478.11/1478.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1478.11/1478.14	c  1453s|660000 |  9875 |  2489k|   3.8 | 172M|2620 |   1 |5645 |  14k|5645 | 224 | 366k| 882k|8123 | 0.000000e+00 | 9.000000e+00 |    Inf 
1498.51/1498.58	c  1474s|670000 |  9723 |  2525k|   3.8 | 171M|2620 |   - |5645 |  15k|   0 |   0 | 371k| 896k|8157 | 0.000000e+00 | 9.000000e+00 |    Inf 
1519.71/1519.70	c  1494s|680000 |  9477 |  2561k|   3.8 | 168M|2620 |  14 |5645 |  14k|5645 | 276 | 376k| 911k|8198 | 0.000000e+00 | 9.000000e+00 |    Inf 
1541.62/1541.60	c  1516s|690000 |  9709 |  2602k|   3.8 | 171M|2620 |   1 |5645 |  15k|5645 | 275 | 380k| 924k|8265 | 0.000000e+00 | 9.000000e+00 |    Inf 
1563.12/1563.16	c  1537s|700000 |  9544 |  2643k|   3.8 | 170M|2620 |  20 |5645 |  14k|5645 | 273 | 385k| 938k|8321 | 0.000000e+00 | 9.000000e+00 |    Inf 
1583.22/1583.28	c  1557s|710000 |  9611 |  2678k|   3.8 | 172M|2620 |   1 |5645 |  18k|5645 | 237 | 390k| 951k|8358 | 0.000000e+00 | 9.000000e+00 |    Inf 
1586.42/1586.43	o 8
1586.42/1586.43	c *1560s|711384 |  9453 |  2683k|   3.8 | 168M|2620 |   - |5645 |  18k|5645 | 295 | 390k| 953k|8377 | 0.000000e+00 | 8.000000e+00 |    Inf 
1604.72/1604.77	c  1578s|720000 |  9390 |  2714k|   3.8 | 168M|2620 |   1 |5645 |  15k|5645 | 223 | 394k| 964k|8435 | 0.000000e+00 | 8.000000e+00 |    Inf 
1625.22/1625.26	c  1598s|730000 |  9352 |  2745k|   3.8 | 168M|2620 |   1 |5645 |  13k|5645 | 224 | 398k| 978k|8459 | 0.000000e+00 | 8.000000e+00 |    Inf 
1645.82/1645.85	c  1618s|740000 |  9561 |  2780k|   3.8 | 171M|2620 |   1 |5645 |  16k|5645 | 255 | 402k| 991k|8497 | 0.000000e+00 | 8.000000e+00 |    Inf 
1662.02/1662.00	o 7
1662.02/1662.00	c *1634s|747871 |  9464 |  2807k|   3.8 | 169M|2620 |   - |5645 |  17k|5645 | 256 | 405k|1002k|8540 | 0.000000e+00 | 7.000000e+00 |    Inf 
1666.53/1666.52	c  1639s|750000 |  9556 |  2816k|   3.8 | 169M|2620 |  20 |5645 |  17k|5645 | 280 | 406k|1005k|8541 | 0.000000e+00 | 7.000000e+00 |    Inf 
1687.42/1687.49	c  1659s|760000 |  9661 |  2855k|   3.8 | 171M|2620 |   - |5645 |  18k|   0 |   0 | 409k|1018k|8583 | 0.000000e+00 | 7.000000e+00 |    Inf 
1709.22/1709.24	c  1681s|770000 |  9702 |  2894k|   3.8 | 172M|2620 |   - |5645 |  17k|   0 |   0 | 413k|1032k|8630 | 0.000000e+00 | 7.000000e+00 |    Inf 
1731.12/1731.12	c  1702s|780000 |  9865 |  2937k|   3.8 | 174M|2620 |   1 |5645 |  17k|5645 | 290 | 417k|1046k|8672 | 0.000000e+00 | 7.000000e+00 |    Inf 
1752.52/1752.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1752.52/1752.50	c  1723s|790000 |  9818 |  2978k|   3.8 | 174M|2620 |   - |5645 |  16k|   0 |   0 | 420k|1061k|8718 | 0.000000e+00 | 7.000000e+00 |    Inf 
1773.32/1773.38	c  1744s|800000 |  9646 |  3015k|   3.8 | 173M|2620 |   - |5645 |  16k|5645 | 272 | 423k|1076k|8786 | 0.000000e+00 | 7.000000e+00 |    Inf 
1793.72/1793.77	c  1764s|810000 |  9452 |  3054k|   3.8 | 171M|2620 |   1 |5645 |  14k|5645 | 272 | 428k|1091k|8874 | 0.000000e+00 | 7.000000e+00 |    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) : 1769.87
1800.03/1800.00	c Solving Nodes      : 813094
1800.03/1800.00	c Primal Bound       : +7.00000000000000e+00 (417 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.07	s SATISFIABLE
1800.03/1800.07	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.07	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.07	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.07	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.07	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.07	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.07	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 x80 
1800.03/1800.07	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.03/1800.07	v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 
1800.03/1800.07	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 
1800.03/1800.07	v -x1 
1800.03/1800.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.07	c Solving Time       :    1769.87
1800.03/1800.07	c Original Problem   :
1800.03/1800.07	c   Problem name     : HOME/instance-2693007-1277928405.wbo
1800.03/1800.07	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.07	c Presolved Problem  :
1800.03/1800.07	c   Problem name     : t_HOME/instance-2693007-1277928405.wbo
1800.03/1800.07	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07	c   Constraints      : 5414 initial, 24341 maximal
1800.03/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.07	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.03/1800.07	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.07	c   root node        :          -       2546          -          -       5092          -          -          -          -
1800.03/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.07	c   integral         :          0          0          0     513954          0         11        556          0          0     840306
1800.03/1800.07	c   indicator        :       2707          0    4546978      93126          0        770    9404718          0          0          0
1800.03/1800.07	c   linear           :       2707          6    4566867      93284          0     290364   20578991     429162          0          0
1800.03/1800.07	c   logicor          :          0+         0    1331662          0          0      85523    1283339          0          0          0
1800.03/1800.07	c   bounddisjunction :          0+         0      46157          0          0          1        219          0          0          0
1800.03/1800.07	c   countsols        :          0          0          0      38701          0          0          0          0          0          0
1800.03/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.07	c   integral         :      15.06       0.00       0.00      15.06       0.00
1800.03/1800.07	c   indicator        :      47.52       0.02      35.02      12.48       0.00
1800.03/1800.07	c   linear           :     214.17       0.01     205.19       8.97       0.00
1800.03/1800.07	c   logicor          :     182.62       0.00     182.62       0.00       0.00
1800.03/1800.07	c   bounddisjunction :       0.12       0.00       0.12       0.00       0.00
1800.03/1800.07	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.03/1800.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.07	c   vbounds          :       1.18          2          0          0
1800.03/1800.07	c   rootredcost      :       0.93         49          0       2546
1800.03/1800.07	c   pseudoobj        :     239.15    4586508      18834    6303898
1800.03/1800.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.07	c   propagation      :      21.74     394722     394628    2411146       27.3      28647       12.9          -
1800.03/1800.07	c   infeasible LP    :       6.09      15862      15862     128341       42.6        427       12.4          0
1800.03/1800.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.07	c   pseudo solution  :       0.10        342        342       1385       12.5        242        5.5          -
1800.03/1800.07	c   applied globally :          -          -          -    1095999       22.2          -          -          -
1800.03/1800.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.07	c   cut pool         :       0.00          3          -          -          2          -    (maximal pool size: 74)
1800.03/1800.07	c   redcost          :      44.49     530391          0    2969980          0          0
1800.03/1800.07	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.07	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.07	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.07	c   gomory           :       0.00          4          0          0         75          0
1800.03/1800.07	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.07	c   cmir             :       0.02          4          0          0          1          0
1800.03/1800.07	c   flowcover        :       0.02          4          0          0          2          0
1800.03/1800.07	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.07	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.07	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.07	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.07	c Pricers            :       Time      Calls       Vars
1800.03/1800.07	c   problem variables:       0.00          0          0
1800.03/1800.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.07	c   relpscost        :      14.54     420621         11        556          0          0     840306
1800.03/1800.07	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.07	c   inference        :       8.45      38652          0          0          0          0      77304
1800.03/1800.07	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.07	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.07	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.07	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.07	c   LP solutions     :       0.09          -         49
1800.03/1800.07	c   pseudo solutions :       0.00          -          0
1800.03/1800.07	c   feaspump         :       0.00          0          0
1800.03/1800.07	c   intshifting      :       0.02          4          0
1800.03/1800.07	c   oneopt           :       0.59         45          0
1800.03/1800.07	c   guideddiving     :       0.06         43          0
1800.03/1800.07	c   veclendiving     :       0.13         87          0
1800.03/1800.07	c   linesearchdiving :       0.09         87          0
1800.03/1800.07	c   coefdiving       :       0.15         87          0
1800.03/1800.07	c   pscostdiving     :       0.14         87          0
1800.03/1800.07	c   fracdiving       :       0.13         87          0
1800.03/1800.07	c   rootsoldiving    :       0.18         66          0
1800.03/1800.07	c   objpscostdiving  :       0.10         70          0
1800.03/1800.07	c   crossover        :       2.16         64          0
1800.03/1800.07	c   trivial          :       0.08          2          2
1800.03/1800.07	c   simplerounding   :       0.90     424383          0
1800.03/1800.07	c   zirounding       :       0.57       1000          0
1800.03/1800.07	c   rounding         :       3.96       9179          0
1800.03/1800.07	c   shifting         :       2.22       2829          0
1800.03/1800.07	c   twoopt           :       0.00          0          0
1800.03/1800.07	c   fixandinfer      :       0.00          0          0
1800.03/1800.07	c   intdiving        :       0.00          0          0
1800.03/1800.07	c   actconsdiving    :       0.00          0          0
1800.03/1800.07	c   octane           :       0.00          0          0
1800.03/1800.07	c   rens             :       0.03          1          0
1800.03/1800.07	c   rins             :       0.00          0          0
1800.03/1800.07	c   localbranching   :       0.00          0          0
1800.03/1800.07	c   mutation         :       0.00          0          0
1800.03/1800.07	c   dins             :       0.00          0          0
1800.03/1800.07	c   undercover       :       0.00          0          0
1800.03/1800.07	c   nlp              :       0.32          0          0
1800.03/1800.07	c   trysol           :       4.57       8324        366
1800.03/1800.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.07	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.07	c   dual LP          :     507.79     500954    3064879       6.12    6035.72
1800.03/1800.07	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.07	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.07	c   diving/probing LP:       0.14         56       1872      33.43   13371.43
1800.03/1800.07	c   strong branching :      11.74       8891      95209      10.71    8109.80
1800.03/1800.07	c     (at root node) :          -         33       1884      57.09          -
1800.03/1800.07	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.07	c B&B Tree           :
1800.03/1800.07	c   number of runs   :          1
1800.03/1800.07	c   nodes            :     813094
1800.03/1800.07	c   nodes (total)    :     813094
1800.03/1800.07	c   nodes left       :       9310
1800.03/1800.07	c   max depth        :       2620
1800.03/1800.07	c   max depth (total):       2620
1800.03/1800.07	c   backtracks       :      71665 (8.8%)
1800.03/1800.07	c   delayed cutoffs  :      63831
1800.03/1800.07	c   repropagations   :    2153672 (6517680 domain reductions, 57419 cutoffs)
1800.03/1800.07	c   avg switch length:       7.01
1800.03/1800.07	c   switching time   :     236.28
1800.03/1800.07	c Solution           :
1800.03/1800.07	c   Solutions found  :        417 (50 improvements)
1800.03/1800.07	c   First Solution   : +1.37244000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.07	c   Primal Bound     : +7.00000000000000e+00   (in run 1, after 747871 nodes, 1634.22 seconds, depth 38, found by <relaxation>)
1800.03/1800.07	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.07	c   Gap              :   infinite
1800.03/1800.07	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.07	c   Root Iterations  :        183
1800.22/1800.24	c Time complete: 1800.27.

Verifier Data 

OK	7

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693007-1277928405/watcher-2693007-1277928405 -o /tmp/evaluation-result-2693007-1277928405/solver-2693007-1277928405 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693007-1277928405.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 4/178 17726
/proc/meminfo: memFree=31032104/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=11112 CPUtime=0
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1701 0 0 0 0 0 0 0 23 0 1 0 134135094 11378688 1621 4089446400 4194304 9819077 140734034073584 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17726/statm: 2778 1621 392 1374 0 1399 0

[startup+0.0891041 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 17726
/proc/meminfo: memFree=31032104/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=36400 CPUtime=0.08
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 8123 0 0 0 7 1 0 0 23 0 1 0 134135094 37273600 7689 4089446400 4194304 9819077 140734034073584 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36400

[startup+0.101067 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 17726
/proc/meminfo: memFree=31032104/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=36400 CPUtime=0.09
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 8123 0 0 0 8 1 0 0 23 0 1 0 134135094 37273600 7689 4089446400 4194304 9819077 140734034073584 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 9100 7689 469 1374 0 7721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36400

[startup+0.301073 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 17726
/proc/meminfo: memFree=31032104/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=54540 CPUtime=0.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 12871 0 0 0 27 2 0 0 23 0 1 0 134135094 55848960 11839 4089446400 4194304 9819077 140734034073584 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 13635 11866 674 1374 0 12256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54540

[startup+0.700988 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 17726
/proc/meminfo: memFree=31032104/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=47228 CPUtime=0.69
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 27969 0 0 0 64 5 0 0 25 0 1 0 134135094 48361472 9995 4089446400 4194304 9819077 140734034073584 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 11807 9995 698 1374 0 10428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47228

[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30994452/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=47648 CPUtime=1.49
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 47283 0 0 0 141 8 0 0 25 0 1 0 134135094 48791552 10357 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 11912 10357 699 1374 0 10533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47648

[startup+3.10058 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30988624/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=53920 CPUtime=3.09
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 59180 0 0 0 299 10 0 0 25 0 1 0 134135094 55214080 11910 4089446400 4194304 9819077 140734034073584 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 13480 11910 700 1374 0 12101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53920

[startup+6.30101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30982424/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=59396 CPUtime=6.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 70734 0 0 0 617 12 0 0 25 0 1 0 134135094 60821504 13459 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 14849 13459 700 1374 0 13470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59396

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30970648/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=71232 CPUtime=12.7
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 99566 0 0 0 1248 22 0 0 25 0 1 0 134135094 72941568 16453 4089446400 4194304 9819077 140734034073584 18446744073709551615 6670352 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 17808 16453 704 1374 0 16429 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 71232

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30955152/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=87972 CPUtime=25.49
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 121298 0 0 0 2514 35 0 0 25 0 1 0 134135094 90083328 20389 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 21993 20389 704 1374 0 20614 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87972

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=30925476/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=119784 CPUtime=51.09
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 236900 0 0 0 5036 73 0 0 25 0 1 0 134135094 122658816 28169 4089446400 4194304 9819077 140734034073584 18446744073709551615 6590485 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 29946 28169 705 1374 0 28567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119784

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 17729
/proc/meminfo: memFree=30832652/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=212688 CPUtime=102.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 454622 0 0 0 10075 155 0 0 25 0 1 0 134135094 217792512 50712 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 53172 50712 711 1374 0 51793 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 212688

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17731
/proc/meminfo: memFree=30764268/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=287892 CPUtime=162.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 638417 0 0 0 15977 252 0 0 25 0 1 0 134135094 294801408 67937 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 71973 67937 711 1374 0 70594 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 287892

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17733
/proc/meminfo: memFree=30724296/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=330384 CPUtime=222.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 794741 0 0 0 21880 349 0 0 25 0 1 0 134135094 338313216 77626 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 82596 77626 715 1374 0 81217 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 330384

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17734
/proc/meminfo: memFree=30691644/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=364184 CPUtime=282.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 901711 0 0 0 27789 440 0 0 25 0 1 0 134135094 372924416 85502 4089446400 4194304 9819077 140734034073584 18446744073709551615 6581330 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 91046 85502 716 1374 0 89667 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 364184

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17735
/proc/meminfo: memFree=30670624/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=387508 CPUtime=342.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1054221 0 0 0 33685 544 0 0 25 0 1 0 134135094 396808192 90508 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 96877 90508 716 1374 0 95498 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 387508

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17737
/proc/meminfo: memFree=30661388/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=397280 CPUtime=402.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1249978 0 0 0 39561 668 0 0 25 0 1 0 134135094 406814720 92742 4089446400 4194304 9819077 140734034073584 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 99320 92742 717 1374 0 97941 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 397280

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17739
/proc/meminfo: memFree=30653164/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=402832 CPUtime=462.29
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1397870 0 0 0 45443 786 0 0 25 0 1 0 134135094 412499968 94116 4089446400 4194304 9819077 140734034073584 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 100708 94116 717 1374 0 99329 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 402832

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17741
/proc/meminfo: memFree=30646672/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=408576 CPUtime=522.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1545369 0 0 0 51329 901 0 0 25 0 1 0 134135094 418381824 95495 4089446400 4194304 9819077 140734034073584 18446744073709551615 6590615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 102144 95495 725 1374 0 100765 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 408576

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17742
/proc/meminfo: memFree=30641316/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=413540 CPUtime=582.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1691004 0 0 0 57219 1011 0 0 25 0 1 0 134135094 423464960 96770 4089446400 4194304 9819077 140734034073584 18446744073709551615 4999771 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 103385 96770 725 1374 0 102006 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 413540

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17743
/proc/meminfo: memFree=30636432/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=417728 CPUtime=642.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 1838585 0 0 0 63107 1123 0 0 25 0 1 0 134135094 427753472 97740 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 104432 97740 740 1374 0 103053 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 417728

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17750
/proc/meminfo: memFree=30591580/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=442504 CPUtime=882.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2251804 0 0 0 86698 1532 0 0 25 0 1 0 134135094 453124096 103889 4089446400 4194304 9819077 140734034073584 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 110626 103889 740 1374 0 109247 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 442504

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17751
/proc/meminfo: memFree=30581224/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=448824 CPUtime=942.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2333339 0 0 0 92612 1619 0 0 25 0 1 0 134135094 459595776 105475 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 112206 105475 740 1374 0 110827 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 448824

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17753
/proc/meminfo: memFree=30568424/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=453780 CPUtime=1002.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2391207 0 0 0 98527 1704 0 0 25 0 1 0 134135094 464670720 106582 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 113445 106582 740 1374 0 112066 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 453780

[startup+1062.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 17804
/proc/meminfo: memFree=30727068/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=457488 CPUtime=1062.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2479764 0 0 0 104429 1802 0 0 25 0 1 0 134135094 468467712 107519 4089446400 4194304 9819077 140734034073584 18446744073709551615 4223098 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 114372 107519 740 1374 0 112993 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 457488

[startup+1122.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 17806
/proc/meminfo: memFree=30636980/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=459392 CPUtime=1122.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2578631 0 0 0 110327 1903 0 0 25 0 1 0 134135094 470417408 108006 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 114848 108006 740 1374 0 113469 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 459392

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17807
/proc/meminfo: memFree=30530420/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=463368 CPUtime=1182.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2617923 0 0 0 116244 1987 0 0 25 0 1 0 134135094 474488832 108867 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 115842 108867 740 1374 0 114463 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 463368

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17808
/proc/meminfo: memFree=30504460/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=464332 CPUtime=1242.3
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2666753 0 0 0 122161 2069 0 0 25 0 1 0 134135094 475475968 108976 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 116083 108976 740 1374 0 114704 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 464332

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17810
/proc/meminfo: memFree=30496708/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=465364 CPUtime=1302.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2771768 0 0 0 128056 2175 0 0 25 0 1 0 134135094 476532736 109149 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 116341 109149 740 1374 0 114962 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 465364

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17812
/proc/meminfo: memFree=30492456/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=466076 CPUtime=1362.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2878335 0 0 0 133953 2278 0 0 25 0 1 0 134135094 477261824 109346 4089446400 4194304 9819077 140734034073584 18446744073709551615 4210590 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 116519 109346 740 1374 0 115140 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 466076

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17814
/proc/meminfo: memFree=30482468/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=470716 CPUtime=1422.32
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 2969803 0 0 0 139858 2374 0 0 25 0 1 0 134135094 482013184 110360 4089446400 4194304 9819077 140734034073584 18446744073709551615 6669992 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 117679 110360 740 1374 0 116300 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 470716

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17815
/proc/meminfo: memFree=30471764/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=474576 CPUtime=1482.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3087242 0 0 0 145755 2476 0 0 25 0 1 0 134135094 485965824 111097 4089446400 4194304 9819077 140734034073584 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 118644 111097 740 1374 0 117265 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 474576

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17819
/proc/meminfo: memFree=30466044/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=476280 CPUtime=1542.32
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3208952 0 0 0 151655 2577 0 0 25 0 1 0 134135094 487710720 111549 4089446400 4194304 9819077 140734034073584 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 119070 111549 740 1374 0 117691 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 476280

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17821
/proc/meminfo: memFree=30460188/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=477192 CPUtime=1602.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3320636 0 0 0 157550 2681 0 0 25 0 1 0 134135094 488644608 111775 4089446400 4194304 9819077 140734034073584 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 119298 111775 740 1374 0 117919 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 477192

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17823
/proc/meminfo: memFree=30454824/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=478188 CPUtime=1662.31
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3402518 0 0 0 163453 2778 0 0 25 0 1 0 134135094 489664512 111994 4089446400 4194304 9819077 140734034073584 18446744073709551615 6670232 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 119547 111994 740 1374 0 118168 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 478188

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17825
/proc/meminfo: memFree=30448172/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=482776 CPUtime=1722.32
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3534762 0 0 0 169350 2882 0 0 25 0 1 0 134135094 494362624 113107 4089446400 4194304 9819077 140734034073584 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 120694 113107 740 1374 0 119315 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 482776

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17826
/proc/meminfo: memFree=30440828/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=485504 CPUtime=1782.32
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3644358 0 0 0 175250 2982 0 0 25 0 1 0 134135094 497156096 113749 4089446400 4194304 9819077 140734034073584 18446744073709551615 6665825 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 121376 113749 740 1374 0 119997 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 485504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 17827
/proc/meminfo: memFree=30440804/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=485456 CPUtime=1800.03
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3677023 0 0 0 176989 3014 0 0 25 0 1 0 134135094 497106944 113803 4089446400 4194304 9819077 140734034073584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17726/statm: 121364 113803 740 1374 0 119985 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 485456

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

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

[startup+1800.2 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 17827
/proc/meminfo: memFree=30440804/32951124 swapFree=67111528/67111528
[pid=17726] ppid=17724 vsize=480332 CPUtime=1800.22
/proc/17726/stat : 17726 (pbscip.linux.x8) R 17724 17726 17494 0 -1 4202496 3677043 0 0 0 177008 3014 0 0 25 0 1 0 134135094 491859968 112534 4089446400 4194304 9819077 140734034073584 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17726/statm: 120083 112534 741 1374 0 118704 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 480332

Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.28
CPU user time (s): 1770.12
CPU system time (s): 30.1564
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 501452

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

runsolver used 3.23351 second user time and 5.68813 second system time

The end

Launcher Data 

Begin job on node144 at 2010-06-30 22:06:45
IDJOB=2693007
IDBENCH=79288
IDSOLVER=1205
FILE ID=node144/2693007-1277928405
PBS_JOBID= 11197371
Free space on /tmp= 74172 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.1900563801--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-2693007-1277928405/watcher-2693007-1277928405 -o /tmp/evaluation-result-2693007-1277928405/solver-2693007-1277928405 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693007-1277928405.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a9e19d6176a708e2234c09caf532f5b0
RANDOM SEED=322311246

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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.848
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	: 5230.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31032632 kB
Buffers:        213908 kB
Cached:        1266028 kB
SwapCached:          0 kB
Active:         815492 kB
Inactive:       955620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31032632 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6268 kB
Writeback:           0 kB
AnonPages:      292136 kB
Mapped:          17428 kB
Slab:            82040 kB
PageTables:       5584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   444516 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74168 MiB
End job on node144 at 2010-06-30 22:36:47