Trace number 3447425

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.24 1800.2

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-33-100-0.wbo
MD5SUM40b347a62af31a808b4e2de550ac7867
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.017996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1190
Total number of constraints3183
Number of soft constraints2165
Number of constraints which are clauses3055
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints128
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 109769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 109768
Biggest number in a constraint 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 136
Number of bits of the biggest sum of numbers8
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-3447425-1307899897.wbo>
0.00/0.02	c original problem has 3355 variables (3355 bin, 0 int, 0 impl, 0 cont) and 3184 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.05	c presolving:
0.02/0.06	c (round 1) 11 del vars, 4 del conss, 0 add conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 2764 impls, 0 clqs
0.02/0.06	c (round 2) 11 del vars, 23 del conss, 0 add conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 2764 impls, 0 clqs
0.02/0.07	c (round 3) 12 del vars, 24 del conss, 0 add conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 2764 impls, 0 clqs
0.02/0.08	c (round 4) 13 del vars, 24 del conss, 0 add conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 997 upgd conss, 2764 impls, 0 clqs
0.19/0.25	c    (0.2s) probing: 408/3343 (12.2%) - 0 fixings, 3 aggregations, 8 implications, 0 bound changes
0.19/0.25	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.25	c (round 5) 16 del vars, 24 del conss, 0 add conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 997 upgd conss, 2810 impls, 0 clqs
0.19/0.26	c (round 6) 16 del vars, 27 del conss, 0 add conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 997 upgd conss, 2810 impls, 0 clqs
0.19/0.27	c    (0.3s) probing: 418/3343 (12.5%) - 0 fixings, 3 aggregations, 8 implications, 0 bound changes
0.19/0.27	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.19/0.27	c presolving (7 rounds):
0.19/0.27	c  16 deleted vars, 27 deleted constraints, 0 added constraints, 2164 tightened bounds, 0 added holes, 64 changed sides, 128 changed coefficients
0.19/0.27	c  4974 implications, 0 cliques
0.19/0.27	c presolved problem has 5504 variables (3340 bin, 0 int, 2164 impl, 0 cont) and 5322 constraints
0.19/0.27	c      32 constraints of type <knapsack>
0.19/0.27	c     650 constraints of type <setppc>
0.19/0.27	c    2164 constraints of type <linear>
0.19/0.27	c    2164 constraints of type <indicator>
0.19/0.27	c     312 constraints of type <logicor>
0.19/0.27	c transformed objective value is always integral (scale: 1)
0.19/0.27	c Presolving Time: 0.24
0.19/0.27	c - non default parameters ----------------------------------------------------------------------
0.19/0.27	c # SCIP version 2.0.1.4
0.19/0.27	c 
0.19/0.27	c # frequency for displaying node information lines
0.19/0.27	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27	c display/freq = 10000
0.19/0.27	c 
0.19/0.27	c # maximal time in seconds to run
0.19/0.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27	c limits/time = 1800
0.19/0.27	c 
0.19/0.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27	c limits/memory = 13950
0.19/0.27	c 
0.19/0.27	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.27	c # [type: int, range: [1,2], default: 1]
0.19/0.27	c timing/clocktype = 2
0.19/0.27	c 
0.19/0.27	c # belongs reading time to solving time?
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c timing/reading = TRUE
0.19/0.27	c 
0.19/0.27	c # should presolving try to simplify inequalities
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/linear/simplifyinequalities = TRUE
0.19/0.27	c 
0.19/0.27	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/indicator/addCouplingCons = TRUE
0.19/0.27	c 
0.19/0.27	c # should presolving try to simplify knapsacks
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27	c 
0.19/0.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.27	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27	c separating/rapidlearning/freq = 0
0.19/0.27	c 
0.19/0.27	c -----------------------------------------------------------------------------------------------
0.19/0.27	c start solving
0.19/0.28	c 
0.69/0.74	o 109717
0.69/0.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.74	c y 0.7s|     1 |     0 |     0 |     - |  18M|   0 |   - |5504 |7486 |5504 |3155 |   0 |   0 |   0 |      --      | 1.097170e+05 |    Inf 
0.69/0.76	c   0.8s|     1 |     0 |   423 |     - |  18M|   0 |  99 |5504 |7486 |5504 |3155 |   0 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.00/1.09	c   1.1s|     1 |     0 |   828 |     - |  20M|   0 | 268 |5504 |7486 |5504 |3223 |  68 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.19/1.23	c   1.2s|     1 |     0 |  1091 |     - |  20M|   0 | 337 |5504 |7486 |5504 |3330 | 175 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.29/1.38	c   1.4s|     1 |     0 |  1425 |     - |  20M|   0 | 391 |5504 |7486 |5504 |3413 | 258 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.49/1.54	c   1.5s|     1 |     0 |  1703 |     - |  21M|   0 | 427 |5504 |7486 |5504 |3510 | 355 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.69/1.73	c   1.7s|     1 |     0 |  2222 |     - |  21M|   0 | 454 |5504 |7486 |5504 |3596 | 441 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
1.89/1.97	c   2.0s|     1 |     0 |  2649 |     - |  21M|   0 | 447 |5504 |7486 |5504 |3672 | 517 |   0 |   0 | 0.000000e+00 | 1.097170e+05 |    Inf 
2.39/2.46	c   2.5s|     1 |     2 |  2649 |     - |  21M|   0 | 447 |5504 |7486 |5504 |3672 | 517 |   0 |  11 | 0.000000e+00 | 1.097170e+05 |    Inf 
98.69/98.71	c  98.7s| 10000 |  9963 |164674 |  16.2 |  59M|  79 | 106 |5504 |7539 |5504 |3386 | 600 |  56 |4688 | 0.000000e+00 | 1.097170e+05 |    Inf 
149.89/149.91	c   150s| 20000 | 19947 |256648 |  12.7 |  86M| 101 |  33 |5504 |7520 |5504 |3386 |1887 |  67 |5778 | 0.000000e+00 | 1.097170e+05 |    Inf 
180.60/180.66	o 1262
180.60/180.66	c * 181s| 26825 | 26040 |318823 |  11.8 | 103M| 101 |   - |5504 |7522 |5504 |3458 |2682 |  80 |5968 | 0.000000e+00 | 1.262000e+03 |    Inf 
232.49/232.56	c   233s| 30000 | 29207 |414160 |  13.7 | 112M| 101 | 137 |5504 |7710 |5504 |3386 |2781 | 728 |6041 | 0.000000e+00 | 1.262000e+03 |    Inf 
350.81/350.81	o 1052
350.81/350.81	c p 351s| 39601 | 37075 |597713 |  15.0 | 132M| 105 |   - |5504 |7773 |5504 |3517 |  20k|1112 |6356 | 0.000000e+00 | 1.052000e+03 |    Inf 
360.71/360.75	o 806
360.71/360.75	c r 361s| 39939 | 32323 |611355 |  15.2 | 119M| 105 |   1 |5504 |7778 |5504 |3516 |  22k|1171 |6379 | 0.000000e+00 | 8.060000e+02 |    Inf 
361.20/361.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
361.20/361.29	c   361s| 40000 | 32386 |612149 |  15.2 | 119M| 105 |  25 |5504 |7769 |5504 |3395 |  22k|1171 |6381 | 0.000000e+00 | 8.060000e+02 |    Inf 
489.81/489.88	o 795
489.81/489.88	c * 490s| 48146 | 40122 |789124 |  16.3 | 141M| 111 |   - |5504 |7934 |5504 |3478 |  45k|1799 |8064 | 0.000000e+00 | 7.950000e+02 |    Inf 
492.60/492.61	o 793
492.60/492.61	c r 493s| 48300 | 40182 |792638 |  16.4 | 141M| 111 |   1 |5504 |7907 |5504 |3468 |  45k|1813 |8087 | 0.000000e+00 | 7.930000e+02 |    Inf 
492.90/492.95	o 782
492.90/492.95	c * 493s| 48315 | 39807 |793083 |  16.4 | 140M| 111 |   - |5504 |7908 |5504 |3457 |  45k|1816 |8095 | 0.000000e+00 | 7.820000e+02 |    Inf 
514.60/514.66	o 781
514.60/514.66	c v 515s| 49472 | 40761 |820423 |  16.5 | 143M| 111 |   - |5504 |7904 |5504 |3386 |  50k|2015 |8342 | 0.000000e+00 | 7.810000e+02 |    Inf 
519.91/519.98	o 726
519.91/519.98	c * 520s| 49863 | 39424 |827803 |  16.5 | 138M| 111 |   - |5504 |7890 |5504 |3500 |  51k|2058 |8374 | 0.000000e+00 | 7.260000e+02 |    Inf 
522.20/522.21	c   522s| 50000 | 39525 |831394 |  16.6 | 138M| 111 |  18 |5504 |7904 |5504 |3412 |  51k|2118 |8386 | 0.000000e+00 | 7.260000e+02 |    Inf 
585.71/585.74	o 716
585.71/585.74	c * 586s| 54503 | 43032 |924014 |  16.9 | 150M| 111 |   - |5504 |8085 |5504 |3502 |  60k|3523 |9197 | 0.000000e+00 | 7.160000e+02 |    Inf 
666.52/666.52	c   667s| 60000 | 47429 |  1037k|  17.2 | 163M| 111 |   3 |5504 |8210 |5504 |3400 |  73k|5414 |  10k| 0.000000e+00 | 7.160000e+02 |    Inf 
814.61/814.66	c   815s| 70000 | 55615 |  1240k|  17.7 | 189M| 111 |   - |5504 |8239 |   0 |   0 |  98k|8595 |  11k| 0.000000e+00 | 7.160000e+02 |    Inf 
822.72/822.72	o 713
822.72/822.72	c * 823s| 70568 | 56011 |  1251k|  17.7 | 190M| 111 |   - |5504 |8190 |5504 |3459 |  99k|8785 |  11k| 0.000000e+00 | 7.130000e+02 |    Inf 
845.51/845.50	o 703
845.51/845.50	c * 846s| 71994 | 56879 |  1282k|  17.8 | 193M| 113 |   - |5504 |8226 |5504 |3447 | 103k|9281 |  12k| 0.000000e+00 | 7.030000e+02 |    Inf 
845.51/845.54	o 690
845.51/845.54	c * 846s| 71995 | 56339 |  1282k|  17.8 | 191M| 113 |   - |5504 |8226 |5504 |3450 | 103k|9281 |  12k| 0.000000e+00 | 6.900000e+02 |    Inf 
882.81/882.80	o 679
882.81/882.80	c * 883s| 74331 | 57890 |  1336k|  17.9 | 195M| 113 |   - |5504 |8225 |5504 |3446 | 109k|9949 |  12k| 0.000000e+00 | 6.790000e+02 |    Inf 
919.62/919.66	o 678
919.62/919.66	c f 920s| 76512 | 59579 |  1385k|  18.1 | 201M| 113 |   - |5504 |8222 |5504 |3386 | 116k|  10k|  12k| 0.000000e+00 | 6.780000e+02 |    Inf 
930.21/930.28	o 673
930.21/930.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
930.21/930.28	c f 930s| 77082 | 59814 |  1400k|  18.1 | 202M| 113 |   - |5504 |8268 |5504 |3386 | 118k|  10k|  13k| 0.000000e+00 | 6.730000e+02 |    Inf 
967.02/967.01	c   967s| 80000 | 62255 |  1452k|  18.1 | 210M| 113 |   2 |5504 |8364 |5504 |3411 | 123k|  11k|  13k| 0.000000e+00 | 6.730000e+02 |    Inf 
984.82/984.85	o 671
984.82/984.85	c * 985s| 81424 | 63336 |  1478k|  18.1 | 214M| 117 |   - |5504 |8386 |5504 |3478 | 126k|  12k|  13k| 0.000000e+00 | 6.710000e+02 |    Inf 
985.52/985.51	o 663
985.52/985.51	c * 986s| 81457 | 63029 |  1479k|  18.1 | 213M| 117 |   - |5504 |8390 |5504 |3467 | 126k|  12k|  13k| 0.000000e+00 | 6.630000e+02 |    Inf 
1004.72/1004.73	o 662
1004.72/1004.73	c g1005s| 82932 | 64242 |  1507k|  18.1 | 217M| 117 |   - |5504 |8398 |5504 |3386 | 129k|  12k|  13k| 0.000000e+00 | 6.620000e+02 |    Inf 
1048.42/1048.42	o 649
1048.42/1048.42	c *1048s| 86025 | 65971 |  1570k|  18.2 | 220M| 117 |   - |5504 |8430 |5504 |3477 | 136k|  13k|  13k| 0.000000e+00 | 6.490000e+02 |    Inf 
1048.42/1048.48	o 622
1048.42/1048.48	c *1048s| 86027 | 64574 |  1570k|  18.2 | 212M| 117 |   - |5504 |8428 |5504 |3478 | 136k|  13k|  13k| 0.000000e+00 | 6.220000e+02 |    Inf 
1048.52/1048.50	o 605
1048.52/1048.50	c *1049s| 86028 | 63323 |  1570k|  18.2 | 207M| 117 |   - |5504 |8428 |5504 |3478 | 136k|  13k|  13k| 0.000000e+00 | 6.050000e+02 |    Inf 
1062.92/1062.93	o 603
1062.92/1062.93	c l1063s| 86824 | 63769 |  1589k|  18.3 | 209M| 117 |   - |5504 |8359 |5504 |3386 | 138k|  14k|  14k| 0.000000e+00 | 6.030000e+02 |    Inf 
1065.62/1065.60	o 602
1065.62/1065.60	c l1066s| 87033 | 63872 |  1593k|  18.3 | 209M| 117 |   - |5504 |8322 |5504 |3386 | 139k|  14k|  14k| 0.000000e+00 | 6.020000e+02 |    Inf 
1068.02/1068.07	o 601
1068.02/1068.07	c f1068s| 87212 | 63948 |  1597k|  18.3 | 210M| 117 |   - |5504 |8332 |5504 |3386 | 139k|  14k|  14k| 0.000000e+00 | 6.010000e+02 |    Inf 
1079.92/1079.95	o 599
1079.92/1079.95	c v1080s| 87942 | 64316 |  1614k|  18.3 | 212M| 117 |   - |5504 |8288 |5504 |3386 | 142k|  14k|  14k| 0.000000e+00 | 5.990000e+02 |    Inf 
1116.42/1116.44	c  1116s| 90000 | 65456 |  1659k|  18.4 | 216M| 117 |   5 |5504 |8295 |5504 |3407 | 148k|  15k|  14k| 0.000000e+00 | 5.990000e+02 |    Inf 
1155.12/1155.16	o 597
1155.12/1155.16	c p1155s| 92602 | 67213 |  1713k|  18.5 | 222M| 117 |   - |5504 |8249 |5504 |3386 | 155k|  15k|  15k| 0.000000e+00 | 5.970000e+02 |    Inf 
1183.92/1183.93	o 594
1183.92/1183.93	c g1184s| 94592 | 68470 |  1754k|  18.5 | 226M| 117 |   - |5504 |8294 |5504 |3386 | 160k|  16k|  15k| 0.000000e+00 | 5.940000e+02 |    Inf 
1220.72/1220.79	o 592
1220.72/1220.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1220.72/1220.79	c l1221s| 96962 | 70076 |  1803k|  18.6 | 232M| 117 |   - |5504 |8256 |5504 |3386 | 166k|  17k|  15k| 0.000000e+00 | 5.920000e+02 |    Inf 
1235.63/1235.68	o 591
1235.63/1235.68	c v1236s| 98112 | 70830 |  1827k|  18.6 | 236M| 117 |   - |5504 |8292 |5504 |3386 | 168k|  17k|  15k| 0.000000e+00 | 5.910000e+02 |    Inf 
1261.22/1261.21	c  1261s|100000 | 72192 |  1864k|  18.6 | 241M| 117 |  28 |5504 |8252 |5504 |3387 | 173k|  18k|  16k| 0.000000e+00 | 5.910000e+02 |    Inf 
1284.22/1284.25	o 590
1284.22/1284.25	c g1284s|101902 | 73649 |  1900k|  18.6 | 248M| 117 |   - |5504 |8242 |5504 |3386 | 176k|  19k|  16k| 0.000000e+00 | 5.900000e+02 |    Inf 
1287.72/1287.76	o 588
1287.72/1287.76	c f1288s|102203 | 73692 |  1905k|  18.6 | 249M| 117 |   - |5504 |8294 |5504 |3386 | 176k|  19k|  16k| 0.000000e+00 | 5.880000e+02 |    Inf 
1289.32/1289.38	o 586
1289.32/1289.38	c g1289s|102323 | 73621 |  1908k|  18.6 | 249M| 117 |   - |5504 |8293 |5504 |3386 | 177k|  19k|  16k| 0.000000e+00 | 5.860000e+02 |    Inf 
1292.53/1292.58	o 581
1292.53/1292.58	c p1293s|102472 | 73196 |  1912k|  18.6 | 246M| 117 |   - |5504 |8243 |5504 |3386 | 177k|  19k|  16k| 0.000000e+00 | 5.810000e+02 |    Inf 
1307.32/1307.35	o 576
1307.32/1307.35	c g1307s|103252 | 73323 |  1932k|  18.7 | 247M| 117 |   - |5504 |8253 |5504 |3386 | 180k|  19k|  16k| 0.000000e+00 | 5.760000e+02 |    Inf 
1312.83/1312.82	o 575
1312.83/1312.82	c p1313s|103542 | 73422 |  1941k|  18.7 | 248M| 117 |   - |5504 |8265 |5504 |3386 | 181k|  19k|  16k| 0.000000e+00 | 5.750000e+02 |    Inf 
1321.53/1321.52	o 573
1321.53/1321.52	c l1322s|104082 | 73582 |  1952k|  18.7 | 249M| 117 |   - |5504 |8283 |5504 |3386 | 182k|  20k|  16k| 0.000000e+00 | 5.730000e+02 |    Inf 
1337.12/1337.19	o 567
1337.12/1337.19	c p1337s|105112 | 73586 |  1974k|  18.8 | 249M| 117 |   - |5504 |8281 |5504 |3386 | 185k|  20k|  16k| 0.000000e+00 | 5.670000e+02 |    Inf 
1354.23/1354.22	o 566
1354.23/1354.22	c c1354s|106312 | 74202 |  1999k|  18.8 | 253M| 117 |   - |5504 |8352 |5504 |3386 | 188k|  21k|  17k| 0.000000e+00 | 5.660000e+02 |    Inf 
1362.32/1362.35	o 563
1362.32/1362.35	c l1362s|106832 | 74196 |  2011k|  18.8 | 252M| 117 |   - |5504 |8347 |5504 |3386 | 189k|  21k|  17k| 0.000000e+00 | 5.630000e+02 |    Inf 
1364.33/1364.33	o 561
1364.33/1364.33	c f1364s|106962 | 74048 |  2014k|  18.8 | 250M| 117 |   - |5504 |8364 |5504 |3386 | 189k|  21k|  17k| 0.000000e+00 | 5.610000e+02 |    Inf 
1381.92/1381.90	o 555
1381.92/1381.90	c l1382s|108192 | 74318 |  2040k|  18.8 | 252M| 117 |   - |5504 |8303 |5504 |3386 | 192k|  22k|  17k| 0.000000e+00 | 5.550000e+02 |    Inf 
1387.63/1387.60	o 553
1387.63/1387.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1387.63/1387.60	c p1388s|108542 | 74276 |  2048k|  18.9 | 253M| 117 |   - |5504 |8291 |5504 |3386 | 193k|  22k|  17k| 0.000000e+00 | 5.530000e+02 |    Inf 
1394.92/1394.95	o 552
1394.92/1394.95	c v1395s|109043 | 74483 |  2060k|  18.9 | 254M| 117 |   - |5504 |8248 |5504 |3386 | 195k|  22k|  17k| 0.000000e+00 | 5.520000e+02 |    Inf 
1405.32/1405.34	o 546
1405.32/1405.34	c *1405s|109635 | 74302 |  2073k|  18.9 | 253M| 117 |   - |5504 |8256 |5504 |3441 | 196k|  22k|  17k| 0.000000e+00 | 5.460000e+02 |    Inf 
1409.03/1409.06	o 544
1409.03/1409.06	c p1409s|109902 | 74271 |  2078k|  18.9 | 254M| 117 |   - |5504 |8289 |5504 |3386 | 197k|  22k|  17k| 0.000000e+00 | 5.440000e+02 |    Inf 
1410.33/1410.32	c  1410s|110000 | 74341 |  2080k|  18.9 | 254M| 117 |  30 |5504 |8311 |5504 |3392 | 197k|  22k|  17k| 0.000000e+00 | 5.440000e+02 |    Inf 
1414.13/1414.10	o 542
1414.13/1414.10	c c1414s|110252 | 74330 |  2085k|  18.9 | 254M| 117 |   - |5504 |8327 |5504 |3386 | 198k|  22k|  17k| 0.000000e+00 | 5.420000e+02 |    Inf 
1461.02/1461.02	o 540
1461.02/1461.02	c p1461s|113232 | 75920 |  2151k|  19.0 | 261M| 117 |   - |5504 |8477 |5504 |3386 | 206k|  24k|  17k| 0.000000e+00 | 5.400000e+02 |    Inf 
1476.83/1476.86	o 538
1476.83/1476.86	c p1477s|114072 | 76251 |  2173k|  19.0 | 263M| 117 |   - |5504 |8386 |5504 |3386 | 209k|  24k|  18k| 0.000000e+00 | 5.380000e+02 |    Inf 
1486.83/1486.85	o 537
1486.83/1486.85	c f1487s|114693 | 76489 |  2187k|  19.0 | 264M| 117 |   - |5504 |8338 |5504 |3386 | 211k|  25k|  18k| 0.000000e+00 | 5.370000e+02 |    Inf 
1496.53/1496.54	o 536
1496.53/1496.54	c f1497s|115322 | 76766 |  2201k|  19.1 | 266M| 117 |   - |5504 |8393 |5504 |3386 | 212k|  25k|  18k| 0.000000e+00 | 5.360000e+02 |    Inf 
1514.93/1514.95	o 533
1514.93/1514.95	c c1515s|116513 | 77111 |  2228k|  19.1 | 267M| 117 |   - |5504 |8295 |5504 |3386 | 215k|  25k|  18k| 0.000000e+00 | 5.330000e+02 |    Inf 
1573.22/1573.29	c  1573s|120000 | 79063 |  2306k|  19.2 | 278M| 117 |   1 |5504 |8255 |5504 |3398 | 225k|  27k|  19k| 0.000000e+00 | 5.330000e+02 |    Inf 
1582.13/1582.16	o 529
1582.13/1582.16	c g1582s|120502 | 78962 |  2319k|  19.2 | 277M| 117 |   - |5504 |8269 |5504 |3386 | 226k|  27k|  19k| 0.000000e+00 | 5.290000e+02 |    Inf 
1596.33/1596.36	o 527
1596.33/1596.36	c f1596s|121463 | 79459 |  2339k|  19.2 | 278M| 117 |   - |5504 |8323 |5504 |3386 | 228k|  28k|  19k| 0.000000e+00 | 5.270000e+02 |    Inf 
1598.13/1598.16	o 526
1598.13/1598.16	c g1598s|121582 | 79372 |  2343k|  19.2 | 278M| 117 |   - |5504 |8329 |5504 |3386 | 229k|  28k|  19k| 0.000000e+00 | 5.260000e+02 |    Inf 
1599.93/1599.96	o 523
1599.93/1599.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1599.93/1599.96	c c1600s|121702 | 79182 |  2346k|  19.3 | 275M| 117 |   - |5504 |8306 |5504 |3386 | 229k|  28k|  19k| 0.000000e+00 | 5.230000e+02 |    Inf 
1601.93/1601.90	o 521
1601.93/1601.90	c g1602s|121834 | 79013 |  2349k|  19.3 | 274M| 117 |   - |5504 |8284 |5504 |3386 | 229k|  28k|  19k| 0.000000e+00 | 5.210000e+02 |    Inf 
1654.44/1654.46	o 519
1654.44/1654.46	c g1654s|125292 | 80609 |  2422k|  19.3 | 282M| 117 |   - |5504 |8258 |5504 |3386 | 237k|  30k|  19k| 0.000000e+00 | 5.190000e+02 |    Inf 
1681.84/1681.88	o 518
1681.84/1681.88	c g1682s|126922 | 81425 |  2456k|  19.3 | 285M| 117 |   - |5504 |8331 |5504 |3386 | 241k|  31k|  19k| 0.000000e+00 | 5.180000e+02 |    Inf 
1730.73/1730.71	c  1731s|130000 | 83084 |  2520k|  19.4 | 291M| 117 |   1 |5504 |8356 |5504 |3405 | 248k|  32k|  20k| 0.000000e+00 | 5.180000e+02 |    Inf 
1735.03/1735.09	o 515
1735.03/1735.09	c g1735s|130282 | 82847 |  2526k|  19.4 | 288M| 117 |   - |5504 |8373 |5504 |3386 | 249k|  32k|  20k| 0.000000e+00 | 5.150000e+02 |    Inf 
1763.63/1763.67	o 511
1763.63/1763.67	c p1764s|132312 | 83645 |  2567k|  19.4 | 292M| 117 |   - |5504 |8387 |5504 |3386 | 253k|  34k|  20k| 0.000000e+00 | 5.110000e+02 |    Inf 
1791.74/1791.75	o 504
1791.74/1791.75	c g1792s|134263 | 83972 |  2604k|  19.4 | 291M| 117 |   - |5504 |8428 |5504 |3386 | 257k|  34k|  20k| 0.000000e+00 | 5.040000e+02 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 134932
1800.04/1800.00	c Primal Bound       : +5.04000000000000e+02 (161 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/1800.01	v -x1190 x1189 x1188 -x1187 -x1186 -x1185 x1184 x1183 -x1182 -x1181 x1180 x1179 x1178 -x1177 -x1176 -x1175 x1174 x1173 x1172 -x1171 
1800.04/1800.01	v x1170 -x1169 -x1168 -x1167 x1166 x1165 -x1164 x1163 x1162 -x1161 x1160 x1159 x1158 -x1157 x1156 -x1155 -x1154 x1153 x1152 
1800.04/1800.01	v -x1151 -x1150 -x1149 x1148 x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 x1134 x1133 
1800.04/1800.01	v -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 
1800.04/1800.01	v -x1114 -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 
1800.04/1800.01	v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080 x1079 x1078 
1800.04/1800.01	v x1077 x1076 x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
1800.04/1800.01	v -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
1800.04/1800.01	v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
1800.04/1800.01	v -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
1800.04/1800.01	v -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 
1800.04/1800.01	v -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 
1800.04/1800.01	v -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 
1800.04/1800.01	v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 
1800.04/1800.01	v -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 
1800.04/1800.01	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 
1800.04/1800.01	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 
1800.04/1800.01	v -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 x849 x848 -x847 -x846 -x845 -x844 x843 x842 x841 x840 x839 -x838 -x837 
1800.04/1800.01	v -x836 -x835 x834 x833 x832 x831 x830 x829 x828 x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 x818 x817 -x816 -x815 -x814 
1800.04/1800.01	v -x813 -x812 -x811 x810 x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 
1800.04/1800.01	v x791 x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 x782 x781 -x780 -x779 -x778 -x777 x776 x775 x774 -x773 -x772 -x771 -x770 
1800.04/1800.01	v -x769 -x768 -x767 x766 x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 x756 x755 x754 -x753 -x752 x751 x750 x749 x748 x747 
1800.04/1800.01	v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 
1800.04/1800.01	v -x725 -x724 -x723 -x722 x721 x720 x719 x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 
1800.04/1800.01	v -x703 -x702 x701 x700 x699 x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 x685 -x684 x683 -x682 
1800.04/1800.01	v -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 
1800.04/1800.01	v x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 
1800.04/1800.01	v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 
1800.04/1800.01	v -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 
1800.04/1800.01	v -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 
1800.04/1800.01	v x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 
1800.04/1800.01	v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 
1800.04/1800.01	v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 
1800.04/1800.01	v x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 
1800.04/1800.01	v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 
1800.04/1800.01	v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 
1800.04/1800.01	v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 
1800.04/1800.01	v -x426 -x425 -x424 -x423 x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 x413 x412 x411 -x410 -x409 -x408 -x407 x406 x405 x404 
1800.04/1800.01	v x403 x402 -x401 -x400 -x399 -x398 x397 x396 x395 x394 x393 -x392 -x391 -x390 -x389 x388 x387 x386 x385 x384 x383 x382 x381 
1800.04/1800.01	v x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 x363 x362 -x361 -x360 -x359 
1800.04/1800.01	v -x358 -x357 -x356 x355 x354 x353 -x352 -x351 -x350 -x349 x348 x347 x346 -x345 -x344 x343 -x342 x341 x340 -x339 -x338 -x337 
1800.04/1800.01	v -x336 x335 x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326 x325 -x324 x323 x322 x321 -x320 x319 x318 -x317 -x316 -x315 -x314 
1800.04/1800.01	v -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 x294 -x293 
1800.04/1800.01	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 x275 x274 x273 x272 x271 
1800.04/1800.01	v x270 x269 x268 x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1800.04/1800.01	v x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 x239 x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 
1800.04/1800.01	v -x226 x225 x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 
1800.04/1800.01	v x204 x203 x202 x201 -x200 -x199 x198 -x197 x196 -x195 -x194 x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 
1800.04/1800.01	v -x182 x181 -x180 -x179 x178 -x177 -x176 x175 x174 -x173 x172 x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 
1800.04/1800.01	v x159 x158 -x157 -x156 -x155 x154 x153 x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 
1800.04/1800.01	v -x137 x136 -x135 -x134 -x133 x132 -x131 -x130 x129 x128 -x127 x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 
1800.04/1800.01	v x115 -x114 -x113 x112 x111 -x110 -x109 x108 -x107 x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 x93 
1800.04/1800.01	v x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 x80 x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 x67 -x66 
1800.04/1800.01	v -x65 x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44 x43 -x42 -x41 x40 -x39 
1800.04/1800.01	v x38 x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 x28 x27 -x26 -x25 -x24 x23 -x22 x21 -x20 -x19 -x18 x17 x16 x15 -x14 x13 -x12 
1800.04/1800.01	v x11 -x10 -x9 -x8 x7 x6 x5 -x4 x3 x2 x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Total Time         :    1800.00
1800.04/1800.01	c   solving          :    1800.00
1800.04/1800.01	c   presolving       :       0.24 (included in solving)
1800.04/1800.01	c   reading          :       0.02 (included in solving)
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-3447425-1307899897.wbo
1800.04/1800.01	c   Variables        : 3355 (3355 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01	c   Constraints      : 3184 initial, 3184 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-3447425-1307899897.wbo
1800.04/1800.01	c   Variables        : 5504 (3340 binary, 0 integer, 2164 implicit integer, 0 continuous)
1800.04/1800.01	c   Constraints      : 5322 initial, 8511 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00          2          0          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          9          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.16          0          3          0          0          0          0          0          0          0
1800.04/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          3          0          0          0
1800.04/1800.01	c   linear           :       0.05          0          2          0       2164          0         23          0         64        128
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0          1          0          0          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     380870          0      11310          0          0        306          0          0     245368
1800.04/1800.01	c   varbound         :          0+         6     580856     257884          1          0      26558          2    3160223     258105          0          0
1800.04/1800.01	c   knapsack         :         32          6     558254          1          1      11307      39420        133      37876        146          0          0
1800.04/1800.01	c   setppc           :        650          6     579591         15          1      11300      50631        352     334359          0          0          0
1800.04/1800.01	c   linear           :       2164          6     579243         15          1      11297     175344       4666    1145503          0          0          0
1800.04/1800.01	c   indicator        :       2164          0     576598     257884          1      11297     142074          0     100711          0          0          0
1800.04/1800.01	c   logicor          :        312+         6     237391         15          1        146      34533       3790     135338          0          0          0
1800.04/1800.01	c   bounddisjunction :          0+         0      51011          0          0          0       1957         48       2398          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0         15          1        148          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.01	c   integral         :      98.36       0.00       0.00      98.34       0.00       0.02       0.00
1800.04/1800.01	c   varbound         :      53.48       0.00      26.15      27.32       0.00       0.00       0.01
1800.04/1800.01	c   knapsack         :       0.77       0.00       0.67       0.00       0.00       0.06       0.04
1800.04/1800.01	c   setppc           :       7.27       0.00       6.85       0.00       0.00       0.39       0.02
1800.04/1800.01	c   linear           :      22.51       0.00      20.11       0.00       0.00       2.23       0.17
1800.04/1800.01	c   indicator        :     135.01       0.01      39.62      80.06       0.00      15.28       0.05
1800.04/1800.01	c   logicor          :       2.80       0.00       2.74       0.00       0.00       0.01       0.06
1800.04/1800.01	c   bounddisjunction :       0.35       0.00       0.35       0.00       0.00       0.00       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :     162341      12535          2    6144392
1800.04/1800.01	c   rootredcost      :         61          0          0          0
1800.04/1800.01	c   pseudoobj        :     587085      40478       5724    3159223
1800.04/1800.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.01	c   vbounds          :      46.41      46.41       0.01
1800.04/1800.01	c   rootredcost      :       0.16       0.16       0.00
1800.04/1800.01	c   pseudoobj        :      28.71      27.58       1.14
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       1.84      14717      14344      48698       28.6        261       12.9          -
1800.04/1800.01	c   infeasible LP    :       0.03         70         70         89        7.6          1       18.0          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.01	c   applied globally :          -          -          -      35247       26.1          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -        177          -    (maximal pool size: 1174)
1800.04/1800.01	c   redcost          :      38.79     247714          0    6127991          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          3          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.19          6          0          0       2906          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.01	c   strongcg         :       0.17          6          0          0       2906          0
1800.04/1800.01	c   cmir             :       0.17          6          0          0         31          0
1800.04/1800.01	c   flowcover        :       0.28          6          0          0        482          0
1800.04/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.15          1          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      98.11     122986          0        306          0          0     245368
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.00          1          0          0          0          0          2
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.03          -         15
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   oneopt           :       1.21         60          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   shiftandpropagate:       0.46          1          0
1800.04/1800.01	c   simplerounding   :       6.36     122051          2
1800.04/1800.01	c   zirounding       :       0.22       1000          0
1800.04/1800.01	c   rounding         :       1.27       4908          0
1800.04/1800.01	c   shifting         :       3.91       1584          0
1800.04/1800.01	c   intshifting      :       0.00          0          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   feaspump         :       0.00          0          0
1800.04/1800.01	c   clique           :       0.00          0          0
1800.04/1800.01	c   coefdiving       :      52.85        900          4
1800.04/1800.01	c   pscostdiving     :      41.09        900         10
1800.04/1800.01	c   fracdiving       :      46.91        899          8
1800.04/1800.01	c   veclendiving     :      35.67        899          4
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   objpscostdiving  :       7.62        234          0
1800.04/1800.01	c   rootsoldiving    :       3.15        164          0
1800.04/1800.01	c   linesearchdiving :      43.67        900          6
1800.04/1800.01	c   guideddiving     :      49.50        900         12
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.07          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   crossover        :       4.85         72          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   vbounds          :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   subnlp           :       0.04          0          0
1800.04/1800.01	c   trysol           :       0.43      10382        100
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.06          0          0       0.00       0.00
1800.04/1800.01	c   dual LP          :     823.12     384740    2195024       5.71    2666.70
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:     158.98      88845     421377       4.74    2650.50
1800.04/1800.01	c   strong branching :      93.29      20665     255492      12.36    2738.61
1800.04/1800.01	c     (at root node) :          -         11       2597     236.09          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     134932
1800.04/1800.01	c   nodes (total)    :     134932
1800.04/1800.01	c   nodes left       :      84388
1800.04/1800.01	c   max depth        :        117
1800.04/1800.01	c   max depth (total):        117
1800.04/1800.01	c   backtracks       :       9730 (7.2%)
1800.04/1800.01	c   delayed cutoffs  :        825
1800.04/1800.01	c   repropagations   :      10251 (378276 domain reductions, 818 cutoffs)
1800.04/1800.01	c   avg switch length:       4.11
1800.04/1800.01	c   switching time   :      33.24
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        161 (62 improvements)
1800.04/1800.01	c   First Solution   : +1.09717000000000e+05   (in run 1, after 1 nodes, 0.73 seconds, depth 2003, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +5.04000000000000e+02   (in run 1, after 134263 nodes, 1791.75 seconds, depth 72, found by <guideddiving>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :       2649
1800.14/1800.19	c Time complete: 1800.23.

Verifier Data 

OK	504

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 16236
/proc/meminfo: memFree=912044/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=10132 CPUtime=0 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 1527 0 0 0 0 0 0 0 25 0 1 0 901589361 10375168 1480 33554432000 4194304 9128323 140734845387616 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16236/statm: 2533 1480 399 1205 0 1324 0

[startup+0.0322941 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 16236
/proc/meminfo: memFree=912044/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=19100 CPUtime=0.02 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 3750 0 0 0 2 0 0 0 25 0 1 0 901589361 19558400 3702 33554432000 4194304 9128323 140734845387616 18446744073709551615 4217129 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 4775 3705 437 1205 0 3566 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19100

[startup+0.10034 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 16236
/proc/meminfo: memFree=912044/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=35476 CPUtime=0.09 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 7960 0 0 0 9 0 0 0 25 0 1 0 901589361 36327424 7629 33554432000 4194304 9128323 140734845387616 18446744073709551615 4840234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 8869 7629 577 1205 0 7660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35476

[startup+0.300308 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 16236
/proc/meminfo: memFree=912044/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=43940 CPUtime=0.29 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 10268 0 0 0 29 0 0 0 18 0 1 0 901589361 44994560 9872 33554432000 4194304 9128323 140734845387616 18446744073709551615 4595424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 10985 9872 634 1205 0 9776 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43940

[startup+0.700235 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 16236
/proc/meminfo: memFree=912044/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=44940 CPUtime=0.69 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 10543 0 0 0 69 0 0 0 18 0 1 0 901589361 46018560 10141 33554432000 4194304 9128323 140734845387616 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 11235 10141 628 1205 0 10026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44940

[startup+1.5011 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 16237
/proc/meminfo: memFree=833196/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=53176 CPUtime=1.49 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 21373 0 0 0 147 2 0 0 19 0 1 0 901589361 54452224 12316 33554432000 4194304 9128323 140734845387616 18446744073709551615 6311679 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 13294 12316 745 1205 0 12085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53176

[startup+3.10081 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 16237
/proc/meminfo: memFree=840996/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=75372 CPUtime=3.09 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 28103 0 0 0 305 4 0 0 24 0 1 0 901589361 77180928 17818 33554432000 4194304 9128323 140734845387616 18446744073709551615 7192366 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 18843 17818 746 1205 0 17634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75372

[startup+6.30026 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 16237
/proc/meminfo: memFree=840500/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=75372 CPUtime=6.29 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 28108 0 0 0 622 7 0 0 25 0 1 0 901589361 77180928 17823 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 18843 17823 751 1205 0 17634 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75372

[startup+12.7011 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 16237
/proc/meminfo: memFree=837648/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=75372 CPUtime=12.69 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 28143 0 0 0 1259 10 0 0 25 0 1 0 901589361 77180928 17858 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 18843 17858 751 1205 0 17634 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75372

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16238
/proc/meminfo: memFree=836036/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=75372 CPUtime=25.49 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 30530 0 0 0 2531 18 0 0 25 0 1 0 901589361 77180928 17929 33554432000 4194304 9128323 140734845387616 18446744073709551615 7349641 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 18843 17929 752 1205 0 17634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75372

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16238
/proc/meminfo: memFree=834280/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=76396 CPUtime=51.09 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 39708 0 0 0 5076 33 0 0 25 0 1 0 901589361 78229504 18171 33554432000 4194304 9128323 140734845387616 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 19099 18171 755 1205 0 17890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76396

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16240
/proc/meminfo: memFree=800980/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=95884 CPUtime=102.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 56277 0 0 0 10168 62 0 0 25 0 1 0 901589361 98185216 23053 33554432000 4194304 9128323 140734845387616 18446744073709551615 7184260 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 23971 23053 755 1205 0 22762 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95884

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16241
/proc/meminfo: memFree=752088/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=128380 CPUtime=162.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 70489 0 0 0 16141 89 0 0 25 0 1 0 901589361 131461120 31250 33554432000 4194304 9128323 140734845387616 18446744073709551615 6712601 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 32095 31250 755 1205 0 30886 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 128380

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16243
/proc/meminfo: memFree=716216/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=145088 CPUtime=222.29 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 97938 0 0 0 22110 119 0 0 25 0 1 0 901589361 148570112 35453 33554432000 4194304 9128323 140734845387616 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 36272 35453 756 1205 0 35063 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 145088

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16245
/proc/meminfo: memFree=682804/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=161328 CPUtime=282.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 113803 0 0 0 28084 146 0 0 25 0 1 0 901589361 165199872 39510 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 40332 39510 756 1205 0 39123 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 161328

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16246
/proc/meminfo: memFree=661020/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=173144 CPUtime=342.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 116815 0 0 0 34060 170 0 0 25 0 1 0 901589361 177299456 42502 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 43286 42502 756 1205 0 42077 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 173144

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16248
/proc/meminfo: memFree=644980/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=178936 CPUtime=402.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 143680 0 0 0 40031 199 0 0 25 0 1 0 901589361 183230464 43956 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 44734 43956 761 1205 0 43525 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 178936

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16249
/proc/meminfo: memFree=633356/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=181792 CPUtime=462.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 156036 0 0 0 46006 224 0 0 25 0 1 0 901589361 186155008 44654 33554432000 4194304 9128323 140734845387616 18446744073709551615 7205368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 45448 44654 756 1205 0 44239 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 181792

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16251
/proc/meminfo: memFree=619552/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=189276 CPUtime=522.3 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 175640 0 0 0 51980 250 0 0 25 0 1 0 901589361 193818624 46558 33554432000 4194304 9128323 140734845387616 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 47319 46558 756 1205 0 46110 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 189276

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16253
/proc/meminfo: memFree=597560/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=198352 CPUtime=582.31 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 197836 0 0 0 57954 277 0 0 25 0 1 0 901589361 203112448 48837 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 49588 48837 756 1205 0 48379 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 198352

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16261
/proc/meminfo: memFree=488188/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=248796 CPUtime=882.31 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 265850 0 0 0 87829 402 0 0 25 0 1 0 901589361 254767104 61533 33554432000 4194304 9128323 140734845387616 18446744073709551615 4893633 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 62199 61533 756 1205 0 60990 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 248796

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 16262
/proc/meminfo: memFree=472384/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=261044 CPUtime=942.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 289182 0 0 0 93804 428 0 0 25 0 1 0 901589361 267309056 64569 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 65261 64569 756 1205 0 64052 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 261044

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 16264
/proc/meminfo: memFree=458692/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=272932 CPUtime=1002.31 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 307750 0 0 0 99780 451 0 0 25 0 1 0 901589361 279482368 67565 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 68233 67565 756 1205 0 67024 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 272932

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 16265
/proc/meminfo: memFree=446728/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=283224 CPUtime=1062.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 339706 0 0 0 105756 476 0 0 25 0 1 0 901589361 290021376 69652 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 70806 69652 756 1205 0 69597 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 283224

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16306
/proc/meminfo: memFree=815268/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=286512 CPUtime=1122.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 360894 0 0 0 111732 500 0 0 25 0 1 0 901589361 293388288 70480 33554432000 4194304 9128323 140734845387616 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 71628 70480 756 1205 0 70419 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 286512

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16308
/proc/meminfo: memFree=788460/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=295676 CPUtime=1182.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 380756 0 0 0 117704 528 0 0 25 0 1 0 901589361 302772224 72767 33554432000 4194304 9128323 140734845387616 18446744073709551615 6712548 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 73919 72767 756 1205 0 72710 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 295676

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16309
/proc/meminfo: memFree=739436/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=307468 CPUtime=1242.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 404172 0 0 0 123673 559 0 0 25 0 1 0 901589361 314847232 75744 33554432000 4194304 9128323 140734845387616 18446744073709551615 7207309 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 76867 75744 756 1205 0 75658 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 307468

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16311
/proc/meminfo: memFree=693244/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=325068 CPUtime=1302.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 423184 0 0 0 129646 587 0 0 25 0 1 0 901589361 332869632 80131 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 81267 80131 756 1205 0 80058 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 325068

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16312
/proc/meminfo: memFree=663936/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=336612 CPUtime=1362.32 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 454939 0 0 0 135618 614 0 0 25 0 1 0 901589361 344690688 83020 33554432000 4194304 9128323 140734845387616 18446744073709551615 7191192 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 84153 83020 756 1205 0 82944 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 336612

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16314
/proc/meminfo: memFree=637852/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=346176 CPUtime=1422.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 486048 0 0 0 141591 642 0 0 25 0 1 0 901589361 354484224 85423 33554432000 4194304 9128323 140734845387616 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 86544 85423 756 1205 0 85335 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 346176

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 16316
/proc/meminfo: memFree=610752/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=355784 CPUtime=1482.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 503138 0 0 0 147563 670 0 0 25 0 1 0 901589361 364322816 87848 33554432000 4194304 9128323 140734845387616 18446744073709551615 7346414 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 88946 87848 756 1205 0 87737 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 355784

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/178 16317
/proc/meminfo: memFree=584496/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=369900 CPUtime=1542.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 538618 0 0 0 153537 696 0 0 25 0 1 0 901589361 378777600 91247 33554432000 4194304 9128323 140734845387616 18446744073709551615 6732544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 92475 91247 756 1205 0 91266 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 369900

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/178 16319
/proc/meminfo: memFree=558372/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=385072 CPUtime=1602.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 555909 0 0 0 159509 724 0 0 25 0 1 0 901589361 394313728 95063 33554432000 4194304 9128323 140734845387616 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 96268 95063 756 1205 0 95059 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 385072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 16320
/proc/meminfo: memFree=532384/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=394776 CPUtime=1662.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 580121 0 0 0 165481 752 0 0 25 0 1 0 901589361 404250624 97488 33554432000 4194304 9128323 140734845387616 18446744073709551615 6650498 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 98694 97488 756 1205 0 97485 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 394776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 16322
/proc/meminfo: memFree=511208/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=403432 CPUtime=1722.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 603983 0 0 0 171454 779 0 0 25 0 1 0 901589361 413114368 99664 33554432000 4194304 9128323 140734845387616 18446744073709551615 7346853 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 100858 99664 756 1205 0 99649 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 403432

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 16333
/proc/meminfo: memFree=487540/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=416964 CPUtime=1782.33 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 634812 0 0 0 177429 804 0 0 25 0 1 0 901589361 426971136 103046 33554432000 4194304 9128323 140734845387616 18446744073709551615 7183695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 104241 103046 757 1205 0 103032 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 416964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 16333
/proc/meminfo: memFree=483024/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=419224 CPUtime=1800.04 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) R 16234 16236 15624 0 -1 4202496 641166 0 0 0 179192 812 0 0 25 0 1 0 901589361 429285376 103611 33554432000 4194304 9128323 140734845387616 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16236/statm: 104806 103611 757 1205 0 103597 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 419224

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 16333
/proc/meminfo: memFree=483024/32950928 swapFree=67079488/67111528
[pid=16236] ppid=16234 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/16236/stat : 16236 (scip-2.0.1.4.li) S 16234 16236 15624 0 -1 4202500 641170 0 0 0 179210 813 0 0 25 0 1 0 901589361 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/16236/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.2
CPU time (s): 1800.24
CPU user time (s): 1792.11
CPU system time (s): 8.13776
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 441720

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

runsolver used 2.93855 second user time and 6.06308 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-12 19:31:37
IDJOB=3447425
IDBENCH=79060
IDSOLVER=1944
FILE ID=node125/3447425-1307899897
RUNJOBID= node125-1307897396-16014
PBS_JOBID= 13559581
Free space on /var/tmp= 2880 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-37s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447425-1307899897/watcher-3447425-1307899897 -o /var/tmp/evaluation-result-3447425-1307899897/solver-3447425-1307899897 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447425-1307899897.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 40b347a62af31a808b4e2de550ac7867
RANDOM SEED=1443338

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:        912224 kB
Buffers:         53288 kB
Cached:       30735940 kB
SwapCached:       3272 kB
Active:       16167388 kB
Inactive:     14913196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        912224 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           12032 kB
Writeback:           0 kB
AnonPages:      289504 kB
Mapped:          17152 kB
Slab:           894324 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   465176 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 /var/tmp at the end= 2868 MiB
End job on node125 at 2011-06-12 20:01:39