Trace number 2692405

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.05 1800.97

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-46s.smv--soft-66-100-0.wbo
MD5SUM0c4c750d54c7b762c4dc52b4dc547a5f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.031994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1612
Total number of constraints3653
Number of soft constraints1247
Number of constraints which are clauses3273
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 63484
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 63483
Biggest number in a constraint 79
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 268
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692405-1277914805.wbo>
0.01/0.03	c original problem has 4106 variables (2859 bin, 0 int, 0 impl, 1247 cont) and 4901 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.01/0.05	c presolving:
0.01/0.07	c (round 1) 61 del vars, 16 del conss, 3 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17414 impls, 0 clqs
0.01/0.07	c (round 2) 64 del vars, 128 del conss, 5 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17414 impls, 0 clqs
0.01/0.07	c (round 3) 65 del vars, 131 del conss, 5 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17420 impls, 0 clqs
0.01/0.08	c (round 4) 67 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 0 upgd conss, 17420 impls, 0 clqs
0.09/0.11	c (round 5) 69 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17420 impls, 0 clqs
0.29/0.37	c    (0.3s) probing: 920/2793 (32.9%) - 0 fixings, 10 aggregations, 136 implications, 0 bound changes
0.29/0.37	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.37	c (round 6) 79 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17827 impls, 0 clqs
0.39/0.40	c    (0.3s) probing: 1000/2793 (35.8%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.39/0.41	c    (0.3s) probing: 1035/2793 (37.1%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.39/0.41	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.41	c (round 7) 80 del vars, 133 del conss, 1249 chg bounds, 190 chg sides, 382 chg coeffs, 2281 upgd conss, 17834 impls, 0 clqs
0.39/0.43	c    (0.3s) probing: 1045/2793 (37.4%) - 0 fixings, 11 aggregations, 141 implications, 0 bound changes
0.39/0.43	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.43	c presolving (8 rounds):
0.39/0.43	c  80 deleted vars, 133 deleted constraints, 1249 tightened bounds, 0 added holes, 190 changed sides, 382 changed coefficients
0.39/0.43	c  17834 implications, 0 cliques
0.39/0.43	c presolved problem has 4026 variables (2782 bin, 0 int, 0 impl, 1244 cont) and 4768 constraints
0.39/0.43	c    1244 constraints of type <indicator>
0.39/0.43	c       1 constraints of type <varbound>
0.39/0.43	c     248 constraints of type <knapsack>
0.39/0.43	c    1243 constraints of type <linear>
0.39/0.43	c    2032 constraints of type <logicor>
0.39/0.43	c transformed objective value is always integral (scale: 1)
0.39/0.43	c Presolving Time: 0.33
0.39/0.43	c - non default parameters ----------------------------------------------------------------------
0.39/0.43	c # SCIP version 1.2.1.2
0.39/0.43	c 
0.39/0.43	c # frequency for displaying node information lines
0.39/0.43	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43	c display/freq = 10000
0.39/0.43	c 
0.39/0.43	c # maximal time in seconds to run
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/time = 1799.97
0.39/0.43	c 
0.39/0.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43	c limits/memory = 3420
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify inequalities
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/linear/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # should presolving try to simplify knapsacks
0.39/0.43	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43	c 
0.39/0.43	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43	c separating/rapidlearning/freq = 0
0.39/0.43	c 
0.39/0.43	c -----------------------------------------------------------------------------------------------
0.39/0.43	c start solving
0.39/0.43	c 
0.39/0.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.45	c   0.3s|     1 |     0 |   221 |     - |  16M|   0 |  95 |4026 |4768 |4026 |2258 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.64	c   0.5s|     1 |     0 |  1567 |     - |  16M|   0 | 271 |4026 |4768 |4026 |2479 | 221 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.64	o 63287
0.59/0.64	c y 0.5s|     1 |     0 |  1567 |     - |  16M|   0 | 271 |4026 |4768 |4026 |2479 | 221 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
0.79/0.81	c   0.7s|     1 |     0 |  1964 |     - |  17M|   0 | 340 |4026 |4768 |4026 |2701 | 443 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
1.09/1.17	c   1.0s|     1 |     0 |  3074 |     - |  17M|   0 | 407 |4026 |4768 |4026 |2923 | 665 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
1.39/1.46	c   1.3s|     1 |     0 |  3641 |     - |  18M|   0 | 489 |4026 |4768 |4026 |3105 | 847 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
1.79/1.84	c   1.6s|     1 |     0 |  4217 |     - |  18M|   0 | 479 |4026 |4768 |4026 |3243 | 985 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
2.29/2.30	c   2.1s|     1 |     0 |  4936 |     - |  18M|   0 | 508 |4026 |4768 |4026 |3375 |1117 |   0 |   0 | 0.000000e+00 | 6.328700e+04 |    Inf 
7.60/7.69	c   7.3s|     1 |     2 |  4936 |     - |  18M|   0 | 508 |4026 |4768 |4026 |3375 |1117 |   0 |  29 | 0.000000e+00 | 6.328700e+04 |    Inf 
97.30/97.35	c  94.4s| 10000 |  9993 |127953 |  12.3 |  47M| 361 |   0 |4026 |4934 |4026 |2971 |2661 | 166 |1623 | 0.000000e+00 | 6.328700e+04 |    Inf 
124.39/124.40	c   120s| 20000 | 19981 |150918 |   7.3 |  70M| 383 |   0 |4026 |4942 |4026 |2969 |3600 | 174 |1786 | 0.000000e+00 | 6.328700e+04 |    Inf 
149.80/149.81	c   145s| 30000 | 29973 |165537 |   5.4 |  93M| 387 |   0 |4026 |4947 |4026 |2974 |4333 | 179 |1841 | 0.000000e+00 | 6.328700e+04 |    Inf 
174.40/174.44	c   169s| 40000 | 39969 |177630 |   4.3 | 116M| 389 |   0 |4026 |4950 |4026 |2972 |5172 | 183 |1894 | 0.000000e+00 | 6.328700e+04 |    Inf 
203.41/203.42	c   197s| 50000 | 49953 |211631 |   4.1 | 139M| 389 |   0 |4026 |4949 |4026 |2976 |6429 | 197 |2446 | 0.000000e+00 | 6.328700e+04 |    Inf 
228.71/228.71	c   221s| 60000 | 59949 |228450 |   3.7 | 162M| 389 |   0 |4026 |4947 |4026 |2980 |8151 | 199 |2491 | 0.000000e+00 | 6.328700e+04 |    Inf 
253.91/253.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
253.91/253.99	c   246s| 70000 | 69945 |244201 |   3.4 | 185M| 389 |   0 |4026 |4949 |4026 |2981 |9875 | 201 |2519 | 0.000000e+00 | 6.328700e+04 |    Inf 
280.51/280.57	c   272s| 80000 | 79939 |260487 |   3.2 | 208M| 389 |   0 |4026 |4951 |4026 |2978 |  11k| 204 |2849 | 0.000000e+00 | 6.328700e+04 |    Inf 
306.40/306.43	c   297s| 90000 | 89939 |273134 |   3.0 | 231M| 389 |   0 |4026 |4950 |4026 |2980 |  13k| 204 |3048 | 0.000000e+00 | 6.328700e+04 |    Inf 
331.80/331.86	c   322s|100000 | 99934 |290873 |   2.9 | 253M| 389 | 176 |4026 |4951 |4026 |2944 |  15k| 209 |3097 | 0.000000e+00 | 6.328700e+04 |    Inf 
357.11/357.19	c   346s|110000 |109932 |309022 |   2.8 | 276M| 389 |  14 |4026 |4941 |4026 |2976 |  17k| 210 |3120 | 0.000000e+00 | 6.328700e+04 |    Inf 
382.31/382.38	c   371s|120000 |119930 |322889 |   2.6 | 299M| 389 |   0 |4026 |4934 |4026 |2984 |  19k| 212 |3213 | 0.000000e+00 | 6.328700e+04 |    Inf 
409.31/409.30	c   397s|130000 |129930 |338962 |   2.6 | 322M| 389 |   0 |4026 |4924 |4026 |2976 |  20k| 212 |3614 | 0.000000e+00 | 6.328700e+04 |    Inf 
435.91/435.99	c   423s|140000 |139928 |355318 |   2.5 | 345M| 389 |   0 |4026 |4920 |4026 |2980 |  22k| 213 |3819 | 0.000000e+00 | 6.328700e+04 |    Inf 
460.21/460.28	c   447s|150000 |149928 |364841 |   2.4 | 368M| 389 |   0 |4026 |4920 |4026 |2982 |  24k| 213 |3820 | 0.000000e+00 | 6.328700e+04 |    Inf 
484.51/484.55	c   470s|160000 |159928 |374010 |   2.3 | 391M| 389 |   0 |4026 |4919 |4026 |2979 |  26k| 213 |3822 | 0.000000e+00 | 6.328700e+04 |    Inf 
508.81/508.83	c   494s|170000 |169928 |383303 |   2.2 | 414M| 389 |   0 |4026 |4919 |4026 |2981 |  28k| 213 |3822 | 0.000000e+00 | 6.328700e+04 |    Inf 
533.02/533.07	c   517s|180000 |179928 |392235 |   2.2 | 437M| 389 |   0 |4026 |4919 |4026 |2979 |  30k| 213 |3822 | 0.000000e+00 | 6.328700e+04 |    Inf 
558.52/558.55	c   542s|190000 |189926 |406430 |   2.1 | 460M| 389 |   0 |4026 |4918 |4026 |2980 |  32k| 214 |3901 | 0.000000e+00 | 6.328700e+04 |    Inf 
583.22/583.29	c   566s|200000 |199926 |414589 |   2.0 | 483M| 389 |   0 |4026 |4918 |4026 |2978 |  33k| 214 |4029 | 0.000000e+00 | 6.328700e+04 |    Inf 
614.62/614.62	c   597s|210000 |209916 |443970 |   2.1 | 506M| 389 |   0 |4026 |4918 |4026 |2975 |  34k| 221 |4488 | 0.000000e+00 | 6.328700e+04 |    Inf 
647.82/647.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
647.82/647.84	c   629s|220000 |219914 |497696 |   2.2 | 529M| 389 |   0 |4026 |4908 |4026 |2982 |  36k| 222 |4739 | 0.000000e+00 | 6.328700e+04 |    Inf 
676.03/676.06	c   657s|230000 |229912 |524148 |   2.3 | 552M| 389 |   0 |4026 |4901 |4026 |2982 |  38k| 223 |5000 | 0.000000e+00 | 6.328700e+04 |    Inf 
702.32/702.39	c   682s|240000 |239910 |540235 |   2.2 | 575M| 389 |   0 |4026 |4896 |4026 |2983 |  40k| 224 |5184 | 0.000000e+00 | 6.328700e+04 |    Inf 
729.33/729.38	c   708s|250000 |249910 |563686 |   2.2 | 598M| 389 |   0 |4026 |4881 |4026 |2979 |  41k| 224 |5407 | 0.000000e+00 | 6.328700e+04 |    Inf 
755.12/755.19	c   734s|260000 |259910 |583349 |   2.2 | 621M| 389 |   0 |4026 |4876 |4026 |2982 |  43k| 224 |5438 | 0.000000e+00 | 6.328700e+04 |    Inf 
781.63/781.66	c   759s|270000 |269908 |607018 |   2.2 | 644M| 389 |   0 |4026 |4868 |4026 |2983 |  45k| 226 |5476 | 0.000000e+00 | 6.328700e+04 |    Inf 
805.23/805.21	c   782s|280000 |279908 |609417 |   2.2 | 666M| 395 |   0 |4026 |4868 |4026 |2979 |  46k| 226 |5476 | 0.000000e+00 | 6.328700e+04 |    Inf 
828.53/828.58	c   805s|290000 |289908 |609929 |   2.1 | 689M| 395 |   0 |4026 |4868 |4026 |2979 |  46k| 226 |5485 | 0.000000e+00 | 6.328700e+04 |    Inf 
853.23/853.28	c   829s|300000 |299908 |617398 |   2.0 | 712M| 395 |   0 |4026 |4868 |4026 |2979 |  47k| 226 |5630 | 0.000000e+00 | 6.328700e+04 |    Inf 
882.93/882.92	c   858s|310000 |309898 |646467 |   2.1 | 735M| 395 |  11 |4026 |4863 |4026 |2977 |  49k| 231 |6042 | 0.000000e+00 | 6.328700e+04 |    Inf 
909.14/909.19	c   883s|320000 |319896 |668355 |   2.1 | 758M| 395 |   0 |4026 |4856 |4026 |2979 |  51k| 232 |6122 | 0.000000e+00 | 6.328700e+04 |    Inf 
934.83/934.87	c   908s|330000 |329894 |687244 |   2.1 | 781M| 395 |   0 |4026 |4854 |4026 |2981 |  53k| 233 |6177 | 0.000000e+00 | 6.328700e+04 |    Inf 
960.13/960.11	c   933s|340000 |339892 |704992 |   2.1 | 803M| 395 |   0 |4026 |4850 |4026 |2983 |  54k| 235 |6186 | 0.000000e+00 | 6.328700e+04 |    Inf 
985.74/985.75	c   958s|350000 |349888 |724970 |   2.1 | 826M| 395 |   0 |4026 |4851 |4026 |2982 |  56k| 239 |6213 | 0.000000e+00 | 6.328700e+04 |    Inf 
1010.74/1010.70	c   982s|360000 |359888 |739457 |   2.0 | 849M| 395 |   0 |4026 |4849 |4026 |2982 |  58k| 239 |6227 | 0.000000e+00 | 6.328700e+04 |    Inf 
1035.44/1035.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1035.44/1035.45	c  1006s|370000 |369888 |752684 |   2.0 | 872M| 395 |   0 |4026 |4849 |4026 |2983 |  60k| 239 |6228 | 0.000000e+00 | 6.328700e+04 |    Inf 
1060.14/1060.11	c  1030s|380000 |379888 |765700 |   2.0 | 895M| 395 |   0 |4026 |4849 |4026 |2982 |  62k| 239 |6228 | 0.000000e+00 | 6.328700e+04 |    Inf 
1084.74/1084.72	c  1054s|390000 |389888 |777720 |   2.0 | 918M| 395 |   0 |4026 |4849 |4026 |2982 |  64k| 239 |6228 | 0.000000e+00 | 6.328700e+04 |    Inf 
1109.35/1109.38	c  1078s|400000 |399888 |790018 |   2.0 | 941M| 395 |   0 |4026 |4849 |4026 |2985 |  66k| 239 |6228 | 0.000000e+00 | 6.328700e+04 |    Inf 
1133.94/1133.99	c  1102s|410000 |409888 |801053 |   1.9 | 964M| 395 |   0 |4026 |4849 |4026 |2982 |  68k| 239 |6231 | 0.000000e+00 | 6.328700e+04 |    Inf 
1158.95/1158.97	c  1126s|420000 |419888 |813858 |   1.9 | 987M| 395 |   0 |4026 |4848 |4026 |2984 |  70k| 239 |6244 | 0.000000e+00 | 6.328700e+04 |    Inf 
1185.15/1185.15	c  1152s|430000 |429886 |835989 |   1.9 |1010M| 395 |   0 |4026 |4849 |4026 |2983 |  72k| 241 |6272 | 0.000000e+00 | 6.328700e+04 |    Inf 
1211.85/1211.82	c  1178s|440000 |439876 |863972 |   2.0 |1033M| 395 |   4 |4026 |4850 |4026 |2981 |  74k| 247 |6302 | 0.000000e+00 | 6.328700e+04 |    Inf 
1237.15/1237.12	c  1202s|450000 |449874 |881434 |   1.9 |1056M| 395 |   0 |4026 |4848 |4026 |2985 |  76k| 249 |6325 | 0.000000e+00 | 6.328700e+04 |    Inf 
1262.55/1262.58	c  1227s|460000 |459866 |902031 |   2.0 |1079M| 395 |   0 |4026 |4852 |4026 |2981 |  77k| 254 |6337 | 0.000000e+00 | 6.328700e+04 |    Inf 
1287.35/1287.36	c  1251s|470000 |469866 |915153 |   1.9 |1101M| 395 |   0 |4026 |4852 |4026 |2983 |  79k| 254 |6372 | 0.000000e+00 | 6.328700e+04 |    Inf 
1311.95/1311.94	c  1275s|480000 |479862 |928084 |   1.9 |1124M| 395 |   0 |4026 |4851 |4026 |2979 |  81k| 257 |6380 | 0.000000e+00 | 6.328700e+04 |    Inf 
1336.36/1336.40	c  1299s|490000 |489862 |938489 |   1.9 |1147M| 395 |   0 |4026 |4851 |4026 |2979 |  83k| 257 |6393 | 0.000000e+00 | 6.328700e+04 |    Inf 
1360.66/1360.68	c  1323s|500000 |499862 |947427 |   1.9 |1170M| 395 |   0 |4026 |4851 |4026 |2979 |  85k| 257 |6393 | 0.000000e+00 | 6.328700e+04 |    Inf 
1384.97/1384.94	c  1346s|510000 |509862 |956554 |   1.9 |1193M| 395 |   0 |4026 |4851 |4026 |2979 |  86k| 257 |6393 | 0.000000e+00 | 6.328700e+04 |    Inf 
1411.96/1411.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1411.96/1411.90	c  1373s|520000 |519862 |975494 |   1.9 |1216M| 395 |   0 |4026 |4851 |4026 |2979 |  88k| 257 |6673 | 0.000000e+00 | 6.328700e+04 |    Inf 
1438.87/1438.86	c  1399s|530000 |529858 |995329 |   1.9 |1239M| 395 |  26 |4026 |4850 |4026 |2978 |  90k| 259 |6939 | 0.000000e+00 | 6.328700e+04 |    Inf 
1463.76/1463.73	c  1423s|540000 |539854 |  1008k|   1.9 |1262M| 395 |   0 |4026 |4853 |4026 |2978 |  92k| 262 |6976 | 0.000000e+00 | 6.328700e+04 |    Inf 
1488.27/1488.26	c  1447s|550000 |549854 |  1019k|   1.8 |1285M| 395 |  45 |4026 |4852 |4026 |2944 |  93k| 262 |6986 | 0.000000e+00 | 6.328700e+04 |    Inf 
1513.76/1513.75	c  1472s|560000 |559850 |  1037k|   1.8 |1308M| 395 |   0 |4026 |4853 |4026 |2983 |  95k| 265 |7042 | 0.000000e+00 | 6.328700e+04 |    Inf 
1539.06/1539.02	c  1496s|570000 |569846 |  1056k|   1.8 |1331M| 395 |   2 |4026 |4854 |4026 |2944 |  97k| 267 |7068 | 0.000000e+00 | 6.328700e+04 |    Inf 
1564.27/1564.28	c  1521s|580000 |579846 |  1069k|   1.8 |1353M| 395 |   0 |4026 |4853 |4026 |2981 |  99k| 267 |7192 | 0.000000e+00 | 6.328700e+04 |    Inf 
1590.16/1590.14	c  1546s|590000 |589844 |  1083k|   1.8 |1376M| 395 |   0 |4026 |4853 |4026 |2983 | 101k| 268 |7480 | 0.000000e+00 | 6.328700e+04 |    Inf 
1615.17/1615.15	c  1570s|600000 |599844 |  1095k|   1.8 |1399M| 395 |   0 |4026 |4853 |4026 |2983 | 103k| 268 |7594 | 0.000000e+00 | 6.328700e+04 |    Inf 
1639.87/1639.84	c  1594s|610000 |609842 |  1108k|   1.8 |1422M| 395 |   0 |4026 |4854 |4026 |2981 | 105k| 269 |7620 | 0.000000e+00 | 6.328700e+04 |    Inf 
1665.86/1665.81	c  1620s|620000 |619838 |  1126k|   1.8 |1445M| 395 |   0 |4026 |4854 |4026 |2971 | 107k| 271 |7733 | 0.000000e+00 | 6.328700e+04 |    Inf 
1691.17/1691.19	c  1644s|630000 |629834 |  1143k|   1.8 |1468M| 395 |   0 |4026 |4856 |4026 |2979 | 108k| 274 |7797 | 0.000000e+00 | 6.328700e+04 |    Inf 
1716.28/1716.26	c  1669s|640000 |639832 |  1160k|   1.8 |1491M| 395 |   0 |4026 |4856 |4026 |2979 | 110k| 275 |7819 | 0.000000e+00 | 6.328700e+04 |    Inf 
1741.07/1741.09	c  1693s|650000 |649832 |  1172k|   1.8 |1514M| 395 |   0 |4026 |4856 |4026 |2979 | 112k| 275 |7894 | 0.000000e+00 | 6.328700e+04 |    Inf 
1766.87/1766.80	c  1718s|660000 |659832 |  1185k|   1.8 |1537M| 395 |  64 |4026 |4855 |4026 |2963 | 114k| 275 |8102 | 0.000000e+00 | 6.328700e+04 |    Inf 
1791.98/1791.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1791.98/1791.94	c  1742s|670000 |669832 |  1196k|   1.8 |1559M| 395 |  89 |4026 |4855 |4026 |2944 | 116k| 275 |8247 | 0.000000e+00 | 6.328700e+04 |    Inf 
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00	c 
1800.08/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.00	c Solving Time (sec) : 1750.02
1800.08/1800.00	c Solving Nodes      : 673195
1800.08/1800.00	c Primal Bound       : +6.32870000000000e+04 (100 solutions)
1800.08/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.00	c Gap                : infinite
1800.08/1800.03	s SATISFIABLE
1800.08/1800.03	v -x1612 x1611 x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 x1594 
1800.08/1800.03	v x1593 x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 
1800.08/1800.03	v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 
1800.08/1800.03	v -x1557 -x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 x1540 -x1539 
1800.08/1800.03	v -x1538 -x1537 -x1536 -x1535 x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
1800.08/1800.03	v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 
1800.08/1800.03	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
1800.08/1800.03	v -x1484 -x1483 -x1482 x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 
1800.08/1800.03	v -x1466 -x1465 -x1464 x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 
1800.08/1800.03	v -x1448 -x1447 x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 
1800.08/1800.03	v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 -x1413 
1800.08/1800.03	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 
1800.08/1800.03	v -x1393 -x1392 -x1391 x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 
1800.08/1800.03	v -x1375 -x1374 -x1373 -x1372 -x1371 x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 
1800.08/1800.03	v -x1357 -x1356 x1355 -x1354 -x1353 -x1352 -x1351 x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 x1343 -x1342 -x1341 -x1340 -x1339 
1800.08/1800.03	v -x1338 x1337 x1336 x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 
1800.08/1800.03	v -x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 x1311 -x1310 x1309 -x1308 -x1307 x1306 x1305 -x1304 -x1303 -x1302 
1800.08/1800.03	v -x1301 x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 x1292 -x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
1800.08/1800.03	v -x1283 x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 
1800.08/1800.03	v -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 x1254 -x1253 -x1252 x1251 x1250 -x1249 x1248 -x1247 
1800.08/1800.03	v x1246 x1245 x1244 -x1243 -x1242 -x1241 x1240 -x1239 x1238 -x1237 -x1236 x1235 x1234 -x1233 -x1232 -x1231 -x1230 x1229 x1228 
1800.08/1800.03	v x1227 -x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 x1218 x1217 -x1216 -x1215 -x1214 x1213 x1212 -x1211 -x1210 -x1209 
1800.08/1800.03	v x1208 -x1207 -x1206 -x1205 -x1204 x1203 x1202 -x1201 -x1200 -x1199 -x1198 x1197 x1196 x1195 -x1194 x1193 -x1192 -x1191 -x1190 
1800.08/1800.03	v -x1189 x1188 -x1187 x1186 -x1185 -x1184 -x1183 x1182 x1181 -x1180 -x1179 -x1178 x1177 x1176 -x1175 -x1174 -x1173 x1172 -x1171 
1800.08/1800.03	v -x1170 x1169 x1168 -x1167 -x1166 -x1165 x1164 x1163 -x1162 -x1161 -x1160 x1159 x1158 -x1157 -x1156 -x1155 -x1154 x1153 x1152 
1800.08/1800.03	v x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 x1136 -x1135 -x1134 
1800.08/1800.03	v -x1133 x1132 -x1131 x1130 x1129 x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 
1800.08/1800.03	v -x1114 -x1113 x1112 x1111 x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 
1800.08/1800.03	v x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 x1089 -x1088 -x1087 -x1086 x1085 x1084 x1083 -x1082 x1081 -x1080 -x1079 -x1078 
1800.08/1800.03	v -x1077 -x1076 x1075 -x1074 x1073 -x1072 -x1071 -x1070 x1069 x1068 x1067 x1066 -x1065 -x1064 x1063 -x1062 x1061 -x1060 -x1059 
1800.08/1800.03	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
1800.08/1800.03	v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
1800.08/1800.03	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
1800.08/1800.03	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 
1800.08/1800.03	v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 
1800.08/1800.03	v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 
1800.08/1800.03	v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 
1800.08/1800.03	v -x922 x921 -x920 -x919 -x918 -x917 x916 -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 
1800.08/1800.03	v -x900 -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 
1800.08/1800.03	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 
1800.08/1800.03	v -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 
1800.08/1800.03	v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
1800.08/1800.03	v -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 
1800.08/1800.03	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 
1800.08/1800.03	v -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 
1800.08/1800.03	v -x753 -x752 x751 x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 
1800.08/1800.03	v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 
1800.08/1800.03	v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 
1800.08/1800.03	v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 
1800.08/1800.03	v -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
1800.08/1800.03	v -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 x634 x633 -x632 x631 -x630 -x629 -x628 -x627 
1800.08/1800.03	v -x626 -x625 -x624 -x623 -x622 -x621 x620 x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 
1800.08/1800.03	v -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 x593 x592 x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 
1800.08/1800.03	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 
1800.08/1800.03	v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
1800.08/1800.03	v -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 x527 x526 -x525 -x524 x523 -x522 -x521 -x520 
1800.08/1800.03	v -x519 x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 
1800.08/1800.03	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 
1800.08/1800.03	v -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 
1800.08/1800.03	v -x455 x454 x453 x452 x451 x450 -x449 -x448 -x447 x446 x445 -x444 -x443 -x442 -x441 x440 x439 -x438 x437 -x436 -x435 -x434 x433 
1800.08/1800.03	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 x419 x418 -x417 -x416 x415 -x414 -x413 -x412 
1800.08/1800.03	v -x411 x410 x409 x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 x400 -x399 -x398 x397 -x396 -x395 -x394 x393 x392 x391 x390 x389 
1800.08/1800.03	v -x388 x387 x386 x385 x384 x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373 x372 x371 -x370 -x369 x368 -x367 -x366 
1800.08/1800.03	v x365 -x364 -x363 x362 x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 x347 -x346 -x345 -x344 
1800.08/1800.03	v -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 
1800.08/1800.03	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 x312 x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 
1800.08/1800.03	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 x284 x283 x282 -x281 -x280 
1800.08/1800.03	v x279 x278 x277 -x276 -x275 -x274 x273 x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 x257 
1800.08/1800.03	v x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 -x243 x242 x241 -x240 -x239 -x238 x237 x236 -x235 
1800.08/1800.03	v -x234 -x233 -x232 x231 -x230 x229 -x228 x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 x218 -x217 x216 -x215 -x214 -x213 
1800.08/1800.03	v -x212 x211 -x210 -x209 -x208 x207 x206 x205 x204 x203 -x202 -x201 x200 -x199 -x198 -x197 x196 -x195 -x194 x193 -x192 x191 -x190 
1800.08/1800.03	v x189 x188 -x187 -x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 -x173 x172 x171 -x170 -x169 -x168 
1800.08/1800.03	v -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1800.08/1800.03	v -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 -x138 -x137 x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.08/1800.03	v -x124 -x123 -x122 -x121 x120 -x119 -x118 x117 x116 x115 -x114 x113 -x112 -x111 -x110 -x109 x108 x107 x106 -x105 -x104 x103 
1800.08/1800.03	v x102 -x101 x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 x91 -x90 x89 -x88 -x87 x86 x85 x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 
1800.08/1800.03	v x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 x59 x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 
1800.08/1800.03	v -x49 x48 x47 -x46 x45 -x44 -x43 x42 x41 -x40 -x39 -x38 x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 
1800.08/1800.03	v x22 x21 x20 -x19 -x18 -x17 x16 x15 -x14 x13 x12 -x11 -x10 -x9 -x8 x7 -x6 x5 x4 x3 -x2 -x1 
1800.08/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.03	c Solving Time       :    1750.02
1800.08/1800.03	c Original Problem   :
1800.08/1800.03	c   Problem name     : HOME/instance-2692405-1277914805.wbo
1800.08/1800.03	c   Variables        : 4106 (2859 binary, 0 integer, 0 implicit integer, 1247 continuous)
1800.08/1800.03	c   Constraints      : 4901 initial, 4901 maximal
1800.08/1800.03	c Presolved Problem  :
1800.08/1800.03	c   Problem name     : t_HOME/instance-2692405-1277914805.wbo
1800.08/1800.03	c   Variables        : 4026 (2782 binary, 0 integer, 0 implicit integer, 1244 continuous)
1800.08/1800.03	c   Constraints      : 4768 initial, 4954 maximal
1800.08/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.03	c   dualfix          :       0.00          6          0          0          0          0          0          0          0
1800.08/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.03	c   implics          :       0.00          0         53          0          0          0          0          0          0
1800.08/1800.03	c   probing          :       0.27          0         11          0          0          0          0          0          0
1800.08/1800.03	c   indicator        :       0.00          0          0          0          0          0          3          0          0
1800.08/1800.03	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.03	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.03	c   linear           :       0.05          5          5          0       1249          0        130        190        382
1800.08/1800.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.03	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.03	c   integral         :          0          0          0     685636          0          0         58          0          0     192998
1800.08/1800.03	c   indicator        :       1244          0    1663981     589097          0          0     310056          0          0          0
1800.08/1800.03	c   varbound         :          1          6     635034     165390          0          0       3226          1          0          0
1800.08/1800.03	c   knapsack         :        248          6    1663981     589097          0        118      74373        836          0          0
1800.08/1800.03	c   linear           :       1243          6    1663863     589097          0          0     244166     115842          0          0
1800.08/1800.03	c   logicor          :       2032+         6    1111551     576610          0          5    1517252          0          0          0
1800.08/1800.03	c   countsols        :          0          0          0     576610          0          0          0          0          0          0
1800.08/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.03	c   integral         :      76.69       0.00       0.00      76.69       0.00
1800.08/1800.03	c   indicator        :      87.17       0.00      21.34      65.83       0.00
1800.08/1800.03	c   varbound         :       0.03       0.00       0.03       0.00       0.00
1800.08/1800.03	c   knapsack         :       6.68       0.03       4.72       1.93       0.00
1800.08/1800.03	c   linear           :      62.99       0.00      12.92      50.07       0.00
1800.08/1800.03	c   logicor          :      22.09       0.00       3.73      18.36       0.00
1800.08/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.03	c   vbounds          :       0.03      16326          0          0
1800.08/1800.03	c   rootredcost      :       0.00          1          0          0
1800.08/1800.03	c   pseudoobj        :      45.49    1661770          0          0
1800.08/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.03	c   propagation      :       0.00        123        123        283       10.7         10        7.6          -
1800.08/1800.03	c   infeasible LP    :       0.04         77         77         79        3.9          0        0.0          0
1800.08/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.03	c   applied globally :          -          -          -        277        8.3          -          -          -
1800.08/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.03	c   cut pool         :       0.00          5          -          -        453          -    (maximal pool size: 1969)
1800.08/1800.03	c   redcost          :      55.49     685636          0          0          0          0
1800.08/1800.04	c   impliedbounds    :       0.00          6          0          0          6          0
1800.08/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.04	c   gomory           :       0.26          6          0          0       1575          0
1800.08/1800.04	c   strongcg         :       0.21          6          0          0         52          0
1800.08/1800.04	c   cmir             :       0.18          6          0          0        500          0
1800.08/1800.04	c   flowcover        :       0.29          6          0          0       1202          0
1800.08/1800.04	c   clique           :       0.00          6          0          0         11          0
1800.08/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.04	c Pricers            :       Time      Calls       Vars
1800.08/1800.04	c   problem variables:       0.00          0          0
1800.08/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.04	c   relpscost        :      76.58      96539          0         58          0          0     192998
1800.08/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.04	c   inference        :     123.06     576610          0          0          0          0    1153220
1800.08/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.04	c   LP solutions     :       0.00          -          0
1800.08/1800.04	c   pseudo solutions :       0.00          -          0
1800.08/1800.04	c   oneopt           :       0.10          1          0
1800.08/1800.04	c   feaspump         :       0.09          1          0
1800.08/1800.04	c   intshifting      :       0.08          7          0
1800.08/1800.04	c   crossover        :       0.40         11          0
1800.08/1800.04	c   pscostdiving     :       6.64       3152          0
1800.08/1800.04	c   coefdiving       :       6.24       3211          0
1800.08/1800.04	c   guideddiving     :       5.34       3341          0
1800.08/1800.04	c   fracdiving       :       5.10       3350          0
1800.08/1800.04	c   veclendiving     :       4.75       3404          0
1800.08/1800.04	c   linesearchdiving :       4.69       3404          0
1800.08/1800.04	c   objpscostdiving  :       3.97       2946          0
1800.08/1800.04	c   rootsoldiving    :       3.73       3402          0
1800.08/1800.04	c   trivial          :       0.00          2          0
1800.08/1800.04	c   simplerounding   :       0.02      90362          0
1800.08/1800.04	c   zirounding       :       0.04       1000          0
1800.08/1800.04	c   rounding         :       0.56       4226          0
1800.08/1800.04	c   shifting         :       1.85       1329          0
1800.08/1800.04	c   twoopt           :       0.00          0          0
1800.08/1800.04	c   fixandinfer      :       0.00          0          0
1800.08/1800.04	c   intdiving        :       0.00          0          0
1800.08/1800.04	c   actconsdiving    :       0.00          0          0
1800.08/1800.04	c   octane           :       0.00          0          0
1800.08/1800.04	c   rens             :       0.16          1          0
1800.08/1800.04	c   rins             :       0.00          0          0
1800.08/1800.04	c   localbranching   :       0.00          0          0
1800.08/1800.04	c   mutation         :       0.00          0          0
1800.08/1800.04	c   dins             :       0.00          0          0
1800.08/1800.04	c   undercover       :       0.00          0          0
1800.08/1800.04	c   nlp              :       0.00          0          0
1800.08/1800.04	c   trysol           :       0.17       5017        100
1800.08/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.04	c   dual LP          :     837.23     107430    1153014      10.73    1377.18
1800.08/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.04	c   diving/probing LP:      11.58       4078      48757      11.96    4210.45
1800.08/1800.04	c   strong branching :      74.26       8292     250967      30.27    3379.57
1800.08/1800.04	c     (at root node) :          -         29      18200     627.59          -
1800.08/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.04	c B&B Tree           :
1800.08/1800.04	c   number of runs   :          1
1800.08/1800.04	c   nodes            :     673195
1800.08/1800.04	c   nodes (total)    :     673195
1800.08/1800.04	c   nodes left       :     673023
1800.08/1800.04	c   max depth        :        395
1800.08/1800.04	c   max depth (total):        395
1800.08/1800.04	c   backtracks       :       3435 (0.5%)
1800.08/1800.04	c   delayed cutoffs  :          1
1800.08/1800.04	c   repropagations   :       1778 (224 domain reductions, 1 cutoffs)
1800.08/1800.04	c   avg switch length:       2.17
1800.08/1800.04	c   switching time   :      62.93
1800.08/1800.04	c Solution           :
1800.08/1800.04	c   Solutions found  :        100 (1 improvements)
1800.08/1800.04	c   First Solution   : +6.32870000000000e+04   (in run 1, after 1 nodes, 0.52 seconds, depth 0, found by <trysol>)
1800.08/1800.04	c   Primal Bound     : +6.32870000000000e+04   (in run 1, after 1 nodes, 0.52 seconds, depth 0, found by <trysol>)
1800.08/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.04	c   Gap              :   infinite
1800.08/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.04	c   Root Iterations  :       4936
1800.98/1800.96	c Time complete: 1801.04.

Verifier Data 

OK	4430

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 15341
/proc/meminfo: memFree=30788520/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=9128 CPUtime=0
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1604 0 0 0 0 0 0 0 21 0 1 0 132775436 9347072 1523 4089446400 4194304 8223781 140733913000288 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15341/statm: 2282 1523 369 984 0 1295 0

[startup+0.0237139 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 15341
/proc/meminfo: memFree=30788520/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=12988 CPUtime=0.01
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 2553 0 0 0 1 0 0 0 21 0 1 0 132775436 13299712 2472 4089446400 4194304 8223781 140733913000288 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15341/statm: 3247 2472 369 984 0 2260 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12988

[startup+0.10069 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 15341
/proc/meminfo: memFree=30788520/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=30512 CPUtime=0.09
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 8572 0 0 0 7 2 0 0 21 0 1 0 132775436 31244288 6585 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 7628 6585 461 984 0 6641 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30512

[startup+0.30066 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 15341
/proc/meminfo: memFree=30788520/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=32516 CPUtime=0.29
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 10408 0 0 0 25 4 0 0 21 0 1 0 132775436 33296384 7131 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 8129 7131 486 984 0 7142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32516

[startup+0.700573 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 15341
/proc/meminfo: memFree=30788520/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=40792 CPUtime=0.69
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 14686 0 0 0 60 9 0 0 22 0 1 0 132775436 41771008 9242 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 10198 9242 600 984 0 9211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40792

[startup+1.50041 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 15342
/proc/meminfo: memFree=30754040/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=44760 CPUtime=1.49
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 16296 0 0 0 136 13 0 0 25 0 1 0 132775436 45834240 10071 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 11190 10071 589 984 0 10203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44760

[startup+3.10109 s]
/proc/loadavg: 1.85 1.97 1.99 3/179 15343
/proc/meminfo: memFree=30749496/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=52488 CPUtime=3.09
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 30569 0 0 0 287 22 0 0 25 0 1 0 132775436 53747712 12053 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 13122 12053 604 984 0 12135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52488

[startup+6.30045 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 15343
/proc/meminfo: memFree=30739948/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=52488 CPUtime=6.29
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 30569 0 0 0 601 28 0 0 25 0 1 0 132775436 53747712 12053 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 13122 12053 604 984 0 12135 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52488

[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 1.99 3/179 15343
/proc/meminfo: memFree=30737048/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=52488 CPUtime=12.69
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 30569 0 0 0 1227 42 0 0 25 0 1 0 132775436 53747712 12053 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 13122 12053 604 984 0 12135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52488

[startup+25.5006 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 15344
/proc/meminfo: memFree=30730100/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=52488 CPUtime=25.49
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 30569 0 0 0 2478 71 0 0 25 0 1 0 132775436 53747712 12053 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 13122 12053 604 984 0 12135 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52488

[startup+51.1005 s]
/proc/loadavg: 1.93 1.97 1.99 3/179 15344
/proc/meminfo: memFree=30711492/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=52488 CPUtime=51.09
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 30624 0 0 0 4973 136 0 0 25 0 1 0 132775436 53747712 12108 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 13122 12108 607 984 0 12135 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52488

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 15346
/proc/meminfo: memFree=30655140/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=82620 CPUtime=102.3
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 156701 0 0 0 9918 312 0 0 25 0 1 0 132775436 84602880 19467 4089446400 4194304 8223781 140733913000288 18446744073709551615 6483734 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 20655 19467 609 984 0 19668 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 82620

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 15347
/proc/meminfo: memFree=30571996/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=136492 CPUtime=162.3
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 237855 0 0 0 15713 517 0 0 25 0 1 0 132775436 139767808 33042 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 34123 33042 609 984 0 33136 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 136492

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 15348
/proc/meminfo: memFree=30486728/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=188448 CPUtime=222.3
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 380072 0 0 0 21499 731 0 0 25 0 1 0 132775436 192970752 46114 4089446400 4194304 8223781 140733913000288 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 47112 46114 610 984 0 46125 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 188448

[startup+282.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/197 15417
/proc/meminfo: memFree=30836780/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=242848 CPUtime=282.3
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 440911 0 0 0 27332 898 0 0 25 0 1 0 132775436 248676352 59293 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 60712 59293 609 984 0 59725 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 242848

[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15419
/proc/meminfo: memFree=30768056/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=295980 CPUtime=342.31
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 518630 0 0 0 33170 1061 0 0 25 0 1 0 132775436 303083520 72570 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 73995 72570 609 984 0 73008 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 295980

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15421
/proc/meminfo: memFree=30702532/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=349952 CPUtime=402.31
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 587366 0 0 0 39013 1218 0 0 25 0 1 0 132775436 358350848 86180 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 87488 86180 609 984 0 86501 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 349952

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15422
/proc/meminfo: memFree=30646180/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=404288 CPUtime=462.31
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 660235 0 0 0 44857 1374 0 0 25 0 1 0 132775436 413990912 99927 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 101072 99927 609 984 0 100085 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 404288

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/197 15423
/proc/meminfo: memFree=30577308/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=460580 CPUtime=522.32
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 685815 0 0 0 50702 1530 0 0 25 0 1 0 132775436 471633920 114075 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 115145 114075 609 984 0 114158 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 460580

[startup+582.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/197 15425
/proc/meminfo: memFree=30499380/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=516576 CPUtime=582.32
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 724328 0 0 0 56541 1691 0 0 25 0 1 0 132775436 528973824 127167 4089446400 4194304 8223781 140733913000288 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 129144 127167 609 984 0 128157 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 516576

[startup+642.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/197 15427
/proc/meminfo: memFree=30413024/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=561152 CPUtime=642.32
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 868147 0 0 0 62378 1854 0 0 25 0 1 0 132775436 574619648 138386 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 140288 138386 609 984 0 139301 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 561152

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/197 15440
/proc/meminfo: memFree=29996432/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=870112 CPUtime=1002.33
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1129810 0 0 0 97411 2822 0 0 25 0 1 0 132775436 890994688 216168 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 217528 216168 609 984 0 216541 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 870112

[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.00 10/197 15441
/proc/meminfo: memFree=29937904/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=927256 CPUtime=1062.34
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1165752 0 0 0 103248 2986 0 0 25 0 1 0 132775436 949510144 230548 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 231814 230548 626 984 0 230827 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 927256

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/197 15442
/proc/meminfo: memFree=29881396/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=983036 CPUtime=1122.34
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1203281 0 0 0 109077 3157 0 0 25 0 1 0 132775436 1006628864 244590 4089446400 4194304 8223781 140733913000288 18446744073709551615 6444631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 245759 244590 622 984 0 244772 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 983036

[startup+1182.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/197 15444
/proc/meminfo: memFree=29829900/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1034144 CPUtime=1182.35
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1244509 0 0 0 114915 3320 0 0 25 0 1 0 132775436 1058963456 257459 4089446400 4194304 8223781 140733913000288 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 258536 257459 609 984 0 257549 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 1034144

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/197 15446
/proc/meminfo: memFree=29776296/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1086152 CPUtime=1242.35
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1288518 0 0 0 120749 3486 0 0 25 0 1 0 132775436 1112219648 270552 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 271538 270552 614 984 0 270551 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1086152

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/197 15448
/proc/meminfo: memFree=29723672/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1146336 CPUtime=1302.36
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1333885 0 0 0 126587 3649 0 0 25 0 1 0 132775436 1173848064 283642 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 286584 283642 609 984 0 285597 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 1146336

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/197 15449
/proc/meminfo: memFree=29666860/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1202880 CPUtime=1362.35
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1366016 0 0 0 132423 3812 0 0 25 0 1 0 132775436 1231749120 297876 4089446400 4194304 8223781 140733913000288 18446744073709551615 6003880 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 300720 297876 614 984 0 299733 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1202880

[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 15450
/proc/meminfo: memFree=29612024/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1256768 CPUtime=1422.36
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1424304 0 0 0 138271 3965 0 0 25 0 1 0 132775436 1286930432 311439 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 314192 311439 609 984 0 313205 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1256768

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15452
/proc/meminfo: memFree=29557152/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1310240 CPUtime=1482.36
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1472687 0 0 0 144105 4131 0 0 25 0 1 0 132775436 1341685760 324899 4089446400 4194304 8223781 140733913000288 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 327560 324899 618 984 0 326573 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 1310240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 15454
/proc/meminfo: memFree=29497204/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1361664 CPUtime=1542.37
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1521444 0 0 0 149940 4297 0 0 25 0 1 0 132775436 1394343936 337848 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 340416 337848 609 984 0 339429 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 1361664

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/197 15456
/proc/meminfo: memFree=29441120/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1414632 CPUtime=1602.37
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1587135 0 0 0 155778 4459 0 0 25 0 1 0 132775436 1448583168 351182 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 353658 351182 609 984 0 352671 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 1414632

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 15457
/proc/meminfo: memFree=29381808/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1466780 CPUtime=1662.36
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1637607 0 0 0 161617 4619 0 0 25 0 1 0 132775436 1501982720 364312 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 366695 364312 609 984 0 365708 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1466780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15458
/proc/meminfo: memFree=29316304/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1518828 CPUtime=1722.37
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1675663 0 0 0 167450 4787 0 0 25 0 1 0 132775436 1555279872 377418 4089446400 4194304 8223781 140733913000288 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 379707 377418 609 984 0 378720 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1518828

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15460
/proc/meminfo: memFree=29254472/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1574604 CPUtime=1782.37
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1723586 0 0 0 173281 4956 0 0 25 0 1 0 132775436 1612394496 391452 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 393651 391452 609 984 0 392664 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 1574604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15460
/proc/meminfo: memFree=29234620/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1593532 CPUtime=1800.08
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1735769 0 0 0 175004 5004 0 0 25 0 1 0 132775436 1631776768 396213 4089446400 4194304 8223781 140733913000288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15341/statm: 398383 396213 609 984 0 397396 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1593532

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/198 15461
/proc/meminfo: memFree=29538660/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=1282336 CPUtime=1800.68
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1735771 0 0 0 175063 5005 0 0 18 0 1 0 132775436 1313112064 318416 4089446400 4194304 8223781 140733913000288 18446744073709551615 4212608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15341/statm: 320584 318416 611 984 0 319597 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 1282336

[startup+1800.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/198 15461
/proc/meminfo: memFree=29538660/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=684288 CPUtime=1800.87
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1735771 0 0 0 175079 5008 0 0 18 0 1 0 132775436 700710912 168648 4089446400 4194304 8223781 140733913000288 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15341/statm: 170816 168648 611 984 0 169829 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 684288

[startup+1800.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/198 15461
/proc/meminfo: memFree=29538660/32950928 swapFree=67111528/67111528
[pid=15341] ppid=15339 vsize=414028 CPUtime=1800.98
/proc/15341/stat : 15341 (pbscip.linux.x8) R 15339 15341 14998 0 -1 4202496 1735771 0 0 0 175088 5010 0 0 19 0 1 0 132775436 423964672 101339 4089446400 4194304 8223781 140733913000288 18446744073709551615 6207162 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15341/statm: 103507 101339 611 984 0 102520 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 414028

Child status: 0
Real time (s): 1800.97
CPU time (s): 1801.05
CPU user time (s): 1750.93
CPU system time (s): 50.1154
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1593532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.93
system time used= 50.1154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1735775
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= 3
involuntary context switches= 1396

runsolver used 2.55861 second user time and 5.71513 second system time

The end

Launcher Data 

Begin job on node149 at 2010-06-30 18:20:05
IDJOB=2692405
IDBENCH=79041
IDSOLVER=1204
FILE ID=node149/2692405-1277914805
PBS_JOBID= 11197305
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-46s.smv--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692405-1277914805/watcher-2692405-1277914805 -o /tmp/evaluation-result-2692405-1277914805/solver-2692405-1277914805 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692405-1277914805.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0c4c750d54c7b762c4dc52b4dc547a5f
RANDOM SEED=1412069220

node149.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.831
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.66
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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.831
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.831
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.831
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.831
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.68
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.831
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.831
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:      30789792 kB
Buffers:        201276 kB
Cached:        1275644 kB
SwapCached:          0 kB
Active:         989728 kB
Inactive:      1023644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30789792 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4900 kB
Writeback:           0 kB
AnonPages:      536396 kB
Mapped:          16936 kB
Slab:            82580 kB
PageTables:       5696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   704800 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= 74204 MiB
End job on node149 at 2010-06-30 18:50:08