Trace number 2692933

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.15 1800.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo
MD5SUMd310a80e65163d39f069d6307e99d88f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark336.792
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
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-2692933-1277911322.wbo>
0.00/0.03	c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.04/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.04/0.09	c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10	c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11	c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12	c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17	c    (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (6 rounds):
0.09/0.17	c  138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17	c  1965 implications, 9 cliques
0.09/0.17	c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17	c    1770 constraints of type <indicator>
0.09/0.17	c       9 constraints of type <setppc>
0.09/0.17	c    1770 constraints of type <linear>
0.09/0.17	c     824 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.11
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.18	c   0.1s|     1 |     0 |    10 |     - |  13M|   0 |   6 |3771 |4373 |3771 | 833 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 88064
0.09/0.19	c y 0.1s|     1 |     0 |    10 |     - |  14M|   0 |   6 |3771 |4373 |3771 | 833 |   0 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    68 |     - |  14M|   0 |  26 |3771 |4373 |3771 | 849 |  16 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   129 |     - |  14M|   0 |  33 |3771 |4373 |3771 | 872 |  39 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   176 |     - |  14M|   0 |  42 |3771 |4373 |3771 | 882 |  49 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |   477 |     - |  14M|   0 |  47 |3771 |4373 |3771 | 896 |  63 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.40/0.44	c   0.4s|     1 |     0 |   633 |     - |  15M|   0 |  47 |3771 |4373 |3771 | 926 |  93 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   801 |     - |  15M|   0 |  58 |3771 |4373 |3771 | 947 | 114 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
2.29/2.31	c   2.2s|     1 |     2 |   801 |     - |  15M|   0 |  58 |3771 |4373 |3771 | 947 | 114 |   0 |  33 | 0.000000e+00 | 8.806400e+04 |    Inf 
14.09/14.17	o 875
14.09/14.17	c *13.9s|  1896 |  1761 | 18161 |   9.2 |  24M|  73 |   - |3771 |4374 |3771 | 983 |1991 |   1 | 798 | 0.000000e+00 | 8.750000e+02 |    Inf 
15.69/15.73	o 862
15.69/15.73	c *15.4s|  2529 |  2377 | 22465 |   8.6 |  26M|  73 |   - |3771 |4393 |3771 | 994 |2628 |  20 | 837 | 0.000000e+00 | 8.620000e+02 |    Inf 
16.69/16.70	o 538
16.69/16.70	c *16.3s|  2968 |  2023 | 24670 |   8.0 |  25M|  73 |   - |3771 |4421 |3771 | 980 |2856 |  48 | 871 | 0.000000e+00 | 5.380000e+02 |    Inf 
17.09/17.19	o 523
17.09/17.19	c *16.8s|  3197 |  2164 | 25741 |   7.8 |  26M|  73 |   - |3771 |4533 |3771 | 999 |3044 | 162 | 880 | 0.000000e+00 | 5.230000e+02 |    Inf 
19.49/19.51	o 474
19.49/19.51	c *19.0s|  4125 |  2564 | 30268 |   7.1 |  28M|  73 |   - |3771 |5215 |3771 | 992 |4065 | 961 | 892 | 0.000000e+00 | 4.740000e+02 |    Inf 
19.60/19.68	o 464
19.60/19.68	c *19.2s|  4188 |  2554 | 30668 |   7.1 |  28M|  73 |   - |3771 |5245 |3771 | 988 |4131 |1022 | 893 | 0.000000e+00 | 4.640000e+02 |    Inf 
19.60/19.69	o 321
19.60/19.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.60/19.69	c *19.2s|  4189 |  1794 | 30668 |   7.1 |  26M|  73 |   - |3771 |5245 |3771 | 988 |4131 |1022 | 893 | 0.000000e+00 | 3.210000e+02 |    Inf 
23.39/23.45	o 320
23.39/23.45	c *22.8s|  5632 |  2892 | 41420 |   7.2 |  30M|  73 |   - |3771 |5297 |3771 | 989 |5785 |1678 | 931 | 0.000000e+00 | 3.200000e+02 |    Inf 
26.40/26.44	o 318
26.40/26.44	c *25.7s|  6518 |  3446 | 56198 |   8.5 |  32M|  73 |   - |3771 |5189 |3771 | 940 |7273 |2130 | 942 | 0.000000e+00 | 3.180000e+02 |    Inf 
27.29/27.39	o 316
27.29/27.39	c f26.6s|  6677 |  3581 | 61836 |   9.1 |  33M|  73 |   - |3771 |5103 |3771 | 956 |7667 |2170 | 993 | 0.000000e+00 | 3.160000e+02 |    Inf 
34.10/34.16	o 299
34.10/34.16	c *33.2s|  8616 |  5077 | 91239 |  10.5 |  38M|  73 |   - |3771 |4997 |3771 | 995 |  11k|2921 |1036 | 0.000000e+00 | 2.990000e+02 |    Inf 
38.69/38.77	o 298
38.69/38.77	c *37.6s|  9674 |  5844 |113215 |  11.6 |  41M|  73 |   - |3771 |5044 |3771 | 990 |  14k|3384 |1122 | 0.000000e+00 | 2.980000e+02 |    Inf 
40.09/40.12	c  38.9s| 10000 |  6104 |121074 |  12.0 |  41M|  73 |  12 |3771 |5087 |3771 | 963 |  15k|3515 |1125 | 0.000000e+00 | 2.980000e+02 |    Inf 
50.19/50.26	o 289
50.19/50.26	c *48.7s| 12806 |  8118 |163563 |  12.7 |  49M|  73 |   - |3771 |5287 |3771 | 983 |  21k|4674 |1223 | 0.000000e+00 | 2.890000e+02 |    Inf 
61.38/61.40	o 282
61.38/61.40	c *59.5s| 16426 | 10581 |194221 |  11.8 |  57M|  73 |   - |3771 |5343 |3771 |1008 |  27k|6386 |1294 | 0.000000e+00 | 2.820000e+02 |    Inf 
63.59/63.67	o 281
63.59/63.67	c *61.7s| 17010 | 11015 |204288 |  12.0 |  59M|  73 |   - |3771 |5287 |3771 | 966 |  28k|6625 |1296 | 0.000000e+00 | 2.810000e+02 |    Inf 
74.99/75.03	c  72.7s| 20000 | 13080 |257472 |  12.8 |  68M|  73 |   9 |3771 |5528 |3771 | 981 |  35k|8257 |1297 | 0.000000e+00 | 2.810000e+02 |    Inf 
85.79/85.80	o 223
85.79/85.80	c *83.0s| 23278 | 14014 |292371 |  12.5 |  65M|  73 |   - |3771 |5446 |3771 | 981 |  40k|9748 |1298 | 0.000000e+00 | 2.230000e+02 |    Inf 
89.38/89.49	o 218
89.38/89.49	c *86.6s| 24535 | 14583 |301041 |  12.2 |  68M|  73 |   - |3771 |5748 |3771 | 979 |  42k|  10k|1298 | 0.000000e+00 | 2.180000e+02 |    Inf 
89.49/89.50	o 216
89.49/89.50	c *86.6s| 24536 | 14497 |301041 |  12.2 |  67M|  73 |   - |3771 |5748 |3771 | 979 |  42k|  10k|1298 | 0.000000e+00 | 2.160000e+02 |    Inf 
99.48/99.52	o 208
99.48/99.52	c *96.2s| 28062 | 16068 |325749 |  11.6 |  73M|  73 |   - |3771 |5753 |3771 | 981 |  45k|  13k|1298 | 0.000000e+00 | 2.080000e+02 |    Inf 
105.79/105.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
105.79/105.82	c   102s| 30000 | 16660 |343329 |  11.4 |  78M|  73 |   0 |3771 |5875 |3771 |1006 |  47k|  14k|1298 | 0.000000e+00 | 2.080000e+02 |    Inf 
114.40/114.45	o 188
114.40/114.45	c * 111s| 33001 | 17069 |365219 |  11.0 |  79M|  83 |   - |3771 |5996 |3771 | 952 |  50k|  17k|1298 | 0.000000e+00 | 1.880000e+02 |    Inf 
116.60/116.62	o 183
116.60/116.62	c * 113s| 33860 | 17119 |369685 |  10.9 |  79M|  83 |   - |3771 |5985 |3771 |1004 |  51k|  17k|1298 | 0.000000e+00 | 1.830000e+02 |    Inf 
123.38/123.49	o 181
123.38/123.49	c * 119s| 36186 | 18182 |387616 |  10.7 |  85M|  83 |   - |3771 |5612 |3771 | 967 |  53k|  19k|1298 | 0.000000e+00 | 1.810000e+02 |    Inf 
123.49/123.50	o 179
123.49/123.50	c * 119s| 36187 | 18042 |387630 |  10.7 |  85M|  83 |   - |3771 |5612 |3771 | 967 |  53k|  19k|1298 | 0.000000e+00 | 1.790000e+02 |    Inf 
123.49/123.55	o 174
123.49/123.55	c * 119s| 36198 | 17648 |387796 |  10.7 |  83M|  83 |   - |3771 |5608 |3771 | 980 |  53k|  19k|1298 | 0.000000e+00 | 1.740000e+02 |    Inf 
126.99/127.09	o 168
126.99/127.09	c l 123s| 37452 | 17641 |395461 |  10.5 |  85M|  83 |   - |3771 |5975 |3771 | 993 |  54k|  20k|1298 | 0.000000e+00 | 1.680000e+02 |    Inf 
128.29/128.37	o 165
128.29/128.37	c * 124s| 37930 | 17535 |397147 |  10.4 |  85M|  83 |   - |3771 |6192 |3771 | 989 |  55k|  21k|1298 | 0.000000e+00 | 1.650000e+02 |    Inf 
128.29/128.37	o 163
128.29/128.37	c * 124s| 37931 | 17381 |397147 |  10.4 |  84M|  83 |   - |3771 |6192 |3771 | 989 |  55k|  21k|1298 | 0.000000e+00 | 1.630000e+02 |    Inf 
129.79/129.85	o 152
129.79/129.85	c * 125s| 38376 | 16736 |401698 |  10.4 |  82M|  83 |   - |3771 |6081 |3771 | 973 |  55k|  21k|1298 | 0.000000e+00 | 1.520000e+02 |    Inf 
129.79/129.89	o 140
129.79/129.89	c * 125s| 38380 | 15750 |401841 |  10.4 |  78M|  83 |   - |3771 |6070 |3771 | 978 |  55k|  21k|1298 | 0.000000e+00 | 1.400000e+02 |    Inf 
130.09/130.15	o 128
130.09/130.15	c * 126s| 38438 | 14625 |402384 |  10.4 |  73M|  83 |   - |3771 |6030 |3771 |1017 |  55k|  21k|1298 | 0.000000e+00 | 1.280000e+02 |    Inf 
130.18/130.21	o 126
130.18/130.21	c * 126s| 38452 | 14432 |402441 |  10.4 |  72M|  83 |   - |3771 |6018 |3771 |1015 |  55k|  21k|1298 | 0.000000e+00 | 1.260000e+02 |    Inf 
130.18/130.21	o 120
130.18/130.21	c * 126s| 38453 | 13732 |402442 |  10.4 |  68M|  83 |   - |3771 |6018 |3771 |1015 |  55k|  21k|1298 | 0.000000e+00 | 1.200000e+02 |    Inf 
132.19/132.26	o 114
132.19/132.26	c v 128s| 39061 | 13192 |408807 |  10.4 |  68M|  83 |   - |3771 |5947 |3771 | 955 |  56k|  21k|1298 | 0.000000e+00 | 1.140000e+02 |    Inf 
132.69/132.77	o 99
132.69/132.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
132.69/132.77	c * 128s| 39131 | 11207 |412414 |  10.5 |  61M|  83 |   - |3771 |5885 |3771 | 956 |  56k|  21k|1298 | 0.000000e+00 | 9.900000e+01 |    Inf 
132.79/132.80	o 91
132.79/132.80	c * 128s| 39133 | 10447 |412439 |  10.5 |  58M|  83 |   - |3771 |5830 |3771 | 956 |  56k|  21k|1298 | 0.000000e+00 | 9.100000e+01 |    Inf 
132.79/132.86	o 63
132.79/132.86	c * 128s| 39139 |  7173 |412744 |  10.5 |  47M|  83 |   - |3771 |5660 |3771 | 951 |  56k|  21k|1298 | 0.000000e+00 | 6.300000e+01 |    Inf 
132.99/133.01	o 61
132.99/133.01	c * 128s| 39167 |  6895 |413449 |  10.5 |  47M|  83 |   - |3771 |5107 |3771 | 978 |  56k|  22k|1298 | 0.000000e+00 | 6.100000e+01 |    Inf 
133.19/133.27	o 60
133.19/133.27	c * 129s| 39209 |  6473 |414010 |  10.5 |  46M|  83 |   - |3771 |4803 |3771 | 990 |  56k|  22k|1298 | 0.000000e+00 | 6.000000e+01 |    Inf 
133.29/133.40	o 58
133.29/133.40	c * 129s| 39231 |  6327 |414393 |  10.5 |  46M|  83 |   - |3771 |4614 |3771 | 988 |  56k|  22k|1298 | 0.000000e+00 | 5.800000e+01 |    Inf 
133.59/133.64	o 48
133.59/133.64	c * 129s| 39276 |  5494 |415882 |  10.6 |  43M|  83 |   - |3771 |4423 |3771 | 965 |  56k|  22k|1298 | 0.000000e+00 | 4.800000e+01 |    Inf 
133.69/133.71	o 45
133.69/133.71	c * 129s| 39284 |  3197 |416359 |  10.6 |  36M|  83 |   - |3771 |4224 |3771 | 939 |  56k|  22k|1298 | 0.000000e+00 | 4.500000e+01 |    Inf 
135.59/135.66	c   131s| 40000 |  3123 |425390 |  10.6 |  38M|  83 |   - |3771 |4539 |   0 |   0 |  56k|  23k|1298 | 0.000000e+00 | 4.500000e+01 |    Inf 
156.39/156.44	c   151s| 50000 |  2911 |488067 |   9.7 |  42M|  91 |   1 |3771 |7584 |3771 | 955 |  60k|  36k|1338 | 0.000000e+00 | 4.500000e+01 |    Inf 
176.79/176.88	c   170s| 60000 |  3039 |536039 |   8.9 |  45M|  91 |   - |3771 |9979 |   0 |   0 |  62k|  48k|1374 | 0.000000e+00 | 4.500000e+01 |    Inf 
198.79/198.85	c   191s| 70000 |  3237 |586988 |   8.4 |  49M|  97 |   - |3771 |9018 |   0 |   0 |  65k|  61k|1424 | 0.000000e+00 | 4.500000e+01 |    Inf 
219.79/219.84	c   211s| 80000 |  3298 |631105 |   7.9 |  52M|  97 |  12 |3771 |  10k|3771 | 966 |  67k|  73k|1495 | 0.000000e+00 | 4.500000e+01 |    Inf 
241.49/241.52	c   232s| 90000 |  3289 |679912 |   7.5 |  54M|  97 |   1 |3771 |9785 |3771 | 963 |  69k|  86k|1549 | 0.000000e+00 | 4.500000e+01 |    Inf 
263.09/263.15	c   252s|100000 |  3451 |734051 |   7.3 |  57M| 103 |   - |3771 |  10k|   0 |   0 |  72k|  99k|1594 | 0.000000e+00 | 4.500000e+01 |    Inf 
284.69/284.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.69/284.73	c   273s|110000 |  3488 |788455 |   7.2 |  60M| 103 |   1 |3771 |9494 |3771 | 947 |  75k| 112k|1687 | 0.000000e+00 | 4.500000e+01 |    Inf 
302.09/302.10	o 44
302.09/302.10	c * 290s|118152 |  3398 |829127 |   7.0 |  62M| 103 |   - |3771 |  11k|3771 | 955 |  77k| 123k|1747 | 0.000000e+00 | 4.400000e+01 |    Inf 
306.39/306.40	c   294s|120000 |  3382 |839361 |   7.0 |  61M| 103 |   - |3771 |9347 |   0 |   0 |  78k| 125k|1749 | 0.000000e+00 | 4.400000e+01 |    Inf 
327.99/328.06	c   314s|130000 |  3460 |892921 |   6.9 |  64M| 103 |   - |3771 |9967 |   0 |   0 |  80k| 137k|1801 | 0.000000e+00 | 4.400000e+01 |    Inf 
348.79/348.83	c   334s|140000 |  3522 |938971 |   6.7 |  67M| 103 |   - |3771 |  11k|   0 |   0 |  82k| 150k|1869 | 0.000000e+00 | 4.400000e+01 |    Inf 
369.50/369.53	c   354s|150000 |  3598 |983444 |   6.6 |  69M| 103 |   - |3771 |  12k|   0 |   0 |  84k| 163k|1924 | 0.000000e+00 | 4.400000e+01 |    Inf 
379.99/380.08	o 42
379.99/380.08	c * 364s|155026 |  3501 |  1005k|   6.5 |  69M| 103 |   - |3771 |  11k|3771 | 970 |  86k| 170k|1974 | 0.000000e+00 | 4.200000e+01 |    Inf 
389.89/389.98	c   373s|160000 |  3605 |  1027k|   6.4 |  70M| 103 |   9 |3771 |  11k|3771 | 979 |  87k| 177k|1977 | 0.000000e+00 | 4.200000e+01 |    Inf 
411.99/412.05	c   394s|170000 |  3728 |  1087k|   6.4 |  73M| 103 |   - |3771 |9887 |   0 |   0 |  89k| 189k|2085 | 0.000000e+00 | 4.200000e+01 |    Inf 
432.70/432.75	c   414s|180000 |  4135 |  1132k|   6.3 |  77M| 103 |   1 |3771 |9076 |3771 | 965 |  92k| 202k|2133 | 0.000000e+00 | 4.200000e+01 |    Inf 
454.30/454.30	c   435s|190000 |  4215 |  1186k|   6.2 |  81M| 103 |   - |3771 |  10k|   0 |   0 |  94k| 215k|2201 | 0.000000e+00 | 4.200000e+01 |    Inf 
462.00/462.07	o 41
462.00/462.07	c * 442s|193685 |  4243 |  1203k|   6.2 |  81M| 103 |   - |3771 |  11k|3771 | 972 |  95k| 220k|2201 | 0.000000e+00 | 4.100000e+01 |    Inf 
475.20/475.25	c   454s|200000 |  4292 |  1232k|   6.2 |  83M| 103 |   3 |3771 |  11k|3771 | 955 |  97k| 228k|2243 | 0.000000e+00 | 4.100000e+01 |    Inf 
496.79/496.81	c   475s|210000 |  4429 |  1279k|   6.1 |  86M| 103 |   - |3771 |  11k|   0 |   0 | 100k| 242k|2299 | 0.000000e+00 | 4.100000e+01 |    Inf 
518.50/518.55	c   496s|220000 |  4402 |  1332k|   6.1 |  87M| 103 |   6 |3771 |8885 |3771 | 967 | 103k| 254k|2368 | 0.000000e+00 | 4.100000e+01 |    Inf 
519.79/519.87	o 26
519.79/519.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
519.79/519.87	c * 497s|220599 |  3593 |  1335k|   6.1 |  71M| 103 |   - |3771 |8693 |3771 | 957 | 103k| 255k|2368 | 0.000000e+00 | 2.600000e+01 |    Inf 
519.79/519.88	o 22
519.79/519.88	c * 497s|220600 |  3230 |  1335k|   6.1 |  66M| 103 |   - |3771 |8693 |3771 | 957 | 103k| 255k|2368 | 0.000000e+00 | 2.200000e+01 |    Inf 
538.19/538.25	c   514s|230000 |  3376 |  1399k|   6.1 |  68M| 103 |   - |3771 |  11k|   0 |   0 | 106k| 268k|2410 | 0.000000e+00 | 2.200000e+01 |    Inf 
558.70/558.70	c   534s|240000 |  3437 |  1464k|   6.1 |  70M| 103 |   - |3771 |9402 |   0 |   0 | 109k| 281k|2503 | 0.000000e+00 | 2.200000e+01 |    Inf 
579.20/579.23	c   553s|250000 |  3542 |  1533k|   6.1 |  73M| 103 |   - |3771 |  11k|   0 |   0 | 112k| 294k|2560 | 0.000000e+00 | 2.200000e+01 |    Inf 
600.10/600.18	c   573s|260000 |  3604 |  1599k|   6.1 |  76M| 103 |   - |3771 |  14k|   0 |   0 | 115k| 308k|2615 | 0.000000e+00 | 2.200000e+01 |    Inf 
620.30/620.39	c   593s|270000 |  3426 |  1658k|   6.1 |  74M| 103 |   - |3771 |9142 |   0 |   0 | 118k| 322k|2694 | 0.000000e+00 | 2.200000e+01 |    Inf 
641.69/641.79	c   613s|280000 |  3653 |  1730k|   6.2 |  77M| 103 |   - |3771 |  11k|   0 |   0 | 120k| 335k|2785 | 0.000000e+00 | 2.200000e+01 |    Inf 
643.59/643.66	o 16
643.59/643.66	c * 615s|280840 |  3431 |  1735k|   6.2 |  72M| 103 |   - |3771 |  12k|3771 | 960 | 120k| 336k|2785 | 0.000000e+00 | 1.600000e+01 |    Inf 
643.59/643.68	o 7
643.59/643.68	c * 615s|280841 |  2119 |  1735k|   6.2 |  56M| 103 |   - |3771 |  12k|3771 | 960 | 120k| 336k|2785 | 0.000000e+00 | 7.000000e+00 |    Inf 
661.39/661.41	c   632s|290000 |  2241 |  1805k|   6.2 |  57M| 103 |   - |3771 |  10k|3771 | 960 | 123k| 349k|2861 | 0.000000e+00 | 7.000000e+00 |    Inf 
677.61/677.61	o 6
677.61/677.61	c * 647s|298023 |  2315 |  1868k|   6.3 |  59M| 103 |   - |3771 |  14k|3771 | 946 | 125k| 359k|2919 | 0.000000e+00 | 6.000000e+00 |    Inf 
681.50/681.58	c   651s|300000 |  2344 |  1881k|   6.3 |  59M| 103 |  15 |3771 |  14k|3771 | 940 | 126k| 362k|2919 | 0.000000e+00 | 6.000000e+00 |    Inf 
685.80/685.81	o 3
685.80/685.81	c * 655s|302168 |  1904 |  1894k|   6.3 |  55M| 103 |   - |3771 |  15k|3771 | 951 | 126k| 365k|2961 | 0.000000e+00 | 3.000000e+00 |    Inf 
701.30/701.33	c   670s|310000 |  1998 |  1944k|   6.3 |  57M| 103 |   - |3771 |  18k|   0 |   0 | 128k| 376k|2995 | 0.000000e+00 | 3.000000e+00 |    Inf 
722.40/722.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
722.40/722.41	c   690s|320000 |  1991 |  2017k|   6.3 |  58M| 103 |   1 |3771 |  17k|3771 | 963 | 131k| 390k|3054 | 0.000000e+00 | 3.000000e+00 |    Inf 
744.20/744.22	c   711s|330000 |  2062 |  2091k|   6.3 |  59M| 103 |   - |3771 |  17k|   0 |   0 | 134k| 403k|3169 | 0.000000e+00 | 3.000000e+00 |    Inf 
767.90/767.95	c   733s|340000 |  2228 |  2176k|   6.4 |  62M| 103 |   - |3771 |  18k|3771 | 952 | 136k| 417k|3235 | 0.000000e+00 | 3.000000e+00 |    Inf 
793.71/793.74	c   758s|350000 |  2311 |  2281k|   6.5 |  65M| 103 |   - |3771 |  24k|   0 |   0 | 139k| 431k|3339 | 0.000000e+00 | 3.000000e+00 |    Inf 
818.41/818.45	c   782s|360000 |  2346 |  2373k|   6.6 |  64M| 103 |   - |3771 |  17k|   0 |   0 | 141k| 444k|3434 | 0.000000e+00 | 3.000000e+00 |    Inf 
841.60/841.64	c   804s|370000 |  2472 |  2453k|   6.6 |  67M| 103 |   - |3771 |  21k|   0 |   0 | 144k| 459k|3501 | 0.000000e+00 | 3.000000e+00 |    Inf 
863.51/863.58	c   825s|380000 |  2631 |  2517k|   6.6 |  69M| 103 |   - |3771 |  22k|   0 |   0 | 146k| 473k|3563 | 0.000000e+00 | 3.000000e+00 |    Inf 
885.81/885.89	c   846s|390000 |  2538 |  2605k|   6.7 |  68M| 103 |   1 |3771 |  16k|3771 | 934 | 149k| 486k|3670 | 0.000000e+00 | 3.000000e+00 |    Inf 
906.30/906.37	c   866s|400000 |  2674 |  2669k|   6.7 |  71M| 103 |  10 |3771 |  22k|3771 | 961 | 152k| 499k|3711 | 0.000000e+00 | 3.000000e+00 |    Inf 
927.40/927.48	c   886s|410000 |  2731 |  2733k|   6.7 |  73M| 103 |  21 |3771 |  23k|3771 | 962 | 154k| 514k|3767 | 0.000000e+00 | 3.000000e+00 |    Inf 
951.70/951.73	c   910s|420000 |  2896 |  2823k|   6.7 |  75M| 103 |  16 |3771 |  22k|3771 | 949 | 157k| 528k|3858 | 0.000000e+00 | 3.000000e+00 |    Inf 
976.00/976.03	c   933s|430000 |  3031 |  2893k|   6.7 |  77M| 103 |   - |3771 |  25k|   0 |   0 | 159k| 540k|3923 | 0.000000e+00 | 3.000000e+00 |    Inf 
1001.01/1001.01	c   957s|440000 |  3113 |  2965k|   6.7 |  79M| 103 |   - |3771 |  23k|3771 | 956 | 162k| 554k|3983 | 0.000000e+00 | 3.000000e+00 |    Inf 
1028.41/1028.44	c   983s|450000 |  3203 |  3056k|   6.8 |  82M| 103 |  11 |3771 |  28k|3771 | 934 | 165k| 568k|4040 | 0.000000e+00 | 3.000000e+00 |    Inf 
1055.01/1055.05	c  1009s|460000 |  3247 |  3140k|   6.8 |  83M| 103 |   1 |3771 |  28k|3771 | 960 | 167k| 582k|4096 | 0.000000e+00 | 3.000000e+00 |    Inf 
1082.01/1082.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1082.01/1082.08	c  1035s|470000 |  3375 |  3212k|   6.8 |  86M| 103 |   - |3771 |  30k|   0 |   0 | 169k| 597k|4153 | 0.000000e+00 | 3.000000e+00 |    Inf 
1111.31/1111.31	c  1063s|480000 |  3483 |  3294k|   6.9 |  88M| 103 |  18 |3771 |  32k|3771 | 962 | 172k| 611k|4213 | 0.000000e+00 | 3.000000e+00 |    Inf 
1140.31/1140.39	c  1091s|490000 |  3483 |  3369k|   6.9 |  89M| 103 |   - |3771 |  33k|   0 |   0 | 174k| 626k|4274 | 0.000000e+00 | 3.000000e+00 |    Inf 
1169.41/1169.42	c  1119s|500000 |  3582 |  3440k|   6.9 |  91M| 103 |   8 |3771 |  35k|3771 | 966 | 176k| 642k|4326 | 0.000000e+00 | 3.000000e+00 |    Inf 
1200.02/1200.09	c  1149s|510000 |  3621 |  3519k|   6.9 |  93M| 103 |  21 |3771 |  37k|3771 | 971 | 178k| 657k|4387 | 0.000000e+00 | 3.000000e+00 |    Inf 
1229.91/1229.98	c  1178s|520000 |  3650 |  3595k|   6.9 |  94M| 103 |   - |3771 |  36k|   0 |   0 | 181k| 672k|4443 | 0.000000e+00 | 3.000000e+00 |    Inf 
1257.61/1257.65	c  1204s|530000 |  3723 |  3671k|   6.9 |  93M| 103 |   5 |3771 |  31k|3771 | 963 | 183k| 685k|4501 | 0.000000e+00 | 3.000000e+00 |    Inf 
1262.01/1262.06	o 2
1262.01/1262.06	c *1208s|531902 |  3630 |  3683k|   6.9 |  93M| 103 |   - |3771 |  33k|3771 | 972 | 184k| 688k|4501 | 0.000000e+00 | 2.000000e+00 |    Inf 
1284.82/1284.86	c  1230s|540000 |  3734 |  3750k|   6.9 |  94M| 103 |   - |3771 |  30k|   0 |   0 | 185k| 699k|4555 | 0.000000e+00 | 2.000000e+00 |    Inf 
1310.81/1310.81	c  1255s|550000 |  3691 |  3827k|   7.0 |  94M| 103 |   - |3771 |  28k|   0 |   0 | 188k| 713k|4611 | 0.000000e+00 | 2.000000e+00 |    Inf 
1333.72/1333.77	c  1277s|560000 |  3019 |  3910k|   7.0 |  82M| 103 |  18 |3771 |9446 |3771 | 951 | 190k| 727k|4677 | 0.000000e+00 | 2.000000e+00 |    Inf 
1353.31/1353.30	c  1296s|570000 |  2462 |  3984k|   7.0 |  77M| 103 |  19 |3771 |  12k|3771 | 956 | 192k| 741k|4797 | 0.000000e+00 | 2.000000e+00 |    Inf 
1374.02/1374.03	c  1315s|580000 |  2557 |  4057k|   7.0 |  80M| 103 |  12 |3771 |  16k|3771 | 964 | 194k| 754k|4845 | 0.000000e+00 | 2.000000e+00 |    Inf 
1397.51/1397.52	c  1338s|590000 |  2581 |  4143k|   7.0 |  81M| 103 |   - |3771 |  17k|   0 |   0 | 197k| 767k|4905 | 0.000000e+00 | 2.000000e+00 |    Inf 
1421.32/1421.37	c  1361s|600000 |  2674 |  4225k|   7.0 |  84M| 103 |   - |3771 |  20k|   0 |   0 | 200k| 780k|4955 | 0.000000e+00 | 2.000000e+00 |    Inf 
1446.21/1446.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1446.21/1446.28	c  1384s|610000 |  2725 |  4294k|   7.0 |  86M| 103 |   1 |3771 |  24k|3771 | 934 | 202k| 793k|4988 | 0.000000e+00 | 2.000000e+00 |    Inf 
1474.11/1474.18	c  1411s|620000 |  2801 |  4374k|   7.1 |  88M| 103 |   - |3771 |  26k|   0 |   0 | 205k| 807k|5046 | 0.000000e+00 | 2.000000e+00 |    Inf 
1503.42/1503.44	c  1439s|630000 |  2889 |  4455k|   7.1 |  90M| 103 |   7 |3771 |  29k|3771 | 934 | 208k| 821k|5107 | 0.000000e+00 | 2.000000e+00 |    Inf 
1534.02/1534.01	c  1469s|640000 |  3009 |  4526k|   7.1 |  93M| 103 |   7 |3771 |  34k|3771 | 944 | 211k| 834k|5162 | 0.000000e+00 | 2.000000e+00 |    Inf 
1565.42/1565.49	c  1499s|650000 |  3071 |  4598k|   7.1 |  95M| 103 |  25 |3771 |  33k|3771 | 947 | 214k| 847k|5221 | 0.000000e+00 | 2.000000e+00 |    Inf 
1597.32/1597.30	c  1530s|660000 |  3155 |  4665k|   7.1 |  97M| 103 |   1 |3771 |  36k|3771 | 948 | 216k| 860k|5249 | 0.000000e+00 | 2.000000e+00 |    Inf 
1630.92/1630.93	c  1563s|670000 |  3218 |  4743k|   7.1 |  99M| 103 |   1 |3771 |  38k|3771 | 976 | 219k| 874k|5291 | 0.000000e+00 | 2.000000e+00 |    Inf 
1658.73/1658.70	c  1589s|680000 |  2167 |  4827k|   7.1 |  76M| 103 |  17 |3771 |  10k|3771 | 945 | 222k| 888k|5349 | 0.000000e+00 | 2.000000e+00 |    Inf 
1681.42/1681.44	c  1611s|690000 |  1968 |  4913k|   7.1 |  73M| 103 |  15 |3771 |  12k|3771 | 944 | 223k| 901k|5412 | 0.000000e+00 | 2.000000e+00 |    Inf 
1702.92/1702.99	c  1631s|700000 |  1141 |  5002k|   7.1 |  57M| 103 |  21 |3771 |  11k|3771 | 950 | 226k| 915k|5474 | 0.000000e+00 | 2.000000e+00 |    Inf 
1723.13/1723.13	c  1651s|710000 |   480 |  5081k|   7.2 |  42M| 103 |   - |3771 |  13k|   0 |   0 | 229k| 928k|5541 | 0.000000e+00 | 2.000000e+00 |    Inf 
1744.63/1744.64	c  1671s|720000 |   515 |  5156k|   7.2 |  45M| 103 |   8 |3771 |  18k|3771 | 964 | 232k| 942k|5573 | 0.000000e+00 | 2.000000e+00 |    Inf 
1767.02/1767.03	c  1692s|730000 |   531 |  5230k|   7.2 |  46M| 103 |   - |3771 |  21k|3771 | 954 | 235k| 955k|5605 | 0.000000e+00 | 2.000000e+00 |    Inf 
1793.23/1793.22	c  1718s|740000 |   537 |  5318k|   7.2 |  49M| 103 |   1 |3771 |  27k|3771 | 971 | 238k| 969k|5659 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1724.16
1800.03/1800.00	c Solving Nodes      : 742390
1800.03/1800.00	c Primal Bound       : +2.00000000000000e+00 (257 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.03	s SATISFIABLE
1800.03/1800.03	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 
1800.03/1800.03	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.03/1800.03	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.03	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.03/1800.03	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.03/1800.03	v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.03/1800.03	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.03/1800.03	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.03/1800.03	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.03/1800.03	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.03/1800.03	v -x1 
1800.03/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.03	c Solving Time       :    1724.16
1800.03/1800.03	c Original Problem   :
1800.03/1800.03	c   Problem name     : HOME/instance-2692933-1277911322.wbo
1800.03/1800.03	c   Variables        : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.03/1800.03	c   Constraints      : 4547 initial, 4547 maximal
1800.03/1800.03	c Presolved Problem  :
1800.03/1800.03	c   Problem name     : t_HOME/instance-2692933-1277911322.wbo
1800.03/1800.03	c   Variables        : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.03/1800.03	c   Constraints      : 4373 initial, 38954 maximal
1800.03/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.03	c   trivial          :       0.00         69          0          0          0          0          0          0          0
1800.03/1800.03	c   dualfix          :       0.00         69          0          0          0          0          0          0          0
1800.03/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.03	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.03	c   indicator        :       0.00          0          0          0          0          0         69          0          0
1800.03/1800.03	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.03	c   linear           :       0.04          0          0          0       1861          0        105         91          0
1800.03/1800.03	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.03	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.03	c   root node        :          -       1754          -          -       3508          -          -          -          -
1800.03/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.03	c   integral         :          0          0          0     445277          0         23        414          0          0     790324
1800.03/1800.03	c   indicator        :       1770          0    4148160      49636          0       1126    7740104          0          0          0
1800.03/1800.03	c   setppc           :          9          6    4155688      48884          0      16174    1089223          0          0          0
1800.03/1800.03	c   linear           :       1770          6    4146462      49738          0     187038   17989698     239028          0          0
1800.03/1800.03	c   logicor          :        824+         6    1436905      18395          0     137037    3562844          0          0          0
1800.03/1800.03	c   bounddisjunction :          0+         0      12420          0          0          0         40          0          0          0
1800.03/1800.03	c   countsols        :          0          0          0      18395          0          0          0          0          0          0
1800.03/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.03	c   integral         :      22.63       0.00       0.00      22.63       0.00
1800.03/1800.03	c   indicator        :      26.33       0.00      21.77       4.56       0.00
1800.03/1800.03	c   setppc           :       7.98       0.00       7.97       0.01       0.00
1800.03/1800.03	c   linear           :     143.62       0.00     140.88       2.74       0.00
1800.03/1800.03	c   logicor          :     266.52       0.00     266.38       0.14       0.00
1800.03/1800.03	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.03/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.03	c   vbounds          :       0.00          2          0          0
1800.03/1800.03	c   rootredcost      :       0.00         52          0       1754
1800.03/1800.03	c   pseudoobj        :     151.88    4183852      20077    5638176
1800.03/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.03	c   propagation      :      19.05     360326     360151    2186606       26.9      17044       18.6          -
1800.03/1800.03	c   infeasible LP    :       5.36      19115      19115     159015       40.1        225       16.4          0
1800.03/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.03	c   pseudo solution  :       0.04        429        429       1995       14.8        239        5.5          -
1800.03/1800.03	c   applied globally :          -          -          -     972897       21.8          -          -          -
1800.03/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.03	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 269)
1800.03/1800.03	c   redcost          :      26.24     452368          0    1976595          0          0
1800.03/1800.03	c   impliedbounds    :       0.00          6          0          0          0          0
1800.03/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.03	c   gomory           :       0.08          6          0          0       1243          0
1800.03/1800.03	c   strongcg         :       0.05          6          0          0         67          0
1800.03/1800.03	c   cmir             :       0.03          6          0          0          0          0
1800.03/1800.03	c   flowcover        :       0.06          6          0          0          0          0
1800.03/1800.03	c   clique           :       0.00          6          0          0          0          0
1800.03/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.03	c   mcf              :       0.01          1          0          0          0          0
1800.03/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.03	c Pricers            :       Time      Calls       Vars
1800.03/1800.03	c   problem variables:       0.00          0          0
1800.03/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.03	c   relpscost        :      22.54     395516         23        414          0          0     790324
1800.03/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.03	c   inference        :       3.28      18347          0          0          0          0      36694
1800.03/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.03	c   LP solutions     :       0.10          -         48
1800.03/1800.03	c   pseudo solutions :       0.00          -          0
1800.03/1800.03	c   feaspump         :       0.01          1          0
1800.03/1800.03	c   oneopt           :       0.25         45          0
1800.03/1800.03	c   intshifting      :       0.01         28          0
1800.03/1800.03	c   crossover        :       1.43         59          0
1800.03/1800.03	c   linesearchdiving :       1.91       1420          1
1800.03/1800.03	c   coefdiving       :       2.04       1420          0
1800.03/1800.03	c   veclendiving     :       1.99       1421          1
1800.03/1800.03	c   guideddiving     :       1.60       1421          0
1800.03/1800.03	c   pscostdiving     :       1.97       1421          0
1800.03/1800.03	c   fracdiving       :       1.88       1421          1
1800.03/1800.03	c   rootsoldiving    :       1.22        898          0
1800.03/1800.03	c   objpscostdiving  :       0.98        898          0
1800.03/1800.03	c   trivial          :       0.01          2          0
1800.03/1800.03	c   simplerounding   :       0.47     397742          0
1800.03/1800.03	c   zirounding       :       0.16       1000          0
1800.03/1800.03	c   rounding         :       2.05       8864          0
1800.03/1800.03	c   shifting         :       1.45       2811          0
1800.03/1800.03	c   twoopt           :       0.00          0          0
1800.03/1800.03	c   fixandinfer      :       0.00          0          0
1800.03/1800.03	c   intdiving        :       0.00          0          0
1800.03/1800.03	c   actconsdiving    :       0.00          0          0
1800.03/1800.03	c   octane           :       0.00          0          0
1800.03/1800.03	c   rens             :       0.02          1          0
1800.03/1800.03	c   rins             :       0.00          0          0
1800.03/1800.03	c   localbranching   :       0.00          0          0
1800.03/1800.03	c   mutation         :       0.00          0          0
1800.03/1800.03	c   dins             :       0.00          0          0
1800.03/1800.03	c   undercover       :       0.00          0          0
1800.03/1800.03	c   nlp              :       0.00          0          0
1800.03/1800.03	c   trysol           :       2.01       7650        206
1800.03/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.03	c   primal LP        :       0.01          0          0       0.00       0.00
1800.03/1800.03	c   dual LP          :     612.80     453450    5320979      11.73    8683.06
1800.03/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.03	c   diving/probing LP:       3.03       2280      16844       7.39    5559.08
1800.03/1800.03	c   strong branching :      19.19       5696     206977      36.34   10785.67
1800.03/1800.03	c     (at root node) :          -         33      17837     540.52          -
1800.03/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.03	c B&B Tree           :
1800.03/1800.03	c   number of runs   :          1
1800.03/1800.03	c   nodes            :     742390
1800.03/1800.03	c   nodes (total)    :     742390
1800.03/1800.03	c   nodes left       :        581
1800.03/1800.03	c   max depth        :        103
1800.03/1800.03	c   max depth (total):        103
1800.03/1800.03	c   backtracks       :      68490 (9.2%)
1800.03/1800.03	c   delayed cutoffs  :      58351
1800.03/1800.03	c   repropagations   :    2149047 (6478078 domain reductions, 51127 cutoffs)
1800.03/1800.03	c   avg switch length:       7.21
1800.03/1800.03	c   switching time   :     241.55
1800.03/1800.03	c Solution           :
1800.03/1800.03	c   Solutions found  :        257 (52 improvements)
1800.03/1800.03	c   First Solution   : +8.80640000000000e+04   (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.03	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 531902 nodes, 1208.47 seconds, depth 40, found by <relaxation>)
1800.03/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.03	c   Gap              :   infinite
1800.03/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.03	c   Root Iterations  :        801
1800.13/1800.11	c Time complete: 1800.13.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692933-1277911322/watcher-2692933-1277911322 -o /tmp/evaluation-result-2692933-1277911322/solver-2692933-1277911322 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692933-1277911322.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: 1.93 1.99 1.99 3/196 24618
/proc/meminfo: memFree=31633816/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=11312 CPUtime=0
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 1772 0 0 0 0 0 0 0 22 0 1 0 164723983 11583488 1693 4089446400 4194304 9819077 140733540097504 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24618/statm: 2828 1693 392 1374 0 1449 0

[startup+0.0550559 s]
/proc/loadavg: 1.93 1.99 1.99 3/196 24618
/proc/meminfo: memFree=31633816/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=31024 CPUtime=0.04
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 6832 0 0 0 4 0 0 0 22 0 1 0 164723983 31768576 6399 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 7756 6399 487 1374 0 6377 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31024

[startup+0.101047 s]
/proc/loadavg: 1.93 1.99 1.99 3/196 24618
/proc/meminfo: memFree=31633816/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=31024 CPUtime=0.09
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7623 0 0 0 8 1 0 0 22 0 1 0 164723983 31768576 6419 4089446400 4194304 9819077 140733540097504 18446744073709551615 4974512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 7756 6419 498 1374 0 6377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31024

[startup+0.301012 s]
/proc/loadavg: 1.93 1.99 1.99 3/196 24618
/proc/meminfo: memFree=31633816/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=39528 CPUtime=0.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 11960 0 0 0 26 3 0 0 22 0 1 0 164723983 40476672 8345 4089446400 4194304 9819077 140733540097504 18446744073709551615 6052039 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 9882 8345 682 1374 0 8503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39528

[startup+0.70094 s]
/proc/loadavg: 1.93 1.99 1.99 3/196 24618
/proc/meminfo: memFree=31633816/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=49680 CPUtime=0.69
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 22568 0 0 0 64 5 0 0 24 0 1 0 164723983 50872320 11029 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 12420 11029 711 1374 0 11041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49680

[startup+1.5008 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 24619
/proc/meminfo: memFree=31591524/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=49680 CPUtime=1.49
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 23478 0 0 0 143 6 0 0 25 0 1 0 164723983 50872320 11029 4089446400 4194304 9819077 140733540097504 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 12420 11029 711 1374 0 11041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49680

[startup+3.10052 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 24619
/proc/meminfo: memFree=31592136/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=49432 CPUtime=3.1
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 24550 0 0 0 302 8 0 0 25 0 1 0 164723983 50618368 11033 4089446400 4194304 9819077 140733540097504 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 12358 11033 712 1374 0 10979 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 49432

[startup+6.30096 s]
/proc/loadavg: 1.93 1.99 1.99 3/197 24619
/proc/meminfo: memFree=31592136/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=49664 CPUtime=6.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 26502 0 0 0 618 11 0 0 25 0 1 0 164723983 50855936 11062 4089446400 4194304 9819077 140733540097504 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 12416 11062 714 1374 0 11037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49664

[startup+12.7008 s]
/proc/loadavg: 1.94 1.99 1.99 3/197 24619
/proc/meminfo: memFree=31589588/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=57492 CPUtime=12.69
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 46869 0 0 0 1245 24 0 0 25 0 1 0 164723983 58871808 12794 4089446400 4194304 9819077 140733540097504 18446744073709551615 4407919 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 14373 12794 719 1374 0 12994 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57492

[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 1.99 3/197 24620
/proc/meminfo: memFree=31575472/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=71776 CPUtime=25.49
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 154541 0 0 0 2481 68 0 0 25 0 1 0 164723983 73498624 16035 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 17944 16035 721 1374 0 16565 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71776

[startup+51.1001 s]
/proc/loadavg: 1.97 1.99 1.99 3/197 24620
/proc/meminfo: memFree=31549688/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=97212 CPUtime=51.09
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 350969 0 0 0 4954 155 0 0 25 0 1 0 164723983 99545088 22477 4089446400 4194304 9819077 140733540097504 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24618/statm: 24303 22477 723 1374 0 22924 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97212

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/197 24622
/proc/meminfo: memFree=31492300/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=155956 CPUtime=102.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 704264 0 0 0 9892 338 0 0 25 0 1 0 164723983 159698944 36628 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24618/statm: 38989 36628 738 1374 0 37610 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155956

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 24623
/proc/meminfo: memFree=31452064/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=197632 CPUtime=162.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 1018931 0 0 0 15638 591 0 0 25 0 1 0 164723983 202375168 46584 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24618/statm: 49408 46584 738 1374 0 48029 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 197632

[startup+222.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 24653
/proc/meminfo: memFree=31482420/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=214776 CPUtime=222.28
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 1267575 0 0 0 21358 870 0 0 25 0 1 0 164723983 219930624 50618 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 53694 50618 738 1374 0 52315 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 214776

[startup+282.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 24654
/proc/meminfo: memFree=31470228/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=228076 CPUtime=282.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 1499552 0 0 0 27074 1155 0 0 25 0 1 0 164723983 233549824 53578 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 57019 53578 738 1374 0 55640 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 228076

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24656
/proc/meminfo: memFree=31459908/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=239704 CPUtime=342.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 1764404 0 0 0 32792 1437 0 0 25 0 1 0 164723983 245456896 56145 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 59926 56145 744 1374 0 58547 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 239704

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24658
/proc/meminfo: memFree=31452068/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=248784 CPUtime=402.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 2034467 0 0 0 38499 1730 0 0 25 0 1 0 164723983 254754816 58158 4089446400 4194304 9819077 140733540097504 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 62196 58158 744 1374 0 60817 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 248784

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24659
/proc/meminfo: memFree=31442116/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=260168 CPUtime=462.29
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 2297411 0 0 0 44216 2013 0 0 25 0 1 0 164723983 266412032 60599 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 65042 60599 744 1374 0 63663 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 260168

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24661
/proc/meminfo: memFree=31433264/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=269816 CPUtime=522.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 2574096 0 0 0 49925 2305 0 0 25 0 1 0 164723983 276291584 62635 4089446400 4194304 9819077 140733540097504 18446744073709551615 6003139 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 67454 62635 744 1374 0 66075 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 269816

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24662
/proc/meminfo: memFree=31431332/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=272612 CPUtime=582.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 2864069 0 0 0 55636 2594 0 0 25 0 1 0 164723983 279154688 63230 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 68153 63231 744 1374 0 66774 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 272612

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24664
/proc/meminfo: memFree=31427580/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=276896 CPUtime=642.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 3150766 0 0 0 61352 2878 0 0 25 0 1 0 164723983 283541504 64154 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 69224 64154 744 1374 0 67845 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 276896

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24670
/proc/meminfo: memFree=31417624/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=286800 CPUtime=882.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 4304382 0 0 0 84309 3921 0 0 25 0 1 0 164723983 293683200 66606 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 71700 66606 742 1374 0 70321 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 286800

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24672
/proc/meminfo: memFree=31413252/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=291244 CPUtime=942.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 4587479 0 0 0 90048 4182 0 0 25 0 1 0 164723983 298233856 67693 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 72811 67693 742 1374 0 71432 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 291244

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24674
/proc/meminfo: memFree=31409748/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=294964 CPUtime=1002.31
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 4836052 0 0 0 95803 4428 0 0 25 0 1 0 164723983 302043136 68554 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 73741 68554 742 1374 0 72362 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 294964

[startup+1062.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 24723
/proc/meminfo: memFree=31373804/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=299636 CPUtime=1062.3
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 5059306 0 0 0 101589 4641 0 0 25 0 1 0 164723983 306827264 69707 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 74909 69707 742 1374 0 73530 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 299636

[startup+1122.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 24725
/proc/meminfo: memFree=31288408/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=304324 CPUtime=1122.31
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 5274260 0 0 0 107367 4864 0 0 25 0 1 0 164723983 311627776 70878 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 76081 70878 742 1374 0 74702 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 304324

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24726
/proc/meminfo: memFree=31271008/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=306240 CPUtime=1182.31
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 5480241 0 0 0 113153 5078 0 0 25 0 1 0 164723983 313589760 71421 4089446400 4194304 9819077 140733540097504 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 76560 71421 742 1374 0 75181 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 306240

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24728
/proc/meminfo: memFree=31263520/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=308884 CPUtime=1242.31
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 5691100 0 0 0 118952 5279 0 0 25 0 1 0 164723983 316297216 71998 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 77221 71998 742 1374 0 75842 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 308884

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24730
/proc/meminfo: memFree=31258024/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=311504 CPUtime=1302.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 5954196 0 0 0 124713 5519 0 0 25 0 1 0 164723983 318980096 72699 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 77876 72699 742 1374 0 76497 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 311504

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 24731
/proc/meminfo: memFree=31256368/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=312000 CPUtime=1362.31
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 6242355 0 0 0 130424 5807 0 0 25 0 1 0 164723983 319488000 72844 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 78000 72844 742 1374 0 76621 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 312000

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24733
/proc/meminfo: memFree=31255220/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=312096 CPUtime=1422.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 6512964 0 0 0 136150 6082 0 0 25 0 1 0 164723983 319586304 72896 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 78024 72896 742 1374 0 76645 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 312096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24734
/proc/meminfo: memFree=31254552/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=312596 CPUtime=1482.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 6733727 0 0 0 141901 6331 0 0 25 0 1 0 164723983 320098304 73014 4089446400 4194304 9819077 140733540097504 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 78149 73014 742 1374 0 76770 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 312596

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24736
/proc/meminfo: memFree=31251788/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=313948 CPUtime=1542.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 6939854 0 0 0 147688 6544 0 0 25 0 1 0 164723983 321482752 73282 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 78487 73282 742 1374 0 77108 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 313948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24738
/proc/meminfo: memFree=31248284/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=315844 CPUtime=1602.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7117962 0 0 0 153491 6741 0 0 25 0 1 0 164723983 323424256 73715 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 78961 73715 742 1374 0 77582 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 315844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24742
/proc/meminfo: memFree=31242148/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=318712 CPUtime=1662.32
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7325846 0 0 0 159271 6961 0 0 25 0 1 0 164723983 326361088 74470 4089446400 4194304 9819077 140733540097504 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 79678 74470 742 1374 0 78299 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 318712

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24744
/proc/meminfo: memFree=31237284/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=319824 CPUtime=1722.33
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7616962 0 0 0 164984 7249 0 0 25 0 1 0 164723983 327499776 74560 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 79956 74560 742 1374 0 78577 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 319824

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24745
/proc/meminfo: memFree=31235512/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=319792 CPUtime=1782.33
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7892050 0 0 0 170715 7518 0 0 25 0 1 0 164723983 327467008 74571 4089446400 4194304 9819077 140733540097504 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 79948 74573 742 1374 0 78569 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 319792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24746
/proc/meminfo: memFree=31235128/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=319824 CPUtime=1800.03
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7963899 0 0 0 172418 7585 0 0 25 0 1 0 164723983 327499776 74570 4089446400 4194304 9819077 140733540097504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24618/statm: 79956 74570 742 1374 0 78577 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 319824

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24746
/proc/meminfo: memFree=31235128/32950940 swapFree=67111528/67111528
[pid=24618] ppid=24616 vsize=188072 CPUtime=1800.13
/proc/24618/stat : 24618 (pbscip.linux.x8) R 24616 24618 24593 0 -1 4202496 7963900 0 0 0 172427 7586 0 0 25 0 1 0 164723983 192585728 30646 4089446400 4194304 9819077 140733540097504 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24618/statm: 47018 30138 743 1374 0 45639 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 188072

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.15
CPU user time (s): 1724.28
CPU system time (s): 75.8695
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 327832

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

runsolver used 2.57361 second user time and 6.07608 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 17:22:03
IDJOB=2692933
IDBENCH=78986
IDSOLVER=1205
FILE ID=node117/2692933-1277911322
PBS_JOBID= 11197271
Free space on /tmp= 74212 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.1900547389--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-2692933-1277911322/watcher-2692933-1277911322 -o /tmp/evaluation-result-2692933-1277911322/solver-2692933-1277911322 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692933-1277911322.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d310a80e65163d39f069d6307e99d88f
RANDOM SEED=2063736184

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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.85
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.799
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.799
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.799
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:     32950940 kB
MemFree:      31634476 kB
Buffers:        195748 kB
Cached:         852968 kB
SwapCached:          0 kB
Active:         581608 kB
Inactive:       590352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31634476 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6324 kB
Writeback:           0 kB
AnonPages:      123068 kB
Mapped:          20284 kB
Slab:            78300 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  1648936 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= 74200 MiB
End job on node117 at 2010-06-30 17:52:05