Trace number 2705037

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.23 1790.19

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
MD5SUMa56ccccf952bf820f5367d29dba24868
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 benchmark24.5563
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 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705037-1278578327.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.10/0.11	o 135714
0.10/0.11	c feasible solution found by trivial heuristic, objective value  1.357140e+05
0.10/0.11	c presolving:
0.10/0.12	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.10/0.12	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.10/0.17	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17	c presolving (3 rounds):
0.10/0.17	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.17	c  5391 implications, 0 cliques
0.10/0.17	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.10/0.17	c    2707 constraints of type <linear>
0.10/0.17	c    2707 constraints of type <indicator>
0.10/0.17	c transformed objective value is always integral (scale: 1)
0.10/0.17	c Presolving Time: 0.12
0.10/0.17	c - non default parameters ----------------------------------------------------------------------
0.10/0.17	c # SCIP version 1.2.1.3
0.10/0.17	c 
0.10/0.17	c # frequency for displaying node information lines
0.10/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17	c display/freq = 10000
0.10/0.17	c 
0.10/0.17	c # maximal time in seconds to run
0.10/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17	c limits/time = 1789.98
0.10/0.17	c 
0.10/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17	c limits/memory = 3420
0.10/0.17	c 
0.10/0.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.10/0.17	c # [type: int, range: [1,2], default: 1]
0.10/0.17	c timing/clocktype = 2
0.10/0.17	c 
0.10/0.17	c # should presolving try to simplify inequalities
0.10/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17	c constraints/linear/simplifyinequalities = TRUE
0.10/0.17	c 
0.10/0.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.10/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17	c constraints/indicator/addCouplingCons = TRUE
0.10/0.17	c 
0.10/0.17	c # should presolving try to simplify knapsacks
0.10/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17	c 
0.10/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17	c separating/rapidlearning/freq = 0
0.10/0.17	c 
0.10/0.17	c -----------------------------------------------------------------------------------------------
0.10/0.17	c start solving
0.10/0.17	c 
0.10/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.10/0.18	c t 0.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |    20 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |    42 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |    62 |     - |  19M|   0 |  14 |5645 |5414 |5645 |  85 |  85 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   101 |     - |  19M|   0 |  35 |5645 |5414 |5645 | 120 | 120 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.29/0.40	c   0.4s|     1 |     0 |   133 |     - |  19M|   0 |  38 |5645 |5414 |5645 | 150 | 150 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   184 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.49/0.51	c   0.5s|     1 |     2 |   184 |     - |  20M|   0 |  32 |5645 |5414 |5645 | 164 | 164 |   0 |  32 | 0.000000e+00 | 1.357140e+05 |    Inf 
16.89/16.96	c  16.9s| 10000 |  9998 |  2092 |   0.2 |  42M|2797 |   0 |5645 |5424 |5645 | 220 | 579 |  10 | 506 | 0.000000e+00 | 1.357140e+05 |    Inf 
33.09/33.12	c  33.1s| 20000 | 19993 |  2907 |   0.1 |  62M|2797 |   0 |5645 |5439 |5645 | 203 | 766 |  25 | 546 | 0.000000e+00 | 1.357140e+05 |    Inf 
49.10/49.19	c  49.2s| 30000 | 29993 |  3523 |   0.1 |  82M|2797 |   0 |5645 |5439 |5645 | 199 | 933 |  25 | 579 | 0.000000e+00 | 1.357140e+05 |    Inf 
50.69/50.76	o 433
50.69/50.76	c *50.7s| 31154 | 18021 |  3573 |   0.1 |  61M|2797 |   - |5645 |5439 |5645 | 194 | 943 |  25 | 579 | 0.000000e+00 | 4.330000e+02 |    Inf 
58.00/58.03	o 371
58.00/58.03	c *58.0s| 34751 | 16559 |  4780 |   0.1 |  60M|2797 |   - |5645 |5599 |5645 | 188 |1276 | 185 | 633 | 0.000000e+00 | 3.710000e+02 |    Inf 
58.80/58.87	o 357
58.80/58.87	c *58.8s| 35050 | 15993 |  5092 |   0.1 |  59M|2797 |   - |5645 |5718 |5645 | 223 |1373 | 304 | 640 | 0.000000e+00 | 3.570000e+02 |    Inf 
59.00/59.06	o 352
59.00/59.06	c *59.0s| 35115 | 15829 |  5156 |   0.1 |  59M|2797 |   - |5645 |5732 |5645 | 219 |1392 | 318 | 640 | 0.000000e+00 | 3.520000e+02 |    Inf 
59.00/59.06	o 340
59.00/59.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
59.00/59.06	c *59.0s| 35116 | 15307 |  5158 |   0.1 |  58M|2797 |   - |5645 |5732 |5645 | 219 |1392 | 318 | 640 | 0.000000e+00 | 3.400000e+02 |    Inf 
59.10/59.17	o 338
59.10/59.17	c *59.1s| 35154 | 15260 |  5187 |   0.1 |  58M|2797 |   - |5645 |5739 |5645 | 218 |1396 | 325 | 640 | 0.000000e+00 | 3.380000e+02 |    Inf 
59.19/59.22	o 324
59.19/59.22	c *59.2s| 35193 | 14537 |  5192 |   0.1 |  57M|2797 |   - |5645 |5739 |5645 | 218 |1396 | 325 | 640 | 0.000000e+00 | 3.240000e+02 |    Inf 
60.40/60.43	o 313
60.40/60.43	c *60.4s| 35591 | 14280 |  6140 |   0.2 |  57M|2797 |   - |5645 |5860 |5645 | 209 |1599 | 446 | 707 | 0.000000e+00 | 3.130000e+02 |    Inf 
62.79/62.83	o 287
62.79/62.83	c *62.8s| 36460 | 13798 |  6958 |   0.2 |  57M|2797 |   - |5645 |6122 |5645 | 193 |1821 | 708 | 746 | 0.000000e+00 | 2.870000e+02 |    Inf 
63.19/63.29	o 260
63.19/63.29	c *63.3s| 36641 | 12738 |  7187 |   0.2 |  56M|2797 |   - |5645 |6164 |5645 | 208 |1867 | 750 | 770 | 0.000000e+00 | 2.600000e+02 |    Inf 
67.00/67.06	o 247
67.00/67.06	c *67.0s| 38101 | 13134 |  8275 |   0.2 |  60M|2797 |   - |5645 |6637 |5645 | 201 |2147 |1223 | 798 | 0.000000e+00 | 2.470000e+02 |    Inf 
67.00/67.08	o 239
67.00/67.08	c *67.1s| 38103 | 12648 |  8277 |   0.2 |  59M|2797 |   - |5645 |6637 |5645 | 202 |2148 |1223 | 798 | 0.000000e+00 | 2.390000e+02 |    Inf 
67.00/67.09	o 221
67.00/67.09	c *67.1s| 38104 | 11863 |  8277 |   0.2 |  56M|2797 |   - |5645 |6637 |5645 | 202 |2148 |1223 | 798 | 0.000000e+00 | 2.210000e+02 |    Inf 
68.29/68.34	o 220
68.29/68.34	c *68.3s| 38481 | 12120 |  8849 |   0.2 |  58M|2797 |   - |5645 |6803 |5645 | 198 |2310 |1389 | 845 | 0.000000e+00 | 2.200000e+02 |    Inf 
69.30/69.39	o 174
69.30/69.39	c *69.4s| 38770 |  9665 |  9282 |   0.2 |  52M|2797 |   - |5645 |6984 |5645 | 198 |2430 |1570 | 860 | 0.000000e+00 | 1.740000e+02 |    Inf 
72.29/72.36	o 168
72.29/72.36	c *72.3s| 39847 |  9957 | 10808 |   0.3 |  56M|2797 |   - |5645 |7364 |5645 | 202 |2802 |1952 | 950 | 0.000000e+00 | 1.680000e+02 |    Inf 
72.69/72.72	c  72.7s| 40000 | 10097 | 10864 |   0.3 |  57M|2797 |   0 |5645 |7377 |5645 | 210 |2816 |1965 | 950 | 0.000000e+00 | 1.680000e+02 |    Inf 
75.69/75.75	o 163
75.69/75.75	c *75.7s| 40824 | 10321 | 12481 |   0.3 |  61M|2797 |   - |5645 |7799 |5645 | 195 |3308 |2388 |1004 | 0.000000e+00 | 1.630000e+02 |    Inf 
76.20/76.28	o 159
76.20/76.28	c *76.3s| 41012 | 10137 | 12685 |   0.3 |  62M|2797 |   - |5645 |7852 |5645 | 206 |3360 |2441 |1005 | 0.000000e+00 | 1.590000e+02 |    Inf 
76.20/76.29	o 149
76.20/76.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
76.20/76.29	c *76.3s| 41013 |  9408 | 12685 |   0.3 |  59M|2797 |   - |5645 |7852 |5645 | 206 |3360 |2441 |1005 | 0.000000e+00 | 1.490000e+02 |    Inf 
76.70/76.77	o 146
76.70/76.77	c *76.7s| 41163 |  9225 | 12996 |   0.3 |  60M|2797 |   - |5645 |7924 |5645 | 208 |3431 |2515 |1020 | 0.000000e+00 | 1.460000e+02 |    Inf 
77.49/77.53	o 120
77.49/77.53	c *77.5s| 41416 |  7375 | 13288 |   0.3 |  54M|2797 |   - |5645 |8044 |5645 | 204 |3507 |2635 |1022 | 0.000000e+00 | 1.200000e+02 |    Inf 
78.99/79.06	o 118
78.99/79.06	c *79.0s| 41812 |  7501 | 14469 |   0.3 |  57M|2797 |   - |5645 |8299 |5645 | 215 |3795 |2894 |1116 | 0.000000e+00 | 1.180000e+02 |    Inf 
79.60/79.65	o 108
79.60/79.65	c *79.6s| 41979 |  6901 | 14779 |   0.3 |  55M|2797 |   - |5645 |8349 |5645 | 204 |3875 |2946 |1118 | 0.000000e+00 | 1.080000e+02 |    Inf 
84.79/84.86	o 89
84.79/84.86	c *84.8s| 43619 |  6646 | 18108 |   0.4 |  59M|2797 |   - |5645 |9198 |5645 | 210 |4821 |3829 |1265 | 0.000000e+00 | 8.900000e+01 |    Inf 
87.59/87.65	o 72
87.59/87.65	c *87.6s| 44270 |  5364 | 20061 |   0.4 |  57M|2797 |   - |5645 |9155 |5645 | 223 |5350 |4309 |1314 | 0.000000e+00 | 7.200000e+01 |    Inf 
90.99/91.07	o 65
90.99/91.07	c *91.0s| 45112 |  5151 | 23827 |   0.5 |  61M|2797 |   - |5645 |8908 |5645 | 210 |6299 |5195 |1397 | 0.000000e+00 | 6.500000e+01 |    Inf 
91.69/91.76	o 64
91.69/91.76	c *91.7s| 45309 |  5176 | 24609 |   0.5 |  62M|2797 |   - |5645 |8723 |5645 | 204 |6487 |5406 |1404 | 0.000000e+00 | 6.400000e+01 |    Inf 
94.89/94.98	o 63
94.89/94.98	c *95.0s| 46190 |  5391 | 27234 |   0.6 |  64M|2797 |   - |5645 |8598 |5645 | 217 |7230 |6194 |1454 | 0.000000e+00 | 6.300000e+01 |    Inf 
95.09/95.19	o 57
95.09/95.19	c *95.2s| 46237 |  5039 | 27552 |   0.6 |  63M|2797 |   - |5645 |8490 |5645 | 232 |7323 |6220 |1467 | 0.000000e+00 | 5.700000e+01 |    Inf 
96.70/96.79	o 50
96.70/96.79	c *96.8s| 46637 |  4698 | 29033 |   0.6 |  61M|2797 |   - |5645 |8083 |5645 | 241 |7793 |6595 |1475 | 0.000000e+00 | 5.000000e+01 |    Inf 
100.39/100.48	o 49
100.39/100.48	c * 100s| 47736 |  4866 | 33641 |   0.7 |  63M|2797 |   - |5645 |7512 |5645 | 256 |9080 |7690 |1527 | 0.000000e+00 | 4.900000e+01 |    Inf 
100.89/100.98	o 34
100.89/100.98	c * 101s| 47864 |  3767 | 34470 |   0.7 |  54M|2797 |   - |5645 |7210 |5645 | 212 |9320 |7779 |1543 | 0.000000e+00 | 3.400000e+01 |    Inf 
100.99/101.04	o 31
100.99/101.04	c * 101s| 47873 |  3422 | 34576 |   0.7 |  52M|2797 |   - |5645 |6662 |5645 | 213 |9358 |7785 |1546 | 0.000000e+00 | 3.100000e+01 |    Inf 
106.50/106.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.50/106.51	c   106s| 50000 |  3664 | 45177 |   0.9 |  55M|2797 |   1 |5645 |6925 |5645 | 218 |  11k|9891 |1722 | 0.000000e+00 | 3.100000e+01 |    Inf 
128.00/128.07	o 23
128.00/128.07	c * 128s| 58883 |  4140 | 89669 |   1.5 |  61M|2797 |   - |5645 |6608 |5645 | 212 |  21k|  19k|1868 | 0.000000e+00 | 2.300000e+01 |    Inf 
130.29/130.32	c   130s| 60000 |  4206 | 94154 |   1.6 |  62M|2797 |   - |5645 |5636 |   0 |   0 |  22k|  21k|1908 | 0.000000e+00 | 2.300000e+01 |    Inf 
152.10/152.14	c   152s| 70000 |  4892 |143496 |   2.0 |  70M|2797 |   1 |5645 |5949 |5645 | 194 |  32k|  32k|2312 | 0.000000e+00 | 2.300000e+01 |    Inf 
158.90/158.94	o 17
158.90/158.94	c * 159s| 73325 |  4822 |158278 |   2.2 |  70M|2797 |   - |5645 |6337 |5645 | 207 |  34k|  36k|2416 | 0.000000e+00 | 1.700000e+01 |    Inf 
164.60/164.61	o 15
164.60/164.61	c * 165s| 76140 |  4802 |172225 |   2.3 |  70M|2797 |   - |5645 |6663 |5645 | 217 |  37k|  40k|2503 | 0.000000e+00 | 1.500000e+01 |    Inf 
167.00/167.06	o 10
167.00/167.06	c * 167s| 77391 |  4392 |178407 |   2.3 |  67M|2797 |   - |5645 |7273 |5645 | 260 |  38k|  41k|2527 | 0.000000e+00 | 1.000000e+01 |    Inf 
171.99/172.04	c   172s| 80000 |  4411 |191513 |   2.4 |  68M|2797 |  13 |5645 |5902 |5645 | 223 |  40k|  45k|2612 | 0.000000e+00 | 1.000000e+01 |    Inf 
191.30/191.31	c   191s| 90000 |  4658 |250605 |   2.8 |  71M|2797 |   6 |5645 |6396 |5645 | 232 |  51k|  58k|2971 | 0.000000e+00 | 1.000000e+01 |    Inf 
210.30/210.39	c   210s|100000 |  4845 |300654 |   3.0 |  76M|2797 |  22 |5645 |9655 |5645 | 243 |  59k|  71k|3217 | 0.000000e+00 | 1.000000e+01 |    Inf 
230.40/230.47	c   230s|110000 |  4941 |353006 |   3.2 |  78M|2797 |   - |5645 |9664 |   0 |   0 |  66k|  86k|3446 | 0.000000e+00 | 1.000000e+01 |    Inf 
250.80/250.89	c   251s|120000 |  5043 |410214 |   3.4 |  80M|2797 |   7 |5645 |  10k|5645 | 246 |  74k|  99k|3693 | 0.000000e+00 | 1.000000e+01 |    Inf 
271.80/271.88	c   272s|130000 |  5135 |471343 |   3.6 |  82M|2797 |   - |5645 |  11k|   0 |   0 |  84k| 112k|3942 | 0.000000e+00 | 1.000000e+01 |    Inf 
291.60/291.62	c   292s|140000 |  5273 |523632 |   3.7 |  84M|2797 |   1 |5645 |8776 |5645 | 190 |  93k| 126k|4150 | 0.000000e+00 | 1.000000e+01 |    Inf 
310.89/310.90	c   311s|150000 |  5325 |577065 |   3.8 |  86M|2797 |   9 |5645 |9505 |5645 | 229 | 101k| 139k|4311 | 0.000000e+00 | 1.000000e+01 |    Inf 
330.80/330.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
330.80/330.83	c   331s|160000 |  5473 |632051 |   3.9 |  89M|2797 |   - |5645 |  10k|   0 |   0 | 110k| 152k|4476 | 0.000000e+00 | 1.000000e+01 |    Inf 
351.80/351.84	c   352s|170000 |  5781 |692921 |   4.1 |  93M|2797 |   1 |5645 |  13k|5645 | 256 | 119k| 164k|4673 | 0.000000e+00 | 1.000000e+01 |    Inf 
374.30/374.31	c   374s|180000 |  6080 |755597 |   4.2 |  96M|2797 |   1 |5645 |  14k|5645 | 249 | 129k| 178k|4844 | 0.000000e+00 | 1.000000e+01 |    Inf 
390.41/390.43	o 9
390.41/390.43	c * 390s|187335 |  6147 |799720 |   4.3 |  97M|2797 |   - |5645 |  13k|5645 | 266 | 135k| 188k|4966 | 0.000000e+00 | 9.000000e+00 |    Inf 
390.41/390.44	o 5
390.41/390.44	c * 390s|187336 |  5530 |799720 |   4.3 |  87M|2797 |   - |5645 |  13k|5645 | 266 | 135k| 188k|4966 | 0.000000e+00 | 5.000000e+00 |    Inf 
396.00/396.06	c   396s|190000 |  5548 |819063 |   4.3 |  87M|2797 |   - |5645 |  12k|   0 |   0 | 138k| 192k|4994 | 0.000000e+00 | 5.000000e+00 |    Inf 
415.90/415.98	c   416s|200000 |  5486 |891128 |   4.5 |  87M|2797 |  10 |5645 |  11k|5645 | 241 | 148k| 205k|5180 | 0.000000e+00 | 5.000000e+00 |    Inf 
436.41/436.42	c   436s|210000 |  5465 |963686 |   4.6 |  87M|2797 |   1 |5645 |  11k|5645 | 246 | 158k| 219k|5349 | 0.000000e+00 | 5.000000e+00 |    Inf 
456.70/456.75	c   457s|220000 |  5479 |  1032k|   4.7 |  89M|2797 |   6 |5645 |  13k|5645 | 267 | 167k| 233k|5502 | 0.000000e+00 | 5.000000e+00 |    Inf 
462.80/462.85	o 4
462.80/462.85	c * 463s|222942 |  5367 |  1051k|   4.7 |  88M|2797 |   - |5645 |  15k|5645 | 295 | 170k| 237k|5512 | 0.000000e+00 | 4.000000e+00 |    Inf 
477.41/477.46	c   477s|230000 |  5302 |  1100k|   4.8 |  86M|2797 |   6 |5645 |  10k|5645 | 251 | 176k| 247k|5640 | 0.000000e+00 | 4.000000e+00 |    Inf 
496.60/496.62	c   497s|240000 |  5296 |  1168k|   4.9 |  87M|2797 |   1 |5645 |  11k|5645 | 253 | 185k| 260k|5785 | 0.000000e+00 | 4.000000e+00 |    Inf 
516.40/516.48	c   516s|250000 |  5245 |  1236k|   4.9 |  86M|2797 |   - |5645 |  10k|   0 |   0 | 193k| 275k|5987 | 0.000000e+00 | 4.000000e+00 |    Inf 
535.40/535.42	c   535s|260000 |  5207 |  1292k|   5.0 |  87M|2797 |  15 |5645 |  12k|5645 | 245 | 200k| 288k|6102 | 0.000000e+00 | 4.000000e+00 |    Inf 
555.90/555.90	c   556s|270000 |  5216 |  1361k|   5.0 |  88M|2797 |   7 |5645 |  15k|5645 | 251 | 210k| 302k|6235 | 0.000000e+00 | 4.000000e+00 |    Inf 
576.60/576.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
576.60/576.63	c   577s|280000 |  5135 |  1427k|   5.1 |  87M|2797 |   1 |5645 |  13k|5645 | 298 | 218k| 316k|6367 | 0.000000e+00 | 4.000000e+00 |    Inf 
597.01/597.08	c   597s|290000 |  5158 |  1495k|   5.2 |  88M|2797 |  20 |5645 |  13k|5645 | 268 | 228k| 329k|6521 | 0.000000e+00 | 4.000000e+00 |    Inf 
616.20/616.29	c   616s|300000 |  5185 |  1548k|   5.2 |  88M|2797 |   5 |5645 |  12k|5645 | 238 | 236k| 343k|6616 | 0.000000e+00 | 4.000000e+00 |    Inf 
635.31/635.33	c   635s|310000 |  5199 |  1586k|   5.1 |  89M|2797 |   - |5645 |  13k|   0 |   0 | 242k| 356k|6678 | 0.000000e+00 | 4.000000e+00 |    Inf 
654.71/654.75	c   655s|320000 |  5158 |  1635k|   5.1 |  89M|2797 |   1 |5645 |  13k|5645 | 215 | 248k| 370k|6760 | 0.000000e+00 | 4.000000e+00 |    Inf 
673.51/673.57	c   674s|330000 |  4989 |  1684k|   5.1 |  88M|2797 |   2 |5645 |  10k|5645 | 230 | 255k| 383k|6874 | 0.000000e+00 | 4.000000e+00 |    Inf 
693.51/693.58	c   694s|340000 |  5000 |  1754k|   5.2 |  89M|2797 |   1 |5645 |  13k|5645 | 251 | 265k| 398k|6960 | 0.000000e+00 | 4.000000e+00 |    Inf 
713.30/713.33	c   713s|350000 |  4994 |  1815k|   5.2 |  89M|2797 |   - |5645 |  13k|   0 |   0 | 273k| 412k|7039 | 0.000000e+00 | 4.000000e+00 |    Inf 
732.81/732.85	c   733s|360000 |  4927 |  1872k|   5.2 |  89M|2797 |   1 |5645 |  12k|5645 | 236 | 279k| 426k|7145 | 0.000000e+00 | 4.000000e+00 |    Inf 
753.31/753.35	c   753s|370000 |  4983 |  1940k|   5.2 |  90M|2797 |   - |5645 |  13k|   0 |   0 | 290k| 440k|7247 | 0.000000e+00 | 4.000000e+00 |    Inf 
774.21/774.29	c   774s|380000 |  5065 |  2006k|   5.3 |  91M|2797 |   - |5645 |  14k|   0 |   0 | 300k| 454k|7353 | 0.000000e+00 | 4.000000e+00 |    Inf 
795.51/795.57	c   796s|390000 |  5096 |  2074k|   5.3 |  92M|2797 |   - |5645 |  14k|5645 | 292 | 309k| 468k|7420 | 0.000000e+00 | 4.000000e+00 |    Inf 
817.22/817.29	c   817s|400000 |  5066 |  2144k|   5.4 |  93M|2797 |   1 |5645 |  17k|5645 | 254 | 318k| 482k|7541 | 0.000000e+00 | 4.000000e+00 |    Inf 
840.11/840.15	c   840s|410000 |  5069 |  2212k|   5.4 |  93M|2797 |  11 |5645 |  18k|5645 | 270 | 326k| 496k|7637 | 0.000000e+00 | 4.000000e+00 |    Inf 
861.62/861.65	c   862s|420000 |  5058 |  2281k|   5.4 |  93M|2797 |  13 |5645 |  16k|5645 | 292 | 335k| 511k|7713 | 0.000000e+00 | 4.000000e+00 |    Inf 
882.61/882.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
882.61/882.61	c   883s|430000 |  5055 |  2345k|   5.5 |  94M|2797 |   - |5645 |  19k|   0 |   0 | 344k| 525k|7826 | 0.000000e+00 | 4.000000e+00 |    Inf 
904.61/904.61	c   905s|440000 |  4993 |  2411k|   5.5 |  92M|2797 |   - |5645 |  15k|   0 |   0 | 353k| 540k|7945 | 0.000000e+00 | 4.000000e+00 |    Inf 
924.12/924.11	c   924s|450000 |  4870 |  2468k|   5.5 |  90M|2797 |   1 |5645 |  12k|5645 | 242 | 361k| 554k|8034 | 0.000000e+00 | 4.000000e+00 |    Inf 
942.52/942.51	c   942s|460000 |  4798 |  2512k|   5.5 |  89M|2797 |  10 |5645 |  10k|5645 | 233 | 367k| 568k|8105 | 0.000000e+00 | 4.000000e+00 |    Inf 
961.22/961.29	c   961s|470000 |  4755 |  2568k|   5.5 |  89M|2797 |   - |5645 |  12k|   0 |   0 | 374k| 582k|8167 | 0.000000e+00 | 4.000000e+00 |    Inf 
981.91/981.95	c   982s|480000 |  4695 |  2630k|   5.5 |  89M|2797 |   1 |5645 |  11k|5645 | 264 | 381k| 595k|8262 | 0.000000e+00 | 4.000000e+00 |    Inf 
1001.52/1001.54	c  1002s|490000 |  4666 |  2693k|   5.5 |  89M|2797 |   1 |5645 |  11k|5645 | 227 | 389k| 609k|8341 | 0.000000e+00 | 4.000000e+00 |    Inf 
1021.41/1021.49	c  1021s|500000 |  4663 |  2760k|   5.5 |  90M|2797 |   5 |5645 |  12k|5645 | 225 | 397k| 623k|8413 | 0.000000e+00 | 4.000000e+00 |    Inf 
1042.22/1042.26	c  1042s|510000 |  4672 |  2825k|   5.5 |  91M|2797 |   - |5645 |  15k|   0 |   0 | 406k| 636k|8486 | 0.000000e+00 | 4.000000e+00 |    Inf 
1063.32/1063.39	c  1063s|520000 |  4720 |  2884k|   5.5 |  91M|2797 |   1 |5645 |  16k|5645 | 252 | 412k| 650k|8552 | 0.000000e+00 | 4.000000e+00 |    Inf 
1084.62/1084.64	c  1085s|530000 |  4620 |  2948k|   5.6 |  90M|2797 |   6 |5645 |  14k|5645 | 199 | 420k| 663k|8645 | 0.000000e+00 | 4.000000e+00 |    Inf 
1086.72/1086.70	o 3
1086.72/1086.70	c *1087s|531061 |  4290 |  2952k|   5.6 |  85M|2797 |   - |5645 |  14k|5645 | 266 | 420k| 665k|8651 | 0.000000e+00 | 3.000000e+00 |    Inf 
1102.82/1102.89	c  1103s|540000 |  4372 |  2989k|   5.5 |  86M|2797 |  12 |5645 |  15k|5645 | 269 | 426k| 676k|8697 | 0.000000e+00 | 3.000000e+00 |    Inf 
1121.42/1121.43	c  1121s|550000 |  4347 |  3039k|   5.5 |  85M|2797 |   - |5645 |  12k|   0 |   0 | 434k| 689k|8815 | 0.000000e+00 | 3.000000e+00 |    Inf 
1141.42/1141.47	c  1141s|560000 |  4362 |  3101k|   5.5 |  85M|2797 |   - |5645 |  12k|   0 |   0 | 443k| 703k|8880 | 0.000000e+00 | 3.000000e+00 |    Inf 
1163.22/1163.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.22/1163.28	c  1163s|570000 |  4406 |  3174k|   5.6 |  87M|2797 |   - |5645 |  12k|5645 | 310 | 454k| 716k|8970 | 0.000000e+00 | 3.000000e+00 |    Inf 
1183.63/1183.66	c  1184s|580000 |  4403 |  3244k|   5.6 |  87M|2797 |   - |5645 |  13k|   0 |   0 | 463k| 729k|9052 | 0.000000e+00 | 3.000000e+00 |    Inf 
1204.52/1204.59	c  1205s|590000 |  4294 |  3312k|   5.6 |  85M|2797 |  22 |5645 |  13k|5645 | 240 | 472k| 743k|9145 | 0.000000e+00 | 3.000000e+00 |    Inf 
1223.52/1223.59	c  1224s|600000 |  4247 |  3363k|   5.6 |  85M|2797 |  14 |5645 |  14k|5645 | 230 | 480k| 757k|9197 | 0.000000e+00 | 3.000000e+00 |    Inf 
1241.73/1241.70	c  1242s|610000 |  4284 |  3398k|   5.6 |  86M|2797 |  13 |5645 |  16k|5645 | 229 | 485k| 770k|9216 | 0.000000e+00 | 3.000000e+00 |    Inf 
1261.23/1261.26	c  1261s|620000 |  4275 |  3440k|   5.5 |  86M|2797 |   - |5645 |  17k|   0 |   0 | 491k| 784k|9259 | 0.000000e+00 | 3.000000e+00 |    Inf 
1281.62/1281.63	c  1282s|630000 |  4279 |  3479k|   5.5 |  87M|2797 |   1 |5645 |  18k|5645 | 239 | 496k| 798k|9304 | 0.000000e+00 | 3.000000e+00 |    Inf 
1302.52/1302.50	c  1302s|640000 |  4292 |  3513k|   5.5 |  89M|2797 |  13 |5645 |  23k|5645 | 252 | 500k| 811k|9331 | 0.000000e+00 | 3.000000e+00 |    Inf 
1323.62/1323.61	c  1324s|650000 |  4270 |  3548k|   5.5 |  87M|2797 |   - |5645 |  15k|   0 |   0 | 504k| 825k|9396 | 0.000000e+00 | 3.000000e+00 |    Inf 
1324.43/1324.45	o 2
1324.43/1324.45	c *1324s|650465 |  4212 |  3550k|   5.5 |  85M|2797 |   - |5645 |  16k|5645 | 229 | 504k| 826k|9396 | 0.000000e+00 | 2.000000e+00 |    Inf 
1342.42/1342.45	c  1342s|660000 |  4136 |  3601k|   5.5 |  83M|2797 |   - |5645 |  10k|   0 |   0 | 512k| 838k|9459 | 0.000000e+00 | 2.000000e+00 |    Inf 
1360.73/1360.76	c  1361s|670000 |  4032 |  3656k|   5.5 |  81M|2797 |   8 |5645 |9695 |5645 | 222 | 520k| 852k|9503 | 0.000000e+00 | 2.000000e+00 |    Inf 
1380.22/1380.23	c  1380s|680000 |  4060 |  3719k|   5.5 |  83M|2797 |   - |5645 |  12k|   0 |   0 | 529k| 866k|9567 | 0.000000e+00 | 2.000000e+00 |    Inf 
1401.23/1401.24	c  1401s|690000 |  4059 |  3781k|   5.5 |  84M|2797 |  10 |5645 |  14k|5645 | 245 | 538k| 881k|9637 | 0.000000e+00 | 2.000000e+00 |    Inf 
1423.23/1423.26	c  1423s|700000 |  4057 |  3846k|   5.5 |  85M|2797 |   5 |5645 |  16k|5645 | 236 | 546k| 895k|9704 | 0.000000e+00 | 2.000000e+00 |    Inf 
1445.22/1445.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1445.22/1445.25	c  1445s|710000 |  4108 |  3916k|   5.5 |  86M|2797 |   - |5645 |  17k|   0 |   0 | 555k| 910k|9789 | 0.000000e+00 | 2.000000e+00 |    Inf 
1467.73/1467.79	c  1468s|720000 |  4166 |  3982k|   5.5 |  87M|2797 |   - |5645 |  19k|   0 |   0 | 564k| 925k|9846 | 0.000000e+00 | 2.000000e+00 |    Inf 
1490.93/1490.98	c  1491s|730000 |  4180 |  4050k|   5.5 |  88M|2797 |   1 |5645 |  19k|5645 | 271 | 573k| 940k|9897 | 0.000000e+00 | 2.000000e+00 |    Inf 
1514.43/1514.48	c  1514s|740000 |  4140 |  4118k|   5.6 |  88M|2797 |   - |5645 |  22k|   0 |   0 | 583k| 955k|9948 | 0.000000e+00 | 2.000000e+00 |    Inf 
1538.73/1538.79	c  1539s|750000 |  4255 |  4184k|   5.6 |  90M|2797 |   - |5645 |  23k|   0 |   0 | 592k| 970k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1563.33/1563.37	c  1563s|760000 |  4229 |  4249k|   5.6 |  91M|2797 |   - |5645 |  25k|   0 |   0 | 602k| 985k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1588.13/1588.19	c  1588s|770000 |  4221 |  4317k|   5.6 |  91M|2797 |   1 |5645 |  25k|5645 | 250 | 611k|1001k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1612.64/1612.64	c  1613s|780000 |  4159 |  4387k|   5.6 |  90M|2797 |   - |5645 |  24k|   0 |   0 | 620k|1017k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1636.63/1636.67	c  1637s|790000 |  4110 |  4454k|   5.6 |  89M|2797 |   - |5645 |  22k|   0 |   0 | 629k|1032k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1659.33/1659.30	c  1659s|800000 |  4109 |  4519k|   5.6 |  88M|2797 |   1 |5645 |  20k|5645 | 231 | 638k|1047k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1680.14/1680.11	c  1680s|810000 |  3916 |  4583k|   5.7 |  81M|2797 |  22 |5645 |  10k|5645 | 254 | 646k|1062k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1699.13/1699.13	c  1699s|820000 |  3918 |  4647k|   5.7 |  82M|2797 |   - |5645 |  13k|   0 |   0 | 655k|1076k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1719.44/1719.47	c  1719s|830000 |  3921 |  4715k|   5.7 |  83M|2797 |   1 |5645 |  13k|5645 | 215 | 666k|1090k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1739.83/1739.87	c  1740s|840000 |  3935 |  4777k|   5.7 |  84M|2797 |   - |5645 |  15k|5645 | 253 | 674k|1104k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1761.84/1761.88	c  1762s|850000 |  3932 |  4846k|   5.7 |  84M|2797 |  19 |5645 |  16k|5645 | 233 | 683k|1118k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1783.34/1783.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1783.34/1783.38	c  1783s|860000 |  3980 |  4909k|   5.7 |  85M|2797 |   8 |5645 |  19k|5645 | 248 | 692k|1132k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1790.03/1790.01	c 
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time (sec) : 1789.98
1790.03/1790.01	c Solving Nodes      : 863127
1790.03/1790.01	c Primal Bound       : +2.00000000000000e+00 (170 solutions)
1790.03/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.01	c Gap                : infinite
1790.03/1790.09	s SATISFIABLE
1790.03/1790.09	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1790.03/1790.09	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.03/1790.09	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 
1790.03/1790.09	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.03/1790.09	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1790.03/1790.09	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.03/1790.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 -x80 
1790.03/1790.09	v -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 
1790.03/1790.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 -x29 
1790.03/1790.09	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1790.03/1790.09	v -x1 
1790.03/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.09	c Solving Time       :    1789.98
1790.03/1790.09	c Original Problem   :
1790.03/1790.09	c   Problem name     : HOME/instance-2705037-1278578327.wbo
1790.03/1790.09	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.03/1790.09	c   Constraints      : 5415 initial, 5415 maximal
1790.03/1790.09	c Presolved Problem  :
1790.03/1790.09	c   Problem name     : t_HOME/instance-2705037-1278578327.wbo
1790.03/1790.09	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.03/1790.09	c   Constraints      : 5414 initial, 26866 maximal
1790.03/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.03/1790.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.03/1790.09	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1790.03/1790.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.09	c   root node        :          -       5354          -          -       5354          -          -          -          -
1790.03/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.09	c   integral         :          0          0          0     582422          0         31       1182          0          0     885624
1790.03/1790.09	c   linear           :       2707          6    4393759     136306          1     330645   22874054     694230          0          0
1790.03/1790.09	c   indicator        :       2707          0    4031291     137845          1        348    2430653          0          0          0
1790.03/1790.09	c   logicor          :          0+         0    1387376          0          0      58242    1278044          0          0          0
1790.03/1790.09	c   bounddisjunction :          0+         0     451939          0          0         58       2513          0          0          0
1790.03/1790.09	c   countsols        :          0          0          0      44735          1          0          0          0          0          0
1790.03/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.03/1790.09	c   integral         :      16.75       0.00       0.00      16.75       0.00
1790.03/1790.09	c   linear           :     222.88       0.00     212.32      10.56       0.00
1790.03/1790.09	c   indicator        :      36.00       0.02      25.45      10.53       0.00
1790.03/1790.09	c   logicor          :     194.51       0.00     194.51       0.00       0.00
1790.03/1790.09	c   bounddisjunction :       2.33       0.00       2.33       0.00       0.00
1790.03/1790.09	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.03/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.03/1790.09	c   vbounds          :       0.77      29113          0       3329
1790.03/1790.09	c   rootredcost      :       0.66         42          0       2677
1790.03/1790.09	c   pseudoobj        :     168.70    4403662       7386    2267843
1790.03/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.03/1790.09	c   propagation      :      21.01     396331     396124    2455795       29.0      10316       25.9          -
1790.03/1790.09	c   infeasible LP    :      13.58      42051      42051     322333       41.8        534       18.5          0
1790.03/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.09	c   applied globally :          -          -          -    1136768       24.0          -          -          -
1790.03/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.03/1790.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.03/1790.09	c   cut pool         :       0.00          3          -          -          1          -    (maximal pool size: 73)
1790.03/1790.09	c   redcost          :      55.70     585543          0     209162          0          0
1790.03/1790.09	c   impliedbounds    :       0.00          4          0          0          0          0
1790.03/1790.09	c   intobj           :       0.00          0          0          0          0          0
1790.03/1790.09	c   cgmip            :       0.00          0          0          0          0          0
1790.03/1790.09	c   gomory           :       0.01          4          0          0        230          0
1790.03/1790.09	c   strongcg         :       0.01          4          0          0        215          0
1790.03/1790.09	c   cmir             :       0.01          4          0          0          0          0
1790.03/1790.09	c   flowcover        :       0.02          4          0          0          0          0
1790.03/1790.09	c   clique           :       0.00          1          0          0          0          0
1790.03/1790.09	c   zerohalf         :       0.00          0          0          0          0          0
1790.03/1790.09	c   mcf              :       0.00          1          0          0          0          0
1790.03/1790.09	c   rapidlearning    :       0.17          1          0          0          0          0
1790.03/1790.09	c Pricers            :       Time      Calls       Vars
1790.03/1790.09	c   problem variables:       0.00          0          0
1790.03/1790.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.09	c   relpscost        :      16.29     443750         31       1182          0          0     885624
1790.03/1790.09	c   pscost           :       0.00          0          0          0          0          0          0
1790.03/1790.09	c   inference        :      20.30      44694          0          0          0          0      89446
1790.03/1790.09	c   mostinf          :       0.00          0          0          0          0          0          0
1790.03/1790.09	c   leastinf         :       0.00          0          0          0          0          0          0
1790.03/1790.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.03/1790.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.03/1790.09	c   random           :       0.00          0          0          0          0          0          0
1790.03/1790.09	c Primal Heuristics  :       Time      Calls      Found
1790.03/1790.09	c   LP solutions     :       0.08          -         42
1790.03/1790.09	c   pseudo solutions :       0.00          -          0
1790.03/1790.09	c   feaspump         :       0.01          0          0
1790.03/1790.09	c   intshifting      :       0.01          0          0
1790.03/1790.09	c   oneopt           :       0.40         38          0
1790.03/1790.09	c   guideddiving     :       0.08         24          0
1790.03/1790.09	c   fracdiving       :       0.08         47          0
1790.03/1790.09	c   linesearchdiving :       0.08         47          0
1790.03/1790.09	c   coefdiving       :       0.09         47          0
1790.03/1790.09	c   pscostdiving     :       0.08         47          0
1790.03/1790.09	c   veclendiving     :       0.08         48          0
1790.03/1790.09	c   rootsoldiving    :       0.12         43          0
1790.03/1790.09	c   objpscostdiving  :       0.10         43          0
1790.03/1790.09	c   crossover        :       1.93         50         11
1790.03/1790.09	c   trivial          :       0.07          2          2
1790.03/1790.09	c   simplerounding   :       0.73     444105          0
1790.03/1790.09	c   zirounding       :       0.51       1000          0
1790.03/1790.09	c   rounding         :       1.10       9390          0
1790.03/1790.09	c   shifting         :       0.57       2905          0
1790.03/1790.09	c   twoopt           :       0.00          0          0
1790.03/1790.09	c   fixandinfer      :       0.00          0          0
1790.03/1790.09	c   intdiving        :       0.00          0          0
1790.03/1790.09	c   actconsdiving    :       0.00          0          0
1790.03/1790.09	c   octane           :       0.00          0          0
1790.03/1790.09	c   rens             :       0.03          1          0
1790.03/1790.09	c   rins             :       0.00          0          0
1790.03/1790.09	c   localbranching   :       0.00          0          0
1790.03/1790.09	c   mutation         :       0.00          0          0
1790.03/1790.09	c   dins             :       0.00          0          0
1790.03/1790.09	c   undercover       :       0.00          0          0
1790.03/1790.09	c   nlp              :       0.15          0          0
1790.03/1790.09	c   trysol           :       0.41        314        115
1790.03/1790.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.03/1790.09	c   primal LP        :       0.00          0          0       0.00          -
1790.03/1790.09	c   dual LP          :     552.48     579881    4926673       8.50    8917.37
1790.03/1790.09	c   lex dual LP      :       0.00          0          0       0.00          -
1790.03/1790.09	c   barrier LP       :       0.00          0          0       0.00          -
1790.03/1790.09	c   diving/probing LP:       0.13         69        863      12.51    6575.74
1790.03/1790.09	c   strong branching :      12.96      10787     133689      12.39   10319.22
1790.03/1790.09	c     (at root node) :          -         32       1047      32.72          -
1790.03/1790.09	c   conflict analysis:       0.00          0          0       0.00          -
1790.03/1790.09	c B&B Tree           :
1790.03/1790.09	c   number of runs   :          1
1790.03/1790.09	c   nodes            :     863127
1790.03/1790.09	c   nodes (total)    :     863127
1790.03/1790.09	c   nodes left       :       3964
1790.03/1790.09	c   max depth        :       2797
1790.03/1790.09	c   max depth (total):       2797
1790.03/1790.09	c   backtracks       :      90550 (10.5%)
1790.03/1790.09	c   delayed cutoffs  :      65850
1790.03/1790.09	c   repropagations   :    1933273 (5162607 domain reductions, 63070 cutoffs)
1790.03/1790.09	c   avg switch length:       6.01
1790.03/1790.09	c   switching time   :     243.60
1790.03/1790.09	c Solution           :
1790.03/1790.09	c   Solutions found  :        170 (43 improvements)
1790.03/1790.09	c   First Solution   : +1.35714000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.03/1790.09	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 650465 nodes, 1324.42 seconds, depth 37, found by <relaxation>)
1790.03/1790.09	c   Dual Bound       : +0.00000000000000e+00
1790.03/1790.09	c   Gap              :   infinite
1790.03/1790.09	c   Root Dual Bound  : +0.00000000000000e+00
1790.03/1790.09	c   Root Iterations  :        184
1790.13/1790.18	c Time complete: 1790.22.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705037-1278578327/watcher-2705037-1278578327 -o /tmp/evaluation-result-2705037-1278578327/solver-2705037-1278578327 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705037-1278578327.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.08 2.02 1.92 4/178 22062
/proc/meminfo: memFree=29000604/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=12692 CPUtime=0
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 2006 0 0 0 0 0 0 0 23 0 1 0 26046121 12996608 1924 4089446400 4194304 10345943 140736618242544 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22062/statm: 3173 1926 429 1502 0 1666 0

