Trace number 2705611

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.17 1790.12

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo
MD5SUM901bd5d9c00fc087d540e6ebf4e7f98d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark36.4595
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 constraints1837
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 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
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-2705611-1278572958.wbo>
0.00/0.03	c original problem has 3905 variables (2068 bin, 0 int, 1837 impl, 0 cont) and 4545 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.00/0.08	c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.07/0.09	c (round 3) 45 del vars, 145 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.07/0.09	c (round 4) 118 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 130 impls, 5 clqs
0.09/0.10	c (round 5) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 130 impls, 5 clqs
0.09/0.10	c (round 6) 120 del vars, 162 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 130 impls, 5 clqs
0.09/0.15	c    (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (7 rounds):
0.09/0.15	c  120 deleted vars, 162 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients
0.09/0.15	c  3666 implications, 5 cliques
0.09/0.15	c presolved problem has 3785 variables (2008 bin, 0 int, 1777 impl, 0 cont) and 4383 constraints
0.09/0.15	c      44 constraints of type <setppc>
0.09/0.15	c    1777 constraints of type <linear>
0.09/0.15	c    1777 constraints of type <indicator>
0.09/0.15	c     785 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.11
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.3
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1789.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15	c # [type: int, range: [1,2], default: 1]
0.09/0.15	c timing/clocktype = 2
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/indicator/addCouplingCons = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.15	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.15	c   0.1s|     1 |     0 |     9 |     - |  14M|   0 |   3 |3785 |4383 |3785 | 829 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    50 |     - |  14M|   0 |  34 |3785 |4383 |3785 | 852 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |    86 |     - |  14M|   0 |  43 |3785 |4383 |3785 | 884 |  55 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   118 |     - |  15M|   0 |  41 |3785 |4383 |3785 | 898 |  69 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   162 |     - |  15M|   0 |  49 |3785 |4383 |3785 | 906 |  77 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |   186 |     - |  15M|   0 |  49 |3785 |4383 |3785 | 912 |  83 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |   256 |     - |  15M|   0 |  55 |3785 |4383 |3785 | 920 |  91 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.86	c   0.8s|     1 |     2 |   256 |     - |  15M|   0 |  55 |3785 |4383 |3785 | 920 |  91 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
5.09/5.12	o 90383
5.09/5.12	c y 5.1s|    98 |    97 |  4105 |  39.7 |  15M|  18 |   - |3785 |4383 |   0 |   0 | 325 |   0 |1008 | 0.000000e+00 | 9.038300e+04 |    Inf 
21.09/21.10	c  21.1s| 10000 |  9909 | 16344 |   1.6 |  38M| 173 |   0 |3785 |4474 |3785 | 955 |2690 |  91 |1454 | 0.000000e+00 | 9.038300e+04 |    Inf 
21.49/21.56	o 993
21.49/21.56	c *21.5s| 10327 | 10082 | 16563 |   1.6 |  39M| 173 |   - |3785 |4474 |3785 | 976 |2732 |  91 |1455 | 0.000000e+00 | 9.930000e+02 |    Inf 
35.89/35.93	c  35.9s| 20000 | 19749 | 24641 |   1.2 |  56M| 437 |   0 |3785 |4479 |3785 | 965 |4459 |  96 |1532 | 0.000000e+00 | 9.930000e+02 |    Inf 
48.89/48.90	o 902
48.89/48.90	c *48.9s| 28886 | 28506 | 30753 |   1.1 |  72M| 437 |   - |3785 |4642 |3785 | 962 |5615 | 263 |1552 | 0.000000e+00 | 9.020000e+02 |    Inf 
48.89/48.93	o 828
48.89/48.93	c *48.9s| 28897 | 28359 | 30801 |   1.1 |  71M| 437 |   - |3785 |4656 |3785 | 965 |5624 | 277 |1552 | 0.000000e+00 | 8.280000e+02 |    Inf 
48.99/49.05	o 816
48.99/49.05	c *49.0s| 28958 | 28385 | 30868 |   1.1 |  72M| 437 |   - |3785 |4661 |3785 | 965 |5640 | 283 |1554 | 0.000000e+00 | 8.160000e+02 |    Inf 
49.09/49.11	o 776
49.09/49.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.09/49.11	c *49.1s| 28980 | 28309 | 30946 |   1.1 |  72M| 437 |   - |3785 |4684 |3785 | 967 |5660 | 306 |1555 | 0.000000e+00 | 7.760000e+02 |    Inf 
49.19/49.29	o 425
49.19/49.29	c *49.3s| 29081 | 23383 | 31117 |   1.1 |  63M| 437 |   - |3785 |4703 |3785 | 960 |5688 | 326 |1555 | 0.000000e+00 | 4.250000e+02 |    Inf 
51.09/51.19	c  51.2s| 30000 | 24168 | 34289 |   1.1 |  66M| 437 |   0 |3785 |5039 |3785 | 952 |6346 | 690 |1569 | 0.000000e+00 | 4.250000e+02 |    Inf 
55.09/55.12	o 416
55.09/55.12	c *55.1s| 31897 | 25379 | 40323 |   1.3 |  71M| 437 |   - |3785 |5762 |3785 | 943 |7575 |1578 |1605 | 0.000000e+00 | 4.160000e+02 |    Inf 
68.79/68.80	o 401
68.79/68.80	c *68.8s| 38417 | 29500 | 64977 |   1.7 |  86M| 437 |   - |3785 |7719 |3785 | 955 |  11k|4681 |1701 | 0.000000e+00 | 4.010000e+02 |    Inf 
68.79/68.81	o 384
68.79/68.81	c *68.8s| 38418 | 28903 | 64978 |   1.7 |  85M| 437 |   - |3785 |7719 |3785 | 955 |  11k|4681 |1701 | 0.000000e+00 | 3.840000e+02 |    Inf 
72.49/72.53	c  72.5s| 40000 | 30076 | 74631 |   1.9 |  89M| 437 |   8 |3785 |7981 |3785 | 963 |  13k|5505 |1710 | 0.000000e+00 | 3.840000e+02 |    Inf 
73.30/73.37	o 348
73.30/73.37	c *73.3s| 40408 | 29009 | 75732 |   1.9 |  86M| 437 |   - |3785 |8044 |3785 | 940 |  13k|5684 |1711 | 0.000000e+00 | 3.480000e+02 |    Inf 
83.19/83.24	o 289
83.19/83.24	c *83.2s| 45282 | 27721 | 89682 |   2.0 |  83M| 437 |   - |3785 |8092 |3785 | 940 |  15k|8295 |1717 | 0.000000e+00 | 2.890000e+02 |    Inf 
92.40/92.45	o 275
92.40/92.45	c *92.4s| 49716 | 29437 |101193 |   2.0 |  88M| 437 |   - |3785 |7610 |3785 | 967 |  17k|  10k|1717 | 0.000000e+00 | 2.750000e+02 |    Inf 
92.40/92.46	o 271
92.40/92.46	c *92.4s| 49718 | 28978 |101255 |   2.0 |  87M| 437 |   - |3785 |7609 |3785 | 967 |  17k|  10k|1717 | 0.000000e+00 | 2.710000e+02 |    Inf 
92.40/92.48	o 253
92.40/92.48	c *92.5s| 49720 | 26965 |101325 |   2.0 |  82M| 437 |   - |3785 |7609 |3785 | 967 |  17k|  10k|1717 | 0.000000e+00 | 2.530000e+02 |    Inf 
92.40/92.48	o 252
92.40/92.48	c *92.5s| 49721 | 26870 |101343 |   2.0 |  82M| 437 |   - |3785 |7609 |3785 | 967 |  17k|  10k|1717 | 0.000000e+00 | 2.520000e+02 |    Inf 
93.10/93.11	c  93.1s| 50000 | 27090 |102442 |   2.0 |  83M| 437 |   0 |3785 |7534 |3785 | 957 |  17k|  10k|1720 | 0.000000e+00 | 2.520000e+02 |    Inf 
104.79/104.90	o 239
104.79/104.90	c * 105s| 55685 | 28778 |119540 |   2.1 |  91M| 437 |   - |3785 |6499 |3785 | 970 |  20k|  13k|1727 | 0.000000e+00 | 2.390000e+02 |    Inf 
111.29/111.37	o 231
111.29/111.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
111.29/111.37	c * 111s| 58949 | 29983 |128437 |   2.2 |  94M| 437 |   - |3785 |6329 |3785 | 967 |  21k|  15k|1727 | 0.000000e+00 | 2.310000e+02 |    Inf 
113.49/113.59	c   114s| 60000 | 30608 |130911 |   2.2 |  96M| 437 |   3 |3785 |6124 |3785 | 933 |  22k|  16k|1727 | 0.000000e+00 | 2.310000e+02 |    Inf 
120.10/120.10	o 220
120.10/120.10	c * 120s| 63122 | 31312 |139394 |   2.2 | 100M| 437 |   - |3785 |5905 |3785 | 946 |  23k|  17k|1727 | 0.000000e+00 | 2.200000e+02 |    Inf 
123.39/123.49	o 218
123.39/123.49	c * 123s| 64680 | 32016 |144367 |   2.2 | 104M| 437 |   - |3785 |5748 |3785 | 942 |  24k|  18k|1727 | 0.000000e+00 | 2.180000e+02 |    Inf 
123.49/123.53	o 215
123.49/123.53	c * 124s| 64689 | 31718 |144545 |   2.2 | 103M| 437 |   - |3785 |5742 |3785 | 941 |  24k|  18k|1727 | 0.000000e+00 | 2.150000e+02 |    Inf 
124.20/124.29	o 210
124.20/124.29	c * 124s| 65015 | 31412 |146016 |   2.2 | 103M| 437 |   - |3785 |5776 |3785 | 945 |  24k|  19k|1727 | 0.000000e+00 | 2.100000e+02 |    Inf 
125.59/125.64	o 200
125.59/125.64	c * 126s| 65569 | 30575 |148534 |   2.3 | 101M| 437 |   - |3785 |5871 |3785 | 978 |  24k|  19k|1727 | 0.000000e+00 | 2.000000e+02 |    Inf 
128.79/128.85	o 185
128.79/128.85	c * 129s| 67073 | 29540 |152959 |   2.3 |  99M| 437 |   - |3785 |5992 |3785 | 944 |  25k|  20k|1727 | 0.000000e+00 | 1.850000e+02 |    Inf 
128.89/128.98	o 183
128.89/128.98	c * 129s| 67099 | 29220 |153914 |   2.3 |  99M| 437 |   - |3785 |5957 |3785 | 927 |  25k|  20k|1727 | 0.000000e+00 | 1.830000e+02 |    Inf 
131.69/131.76	o 171
131.69/131.76	c * 132s| 68259 | 27729 |160311 |   2.3 |  95M| 437 |   - |3785 |5700 |3785 | 955 |  26k|  21k|1728 | 0.000000e+00 | 1.710000e+02 |    Inf 
131.69/131.76	o 164
131.69/131.76	c * 132s| 68260 | 26728 |160311 |   2.3 |  92M| 437 |   - |3785 |5700 |3785 | 955 |  26k|  21k|1728 | 0.000000e+00 | 1.640000e+02 |    Inf 
131.79/131.86	o 162
131.79/131.86	c * 132s| 68291 | 26379 |160573 |   2.3 |  91M| 437 |   - |3785 |5699 |3785 | 962 |  26k|  21k|1728 | 0.000000e+00 | 1.620000e+02 |    Inf 
133.90/133.97	o 158
133.90/133.97	c * 134s| 69185 | 26112 |163757 |   2.4 |  92M| 437 |   - |3785 |5936 |3785 | 946 |  26k|  22k|1728 | 0.000000e+00 | 1.580000e+02 |    Inf 
134.00/134.01	o 156
134.00/134.01	c * 134s| 69198 | 25809 |163882 |   2.4 |  91M| 437 |   - |3785 |5928 |3785 | 947 |  26k|  22k|1728 | 0.000000e+00 | 1.560000e+02 |    Inf 
134.40/134.43	o 155
134.40/134.43	c * 134s| 69409 | 25816 |164213 |   2.4 |  91M| 437 |   - |3785 |5928 |3785 | 944 |  26k|  22k|1728 | 0.000000e+00 | 1.550000e+02 |    Inf 
135.59/135.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.59/135.66	c   136s| 70000 | 26029 |165718 |   2.4 |  92M| 437 |   - |3785 |5889 |   0 |   0 |  26k|  22k|1728 | 0.000000e+00 | 1.550000e+02 |    Inf 
145.10/145.15	o 142
145.10/145.15	c * 145s| 74377 | 26163 |179860 |   2.4 |  95M| 437 |   - |3785 |5938 |3785 | 975 |  29k|  25k|1728 | 0.000000e+00 | 1.420000e+02 |    Inf 
145.39/145.45	o 137
145.39/145.45	c * 145s| 74494 | 25447 |180701 |   2.4 |  93M| 437 |   - |3785 |5897 |3785 | 978 |  29k|  25k|1728 | 0.000000e+00 | 1.370000e+02 |    Inf 
148.40/148.45	o 109
148.40/148.45	c * 148s| 75689 | 21725 |185715 |   2.5 |  83M| 437 |   - |3785 |5913 |3785 | 966 |  29k|  26k|1728 | 0.000000e+00 | 1.090000e+02 |    Inf 
150.29/150.36	o 108
150.29/150.36	c * 150s| 76512 | 21888 |188431 |   2.5 |  85M| 437 |   - |3785 |5905 |3785 | 954 |  30k|  27k|1728 | 0.000000e+00 | 1.080000e+02 |    Inf 
156.30/156.35	o 107
156.30/156.35	c * 156s| 79204 | 22688 |197043 |   2.5 |  89M| 437 |   - |3785 |5636 |3785 | 930 |  30k|  29k|1728 | 0.000000e+00 | 1.070000e+02 |    Inf 
158.10/158.16	c   158s| 80000 | 23007 |199811 |   2.5 |  90M| 437 |   0 |3785 |5773 |3785 | 965 |  31k|  29k|1728 | 0.000000e+00 | 1.070000e+02 |    Inf 
158.50/158.59	o 104
158.50/158.59	c * 159s| 80193 | 22511 |200564 |   2.5 |  89M| 437 |   - |3785 |5758 |3785 | 934 |  31k|  29k|1728 | 0.000000e+00 | 1.040000e+02 |    Inf 
159.59/159.64	o 93
159.59/159.64	c * 160s| 80615 | 20307 |202301 |   2.5 |  82M| 437 |   - |3785 |5707 |3785 | 984 |  31k|  30k|1728 | 0.000000e+00 | 9.300000e+01 |    Inf 
159.69/159.71	o 69
159.69/159.71	c * 160s| 80642 | 15306 |202365 |   2.5 |  66M| 437 |   - |3785 |5527 |3785 | 975 |  31k|  30k|1728 | 0.000000e+00 | 6.900000e+01 |    Inf 
160.49/160.58	o 42
160.49/160.58	c * 161s| 80957 | 11820 |204172 |   2.5 |  56M| 437 |   - |3785 |4895 |3785 | 956 |  31k|  30k|1728 | 0.000000e+00 | 4.200000e+01 |    Inf 
160.49/160.58	o 35
160.49/160.58	c * 161s| 80958 | 11285 |204174 |   2.5 |  54M| 437 |   - |3785 |4895 |3785 | 956 |  31k|  30k|1728 | 0.000000e+00 | 3.500000e+01 |    Inf 
160.60/160.66	o 9
160.60/160.66	c * 161s| 80966 |  8713 |204328 |   2.5 |  45M| 437 |   - |3785 |4130 |3785 | 940 |  31k|  30k|1728 | 0.000000e+00 | 9.000000e+00 |    Inf 
160.69/160.71	o 8
160.69/160.71	c * 161s| 80973 |  2605 |204547 |   2.5 |  31M| 437 |   - |3785 |3608 |3785 | 938 |  31k|  30k|1728 | 0.000000e+00 | 8.000000e+00 |    Inf 
174.30/174.33	c   174s| 90000 |  2006 |258321 |   2.9 |  32M| 437 |   - |3785 |6440 |   0 |   0 |  34k|  42k|1741 | 0.000000e+00 | 8.000000e+00 |    Inf 
189.70/189.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
189.70/189.72	c   190s|100000 |  2007 |315540 |   3.2 |  35M| 437 |   - |3785 |  10k|3785 | 923 |  36k|  54k|1800 | 0.000000e+00 | 8.000000e+00 |    Inf 
206.59/206.66	c   207s|110000 |  1971 |376431 |   3.4 |  36M| 437 |   1 |3785 |  12k|3785 | 921 |  38k|  67k|1924 | 0.000000e+00 | 8.000000e+00 |    Inf 
223.00/223.02	c   223s|120000 |  2002 |422873 |   3.5 |  37M| 437 |  22 |3785 |  14k|3785 | 936 |  40k|  80k|2026 | 0.000000e+00 | 8.000000e+00 |    Inf 
239.49/239.54	c   240s|130000 |  2040 |473819 |   3.6 |  38M| 437 |   1 |3785 |  16k|3785 | 964 |  43k|  94k|2110 | 0.000000e+00 | 8.000000e+00 |    Inf 
256.90/256.90	c   257s|140000 |  2025 |521251 |   3.7 |  39M| 437 |   - |3785 |  17k|   0 |   0 |  46k| 108k|2182 | 0.000000e+00 | 8.000000e+00 |    Inf 
275.30/275.35	c   275s|150000 |  1979 |574348 |   3.8 |  38M| 437 |   5 |3785 |  15k|3785 | 932 |  48k| 121k|2370 | 0.000000e+00 | 8.000000e+00 |    Inf 
292.79/292.80	c   293s|160000 |  2052 |628970 |   3.9 |  39M| 437 |   - |3785 |  14k|   0 |   0 |  51k| 134k|2498 | 0.000000e+00 | 8.000000e+00 |    Inf 
310.99/311.05	c   311s|170000 |  2055 |690656 |   4.1 |  40M| 437 |   - |3785 |  16k|   0 |   0 |  52k| 147k|2593 | 0.000000e+00 | 8.000000e+00 |    Inf 
328.30/328.36	c   328s|180000 |  2007 |747095 |   4.1 |  39M| 437 |  16 |3785 |  12k|3785 | 943 |  55k| 160k|2817 | 0.000000e+00 | 8.000000e+00 |    Inf 
346.51/346.50	c   346s|190000 |  2021 |805041 |   4.2 |  41M| 437 |   6 |3785 |  15k|3785 | 943 |  57k| 174k|2891 | 0.000000e+00 | 8.000000e+00 |    Inf 
364.11/364.15	c   364s|200000 |  1976 |859987 |   4.3 |  40M| 437 |   - |3785 |  14k|   0 |   0 |  60k| 186k|3059 | 0.000000e+00 | 8.000000e+00 |    Inf 
382.20/382.30	c   382s|210000 |  2087 |913292 |   4.3 |  43M| 437 |  24 |3785 |  18k|3785 | 958 |  62k| 200k|3117 | 0.000000e+00 | 8.000000e+00 |    Inf 
400.60/400.60	c   401s|220000 |  2099 |963351 |   4.4 |  43M| 437 |  15 |3785 |  17k|3785 | 930 |  63k| 213k|3210 | 0.000000e+00 | 8.000000e+00 |    Inf 
419.40/419.48	c   419s|230000 |  2172 |  1016k|   4.4 |  45M| 437 |  13 |3785 |  19k|3785 | 944 |  66k| 227k|3273 | 0.000000e+00 | 8.000000e+00 |    Inf 
439.40/439.44	c   439s|240000 |  2049 |  1079k|   4.5 |  42M| 437 |   9 |3785 |  14k|3785 | 928 |  69k| 241k|3424 | 0.000000e+00 | 8.000000e+00 |    Inf 
457.90/457.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
457.90/457.91	c   458s|250000 |  2108 |  1145k|   4.6 |  44M| 437 |   1 |3785 |  16k|3785 | 914 |  73k| 254k|3533 | 0.000000e+00 | 8.000000e+00 |    Inf 
477.20/477.24	c   477s|260000 |  2246 |  1204k|   4.6 |  46M| 437 |  15 |3785 |  18k|3785 | 914 |  76k| 267k|3632 | 0.000000e+00 | 8.000000e+00 |    Inf 
496.60/496.64	c   497s|270000 |  2253 |  1262k|   4.7 |  47M| 437 |   8 |3785 |  18k|3785 | 945 |  79k| 281k|3710 | 0.000000e+00 | 8.000000e+00 |    Inf 
515.30/515.39	c   515s|280000 |  2224 |  1318k|   4.7 |  47M| 437 |   1 |3785 |  19k|3785 | 943 |  81k| 294k|3773 | 0.000000e+00 | 8.000000e+00 |    Inf 
534.80/534.83	c   535s|290000 |  2293 |  1374k|   4.7 |  48M| 437 |   - |3785 |  19k|   0 |   0 |  84k| 307k|3875 | 0.000000e+00 | 8.000000e+00 |    Inf 
553.90/553.92	c   554s|300000 |  2316 |  1432k|   4.8 |  50M| 437 |   - |3785 |  21k|3785 | 950 |  87k| 321k|3959 | 0.000000e+00 | 8.000000e+00 |    Inf 
573.81/573.82	c   574s|310000 |  2383 |  1486k|   4.8 |  52M| 437 |  13 |3785 |  22k|3785 | 930 |  90k| 334k|4030 | 0.000000e+00 | 8.000000e+00 |    Inf 
593.21/593.21	c   593s|320000 |  2312 |  1538k|   4.8 |  51M| 437 |   - |3785 |  21k|   0 |   0 |  93k| 348k|4147 | 0.000000e+00 | 8.000000e+00 |    Inf 
614.70/614.79	c   615s|330000 |  2340 |  1602k|   4.9 |  52M| 437 |  16 |3785 |  21k|3785 | 952 |  96k| 361k|4201 | 0.000000e+00 | 8.000000e+00 |    Inf 
636.51/636.52	c   636s|340000 |  2397 |  1668k|   4.9 |  53M| 437 |   - |3785 |  22k|   0 |   0 |  98k| 375k|4317 | 0.000000e+00 | 8.000000e+00 |    Inf 
658.71/658.76	c   659s|350000 |  2367 |  1732k|   4.9 |  53M| 437 |  22 |3785 |  22k|3785 | 945 | 101k| 388k|4411 | 0.000000e+00 | 8.000000e+00 |    Inf 
680.91/680.92	c   681s|360000 |  2357 |  1797k|   5.0 |  54M| 437 |  25 |3785 |  22k|3785 | 930 | 103k| 401k|4496 | 0.000000e+00 | 8.000000e+00 |    Inf 
704.11/704.14	c   704s|370000 |  2487 |  1865k|   5.0 |  56M| 437 |   - |3785 |  25k|   0 |   0 | 105k| 415k|4563 | 0.000000e+00 | 8.000000e+00 |    Inf 
726.91/726.98	c   727s|380000 |  2516 |  1929k|   5.1 |  56M| 437 |   - |3785 |  23k|   0 |   0 | 107k| 430k|4637 | 0.000000e+00 | 8.000000e+00 |    Inf 
750.31/750.31	c   750s|390000 |  2556 |  1994k|   5.1 |  57M| 437 |   - |3785 |  24k|   0 |   0 | 110k| 444k|4723 | 0.000000e+00 | 8.000000e+00 |    Inf 
773.81/773.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
773.81/773.82	c   774s|400000 |  2566 |  2061k|   5.2 |  58M| 437 |   - |3785 |  23k|   0 |   0 | 112k| 458k|4823 | 0.000000e+00 | 8.000000e+00 |    Inf 
796.21/796.28	c   796s|410000 |  2549 |  2124k|   5.2 |  59M| 437 |  21 |3785 |  24k|3785 | 941 | 114k| 472k|4893 | 0.000000e+00 | 8.000000e+00 |    Inf 
819.01/819.05	c   819s|420000 |  2614 |  2184k|   5.2 |  61M| 437 |  14 |3785 |  27k|3785 | 953 | 117k| 486k|4956 | 0.000000e+00 | 8.000000e+00 |    Inf 
840.32/840.32	c   840s|430000 |  2629 |  2243k|   5.2 |  61M| 437 |  20 |3785 |  25k|3785 | 944 | 120k| 500k|5080 | 0.000000e+00 | 8.000000e+00 |    Inf 
860.82/860.83	c   861s|440000 |  2587 |  2298k|   5.2 |  59M| 437 |  21 |3785 |  20k|3785 | 946 | 122k| 514k|5193 | 0.000000e+00 | 8.000000e+00 |    Inf 
880.32/880.39	c   880s|450000 |  2282 |  2353k|   5.2 |  53M| 437 |  26 |3785 |  16k|3785 | 940 | 124k| 529k|5274 | 0.000000e+00 | 8.000000e+00 |    Inf 
898.82/898.80	c   899s|460000 |  1907 |  2411k|   5.2 |  48M| 437 |   1 |3785 |  16k|3785 | 931 | 127k| 543k|5417 | 0.000000e+00 | 8.000000e+00 |    Inf 
912.92/912.97	o 5
912.92/912.97	c * 913s|467576 |  1726 |  2461k|   5.3 |  44M| 437 |   - |3785 |  17k|3785 | 948 | 130k| 552k|5499 | 0.000000e+00 | 5.000000e+00 |    Inf 
917.52/917.55	c   918s|470000 |  1697 |  2476k|   5.3 |  43M| 437 |   1 |3785 |  15k|3785 | 914 | 130k| 555k|5511 | 0.000000e+00 | 5.000000e+00 |    Inf 
935.03/935.07	c   935s|480000 |  1546 |  2536k|   5.3 |  40M| 437 |   1 |3785 |  13k|3785 | 924 | 133k| 568k|5596 | 0.000000e+00 | 5.000000e+00 |    Inf 
952.72/952.78	c   953s|490000 |  1575 |  2589k|   5.3 |  41M| 437 |   8 |3785 |  17k|3785 | 940 | 135k| 581k|5659 | 0.000000e+00 | 5.000000e+00 |    Inf 
971.01/971.10	c   971s|500000 |  1542 |  2642k|   5.3 |  41M| 437 |  21 |3785 |  16k|3785 | 936 | 138k| 594k|5713 | 0.000000e+00 | 5.000000e+00 |    Inf 
990.41/990.46	c   990s|510000 |  1559 |  2705k|   5.3 |  43M| 437 |   - |3785 |  20k|   0 |   0 | 142k| 608k|5782 | 0.000000e+00 | 5.000000e+00 |    Inf 
1011.12/1011.17	c  1011s|520000 |  1583 |  2761k|   5.3 |  43M| 437 |  11 |3785 |  20k|3785 | 954 | 145k| 621k|5842 | 0.000000e+00 | 5.000000e+00 |    Inf 
1033.52/1033.53	c  1034s|530000 |  1587 |  2820k|   5.3 |  45M| 437 |   - |3785 |  26k|   0 |   0 | 147k| 635k|5898 | 0.000000e+00 | 5.000000e+00 |    Inf 
1056.22/1056.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1056.22/1056.28	c  1056s|540000 |  1623 |  2873k|   5.3 |  47M| 437 |   - |3785 |  30k|   0 |   0 | 150k| 649k|5956 | 0.000000e+00 | 5.000000e+00 |    Inf 
1080.92/1080.95	c  1081s|550000 |  1585 |  2935k|   5.3 |  46M| 437 |  12 |3785 |  26k|3785 | 955 | 153k| 663k|6025 | 0.000000e+00 | 5.000000e+00 |    Inf 
1104.43/1104.45	c  1104s|560000 |  1595 |  2994k|   5.3 |  47M| 437 |   1 |3785 |  28k|3785 | 957 | 156k| 676k|6090 | 0.000000e+00 | 5.000000e+00 |    Inf 
1128.02/1128.02	c  1128s|570000 |  1615 |  3048k|   5.3 |  48M| 437 |   - |3785 |  31k|   0 |   0 | 158k| 690k|6149 | 0.000000e+00 | 5.000000e+00 |    Inf 
1154.13/1154.11	c  1154s|580000 |  1673 |  3106k|   5.4 |  50M| 437 |   7 |3785 |  35k|3785 | 985 | 161k| 704k|6200 | 0.000000e+00 | 5.000000e+00 |    Inf 
1179.02/1179.06	c  1179s|590000 |  1706 |  3163k|   5.4 |  51M| 437 |   - |3785 |  36k|3785 | 966 | 164k| 719k|6259 | 0.000000e+00 | 5.000000e+00 |    Inf 
1206.02/1206.04	c  1206s|600000 |  1762 |  3224k|   5.4 |  52M| 437 |   1 |3785 |  36k|3785 | 974 | 167k| 733k|6311 | 0.000000e+00 | 5.000000e+00 |    Inf 
1231.72/1231.77	c  1232s|610000 |  1752 |  3276k|   5.4 |  52M| 437 |  25 |3785 |  36k|3785 | 982 | 169k| 748k|6355 | 0.000000e+00 | 5.000000e+00 |    Inf 
1255.82/1255.90	c  1256s|620000 |  1724 |  3328k|   5.4 |  52M| 437 |  16 |3785 |  35k|3785 | 962 | 173k| 763k|6416 | 0.000000e+00 | 5.000000e+00 |    Inf 
1282.12/1282.19	c  1282s|630000 |  1670 |  3386k|   5.4 |  50M| 437 |   - |3785 |  32k|   0 |   0 | 175k| 778k|6488 | 0.000000e+00 | 5.000000e+00 |    Inf 
1306.83/1306.84	c  1307s|640000 |  1655 |  3440k|   5.4 |  49M| 437 |  19 |3785 |  26k|3785 | 928 | 178k| 792k|6563 | 0.000000e+00 | 5.000000e+00 |    Inf 
1328.43/1328.48	c  1328s|650000 |  1449 |  3502k|   5.4 |  44M| 437 |   1 |3785 |  19k|3785 | 955 | 181k| 806k|6623 | 0.000000e+00 | 5.000000e+00 |    Inf 
1348.63/1348.62	c  1349s|660000 |  1374 |  3561k|   5.4 |  42M| 437 |  13 |3785 |  19k|3785 | 914 | 184k| 819k|6729 | 0.000000e+00 | 5.000000e+00 |    Inf 
1369.02/1369.08	c  1369s|670000 |  1401 |  3612k|   5.4 |  44M| 437 |   1 |3785 |  23k|3785 | 948 | 186k| 832k|6754 | 0.000000e+00 | 5.000000e+00 |    Inf 
1391.43/1391.49	c  1391s|680000 |  1398 |  3664k|   5.4 |  45M| 437 |   - |3785 |  26k|   0 |   0 | 188k| 845k|6790 | 0.000000e+00 | 5.000000e+00 |    Inf 
1416.32/1416.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.32/1416.30	c  1416s|690000 |  1397 |  3723k|   5.4 |  47M| 437 |  23 |3785 |  31k|3785 | 937 | 191k| 859k|6843 | 0.000000e+00 | 5.000000e+00 |    Inf 
1442.23/1442.24	c  1442s|700000 |  1310 |  3776k|   5.4 |  44M| 437 |   - |3785 |  25k|   0 |   0 | 193k| 873k|6908 | 0.000000e+00 | 5.000000e+00 |    Inf 
1462.03/1462.09	c  1462s|710000 |  1139 |  3833k|   5.4 |  42M| 437 |   - |3785 |  21k|   0 |   0 | 196k| 886k|6957 | 0.000000e+00 | 5.000000e+00 |    Inf 
1483.24/1483.29	c  1483s|720000 |  1149 |  3890k|   5.4 |  44M| 437 |   9 |3785 |  27k|3785 | 953 | 199k| 899k|7005 | 0.000000e+00 | 5.000000e+00 |    Inf 
1505.93/1505.93	c  1506s|730000 |  1155 |  3944k|   5.4 |  44M| 437 |   - |3785 |  26k|   0 |   0 | 202k| 912k|7098 | 0.000000e+00 | 5.000000e+00 |    Inf 
1528.33/1528.36	c  1528s|740000 |  1180 |  4002k|   5.4 |  45M| 437 |   8 |3785 |  28k|3785 | 938 | 205k| 925k|7126 | 0.000000e+00 | 5.000000e+00 |    Inf 
1552.64/1552.60	c  1553s|750000 |  1230 |  4057k|   5.4 |  47M| 437 |   - |3785 |  30k|   0 |   0 | 207k| 938k|7188 | 0.000000e+00 | 5.000000e+00 |    Inf 
1578.34/1578.34	c  1578s|760000 |  1256 |  4115k|   5.4 |  48M| 437 |   1 |3785 |  35k|3785 | 956 | 210k| 952k|7248 | 0.000000e+00 | 5.000000e+00 |    Inf 
1605.73/1605.79	c  1606s|770000 |  1295 |  4174k|   5.4 |  50M| 437 |   - |3785 |  37k|   0 |   0 | 212k| 966k|7305 | 0.000000e+00 | 5.000000e+00 |    Inf 
1635.13/1635.16	c  1635s|780000 |  1320 |  4238k|   5.4 |  51M| 437 |  19 |3785 |  40k|3785 | 961 | 215k| 980k|7335 | 0.000000e+00 | 5.000000e+00 |    Inf 
1663.33/1663.37	c  1663s|790000 |  1297 |  4297k|   5.4 |  51M| 437 |  11 |3785 |  37k|3785 | 934 | 218k| 994k|7376 | 0.000000e+00 | 5.000000e+00 |    Inf 
1690.83/1690.82	c  1691s|800000 |  1295 |  4350k|   5.4 |  51M| 437 |  17 |3785 |  37k|3785 | 941 | 220k|1008k|7434 | 0.000000e+00 | 5.000000e+00 |    Inf 
1717.04/1717.09	c  1717s|810000 |  1260 |  4409k|   5.4 |  48M| 437 |  12 |3785 |  30k|3785 | 938 | 223k|1021k|7490 | 0.000000e+00 | 5.000000e+00 |    Inf 
1742.14/1742.19	c  1742s|820000 |  1245 |  4469k|   5.5 |  49M| 437 |  21 |3785 |  32k|3785 | 935 | 226k|1035k|7519 | 0.000000e+00 | 5.000000e+00 |    Inf 
1767.75/1767.73	c  1768s|830000 |  1200 |  4530k|   5.5 |  49M| 437 |  21 |3785 |  34k|3785 | 930 | 228k|1049k|7562 | 0.000000e+00 | 5.000000e+00 |    Inf 
1790.04/1790.01	c 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time (sec) : 1789.98
1790.04/1790.01	c Solving Nodes      : 838598
1790.04/1790.01	c Primal Bound       : +5.00000000000000e+00 (145 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.04/1790.04	s SATISFIABLE
1790.04/1790.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1790.04/1790.04	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1790.04/1790.04	v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1790.04/1790.04	v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1790.04/1790.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 
1790.04/1790.04	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1790.04/1790.04	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.04/1790.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 
1790.04/1790.04	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.04/1790.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 
1790.04/1790.04	v -x1 
1790.04/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.04	c Solving Time       :    1789.98
1790.04/1790.04	c Original Problem   :
1790.04/1790.04	c   Problem name     : HOME/instance-2705611-1278572958.wbo
1790.04/1790.04	c   Variables        : 3905 (2068 binary, 0 integer, 1837 implicit integer, 0 continuous)
1790.04/1790.04	c   Constraints      : 4545 initial, 4545 maximal
1790.04/1790.04	c Presolved Problem  :
1790.04/1790.04	c   Problem name     : t_HOME/instance-2705611-1278572958.wbo
1790.04/1790.04	c   Variables        : 3785 (2008 binary, 0 integer, 1777 implicit integer, 0 continuous)
1790.04/1790.04	c   Constraints      : 4383 initial, 40676 maximal
1790.04/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.04	c   trivial          :       0.00         60          0          0          0          0          0          0          0
1790.04/1790.04	c   dualfix          :       0.00         60          0          0          0          0          0          0          0
1790.04/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.04	c   setppc           :       0.00          0          0          0          0          0         15          0          0
1790.04/1790.04	c   linear           :       0.06          0          0          0       1852          0         87         71          0
1790.04/1790.04	c   indicator        :       0.00          0          0          0          0          0         60          0          0
1790.04/1790.04	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.04	c   root node        :          -       3398          -          -       3398          -          -          -          -
1790.04/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.04	c   integral         :          0          0          0     505400          0         50        645          0          0     840138
1790.04/1790.04	c   setppc           :         44          6    4383218      82698          0      19454     673563          0          0          0
1790.04/1790.04	c   linear           :       1777          6    4370662      84718          0     175730   20107359     231002          0          0
1790.04/1790.04	c   indicator        :       1777          0    4156215      84527          0        561    3032638          0          0          0
1790.04/1790.04	c   logicor          :        785+         6    1443229      55821          0     176936    3315908          0          0          0
1790.04/1790.04	c   bounddisjunction :          0+         0     459616          0          0         34       8557          0          0          0
1790.04/1790.04	c   countsols        :          0          0          0      55821          0          0          0          0          0          0
1790.04/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.04	c   integral         :      18.63       0.00       0.00      18.63       0.00
1790.04/1790.04	c   setppc           :       7.19       0.00       7.14       0.05       0.00
1790.04/1790.04	c   linear           :     155.99       0.00     150.19       5.79       0.00
1790.04/1790.04	c   indicator        :      39.53       0.01      29.88       9.64       0.00
1790.04/1790.04	c   logicor          :     331.40       0.00     330.62       0.78       0.00
1790.04/1790.04	c   bounddisjunction :       5.78       0.00       5.78       0.00       0.00
1790.04/1790.04	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.04/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.04	c   vbounds          :       0.85      64494          1       5639
1790.04/1790.04	c   rootredcost      :       0.65         44          0       1699
1790.04/1790.04	c   pseudoobj        :     116.60    4399576       9449    2929316
1790.04/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.04	c   propagation      :      17.77     381603     381269    2242656       26.0      11840       25.2          -
1790.04/1790.04	c   infeasible LP    :       8.19      31405      31405     246237       41.7        425       17.1          0
1790.04/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.04	c   applied globally :          -          -          -    1061000       21.5          -          -          -
1790.04/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.04	c   cut pool         :       0.00          5          -          -          3          -    (maximal pool size: 318)
1790.04/1790.04	c   redcost          :      34.39     508307          0     130388          0          0
1790.04/1790.04	c   impliedbounds    :       0.00          6          0          0          0          0
1790.04/1790.04	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.04	c   gomory           :       0.13          6          0          0       1309          0
1790.04/1790.04	c   strongcg         :       0.12          6          0          0       1308          0
1790.04/1790.04	c   cmir             :       0.03          6          0          0          0          0
1790.04/1790.04	c   flowcover        :       0.06          6          0          0          0          0
1790.04/1790.04	c   clique           :       0.00          6          0          0          0          0
1790.04/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.04	c   mcf              :       0.00          1          0          0          0          0
1790.04/1790.04	c   rapidlearning    :       0.07          1          0          0          0          0
1790.04/1790.04	c Pricers            :       Time      Calls       Vars
1790.04/1790.04	c   problem variables:       0.00          0          0
1790.04/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.04	c   relpscost        :      18.30     420632         50        645          0          0     840138
1790.04/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   inference        :      18.12      55778          0          0          0          0     112875
1790.04/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.04	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.04	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.04	c   LP solutions     :       0.13          -         43
1790.04/1790.04	c   pseudo solutions :       0.00          -          0
1790.04/1790.04	c   feaspump         :       0.02          1          0
1790.04/1790.04	c   oneopt           :       0.38         40          0
1790.04/1790.04	c   crossover        :       1.74         54          0
1790.04/1790.04	c   coefdiving       :       0.58        465          0
1790.04/1790.04	c   fracdiving       :       0.58        465          0
1790.04/1790.04	c   guideddiving     :       0.72        465          0
1790.04/1790.04	c   pscostdiving     :       0.62        465          0
1790.04/1790.04	c   veclendiving     :       0.64        465          0
1790.04/1790.04	c   linesearchdiving :       0.63        466          0
1790.04/1790.04	c   rootsoldiving    :       0.63        453          0
1790.04/1790.04	c   objpscostdiving  :       0.61        454          0
1790.04/1790.04	c   trivial          :       0.00          2          0
1790.04/1790.04	c   simplerounding   :       0.59     421055          0
1790.04/1790.04	c   zirounding       :       0.26       1000          0
1790.04/1790.04	c   rounding         :       1.05       9158          0
1790.04/1790.04	c   shifting         :       0.76       2855          0
1790.04/1790.04	c   intshifting      :       0.01          0          0
1790.04/1790.04	c   twoopt           :       0.00          0          0
1790.04/1790.04	c   fixandinfer      :       0.00          0          0
1790.04/1790.04	c   intdiving        :       0.00          0          0
1790.04/1790.04	c   actconsdiving    :       0.00          0          0
1790.04/1790.04	c   octane           :       0.00          0          0
1790.04/1790.04	c   rens             :       0.03          1          0
1790.04/1790.04	c   rins             :       0.00          0          0
1790.04/1790.04	c   localbranching   :       0.00          0          0
1790.04/1790.04	c   mutation         :       0.00          0          0
1790.04/1790.04	c   dins             :       0.00          0          0
1790.04/1790.04	c   undercover       :       0.00          0          0
1790.04/1790.04	c   nlp              :       0.14          0          0
1790.04/1790.04	c   trysol           :       0.31        692        102
1790.04/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1790.04/1790.04	c   dual LP          :     529.01     484488    4578127       9.45    8654.08
1790.04/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.04	c   diving/probing LP:       0.36        257       3040      11.83    8508.83
1790.04/1790.04	c   strong branching :      14.89       7645     168471      22.04   11316.49
1790.04/1790.04	c     (at root node) :          -         17       2452     144.24          -
1790.04/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.04	c B&B Tree           :
1790.04/1790.04	c   number of runs   :          1
1790.04/1790.04	c   nodes            :     838598
1790.04/1790.04	c   nodes (total)    :     838598
1790.04/1790.04	c   nodes left       :       1197
1790.04/1790.04	c   max depth        :        437
1790.04/1790.04	c   max depth (total):        437
1790.04/1790.04	c   backtracks       :      69261 (8.3%)
1790.04/1790.04	c   delayed cutoffs  :      55712
1790.04/1790.04	c   repropagations   :    2271313 (4571262 domain reductions, 50704 cutoffs)
1790.04/1790.04	c   avg switch length:       6.74
1790.04/1790.04	c   switching time   :     283.99
1790.04/1790.04	c Solution           :
1790.04/1790.04	c   Solutions found  :        145 (44 improvements)
1790.04/1790.04	c   First Solution   : +9.03830000000000e+04   (in run 1, after 97 nodes, 5.09 seconds, depth 19, found by <trysol>)
1790.04/1790.04	c   Primal Bound     : +5.00000000000000e+00   (in run 1, after 467576 nodes, 912.94 seconds, depth 33, found by <relaxation>)
1790.04/1790.04	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.04	c   Gap              :   infinite
1790.04/1790.04	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.04	c   Root Iterations  :        256
1790.14/1790.12	c Time complete: 1790.16.

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705611-1278572958/watcher-2705611-1278572958 -o /tmp/evaluation-result-2705611-1278572958/solver-2705611-1278572958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705611-1278572958.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: 0.32 0.08 0.02 4/178 22395
/proc/meminfo: memFree=29696180/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=12524 CPUtime=0
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 1976 0 0 0 0 0 0 0 23 0 1 0 25508778 12824576 1894 4089446400 4194304 10345943 140735122568624 18446744073709551615 5754496 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22395/statm: 3131 1894 429 1502 0 1624 0

[startup+0.0819859 s]
/proc/loadavg: 0.32 0.08 0.02 4/178 22395
/proc/meminfo: memFree=29696180/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=33408 CPUtime=0.07
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 7370 0 0 0 7 0 0 0 23 0 1 0 25508778 34209792 6934 4089446400 4194304 10345943 140735122568624 18446744073709551615 18446744073699065897 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 8352 6934 541 1502 0 6845 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33408

[startup+0.100995 s]
/proc/loadavg: 0.32 0.08 0.02 4/178 22395
/proc/meminfo: memFree=29696180/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=33540 CPUtime=0.09
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 7412 0 0 0 9 0 0 0 23 0 1 0 25508778 34344960 6976 4089446400 4194304 10345943 140735122568624 18446744073709551615 5093473 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 8385 6976 550 1502 0 6878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33540

[startup+0.300944 s]
/proc/loadavg: 0.32 0.08 0.02 4/178 22395
/proc/meminfo: memFree=29696180/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=42456 CPUtime=0.29
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 14540 0 0 0 28 1 0 0 23 0 1 0 25508778 43474944 9105 4089446400 4194304 10345943 140735122568624 18446744073709551615 5834426 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 10614 9105 747 1502 0 9107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42456

[startup+0.700873 s]
/proc/loadavg: 0.32 0.08 0.02 4/178 22395
/proc/meminfo: memFree=29696180/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=52212 CPUtime=0.69
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 20500 0 0 0 67 2 0 0 25 0 1 0 25508778 53465088 10970 4089446400 4194304 10345943 140735122568624 18446744073709551615 6864746 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 13053 10970 768 1502 0 11546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52212

[startup+1.50073 s]
/proc/loadavg: 0.32 0.08 0.02 3/179 22396
/proc/meminfo: memFree=29654384/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=51704 CPUtime=1.49
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 20799 0 0 0 146 3 0 0 25 0 1 0 25508778 52944896 10989 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 12926 10989 769 1502 0 11419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51704

[startup+3.10044 s]
/proc/loadavg: 0.54 0.13 0.04 3/179 22396
/proc/meminfo: memFree=29654260/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=52180 CPUtime=3.09
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 21930 0 0 0 305 4 0 0 25 0 1 0 25508778 53432320 11008 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 13045 11008 770 1502 0 11538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52180

[startup+6.30087 s]
/proc/loadavg: 0.54 0.13 0.04 3/179 22396
/proc/meminfo: memFree=29649680/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=54676 CPUtime=6.29
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 29716 0 0 0 622 7 0 0 25 0 1 0 25508778 55988224 11424 4089446400 4194304 10345943 140735122568624 18446744073709551615 6528246 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 13669 11424 772 1502 0 12162 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54676

[startup+12.7007 s]
/proc/loadavg: 0.76 0.19 0.06 3/179 22396
/proc/meminfo: memFree=29625960/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=65856 CPUtime=12.69
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 45585 0 0 0 1259 10 0 0 25 0 1 0 25508778 67436544 14557 4089446400 4194304 10345943 140735122568624 18446744073709551615 6865005 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 16464 14557 777 1502 0 14957 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65856

[startup+25.5004 s]
/proc/loadavg: 0.95 0.25 0.08 3/179 22396
/proc/meminfo: memFree=29587600/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=84552 CPUtime=25.5
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 65779 0 0 0 2536 14 0 0 25 0 1 0 25508778 86581248 19018 4089446400 4194304 10345943 140735122568624 18446744073709551615 4872244 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 21138 19018 777 1502 0 19631 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 84552

[startup+51.1009 s]
/proc/loadavg: 1.31 0.39 0.13 3/179 22397
/proc/meminfo: memFree=29507108/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=112820 CPUtime=51.09
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 90849 0 0 0 5090 19 0 0 25 0 1 0 25508778 115527680 26173 4089446400 4194304 10345943 140735122568624 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 28205 26173 778 1502 0 26698 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112820

[startup+102.307 s]
/proc/loadavg: 1.72 0.65 0.24 3/179 22398
/proc/meminfo: memFree=29409584/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=168908 CPUtime=102.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 181866 0 0 0 10191 39 0 0 25 0 1 0 25508778 172961792 40218 4089446400 4194304 10345943 140735122568624 18446744073709551615 5614272 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 42227 40218 778 1502 0 40720 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 168908

[startup+162.301 s]
/proc/loadavg: 1.90 0.90 0.34 3/179 22400
/proc/meminfo: memFree=29322740/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=244312 CPUtime=162.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 286665 0 0 0 16172 58 0 0 25 0 1 0 25508778 250175488 58788 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 61078 58788 778 1502 0 59571 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 244312

[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/179 22402
/proc/meminfo: memFree=29311280/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=247568 CPUtime=222.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 301211 0 0 0 22156 74 0 0 25 0 1 0 25508778 253509632 59359 4089446400 4194304 10345943 140735122568624 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 61892 59359 802 1502 0 60385 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 247568

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.53 3/179 22404
/proc/meminfo: memFree=29303168/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=248420 CPUtime=282.29
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 304716 0 0 0 28143 86 0 0 25 0 1 0 25508778 254382080 59639 4089446400 4194304 10345943 140735122568624 18446744073709551615 4882675 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 62105 59639 802 1502 0 60598 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 248420

[startup+342.301 s]
/proc/loadavg: 1.99 1.39 0.63 3/179 22405
/proc/meminfo: memFree=29298024/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=249748 CPUtime=342.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 310680 0 0 0 34127 103 0 0 25 0 1 0 25508778 255741952 59864 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 62437 59864 802 1502 0 60930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 249748

[startup+402.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/179 22406
/proc/meminfo: memFree=29290540/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=250440 CPUtime=402.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 314137 0 0 0 40112 118 0 0 25 0 1 0 25508778 256450560 60094 4089446400 4194304 10345943 140735122568624 18446744073709551615 6803071 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 62610 60094 802 1502 0 61103 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 250440

[startup+462.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/179 22408
/proc/meminfo: memFree=29285160/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=251628 CPUtime=462.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 318580 0 0 0 46097 133 0 0 25 0 1 0 25508778 257667072 60374 4089446400 4194304 10345943 140735122568624 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 62907 60374 802 1502 0 61400 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 251628

[startup+522.3 s]
/proc/loadavg: 2.06 1.67 0.86 3/179 22410
/proc/meminfo: memFree=29280532/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=253660 CPUtime=522.3
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 325651 0 0 0 52081 149 0 0 25 0 1 0 25508778 259747840 60782 4089446400 4194304 10345943 140735122568624 18446744073709551615 6757657 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 63415 60782 802 1502 0 61908 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 253660

[startup+582.301 s]
/proc/loadavg: 2.02 1.73 0.93 3/179 22415
/proc/meminfo: memFree=29278120/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=255508 CPUtime=582.31
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 330566 0 0 0 58068 163 0 0 25 0 1 0 25508778 261640192 61239 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 63877 61239 802 1502 0 62370 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 255508

[startup+642.301 s]
/proc/loadavg: 2.00 1.78 1.00 3/179 22416
/proc/meminfo: memFree=29273316/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=256700 CPUtime=642.31
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 333565 0 0 0 64054 177 0 0 25 0 1 0 25508778 262860800 61534 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 64175 61534 802 1502 0 62668 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 256700

[startup+702.3 s]

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

/proc/meminfo: memFree=29238016/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=265268 CPUtime=1002.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 374010 0 0 0 99975 257 0 0 25 0 1 0 25508778 271634432 63583 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66317 63583 802 1502 0 64810 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 265268

[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/179 22427
/proc/meminfo: memFree=29234636/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=265280 CPUtime=1062.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 378549 0 0 0 105965 267 0 0 25 0 1 0 25508778 271646720 63634 4089446400 4194304 10345943 140735122568624 18446744073709551615 4706426 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66320 63634 802 1502 0 64813 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 265280

[startup+1122.3 s]
/proc/loadavg: 2.03 1.96 1.39 3/179 22429
/proc/meminfo: memFree=29227288/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=265792 CPUtime=1122.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 378853 0 0 0 111955 277 0 0 25 0 1 0 25508778 272171008 63938 4089446400 4194304 10345943 140735122568624 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66448 63938 802 1502 0 64941 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 265792

[startup+1182.3 s]
/proc/loadavg: 2.01 1.96 1.42 3/179 22431
/proc/meminfo: memFree=29222532/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=266316 CPUtime=1182.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 380357 0 0 0 117945 287 0 0 25 0 1 0 25508778 272707584 63912 4089446400 4194304 10345943 140735122568624 18446744073709551615 4220157 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66579 63912 802 1502 0 65072 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 266316

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/179 22432
/proc/meminfo: memFree=29216784/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=267524 CPUtime=1242.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 380842 0 0 0 123934 298 0 0 25 0 1 0 25508778 273944576 64397 4089446400 4194304 10345943 140735122568624 18446744073709551615 6068889 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66881 64397 802 1502 0 65374 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 267524

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/179 22433
/proc/meminfo: memFree=29212148/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=267720 CPUtime=1302.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 380998 0 0 0 129924 310 0 0 25 0 1 0 25508778 274145280 64261 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 66930 64261 802 1502 0 65423 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 267720

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/179 22435
/proc/meminfo: memFree=29210592/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=268540 CPUtime=1362.32
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 382256 0 0 0 135909 323 0 0 25 0 1 0 25508778 274984960 64380 4089446400 4194304 10345943 140735122568624 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67135 64380 802 1502 0 65628 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 268540

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 22437
/proc/meminfo: memFree=29208676/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=269032 CPUtime=1422.33
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 386417 0 0 0 141899 334 0 0 25 0 1 0 25508778 275488768 64536 4089446400 4194304 10345943 140735122568624 18446744073709551615 6064257 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67258 64536 802 1502 0 65751 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 269032

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 22439
/proc/meminfo: memFree=29205040/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=269496 CPUtime=1482.33
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 387257 0 0 0 147888 345 0 0 25 0 1 0 25508778 275963904 64674 4089446400 4194304 10345943 140735122568624 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67374 64674 802 1502 0 65867 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 269496

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 22440
/proc/meminfo: memFree=29201152/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=268636 CPUtime=1542.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 389069 0 0 0 153877 357 0 0 25 0 1 0 25508778 275083264 64716 4089446400 4194304 10345943 140735122568624 18446744073709551615 4962572 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67159 64716 802 1502 0 65652 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 268636

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/179 22441
/proc/meminfo: memFree=29195044/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=269696 CPUtime=1602.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 390563 0 0 0 159865 369 0 0 25 0 1 0 25508778 276168704 64758 4089446400 4194304 10345943 140735122568624 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67424 64758 802 1502 0 65917 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 269696

[startup+1662.3 s]
/proc/loadavg: 2.04 1.99 1.64 3/179 22443
/proc/meminfo: memFree=29188904/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=270132 CPUtime=1662.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 392293 0 0 0 165853 381 0 0 25 0 1 0 25508778 276615168 65080 4089446400 4194304 10345943 140735122568624 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67533 65080 802 1502 0 66026 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 270132

[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.66 3/179 22445
/proc/meminfo: memFree=29181276/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=270964 CPUtime=1722.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 393882 0 0 0 171843 391 0 0 25 0 1 0 25508778 277467136 65141 4089446400 4194304 10345943 140735122568624 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67741 65141 802 1502 0 66234 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 270964

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 22447
/proc/meminfo: memFree=29175880/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271976 CPUtime=1782.34
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396065 0 0 0 177831 403 0 0 25 0 1 0 25508778 278503424 65241 4089446400 4194304 10345943 140735122568624 18446744073709551615 4715374 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67994 65241 802 1502 0 66487 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 271976

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

[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 22447
/proc/meminfo: memFree=29175628/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271312 CPUtime=1785.54
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396231 0 0 0 178151 403 0 0 25 0 1 0 25508778 277823488 65196 4089446400 4194304 10345943 140735122568624 18446744073709551615 7488995 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67828 65196 802 1502 0 66321 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 271312

[startup+1788.7 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 22464
/proc/meminfo: memFree=29489612/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271972 CPUtime=1788.74
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396436 0 0 0 178470 404 0 0 25 0 1 0 25508778 278499328 65206 4089446400 4194304 10345943 140735122568624 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67993 65206 802 1502 0 66486 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 271972

[startup+1789.5 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 22464
/proc/meminfo: memFree=29489612/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271972 CPUtime=1789.54
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396454 0 0 0 178550 404 0 0 25 0 1 0 25508778 278499328 65224 4089446400 4194304 10345943 140735122568624 18446744073709551615 6119739 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67993 65224 802 1502 0 66486 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 271972

[startup+1789.9 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 22464
/proc/meminfo: memFree=29490104/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271972 CPUtime=1789.94
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396454 0 0 0 178590 404 0 0 25 0 1 0 25508778 278499328 65224 4089446400 4194304 10345943 140735122568624 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/22395/statm: 67993 65224 802 1502 0 66486 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 271972

[startup+1790.1 s]
/proc/loadavg: 2.00 1.99 1.68 2/174 22464
/proc/meminfo: memFree=29490104/32951124 swapFree=67111528/67111528
[pid=22395] ppid=22393 vsize=271972 CPUtime=1790.14
/proc/22395/stat : 22395 (pbscip.linux.x8) R 22393 22395 22193 0 -1 4202496 396485 0 0 0 178610 404 0 0 25 0 1 0 25508778 278499328 65255 4089446400 4194304 10345943 140735122568624 18446744073709551615 4713444 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22395/statm: 67993 65255 803 1502 0 66486 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 271972

Child status: 0
Real time (s): 1790.12
CPU time (s): 1790.17
CPU user time (s): 1786.11
CPU system time (s): 4.05538
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 276628

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

runsolver used 3.40648 second user time and 6.28704 second system time

The end

Launcher Data 

Begin job on node146 at 2010-07-08 09:09:18
IDJOB=2705611
IDBENCH=78948
IDSOLVER=1214
FILE ID=node146/2705611-1278572958
PBS_JOBID= 11240163
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= 901bd5d9c00fc087d540e6ebf4e7f98d
RANDOM SEED=1379954573

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29696708 kB
Buffers:        165520 kB
Cached:        2811520 kB
SwapCached:          0 kB
Active:        1468908 kB
Inactive:      1612740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29696708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25812 kB
Writeback:           0 kB
AnonPages:      104440 kB
Mapped:          17568 kB
Slab:           108960 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   244400 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= 73584 MiB
End job on node146 at 2010-07-08 09:39:09