Trace number 3447285

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 1800.05 1800.09

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MD5SUM200f179ceb6a172fc8d81952e96f0c84
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark130.847
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3447285-1307900591.wbo>
0.00/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.05	o 135714
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.357140e+05
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.05/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   466 |     - |  18M|   0 |   1 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |   648 |     - |  18M|   0 |  43 |5645 |8121 |5645 |2760 |  53 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.78/0.80	c   0.8s|     1 |     0 |   906 |     - |  19M|   0 |  49 |5645 |8121 |5645 |2781 |  74 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
0.99/1.09	c   1.1s|     1 |     0 |   972 |     - |  19M|   0 |  60 |5645 |8121 |5645 |2791 |  84 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
1.49/1.52	c   1.5s|     1 |     0 |  1017 |     - |  19M|   0 |  62 |5645 |8121 |5645 |2798 |  91 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
1.89/1.96	c   2.0s|     1 |     0 |  1049 |     - |  19M|   0 |  59 |5645 |8121 |5645 |2799 |  92 |   0 |   0 | 0.000000e+00 | 1.357140e+05 |    Inf 
3.30/3.32	c   3.3s|     1 |     2 |  1049 |     - |  20M|   0 |  59 |5645 |8121 |5645 |2799 |  92 |   0 |  28 | 0.000000e+00 | 1.357140e+05 |    Inf 
23.24/23.31	o 432
23.24/23.31	c r23.3s|   331 |   330 | 46902 | 138.9 |  27M|  59 |   1 |5645 |8121 |5645 |2895 | 502 |   0 |1111 | 0.000000e+00 | 4.320000e+02 |    Inf 
23.54/23.66	o 396
23.54/23.66	c *23.7s|   347 |   344 | 47422 | 134.0 |  29M|  59 |   - |5645 |8121 |5645 |2890 | 593 |   0 |1111 | 0.000000e+00 | 3.960000e+02 |    Inf 
435.05/435.17	c   435s| 10000 |  9312 |  2502k| 250.2 |  61M|  67 |   1 |5645 |9817 |5645 |2799 |  42k|1794 |3592 | 0.000000e+00 | 3.960000e+02 |    Inf 
463.35/463.41	o 338
463.35/463.41	c * 463s| 10513 |  9727 |  2649k| 251.9 |  62M|  67 |   - |5645 |9902 |5645 |2923 |  46k|1896 |3726 | 0.000000e+00 | 3.380000e+02 |    Inf 
464.55/464.66	o 320
464.55/464.66	c * 465s| 10525 |  9691 |  2653k| 252.0 |  60M|  67 |   - |5645 |9906 |5645 |2938 |  46k|1905 |3727 | 0.000000e+00 | 3.200000e+02 |    Inf 
549.86/549.97	o 308
549.86/549.97	c f 550s| 12238 | 11037 |  3159k| 258.1 |  65M|  67 |   - |5645 |  10k|5645 |2897 |  56k|2413 |4106 | 0.000000e+00 | 3.080000e+02 |    Inf 
571.35/571.44	o 307
571.35/571.44	c c 571s| 12570 | 11297 |  3265k| 259.7 |  66M|  67 |   - |5645 |  10k|5645 |2904 |  59k|2519 |4148 | 0.000000e+00 | 3.070000e+02 |    Inf 
671.75/671.80	o 305
671.75/671.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
671.75/671.80	c c 672s| 14743 | 12896 |  3839k| 260.4 |  73M|  67 |   - |5645 |  10k|5645 |2831 |  72k|3330 |4543 | 0.000000e+00 | 3.050000e+02 |    Inf 
732.65/732.71	o 264
732.65/732.71	c * 733s| 15985 | 13330 |  4176k| 261.3 |  74M|  67 |   - |5645 |  10k|5645 |2887 |  80k|3870 |4778 | 0.000000e+00 | 2.640000e+02 |    Inf 
755.45/755.52	o 262
755.45/755.52	c * 756s| 16547 | 13663 |  4296k| 259.6 |  75M|  67 |   - |5645 |  10k|5645 |2801 |  83k|4137 |4873 | 0.000000e+00 | 2.620000e+02 |    Inf 
758.75/758.87	o 258
758.75/758.87	c * 759s| 16616 | 13655 |  4316k| 259.7 |  75M|  67 |   - |5645 |  10k|5645 |2849 |  83k|4185 |4874 | 0.000000e+00 | 2.580000e+02 |    Inf 
761.45/761.52	o 249
761.45/761.52	c * 762s| 16693 | 13561 |  4329k| 259.3 |  75M|  67 |   - |5645 |  10k|5645 |2932 |  84k|4240 |4884 | 0.000000e+00 | 2.490000e+02 |    Inf 
761.45/761.59	o 184
761.45/761.59	c * 762s| 16694 | 11788 |  4329k| 259.3 |  65M|  67 |   - |5645 |  10k|5645 |2948 |  84k|4240 |4884 | 0.000000e+00 | 1.840000e+02 |    Inf 
764.15/764.22	o 162
764.15/764.22	c * 764s| 16748 | 10853 |  4341k| 259.2 |  63M|  67 |   - |5645 |  10k|5645 |2836 |  84k|4268 |4886 | 0.000000e+00 | 1.620000e+02 |    Inf 
773.35/773.40	o 158
773.35/773.40	c * 773s| 16980 | 10871 |  4398k| 259.0 |  63M|  67 |   - |5645 |  10k|5645 |2917 |  85k|4357 |4905 | 0.000000e+00 | 1.580000e+02 |    Inf 
779.36/779.45	o 81
779.36/779.45	c * 779s| 17206 |  6238 |  4427k| 257.3 |  51M|  67 |   - |5645 |  10k|5645 |2923 |  86k|4506 |4907 | 0.000000e+00 | 8.100000e+01 |    Inf 
779.65/779.71	o 57
779.65/779.71	c * 780s| 17209 |  4490 |  4428k| 257.3 |  46M|  67 |   - |5645 |8831 |5645 |2817 |  86k|4507 |4916 | 0.000000e+00 | 5.700000e+01 |    Inf 
779.75/779.84	o 54
779.75/779.84	c * 780s| 17213 |  4399 |  4428k| 257.2 |  45M|  67 |   - |5645 |7349 |5645 |2812 |  86k|4507 |4916 | 0.000000e+00 | 5.400000e+01 |    Inf 
779.95/780.04	o 48
779.95/780.04	c * 780s| 17226 |  3956 |  4429k| 257.1 |  44M|  67 |   - |5645 |7104 |5645 |2808 |  86k|4531 |4917 | 0.000000e+00 | 4.800000e+01 |    Inf 
780.15/780.22	o 40
780.15/780.22	c * 780s| 17235 |  3586 |  4429k| 257.0 |  44M|  67 |   - |5645 |6681 |5645 |2806 |  86k|4534 |4918 | 0.000000e+00 | 4.000000e+01 |    Inf 
780.25/780.35	o 31
780.25/780.35	c * 780s| 17244 |  1556 |  4430k| 256.9 |  37M|  67 |   - |5645 |6179 |5645 |2809 |  86k|4539 |4918 | 0.000000e+00 | 3.100000e+01 |    Inf 
781.05/781.19	o 29
781.05/781.19	c * 781s| 17330 |  1473 |  4432k| 255.7 |  38M|  67 |   - |5645 |5676 |5645 |2761 |  86k|4688 |4922 | 0.000000e+00 | 2.900000e+01 |    Inf 
782.45/782.58	o 22
782.45/782.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
782.45/782.59	c * 783s| 17503 |  1421 |  4436k| 253.4 |  38M|  67 |   - |5645 |5656 |5645 |2802 |  86k|4911 |4934 | 0.000000e+00 | 2.200000e+01 |    Inf 
782.55/782.63	o 17
782.55/782.63	c * 783s| 17507 |  1241 |  4436k| 253.4 |  37M|  67 |   - |5645 |5181 |5645 |2802 |  86k|4914 |4934 | 0.000000e+00 | 1.700000e+01 |    Inf 
782.55/782.65	o 13
782.55/782.65	c * 783s| 17508 |  1229 |  4436k| 253.4 |  37M|  67 |   - |5645 |5181 |5645 |2802 |  86k|4914 |4934 | 0.000000e+00 | 1.300000e+01 |    Inf 
785.95/786.03	o 8
785.95/786.03	c * 786s| 17875 |   752 |  4451k| 249.0 |  36M|  67 |   - |5645 |4917 |5645 |2761 |  86k|5433 |4957 | 0.000000e+00 | 8.000000e+00 |    Inf 
786.75/786.87	o 7
786.75/786.87	c * 787s| 18010 |   691 |  4454k| 247.3 |  35M|  67 |   - |5645 |4679 |5645 |2801 |  86k|5604 |4957 | 0.000000e+00 | 7.000000e+00 |    Inf 
790.15/790.25	o 4
790.15/790.25	c * 790s| 18614 |   564 |  4468k| 240.0 |  35M|  67 |   - |5645 |5021 |5645 |2800 |  86k|6386 |4984 | 0.000000e+00 | 4.000000e+00 |    Inf 
797.75/797.85	c   798s| 20000 |   433 |  4501k| 225.0 |  35M|  67 |  22 |5645 |5313 |5645 |2759 |  86k|8114 |5038 | 0.000000e+00 | 4.000000e+00 |    Inf 
799.95/800.04	o 3
799.95/800.04	c * 800s| 20428 |   377 |  4510k| 220.7 |  35M|  67 |   - |5645 |5485 |5645 |2799 |  86k|8694 |5055 | 0.000000e+00 | 3.000000e+00 |    Inf 
837.76/837.84	c   838s| 30000 |   384 |  4663k| 155.4 |  37M|  69 |  23 |5645 |9334 |5645 |2759 |  86k|  20k|5177 | 0.000000e+00 | 3.000000e+00 |    Inf 
843.75/843.89	o 1
843.75/843.89	c * 844s| 31664 |   392 |  4685k| 148.0 |  37M|  69 |   - |5645 |  10k|5645 |2800 |  86k|  22k|5187 | 0.000000e+00 | 1.000000e+00 |    Inf 
879.56/879.67	c   880s| 40000 |   321 |  4827k| 120.7 |  38M|  69 |   - |5645 |  12k|   0 |   0 |  86k|  33k|5440 | 0.000000e+00 | 1.000000e+00 |    Inf 
920.56/920.61	c   921s| 50000 |   298 |  4986k|  99.7 |  40M|  69 |   - |5645 |  16k|5645 |2799 |  86k|  46k|5547 | 0.000000e+00 | 1.000000e+00 |    Inf 
961.05/961.10	c   961s| 60000 |   284 |  5136k|  85.6 |  42M|  76 |  44 |5645 |  19k|5645 |2799 |  86k|  59k|5700 | 0.000000e+00 | 1.000000e+00 |    Inf 
1004.36/1004.46	c  1004s| 70000 |   283 |  5300k|  75.7 |  42M|  76 |  29 |5645 |  20k|5645 |2799 |  86k|  73k|5909 | 0.000000e+00 | 1.000000e+00 |    Inf 
1047.06/1047.11	c  1047s| 80000 |   257 |  5464k|  68.3 |  42M|  76 |   - |5645 |  19k|5645 |2799 |  86k|  86k|5993 | 0.000000e+00 | 1.000000e+00 |    Inf 
1092.66/1092.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1092.66/1092.75	c  1093s| 90000 |   257 |  5633k|  62.6 |  46M|  76 |  36 |5645 |  27k|5645 |2799 |  86k|  99k|6170 | 0.000000e+00 | 1.000000e+00 |    Inf 
1139.96/1140.00	c  1140s|100000 |   220 |  5815k|  58.1 |  43M|  76 |   - |5645 |  19k|5645 |2799 |  86k| 111k|6389 | 0.000000e+00 | 1.000000e+00 |    Inf 
1187.36/1187.41	c  1187s|110000 |   190 |  6006k|  54.6 |  42M|  76 |  36 |5645 |  18k|5645 |2799 |  86k| 124k|6518 | 0.000000e+00 | 1.000000e+00 |    Inf 
1231.45/1231.51	c  1232s|120000 |   194 |  6171k|  51.4 |  45M|  76 |   - |5645 |  25k|   0 |   0 |  86k| 137k|6680 | 0.000000e+00 | 1.000000e+00 |    Inf 
1280.36/1280.47	c  1280s|130000 |   232 |  6353k|  48.9 |  48M|  76 |   - |5645 |  32k|   0 |   0 |  86k| 150k|6828 | 0.000000e+00 | 1.000000e+00 |    Inf 
1327.56/1327.66	c  1328s|140000 |   200 |  6524k|  46.6 |  48M|  83 |   - |5645 |  31k|5645 |2799 |  86k| 163k|6902 | 0.000000e+00 | 1.000000e+00 |    Inf 
1376.95/1377.04	c  1377s|150000 |   170 |  6709k|  44.7 |  48M|  83 |   - |5645 |  30k|5645 |2799 |  86k| 176k|7081 | 0.000000e+00 | 1.000000e+00 |    Inf 
1424.25/1424.40	c  1424s|160000 |   167 |  6888k|  43.0 |  45M|  83 |  16 |5645 |  23k|5645 |2759 |  86k| 188k|7245 | 0.000000e+00 | 1.000000e+00 |    Inf 
1467.45/1467.50	c  1468s|170000 |   177 |  7048k|  41.5 |  47M|  83 |  23 |5645 |  27k|5645 |2759 |  86k| 201k|7290 | 0.000000e+00 | 1.000000e+00 |    Inf 
1511.65/1511.76	c  1512s|180000 |   175 |  7204k|  40.0 |  48M|  83 |   - |5645 |  30k|   0 |   0 |  86k| 214k|7483 | 0.000000e+00 | 1.000000e+00 |    Inf 
1554.06/1554.15	c  1554s|190000 |   180 |  7351k|  38.7 |  50M|  83 |  40 |5645 |  35k|5645 |2759 |  86k| 227k|7537 | 0.000000e+00 | 1.000000e+00 |    Inf 
1599.85/1599.94	c  1600s|200000 |   185 |  7495k|  37.5 |  51M|  83 |   - |5645 |  36k|   0 |   0 |  86k| 240k|7734 | 0.000000e+00 | 1.000000e+00 |    Inf 
1646.86/1646.95	c  1647s|210000 |   173 |  7659k|  36.5 |  52M|  83 |  26 |5645 |  39k|5645 |2759 |  86k| 253k|7776 | 0.000000e+00 | 1.000000e+00 |    Inf 
1695.25/1695.36	c  1695s|220000 |   166 |  7825k|  35.6 |  53M|  83 |  39 |5645 |  41k|5645 |2799 |  86k| 266k|7962 | 0.000000e+00 | 1.000000e+00 |    Inf 
1744.46/1744.55	c  1745s|230000 |   168 |  7996k|  34.8 |  55M|  83 |  43 |5645 |  46k|5645 |2799 |  86k| 279k|8057 | 0.000000e+00 | 1.000000e+00 |    Inf 
1797.56/1797.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.56/1797.61	c  1798s|240000 |   162 |  8180k|  34.1 |  55M|  83 |  44 |5645 |  43k|5645 |2799 |  86k| 292k|8151 | 0.000000e+00 | 1.000000e+00 |    Inf 
1799.96/1800.00	c 
1799.96/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1799.96/1800.00	c Solving Time (sec) : 1800.00
1799.96/1800.00	c Solving Nodes      : 240598
1799.96/1800.00	c Primal Bound       : +1.00000000000000e+00 (152 solutions)
1799.96/1800.00	c Dual Bound         : +0.00000000000000e+00
1799.96/1800.00	c Gap                : infinite
1799.96/1800.01	s SATISFIABLE
1799.96/1800.01	v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
1799.96/1800.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1799.96/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1799.96/1800.01	v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1799.96/1800.01	v -x146 -x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1799.96/1800.01	v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 
1799.96/1800.01	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 
1799.96/1800.01	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1799.96/1800.01	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 
1799.96/1800.01	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 
1799.96/1800.01	v -x1 
1799.96/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1799.96/1800.01	c Total Time         :    1800.00
1799.96/1800.01	c   solving          :    1800.00
1799.96/1800.01	c   presolving       :       0.09 (included in solving)
1799.96/1800.01	c   reading          :       0.02 (included in solving)
1799.96/1800.01	c Original Problem   :
1799.96/1800.01	c   Problem name     : HOME/instance-3447285-1307900591.wbo
1799.96/1800.01	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.01	c   Constraints      : 2708 initial, 2708 maximal
1799.96/1800.01	c Presolved Problem  :
1799.96/1800.01	c   Problem name     : t_HOME/instance-3447285-1307900591.wbo
1799.96/1800.01	c   Variables        : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1799.96/1800.01	c   Constraints      : 5414 initial, 52636 maximal
1799.96/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.96/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   probing          :       0.04          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   linear           :       0.02          0          0          0       2707          0          1          0          0          0
1799.96/1800.01	c   indicator        :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1799.96/1800.01	c   root node        :          -       5414          -          -       5414          -          -          -          -          -
1799.96/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.96/1800.01	c   integral         :          0          0          0     218089          0       6181          0        210       1631          0          0     260354
1799.96/1800.01	c   varbound         :          0+         6     141854      86772          0          0       6287          0     632437      86830          0          0
1799.96/1800.01	c   linear           :       2707          6    1266145         17          1       6177    4189869      38701    4635142          0          0          0
1799.96/1800.01	c   indicator        :       2707          0     139110      86772          0       6174      14661          0      12771          0          0          0
1799.96/1800.01	c   logicor          :          0+         0     379278          0          0          0     955674       3222     258547          0          0          0
1799.96/1800.01	c   bounddisjunction :          0+         0     114590          0          0          0        287         18        399          0          0          0
1799.96/1800.01	c   countsols        :          0          0          0         25          1        129          0          0          0          0          0          0
1799.96/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.96/1800.01	c   integral         :      81.53       0.00       0.00      81.51       0.00       0.02       0.00
1799.96/1800.01	c   varbound         :      11.80       0.00       4.08       7.71       0.00       0.00       0.00
1799.96/1800.01	c   linear           :      58.80       0.00      55.14       0.00       0.00       1.06       2.60
1799.96/1800.01	c   indicator        :      45.23       0.00       5.83      29.13       0.00      10.26       0.01
1799.96/1800.01	c   logicor          :      71.50       0.00      70.15       0.00       0.00       0.00       1.35
1799.96/1800.01	c   bounddisjunction :       0.54       0.00       0.54       0.00       0.00       0.00       0.00
1799.96/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.96/1800.01	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.96/1800.01	c   vbounds          :      34545       2786          1     143234
1799.96/1800.01	c   rootredcost      :         29          0          0       2707
1799.96/1800.01	c   pseudoobj        :    1267958       6168       1851     627791
1799.96/1800.01	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.96/1800.01	c   vbounds          :       9.68       9.68       0.00
1799.96/1800.01	c   rootredcost      :       0.25       0.25       0.00
1799.96/1800.01	c   pseudoobj        :      46.80      46.61       0.18
1799.96/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.96/1800.01	c   propagation      :       3.22      43793      43691     315058       32.0        869       22.2          -
1799.96/1800.01	c   infeasible LP    :      29.75      72833      72820     568935       38.4       1736       13.2          0
1799.96/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.96/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.96/1800.01	c   pseudo solution  :       0.00          1          1          8       19.8          0        0.0          -
1799.96/1800.01	c   applied globally :          -          -          -     293512       31.8          -          -          -
1799.96/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.96/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.96/1800.01	c   cut pool         :       0.00          5          -          -          3          -    (maximal pool size: 176)
1799.96/1800.01	c   redcost          :      15.38     150137          0     142435          0          0
1799.96/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1799.96/1800.01	c   intobj           :       0.00          0          0          0          0          0
1799.96/1800.01	c   gomory           :       0.63          6          0          0       1000          0
1799.96/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1799.96/1800.01	c   closecuts        :       0.00          0          0          0          0          0
1799.96/1800.01	c   strongcg         :       0.56          6          0          0       1391          0
1799.96/1800.01	c   cmir             :       0.14          6          0          0          2          0
1799.96/1800.01	c   flowcover        :       0.13          6          0          0          4          0
1799.96/1800.01	c   clique           :       0.00          1          0          0          0          0
1799.96/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1799.96/1800.01	c   mcf              :       0.00          1          0          0          0          0
1799.96/1800.01	c   oddcycle         :       0.00          0          0          0          0          0
1799.96/1800.01	c   rapidlearning    :       0.20          1          0          0          0          0
1799.96/1800.01	c Pricers            :       Time      Calls       Vars
1799.96/1800.01	c   problem variables:       0.00          0          0
1799.96/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.96/1800.01	c   relpscost        :      81.34     131316        210       1631          0          0     260354
1799.96/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1799.96/1800.01	c   inference        :       0.00          1          0          0          0          0          2
1799.96/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1799.96/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1799.96/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.96/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.96/1800.01	c   random           :       0.00          0          0          0          0          0          0
1799.96/1800.01	c Primal Heuristics  :       Time      Calls      Found
1799.96/1800.01	c   LP solutions     :       0.04          -         25
1799.96/1800.01	c   pseudo solutions :       0.00          -          0
1799.96/1800.01	c   feaspump         :       0.01          0          0
1799.96/1800.01	c   oneopt           :       0.46         27          0
1799.96/1800.01	c   crossover        :       1.33         23          0
1799.96/1800.01	c   objpscostdiving  :      11.45        100          0
1799.96/1800.01	c   rootsoldiving    :      11.03        100          0
1799.96/1800.01	c   coefdiving       :      12.98        250          2
1799.96/1800.01	c   pscostdiving     :      10.33        250          0
1799.96/1800.01	c   fracdiving       :       8.83        250          1
1799.96/1800.01	c   linesearchdiving :       8.48        250          0
1799.96/1800.01	c   veclendiving     :       5.82        251          0
1799.96/1800.01	c   guideddiving     :      10.71        251          0
1799.96/1800.01	c   trivial          :       0.01          2          1
1799.96/1800.01	c   shiftandpropagate:       0.00          0          0
1799.96/1800.01	c   simplerounding   :       5.04     131630          1
1799.96/1800.01	c   zirounding       :       0.39       1000          0
1799.96/1800.01	c   rounding         :       1.41       5036          0
1799.96/1800.01	c   shifting         :       1.58       1578          0
1799.96/1800.01	c   intshifting      :       0.01          0          0
1799.96/1800.01	c   twoopt           :       0.00          0          0
1799.96/1800.01	c   fixandinfer      :       0.00          0          0
1799.96/1800.01	c   clique           :       0.00          0          0
1799.96/1800.01	c   intdiving        :       0.00          0          0
1799.96/1800.01	c   actconsdiving    :       0.00          0          0
1799.96/1800.01	c   octane           :       0.00          0          0
1799.96/1800.01	c   rens             :       0.05          1          0
1799.96/1800.01	c   rins             :       0.00          0          0
1799.96/1800.01	c   localbranching   :       0.00          0          0
1799.96/1800.01	c   mutation         :       0.00          0          0
1799.96/1800.01	c   dins             :       0.00          0          0
1799.96/1800.01	c   vbounds          :       0.00          0          0
1799.96/1800.01	c   undercover       :       0.00          0          0
1799.96/1800.01	c   subnlp           :       0.04          0          0
1799.96/1800.01	c   trysol           :       0.36       4617        122
1799.96/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.96/1800.01	c   primal LP        :       3.35          0          0       0.00       0.00
1799.96/1800.01	c   dual LP          :    1117.49     290804    7774749      26.74    6957.34
1799.96/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1799.96/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1799.96/1800.01	c   diving/probing LP:      60.24      10339     412931      39.94    6855.13
1799.96/1800.01	c   strong branching :      78.85       8151     514813      63.16    6529.11
1799.96/1800.01	c     (at root node) :          -         28      12472     445.43          -
1799.96/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1799.96/1800.01	c B&B Tree           :
1799.96/1800.01	c   number of runs   :          1
1799.96/1800.01	c   nodes            :     240598
1799.96/1800.01	c   nodes (total)    :     240598
1799.96/1800.01	c   nodes left       :        164
1799.96/1800.01	c   max depth        :         83
1799.96/1800.01	c   max depth (total):         83
1799.96/1800.01	c   backtracks       :      25686 (10.7%)
1799.96/1800.01	c   delayed cutoffs  :       6276
1799.96/1800.01	c   repropagations   :     542797 (828678 domain reductions, 5177 cutoffs)
1799.96/1800.01	c   avg switch length:       5.96
1799.96/1800.01	c   switching time   :      85.27
1799.96/1800.01	c Solution           :
1799.96/1800.01	c   Solutions found  :        152 (30 improvements)
1799.96/1800.01	c   First Solution   : +1.35714000000000e+05   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1799.96/1800.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 31664 nodes, 843.89 seconds, depth 47, found by <relaxation>)
1799.96/1800.01	c   Dual Bound       : +0.00000000000000e+00
1799.96/1800.01	c   Gap              :   infinite
1799.96/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1799.96/1800.01	c   Root Iterations  :       1049
1799.96/1800.08	c Time complete: 1800.05.

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 7812
/proc/meminfo: memFree=30900532/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=10124 CPUtime=0 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 1517 0 0 0 0 0 0 0 25 0 1 0 901657712 10366976 1470 33554432000 4194304 9128323 140735905588112 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7812/statm: 2531 1470 399 1205 0 1322 0

