Trace number 2693389

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.16 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo
MD5SUM8d817301a4b1c2c9b4fea9d5d7fdc9d1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark263.875
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693389-1277900806.wbo>
0.02/0.03	c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.05	c presolving:
0.02/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.09	c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.10	c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11	c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12	c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16	c    (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16	c  2006 implications, 5 cliques
0.09/0.16	c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16	c    1811 constraints of type <indicator>
0.09/0.16	c       5 constraints of type <setppc>
0.09/0.16	c    1811 constraints of type <linear>
0.09/0.16	c     807 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.10
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     0 |     8 |     - |  14M|   0 |   6 |3853 |4434 |3853 | 812 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 92548
0.09/0.19	c y 0.1s|     1 |     0 |     8 |     - |  14M|   0 |   6 |3853 |4434 |3853 | 812 |   0 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.19/0.20	c   0.1s|     1 |     0 |    53 |     - |  14M|   0 |  23 |3853 |4434 |3853 | 829 |  17 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   114 |     - |  14M|   0 |  30 |3853 |4434 |3853 | 851 |  39 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   135 |     - |  14M|   0 |  27 |3853 |4434 |3853 | 868 |  56 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   154 |     - |  14M|   0 |  29 |3853 |4434 |3853 | 876 |  64 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   180 |     - |  14M|   0 |  26 |3853 |4434 |3853 | 886 |  74 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.29/0.39	c   0.3s|     1 |     0 |   253 |     - |  15M|   0 |  28 |3853 |4434 |3853 | 893 |  81 |   0 |   0 | 0.000000e+00 | 9.254800e+04 |    Inf 
0.69/0.76	c   0.7s|     1 |     2 |   253 |     - |  15M|   0 |  28 |3853 |4434 |3853 | 893 |  81 |   0 |  28 | 0.000000e+00 | 9.254800e+04 |    Inf 
9.09/9.18	o 869
9.09/9.18	c * 8.8s|  4423 |  4273 |  7534 |   1.6 |  27M|1561 |   - |3853 |4434 |3853 | 958 |1079 |   0 |1052 | 0.000000e+00 | 8.690000e+02 |    Inf 
10.29/10.34	o 706
10.29/10.34	c * 9.9s|  5357 |  4827 |  8040 |   1.5 |  29M|1561 |   - |3853 |4453 |3853 | 929 |1183 |  19 |1077 | 0.000000e+00 | 7.060000e+02 |    Inf 
10.39/10.43	o 563
10.39/10.43	c *10.0s|  5438 |  4179 |  8069 |   1.4 |  28M|1561 |   - |3853 |4473 |3853 | 928 |1186 |  39 |1077 | 0.000000e+00 | 5.630000e+02 |    Inf 
12.00/12.06	o 561
12.00/12.06	c *11.6s|  6180 |  4686 | 10286 |   1.6 |  30M|1561 |   - |3853 |5130 |3853 | 935 |1494 | 700 |1184 | 0.000000e+00 | 5.610000e+02 |    Inf 
12.00/12.07	o 528
12.00/12.07	c *11.6s|  6181 |  4560 | 10287 |   1.6 |  30M|1561 |   - |3853 |5130 |3853 | 935 |1494 | 700 |1184 | 0.000000e+00 | 5.280000e+02 |    Inf 
12.10/12.12	o 482
12.10/12.12	c *11.6s|  6202 |  4349 | 10355 |   1.6 |  30M|1561 |   - |3853 |5142 |3853 | 935 |1498 | 712 |1184 | 0.000000e+00 | 4.820000e+02 |    Inf 
12.10/12.17	o 456
12.10/12.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.10/12.17	c *11.7s|  6243 |  4162 | 10366 |   1.6 |  29M|1561 |   - |3853 |5142 |3853 | 935 |1498 | 712 |1184 | 0.000000e+00 | 4.560000e+02 |    Inf 
12.40/12.41	o 424
12.40/12.41	c *11.9s|  6369 |  3956 | 10755 |   1.6 |  29M|1561 |   - |3853 |5194 |3853 | 925 |1542 | 765 |1191 | 0.000000e+00 | 4.240000e+02 |    Inf 
13.10/13.15	o 423
13.10/13.15	c *12.6s|  6653 |  4134 | 12269 |   1.8 |  29M|1561 |   - |3853 |5346 |3853 | 947 |1737 | 952 |1252 | 0.000000e+00 | 4.230000e+02 |    Inf 
15.29/15.33	o 393
15.29/15.33	c *14.7s|  7674 |  4161 | 15221 |   2.0 |  30M|1561 |   - |3853 |5922 |3853 | 943 |2195 |2089 |1317 | 0.000000e+00 | 3.930000e+02 |    Inf 
18.89/18.93	o 389
18.89/18.93	c *18.1s|  9402 |  5324 | 21145 |   2.2 |  34M|1561 |   - |3853 |6073 |3853 | 939 |3252 |3175 |1429 | 0.000000e+00 | 3.890000e+02 |    Inf 
19.60/19.65	c  18.9s| 10000 |  5915 | 21436 |   2.1 |  35M|1561 |   0 |3853 |6019 |3853 | 902 |3289 |3193 |1437 | 0.000000e+00 | 3.890000e+02 |    Inf 
21.69/21.78	o 387
21.69/21.78	c *20.9s| 11567 |  7128 | 22568 |   1.9 |  38M|1561 |   - |3853 |6384 |3853 | 926 |3483 |3801 |1465 | 0.000000e+00 | 3.870000e+02 |    Inf 
21.79/21.81	o 377
21.79/21.81	c *20.9s| 11572 |  6933 | 22592 |   1.9 |  38M|1561 |   - |3853 |6383 |3853 | 931 |3488 |3801 |1465 | 0.000000e+00 | 3.770000e+02 |    Inf 
21.90/21.99	o 372
21.90/21.99	c *21.1s| 11688 |  6906 | 22749 |   1.9 |  38M|1561 |   - |3853 |6402 |3853 | 931 |3501 |3834 |1470 | 0.000000e+00 | 3.720000e+02 |    Inf 
21.90/21.99	o 329
21.90/21.99	c *21.1s| 11689 |  5933 | 22749 |   1.9 |  36M|1561 |   - |3853 |6402 |3853 | 931 |3501 |3834 |1470 | 0.000000e+00 | 3.290000e+02 |    Inf 
22.39/22.44	o 324
22.39/22.44	c *21.5s| 11982 |  6055 | 23007 |   1.9 |  36M|1561 |   - |3853 |6394 |3853 | 920 |3575 |3870 |1477 | 0.000000e+00 | 3.240000e+02 |    Inf 
22.60/22.69	o 315
22.60/22.69	c *21.8s| 12143 |  6021 | 23211 |   1.9 |  36M|1561 |   - |3853 |6398 |3853 | 935 |3622 |3914 |1480 | 0.000000e+00 | 3.150000e+02 |    Inf 
22.79/22.85	o 312
22.79/22.85	c *21.9s| 12230 |  6028 | 23416 |   1.9 |  36M|1561 |   - |3853 |6399 |3853 | 920 |3678 |3940 |1481 | 0.000000e+00 | 3.120000e+02 |    Inf 
23.19/23.24	o 311
23.19/23.24	c *22.3s| 12470 |  6229 | 23627 |   1.9 |  36M|1561 |   - |3853 |6446 |3853 | 931 |3747 |4016 |1486 | 0.000000e+00 | 3.110000e+02 |    Inf 
23.19/23.24	o 310
23.19/23.24	c *22.3s| 12471 |  6207 | 23627 |   1.9 |  36M|1561 |   - |3853 |6446 |3853 | 931 |3747 |4016 |1486 | 0.000000e+00 | 3.100000e+02 |    Inf 
23.40/23.44	o 297
23.40/23.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.40/23.44	c *22.5s| 12609 |  6080 | 23699 |   1.9 |  36M|1561 |   - |3853 |6455 |3853 | 938 |3765 |4037 |1487 | 0.000000e+00 | 2.970000e+02 |    Inf 
23.49/23.59	o 292
23.49/23.59	c *22.6s| 12686 |  6040 | 23871 |   1.9 |  35M|1561 |   - |3853 |6444 |3853 | 916 |3785 |4037 |1498 | 0.000000e+00 | 2.920000e+02 |    Inf 
23.49/23.59	o 285
23.49/23.59	c *22.6s| 12687 |  5875 | 23871 |   1.9 |  35M|1561 |   - |3853 |6444 |3853 | 916 |3785 |4037 |1498 | 0.000000e+00 | 2.850000e+02 |    Inf 
23.79/23.87	o 275
23.79/23.87	c *22.9s| 12864 |  5844 | 24200 |   1.9 |  35M|1561 |   - |3853 |6271 |3853 | 920 |3854 |4050 |1500 | 0.000000e+00 | 2.750000e+02 |    Inf 
23.79/23.87	o 266
23.79/23.87	c *22.9s| 12865 |  5629 | 24200 |   1.9 |  34M|1561 |   - |3853 |6271 |3853 | 920 |3854 |4050 |1500 | 0.000000e+00 | 2.660000e+02 |    Inf 
24.60/24.62	o 263
24.60/24.62	c *23.6s| 13249 |  5843 | 25273 |   1.9 |  35M|1561 |   - |3853 |6293 |3853 | 930 |4046 |4260 |1505 | 0.000000e+00 | 2.630000e+02 |    Inf 
24.60/24.62	o 257
24.60/24.62	c *23.6s| 13250 |  5718 | 25273 |   1.9 |  34M|1561 |   - |3853 |6293 |3853 | 930 |4046 |4260 |1505 | 0.000000e+00 | 2.570000e+02 |    Inf 
25.99/26.06	o 252
25.99/26.06	c *25.0s| 13895 |  6079 | 28525 |   2.0 |  36M|1561 |   - |3853 |6058 |3853 | 908 |4509 |4610 |1537 | 0.000000e+00 | 2.520000e+02 |    Inf 
25.99/26.06	o 249
25.99/26.06	c *25.0s| 13896 |  6029 | 28525 |   2.0 |  36M|1561 |   - |3853 |6058 |3853 | 908 |4509 |4610 |1537 | 0.000000e+00 | 2.490000e+02 |    Inf 
27.29/27.36	o 239
27.29/27.36	c *26.2s| 14609 |  6312 | 30251 |   2.1 |  37M|1561 |   - |3853 |6180 |3853 | 926 |4927 |4958 |1547 | 0.000000e+00 | 2.390000e+02 |    Inf 
27.29/27.37	o 232
27.29/27.37	c *26.2s| 14610 |  6143 | 30253 |   2.1 |  36M|1561 |   - |3853 |6180 |3853 | 926 |4927 |4958 |1547 | 0.000000e+00 | 2.320000e+02 |    Inf 
29.79/29.81	o 224
29.79/29.81	c *28.6s| 15697 |  6711 | 35562 |   2.2 |  39M|1561 |   - |3853 |6218 |3853 | 925 |5958 |5662 |1605 | 0.000000e+00 | 2.240000e+02 |    Inf 
29.79/29.81	o 221
29.79/29.81	c *28.6s| 15698 |  6629 | 35563 |   2.2 |  39M|1561 |   - |3853 |6218 |3853 | 925 |5958 |5662 |1605 | 0.000000e+00 | 2.210000e+02 |    Inf 
30.59/30.61	o 205
30.59/30.61	c *29.3s| 16068 |  6465 | 37515 |   2.3 |  38M|1561 |   - |3853 |6100 |3853 | 944 |6221 |5852 |1609 | 0.000000e+00 | 2.050000e+02 |    Inf 
31.09/31.11	o 204
31.09/31.11	c *29.8s| 16220 |  6543 | 38561 |   2.4 |  39M|1561 |   - |3853 |6119 |3853 | 933 |6429 |6014 |1640 | 0.000000e+00 | 2.040000e+02 |    Inf 
31.09/31.16	o 174
31.09/31.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.09/31.16	c *29.9s| 16232 |  6013 | 38607 |   2.4 |  37M|1561 |   - |3853 |6116 |3853 | 929 |6439 |6022 |1641 | 0.000000e+00 | 1.740000e+02 |    Inf 
31.09/31.18	o 131
31.09/31.18	c *29.9s| 16243 |  4613 | 38636 |   2.4 |  32M|1561 |   - |3853 |6113 |3853 | 929 |6440 |6022 |1641 | 0.000000e+00 | 1.310000e+02 |    Inf 
31.20/31.23	o 105
31.20/31.23	c *29.9s| 16262 |  3767 | 38670 |   2.4 |  31M|1561 |   - |3853 |6108 |3853 | 921 |6442 |6022 |1641 | 0.000000e+00 | 1.050000e+02 |    Inf 
31.29/31.35	o 55
31.29/31.35	c *30.0s| 16323 |  1982 | 38797 |   2.4 |  27M|1561 |   - |3853 |6059 |3853 | 930 |6477 |6041 |1641 | 0.000000e+00 | 5.500000e+01 |    Inf 
31.89/31.96	o 34
31.89/31.96	c *30.6s| 16600 |  1526 | 40317 |   2.4 |  26M|1561 |   - |3853 |5057 |3853 | 936 |6689 |6122 |1674 | 0.000000e+00 | 3.400000e+01 |    Inf 
32.19/32.21	o 30
32.19/32.21	c *30.8s| 16654 |  1413 | 41182 |   2.5 |  26M|1561 |   - |3853 |4576 |3853 | 919 |6857 |6180 |1698 | 0.000000e+00 | 3.000000e+01 |    Inf 
32.19/32.21	o 24
32.19/32.21	c *30.8s| 16655 |  1254 | 41182 |   2.5 |  25M|1561 |   - |3853 |4576 |3853 | 919 |6857 |6180 |1698 | 0.000000e+00 | 2.400000e+01 |    Inf 
32.19/32.26	o 20
32.19/32.26	c *30.9s| 16681 |  1228 | 41311 |   2.5 |  25M|1561 |   - |3853 |4308 |3853 | 934 |6895 |6180 |1698 | 0.000000e+00 | 2.000000e+01 |    Inf 
32.19/32.26	o 14
32.19/32.26	c *30.9s| 16682 |   931 | 41311 |   2.5 |  25M|1561 |   - |3853 |4308 |3853 | 934 |6895 |6180 |1698 | 0.000000e+00 | 1.400000e+01 |    Inf 
32.19/32.28	o 9
32.19/32.28	c *30.9s| 16683 |   384 | 41346 |   2.5 |  23M|1561 |   - |3853 |4100 |3853 | 926 |6900 |6180 |1698 | 0.000000e+00 | 9.000000e+00 |    Inf 
37.89/37.95	c  36.3s| 20000 |   440 | 64993 |   3.2 |  25M|1561 |  11 |3853 |5851 |3853 | 890 |8132 |  10k|1743 | 0.000000e+00 | 9.000000e+00 |    Inf 
54.39/54.40	c  51.8s| 30000 |   690 |121893 |   4.1 |  29M|1561 |  16 |3853 |9874 |3853 | 897 |  10k|  22k|1755 | 0.000000e+00 | 9.000000e+00 |    Inf 
71.90/71.94	c  68.5s| 40000 |   866 |180199 |   4.5 |  31M|1561 |   - |3853 |8935 |   0 |   0 |  13k|  35k|1766 | 0.000000e+00 | 9.000000e+00 |    Inf 
89.79/89.84	c  85.4s| 50000 |   941 |243604 |   4.9 |  33M|1561 |  27 |3853 |9349 |3853 | 898 |  16k|  49k|1889 | 0.000000e+00 | 9.000000e+00 |    Inf 
107.60/107.61	c   102s| 60000 |  1097 |301254 |   5.0 |  35M|1561 |  12 |3853 |9217 |3853 | 909 |  19k|  62k|2119 | 0.000000e+00 | 9.000000e+00 |    Inf 
125.59/125.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.59/125.64	c   119s| 70000 |  1244 |361224 |   5.2 |  38M|1561 |   1 |3853 |  12k|3853 | 914 |  21k|  76k|2253 | 0.000000e+00 | 9.000000e+00 |    Inf 
145.50/145.52	c   138s| 80000 |  1432 |429212 |   5.4 |  41M|1561 |   6 |3853 |  13k|3853 | 910 |  23k|  89k|2474 | 0.000000e+00 | 9.000000e+00 |    Inf 
164.10/164.14	c   156s| 90000 |  1480 |484774 |   5.4 |  42M|1561 |   - |3853 |  14k|   0 |   0 |  26k| 102k|2620 | 0.000000e+00 | 9.000000e+00 |    Inf 
183.39/183.41	c   174s|100000 |  1551 |542710 |   5.4 |  43M|1561 |  13 |3853 |  15k|3853 | 926 |  27k| 115k|2762 | 0.000000e+00 | 9.000000e+00 |    Inf 
203.29/203.39	c   193s|110000 |  1719 |606295 |   5.5 |  46M|1561 |  19 |3853 |  16k|3853 | 927 |  30k| 128k|2907 | 0.000000e+00 | 9.000000e+00 |    Inf 
223.30/223.39	c   212s|120000 |  1886 |670393 |   5.6 |  47M|1561 |   1 |3853 |  15k|3853 | 925 |  32k| 142k|3067 | 0.000000e+00 | 9.000000e+00 |    Inf 
242.70/242.74	c   231s|130000 |  1970 |733195 |   5.6 |  49M|1561 |   - |3853 |  16k|   0 |   0 |  34k| 155k|3205 | 0.000000e+00 | 9.000000e+00 |    Inf 
261.91/261.95	c   249s|140000 |  2074 |794029 |   5.7 |  49M|1561 |   - |3853 |  12k|3853 | 932 |  37k| 169k|3436 | 0.000000e+00 | 9.000000e+00 |    Inf 
279.90/279.96	c   266s|150000 |  2138 |845188 |   5.6 |  51M|1561 |   - |3853 |  15k|   0 |   0 |  39k| 182k|3519 | 0.000000e+00 | 9.000000e+00 |    Inf 
299.60/299.62	c   285s|160000 |  2108 |908040 |   5.7 |  50M|1561 |  19 |3853 |  12k|3853 | 938 |  42k| 196k|3675 | 0.000000e+00 | 9.000000e+00 |    Inf 
317.70/317.75	c   302s|170000 |  2393 |964182 |   5.7 |  53M|1561 |   1 |3853 |  14k|3853 | 904 |  46k| 209k|3763 | 0.000000e+00 | 9.000000e+00 |    Inf 
331.11/331.17	o 5
331.11/331.17	c * 315s|177061 |  2366 |  1006k|   5.7 |  52M|1561 |   - |3853 |  15k|3853 | 923 |  50k| 218k|3860 | 0.000000e+00 | 5.000000e+00 |    Inf 
336.51/336.54	c   320s|180000 |  2427 |  1024k|   5.7 |  52M|1561 |   - |3853 |  14k|   0 |   0 |  51k| 222k|3867 | 0.000000e+00 | 5.000000e+00 |    Inf 
355.00/355.01	c   337s|190000 |  2423 |  1085k|   5.7 |  53M|1561 |   - |3853 |  14k|   0 |   0 |  55k| 236k|3981 | 0.000000e+00 | 5.000000e+00 |    Inf 
373.01/373.00	c   354s|200000 |  2393 |  1143k|   5.7 |  54M|1561 |   - |3853 |  15k|   0 |   0 |  58k| 250k|4058 | 0.000000e+00 | 5.000000e+00 |    Inf 
391.30/391.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
391.30/391.36	c   372s|210000 |  2432 |  1203k|   5.7 |  54M|1561 |   - |3853 |  15k|   0 |   0 |  60k| 263k|4156 | 0.000000e+00 | 5.000000e+00 |    Inf 
409.51/409.51	c   389s|220000 |  2374 |  1258k|   5.7 |  54M|1561 |   1 |3853 |  16k|3853 | 912 |  62k| 277k|4265 | 0.000000e+00 | 5.000000e+00 |    Inf 
428.50/428.53	c   407s|230000 |  2470 |  1313k|   5.7 |  55M|1561 |   - |3853 |  15k|   0 |   0 |  64k| 291k|4434 | 0.000000e+00 | 5.000000e+00 |    Inf 
447.80/447.85	c   425s|240000 |  2503 |  1366k|   5.7 |  56M|1561 |   - |3853 |  16k|   0 |   0 |  66k| 305k|4520 | 0.000000e+00 | 5.000000e+00 |    Inf 
467.31/467.31	c   444s|250000 |  2547 |  1421k|   5.7 |  58M|1561 |   1 |3853 |  20k|3853 | 921 |  68k| 319k|4595 | 0.000000e+00 | 5.000000e+00 |    Inf 
486.51/486.55	c   462s|260000 |  2472 |  1472k|   5.7 |  57M|1561 |   - |3853 |  15k|   0 |   0 |  70k| 333k|4696 | 0.000000e+00 | 5.000000e+00 |    Inf 
505.91/505.94	c   481s|270000 |  2491 |  1531k|   5.7 |  58M|1561 |  16 |3853 |  16k|3853 | 920 |  72k| 347k|4772 | 0.000000e+00 | 5.000000e+00 |    Inf 
525.21/525.26	c   499s|280000 |  2528 |  1587k|   5.7 |  58M|1561 |   - |3853 |  15k|   0 |   0 |  74k| 361k|4847 | 0.000000e+00 | 5.000000e+00 |    Inf 
544.01/544.08	c   517s|290000 |  2667 |  1641k|   5.7 |  60M|1561 |   1 |3853 |  17k|3853 | 936 |  76k| 375k|4919 | 0.000000e+00 | 5.000000e+00 |    Inf 
563.41/563.48	c   535s|300000 |  2696 |  1698k|   5.7 |  60M|1561 |  28 |3853 |  17k|3853 | 932 |  79k| 389k|5017 | 0.000000e+00 | 5.000000e+00 |    Inf 
582.41/582.43	c   553s|310000 |  2810 |  1754k|   5.7 |  61M|1561 |  15 |3853 |  17k|3853 | 933 |  81k| 404k|5101 | 0.000000e+00 | 5.000000e+00 |    Inf 
601.72/601.76	c   572s|320000 |  2842 |  1810k|   5.7 |  62M|1561 |  18 |3853 |  16k|3853 | 936 |  84k| 418k|5198 | 0.000000e+00 | 5.000000e+00 |    Inf 
607.01/607.02	o 3
607.01/607.02	c * 577s|322716 |  1880 |  1826k|   5.7 |  49M|1561 |   - |3853 |  16k|3853 | 939 |  84k| 422k|5220 | 0.000000e+00 | 3.000000e+00 |    Inf 
618.22/618.21	o 1
618.22/618.21	c * 587s|328792 |  1607 |  1863k|   5.7 |  46M|1561 |   - |3853 |  17k|3853 | 940 |  85k| 430k|5269 | 0.000000e+00 | 1.000000e-00 |    Inf 
620.41/620.42	c   589s|330000 |  1602 |  1870k|   5.7 |  45M|1561 |   - |3853 |  14k|   0 |   0 |  85k| 432k|5280 | 0.000000e+00 | 1.000000e-00 |    Inf 
638.81/638.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
638.81/638.89	c   607s|340000 |  1685 |  1935k|   5.7 |  47M|1561 |   1 |3853 |  17k|3853 | 921 |  87k| 445k|5349 | 0.000000e+00 | 1.000000e-00 |    Inf 
658.02/658.09	c   625s|350000 |  1646 |  2003k|   5.7 |  47M|1561 |  23 |3853 |  16k|3853 | 929 |  90k| 459k|5432 | 0.000000e+00 | 1.000000e-00 |    Inf 
677.01/677.06	c   643s|360000 |  1648 |  2067k|   5.7 |  48M|1561 |   - |3853 |  18k|3853 | 947 |  92k| 473k|5505 | 0.000000e+00 | 1.000000e-00 |    Inf 
696.32/696.31	c   662s|370000 |  1634 |  2127k|   5.7 |  48M|1561 |   - |3853 |  18k|   0 |   0 |  94k| 487k|5587 | 0.000000e+00 | 1.000000e-00 |    Inf 
715.92/715.98	c   681s|380000 |  1638 |  2186k|   5.8 |  48M|1561 |   7 |3853 |  18k|3853 | 899 |  96k| 500k|5656 | 0.000000e+00 | 1.000000e-00 |    Inf 
736.82/736.89	c   700s|390000 |  1708 |  2247k|   5.8 |  50M|1561 |  10 |3853 |  23k|3853 | 929 |  98k| 514k|5726 | 0.000000e+00 | 1.000000e-00 |    Inf 
758.61/758.62	c   721s|400000 |  1774 |  2305k|   5.8 |  53M|1561 |  13 |3853 |  28k|3853 | 948 | 100k| 528k|5796 | 0.000000e+00 | 1.000000e-00 |    Inf 
782.71/782.78	c   745s|410000 |  1808 |  2370k|   5.8 |  53M|1561 |   - |3853 |  27k|   0 |   0 | 102k| 542k|5890 | 0.000000e+00 | 1.000000e-00 |    Inf 
804.81/804.80	c   766s|420000 |  1824 |  2427k|   5.8 |  53M|1561 |   - |3853 |  25k|   0 |   0 | 104k| 556k|5943 | 0.000000e+00 | 1.000000e-00 |    Inf 
827.02/827.01	c   787s|430000 |  1807 |  2483k|   5.8 |  54M|1561 |  18 |3853 |  28k|3853 | 926 | 106k| 570k|5995 | 0.000000e+00 | 1.000000e-00 |    Inf 
850.22/850.27	c   810s|440000 |  1819 |  2535k|   5.8 |  54M|1561 |   - |3853 |  28k|   0 |   0 | 108k| 583k|6054 | 0.000000e+00 | 1.000000e-00 |    Inf 
873.42/873.48	c   832s|450000 |  1849 |  2592k|   5.8 |  56M|1561 |   - |3853 |  31k|   0 |   0 | 110k| 598k|6138 | 0.000000e+00 | 1.000000e-00 |    Inf 
897.02/897.04	c   855s|460000 |  1867 |  2645k|   5.8 |  57M|1561 |   - |3853 |  33k|   0 |   0 | 111k| 612k|6208 | 0.000000e+00 | 1.000000e-00 |    Inf 
921.03/921.01	c   878s|470000 |  1914 |  2698k|   5.7 |  57M|1561 |   - |3853 |  33k|   0 |   0 | 113k| 626k|6268 | 0.000000e+00 | 1.000000e-00 |    Inf 
945.22/945.26	c   901s|480000 |  1920 |  2752k|   5.7 |  58M|1561 |  18 |3853 |  35k|3853 | 940 | 116k| 640k|6318 | 0.000000e+00 | 1.000000e-00 |    Inf 
970.72/970.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
970.72/970.75	c   926s|490000 |  1948 |  2811k|   5.7 |  56M|1561 |  19 |3853 |  30k|3853 | 921 | 118k| 654k|6373 | 0.000000e+00 | 1.000000e-00 |    Inf 
996.32/996.31	c   950s|500000 |  1964 |  2870k|   5.7 |  57M|1561 |  11 |3853 |  31k|3853 | 925 | 120k| 668k|6435 | 0.000000e+00 | 1.000000e-00 |    Inf 
1021.63/1021.69	c   975s|510000 |  2059 |  2929k|   5.7 |  59M|1561 |   - |3853 |  35k|   0 |   0 | 121k| 682k|6499 | 0.000000e+00 | 1.000000e-00 |    Inf 
1047.02/1047.00	c   999s|520000 |  2099 |  2991k|   5.8 |  59M|1561 |  22 |3853 |  34k|3853 | 923 | 123k| 697k|6571 | 0.000000e+00 | 1.000000e-00 |    Inf 
1074.12/1074.19	c  1026s|530000 |  2177 |  3057k|   5.8 |  61M|1561 |   1 |3853 |  38k|3853 | 939 | 125k| 711k|6630 | 0.000000e+00 | 1.000000e-00 |    Inf 
1100.83/1100.85	c  1051s|540000 |  2142 |  3122k|   5.8 |  60M|1561 |  17 |3853 |  33k|3853 | 933 | 126k| 726k|6692 | 0.000000e+00 | 1.000000e-00 |    Inf 
1126.93/1126.98	c  1077s|550000 |  2161 |  3181k|   5.8 |  60M|1561 |   - |3853 |  33k|   0 |   0 | 128k| 740k|6756 | 0.000000e+00 | 1.000000e-00 |    Inf 
1152.33/1152.31	c  1101s|560000 |  2263 |  3244k|   5.8 |  62M|1561 |   - |3853 |  35k|   0 |   0 | 130k| 755k|6809 | 0.000000e+00 | 1.000000e-00 |    Inf 
1177.53/1177.59	c  1125s|570000 |  2368 |  3302k|   5.8 |  63M|1561 |   9 |3853 |  37k|3853 | 951 | 132k| 769k|6870 | 0.000000e+00 | 1.000000e-00 |    Inf 
1203.73/1203.72	c  1151s|580000 |  2514 |  3364k|   5.8 |  65M|1561 |  26 |3853 |  38k|3853 | 945 | 134k| 784k|6934 | 0.000000e+00 | 1.000000e-00 |    Inf 
1229.53/1229.50	c  1176s|590000 |  2462 |  3425k|   5.8 |  65M|1561 |   1 |3853 |  39k|3853 | 949 | 136k| 800k|7001 | 0.000000e+00 | 1.000000e-00 |    Inf 
1256.03/1256.07	c  1201s|600000 |  2439 |  3489k|   5.8 |  65M|1561 |   - |3853 |  38k|3853 | 945 | 138k| 815k|7066 | 0.000000e+00 | 1.000000e-00 |    Inf 
1281.34/1281.35	c  1226s|610000 |  2437 |  3550k|   5.8 |  65M|1561 |   - |3853 |  38k|   0 |   0 | 140k| 830k|7120 | 0.000000e+00 | 1.000000e-00 |    Inf 
1309.34/1309.38	c  1253s|620000 |  2468 |  3612k|   5.8 |  65M|1561 |   - |3853 |  37k|   0 |   0 | 142k| 845k|7167 | 0.000000e+00 | 1.000000e-00 |    Inf 
1335.14/1335.19	c  1278s|630000 |  2455 |  3671k|   5.8 |  64M|1561 |   1 |3853 |  34k|3853 | 925 | 144k| 859k|7238 | 0.000000e+00 | 1.000000e-00 |    Inf 
1360.94/1360.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1360.94/1360.90	c  1302s|640000 |  2358 |  3733k|   5.8 |  62M|1561 |  16 |3853 |  31k|3853 | 928 | 146k| 874k|7284 | 0.000000e+00 | 1.000000e-00 |    Inf 
1384.84/1384.81	c  1325s|650000 |  2338 |  3783k|   5.8 |  64M|1561 |   - |3853 |  35k|   0 |   0 | 148k| 888k|7313 | 0.000000e+00 | 1.000000e-00 |    Inf 
1411.93/1411.91	c  1352s|660000 |  2356 |  3836k|   5.8 |  66M|1561 |   - |3853 |  39k|   0 |   0 | 150k| 902k|7362 | 0.000000e+00 | 1.000000e-00 |    Inf 
1439.74/1439.71	c  1379s|670000 |  2319 |  3892k|   5.8 |  65M|1561 |   - |3853 |  37k|   0 |   0 | 152k| 917k|7432 | 0.000000e+00 | 1.000000e-00 |    Inf 
1464.93/1464.97	c  1403s|680000 |  2323 |  3949k|   5.8 |  64M|1561 |  19 |3853 |  34k|3853 | 920 | 154k| 931k|7461 | 0.000000e+00 | 1.000000e-00 |    Inf 
1491.74/1491.79	c  1429s|690000 |  2370 |  4010k|   5.8 |  65M|1561 |   1 |3853 |  36k|3853 | 923 | 155k| 946k|7509 | 0.000000e+00 | 1.000000e-00 |    Inf 
1517.14/1517.13	c  1453s|700000 |  2328 |  4067k|   5.8 |  65M|1561 |   1 |3853 |  36k|3853 | 925 | 157k| 960k|7586 | 0.000000e+00 | 1.000000e-00 |    Inf 
1543.04/1543.05	c  1478s|710000 |  2317 |  4128k|   5.8 |  64M|1561 |  15 |3853 |  33k|3853 | 917 | 160k| 975k|7644 | 0.000000e+00 | 1.000000e-00 |    Inf 
1566.54/1566.53	c  1501s|720000 |  2315 |  4188k|   5.8 |  62M|1561 |   1 |3853 |  25k|3853 | 934 | 162k| 989k|7684 | 0.000000e+00 | 1.000000e-00 |    Inf 
1589.24/1589.26	c  1523s|730000 |  2408 |  4247k|   5.8 |  64M|1561 |  22 |3853 |  30k|3853 | 934 | 164k|1002k|7738 | 0.000000e+00 | 1.000000e-00 |    Inf 
1612.45/1612.49	c  1545s|740000 |  2346 |  4307k|   5.8 |  63M|1561 |  18 |3853 |  29k|3853 | 934 | 166k|1017k|7787 | 0.000000e+00 | 1.000000e-00 |    Inf 
1635.54/1635.54	c  1567s|750000 |  2303 |  4366k|   5.8 |  61M|1561 |   - |3853 |  22k|3853 | 918 | 168k|1031k|7847 | 0.000000e+00 | 1.000000e-00 |    Inf 
1656.65/1656.67	c  1588s|760000 |  2314 |  4429k|   5.8 |  62M|1561 |  18 |3853 |  26k|3853 | 936 | 170k|1045k|7886 | 0.000000e+00 | 1.000000e-00 |    Inf 
1677.45/1677.48	c  1608s|770000 |  2250 |  4488k|   5.8 |  60M|1561 |   1 |3853 |  21k|3853 | 933 | 172k|1059k|7950 | 0.000000e+00 | 1.000000e-00 |    Inf 
1697.85/1697.84	c  1627s|780000 |  2189 |  4549k|   5.8 |  60M|1561 |   5 |3853 |  21k|3853 | 917 | 174k|1073k|8023 | 0.000000e+00 | 1.000000e-00 |    Inf 
1717.55/1717.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1717.55/1717.53	c  1646s|790000 |  1827 |  4607k|   5.8 |  53M|1561 |   9 |3853 |  13k|3853 | 915 | 176k|1087k|8284 | 0.000000e+00 | 1.000000e-00 |    Inf 
1735.44/1735.44	c  1663s|800000 |  1622 |  4666k|   5.8 |  51M|1561 |   - |3853 |  13k|   0 |   0 | 178k|1102k|8289 | 0.000000e+00 | 1.000000e-00 |    Inf 
1754.25/1754.26	c  1681s|810000 |  1195 |  4726k|   5.8 |  46M|1561 |   - |3853 |  13k|   0 |   0 | 180k|1116k|8297 | 0.000000e+00 | 1.000000e-00 |    Inf 
1773.35/1773.36	c  1699s|820000 |  1033 |  4785k|   5.8 |  44M|1561 |   - |3853 |  15k|3853 | 921 | 181k|1130k|8676 | 0.000000e+00 | 1.000000e-00 |    Inf 
1792.35/1792.37	c  1717s|830000 |   936 |  4852k|   5.8 |  42M|1561 |   - |3853 |  13k|   0 |   0 | 183k|1143k|8835 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1724.32
1800.05/1800.00	c Solving Nodes      : 834210
1800.05/1800.00	c Primal Bound       : +1.00000000000000e-00 (158 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.04	s SATISFIABLE
1800.05/1800.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 x211 -x210 
1800.05/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.05/1800.04	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.04	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.04	v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 
1800.05/1800.04	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.05/1800.04	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.04	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.05/1800.04	v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 
1800.05/1800.04	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.05/1800.04	v -x1 
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Solving Time       :    1724.32
1800.05/1800.04	c Original Problem   :
1800.05/1800.04	c   Problem name     : HOME/instance-2693389-1277900806.wbo
1800.05/1800.04	c   Variables        : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.05/1800.04	c   Constraints      : 4576 initial, 4576 maximal
1800.05/1800.04	c Presolved Problem  :
1800.05/1800.04	c   Problem name     : t_HOME/instance-2693389-1277900806.wbo
1800.05/1800.04	c   Variables        : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.05/1800.04	c   Constraints      : 4434 initial, 41427 maximal
1800.05/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.04	c   trivial          :       0.00         57          0          0          0          0          0          0          0
1800.05/1800.04	c   dualfix          :       0.00         57          0          0          0          0          0          0          0
1800.05/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.04	c   indicator        :       0.00          0          0          0          0          0         57          0          0
1800.05/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   linear           :       0.05          0          0          0       1876          0         85         67          0
1800.05/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   root node        :          -       1811          -          -       3622          -          -          -          -
1800.05/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   integral         :          0          0          0     484868          0         64        977          0          0     890322
1800.05/1800.04	c   indicator        :       1811          0    1677269      25476          0        145    1031776          0          0          0
1800.05/1800.04	c   setppc           :          5          6    4209174      34784          0       8310     745163          0          0          0
1800.05/1800.04	c   linear           :       1811          6    4219107      37998          0     236848   19011838     184965          0          0
1800.05/1800.04	c   logicor          :        807+         6    1572281      13349          0     162382    3788263          0          0          0
1800.05/1800.04	c   bounddisjunction :          0+         0      15137          0          0          0       1045          0          0          0
1800.05/1800.04	c   countsols        :          0          0          0      13349          0          0          0          0          0          0
1800.05/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.04	c   integral         :      20.54       0.00       0.00      20.54       0.00
1800.05/1800.04	c   indicator        :       5.51       0.00       3.86       1.65       0.00
1800.05/1800.04	c   setppc           :       4.82       0.00       4.82       0.00       0.00
1800.05/1800.04	c   linear           :     149.77       0.00     148.05       1.72       0.00
1800.05/1800.04	c   logicor          :     321.99       0.00     321.83       0.16       0.00
1800.05/1800.04	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.05/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.04	c   vbounds          :       0.00          2          0          0
1800.05/1800.04	c   rootredcost      :       0.00         49          0       1811
1800.05/1800.04	c   pseudoobj        :     135.63    4230522       2085     693337
1800.05/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.04	c   propagation      :      20.83     409625     409297    2534410       28.1      14316       21.6          -
1800.05/1800.04	c   infeasible LP    :       8.94      30713      30713     246047       44.9        378       16.1          0
1800.05/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   pseudo solution  :       0.00         40         40        232       18.2         52        5.0          -
1800.05/1800.04	c   applied globally :          -          -          -    1149307       23.1          -          -          -
1800.05/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.04	c   cut pool         :       0.00          5          -          -         19          -    (maximal pool size: 265)
1800.05/1800.04	c   redcost          :      22.37     488983          0     296894          0          0
1800.05/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.04	c   gomory           :       0.04          6          0          0       1530          0
1800.05/1800.04	c   strongcg         :       0.03          6          0          0         79          0
1800.05/1800.04	c   cmir             :       0.00          6          0          0          1          0
1800.05/1800.04	c   flowcover        :       0.07          6          0          0          3          0
1800.05/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.05/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.04	c Pricers            :       Time      Calls       Vars
1800.05/1800.04	c   problem variables:       0.00          0          0
1800.05/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   relpscost        :      20.49     445965         64        977          0          0     890322
1800.05/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   inference        :       1.66      13301          0          0          0          0      26602
1800.05/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.04	c   LP solutions     :       0.05          -         48
1800.05/1800.04	c   pseudo solutions :       0.00          -          0
1800.05/1800.04	c   feaspump         :       0.01          1          0
1800.05/1800.04	c   oneopt           :       0.17         37          0
1800.05/1800.04	c   intshifting      :       0.01         10          0
1800.05/1800.04	c   pscostdiving     :       0.12         61          0
1800.05/1800.04	c   fracdiving       :       0.11         61          0
1800.05/1800.04	c   guideddiving     :       0.06         62          0
1800.05/1800.04	c   coefdiving       :       0.03         62          0
1800.05/1800.04	c   veclendiving     :       0.08         62          0
1800.05/1800.04	c   linesearchdiving :       0.07         62          0
1800.05/1800.04	c   rootsoldiving    :       0.14         48          0
1800.05/1800.04	c   objpscostdiving  :       0.08         49          0
1800.05/1800.04	c   crossover        :       0.77         34          0
1800.05/1800.04	c   trivial          :       0.01          2          0
1800.05/1800.04	c   simplerounding   :       0.44     447326          0
1800.05/1800.04	c   zirounding       :       0.47       1000          0
1800.05/1800.04	c   rounding         :       1.24       9427          0
1800.05/1800.04	c   shifting         :       1.18       2932          0
1800.05/1800.04	c   twoopt           :       0.00          0          0
1800.05/1800.04	c   fixandinfer      :       0.00          0          0
1800.05/1800.04	c   intdiving        :       0.00          0          0
1800.05/1800.04	c   actconsdiving    :       0.00          0          0
1800.05/1800.04	c   octane           :       0.00          0          0
1800.05/1800.04	c   rens             :       0.01          1          0
1800.05/1800.04	c   rins             :       0.00          0          0
1800.05/1800.04	c   localbranching   :       0.00          0          0
1800.05/1800.04	c   mutation         :       0.00          0          0
1800.05/1800.04	c   dins             :       0.00          0          0
1800.05/1800.04	c   undercover       :       0.00          0          0
1800.05/1800.04	c   nlp              :       0.00          0          0
1800.05/1800.04	c   trysol           :       1.19       4180        110
1800.05/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.04	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.04	c   dual LP          :     561.79     503526    4873704       9.68    8675.31
1800.05/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.04	c   diving/probing LP:       0.23        143       1865      13.04    8108.70
1800.05/1800.04	c   strong branching :      17.18       8936     177694      19.89   10343.07
1800.05/1800.04	c     (at root node) :          -         28       4281     152.89          -
1800.05/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.04	c B&B Tree           :
1800.05/1800.04	c   number of runs   :          1
1800.05/1800.04	c   nodes            :     834210
1800.05/1800.04	c   nodes (total)    :     834210
1800.05/1800.04	c   nodes left       :        973
1800.05/1800.04	c   max depth        :       1561
1800.05/1800.04	c   max depth (total):       1561
1800.05/1800.04	c   backtracks       :      83010 (10.0%)
1800.05/1800.04	c   delayed cutoffs  :      66853
1800.05/1800.04	c   repropagations   :    2025245 (4259785 domain reductions, 64603 cutoffs)
1800.05/1800.04	c   avg switch length:       6.31
1800.05/1800.04	c   switching time   :     273.29
1800.05/1800.04	c Solution           :
1800.05/1800.04	c   Solutions found  :        158 (49 improvements)
1800.05/1800.04	c   First Solution   : +9.25480000000000e+04   (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.04	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 328792 nodes, 587.35 seconds, depth 50, found by <relaxation>)
1800.05/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.04	c   Gap              :   infinite
1800.05/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.04	c   Root Iterations  :        253
1800.05/1800.09	c Time complete: 1800.15.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693389-1277900806/watcher-2693389-1277900806 -o /tmp/evaluation-result-2693389-1277900806/solver-2693389-1277900806 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693389-1277900806.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 16839
/proc/meminfo: memFree=30979940/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=11124 CPUtime=0
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 1719 0 0 0 0 0 0 0 20 0 1 0 131375725 11390976 1640 4089446400 4194304 9819077 140737269450000 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16839/statm: 2829 1640 392 1374 0 1450 0

[startup+0.026465 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16839
/proc/meminfo: memFree=30979940/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=16824 CPUtime=0.02
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 3141 0 0 0 2 0 0 0 20 0 1 0 131375725 17227776 3062 4089446400 4194304 9819077 140737269450000 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16839/statm: 4206 3062 392 1374 0 2827 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16824

[startup+0.100452 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16839
/proc/meminfo: memFree=30979940/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=32044 CPUtime=0.09
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 7881 0 0 0 8 1 0 0 20 0 1 0 131375725 32813056 6677 4089446400 4194304 9819077 140737269450000 18446744073709551615 4333573 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 7754 6420 498 1374 0 6375 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32044

[startup+0.300436 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16839
/proc/meminfo: memFree=30979940/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=39036 CPUtime=0.29
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 11876 0 0 0 26 3 0 0 20 0 1 0 131375725 39972864 8263 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 9759 8263 680 1374 0 8380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39036

[startup+0.700342 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16839
/proc/meminfo: memFree=30979940/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=43720 CPUtime=0.69
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 18354 0 0 0 65 4 0 0 20 0 1 0 131375725 44769280 9632 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 10930 9632 702 1374 0 9551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43720

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16840
/proc/meminfo: memFree=30943724/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=43644 CPUtime=1.49
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 19187 0 0 0 144 5 0 0 23 0 1 0 131375725 44691456 9645 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 10911 9645 707 1374 0 9532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43644

[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16840
/proc/meminfo: memFree=30943352/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=43496 CPUtime=3.09
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 22540 0 0 0 300 9 0 0 25 0 1 0 131375725 44539904 9716 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 10874 9716 708 1374 0 9495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43496

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16840
/proc/meminfo: memFree=30940020/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=50832 CPUtime=6.29
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 51279 0 0 0 607 22 0 0 25 0 1 0 131375725 52051968 11042 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 12708 11042 710 1374 0 11329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50832

[startup+12.7011 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16840
/proc/meminfo: memFree=30929696/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=63176 CPUtime=12.69
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 98176 0 0 0 1220 49 0 0 25 0 1 0 131375725 64692224 13594 4089446400 4194304 9819077 140737269450000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 15794 13594 713 1374 0 14415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63176

[startup+25.5008 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16841
/proc/meminfo: memFree=30914540/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=76992 CPUtime=25.49
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 203928 0 0 0 2445 104 0 0 25 0 1 0 131375725 78839808 17429 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 19248 17429 715 1374 0 17869 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76992

[startup+51.101 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16842
/proc/meminfo: memFree=30900104/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=91164 CPUtime=51.09
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 387812 0 0 0 4869 240 0 0 25 0 1 0 131375725 93351936 21128 4089446400 4194304 9819077 140737269450000 18446744073709551615 6671062 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 22791 21128 741 1374 0 21412 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91164

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16843
/proc/meminfo: memFree=30894324/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=97060 CPUtime=102.3
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 690917 0 0 0 9722 508 0 0 25 0 1 0 131375725 99389440 22456 4089446400 4194304 9819077 140737269450000 18446744073709551615 6590497 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 24265 22452 741 1374 0 22886 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 97060

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16844
/proc/meminfo: memFree=30883116/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=107480 CPUtime=162.29
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 1018873 0 0 0 15413 816 0 0 25 0 1 0 131375725 110059520 25009 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 26870 25009 741 1374 0 25491 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 107480

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16846
/proc/meminfo: memFree=30874640/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=113652 CPUtime=222.3
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 1333963 0 0 0 21123 1107 0 0 25 0 1 0 131375725 116379648 26503 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 28413 26503 741 1374 0 27034 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 113652

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16848
/proc/meminfo: memFree=30869272/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=119208 CPUtime=282.3
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 1656154 0 0 0 26827 1403 0 0 25 0 1 0 131375725 122068992 27816 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 29802 27816 741 1374 0 28423 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 119208

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16853
/proc/meminfo: memFree=30861720/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=125816 CPUtime=342.3
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 1996681 0 0 0 32522 1708 0 0 25 0 1 0 131375725 128835584 29379 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 31454 29379 741 1374 0 30075 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 125816

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16854
/proc/meminfo: memFree=30858340/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=128516 CPUtime=402.3
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 2333077 0 0 0 38206 2024 0 0 25 0 1 0 131375725 131600384 30067 4089446400 4194304 9819077 140737269450000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 32129 30067 741 1374 0 30750 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 128516

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16855
/proc/meminfo: memFree=30854080/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=130592 CPUtime=462.31
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 2640940 0 0 0 43902 2329 0 0 25 0 1 0 131375725 133726208 30679 4089446400 4194304 9819077 140737269450000 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 32703 30680 741 1374 0 31324 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 130592

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16857
/proc/meminfo: memFree=30852796/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=132408 CPUtime=522.31
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 2915232 0 0 0 49616 2615 0 0 25 0 1 0 131375725 135585792 30987 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 33102 30987 741 1374 0 31723 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 132408

[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16859
/proc/meminfo: memFree=30848420/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=135424 CPUtime=582.31
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 3224945 0 0 0 55317 2914 0 0 25 0 1 0 131375725 138674176 31697 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 33856 31697 741 1374 0 32477 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 135424

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16861
/proc/meminfo: memFree=30846760/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=136492 CPUtime=642.32
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 3585838 0 0 0 61028 3204 0 0 25 0 1 0 131375725 139767808 31915 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 34123 31915 741 1374 0 32744 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 136492

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16865
/proc/meminfo: memFree=30838704/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=141136 CPUtime=822.31
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 4409496 0 0 0 78264 3967 0 0 25 0 1 0 131375725 144523264 33133 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 35284 33133 741 1374 0 33905 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 141136

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16867
/proc/meminfo: memFree=30836044/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=143376 CPUtime=882.32
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 4627097 0 0 0 84037 4195 0 0 25 0 1 0 131375725 146817024 33656 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 35844 33656 741 1374 0 34465 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 143376

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16869
/proc/meminfo: memFree=30834028/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=145452 CPUtime=942.32
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 4855468 0 0 0 89819 4413 0 0 25 0 1 0 131375725 148942848 34154 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 36363 34154 741 1374 0 34984 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 145452

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16870
/proc/meminfo: memFree=30833380/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=145788 CPUtime=1002.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 5078974 0 0 0 95615 4618 0 0 25 0 1 0 131375725 149286912 34194 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 36447 34194 741 1374 0 35068 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 145788

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16871
/proc/meminfo: memFree=30831724/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=147744 CPUtime=1062.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 5306119 0 0 0 101408 4825 0 0 25 0 1 0 131375725 151289856 34709 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 36936 34711 741 1374 0 35557 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 147744

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16873
/proc/meminfo: memFree=30830824/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=148620 CPUtime=1122.32
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 5517101 0 0 0 107210 5022 0 0 25 0 1 0 131375725 152186880 34909 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 37155 34909 741 1374 0 35776 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 148620

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16875
/proc/meminfo: memFree=30830420/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=148564 CPUtime=1182.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 5723977 0 0 0 113000 5233 0 0 25 0 1 0 131375725 152129536 34951 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 37141 34951 741 1374 0 35762 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 148564

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16877
/proc/meminfo: memFree=30828772/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=150672 CPUtime=1242.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 5942864 0 0 0 118787 5446 0 0 25 0 1 0 131375725 154288128 35415 4089446400 4194304 9819077 140737269450000 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 37668 35415 741 1374 0 36289 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 150672

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16878
/proc/meminfo: memFree=30827116/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=151828 CPUtime=1302.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 6170636 0 0 0 124586 5647 0 0 25 0 1 0 131375725 155471872 35627 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 37957 35627 741 1374 0 36578 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 151828

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16879
/proc/meminfo: memFree=30826692/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=152328 CPUtime=1362.33
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 6396899 0 0 0 130376 5857 0 0 25 0 1 0 131375725 155983872 35693 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38082 35693 741 1374 0 36703 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 152328

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16881
/proc/meminfo: memFree=30826144/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=152328 CPUtime=1422.34
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 6599975 0 0 0 136176 6058 0 0 25 0 1 0 131375725 155983872 35730 4089446400 4194304 9819077 140737269450000 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38082 35730 741 1374 0 36703 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 152328

[startup+1482.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/197 16929
/proc/meminfo: memFree=30869448/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=153116 CPUtime=1482.34
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 6814769 0 0 0 141971 6263 0 0 25 0 1 0 131375725 156790784 35868 4089446400 4194304 9819077 140737269450000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38279 35868 741 1374 0 36900 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 153116

[startup+1542.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/197 16931
/proc/meminfo: memFree=30866908/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=153176 CPUtime=1542.34
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 7044219 0 0 0 147762 6472 0 0 25 0 1 0 131375725 156852224 35960 4089446400 4194304 9819077 140737269450000 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38294 35960 741 1374 0 36915 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 153176

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 16932
/proc/meminfo: memFree=30865352/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=156076 CPUtime=1602.34
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 7298050 0 0 0 153539 6695 0 0 25 0 1 0 131375725 159821824 36109 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 39019 36109 741 1374 0 37640 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 156076

[startup+1662.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/197 16933
/proc/meminfo: memFree=30863904/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=154252 CPUtime=1662.35
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 7572058 0 0 0 159302 6933 0 0 25 0 1 0 131375725 157954048 36111 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38563 36111 741 1374 0 37184 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 154252

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/197 16935
/proc/meminfo: memFree=30863600/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=154064 CPUtime=1722.35
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 7886312 0 0 0 165030 7205 0 0 25 0 1 0 131375725 157761536 36083 4089446400 4194304 9819077 140737269450000 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38516 36083 741 1374 0 37137 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 154064

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 16937
/proc/meminfo: memFree=30863144/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=154096 CPUtime=1782.35
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 8221216 0 0 0 170753 7482 0 0 25 0 1 0 131375725 157794304 36081 4089446400 4194304 9819077 140737269450000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38524 36081 741 1374 0 37145 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 154096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16965
/proc/meminfo: memFree=30876064/32951124 swapFree=67111528/67111528
[pid=16839] ppid=16837 vsize=154064 CPUtime=1800.05
/proc/16839/stat : 16839 (pbscip.linux.x8) R 16837 16839 15765 0 -1 4202496 8322801 0 0 0 172434 7571 0 0 25 0 1 0 131375725 157761536 36080 4089446400 4194304 9819077 140737269450000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16839/statm: 38516 36080 741 1374 0 37137 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 154064

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

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

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.16
CPU user time (s): 1724.43
CPU system time (s): 75.7225
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 161244

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

runsolver used 3.01054 second user time and 6.573 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 14:26:46
IDJOB=2693389
IDBENCH=78885
IDSOLVER=1205
FILE ID=node147/2693389-1277900806
PBS_JOBID= 11197162
Free space on /tmp= 74192 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-33-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-2693389-1277900806/watcher-2693389-1277900806 -o /tmp/evaluation-result-2693389-1277900806/solver-2693389-1277900806 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693389-1277900806.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8d817301a4b1c2c9b4fea9d5d7fdc9d1
RANDOM SEED=1068850105

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30980344 kB
Buffers:        186608 kB
Cached:        1508076 kB
SwapCached:          0 kB
Active:         619972 kB
Inactive:      1204948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30980344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:      130012 kB
Mapped:          17468 kB
Slab:            80616 kB
PageTables:       5672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   277996 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= 74188 MiB
End job on node147 at 2010-06-30 14:56:48