Trace number 3447953

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.4OPTIMUM 1379.02 1378.99

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh210_wcsp.wbo
MD5SUM208e691d0f47cfa792c689161068f479
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.008998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
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-3447953-1307902529.wbo>
0.00/0.01	c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 901 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 100 del vars, 101 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.03	c (round 2) 100 del vars, 101 del conss, 0 add conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.02/0.05	c    (0.1s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.05	c presolving (3 rounds):
0.02/0.05	c  100 deleted vars, 101 deleted constraints, 0 added constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05	c  1000 implications, 0 cliques
0.02/0.05	c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.02/0.05	c     800 constraints of type <linear>
0.02/0.05	c     800 constraints of type <indicator>
0.02/0.05	c transformed objective value is always integral (scale: 1)
0.02/0.05	c Presolving Time: 0.04
0.02/0.05	c - non default parameters ----------------------------------------------------------------------
0.02/0.05	c # SCIP version 2.0.1.4
0.02/0.05	c 
0.02/0.05	c # frequency for displaying node information lines
0.02/0.05	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05	c display/freq = 10000
0.02/0.05	c 
0.02/0.05	c # maximal time in seconds to run
0.02/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05	c limits/time = 1800
0.02/0.05	c 
0.02/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05	c limits/memory = 13950
0.02/0.05	c 
0.02/0.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05	c # [type: int, range: [1,2], default: 1]
0.02/0.05	c timing/clocktype = 2
0.02/0.05	c 
0.02/0.05	c # belongs reading time to solving time?
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c timing/reading = TRUE
0.02/0.05	c 
0.02/0.05	c # should presolving try to simplify inequalities
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/linear/simplifyinequalities = TRUE
0.02/0.05	c 
0.02/0.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/indicator/addCouplingCons = TRUE
0.02/0.05	c 
0.02/0.05	c # should presolving try to simplify knapsacks
0.02/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05	c 
0.02/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05	c separating/rapidlearning/freq = 0
0.02/0.05	c 
0.02/0.05	c -----------------------------------------------------------------------------------------------
0.02/0.05	c start solving
0.02/0.05	c 
0.02/0.05	o 394238
0.02/0.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.02/0.05	c t 0.1s|     1 |     0 |     0 |     - |4704k|   0 |   - |1700 |1600 |   0 |   0 |   0 |   0 |   0 |      --      | 3.942380e+05 |    Inf 
0.02/0.06	c   0.1s|     1 |     0 |   144 |     - |5772k|   0 |  70 |1700 |2400 |1700 | 800 |   0 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |   403 |     - |8445k|   0 |  86 |1700 |2400 |1700 | 831 |  31 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   700 |     - |8949k|   0 |  68 |1700 |2400 |1700 | 848 |  48 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.39/0.45	c   0.5s|     1 |     0 |   819 |     - |9371k|   0 |  81 |1700 |2400 |1700 | 883 |  83 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.49/0.58	c   0.6s|     1 |     0 |   869 |     - |9932k|   0 |  85 |1700 |2400 |1700 | 892 |  92 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.69/0.75	c   0.8s|     1 |     0 |  1334 |     - |  10M|   0 |  58 |1700 |2400 |1700 | 899 |  99 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.79/0.85	c   0.9s|     1 |     0 |  1447 |     - |  10M|   0 |  68 |1700 |2400 |1700 | 944 | 144 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
0.89/1.00	c   1.0s|     1 |     0 |  1957 |     - |  10M|   0 |  68 |1700 |2400 |1700 | 954 | 154 |   0 |   0 | 0.000000e+00 | 3.942380e+05 |    Inf 
1.89/1.90	c   1.9s|     1 |     2 |  1957 |     - |  10M|   0 |  68 |1700 |2400 |1700 | 954 | 154 |   0 |  30 | 0.000000e+00 | 3.942380e+05 |    Inf 
7.89/7.90	o 5954
7.89/7.90	c * 7.9s|   355 |   328 | 15135 |  37.2 |  13M|  47 |   - |1700 |2400 |1700 | 995 | 847 |   0 |1259 | 0.000000e+00 | 5.954000e+03 |    Inf 
63.19/63.26	c  63.3s| 10000 |  9933 |409895 |  40.8 |  24M|  48 |  21 |1700 |2409 |1700 | 923 |  31k|   9 |2640 | 0.000000e+00 | 5.954000e+03 |    Inf 
129.69/129.71	o 3448
129.69/129.71	c * 130s| 19429 | 18351 |860896 |  44.2 |  33M|  49 |   - |1700 |2430 |1700 | 999 |  71k|  30 |4706 | 0.000000e+00 | 3.448000e+03 |    Inf 
133.39/133.43	c   133s| 20000 | 18888 |886814 |  44.2 |  34M|  49 |   4 |1700 |2447 |1700 | 940 |  73k|  47 |4780 | 0.000000e+00 | 3.448000e+03 |    Inf 
200.59/200.67	c   201s| 30000 | 27564 |  1347k|  44.8 |  44M|  53 |   4 |1700 |2915 |1700 | 946 | 113k| 532 |6329 | 0.000000e+00 | 3.448000e+03 |    Inf 
266.20/266.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
266.20/266.23	c   266s| 40000 | 35777 |  1788k|  44.7 |  53M|  53 |   4 |1700 |3104 |1700 | 927 | 152k|1128 |7692 | 0.000000e+00 | 3.448000e+03 |    Inf 
330.80/330.87	c   331s| 50000 | 43787 |  2216k|  44.3 |  62M|  53 |  33 |1700 |2988 |1700 | 923 | 192k|1782 |8971 | 0.000000e+00 | 3.448000e+03 |    Inf 
331.10/331.17	o 2736
331.10/331.17	c * 331s| 50042 | 42444 |  2218k|  44.3 |  60M|  53 |   - |1700 |2988 |1700 | 996 | 192k|1782 |8982 | 0.000000e+00 | 2.736000e+03 |    Inf 
394.91/394.97	c   395s| 60000 | 48762 |  2637k|  43.9 |  68M|  53 |   7 |1700 |2714 |1700 | 930 | 230k|3232 |  10k| 0.000000e+00 | 2.736000e+03 |    Inf 
457.80/457.86	c   458s| 70000 | 55271 |  3060k|  43.7 |  76M|  53 |   3 |1700 |2642 |1700 | 931 | 267k|4590 |  11k| 0.000000e+00 | 2.736000e+03 |    Inf 
522.50/522.52	c   523s| 80000 | 61638 |  3477k|  43.4 |  84M|  53 |   - |1700 |2634 |   0 |   0 | 308k|5935 |  11k| 0.000000e+00 | 2.736000e+03 |    Inf 
549.81/549.82	o 2139
549.81/549.82	c * 550s| 84547 | 60865 |  3659k|  43.3 |  83M|  53 |   - |1700 |2576 |1700 | 974 | 324k|6467 |  12k| 0.000000e+00 | 2.139000e+03 |    Inf 
551.71/551.76	o 1962
551.71/551.76	c v 552s| 84823 | 59124 |  3669k|  43.2 |  81M|  53 |   - |1700 |2619 |1700 | 972 | 325k|6552 |  12k| 0.000000e+00 | 1.962000e+03 |    Inf 
583.21/583.24	c   583s| 90000 | 61410 |  3873k|  43.0 |  85M|  53 |   4 |1700 |2786 |1700 | 923 | 343k|7887 |  12k| 0.000000e+00 | 1.962000e+03 |    Inf 
644.80/644.89	c   645s|100000 | 65875 |  4270k|  42.7 |  92M|  53 |   - |1700 |2730 |1700 | 950 | 378k|  10k|  13k| 0.000000e+00 | 1.962000e+03 |    Inf 
654.70/654.78	o 1752
654.70/654.78	c * 655s|101619 | 63516 |  4335k|  42.6 |  89M|  53 |   - |1700 |2754 |1700 | 978 | 383k|  10k|  13k| 0.000000e+00 | 1.752000e+03 |    Inf 
706.40/706.48	c   706s|110000 | 66422 |  4665k|  42.4 |  94M|  53 |   6 |1700 |2775 |1700 | 940 | 412k|  13k|  14k| 0.000000e+00 | 1.752000e+03 |    Inf 
764.61/764.67	c   765s|120000 | 70332 |  5044k|  42.0 | 100M|  53 |   - |1700 |2844 |1700 | 930 | 444k|  16k|  14k| 0.000000e+00 | 1.752000e+03 |    Inf 
801.01/801.04	o 1729
801.01/801.04	c * 801s|126265 | 72548 |  5287k|  41.9 | 104M|  53 |   - |1700 |2884 |1700 | 958 | 463k|  17k|  15k| 0.000000e+00 | 1.729000e+03 |    Inf 
823.01/823.02	c   823s|130000 | 73850 |  5422k|  41.7 | 107M|  53 |   4 |1700 |2780 |1700 | 940 | 475k|  18k|  15k| 0.000000e+00 | 1.729000e+03 |    Inf 
845.51/845.55	o 1721
845.51/845.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
845.51/845.55	c * 846s|133949 | 75352 |  5571k|  41.6 | 109M|  53 |   - |1700 |2883 |1700 | 964 | 487k|  20k|  15k| 0.000000e+00 | 1.721000e+03 |    Inf 
846.51/846.50	o 1694
846.51/846.50	c c 846s|134128 | 74885 |  5577k|  41.6 | 109M|  53 |   - |1700 |2909 |1700 | 944 | 488k|  20k|  15k| 0.000000e+00 | 1.694000e+03 |    Inf 
846.51/846.55	o 1614
846.51/846.55	c * 847s|134132 | 73039 |  5578k|  41.6 | 107M|  53 |   - |1700 |2906 |1700 | 951 | 488k|  20k|  15k| 0.000000e+00 | 1.614000e+03 |    Inf 
881.12/881.19	c   881s|140000 | 74910 |  5802k|  41.4 | 111M|  53 |  10 |1700 |2839 |1700 | 929 | 506k|  22k|  15k| 0.000000e+00 | 1.614000e+03 |    Inf 
943.31/943.36	c   943s|150000 | 77903 |  6190k|  41.3 | 117M|  53 |   8 |1700 |2945 |1700 | 923 | 540k|  25k|  16k| 0.000000e+00 | 1.614000e+03 |    Inf 
1004.32/1004.32	c  1004s|160000 | 81027 |  6583k|  41.1 | 124M|  54 |   - |1700 |2899 |   0 |   0 | 573k|  28k|  17k| 0.000000e+00 | 1.614000e+03 |    Inf 
1006.91/1006.93	o 1317
1006.91/1006.93	c *1007s|160352 | 73087 |  6599k|  41.1 | 116M|  54 |   - |1700 |2888 |1700 | 962 | 575k|  28k|  17k| 0.000000e+00 | 1.317000e+03 |    Inf 
1053.12/1053.16	o 1261
1053.12/1053.16	c *1053s|167850 | 72496 |  6885k|  41.0 | 118M|  54 |   - |1700 |3147 |1700 | 936 | 598k|  31k|  17k| 0.000000e+00 | 1.261000e+03 |    Inf 
1065.72/1065.80	c  1066s|170000 | 72731 |  6964k|  41.0 | 120M|  54 |   - |1700 |2967 |   0 |   0 | 604k|  32k|  17k| 0.000000e+00 | 1.261000e+03 |    Inf 
1099.31/1099.36	o 1168
1099.31/1099.36	c *1099s|175682 | 70379 |  7175k|  40.8 | 121M|  54 |   - |1700 |3203 |1700 | 990 | 619k|  35k|  17k| 0.000000e+00 | 1.168000e+03 |    Inf 
1126.32/1126.31	c  1126s|180000 | 70790 |  7339k|  40.8 | 125M|  54 |   8 |1700 |3262 |1700 | 934 | 633k|  38k|  18k| 0.000000e+00 | 1.168000e+03 |    Inf 
1186.12/1186.16	c  1186s|190000 | 71158 |  7703k|  40.5 | 133M|  54 |   - |1700 |3414 |   0 |   0 | 661k|  43k|  18k| 0.000000e+00 | 1.168000e+03 |    Inf 
1245.82/1245.84	c  1246s|200000 | 71557 |  8056k|  40.3 | 142M|  54 |   - |1700 |3447 |1700 | 940 | 690k|  49k|  18k| 0.000000e+00 | 1.168000e+03 |    Inf 
1281.72/1281.77	o 847
1281.72/1281.77	c *1282s|206121 | 59748 |  8267k|  40.1 | 130M|  54 |   - |1700 |3444 |1700 | 961 | 707k|  53k|  19k| 0.000000e+00 | 8.470000e+02 |    Inf 
1294.92/1294.93	o 778
1294.92/1294.93	c *1295s|208541 | 54887 |  8346k|  40.0 | 130M|  54 |   - |1700 |2992 |1700 | 949 | 711k|  55k|  19k| 0.000000e+00 | 7.780000e+02 |    Inf 
1304.22/1304.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1304.22/1304.27	c  1304s|210000 | 53187 |  8405k|  40.0 | 131M|  54 |   - |1700 |2862 |1700 | 934 | 714k|  56k|  19k| 0.000000e+00 | 7.780000e+02 |    Inf 
1337.33/1337.34	o 677
1337.33/1337.34	c *1337s|216131 | 41871 |  8609k|  39.8 | 122M|  54 |   - |1700 |3499 |1700 | 927 | 724k|  62k|  19k| 0.000000e+00 | 6.770000e+02 |    Inf 
1357.43/1357.42	c  1357s|220000 | 38457 |  8735k|  39.7 | 120M|  54 |   - |1700 |2992 |1700 | 936 | 730k|  66k|  19k| 0.000000e+00 | 6.770000e+02 |    Inf 
1372.83/1372.83	o 632
1372.83/1372.83	c *1373s|222966 | 35247 |  8823k|  39.6 | 117M|  54 |   - |1700 |3066 |1700 | 944 | 735k|  68k|  19k| 0.000000e+00 | 6.320000e+02 |    Inf 
1376.42/1376.42	o 502
1376.42/1376.42	c *1376s|223649 | 24790 |  8843k|  39.5 | 100M|  54 |   - |1700 |2931 |1700 | 942 | 737k|  69k|  19k| 0.000000e+00 | 5.020000e+02 |    Inf 
1377.92/1377.92	o 467
1377.92/1377.92	c *1378s|223961 | 22939 |  8851k|  39.5 |  96M|  54 |   - |1700 |2674 |1700 | 963 | 737k|  69k|  19k| 0.000000e+00 | 4.670000e+02 |    Inf 
1378.13/1378.10	o 402
1378.13/1378.10	c *1378s|223995 | 19223 |  8852k|  39.5 |  88M|  54 |   - |1700 |2607 |1700 | 925 | 737k|  69k|  19k| 0.000000e+00 | 4.020000e+02 |    Inf 
1378.62/1378.61	o 287
1378.62/1378.61	c *1379s|224086 | 11975 |  8854k|  39.5 |  68M|  54 |   - |1700 |2399 |1700 | 951 | 738k|  69k|  19k| 0.000000e+00 | 2.870000e+02 |    Inf 
1378.72/1378.71	o 277
1378.72/1378.71	c *1379s|224092 | 10454 |  8854k|  39.5 |  64M|  54 |   - |1700 |1964 |1700 | 927 | 738k|  69k|  19k| 0.000000e+00 | 2.770000e+02 |    Inf 
1378.72/1378.78	o 216
1378.72/1378.78	c *1379s|224106 |  7892 |  8854k|  39.5 |  55M|  54 |   - |1700 |1862 |1700 | 928 | 738k|  69k|  19k| 0.000000e+00 | 2.160000e+02 |    Inf 
1378.82/1378.84	o 124
1378.82/1378.84	c *1379s|224109 |  5085 |  8855k|  39.5 |  44M|  54 |   - |1700 |1636 |1700 | 927 | 738k|  69k|  19k| 0.000000e+00 | 1.240000e+02 |    Inf 
1378.82/1378.86	o 37
1378.82/1378.86	c *1379s|224110 |  2494 |  8855k|  39.5 |  31M|  54 |   - |1700 |1632 |1700 | 925 | 738k|  69k|  19k| 0.000000e+00 | 3.700000e+01 |    Inf 
1378.92/1378.96	o 0
1378.92/1378.96	c *1379s|224135 |     0 |  8855k|  39.5 |  14M|  54 |   - |1700 |1091 |1700 | 924 | 738k|  69k|  19k| 0.000000e+00 | 0.000000e+00 |   0.00%
1378.92/1378.96	c 
1378.92/1378.96	c SCIP Status        : problem is solved [optimal solution found]
1378.92/1378.96	c Solving Time (sec) : 1378.96
1378.92/1378.96	c Solving Nodes      : 224135
1378.92/1378.96	c Primal Bound       : +0.00000000000000e+00 (351 solutions)
1378.92/1378.96	c Dual Bound         : +0.00000000000000e+00
1378.92/1378.96	c Gap                : 0.00 %
1378.92/1378.96	s OPTIMUM FOUND
1378.92/1378.96	v -x200 x199 x198 -x197 -x196 x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 -x180 x179 x178 -x177 
1378.92/1378.96	v x176 -x175 -x174 x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 -x156 x155 
1378.92/1378.96	v x154 -x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 x144 -x143 x142 -x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 x132 
1378.92/1378.96	v -x131 -x130 x129 x128 -x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 -x118 x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109 
1378.92/1378.96	v x108 -x107 x106 -x105 x104 -x103 -x102 x101 x100 -x99 -x98 x97 x96 -x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 x86 -x85 x84 
1378.92/1378.96	v -x83 x82 -x81 -x80 x79 x78 -x77 x76 -x75 -x74 x73 x72 -x71 x70 -x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 x60 -x59 -x58 x57 -x56 
1378.92/1378.96	v x55 -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 -x28 
1378.92/1378.96	v 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 x1 
1378.92/1378.96	c SCIP Status        : problem is solved [optimal solution found]
1378.92/1378.96	c Total Time         :    1378.96
1378.92/1378.96	c   solving          :    1378.96
1378.92/1378.96	c   presolving       :       0.04 (included in solving)
1378.92/1378.96	c   reading          :       0.01 (included in solving)
1378.92/1378.96	c Original Problem   :
1378.92/1378.96	c   Problem name     : HOME/instance-3447953-1307902529.wbo
1378.92/1378.96	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1378.92/1378.96	c   Constraints      : 901 initial, 901 maximal
1378.92/1378.96	c Presolved Problem  :
1378.92/1378.96	c   Problem name     : t_HOME/instance-3447953-1307902529.wbo
1378.92/1378.96	c   Variables        : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
1378.92/1378.96	c   Constraints      : 1600 initial, 3579 maximal
1378.92/1378.96	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1378.92/1378.96	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   probing          :       0.02          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   linear           :       0.02          0        100          0        800          0        101          0          0          0
1378.92/1378.96	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1378.92/1378.96	c   root node        :          -       1563          -          -       1563          -          -          -          -          -
1378.92/1378.96	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1378.92/1378.96	c   integral         :          0          0          0     903606          0      12853          0        134        580          0          0     330250
1378.92/1378.96	c   varbound         :          0+         7     655256     737954          0          0      58458         11    3543706     738071          0          0
1378.92/1378.96	c   linear           :        800          7     655421         24          0      12850     262001      24148     869310          0          0          0
1378.92/1378.96	c   indicator        :        800          0     631298     737954          0      12842      75901          0     110534          0          0          0
1378.92/1378.96	c   logicor          :          0+         0     323312          0          0          0      90665       7378     178089          0          0          0
1378.92/1378.96	c   countsols        :          0          0          0         24          0        329          0          0          0          0          0          0
1378.92/1378.96	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1378.92/1378.96	c   integral         :      37.24       0.00       0.00      37.23       0.00       0.01       0.00
1378.92/1378.96	c   varbound         :      21.00       0.00      10.84      10.14       0.00       0.00       0.02
1378.92/1378.96	c   linear           :      11.09       0.00      10.33       0.00       0.00       0.58       0.18
1378.92/1378.96	c   indicator        :      52.66       0.01       9.77      36.68       0.00       6.18       0.02
1378.92/1378.96	c   logicor          :       4.04       0.00       3.96       0.00       0.00       0.00       0.08
1378.92/1378.96	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1378.92/1378.96	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1378.92/1378.96	c   vbounds          :     284182     117639         44   13887452
1378.92/1378.96	c   rootredcost      :         25          0          0        776
1378.92/1378.96	c   pseudoobj        :     674802      75293      19545    3542057
1378.92/1378.96	c Propagator Timings :  TotalTime  Propagate    Resprop
1378.92/1378.96	c   vbounds          :      29.72      29.68       0.03
1378.92/1378.96	c   rootredcost      :       0.15       0.15       0.00
1378.92/1378.96	c   pseudoobj        :      12.40      11.77       0.62
1378.92/1378.96	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1378.92/1378.96	c   propagation      :       1.35      51126      48761      82715       16.7       1224        9.3          -
1378.92/1378.96	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1378.92/1378.96	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1378.92/1378.96	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1378.92/1378.96	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1378.92/1378.96	c   applied globally :          -          -          -      69852       14.8          -          -          -
1378.92/1378.96	c   applied locally  :          -          -          -          0        0.0          -          -          -
1378.92/1378.96	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1378.92/1378.96	c   cut pool         :       0.00          6          -          -          6          -    (maximal pool size: 1173)
1378.92/1378.96	c   redcost          :      28.43     492254          0   13852892          0          0
1378.92/1378.96	c   impliedbounds    :       0.00          7          0          0          0          0
1378.92/1378.96	c   intobj           :       0.00          0          0          0          0          0
1378.92/1378.96	c   gomory           :       0.31          7          0          0       1352          0
1378.92/1378.96	c   cgmip            :       0.00          0          0          0          0          0
1378.92/1378.96	c   closecuts        :       0.00          0          0          0          0          0
1378.92/1378.96	c   strongcg         :       0.26          7          0          0       1574          0
1378.92/1378.96	c   cmir             :       0.09          7          0          0          0          0
1378.92/1378.96	c   flowcover        :       0.05          7          0          0          0          0
1378.92/1378.96	c   clique           :       0.00          1          0          0          0          0
1378.92/1378.96	c   zerohalf         :       0.00          0          0          0          0          0
1378.92/1378.96	c   mcf              :       0.00          1          0          0          0          0
1378.92/1378.96	c   oddcycle         :       0.00          0          0          0          0          0
1378.92/1378.96	c   rapidlearning    :       0.06          1          0          0          0          0
1378.92/1378.96	c Pricers            :       Time      Calls       Vars
1378.92/1378.96	c   problem variables:       0.00          0          0
1378.92/1378.96	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1378.92/1378.96	c   relpscost        :      36.94     165652        134        580          0          0     330250
1378.92/1378.96	c   pscost           :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   inference        :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   mostinf          :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   leastinf         :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   fullstrong       :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   allfullstrong    :       0.00          0          0          0          0          0          0
1378.92/1378.96	c   random           :       0.00          0          0          0          0          0          0
1378.92/1378.96	c Primal Heuristics  :       Time      Calls      Found
1378.92/1378.96	c   LP solutions     :       0.19          -         24
1378.92/1378.96	c   pseudo solutions :       0.00          -          0
1378.92/1378.96	c   intshifting      :       0.00          0          0
1378.92/1378.96	c   oneopt           :       0.16         25          0
1378.92/1378.96	c   crossover        :       1.22         48          0
1378.92/1378.96	c   pscostdiving     :       6.70       1557          0
1378.92/1378.96	c   fracdiving       :       7.20       1557          0
1378.92/1378.96	c   veclendiving     :       6.44       1557          1
1378.92/1378.96	c   linesearchdiving :       7.00       1557          0
1378.92/1378.96	c   guideddiving     :       7.22       1557          0
1378.92/1378.96	c   coefdiving       :       6.57       1558          1
1378.92/1378.96	c   trivial          :       0.00          2          1
1378.92/1378.96	c   shiftandpropagate:       0.00          0          0
1378.92/1378.96	c   simplerounding   :       0.55     186693          0
1378.92/1378.96	c   zirounding       :       0.09       1000          0
1378.92/1378.96	c   rounding         :       0.60       6056          0
1378.92/1378.96	c   shifting         :       1.32       1835          0
1378.92/1378.96	c   twoopt           :       0.00          0          0
1378.92/1378.96	c   fixandinfer      :       0.00          0          0
1378.92/1378.96	c   feaspump         :       0.01          0          0
1378.92/1378.96	c   clique           :       0.00          0          0
1378.92/1378.96	c   intdiving        :       0.00          0          0
1378.92/1378.96	c   actconsdiving    :       0.00          0          0
1378.92/1378.96	c   objpscostdiving  :       7.00        582          0
1378.92/1378.96	c   rootsoldiving    :       6.91        764          0
1378.92/1378.96	c   octane           :       0.00          0          0
1378.92/1378.96	c   rens             :       0.02          1          0
1378.92/1378.96	c   rins             :       0.00          0          0
1378.92/1378.96	c   localbranching   :       0.00          0          0
1378.92/1378.96	c   mutation         :       0.00          0          0
1378.92/1378.96	c   dins             :       0.00          0          0
1378.92/1378.96	c   vbounds          :       0.00          0          0
1378.92/1378.96	c   undercover       :       0.00          0          0
1378.92/1378.96	c   subnlp           :       0.03          0          0
1378.92/1378.96	c   trysol           :       0.39      12500        324
1378.92/1378.96	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1378.92/1378.96	c   primal LP        :       4.44          0          0       0.00       0.00
1378.92/1378.96	c   dual LP          :     902.09     969847    8474477       8.74    9394.29
1378.92/1378.96	c   lex dual LP      :       0.00          0          0       0.00          -
1378.92/1378.96	c   barrier LP       :       0.00          0          0       0.00          -
1378.92/1378.96	c   diving/probing LP:      38.33      33266     381410      11.47    9951.68
1378.92/1378.96	c   strong branching :      34.95      19997     324835      16.24    9293.76
1378.92/1378.96	c     (at root node) :          -         30      12287     409.57          -
1378.92/1378.96	c   conflict analysis:       0.00          0          0       0.00          -
1378.92/1378.96	c B&B Tree           :
1378.92/1378.96	c   number of runs   :          1
1378.92/1378.96	c   nodes            :     224135
1378.92/1378.96	c   nodes (total)    :     224135
1378.92/1378.96	c   nodes left       :          0
1378.92/1378.96	c   max depth        :         54
1378.92/1378.96	c   max depth (total):         54
1378.92/1378.96	c   backtracks       :      41205 (18.4%)
1378.92/1378.96	c   delayed cutoffs  :      23259
1378.92/1378.96	c   repropagations   :      59246 (1030346 domain reductions, 2693 cutoffs)
1378.92/1378.96	c   avg switch length:       6.03
1378.92/1378.96	c   switching time   :      34.76
1378.92/1378.96	c Solution           :
1378.92/1378.96	c   Solutions found  :        351 (27 improvements)
1378.92/1378.96	c   First Solution   : +3.94238000000000e+05   (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1378.92/1378.96	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 224135 nodes, 1378.96 seconds, depth 16, found by <relaxation>)
1378.92/1378.96	c   Dual Bound       : +0.00000000000000e+00
1378.92/1378.96	c   Gap              :       0.00 %
1378.92/1378.96	c   Root Dual Bound  : +0.00000000000000e+00
1378.92/1378.96	c   Root Iterations  :       1957
1378.92/1378.98	c Time complete: 1379.

Verifier Data 

OK	0

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-3447953-1307902529/watcher-3447953-1307902529 -o /tmp/evaluation-result-3447953-1307902529/solver-3447953-1307902529 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447953-1307902529.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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.00 2.00 1.91 2/177 15338
/proc/meminfo: memFree=2495760/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=10336 CPUtime=0 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 1555 0 0 0 0 0 0 0 25 0 1 0 20997667 10584064 1509 33554432000 4194304 9128323 140734267496656 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15338/statm: 2584 1521 399 1205 0 1375 0

[startup+0.0271551 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 15338
/proc/meminfo: memFree=2495760/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=23184 CPUtime=0.02 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 4811 0 0 0 2 0 0 0 25 0 1 0 20997667 23740416 4507 33554432000 4194304 9128323 140734267496656 18446744073709551615 5267810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 5796 4507 520 1205 0 4587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23184

[startup+0.100143 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 15338
/proc/meminfo: memFree=2495760/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=28164 CPUtime=0.09 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 6262 0 0 0 9 0 0 0 25 0 1 0 20997667 28839936 5936 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 7041 5936 655 1205 0 5832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28164

[startup+0.300107 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 15338
/proc/meminfo: memFree=2495760/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=45144 CPUtime=0.29 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 11580 0 0 0 28 1 0 0 25 0 1 0 20997667 46227456 10206 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 11286 10206 722 1205 0 10077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45144

[startup+0.701034 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 15338
/proc/meminfo: memFree=2495760/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=45312 CPUtime=0.69 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 11717 0 0 0 68 1 0 0 25 0 1 0 20997667 46399488 10333 33554432000 4194304 9128323 140734267496656 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 11328 10333 712 1205 0 10119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45312

[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15339
/proc/meminfo: memFree=2457092/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=45376 CPUtime=1.49 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 14276 0 0 0 144 5 0 0 25 0 1 0 20997667 46465024 10391 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 11344 10391 719 1205 0 10135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45376

[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15339
/proc/meminfo: memFree=2455356/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=45452 CPUtime=3.09 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 14283 0 0 0 296 13 0 0 25 0 1 0 20997667 46542848 10398 33554432000 4194304 9128323 140734267496656 18446744073709551615 7025417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 11363 10398 719 1205 0 10154 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45452

[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15339
/proc/meminfo: memFree=2453224/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=45452 CPUtime=6.29 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 14283 0 0 0 603 26 0 0 25 0 1 0 20997667 46542848 10398 33554432000 4194304 9128323 140734267496656 18446744073709551615 6713321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 11363 10398 719 1205 0 10154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45452

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15339
/proc/meminfo: memFree=2448548/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=48748 CPUtime=12.69 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 22340 0 0 0 1222 47 0 0 25 0 1 0 20997667 49917952 11097 33554432000 4194304 9128323 140734267496656 18446744073709551615 6505951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 12187 11097 727 1205 0 10978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48748

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15340
/proc/meminfo: memFree=2442344/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=51460 CPUtime=25.49 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 29479 0 0 0 2458 91 0 0 25 0 1 0 20997667 52695040 11843 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15338/statm: 12865 11843 727 1205 0 11656 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51460

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15341
/proc/meminfo: memFree=2426236/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=57172 CPUtime=51.09 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 34087 0 0 0 4935 174 0 0 25 0 1 0 20997667 58544128 13276 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 14293 13276 727 1205 0 13084 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57172

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15342
/proc/meminfo: memFree=2393836/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=65576 CPUtime=102.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 39469 0 0 0 9889 341 0 0 25 0 1 0 20997667 67149824 15437 33554432000 4194304 9128323 140734267496656 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 16394 15437 727 1205 0 15185 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65576

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15343
/proc/meminfo: memFree=2362412/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=71912 CPUtime=162.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 53880 0 0 0 15690 540 0 0 25 0 1 0 20997667 73637888 17019 33554432000 4194304 9128323 140734267496656 18446744073709551615 4893633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 17978 17019 727 1205 0 16769 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 71912

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15345
/proc/meminfo: memFree=2326896/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=81340 CPUtime=222.29 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 60608 0 0 0 21494 735 0 0 25 0 1 0 20997667 83292160 19406 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 20335 19406 727 1205 0 19126 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 81340

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15347
/proc/meminfo: memFree=2296332/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=90616 CPUtime=282.29 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 62979 0 0 0 27300 929 0 0 25 0 1 0 20997667 92790784 21754 33554432000 4194304 9128323 140734267496656 18446744073709551615 7183569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 22654 21754 727 1205 0 21445 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 90616

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15349
/proc/meminfo: memFree=2273840/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=99172 CPUtime=342.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 78007 0 0 0 33107 1123 0 0 25 0 1 0 20997667 101552128 23947 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 24793 23947 727 1205 0 23584 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 99172

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15350
/proc/meminfo: memFree=2260020/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=106120 CPUtime=402.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 86105 0 0 0 38915 1315 0 0 25 0 1 0 20997667 108666880 25683 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 26530 25683 727 1205 0 25321 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 106120

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15351
/proc/meminfo: memFree=2241368/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=113648 CPUtime=462.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 91223 0 0 0 44729 1501 0 0 25 0 1 0 20997667 116375552 27611 33554432000 4194304 9128323 140734267496656 18446744073709551615 4579049 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 28412 27611 727 1205 0 27203 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 113648

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15353
/proc/meminfo: memFree=2226676/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=121556 CPUtime=522.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 96414 0 0 0 50544 1687 0 0 25 0 1 0 20997667 124473344 29594 33554432000 4194304 9128323 140734267496656 18446744073709551615 6505889 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 30389 29594 727 1205 0 29180 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 121556

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15355
/proc/meminfo: memFree=2217452/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=124780 CPUtime=582.3 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 111264 0 0 0 56356 1874 0 0 25 0 1 0 20997667 127774720 30408 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 31195 30408 727 1205 0 29986 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 124780

[startup+642.301 s]

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

/proc/meminfo: memFree=2204740/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=132868 CPUtime=642.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 119192 0 0 0 62169 2062 0 0 25 0 1 0 20997667 136056832 31939 33554432000 4194304 9128323 140734267496656 18446744073709551615 4339422 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 33217 31939 727 1205 0 32008 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 132868

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15358
/proc/meminfo: memFree=2190788/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=138380 CPUtime=702.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 134266 0 0 0 67983 2248 0 0 25 0 1 0 20997667 141701120 33325 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 34595 33325 727 1205 0 33386 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 138380

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15359
/proc/meminfo: memFree=2178456/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=144048 CPUtime=762.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 138800 0 0 0 73804 2427 0 0 25 0 1 0 20997667 147505152 34751 33554432000 4194304 9128323 140734267496656 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 36012 34751 727 1205 0 34803 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 144048

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15361
/proc/meminfo: memFree=2165128/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=152196 CPUtime=822.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 148855 0 0 0 79618 2613 0 0 25 0 1 0 20997667 155848704 36817 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 38049 36817 727 1205 0 36840 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 152196

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15363
/proc/meminfo: memFree=2158648/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=156292 CPUtime=882.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 160888 0 0 0 85436 2795 0 0 25 0 1 0 20997667 160043008 37831 33554432000 4194304 9128323 140734267496656 18446744073709551615 7216720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 39073 37831 727 1205 0 37864 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 156292

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15365
/proc/meminfo: memFree=2142328/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=165020 CPUtime=942.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 169262 0 0 0 91254 2977 0 0 25 0 1 0 20997667 168980480 40037 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 41255 40037 727 1205 0 40046 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 165020

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15366
/proc/meminfo: memFree=2128260/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=172528 CPUtime=1002.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 172230 0 0 0 97075 3156 0 0 25 0 1 0 20997667 176668672 41902 33554432000 4194304 9128323 140734267496656 18446744073709551615 4893633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 43132 41902 727 1205 0 41923 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 172528

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15367
/proc/meminfo: memFree=2118292/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=178144 CPUtime=1062.32 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 189406 0 0 0 102899 3333 0 0 25 0 1 0 20997667 182419456 43333 33554432000 4194304 9128323 140734267496656 18446744073709551615 4793943 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 44536 43333 727 1205 0 43327 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 178144

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 15369
/proc/meminfo: memFree=2105700/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=186332 CPUtime=1122.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 199688 0 0 0 108726 3505 0 0 25 0 1 0 20997667 190803968 45358 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 46583 45358 727 1205 0 45374 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 186332

[startup+1182.3 s]
/proc/loadavg: 1.90 1.98 1.91 2/172 15396
/proc/meminfo: memFree=2635184/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=197464 CPUtime=1182.31 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 206448 0 0 0 114542 3689 0 0 25 0 1 0 20997667 202203136 48114 33554432000 4194304 9128323 140734267496656 18446744073709551615 7343445 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 49366 48114 727 1205 0 48157 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 197464

[startup+1242.3 s]
/proc/loadavg: 1.33 1.80 1.85 2/172 15398
/proc/meminfo: memFree=2625224/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=207760 CPUtime=1242.32 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 209020 0 0 0 120306 3926 0 0 25 0 1 0 20997667 212746240 50669 33554432000 4194304 9128323 140734267496656 18446744073709551615 7207341 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 51940 50669 727 1205 0 50731 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 207760

[startup+1302.3 s]
/proc/loadavg: 1.12 1.65 1.79 2/172 15399
/proc/meminfo: memFree=2607684/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=225372 CPUtime=1302.33 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 225115 0 0 0 126073 4160 0 0 25 0 1 0 20997667 230780928 54974 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 56343 54974 727 1205 0 55134 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 225372

[startup+1362.3 s]
/proc/loadavg: 1.04 1.53 1.74 2/172 15400
/proc/meminfo: memFree=2594100/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=239240 CPUtime=1362.32 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 239047 0 0 0 131831 4401 0 0 25 0 1 0 20997667 244981760 58424 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 59810 58424 727 1205 0 58601 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 239240

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

[startup+1369.51 s]
/proc/loadavg: 1.04 1.52 1.74 2/172 15401
/proc/meminfo: memFree=2591980/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=240792 CPUtime=1369.53 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 240460 0 0 0 132526 4427 0 0 25 0 1 0 20997667 246571008 58800 33554432000 4194304 9128323 140734267496656 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60198 58800 727 1205 0 58989 0
Current children cumulated CPU time (s) 1369.53
Current children cumulated vsize (KiB) 240792

[startup+1375.9 s]
/proc/loadavg: 1.04 1.51 1.73 2/172 15401
/proc/meminfo: memFree=2591112/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=242104 CPUtime=1375.93 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 241782 0 0 0 133143 4450 0 0 25 0 1 0 20997667 247914496 59087 33554432000 4194304 9128323 140734267496656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60526 59087 727 1205 0 59317 0
Current children cumulated CPU time (s) 1375.93
Current children cumulated vsize (KiB) 242104

[startup+1377.5 s]
/proc/loadavg: 1.03 1.50 1.73 2/172 15401
/proc/meminfo: memFree=2590740/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=242956 CPUtime=1377.52 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 243935 0 0 0 133296 4456 0 0 25 0 1 0 20997667 248786944 59370 33554432000 4194304 9128323 140734267496656 18446744073709551615 5984577 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60739 59370 727 1205 0 59530 0
Current children cumulated CPU time (s) 1377.52
Current children cumulated vsize (KiB) 242956

[startup+1378.31 s]
/proc/loadavg: 1.03 1.50 1.73 2/172 15401
/proc/meminfo: memFree=2589500/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=242956 CPUtime=1378.33 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 243935 0 0 0 133376 4457 0 0 25 0 1 0 20997667 248786944 59370 33554432000 4194304 9128323 140734267496656 18446744073709551615 5234106 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60739 59370 727 1205 0 59530 0
Current children cumulated CPU time (s) 1378.33
Current children cumulated vsize (KiB) 242956

[startup+1378.7 s]
/proc/loadavg: 1.03 1.50 1.73 2/172 15401
/proc/meminfo: memFree=2589500/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=242956 CPUtime=1378.72 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 243935 0 0 0 133414 4458 0 0 25 0 1 0 20997667 248786944 59370 33554432000 4194304 9128323 140734267496656 18446744073709551615 7346354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60739 59370 727 1205 0 59530 0
Current children cumulated CPU time (s) 1378.72
Current children cumulated vsize (KiB) 242956

[startup+1378.9 s]
/proc/loadavg: 1.03 1.50 1.73 2/172 15401
/proc/meminfo: memFree=2589500/32950928 swapFree=67111364/67111528
[pid=15338] ppid=15336 vsize=242956 CPUtime=1378.92 cores=1,3,5,7
/proc/15338/stat : 15338 (scip-2.0.1.4.li) R 15336 15338 13995 0 -1 4202496 243935 0 0 0 133433 4459 0 0 25 0 1 0 20997667 248786944 59370 33554432000 4194304 9128323 140734267496656 18446744073709551615 4218825 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15338/statm: 60739 59370 727 1205 0 59530 0
Current children cumulated CPU time (s) 1378.92
Current children cumulated vsize (KiB) 242956

Child status: 0
Real time (s): 1378.99
CPU time (s): 1379.02
CPU user time (s): 1334.41
CPU system time (s): 44.6072
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 245328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1334.41
system time used= 44.6072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243940
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= 4
involuntary context switches= 2816

runsolver used 1.79173 second user time and 4.48232 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-12 20:15:29
IDJOB=3447953
IDBENCH=79409
IDSOLVER=1944
FILE ID=node124/3447953-1307902529
RUNJOBID= node124-1307898924-15048
PBS_JOBID= 13559582
Free space on /tmp= 2076 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh210_wcsp.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-3447953-1307902529/watcher-3447953-1307902529 -o /tmp/evaluation-result-3447953-1307902529/solver-3447953-1307902529 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447953-1307902529.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 208e691d0f47cfa792c689161068f479
RANDOM SEED=954689229

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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:     32950928 kB
MemFree:       2496444 kB
Buffers:         60836 kB
Cached:       29093880 kB
SwapCached:          0 kB
Active:       14838828 kB
Inactive:     14697492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       2496444 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12044 kB
Writeback:           0 kB
AnonPages:      381156 kB
Mapped:          19284 kB
Slab:           855284 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   526512 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= 2080 MiB
End job on node124 at 2011-06-12 20:38:28