[startup+0.0656409 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 7812
/proc/meminfo: memFree=30900532/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=34700 CPUtime=0.05 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 7610 0 0 0 5 0 0 0 25 0 1 0 901657712 35532800 7304 33554432000 4194304 9128323 140735905588112 18446744073709551615 4464192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8675 7304 513 1205 0 7466 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34700

[startup+0.100637 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 7812
/proc/meminfo: memFree=30900532/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=35724 CPUtime=0.09 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 7950 0 0 0 9 0 0 0 25 0 1 0 901657712 36581376 7644 33554432000 4194304 9128323 140735905588112 18446744073709551615 5973125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8931 7644 531 1205 0 7722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35724

[startup+0.300605 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 7812
/proc/meminfo: memFree=30900532/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=72884 CPUtime=0.29 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 17526 0 0 0 27 2 0 0 18 0 1 0 901657712 74633216 17121 33554432000 4194304 9128323 140735905588112 18446744073709551615 6581488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 18221 17121 699 1205 0 17012 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72884

[startup+0.700533 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 7812
/proc/meminfo: memFree=30900532/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=52440 CPUtime=0.69 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 21203 0 0 0 67 2 0 0 18 0 1 0 901657712 53698560 12077 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 13110 12077 717 1205 0 11901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52440

[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 7813
/proc/meminfo: memFree=30853924/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=56864 CPUtime=1.49 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 22188 0 0 0 145 4 0 0 19 0 1 0 901657712 58228736 13056 33554432000 4194304 9128323 140735905588112 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 14216 13056 711 1205 0 13007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56864

[startup+3.10012 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 7813
/proc/meminfo: memFree=30848340/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=58720 CPUtime=3.09 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 28860 0 0 0 301 8 0 0 24 0 1 0 901657712 60129280 13566 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 14680 13566 728 1205 0 13471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58720

[startup+6.30057 s]
/proc/loadavg: 2.16 2.04 1.98 3/176 7813
/proc/meminfo: memFree=30843580/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=61412 CPUtime=6.29 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 29417 0 0 0 612 17 0 0 25 0 1 0 901657712 62885888 14123 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 15353 14123 729 1205 0 14144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61412

[startup+12.7005 s]
/proc/loadavg: 2.15 2.04 1.98 3/176 7813
/proc/meminfo: memFree=30843144/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=61412 CPUtime=12.64 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 29457 0 0 0 1230 34 0 0 25 0 1 0 901657712 62885888 14163 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 15353 14163 729 1205 0 14144 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 61412

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.98 3/176 7813
/proc/meminfo: memFree=30830640/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=74640 CPUtime=25.44 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 38385 0 0 0 2482 62 0 0 25 0 1 0 901657712 76431360 17263 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 18660 17263 741 1205 0 17451 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 74640

[startup+51.1009 s]
/proc/loadavg: 2.07 2.03 1.98 3/176 7814
/proc/meminfo: memFree=30821632/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=77320 CPUtime=51.04 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 47351 0 0 0 4977 127 0 0 25 0 1 0 901657712 79175680 17957 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 19330 17957 741 1205 0 18121 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 77320

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 7815
/proc/meminfo: memFree=30810844/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=83640 CPUtime=102.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 55004 0 0 0 9968 257 0 0 25 0 1 0 901657712 85647360 19580 33554432000 4194304 9128323 140735905588112 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 20910 19580 741 1205 0 19701 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 83640

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 1.99 3/176 7817
/proc/meminfo: memFree=30796336/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=86624 CPUtime=162.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 61671 0 0 0 15765 460 0 0 25 0 1 0 901657712 88702976 20324 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 21656 20324 741 1205 0 20447 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86624

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/176 7819
/proc/meminfo: memFree=30781448/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=92244 CPUtime=222.24 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 63075 0 0 0 21585 639 0 0 25 0 1 0 901657712 94457856 21728 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 23061 21728 741 1205 0 21852 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 92244

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 7821
/proc/meminfo: memFree=30766060/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=98224 CPUtime=282.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 70636 0 0 0 27393 832 0 0 25 0 1 0 901657712 100581376 23267 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 24556 23267 741 1205 0 23347 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 98224

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 7821
/proc/meminfo: memFree=30750804/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=102396 CPUtime=342.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 71699 0 0 0 33216 1009 0 0 25 0 1 0 901657712 104853504 24329 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 25599 24329 741 1205 0 24390 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 102396

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/176 7823
/proc/meminfo: memFree=30735048/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=106064 CPUtime=402.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 72620 0 0 0 39028 1197 0 0 25 0 1 0 901657712 108609536 25250 33554432000 4194304 9128323 140735905588112 18446744073709551615 7342957 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 26516 25250 741 1205 0 25307 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 106064

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 7825
/proc/meminfo: memFree=30727480/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=108940 CPUtime=462.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 73341 0 0 0 44860 1365 0 0 25 0 1 0 901657712 111554560 25971 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 27235 25971 741 1205 0 26026 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 108940

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 7827
/proc/meminfo: memFree=30710732/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=115388 CPUtime=522.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 86826 0 0 0 50673 1552 0 0 25 0 1 0 901657712 118157312 27602 33554432000 4194304 9128323 140735905588112 18446744073709551615 6713371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 28847 27602 741 1205 0 27638 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 115388

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 7829
/proc/meminfo: memFree=30695220/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=119696 CPUtime=582.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 101885 0 0 0 56509 1716 0 0 25 0 1 0 901657712 122568704 28645 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 29924 28645 741 1205 0 28715 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 119696

[startup+642.3 s]

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

/proc/meminfo: memFree=30573884/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=151236 CPUtime=1122.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 214600 0 0 0 109159 3066 0 0 25 0 1 0 901657712 154865664 36578 33554432000 4194304 9128323 140735905588112 18446744073709551615 7192144 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 37809 36578 741 1205 0 36600 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 151236

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7854
/proc/meminfo: memFree=30562720/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=151424 CPUtime=1182.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 214664 0 0 0 115023 3202 0 0 25 0 1 0 901657712 155058176 36642 33554432000 4194304 9128323 140735905588112 18446744073709551615 6857100 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 37856 36642 741 1205 0 36647 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 151424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7854
/proc/meminfo: memFree=30555016/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=153332 CPUtime=1242.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 215115 0 0 0 120902 3324 0 0 25 0 1 0 901657712 157011968 37093 33554432000 4194304 9128323 140735905588112 18446744073709551615 5321240 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 38333 37093 741 1205 0 37124 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 153332

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7856
/proc/meminfo: memFree=30541364/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=154624 CPUtime=1302.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 217775 0 0 0 126782 3444 0 0 25 0 1 0 901657712 158334976 37431 33554432000 4194304 9128323 140735905588112 18446744073709551615 6416620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 38656 37431 741 1205 0 37447 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 154624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7858
/proc/meminfo: memFree=30526732/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=156928 CPUtime=1362.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 218341 0 0 0 132657 3569 0 0 25 0 1 0 901657712 160694272 37997 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 39232 37997 741 1205 0 38023 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 156928

[startup+1422.31 s]
/proc/loadavg: 2.09 2.03 2.00 3/176 7902
/proc/meminfo: memFree=30940504/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=157292 CPUtime=1422.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 218414 0 0 0 138523 3703 0 0 25 0 1 0 901657712 161067008 38069 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 39323 38069 741 1205 0 38114 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 157292

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 7904
/proc/meminfo: memFree=30927884/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=157424 CPUtime=1482.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 218484 0 0 0 144394 3831 0 0 25 0 1 0 901657712 161202176 38139 33554432000 4194304 9128323 140735905588112 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 39356 38139 741 1205 0 38147 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 157424

[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 7904
/proc/meminfo: memFree=30825700/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=158756 CPUtime=1542.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 218817 0 0 0 150280 3945 0 0 25 0 1 0 901657712 162566144 38461 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 39689 38461 741 1205 0 38480 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 158756

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 7906
/proc/meminfo: memFree=30824444/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=160012 CPUtime=1602.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 219131 0 0 0 156176 4050 0 0 25 0 1 0 901657712 163852288 38775 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 40003 38775 741 1205 0 38794 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 160012

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7908
/proc/meminfo: memFree=30823564/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=160736 CPUtime=1662.25 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 219330 0 0 0 162063 4162 0 0 25 0 1 0 901657712 164593664 38974 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 40184 38974 741 1205 0 38975 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 160736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7910
/proc/meminfo: memFree=30822072/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=162272 CPUtime=1722.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 219722 0 0 0 167957 4269 0 0 25 0 1 0 901657712 166166528 39366 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 40568 39366 741 1205 0 39359 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 162272

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30819332/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=164768 CPUtime=1782.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 222969 0 0 0 173844 4382 0 0 25 0 1 0 901657712 168722432 39929 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41192 39929 741 1205 0 39983 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 164768

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818956/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=165860 CPUtime=1791.86 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223143 0 0 0 174787 4399 0 0 25 0 1 0 901657712 169840640 40103 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41465 40103 747 1205 0 40256 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 165860

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30817964/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1795.06 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175100 4406 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 166608

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818084/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1798.26 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175415 4411 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 166608

[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818084/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1799.06 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175494 4412 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 166608

[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818084/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1799.46 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175534 4412 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 166608

[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818084/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1799.86 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175573 4413 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 4892799 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 166608

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7912
/proc/meminfo: memFree=30818084/32951132 swapFree=67052544/67111528
[pid=7812] ppid=7810 vsize=166608 CPUtime=1799.96 cores=1,3,5,7
/proc/7812/stat : 7812 (scip-2.0.1.4.li) R 7810 7812 6878 0 -1 4202496 223347 0 0 0 175583 4413 0 0 25 0 1 0 901657712 170606592 40307 33554432000 4194304 9128323 140735905588112 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/7812/statm: 41652 40307 747 1205 0 40443 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 166608

Child status: 0
Real time (s): 1800.09
CPU time (s): 1800.05
CPU user time (s): 1755.91
CPU system time (s): 44.1423
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 166608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.91
system time used= 44.1423
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 5751

runsolver used 2.49662 second user time and 6.18106 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-12 19:43:11
IDJOB=3447285
IDBENCH=79267
IDSOLVER=1944
FILE ID=node128/3447285-1307900591
RUNJOBID= node128-1307897308-7495
PBS_JOBID= 13559578
Free space on /tmp= 74064 MiB

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

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

MD5SUM BENCH= 200f179ceb6a172fc8d81952e96f0c84
RANDOM SEED=2027433541

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30900976 kB
Buffers:        311440 kB
Cached:        1084400 kB
SwapCached:      11368 kB
Active:         932216 kB
Inactive:       889172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30900976 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:           12068 kB
Writeback:           4 kB
AnonPages:      423784 kB
Mapped:          13192 kB
Slab:           163980 kB
PageTables:       5436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   622132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74056 MiB
End job on node128 at 2011-06-12 20:13:11