[startup+0.045265 s]
/proc/loadavg: 2.08 2.02 1.92 4/178 22062
/proc/meminfo: memFree=29000604/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=31848 CPUtime=0.03
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 7205 0 0 0 3 0 0 0 23 0 1 0 26046121 32612352 6769 4089446400 4194304 10345943 140736618242544 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 7962 6769 478 1502 0 6455 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31848

[startup+0.10126 s]
/proc/loadavg: 2.08 2.02 1.92 4/178 22062
/proc/meminfo: memFree=29000604/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=38020 CPUtime=0.1
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 8449 0 0 0 9 1 0 0 23 0 1 0 26046121 38932480 8013 4089446400 4194304 10345943 140736618242544 18446744073709551615 4246426 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 9505 8013 509 1502 0 7998 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 38020

[startup+0.30122 s]
/proc/loadavg: 2.08 2.02 1.92 4/178 22062
/proc/meminfo: memFree=29000604/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=70104 CPUtime=0.29
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 16227 0 0 0 28 1 0 0 23 0 1 0 26046121 71786496 15791 4089446400 4194304 10345943 140736618242544 18446744073709551615 4796355 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 17526 15791 632 1502 0 16019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70104

[startup+0.701119 s]
/proc/loadavg: 2.08 2.02 1.92 4/178 22062
/proc/meminfo: memFree=29000604/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=65264 CPUtime=0.69
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 16893 0 0 0 67 2 0 0 25 0 1 0 26046121 66830336 15052 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 16316 15052 751 1502 0 14809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65264

