Trace number 3447301

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
MD5SUMa22634c1977478f126d9df874c90c256
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark79.208
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3447301-1307900786.wbo>
0.00/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.04/0.05	o 135640
0.04/0.05	c feasible solution found by trivial heuristic, objective value  1.356400e+05
0.04/0.05	c presolving:
0.04/0.06	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.04/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   586 |     - |  18M|   0 |  40 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.70/0.74	c   0.7s|     1 |     0 |   775 |     - |  19M|   0 |  37 |5645 |8121 |5645 |2766 |  59 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |   824 |     - |  19M|   0 |  46 |5645 |8121 |5645 |2784 |  77 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.19/1.29	c   1.3s|     1 |     0 |   842 |     - |  19M|   0 |  46 |5645 |8121 |5645 |2791 |  84 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.59/1.62	c   1.6s|     1 |     0 |   880 |     - |  19M|   0 |  47 |5645 |8121 |5645 |2793 |  86 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.89/1.97	c   2.0s|     1 |     0 |   896 |     - |  19M|   0 |  49 |5645 |8121 |5645 |2797 |  90 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
2.89/2.95	c   3.0s|     1 |     2 |   896 |     - |  19M|   0 |  49 |5645 |8121 |5645 |2797 |  90 |   0 |  33 | 0.000000e+00 | 1.356400e+05 |    Inf 
12.69/12.77	o 1273
12.69/12.77	c *12.8s|   182 |   181 |  6114 |  28.8 |  23M| 113 |   - |5645 |8121 |5645 |2829 | 161 |   0 |1218 | 0.000000e+00 | 1.273000e+03 |    Inf 
16.88/16.94	o 778
16.88/16.94	c *16.9s|   476 |   447 | 16830 |  33.5 |  31M| 113 |   - |5645 |8121 |5645 |2842 | 677 |   0 |1491 | 0.000000e+00 | 7.780000e+02 |    Inf 
34.18/34.28	o 124
34.18/34.28	c *34.3s|  1715 |   610 |113885 |  65.9 |  32M| 113 |   - |5645 |8186 |5645 |2821 |2657 |  65 |1788 | 0.000000e+00 | 1.240000e+02 |    Inf 
34.89/34.95	o 119
34.89/34.95	c *34.9s|  1759 |   630 |116473 |  65.7 |  33M| 113 |   - |5645 |8209 |5645 |2767 |2692 |  88 |1793 | 0.000000e+00 | 1.190000e+02 |    Inf 
34.89/34.97	o 97
34.89/34.97	c *35.0s|  1760 |   593 |116489 |  65.7 |  33M| 113 |   - |5645 |8209 |5645 |2769 |2697 |  88 |1793 | 0.000000e+00 | 9.700000e+01 |    Inf 
35.99/36.00	o 95
35.99/36.00	c *36.0s|  1874 |   644 |120417 |  63.8 |  34M| 113 |   - |5645 |8017 |5645 |2768 |2715 | 125 |1795 | 0.000000e+00 | 9.500000e+01 |    Inf 
36.09/36.14	o 94
36.09/36.14	c *36.1s|  1882 |   641 |120835 |  63.8 |  34M| 113 |   - |5645 |7939 |5645 |2770 |2727 | 128 |1795 | 0.000000e+00 | 9.400000e+01 |    Inf 
36.89/36.96	o 91
36.89/36.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.89/36.96	c *37.0s|  1966 |   666 |123868 |  62.6 |  34M| 113 |   - |5645 |7940 |5645 |2758 |2732 | 173 |1798 | 0.000000e+00 | 9.100000e+01 |    Inf 
38.88/38.94	o 80
38.88/38.94	c *38.9s|  2202 |   701 |129581 |  58.5 |  35M| 113 |   - |5645 |7926 |5645 |2760 |2744 | 301 |1803 | 0.000000e+00 | 8.000000e+01 |    Inf 
39.08/39.12	o 78
39.08/39.12	c *39.1s|  2227 |   579 |130171 |  58.1 |  34M| 113 |   - |5645 |7331 |5645 |2758 |2744 | 308 |1803 | 0.000000e+00 | 7.800000e+01 |    Inf 
101.29/101.31	c   101s| 10000 |  1805 |245337 |  24.4 |  58M| 128 |   - |5645 |8113 |   0 |   0 |4362 |8151 |1893 | 0.000000e+00 | 7.800000e+01 |    Inf 
174.39/174.44	c   174s| 20000 |  2586 |341477 |  17.0 |  79M| 128 |   - |5645 |8747 |   0 |   0 |6156 |  17k|2021 | 0.000000e+00 | 7.800000e+01 |    Inf 
220.59/220.68	o 74
220.59/220.68	c * 221s| 26065 |  3007 |396276 |  15.2 |  92M| 128 |   - |5645 |8814 |5645 |2789 |7422 |  23k|2162 | 0.000000e+00 | 7.400000e+01 |    Inf 
221.19/221.27	o 69
221.19/221.27	c * 221s| 26136 |  3007 |396750 |  15.1 |  92M| 128 |   - |5645 |8502 |5645 |2787 |7422 |  23k|2162 | 0.000000e+00 | 6.900000e+01 |    Inf 
231.90/231.91	o 54
231.90/231.91	c * 232s| 27506 |  3056 |410025 |  14.9 |  93M| 128 |   - |5645 |7870 |5645 |2790 |7846 |  24k|2198 | 0.000000e+00 | 5.400000e+01 |    Inf 
239.19/239.21	o 36
239.19/239.21	c * 239s| 28581 |  2964 |420363 |  14.7 |  88M| 128 |   - |5645 |6931 |5645 |2790 |7962 |  25k|2219 | 0.000000e+00 | 3.600000e+01 |    Inf 
249.10/249.14	c   249s| 30000 |  2887 |439809 |  14.6 |  90M| 128 |   - |5645 |5828 |   0 |   0 |8042 |  27k|2285 | 0.000000e+00 | 3.600000e+01 |    Inf 
306.30/306.35	c   306s| 40000 |  2913 |540254 |  13.5 |  94M| 128 |   1 |5645 |7127 |5645 |2758 |8634 |  39k|2518 | 0.000000e+00 | 3.600000e+01 |    Inf 
314.61/314.62	o 32
314.61/314.62	c * 315s| 41208 |  2910 |554957 |  13.4 |  93M| 128 |   - |5645 |7201 |5645 |2787 |8686 |  40k|2560 | 0.000000e+00 | 3.200000e+01 |    Inf 
353.00/353.05	o 18
353.00/353.05	c * 353s| 47685 |  2690 |625911 |  13.1 |  84M| 128 |   - |5645 |7588 |5645 |2761 |8947 |  49k|2716 | 0.000000e+00 | 1.800000e+01 |    Inf 
354.40/354.42	o 15
354.40/354.42	c * 354s| 47835 |  2440 |630212 |  13.2 |  79M| 128 |   - |5645 |5796 |5645 |2787 |8947 |  49k|2717 | 0.000000e+00 | 1.500000e+01 |    Inf 
355.40/355.43	o 12
355.40/355.43	c * 355s| 47995 |  2251 |632829 |  13.2 |  72M| 128 |   - |5645 |5601 |5645 |2788 |8955 |  49k|2721 | 0.000000e+00 | 1.200000e+01 |    Inf 
366.50/366.58	o 11
366.50/366.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
366.50/366.58	c * 367s| 49482 |  1623 |671535 |  13.6 |  63M| 128 |   - |5645 |4548 |5645 |2759 |8962 |  51k|2808 | 0.000000e+00 | 1.100000e+01 |    Inf 
369.90/369.93	c   370s| 50000 |  1535 |682978 |  13.6 |  61M| 128 |  33 |5645 |4509 |5645 |2758 |8962 |  52k|2822 | 0.000000e+00 | 1.100000e+01 |    Inf 
370.00/370.01	o 8
370.00/370.01	c * 370s| 50015 |  1358 |683292 |  13.6 |  57M| 128 |   - |5645 |4515 |5645 |2758 |8962 |  52k|2822 | 0.000000e+00 | 8.000000e+00 |    Inf 
374.30/374.32	o 3
374.30/374.32	c * 374s| 50777 |   935 |697927 |  13.7 |  49M| 128 |   - |5645 |4468 |5645 |2762 |8967 |  53k|2875 | 0.000000e+00 | 3.000000e+00 |    Inf 
375.30/375.33	o 2
375.30/375.33	c * 375s| 50978 |   863 |701660 |  13.7 |  47M| 128 |   - |5645 |4151 |5645 |2787 |8967 |  53k|2889 | 0.000000e+00 | 2.000000e+00 |    Inf 
412.20/412.29	c   412s| 60000 |   740 |847473 |  14.1 |  49M| 128 |  26 |5645 |9301 |5645 |2758 |8967 |  65k|3128 | 0.000000e+00 | 2.000000e+00 |    Inf 
416.40/416.41	o 1
416.40/416.41	c * 416s| 60961 |   492 |863146 |  14.1 |  45M| 128 |   - |5645 |  10k|5645 |2787 |8968 |  66k|3167 | 0.000000e+00 | 1.000000e+00 |    Inf 
453.70/453.75	c   454s| 70000 |   408 |  1006k|  14.4 |  43M| 128 |   - |5645 |9932 |5645 |2758 |8968 |  78k|3427 | 0.000000e+00 | 1.000000e+00 |    Inf 
497.60/497.65	c   498s| 80000 |   388 |  1173k|  14.7 |  46M| 128 |   - |5645 |  16k|5645 |2787 |8968 |  91k|3704 | 0.000000e+00 | 1.000000e+00 |    Inf 
541.21/541.21	c   541s| 90000 |   368 |  1333k|  14.8 |  47M| 128 |   - |5645 |  17k|5645 |2787 |8968 | 104k|3931 | 0.000000e+00 | 1.000000e+00 |    Inf 
583.31/583.38	c   583s|100000 |   393 |  1487k|  14.9 |  50M| 128 |  29 |5645 |  23k|5645 |2787 |8968 | 118k|4128 | 0.000000e+00 | 1.000000e+00 |    Inf 
628.41/628.42	c   628s|110000 |   376 |  1651k|  15.0 |  50M| 128 |   - |5645 |  23k|5645 |2787 |8968 | 131k|4395 | 0.000000e+00 | 1.000000e+00 |    Inf 
675.21/675.25	c   675s|120000 |   394 |  1818k|  15.1 |  53M| 128 |  44 |5645 |  28k|5645 |2787 |8968 | 145k|4579 | 0.000000e+00 | 1.000000e+00 |    Inf 
721.41/721.43	c   721s|130000 |   425 |  1976k|  15.2 |  56M| 128 |   - |5645 |  33k|5645 |2787 |8968 | 160k|4784 | 0.000000e+00 | 1.000000e+00 |    Inf 
767.72/767.77	c   768s|140000 |   362 |  2141k|  15.3 |  52M| 128 |  33 |5645 |  26k|5645 |2758 |8968 | 174k|4985 | 0.000000e+00 | 1.000000e+00 |    Inf 
813.12/813.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
813.12/813.10	c   813s|150000 |   343 |  2309k|  15.4 |  49M| 128 |   - |5645 |  18k|5645 |2787 |8968 | 187k|5181 | 0.000000e+00 | 1.000000e+00 |    Inf 
855.61/855.62	c   856s|160000 |   343 |  2459k|  15.4 |  52M| 128 |   - |5645 |  24k|   0 |   0 |8968 | 201k|5359 | 0.000000e+00 | 1.000000e+00 |    Inf 
900.82/900.87	c   901s|170000 |   361 |  2610k|  15.3 |  54M| 128 |  18 |5645 |  27k|5645 |2787 |8968 | 215k|5521 | 0.000000e+00 | 1.000000e+00 |    Inf 
947.62/947.69	c   948s|180000 |   303 |  2777k|  15.4 |  48M| 128 |   - |5645 |  16k|5645 |2787 |8968 | 229k|5724 | 0.000000e+00 | 1.000000e+00 |    Inf 
989.82/989.83	c   990s|190000 |   325 |  2930k|  15.4 |  50M| 128 |  32 |5645 |  20k|5645 |2787 |8968 | 242k|5860 | 0.000000e+00 | 1.000000e+00 |    Inf 
1035.42/1035.42	c  1035s|200000 |   414 |  3093k|  15.5 |  54M| 128 |   - |5645 |  28k|5645 |2787 |8968 | 255k|5989 | 0.000000e+00 | 1.000000e+00 |    Inf 
1080.62/1080.62	c  1081s|210000 |   292 |  3251k|  15.5 |  50M| 128 |   - |5645 |  20k|   0 |   0 |8968 | 269k|6149 | 0.000000e+00 | 1.000000e+00 |    Inf 
1125.02/1125.09	c  1125s|220000 |   248 |  3417k|  15.5 |  49M| 128 |   - |5645 |  18k|   0 |   0 |8968 | 282k|6296 | 0.000000e+00 | 1.000000e+00 |    Inf 
1167.93/1167.99	c  1168s|230000 |   271 |  3570k|  15.5 |  52M| 128 |  37 |5645 |  25k|5645 |2787 |8968 | 295k|6452 | 0.000000e+00 | 1.000000e+00 |    Inf 
1211.82/1211.88	c  1212s|240000 |   255 |  3720k|  15.5 |  53M| 128 |  34 |5645 |  28k|5645 |2787 |8968 | 308k|6578 | 0.000000e+00 | 1.000000e+00 |    Inf 
1256.33/1256.34	c  1256s|250000 |   239 |  3872k|  15.5 |  53M| 128 |   - |5645 |  27k|5645 |2787 |8968 | 322k|6713 | 0.000000e+00 | 1.000000e+00 |    Inf 
1302.83/1302.81	c  1303s|260000 |   301 |  4037k|  15.5 |  55M| 128 |   - |5645 |  30k|   0 |   0 |8968 | 336k|6853 | 0.000000e+00 | 1.000000e+00 |    Inf 
1348.54/1348.58	c  1349s|270000 |   242 |  4197k|  15.5 |  54M| 128 |   - |5645 |  31k|5645 |2787 |8968 | 350k|6984 | 0.000000e+00 | 1.000000e+00 |    Inf 
1397.43/1397.44	c  1397s|280000 |   253 |  4371k|  15.6 |  53M| 128 |  37 |5645 |  27k|5645 |2787 |8968 | 363k|7131 | 0.000000e+00 | 1.000000e+00 |    Inf 
1444.94/1444.93	c  1445s|290000 |   290 |  4528k|  15.6 |  55M| 128 |   - |5645 |  32k|5645 |2787 |8968 | 376k|7235 | 0.000000e+00 | 1.000000e+00 |    Inf 
1491.24/1491.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1491.24/1491.29	c  1491s|300000 |   253 |  4681k|  15.6 |  55M| 128 |  36 |5645 |  32k|5645 |2787 |8968 | 390k|7344 | 0.000000e+00 | 1.000000e+00 |    Inf 
1539.33/1539.36	c  1539s|310000 |   221 |  4842k|  15.6 |  53M| 128 |   - |5645 |  29k|   0 |   0 |8968 | 404k|7495 | 0.000000e+00 | 1.000000e+00 |    Inf 
1587.34/1587.36	c  1587s|320000 |   228 |  5006k|  15.6 |  56M| 128 |   - |5645 |  35k|   0 |   0 |8968 | 417k|7614 | 0.000000e+00 | 1.000000e+00 |    Inf 
1636.04/1636.08	c  1636s|330000 |   227 |  5165k|  15.7 |  58M| 128 |   - |5645 |  39k|5645 |2787 |8968 | 431k|7726 | 0.000000e+00 | 1.000000e+00 |    Inf 
1684.74/1684.72	c  1685s|340000 |   251 |  5318k|  15.6 |  59M| 128 |   - |5645 |  41k|5645 |2787 |8968 | 445k|7846 | 0.000000e+00 | 1.000000e+00 |    Inf 
1736.14/1736.17	c  1736s|350000 |   213 |  5483k|  15.7 |  54M| 128 |  26 |5645 |  28k|5645 |2787 |8968 | 459k|7978 | 0.000000e+00 | 1.000000e+00 |    Inf 
1783.05/1783.01	c  1783s|360000 |   215 |  5649k|  15.7 |  54M| 128 |   - |5645 |  28k|   0 |   0 |8968 | 472k|8083 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 363506
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (564 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 
1800.04/1800.00	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.00	v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.00	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 
1800.04/1800.00	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.04/1800.00	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.04/1800.00	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.04/1800.00	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.04/1800.00	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.04/1800.00	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.04/1800.00	v -x1 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Total Time         :    1800.00
1800.04/1800.00	c   solving          :    1800.00
1800.04/1800.00	c   presolving       :       0.09 (included in solving)
1800.04/1800.00	c   reading          :       0.02 (included in solving)
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-3447301-1307900786.wbo
1800.04/1800.00	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 2708 initial, 2708 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-3447301-1307900786.wbo
1800.04/1800.00	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 5414 initial, 43197 maximal
1800.05/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.05/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   linear           :       0.02          0          0          0       2707          0          1          0          0          0
1800.05/1800.00	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.00	c   root node        :          -       5414          -          -       5414          -          -          -          -          -
1800.05/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.00	c   integral         :          0          0          0     199254          0       3817          0        252       1543          0          0     378104
1800.05/1800.00	c   varbound         :          0+         6     480819       8898          0          0      48442         16    4542356       8957          0          0
1800.05/1800.00	c   linear           :       2707          6    2148330         14          2       3813    6322107      69414    8871322          0          0          0
1800.05/1800.00	c   indicator        :       2707          0     473082       8898          0       3771      57394          0      57377          0          0          0
1800.05/1800.00	c   logicor          :          0+         0     619484          0          0          0    1502662       9802     451392          0          0          0
1800.05/1800.00	c   bounddisjunction :          0+         0     134985          0          0          0       1269         82       2384          0          0          0
1800.05/1800.00	c   countsols        :          0          0          0         23          2        543          0          0          0          0          0          0
1800.05/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.05/1800.00	c   integral         :      55.44       0.00       0.00      55.38       0.00       0.06       0.00
1800.05/1800.00	c   varbound         :      13.33       0.00      12.79       0.51       0.00       0.00       0.02
1800.05/1800.00	c   linear           :     113.03       0.00     107.11       0.00       0.00       1.26       4.66
1800.05/1800.00	c   indicator        :      23.31       0.00      15.72       2.23       0.00       5.34       0.02
1800.05/1800.00	c   logicor          :     111.92       0.00     109.52       0.00       0.00       0.00       2.40

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447301-1307900786/watcher-3447301-1307900786 -o /tmp/evaluation-result-3447301-1307900786/solver-3447301-1307900786 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447301-1307900786.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 2/177 18602
/proc/meminfo: memFree=2397348/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=10296 CPUtime=0 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 1569 0 0 0 0 0 0 0 18 0 1 0 980309263 10543104 1523 33554432000 4194304 9128323 140735821318784 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18602/statm: 2574 1523 399 1205 0 1365 0

[startup+0.0533589 s]
/proc/loadavg: 2.04 2.01 2.00 2/177 18602
/proc/meminfo: memFree=2397348/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=34136 CPUtime=0.04 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 7219 0 0 0 4 0 0 0 18 0 1 0 980309263 34955264 7171 33554432000 4194304 9128323 140735821318784 18446744073709551615 8012615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 8570 7194 480 1205 0 7361 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34136

[startup+0.100351 s]
/proc/loadavg: 2.04 2.01 2.00 2/177 18602
/proc/meminfo: memFree=2397348/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=35728 CPUtime=0.09 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 7949 0 0 0 9 0 0 0 18 0 1 0 980309263 36585472 7644 33554432000 4194304 9128323 140735821318784 18446744073709551615 5089311 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 8932 7644 531 1205 0 7723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35728

[startup+0.300318 s]
/proc/loadavg: 2.04 2.01 2.00 2/177 18602
/proc/meminfo: memFree=2397348/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=71660 CPUtime=0.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 17248 0 0 0 28 1 0 0 18 0 1 0 980309263 73379840 16844 33554432000 4194304 9128323 140735821318784 18446744073709551615 8011977 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 17915 16844 699 1205 0 16706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71660

[startup+0.701236 s]
/proc/loadavg: 2.04 2.01 2.00 2/177 18602
/proc/meminfo: memFree=2397348/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=53572 CPUtime=0.7 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 21458 0 0 0 67 3 0 0 18 0 1 0 980309263 54857728 12334 33554432000 4194304 9128323 140735821318784 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 13393 12334 717 1205 0 12184 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 53572

[startup+1.50109 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 18603
/proc/meminfo: memFree=2347644/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=58928 CPUtime=1.49 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 22794 0 0 0 146 3 0 0 20 0 1 0 980309263 60342272 13645 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 14732 13645 739 1205 0 13523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58928

[startup+3.10078 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 18603
/proc/meminfo: memFree=2344048/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=62856 CPUtime=3.09 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 29751 0 0 0 305 4 0 0 25 0 1 0 980309263 64364544 14366 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 15714 14366 734 1205 0 14505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62856

[startup+6.30114 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 18603
/proc/meminfo: memFree=2341660/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=62856 CPUtime=6.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 29853 0 0 0 622 7 0 0 25 0 1 0 980309263 64364544 14468 33554432000 4194304 9128323 140735821318784 18446744073709551615 7191228 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18602/statm: 15714 14468 734 1205 0 14505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62856

[startup+12.701 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 18603
/proc/meminfo: memFree=2340356/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=65680 CPUtime=12.69 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 30414 0 0 0 1257 12 0 0 25 0 1 0 980309263 67256320 15023 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18602/statm: 16420 15023 729 1205 0 15211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65680

[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18604
/proc/meminfo: memFree=2327680/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=77512 CPUtime=25.49 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 43544 0 0 0 2527 22 0 0 25 0 1 0 980309263 79372288 17995 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18602/statm: 19378 17995 741 1205 0 18169 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77512

[startup+51.1009 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 18604
/proc/meminfo: memFree=2309216/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=95544 CPUtime=51.09 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 59288 0 0 0 5072 37 0 0 25 0 1 0 980309263 97837056 22495 33554432000 4194304 9128323 140735821318784 18446744073709551615 5984017 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 23886 22495 741 1205 0 22677 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95544

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18606
/proc/meminfo: memFree=2262900/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=141952 CPUtime=102.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 77943 0 0 0 10176 53 0 0 25 0 1 0 980309263 145358848 33977 33554432000 4194304 9128323 140735821318784 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 35488 33977 741 1205 0 34279 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 141952

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18607
/proc/meminfo: memFree=2214996/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=190520 CPUtime=162.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 96055 0 0 0 16160 69 0 0 25 0 1 0 980309263 195092480 45928 33554432000 4194304 9128323 140735821318784 18446744073709551615 4806776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 47630 45928 741 1205 0 46421 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 190520

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18609
/proc/meminfo: memFree=2171664/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=234180 CPUtime=222.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 106609 0 0 0 22146 83 0 0 25 0 1 0 980309263 239800320 56412 33554432000 4194304 9128323 140735821318784 18446744073709551615 6416602 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 58545 56412 741 1205 0 57336 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 234180

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 18611
/proc/meminfo: memFree=2147184/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=253608 CPUtime=282.29 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 149799 0 0 0 28123 106 0 0 25 0 1 0 980309263 259694592 61195 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 63402 61195 742 1205 0 62193 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 253608

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 18612
/proc/meminfo: memFree=2135600/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=262828 CPUtime=342.3 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 172158 0 0 0 34104 126 0 0 25 0 1 0 980309263 269135872 63540 33554432000 4194304 9128323 140735821318784 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 65707 63540 751 1205 0 64498 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 262828

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18614
/proc/meminfo: memFree=2128616/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=265872 CPUtime=402.3 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 243948 0 0 0 40066 164 0 0 25 0 1 0 980309263 272252928 64318 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 66468 64318 752 1205 0 65259 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 265872

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18615
/proc/meminfo: memFree=2126204/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=267300 CPUtime=462.3 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 271232 0 0 0 46031 199 0 0 25 0 1 0 980309263 273715200 64642 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 66825 64642 752 1205 0 65616 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 267300

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18617
/proc/meminfo: memFree=2123308/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=270092 CPUtime=522.3 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 277587 0 0 0 51998 232 0 0 25 0 1 0 980309263 276574208 65343 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 67523 65343 752 1205 0 66314 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 270092

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 18619
/proc/meminfo: memFree=2120276/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=272744 CPUtime=582.31 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 282834 0 0 0 57968 263 0 0 25 0 1 0 980309263 279289856 66017 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 68186 66017 752 1205 0 66977 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 272744

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18625
/proc/meminfo: memFree=2112992/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=278488 CPUtime=822.31 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 290076 0 0 0 81843 388 0 0 25 0 1 0 980309263 285171712 67467 33554432000 4194304 9128323 140735821318784 18446744073709551615 6416620 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69622 67467 752 1205 0 68413 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 278488

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18636
/proc/meminfo: memFree=2111316/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=278540 CPUtime=882.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 295789 0 0 0 87818 414 0 0 25 0 1 0 980309263 285224960 67480 33554432000 4194304 9128323 140735821318784 18446744073709551615 5334893 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69635 67480 752 1205 0 68426 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 278540

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18637
/proc/meminfo: memFree=2110980/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=278672 CPUtime=942.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 295829 0 0 0 93789 443 0 0 25 0 1 0 980309263 285360128 67520 33554432000 4194304 9128323 140735821318784 18446744073709551615 4214375 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69668 67520 752 1205 0 68459 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 278672

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18639
/proc/meminfo: memFree=2110680/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=278856 CPUtime=1002.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 295862 0 0 0 99758 474 0 0 25 0 1 0 980309263 285548544 67553 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69714 67553 752 1205 0 68505 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 278856

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18640
/proc/meminfo: memFree=2110376/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=279012 CPUtime=1062.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 295915 0 0 0 105731 501 0 0 25 0 1 0 980309263 285708288 67606 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69753 67606 752 1205 0 68544 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 279012

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18642
/proc/meminfo: memFree=2109212/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=279476 CPUtime=1122.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 296043 0 0 0 111702 530 0 0 25 0 1 0 980309263 286183424 67734 33554432000 4194304 9128323 140735821318784 18446744073709551615 6712587 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69869 67734 752 1205 0 68660 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 279476

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 18682
/proc/meminfo: memFree=2158324/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=279636 CPUtime=1182.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 296059 0 0 0 117673 559 0 0 25 0 1 0 980309263 286347264 67750 33554432000 4194304 9128323 140735821318784 18446744073709551615 4246435 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69909 67750 752 1205 0 68700 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 279636

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 18683
/proc/meminfo: memFree=2133580/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=279784 CPUtime=1242.32 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 296090 0 0 0 123646 586 0 0 25 0 1 0 980309263 286498816 67781 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 69946 67781 752 1205 0 68737 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 279784

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 18685
/proc/meminfo: memFree=2105360/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=280080 CPUtime=1302.33 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 296181 0 0 0 129617 616 0 0 25 0 1 0 980309263 286801920 67872 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70020 67872 752 1205 0 68811 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 280080

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18686
/proc/meminfo: memFree=2079520/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=281328 CPUtime=1362.33 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302197 0 0 0 135584 649 0 0 25 0 1 0 980309263 288079872 68178 33554432000 4194304 9128323 140735821318784 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70332 68178 752 1205 0 69123 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 281328

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 18688
/proc/meminfo: memFree=2052792/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=281328 CPUtime=1422.34 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302236 0 0 0 141556 678 0 0 25 0 1 0 980309263 288079872 68217 33554432000 4194304 9128323 140735821318784 18446744073709551615 4892804 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70332 68217 752 1205 0 69123 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 281328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18690
/proc/meminfo: memFree=2023708/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=281756 CPUtime=1482.33 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302288 0 0 0 147529 704 0 0 25 0 1 0 980309263 288518144 68269 33554432000 4194304 9128323 140735821318784 18446744073709551615 6523936 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70439 68269 752 1205 0 69230 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 281756

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18691
/proc/meminfo: memFree=1998828/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=282420 CPUtime=1542.33 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302488 0 0 0 153501 732 0 0 25 0 1 0 980309263 289198080 68469 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70605 68469 752 1205 0 69396 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 282420

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18693
/proc/meminfo: memFree=1979688/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=282420 CPUtime=1602.34 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302507 0 0 0 159477 757 0 0 25 0 1 0 980309263 289198080 68488 33554432000 4194304 9128323 140735821318784 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 70605 68488 752 1205 0 69396 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 282420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18694
/proc/meminfo: memFree=1951588/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=284108 CPUtime=1662.34 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302904 0 0 0 165450 784 0 0 25 0 1 0 980309263 290926592 68885 33554432000 4194304 9128323 140735821318784 18446744073709551615 4241127 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 71027 68885 752 1205 0 69818 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 284108

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 18696
/proc/meminfo: memFree=1925228/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=284316 CPUtime=1722.35 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302948 0 0 0 171423 812 0 0 25 0 1 0 980309263 291139584 68929 33554432000 4194304 9128323 140735821318784 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 71079 68929 752 1205 0 69870 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 284316

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18698
/proc/meminfo: memFree=1895140/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=284456 CPUtime=1782.35 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302998 0 0 0 177396 839 0 0 25 0 1 0 980309263 291282944 68979 33554432000 4194304 9128323 140735821318784 18446744073709551615 5984416 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18602/statm: 71114 68979 752 1205 0 69905 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 284456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 18698
/proc/meminfo: memFree=1886692/32950928 swapFree=67051116/67111528
[pid=18602] ppid=18600 vsize=284456 CPUtime=1800.05 cores=0,2,4,6
/proc/18602/stat : 18602 (scip-2.0.1.4.li) R 18600 18602 18084 0 -1 4202496 302998 0 0 0 179160 845 0 0 25 0 1 0 980309263 291282944 68979 33554432000 4194304 9128323 140735821318784 18446744073709551615 8120023 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18602/statm: 71114 68979 752 1205 0 69905 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 284456

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1791.6
CPU system time (s): 8.46871
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 301512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 8.46871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302999
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= 6
involuntary context switches= 2295

runsolver used 3.09353 second user time and 5.73513 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-12 19:46:26
IDJOB=3447301
IDBENCH=79275
IDSOLVER=1944
FILE ID=node113/3447301-1307900786
RUNJOBID= node113-1307897181-18312
PBS_JOBID= 13559602
Free space on /tmp= 1856 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447301-1307900786/watcher-3447301-1307900786 -o /tmp/evaluation-result-3447301-1307900786/solver-3447301-1307900786 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447301-1307900786.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a22634c1977478f126d9df874c90c256
RANDOM SEED=916421880

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       2397652 kB
Buffers:         71104 kB
Cached:       29436576 kB
SwapCached:      14112 kB
Active:       14627040 kB
Inactive:     14999348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       2397652 kB
SwapTotal:    67111528 kB
SwapFree:     67051116 kB
Dirty:           12136 kB
Writeback:           0 kB
AnonPages:      116080 kB
Mapped:          12244 kB
Slab:           863584 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   310144 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= 1844 MiB
End job on node113 at 2011-06-12 20:16:28