Trace number 2693415

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.23 1800.19

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-33-100-0.wbo
MD5SUM6f14288bb7c1e317bfd5e53473571ca7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark33.2679
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 719
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693415-1277902937.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.03/0.05	c presolving:
0.03/0.06	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.03/0.10	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.08/0.11	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.08/0.12	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.08/0.13	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.08/0.19	c    (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.19	c presolving (6 rounds):
0.08/0.19	c  138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.08/0.19	c  1965 implications, 9 cliques
0.08/0.19	c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.08/0.19	c    1770 constraints of type <indicator>
0.08/0.19	c       9 constraints of type <setppc>
0.08/0.19	c    1770 constraints of type <linear>
0.08/0.19	c     824 constraints of type <logicor>
0.08/0.19	c transformed objective value is always integral (scale: 1)
0.08/0.19	c Presolving Time: 0.14
0.08/0.19	c - non default parameters ----------------------------------------------------------------------
0.08/0.19	c # SCIP version 1.2.1.2
0.08/0.19	c 
0.08/0.19	c # frequency for displaying node information lines
0.08/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.19	c display/freq = 10000
0.08/0.19	c 
0.08/0.19	c # maximal time in seconds to run
0.08/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19	c limits/time = 1799.98
0.08/0.19	c 
0.08/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19	c limits/memory = 3420
0.08/0.19	c 
0.08/0.19	c # should presolving try to simplify inequalities
0.08/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19	c constraints/linear/simplifyinequalities = TRUE
0.08/0.19	c 
0.08/0.19	c # should presolving try to simplify knapsacks
0.08/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.19	c 
0.08/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.19	c separating/rapidlearning/freq = 0
0.08/0.19	c 
0.08/0.19	c -----------------------------------------------------------------------------------------------
0.08/0.19	c start solving
0.08/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c   0.2s|     1 |     0 |    10 |     - |  13M|   0 |   6 |3771 |4373 |3771 | 833 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.22	o 88064
0.19/0.22	c y 0.2s|     1 |     0 |    10 |     - |  14M|   0 |   6 |3771 |4373 |3771 | 833 |   0 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.19/0.24	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.28	c   0.2s|     1 |     0 |   129 |     - |  14M|   0 |  33 |3771 |4373 |3771 | 872 |  39 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   176 |     - |  14M|   0 |  42 |3771 |4373 |3771 | 882 |  49 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   477 |     - |  14M|   0 |  47 |3771 |4373 |3771 | 896 |  63 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   779 |     - |  15M|   0 |  64 |3771 |4373 |3771 | 926 |  93 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
0.49/0.59	c   0.5s|     1 |     0 |   832 |     - |  15M|   0 |  64 |3771 |4373 |3771 | 940 | 107 |   0 |   0 | 0.000000e+00 | 8.806400e+04 |    Inf 
1.59/1.63	c   1.6s|     1 |     2 |   832 |     - |  15M|   0 |  64 |3771 |4373 |3771 | 940 | 107 |   0 |  33 | 0.000000e+00 | 8.806400e+04 |    Inf 
25.19/25.30	c  24.9s| 10000 |  9977 | 23816 |   2.3 |  36M| 705 |   0 |3771 |4439 |3771 | 984 |1673 |  66 | 791 | 0.000000e+00 | 8.806400e+04 |    Inf 
27.39/27.45	o 702
27.39/27.45	c *27.0s| 11986 |  5180 | 24176 |   1.9 |  30M| 713 |   - |3771 |4439 |3771 | 989 |1720 |  66 | 791 | 0.000000e+00 | 7.020000e+02 |    Inf 
27.50/27.50	o 684
27.50/27.50	c *27.1s| 12006 |  5004 | 24251 |   2.0 |  29M| 713 |   - |3771 |4445 |3771 | 999 |1731 |  72 | 791 | 0.000000e+00 | 6.840000e+02 |    Inf 
28.29/28.33	o 658
28.29/28.33	c *27.9s| 12442 |  5044 | 25175 |   2.0 |  30M| 713 |   - |3771 |4521 |3771 | 978 |1905 | 148 | 798 | 0.000000e+00 | 6.580000e+02 |    Inf 
28.69/28.75	o 595
28.69/28.75	c *28.3s| 12719 |  4484 | 25571 |   1.9 |  29M| 713 |   - |3771 |4546 |3771 | 972 |1937 | 173 | 798 | 0.000000e+00 | 5.950000e+02 |    Inf 
29.29/29.31	o 590
29.29/29.31	c *28.8s| 12991 |  4622 | 26944 |   2.0 |  30M| 713 |   - |3771 |4642 |3771 | 980 |2094 | 269 | 803 | 0.000000e+00 | 5.900000e+02 |    Inf 
29.89/29.96	o 536
29.89/29.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.89/29.96	c *29.5s| 13299 |  3902 | 28470 |   2.1 |  29M| 713 |   - |3771 |4696 |3771 | 973 |2228 | 323 | 817 | 0.000000e+00 | 5.360000e+02 |    Inf 
32.79/32.89	o 521
32.79/32.89	c *32.3s| 14779 |  4783 | 33915 |   2.2 |  32M| 713 |   - |3771 |5041 |3771 |1010 |2880 | 751 | 846 | 0.000000e+00 | 5.210000e+02 |    Inf 
33.89/33.93	o 467
33.89/33.93	c *33.4s| 15329 |  4296 | 35117 |   2.2 |  30M| 713 |   - |3771 |5198 |3771 | 991 |3113 | 981 | 846 | 0.000000e+00 | 4.670000e+02 |    Inf 
34.10/34.11	o 435
34.10/34.11	c *33.5s| 15394 |  3950 | 35609 |   2.3 |  30M| 713 |   - |3771 |5217 |3771 | 969 |3164 |1013 | 846 | 0.000000e+00 | 4.350000e+02 |    Inf 
34.39/34.41	o 432
34.39/34.41	c *33.8s| 15507 |  4009 | 36269 |   2.3 |  30M| 713 |   - |3771 |5253 |3771 | 974 |3254 |1080 | 847 | 0.000000e+00 | 4.320000e+02 |    Inf 
34.89/34.92	o 410
34.89/34.92	c *34.3s| 15675 |  3904 | 38300 |   2.4 |  30M| 713 |   - |3771 |5271 |3771 | 979 |3513 |1151 | 854 | 0.000000e+00 | 4.100000e+02 |    Inf 
34.99/35.00	o 405
34.99/35.00	c *34.4s| 15709 |  3891 | 38502 |   2.4 |  30M| 713 |   - |3771 |5273 |3771 | 973 |3526 |1161 | 855 | 0.000000e+00 | 4.050000e+02 |    Inf 
34.99/35.00	o 392
34.99/35.00	c *34.4s| 15710 |  3748 | 38503 |   2.4 |  29M| 713 |   - |3771 |5273 |3771 | 973 |3526 |1161 | 855 | 0.000000e+00 | 3.920000e+02 |    Inf 
35.59/35.64	o 389
35.59/35.64	c *35.0s| 15985 |  3929 | 40181 |   2.5 |  30M| 713 |   - |3771 |5308 |3771 | 979 |3674 |1285 | 859 | 0.000000e+00 | 3.890000e+02 |    Inf 
36.30/36.38	o 367
36.30/36.38	c *35.7s| 16349 |  3835 | 42357 |   2.5 |  30M| 713 |   - |3771 |5361 |3771 | 973 |3844 |1439 | 860 | 0.000000e+00 | 3.670000e+02 |    Inf 
36.30/36.39	o 324
36.30/36.39	c *35.7s| 16350 |  3055 | 42357 |   2.5 |  29M| 713 |   - |3771 |5361 |3771 | 973 |3844 |1439 | 860 | 0.000000e+00 | 3.240000e+02 |    Inf 
38.00/38.02	o 323
38.00/38.02	c *37.3s| 16874 |  3345 | 48137 |   2.8 |  30M| 713 |   - |3771 |5508 |3771 | 985 |4617 |1843 | 865 | 0.000000e+00 | 3.230000e+02 |    Inf 
38.00/38.07	o 285
38.00/38.07	c *37.4s| 16900 |  2560 | 48264 |   2.8 |  28M| 713 |   - |3771 |5502 |3771 | 968 |4619 |1843 | 865 | 0.000000e+00 | 2.850000e+02 |    Inf 
38.00/38.09	o 282
38.00/38.09	c *37.4s| 16903 |  2510 | 48280 |   2.8 |  28M| 713 |   - |3771 |5502 |3771 | 968 |4619 |1843 | 865 | 0.000000e+00 | 2.820000e+02 |    Inf 
40.49/40.52	o 270
40.49/40.52	c *39.8s| 17751 |  2796 | 56190 |   3.1 |  30M| 713 |   - |3771 |5441 |3771 | 989 |5421 |2435 | 868 | 0.000000e+00 | 2.700000e+02 |    Inf 
41.39/41.47	o 269
41.39/41.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.39/41.47	c *40.7s| 18157 |  2891 | 57032 |   3.1 |  30M| 713 |   - |3771 |5609 |3771 | 975 |5480 |2827 | 869 | 0.000000e+00 | 2.690000e+02 |    Inf 
42.29/42.37	o 227
42.29/42.37	c *41.6s| 18659 |  2514 | 57770 |   3.1 |  30M| 713 |   - |3771 |5687 |3771 | 986 |5614 |3026 | 869 | 0.000000e+00 | 2.270000e+02 |    Inf 
43.90/43.92	o 221
43.90/43.92	c *43.1s| 19334 |  2587 | 60193 |   3.1 |  31M| 713 |   - |3771 |6113 |3771 | 973 |5821 |3711 | 869 | 0.000000e+00 | 2.210000e+02 |    Inf 
45.79/45.87	c  45.0s| 20000 |  2844 | 64218 |   3.2 |  32M| 713 |   0 |3771 |6180 |3771 | 968 |6310 |4305 | 888 | 0.000000e+00 | 2.210000e+02 |    Inf 
45.89/46.00	o 190
45.89/46.00	c *45.1s| 20062 |  2437 | 64405 |   3.2 |  31M| 713 |   - |3771 |6186 |3771 | 967 |6340 |4320 | 888 | 0.000000e+00 | 1.900000e+02 |    Inf 
46.10/46.16	o 175
46.10/46.16	c *45.2s| 20115 |  2264 | 64729 |   3.2 |  30M| 713 |   - |3771 |6188 |3771 | 972 |6396 |4364 | 892 | 0.000000e+00 | 1.750000e+02 |    Inf 
46.29/46.38	o 162
46.29/46.38	c *45.5s| 20167 |  2003 | 65260 |   3.2 |  29M| 713 |   - |3771 |6128 |3771 | 980 |6451 |4415 | 897 | 0.000000e+00 | 1.620000e+02 |    Inf 
47.30/47.36	o 160
47.30/47.36	c *46.4s| 20506 |  2040 | 66645 |   3.2 |  30M| 713 |   - |3771 |6258 |3771 | 986 |6587 |4858 | 904 | 0.000000e+00 | 1.600000e+02 |    Inf 
47.39/47.40	o 138
47.39/47.40	c *46.5s| 20545 |  1721 | 66647 |   3.2 |  28M| 713 |   - |3771 |6258 |3771 | 986 |6587 |4858 | 904 | 0.000000e+00 | 1.380000e+02 |    Inf 
47.99/48.05	o 136
47.99/48.05	c *47.1s| 20763 |  1818 | 67692 |   3.2 |  29M| 713 |   - |3771 |6323 |3771 | 972 |6719 |5061 | 906 | 0.000000e+00 | 1.360000e+02 |    Inf 
47.99/48.05	o 133
47.99/48.05	c *47.1s| 20764 |  1796 | 67694 |   3.2 |  29M| 713 |   - |3771 |6323 |3771 | 972 |6719 |5061 | 906 | 0.000000e+00 | 1.330000e+02 |    Inf 
48.59/48.63	o 115
48.59/48.63	c *47.6s| 20830 |  1609 | 71611 |   3.4 |  28M| 713 |   - |3771 |6140 |3771 | 984 |6854 |5135 | 929 | 0.000000e+00 | 1.150000e+02 |    Inf 
49.30/49.37	o 99
49.30/49.37	c *48.4s| 20942 |  1343 | 76620 |   3.6 |  28M| 713 |   - |3771 |5821 |3771 | 984 |6980 |5272 | 934 | 0.000000e+00 | 9.900000e+01 |    Inf 
49.50/49.58	o 95
49.50/49.58	c *48.6s| 20963 |  1314 | 77946 |   3.7 |  28M| 713 |   - |3771 |5689 |3771 | 944 |6997 |5279 | 935 | 0.000000e+00 | 9.500000e+01 |    Inf 
49.50/49.58	o 89
49.50/49.58	c *48.6s| 20964 |  1231 | 77946 |   3.7 |  27M| 713 |   - |3771 |5689 |3771 | 944 |6997 |5279 | 935 | 0.000000e+00 | 8.900000e+01 |    Inf 
50.50/50.59	o 85
50.50/50.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.50/50.59	c *49.6s| 21147 |  1214 | 82702 |   3.9 |  27M| 713 |   - |3771 |5161 |3771 | 968 |7399 |5479 | 938 | 0.000000e+00 | 8.500000e+01 |    Inf 
50.69/50.74	o 76
50.69/50.74	c *49.7s| 21214 |  1149 | 82980 |   3.9 |  27M| 713 |   - |3771 |5086 |3771 | 933 |7425 |5496 | 938 | 0.000000e+00 | 7.600000e+01 |    Inf 
52.70/52.74	o 64
52.70/52.74	c *51.7s| 21731 |  1047 | 90193 |   4.1 |  27M| 713 |   - |3771 |4910 |3771 | 984 |8138 |6034 | 940 | 0.000000e+00 | 6.400000e+01 |    Inf 
52.70/52.77	o 48
52.70/52.77	c *51.7s| 21740 |   773 | 90225 |   4.1 |  25M| 713 |   - |3771 |4677 |3771 | 985 |8139 |6034 | 940 | 0.000000e+00 | 4.800000e+01 |    Inf 
52.70/52.78	o 45
52.70/52.78	c *51.7s| 21741 |   524 | 90226 |   4.1 |  24M| 713 |   - |3771 |4677 |3771 | 985 |8139 |6034 | 940 | 0.000000e+00 | 4.500000e+01 |    Inf 
56.99/57.03	o 43
56.99/57.03	c *55.8s| 23489 |   606 |104603 |   4.4 |  26M| 713 |   - |3771 |5126 |3771 | 949 |8792 |8158 | 990 | 0.000000e+00 | 4.300000e+01 |    Inf 
64.09/64.16	o 39
64.09/64.16	c *62.8s| 26663 |   676 |124843 |   4.7 |  27M| 713 |   - |3771 |6421 |3771 | 955 |9973 |  12k|1017 | 0.000000e+00 | 3.900000e+01 |    Inf 
64.80/64.81	o 32
64.80/64.81	c *63.4s| 26962 |   638 |126427 |   4.7 |  27M| 713 |   - |3771 |6208 |3771 | 963 |  10k|  12k|1017 | 0.000000e+00 | 3.200000e+01 |    Inf 
70.79/70.86	c  69.3s| 30000 |   704 |140318 |   4.6 |  29M| 713 |  17 |3771 |6968 |3771 | 926 |  11k|  16k|1055 | 0.000000e+00 | 3.200000e+01 |    Inf 
72.39/72.50	o 20
72.39/72.50	c *70.9s| 30790 |   630 |144020 |   4.7 |  28M| 713 |   - |3771 |7443 |3771 | 966 |  11k|  17k|1060 | 0.000000e+00 | 2.000000e+01 |    Inf 
74.19/74.24	o 18
74.19/74.24	c *72.6s| 31577 |   597 |149007 |   4.7 |  28M| 713 |   - |3771 |5767 |3771 | 926 |  11k|  18k|1077 | 0.000000e+00 | 1.800000e+01 |    Inf 
74.19/74.26	o 13
74.19/74.26	c *72.6s| 31582 |   537 |149045 |   4.7 |  27M| 713 |   - |3771 |5643 |3771 | 931 |  11k|  18k|1077 | 0.000000e+00 | 1.300000e+01 |    Inf 
84.60/84.65	o 7
84.60/84.65	c *82.6s| 37436 |   548 |186459 |   5.0 |  28M| 713 |   - |3771 |7099 |3771 | 936 |  13k|  26k|1140 | 0.000000e+00 | 7.000000e+00 |    Inf 
88.69/88.76	c  86.6s| 40000 |   581 |199923 |   5.0 |  29M| 713 |   9 |3771 |8446 |3771 | 940 |  14k|  29k|1140 | 0.000000e+00 | 7.000000e+00 |    Inf 
106.79/106.83	c   104s| 50000 |   708 |261309 |   5.2 |  32M| 713 |   - |3771 |  12k|   0 |   0 |  16k|  43k|1188 | 0.000000e+00 | 7.000000e+00 |    Inf 
125.79/125.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.79/125.80	c   123s| 60000 |   677 |323643 |   5.4 |  33M| 713 |   - |3771 |  13k|   0 |   0 |  19k|  56k|1196 | 0.000000e+00 | 7.000000e+00 |    Inf 
144.90/144.96	c   141s| 70000 |   694 |384442 |   5.5 |  34M| 713 |  27 |3771 |  15k|3771 | 946 |  22k|  69k|1199 | 0.000000e+00 | 7.000000e+00 |    Inf 
160.29/160.35	o 6
160.29/160.35	c * 156s| 78047 |   787 |427855 |   5.5 |  36M| 713 |   - |3771 |  18k|3771 | 930 |  24k|  80k|1199 | 0.000000e+00 | 6.000000e+00 |    Inf 
164.19/164.29	c   160s| 80000 |   787 |438520 |   5.5 |  36M| 713 |  14 |3771 |  17k|3771 | 937 |  24k|  83k|1199 | 0.000000e+00 | 6.000000e+00 |    Inf 
175.90/175.98	o 5
175.90/175.98	c * 171s| 85988 |   907 |469141 |   5.4 |  37M| 713 |   - |3771 |  16k|3771 | 946 |  26k|  91k|1204 | 0.000000e+00 | 5.000000e+00 |    Inf 
183.71/183.77	c   179s| 90000 |  1014 |489183 |   5.4 |  37M| 713 |   - |3771 |  16k|   0 |   0 |  27k|  96k|1225 | 0.000000e+00 | 5.000000e+00 |    Inf 
202.79/202.82	c   198s|100000 |  1100 |537728 |   5.4 |  39M| 713 |   1 |3771 |  18k|3771 | 933 |  29k| 109k|1258 | 0.000000e+00 | 5.000000e+00 |    Inf 
223.40/223.45	c   218s|110000 |  1088 |592371 |   5.4 |  40M| 713 |   - |3771 |  18k|   0 |   0 |  31k| 123k|1328 | 0.000000e+00 | 5.000000e+00 |    Inf 
243.70/243.79	c   237s|120000 |  1218 |649864 |   5.4 |  42M| 713 |  13 |3771 |  20k|3771 | 962 |  33k| 137k|1381 | 0.000000e+00 | 5.000000e+00 |    Inf 
265.19/265.24	c   258s|130000 |  1425 |708220 |   5.4 |  45M| 713 |   - |3771 |  23k|   0 |   0 |  35k| 150k|1459 | 0.000000e+00 | 5.000000e+00 |    Inf 
287.59/287.66	c   280s|140000 |  1617 |773246 |   5.5 |  46M| 713 |   9 |3771 |  21k|3771 | 956 |  37k| 164k|1548 | 0.000000e+00 | 5.000000e+00 |    Inf 
309.10/309.13	c   301s|150000 |  1669 |829081 |   5.5 |  47M| 713 |   - |3771 |  22k|   0 |   0 |  39k| 178k|1662 | 0.000000e+00 | 5.000000e+00 |    Inf 
330.40/330.46	c   322s|160000 |  1756 |884355 |   5.5 |  48M| 713 |  13 |3771 |  22k|3771 | 936 |  41k| 191k|1736 | 0.000000e+00 | 5.000000e+00 |    Inf 
351.70/351.74	c   343s|170000 |  1957 |937884 |   5.5 |  49M| 713 |   - |3771 |  19k|3771 | 960 |  43k| 205k|1812 | 0.000000e+00 | 5.000000e+00 |    Inf 
372.80/372.85	c   363s|180000 |  1960 |998044 |   5.5 |  50M| 713 |   8 |3771 |  19k|3771 | 954 |  45k| 219k|1924 | 0.000000e+00 | 5.000000e+00 |    Inf 
392.90/392.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
392.90/392.92	c   383s|190000 |  2006 |  1052k|   5.5 |  52M| 713 |   - |3771 |  21k|   0 |   0 |  47k| 233k|2018 | 0.000000e+00 | 5.000000e+00 |    Inf 
414.51/414.55	c   404s|200000 |  2052 |  1106k|   5.5 |  53M| 713 |  21 |3771 |  23k|3771 | 946 |  49k| 247k|2064 | 0.000000e+00 | 5.000000e+00 |    Inf 
436.10/436.19	c   425s|210000 |  2012 |  1161k|   5.5 |  53M| 713 |   - |3771 |  22k|   0 |   0 |  51k| 260k|2163 | 0.000000e+00 | 5.000000e+00 |    Inf 
457.31/457.30	c   446s|220000 |  2090 |  1218k|   5.5 |  54M| 713 |   - |3771 |  19k|   0 |   0 |  54k| 274k|2280 | 0.000000e+00 | 5.000000e+00 |    Inf 
478.30/478.36	c   466s|230000 |  2087 |  1276k|   5.5 |  54M| 713 |   1 |3771 |  20k|3771 | 944 |  56k| 287k|2363 | 0.000000e+00 | 5.000000e+00 |    Inf 
501.00/501.01	c   488s|240000 |  2151 |  1337k|   5.6 |  56M| 713 |   - |3771 |  22k|   0 |   0 |  59k| 300k|2425 | 0.000000e+00 | 5.000000e+00 |    Inf 
525.31/525.34	c   512s|250000 |  2246 |  1406k|   5.6 |  57M| 713 |  16 |3771 |  24k|3771 | 944 |  61k| 313k|2534 | 0.000000e+00 | 5.000000e+00 |    Inf 
548.81/548.85	c   535s|260000 |  2340 |  1472k|   5.7 |  59M| 713 |   - |3771 |  25k|   0 |   0 |  63k| 326k|2610 | 0.000000e+00 | 5.000000e+00 |    Inf 
572.71/572.77	c   558s|270000 |  2428 |  1539k|   5.7 |  59M| 713 |   - |3771 |  25k|   0 |   0 |  65k| 339k|2704 | 0.000000e+00 | 5.000000e+00 |    Inf 
595.70/595.77	c   581s|280000 |  2497 |  1599k|   5.7 |  61M| 713 |  14 |3771 |  26k|3771 | 945 |  67k| 352k|2760 | 0.000000e+00 | 5.000000e+00 |    Inf 
619.50/619.50	c   604s|290000 |  2530 |  1660k|   5.7 |  62M| 713 |  21 |3771 |  26k|3771 | 937 |  70k| 366k|2811 | 0.000000e+00 | 5.000000e+00 |    Inf 
643.71/643.78	c   628s|300000 |  2588 |  1725k|   5.7 |  63M| 713 |   1 |3771 |  27k|3771 | 926 |  72k| 379k|2915 | 0.000000e+00 | 5.000000e+00 |    Inf 
646.91/646.99	o 3
646.91/646.99	c * 631s|301437 |  2047 |  1733k|   5.7 |  56M| 713 |   - |3771 |  27k|3771 | 940 |  73k| 381k|2918 | 0.000000e+00 | 3.000000e+00 |    Inf 
668.41/668.43	c   652s|310000 |  2135 |  1794k|   5.8 |  57M| 713 |   6 |3771 |  28k|3771 | 926 |  74k| 393k|2978 | 0.000000e+00 | 3.000000e+00 |    Inf 
692.21/692.21	c   675s|320000 |  2126 |  1854k|   5.8 |  57M| 713 |   - |3771 |  27k|   0 |   0 |  77k| 407k|3044 | 0.000000e+00 | 3.000000e+00 |    Inf 
717.41/717.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
717.41/717.41	c   700s|330000 |  2167 |  1918k|   5.8 |  58M| 713 |   9 |3771 |  27k|3771 | 936 |  79k| 421k|3125 | 0.000000e+00 | 3.000000e+00 |    Inf 
741.11/741.19	c   723s|340000 |  2273 |  1981k|   5.8 |  58M| 713 |  21 |3771 |  26k|3771 | 944 |  81k| 435k|3184 | 0.000000e+00 | 3.000000e+00 |    Inf 
764.11/764.18	c   745s|350000 |  2381 |  2038k|   5.8 |  60M| 713 |   - |3771 |  28k|   0 |   0 |  83k| 448k|3252 | 0.000000e+00 | 3.000000e+00 |    Inf 
787.41/787.45	c   768s|360000 |  2436 |  2100k|   5.8 |  61M| 713 |   - |3771 |  29k|   0 |   0 |  86k| 462k|3301 | 0.000000e+00 | 3.000000e+00 |    Inf 
810.91/810.98	c   791s|370000 |  2476 |  2161k|   5.8 |  63M| 713 |   - |3771 |  30k|3771 | 952 |  88k| 476k|3361 | 0.000000e+00 | 3.000000e+00 |    Inf 
835.22/835.21	c   815s|380000 |  2546 |  2220k|   5.8 |  64M| 713 |   1 |3771 |  31k|3771 | 937 |  90k| 490k|3418 | 0.000000e+00 | 3.000000e+00 |    Inf 
860.22/860.22	c   839s|390000 |  2596 |  2278k|   5.8 |  66M| 713 |  14 |3771 |  35k|3771 | 956 |  93k| 504k|3480 | 0.000000e+00 | 3.000000e+00 |    Inf 
887.01/887.01	c   866s|400000 |  2646 |  2339k|   5.8 |  68M| 713 |   - |3771 |  37k|   0 |   0 |  95k| 519k|3533 | 0.000000e+00 | 3.000000e+00 |    Inf 
913.41/913.44	c   891s|410000 |  2704 |  2396k|   5.8 |  66M| 713 |   - |3771 |  30k|   0 |   0 |  97k| 533k|3588 | 0.000000e+00 | 3.000000e+00 |    Inf 
938.42/938.43	c   916s|420000 |  2777 |  2462k|   5.9 |  68M| 713 |  20 |3771 |  31k|3771 | 945 |  99k| 546k|3643 | 0.000000e+00 | 3.000000e+00 |    Inf 
963.41/963.45	c   940s|430000 |  2893 |  2521k|   5.9 |  69M| 713 |   - |3771 |  32k|   0 |   0 | 102k| 560k|3703 | 0.000000e+00 | 3.000000e+00 |    Inf 
989.42/989.44	c   966s|440000 |  2922 |  2587k|   5.9 |  69M| 713 |   1 |3771 |  29k|3771 | 937 | 104k| 574k|3750 | 0.000000e+00 | 3.000000e+00 |    Inf 
1014.13/1014.12	c   990s|450000 |  3192 |  2661k|   5.9 |  72M| 713 |   - |3771 |  32k|   0 |   0 | 106k| 588k|3809 | 0.000000e+00 | 3.000000e+00 |    Inf 
1039.53/1039.51	c  1015s|460000 |  3245 |  2733k|   5.9 |  73M| 713 |   - |3771 |  32k|   0 |   0 | 108k| 602k|3861 | 0.000000e+00 | 3.000000e+00 |    Inf 
1065.22/1065.24	c  1040s|470000 |  3289 |  2810k|   6.0 |  73M| 713 |  16 |3771 |  31k|3771 | 957 | 110k| 617k|3934 | 0.000000e+00 | 3.000000e+00 |    Inf 
1090.52/1090.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1090.52/1090.58	c  1065s|480000 |  3311 |  2886k|   6.0 |  74M| 713 |   - |3771 |  31k|   0 |   0 | 112k| 631k|4006 | 0.000000e+00 | 3.000000e+00 |    Inf 
1110.02/1110.05	o 2
1110.02/1110.05	c *1084s|487742 |  3268 |  2942k|   6.0 |  74M| 713 |   - |3771 |  31k|3771 | 963 | 113k| 642k|4042 | 0.000000e+00 | 2.000000e+00 |    Inf 
1115.82/1115.84	c  1089s|490000 |  3238 |  2959k|   6.0 |  72M| 713 |   - |3771 |  27k|   0 |   0 | 114k| 645k|4081 | 0.000000e+00 | 2.000000e+00 |    Inf 
1139.42/1139.45	c  1112s|500000 |  3217 |  3028k|   6.1 |  72M| 713 |   - |3771 |  27k|   0 |   0 | 116k| 659k|4133 | 0.000000e+00 | 2.000000e+00 |    Inf 
1163.32/1163.35	c  1136s|510000 |  3252 |  3091k|   6.1 |  73M| 713 |   - |3771 |  28k|3771 | 971 | 119k| 674k|4177 | 0.000000e+00 | 2.000000e+00 |    Inf 
1187.82/1187.83	c  1160s|520000 |  3286 |  3161k|   6.1 |  74M| 713 |  11 |3771 |  27k|3771 | 964 | 121k| 688k|4230 | 0.000000e+00 | 2.000000e+00 |    Inf 
1211.73/1211.71	c  1183s|530000 |  3341 |  3227k|   6.1 |  75M| 713 |  13 |3771 |  28k|3771 | 948 | 124k| 702k|4272 | 0.000000e+00 | 2.000000e+00 |    Inf 
1236.12/1236.17	c  1207s|540000 |  3294 |  3297k|   6.1 |  74M| 713 |   1 |3771 |  26k|3771 | 950 | 127k| 716k|4342 | 0.000000e+00 | 2.000000e+00 |    Inf 
1260.42/1260.42	c  1231s|550000 |  3400 |  3367k|   6.1 |  77M| 713 |   1 |3771 |  29k|3771 | 963 | 130k| 730k|4392 | 0.000000e+00 | 2.000000e+00 |    Inf 
1286.03/1286.02	c  1256s|560000 |  3477 |  3432k|   6.1 |  78M| 713 |  19 |3771 |  29k|3771 | 957 | 133k| 745k|4457 | 0.000000e+00 | 2.000000e+00 |    Inf 
1311.53/1311.51	c  1280s|570000 |  3483 |  3503k|   6.1 |  79M| 713 |   1 |3771 |  31k|3771 | 937 | 135k| 759k|4519 | 0.000000e+00 | 2.000000e+00 |    Inf 
1338.23/1338.23	c  1307s|580000 |  3223 |  3566k|   6.1 |  74M| 713 |   - |3771 |  24k|   0 |   0 | 137k| 773k|4582 | 0.000000e+00 | 2.000000e+00 |    Inf 
1361.63/1361.65	c  1330s|590000 |  3203 |  3630k|   6.2 |  75M| 713 |  23 |3771 |  26k|3771 | 935 | 140k| 787k|4638 | 0.000000e+00 | 2.000000e+00 |    Inf 
1385.83/1385.85	c  1353s|600000 |  2949 |  3698k|   6.2 |  71M| 713 |   - |3771 |  21k|3771 | 948 | 143k| 801k|4707 | 0.000000e+00 | 2.000000e+00 |    Inf 
1409.03/1409.04	c  1376s|610000 |  2836 |  3768k|   6.2 |  71M| 713 |  12 |3771 |  22k|3771 | 954 | 146k| 815k|4778 | 0.000000e+00 | 2.000000e+00 |    Inf 
1432.73/1432.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1432.73/1432.71	c  1399s|620000 |  2806 |  3834k|   6.2 |  70M| 713 |  21 |3771 |  22k|3771 | 946 | 149k| 829k|5011 | 0.000000e+00 | 2.000000e+00 |    Inf 
1454.24/1454.27	c  1420s|630000 |  2914 |  3889k|   6.2 |  72M| 713 |  12 |3771 |  26k|3771 | 926 | 151k| 842k|5020 | 0.000000e+00 | 2.000000e+00 |    Inf 
1479.44/1479.40	c  1445s|640000 |  3009 |  3950k|   6.2 |  73M| 713 |   - |3771 |  24k|   0 |   0 | 154k| 855k|5175 | 0.000000e+00 | 2.000000e+00 |    Inf 
1504.23/1504.28	c  1469s|650000 |  3115 |  4019k|   6.2 |  76M| 713 |   - |3771 |  29k|   0 |   0 | 156k| 869k|5204 | 0.000000e+00 | 2.000000e+00 |    Inf 
1530.53/1530.59	c  1495s|660000 |  3272 |  4087k|   6.2 |  77M| 713 |  20 |3771 |  27k|3771 | 955 | 158k| 882k|5302 | 0.000000e+00 | 2.000000e+00 |    Inf 
1557.93/1557.95	c  1521s|670000 |  3318 |  4155k|   6.2 |  78M| 713 |   9 |3771 |  27k|3771 | 955 | 159k| 896k|5365 | 0.000000e+00 | 2.000000e+00 |    Inf 
1583.83/1583.89	c  1547s|680000 |  3358 |  4224k|   6.2 |  79M| 713 |   - |3771 |  27k|   0 |   0 | 161k| 909k|5455 | 0.000000e+00 | 2.000000e+00 |    Inf 
1609.63/1609.68	c  1572s|690000 |  3390 |  4287k|   6.2 |  80M| 713 |   8 |3771 |  29k|3771 | 926 | 163k| 922k|5479 | 0.000000e+00 | 2.000000e+00 |    Inf 
1634.03/1634.03	c  1596s|700000 |  3543 |  4346k|   6.2 |  83M| 713 |  30 |3771 |  31k|3771 | 955 | 166k| 935k|5527 | 0.000000e+00 | 2.000000e+00 |    Inf 
1659.84/1659.88	c  1621s|710000 |  3554 |  4405k|   6.2 |  83M| 713 |   1 |3771 |  29k|3771 | 926 | 169k| 948k|5594 | 0.000000e+00 | 2.000000e+00 |    Inf 
1684.14/1684.17	c  1645s|720000 |  3638 |  4457k|   6.2 |  86M| 713 |  18 |3771 |  36k|3771 | 939 | 171k| 962k|5606 | 0.000000e+00 | 2.000000e+00 |    Inf 
1712.04/1712.01	c  1672s|730000 |  3773 |  4514k|   6.2 |  88M| 713 |  15 |3771 |  38k|3771 | 926 | 174k| 975k|5667 | 0.000000e+00 | 2.000000e+00 |    Inf 
1739.33/1739.31	c  1699s|740000 |  3923 |  4574k|   6.2 |  90M| 713 |   5 |3771 |  39k|3771 | 937 | 177k| 989k|5719 | 0.000000e+00 | 2.000000e+00 |    Inf 
1765.04/1765.03	c  1724s|750000 |  3990 |  4628k|   6.2 |  91M| 713 |   1 |3771 |  42k|3771 | 926 | 179k|1003k|5726 | 0.000000e+00 | 2.000000e+00 |    Inf 
1791.44/1791.48	c  1750s|760000 |  4035 |  4692k|   6.2 |  92M| 713 |  20 |3771 |  43k|3771 | 948 | 182k|1017k|5796 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1758.37
1800.05/1800.01	c Solving Nodes      : 763097
1800.05/1800.01	c Primal Bound       : +2.00000000000000e+00 (183 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.05	s SATISFIABLE
1800.05/1800.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.05/1800.05	v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.05	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 
1800.05/1800.05	v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.05/1800.05	v -x146 -x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 
1800.05/1800.05	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.05	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.05	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.05/1800.05	v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.05	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 
1800.05/1800.05	v -x1 
1800.05/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.05	c Solving Time       :    1758.37
1800.05/1800.05	c Original Problem   :
1800.05/1800.05	c   Problem name     : HOME/instance-2693415-1277902937.wbo
1800.05/1800.05	c   Variables        : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.05/1800.05	c   Constraints      : 4547 initial, 4547 maximal
1800.05/1800.05	c Presolved Problem  :
1800.05/1800.05	c   Problem name     : t_HOME/instance-2693415-1277902937.wbo
1800.05/1800.05	c   Variables        : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.05/1800.05	c   Constraints      : 4373 initial, 44382 maximal
1800.05/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.05	c   trivial          :       0.00         69          0          0          0          0          0          0          0
1800.05/1800.05	c   dualfix          :       0.00         69          0          0          0          0          0          0          0
1800.05/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.05/1800.05	c   indicator        :       0.00          0          0          0          0          0         69          0          0
1800.05/1800.05	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   linear           :       0.04          0          0          0       1861          0        105         91          0
1800.05/1800.05	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.05	c   root node        :          -       1754          -          -       3508          -          -          -          -
1800.05/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   integral         :          0          0          0     448395          0         64        620          0          0     812388
1800.05/1800.05	c   indicator        :       1770          0    3663420      41005          0        112    1191101          0          0          0
1800.05/1800.05	c   setppc           :          9          6    3743622      35607          0      11532    1045648          0          0          0
1800.05/1800.05	c   linear           :       1770          6    3741724      41631          0     217443   16271939     183541          0          0
1800.05/1800.05	c   logicor          :        824+         6    1403832      17408          0     130227    3430252          0          0          0
1800.05/1800.05	c   bounddisjunction :          0+         0      18456          0          0          0          0          0          0          0
1800.05/1800.05	c   countsols        :          0          0          0      17408          0          0          0          0          0          0
1800.05/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.05	c   integral         :      25.03       0.00       0.00      25.03       0.00
1800.05/1800.05	c   indicator        :       8.39       0.01       6.36       2.02       0.00
1800.05/1800.05	c   setppc           :       9.61       0.00       9.56       0.05       0.00
1800.05/1800.05	c   linear           :     143.61       0.00     141.69       1.92       0.00
1800.05/1800.05	c   logicor          :     315.50       0.00     315.23       0.27       0.00
1800.05/1800.05	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1800.05/1800.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.05	c   vbounds          :       1.03          2          0          0
1800.05/1800.05	c   rootredcost      :       0.84         51          0       1754
1800.05/1800.05	c   pseudoobj        :     131.12    3755220       1903     666711
1800.05/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.05	c   propagation      :      17.77     361105     360744    2137912       27.1      11859       24.1          -
1800.05/1800.05	c   infeasible LP    :      11.35      36153      36153     277931       47.5        433       18.7          0
1800.05/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.05	c   pseudo solution  :       0.03         87         87        464       16.1         74        5.6          -
1800.05/1800.05	c   applied globally :          -          -          -    1021736       23.3          -          -          -
1800.05/1800.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.05	c   cut pool         :       0.00          5          -          -         16          -    (maximal pool size: 269)
1800.05/1800.05	c   redcost          :      23.57     453272          0     489246          0          0
1800.05/1800.05	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.05	c   gomory           :       0.11          6          0          0       1243          0
1800.05/1800.05	c   strongcg         :       0.04          6          0          0         67          0
1800.05/1800.05	c   cmir             :       0.03          6          0          0          0          0
1800.05/1800.05	c   flowcover        :       0.08          6          0          0          0          0
1800.05/1800.05	c   clique           :       0.00          6          0          0          0          0
1800.05/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.05	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.05	c Pricers            :       Time      Calls       Vars
1800.05/1800.05	c   problem variables:       0.00          0          0
1800.05/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.05	c   relpscost        :      24.64     406748         64        620          0          0     812388
1800.05/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   inference        :       2.13      17358          0          0          0          0      34716
1800.05/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.05	c   LP solutions     :       0.04          -         50
1800.05/1800.05	c   pseudo solutions :       0.00          -          0
1800.05/1800.05	c   feaspump         :       0.01          1          0
1800.05/1800.05	c   oneopt           :       0.58         46          0
1800.05/1800.05	c   intshifting      :       0.00          8          0
1800.05/1800.05	c   veclendiving     :       0.16         89          0
1800.05/1800.05	c   coefdiving       :       0.19         90          0
1800.05/1800.05	c   pscostdiving     :       0.06         90          0
1800.05/1800.05	c   fracdiving       :       0.12         90          0
1800.05/1800.05	c   linesearchdiving :       0.13         90          0
1800.05/1800.05	c   guideddiving     :       0.10         90          0
1800.05/1800.05	c   crossover        :       1.35         47          0
1800.05/1800.05	c   objpscostdiving  :       0.14         77          0
1800.05/1800.05	c   rootsoldiving    :       0.15         77          0
1800.05/1800.05	c   trivial          :       0.01          2          0
1800.05/1800.05	c   simplerounding   :       0.89     407308          0
1800.05/1800.05	c   zirounding       :       0.39       1000          0
1800.05/1800.05	c   rounding         :       1.48       8915          0
1800.05/1800.05	c   shifting         :       0.89       2793          0
1800.05/1800.05	c   twoopt           :       0.00          0          0
1800.05/1800.05	c   fixandinfer      :       0.00          0          0
1800.05/1800.05	c   intdiving        :       0.00          0          0
1800.05/1800.05	c   actconsdiving    :       0.00          0          0
1800.05/1800.05	c   octane           :       0.00          0          0
1800.05/1800.05	c   rens             :       0.02          1          0
1800.05/1800.05	c   rins             :       0.00          0          0
1800.05/1800.05	c   localbranching   :       0.00          0          0
1800.05/1800.05	c   mutation         :       0.00          0          0
1800.05/1800.05	c   dins             :       0.00          0          0
1800.05/1800.05	c   undercover       :       0.00          0          0
1800.05/1800.05	c   nlp              :       0.21          0          0
1800.05/1800.05	c   trysol           :       2.02       5521        133
1800.05/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.05	c   dual LP          :     578.02     467697    4708527      10.07    8145.96
1800.05/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.05	c   diving/probing LP:       0.29        159       3160      19.87   10896.55
1800.05/1800.05	c   strong branching :      21.20       5796     203564      35.12    9602.08
1800.05/1800.05	c     (at root node) :          -         33      10207     309.30          -
1800.05/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.05	c B&B Tree           :
1800.05/1800.05	c   number of runs   :          1
1800.05/1800.05	c   nodes            :     763097
1800.05/1800.05	c   nodes (total)    :     763097
1800.05/1800.05	c   nodes left       :       4089
1800.05/1800.05	c   max depth        :        713
1800.05/1800.05	c   max depth (total):        713
1800.05/1800.05	c   backtracks       :      78325 (10.3%)
1800.05/1800.05	c   delayed cutoffs  :      61446
1800.05/1800.05	c   repropagations   :    1750406 (4041095 domain reductions, 57764 cutoffs)
1800.05/1800.05	c   avg switch length:       6.07
1800.05/1800.05	c   switching time   :     273.39
1800.05/1800.05	c Solution           :
1800.05/1800.05	c   Solutions found  :        183 (51 improvements)
1800.05/1800.05	c   First Solution   : +8.80640000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.05/1800.05	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 487742 nodes, 1083.83 seconds, depth 45, found by <relaxation>)
1800.05/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.05	c   Gap              :   infinite
1800.05/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.05	c   Root Iterations  :        832
1800.14/1800.18	c Time complete: 1800.22.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693415-1277902937/watcher-2693415-1277902937 -o /tmp/evaluation-result-2693415-1277902937/solver-2693415-1277902937 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693415-1277902937.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12247
/proc/meminfo: memFree=31327144/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=10968 CPUtime=0
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 131590416 11231232 1589 4089446400 4194304 9819077 140737276067936 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12247/statm: 2742 1589 392 1374 0 1363 0

[startup+0.0486321 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12247
/proc/meminfo: memFree=31327144/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=27836 CPUtime=0.03
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6289 0 0 0 3 0 0 0 25 0 1 0 131590416 28504064 5855 4089446400 4194304 9819077 140737276067936 18446744073709551615 4520357 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 6959 5855 441 1374 0 5580 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27836

[startup+0.100622 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12247
/proc/meminfo: memFree=31327144/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=31020 CPUtime=0.08
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7364 0 0 0 8 0 0 0 25 0 1 0 131590416 31764480 6416 4089446400 4194304 9819077 140737276067936 18446744073709551615 8719104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 7755 6417 498 1374 0 6376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31020

[startup+0.300587 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12247
/proc/meminfo: memFree=31327144/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=39488 CPUtime=0.29
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 11898 0 0 0 28 1 0 0 25 0 1 0 131590416 40435712 8305 4089446400 4194304 9819077 140737276067936 18446744073709551615 4575243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 9872 8305 682 1374 0 8493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39488

[startup+0.700516 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12247
/proc/meminfo: memFree=31327144/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=49032 CPUtime=0.68
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 19458 0 0 0 65 3 0 0 25 0 1 0 131590416 50208768 10921 4089446400 4194304 9819077 140737276067936 18446744073709551615 7289504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 12258 10921 706 1374 0 10879 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49032

[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12248
/proc/meminfo: memFree=31285348/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=49032 CPUtime=1.49
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 19547 0 0 0 145 4 0 0 25 0 1 0 131590416 50208768 10941 4089446400 4194304 9819077 140737276067936 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 12258 10941 706 1374 0 10879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49032

[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12248
/proc/meminfo: memFree=31284976/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=49072 CPUtime=3.09
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 24815 0 0 0 303 6 0 0 25 0 1 0 131590416 50249728 11004 4089446400 4194304 9819077 140737276067936 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 12268 11004 714 1374 0 10889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49072

[startup+6.30058 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12248
/proc/meminfo: memFree=31284660/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=49804 CPUtime=6.29
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 26257 0 0 0 621 8 0 0 25 0 1 0 131590416 50999296 11009 4089446400 4194304 9819077 140737276067936 18446744073709551615 7290132 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 12451 11009 714 1374 0 11072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49804

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12248
/proc/meminfo: memFree=31284920/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=49072 CPUtime=12.69
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 39221 0 0 0 1254 15 0 0 25 0 1 0 131590416 50249728 11053 4089446400 4194304 9819077 140737276067936 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 12268 11053 717 1374 0 10889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49072

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12249
/proc/meminfo: memFree=31265572/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=70812 CPUtime=25.49
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 76104 0 0 0 2513 36 0 0 25 0 1 0 131590416 72511488 16130 4089446400 4194304 9819077 140737276067936 18446744073709551615 5813734 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 17703 16130 718 1374 0 16324 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70812

[startup+51.1005 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12249
/proc/meminfo: memFree=31237572/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=99300 CPUtime=51.09
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 260967 0 0 0 5009 100 0 0 25 0 1 0 131590416 101683200 22959 4089446400 4194304 9819077 140737276067936 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 24825 22959 722 1374 0 23446 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99300

[startup+102.306 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 12251
/proc/meminfo: memFree=31217324/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=117892 CPUtime=102.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 610622 0 0 0 9975 255 0 0 25 0 1 0 131590416 120721408 27577 4089446400 4194304 9819077 140737276067936 18446744073709551615 6518784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 29473 27577 744 1374 0 28094 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 117892

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12280
/proc/meminfo: memFree=31198876/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=124920 CPUtime=162.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 925007 0 0 0 15817 413 0 0 25 0 1 0 131590416 127918080 29324 4089446400 4194304 9819077 140737276067936 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 31230 29324 744 1374 0 29851 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 124920

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12282
/proc/meminfo: memFree=31041964/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=129672 CPUtime=222.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 1237276 0 0 0 21655 575 0 0 25 0 1 0 131590416 132784128 30459 4089446400 4194304 9819077 140737276067936 18446744073709551615 6003169 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 32418 30459 744 1374 0 31039 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 129672

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12283
/proc/meminfo: memFree=30893728/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=135092 CPUtime=282.29
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 1526383 0 0 0 27505 724 0 0 25 0 1 0 131590416 138334208 31869 4089446400 4194304 9819077 140737276067936 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 33773 31869 744 1374 0 32394 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 135092

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12285
/proc/meminfo: memFree=30816892/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=137808 CPUtime=342.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 1806044 0 0 0 33356 874 0 0 25 0 1 0 131590416 141115392 32587 4089446400 4194304 9819077 140737276067936 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 34452 32587 742 1374 0 33073 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 137808

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12287
/proc/meminfo: memFree=30755084/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=141700 CPUtime=402.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 2102013 0 0 0 39209 1021 0 0 25 0 1 0 131590416 145100800 33422 4089446400 4194304 9819077 140737276067936 18446744073709551615 6628253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 35425 33422 742 1374 0 34046 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 141700

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 12288
/proc/meminfo: memFree=30708764/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=146460 CPUtime=462.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 2377089 0 0 0 45066 1164 0 0 25 0 1 0 131590416 149975040 34583 4089446400 4194304 9819077 140737276067936 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 36615 34583 742 1374 0 35236 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 146460

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12289
/proc/meminfo: memFree=30681696/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=148732 CPUtime=522.3
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 2653572 0 0 0 50921 1309 0 0 25 0 1 0 131590416 152301568 35122 4089446400 4194304 9819077 140737276067936 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 37183 35122 742 1374 0 35804 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 148732

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12291
/proc/meminfo: memFree=30559372/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=151460 CPUtime=582.31
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 2918004 0 0 0 56778 1453 0 0 25 0 1 0 131590416 155095040 35818 4089446400 4194304 9819077 140737276067936 18446744073709551615 6628668 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 37865 35818 742 1374 0 36486 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 151460

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12293
/proc/meminfo: memFree=30518016/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=154124 CPUtime=642.31
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 3170912 0 0 0 62643 1588 0 0 25 0 1 0 131590416 157822976 36494 4089446400 4194304 9819077 140737276067936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 38531 36494 742 1374 0 37152 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 154124

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12299
/proc/meminfo: memFree=30494556/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=164184 CPUtime=882.31
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 4176159 0 0 0 86100 2131 0 0 25 0 1 0 131590416 168124416 38914 4089446400 4194304 9819077 140737276067936 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 41046 38914 742 1374 0 39667 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 164184

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12301
/proc/meminfo: memFree=30483216/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=166328 CPUtime=942.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 4415537 0 0 0 91970 2262 0 0 25 0 1 0 131590416 170319872 39427 4089446400 4194304 9819077 140737276067936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 41582 39427 742 1374 0 40203 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 166328

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12303
/proc/meminfo: memFree=30476220/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=168456 CPUtime=1002.31
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 4610445 0 0 0 97848 2383 0 0 25 0 1 0 131590416 172498944 40034 4089446400 4194304 9819077 140737276067936 18446744073709551615 7316521 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 42169 40035 742 1374 0 40790 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 168456

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12304
/proc/meminfo: memFree=30469472/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=169912 CPUtime=1062.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 4850517 0 0 0 103718 2514 0 0 25 0 1 0 131590416 173989888 40345 4089446400 4194304 9819077 140737276067936 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 42478 40345 742 1374 0 41099 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 169912

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12306
/proc/meminfo: memFree=30466088/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=170816 CPUtime=1122.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 5123693 0 0 0 109577 2655 0 0 25 0 1 0 131590416 174915584 40584 4089446400 4194304 9819077 140737276067936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 42704 40584 742 1374 0 41325 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 170816

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12307
/proc/meminfo: memFree=30462564/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=171128 CPUtime=1182.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 5387786 0 0 0 115433 2799 0 0 25 0 1 0 131590416 175235072 40691 4089446400 4194304 9819077 140737276067936 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 42782 40691 742 1374 0 41403 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 171128

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12309
/proc/meminfo: memFree=30460792/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=171500 CPUtime=1242.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 5651935 0 0 0 121290 2942 0 0 25 0 1 0 131590416 175616000 40769 4089446400 4194304 9819077 140737276067936 18446744073709551615 6090666 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 42875 40769 742 1374 0 41496 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 171500

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12311
/proc/meminfo: memFree=30453316/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=173976 CPUtime=1302.33
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 5911459 0 0 0 127148 3085 0 0 25 0 1 0 131590416 178151424 41370 4089446400 4194304 9819077 140737276067936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 43494 41370 742 1374 0 42115 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 173976

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12312
/proc/meminfo: memFree=30448196/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=174524 CPUtime=1362.32
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6128466 0 0 0 133017 3215 0 0 25 0 1 0 131590416 178712576 41620 4089446400 4194304 9819077 140737276067936 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 43631 41620 742 1374 0 42252 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 174524

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12314
/proc/meminfo: memFree=30442572/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=174632 CPUtime=1422.33
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6351204 0 0 0 138875 3358 0 0 25 0 1 0 131590416 178823168 41629 4089446400 4194304 9819077 140737276067936 18446744073709551615 6567625 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 43658 41629 742 1374 0 42279 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 174632

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12315
/proc/meminfo: memFree=30441040/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=175176 CPUtime=1482.33
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6551769 0 0 0 144742 3491 0 0 25 0 1 0 131590416 179380224 41775 4089446400 4194304 9819077 140737276067936 18446744073709551615 4983326 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 43794 41775 742 1374 0 42415 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 175176

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12317
/proc/meminfo: memFree=30437660/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=176420 CPUtime=1542.34
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6750709 0 0 0 150611 3623 0 0 25 0 1 0 131590416 180654080 42144 4089446400 4194304 9819077 140737276067936 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 44105 42144 742 1374 0 42726 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 176420

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12319
/proc/meminfo: memFree=30436376/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=177616 CPUtime=1602.33
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 6948089 0 0 0 156481 3752 0 0 25 0 1 0 131590416 181878784 42375 4089446400 4194304 9819077 140737276067936 18446744073709551615 6389099 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 44404 42375 742 1374 0 43025 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 177616

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12320
/proc/meminfo: memFree=30433860/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=180808 CPUtime=1662.33
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7141685 0 0 0 162360 3873 0 0 25 0 1 0 131590416 185147392 43053 4089446400 4194304 9819077 140737276067936 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 45202 43053 742 1374 0 43823 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 180808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12321
/proc/meminfo: memFree=30427980/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=185944 CPUtime=1722.34
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7334521 0 0 0 168242 3992 0 0 25 0 1 0 131590416 190406656 44259 4089446400 4194304 9819077 140737276067936 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12247/statm: 46486 44259 742 1374 0 45107 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 185944

[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 12326
/proc/meminfo: memFree=30422104/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=190492 CPUtime=1782.34
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7555432 0 0 0 174105 4129 0 0 25 0 1 0 131590416 195063808 45362 4089446400 4194304 9819077 140737276067936 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12247/statm: 47623 45362 742 1374 0 46244 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 190492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 12327
/proc/meminfo: memFree=30419564/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=192860 CPUtime=1800.05
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7620895 0 0 0 175839 4166 0 0 25 0 1 0 131590416 197488640 45969 4089446400 4194304 9819077 140737276067936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12247/statm: 48215 45969 742 1374 0 46836 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 192860

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.08 2.03 2.01 3/179 12327
/proc/meminfo: memFree=30419564/32950904 swapFree=67111528/67111528
[pid=12247] ppid=12245 vsize=193076 CPUtime=1800.14
/proc/12247/stat : 12247 (pbscip.linux.x8) R 12245 12247 11542 0 -1 4202496 7620974 0 0 0 175848 4166 0 0 25 0 1 0 131590416 197709824 46019 4089446400 4194304 9819077 140737276067936 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12247/statm: 48269 46019 743 1374 0 46890 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 193076

Child status: 0
Real time (s): 1800.19
CPU time (s): 1800.23
CPU user time (s): 1758.56
CPU system time (s): 41.6687
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 193076

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

runsolver used 2.94055 second user time and 5.98609 second system time

The end

Launcher Data 

Begin job on node121 at 2010-06-30 15:02:17
IDJOB=2693415
IDBENCH=78906
IDSOLVER=1205
FILE ID=node121/2693415-1277902937
PBS_JOBID= 11197191
Free space on /tmp= 74204 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.1900563801--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-2693415-1277902937/watcher-2693415-1277902937 -o /tmp/evaluation-result-2693415-1277902937/solver-2693415-1277902937 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693415-1277902937.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6f14288bb7c1e317bfd5e53473571ca7
RANDOM SEED=759383196

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      31327672 kB
Buffers:        186228 kB
Cached:        1107192 kB
SwapCached:          0 kB
Active:         697032 kB
Inactive:       782480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      31327672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6248 kB
Writeback:           0 kB
AnonPages:      185836 kB
Mapped:          17472 kB
Slab:            80448 kB
PageTables:       5076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   336564 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 node121 at 2010-06-30 15:32:19