[startup+1.50098 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 22063
/proc/meminfo: memFree=28941324/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=65264 CPUtime=1.49
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 16896 0 0 0 147 2 0 0 25 0 1 0 26046121 66830336 15055 4089446400 4194304 10345943 140736618242544 18446744073709551615 4447753 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 16316 15055 754 1502 0 14809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65264

[startup+3.10064 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 22063
/proc/meminfo: memFree=28941076/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=65264 CPUtime=3.09
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 16900 0 0 0 307 2 0 0 25 0 1 0 26046121 66830336 15059 4089446400 4194304 10345943 140736618242544 18446744073709551615 4701084 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 16316 15059 754 1502 0 14809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65264

[startup+6.30106 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 22063
/proc/meminfo: memFree=29164292/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=71984 CPUtime=6.29
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 20501 0 0 0 627 2 0 0 25 0 1 0 26046121 73711616 16776 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 17996 16776 762 1502 0 16489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71984

[startup+12.7009 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 22090
/proc/meminfo: memFree=29896556/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=73008 CPUtime=12.69
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 23346 0 0 0 1265 4 0 0 25 0 1 0 26046121 74760192 17047 4089446400 4194304 10345943 140736618242544 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 18252 17047 762 1502 0 16745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73008

[startup+25.5007 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 22090
/proc/meminfo: memFree=29860840/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=94832 CPUtime=25.49
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 29176 0 0 0 2544 5 0 0 25 0 1 0 26046121 97107968 22281 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 23708 22281 762 1502 0 22201 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94832

[startup+51.1001 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 22091
/proc/meminfo: memFree=29819320/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=114980 CPUtime=51.09
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 38784 0 0 0 5101 8 0 0 25 0 1 0 26046121 117739520 27409 4089446400 4194304 10345943 140736618242544 18446744073709551615 6785218 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 28745 27409 762 1502 0 27238 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114980

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 22092
/proc/meminfo: memFree=29666496/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=204300 CPUtime=102.3
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 111303 0 0 0 10208 22 0 0 25 0 1 0 26046121 209203200 49261 4089446400 4194304 10345943 140736618242544 18446744073709551615 6847501 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 51075 49261 774 1502 0 49568 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 204300

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22094
/proc/meminfo: memFree=29548772/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=250792 CPUtime=162.29
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 161762 0 0 0 16193 36 0 0 25 0 1 0 26046121 256811008 60874 4089446400 4194304 10345943 140736618242544 18446744073709551615 6802948 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 62698 60874 785 1502 0 61191 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 250792

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22096
/proc/meminfo: memFree=29503592/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=265128 CPUtime=222.29
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 191974 0 0 0 22173 56 0 0 25 0 1 0 26046121 271491072 64263 4089446400 4194304 10345943 140736618242544 18446744073709551615 6518861 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 66282 64263 794 1502 0 64775 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 265128

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22098
/proc/meminfo: memFree=29479732/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=268540 CPUtime=282.3
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 194831 0 0 0 28160 70 0 0 25 0 1 0 26046121 274984960 65385 4089446400 4194304 10345943 140736618242544 18446744073709551615 5614659 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 67135 65385 794 1502 0 65628 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 268540

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22099
/proc/meminfo: memFree=29454136/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=280728 CPUtime=342.3
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 197640 0 0 0 34146 84 0 0 25 0 1 0 26046121 287465472 68194 4089446400 4194304 10345943 140736618242544 18446744073709551615 5026474 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 70182 68194 794 1502 0 68675 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 280728

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 22100
/proc/meminfo: memFree=29434864/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=285684 CPUtime=402.3
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 215422 0 0 0 40128 102 0 0 25 0 1 0 26046121 292540416 69573 4089446400 4194304 10345943 140736618242544 18446744073709551615 6119630 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 71421 69573 795 1502 0 69914 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 285684

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 22102
/proc/meminfo: memFree=29426752/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=286328 CPUtime=462.31
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 221380 0 0 0 46114 117 0 0 25 0 1 0 26046121 293199872 69816 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 71582 69816 796 1502 0 70075 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 286328

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 22104
/proc/meminfo: memFree=29423984/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=287044 CPUtime=522.3
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 242155 0 0 0 52093 137 0 0 25 0 1 0 26046121 293933056 69783 4089446400 4194304 10345943 140736618242544 18446744073709551615 6803086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 71761 69783 797 1502 0 70254 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 287044

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22106
/proc/meminfo: memFree=29420956/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=289312 CPUtime=582.31
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 244802 0 0 0 58075 156 0 0 25 0 1 0 26046121 296255488 70427 4089446400 4194304 10345943 140736618242544 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 72328 70427 797 1502 0 70821 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 289312

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22107
/proc/meminfo: memFree=29417052/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=290108 CPUtime=642.31
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 245035 0 0 0 64063 168 0 0 25 0 1 0 26046121 297070592 70660 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 72527 70660 797 1502 0 71020 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 290108

[startup+702.301 s]

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

/proc/meminfo: memFree=29382304/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=308320 CPUtime=1002.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 249387 0 0 0 99970 262 0 0 25 0 1 0 26046121 315719680 75012 4089446400 4194304 10345943 140736618242544 18446744073709551615 5926490 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77080 75012 797 1502 0 75573 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 308320

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 22118
/proc/meminfo: memFree=29382264/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=308320 CPUtime=1062.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 249390 0 0 0 105954 278 0 0 25 0 1 0 26046121 315719680 75015 4089446400 4194304 10345943 140736618242544 18446744073709551615 6119802 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77080 75015 797 1502 0 75573 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 308320

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22120
/proc/meminfo: memFree=29378736/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=309988 CPUtime=1122.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 250526 0 0 0 111942 290 0 0 25 0 1 0 26046121 317427712 75684 4089446400 4194304 10345943 140736618242544 18446744073709551615 6929822 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77497 75684 797 1502 0 75990 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 309988

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22122
/proc/meminfo: memFree=29378692/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=309988 CPUtime=1182.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 250987 0 0 0 117926 306 0 0 25 0 1 0 26046121 317427712 75685 4089446400 4194304 10345943 140736618242544 18446744073709551615 8160361 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77497 75685 797 1502 0 75990 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 309988

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22123
/proc/meminfo: memFree=29380008/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=308320 CPUtime=1242.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 251544 0 0 0 123911 321 0 0 25 0 1 0 26046121 315719680 75300 4089446400 4194304 10345943 140736618242544 18446744073709551615 5614829 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77080 75300 797 1502 0 75573 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 308320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22124
/proc/meminfo: memFree=29379840/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=308320 CPUtime=1302.33
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 252509 0 0 0 129902 331 0 0 25 0 1 0 26046121 315719680 75301 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77080 75301 797 1502 0 75573 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 308320

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22135
/proc/meminfo: memFree=29376416/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1362.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 255114 0 0 0 135889 343 0 0 25 0 1 0 26046121 318459904 75949 4089446400 4194304 10345943 140736618242544 18446744073709551615 6785812 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75949 797 1502 0 76242 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 310996

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22137
/proc/meminfo: memFree=29376496/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1422.34
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 255558 0 0 0 141874 360 0 0 25 0 1 0 26046121 318459904 75953 4089446400 4194304 10345943 140736618242544 18446744073709551615 6068905 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75953 797 1502 0 76242 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 310996

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 22139
/proc/meminfo: memFree=29376444/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1482.32
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256007 0 0 0 147858 374 0 0 25 0 1 0 26046121 318459904 75953 4089446400 4194304 10345943 140736618242544 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75953 797 1502 0 76242 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 310996

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/179 22140
/proc/meminfo: memFree=29376504/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1542.33
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256008 0 0 0 153847 386 0 0 25 0 1 0 26046121 318459904 75954 4089446400 4194304 10345943 140736618242544 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75954 797 1502 0 76242 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 310996

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/179 22141
/proc/meminfo: memFree=29376328/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1602.34
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256012 0 0 0 159834 400 0 0 25 0 1 0 26046121 318459904 75958 4089446400 4194304 10345943 140736618242544 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75958 797 1502 0 76242 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 310996

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 22143
/proc/meminfo: memFree=29376528/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1662.33
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 165819 414 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 310996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 22145
/proc/meminfo: memFree=29376728/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1722.33
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 171804 429 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 6864719 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 310996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376056/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1782.33
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 177791 442 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 5614764 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 310996

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376180/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1785.53
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 178110 443 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 4215470 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 310996

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376300/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1788.74
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 178430 444 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 6929826 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 310996

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376300/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1789.54
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 178510 444 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 310996

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376300/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1789.93
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256015 0 0 0 178549 444 0 0 25 0 1 0 26046121 318459904 75961 4089446400 4194304 10345943 140736618242544 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75961 797 1502 0 76242 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 310996

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22147
/proc/meminfo: memFree=29376300/32950928 swapFree=4192956/4192956
[pid=22062] ppid=22060 vsize=310996 CPUtime=1790.13
/proc/22062/stat : 22062 (pbscip.linux.x8) R 22060 22062 21633 0 -1 4202496 256016 0 0 0 178569 444 0 0 25 0 1 0 26046121 318459904 75962 4089446400 4194304 10345943 140736618242544 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22062/statm: 77749 75962 798 1502 0 76242 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 310996

Child status: 0
Real time (s): 1790.19
CPU time (s): 1790.23
CPU user time (s): 1785.78
CPU system time (s): 4.45732
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 313980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.78
system time used= 4.45732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2140

runsolver used 3.10453 second user time and 6.63499 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-08 10:38:47
IDJOB=2705037
IDBENCH=79270
IDSOLVER=1214
FILE ID=node124/2705037-1278578327
PBS_JOBID= 11240205
Free space on /tmp= 130192 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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.1900554072--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-2705037-1278578327/watcher-2705037-1278578327 -o /tmp/evaluation-result-2705037-1278578327/solver-2705037-1278578327 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705037-1278578327.wbo -t 1800 -m 3800

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

MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868
RANDOM SEED=1887248558

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29001008 kB
Buffers:        160764 kB
Cached:        2575300 kB
SwapCached:          0 kB
Active:        2049288 kB
Inactive:      1768164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29001008 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12836 kB
Writeback:           0 kB
AnonPages:     1081580 kB
Mapped:          17644 kB
Slab:            97780 kB
PageTables:       6704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:  1241848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130180 MiB
End job on node124 at 2010-07-08 11:08:37