Trace number 3447363

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.4? (TO) 1800.07 1800.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MD5SUMaacdee42f12f02195344334122667810
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 benchmark69.9404
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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-3447363-1307901316.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 135640
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.356400e+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.00/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.12	c 
0.09/0.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/indicator/addCouplingCons = TRUE
0.09/0.12	c 
0.09/0.12	c # should presolving try to simplify knapsacks
0.09/0.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12	c 
0.09/0.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12	c separating/rapidlearning/freq = 0
0.09/0.12	c 
0.09/0.12	c -----------------------------------------------------------------------------------------------
0.09/0.12	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   463 |     - |  18M|   0 |  12 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |   624 |     - |  18M|   0 |  45 |5645 |8121 |5645 |2767 |  60 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
0.78/0.85	c   0.8s|     1 |     0 |   680 |     - |  19M|   0 |  64 |5645 |8121 |5645 |2787 |  80 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.19/1.27	c   1.3s|     1 |     0 |   715 |     - |  19M|   0 |  63 |5645 |8121 |5645 |2794 |  87 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.59/1.65	c   1.7s|     1 |     0 |   764 |     - |  20M|   0 |  57 |5645 |8121 |5645 |2800 |  93 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
1.99/2.05	c   2.0s|     1 |     0 |   792 |     - |  20M|   0 |  63 |5645 |8121 |5645 |2806 |  99 |   0 |   0 | 0.000000e+00 | 1.356400e+05 |    Inf 
3.19/3.20	c   3.2s|     1 |     2 |   792 |     - |  20M|   0 |  63 |5645 |8121 |5645 |2806 |  99 |   0 |  33 | 0.000000e+00 | 1.356400e+05 |    Inf 
21.59/21.69	o 805
21.59/21.69	c *21.7s|   278 |   268 | 39895 | 141.2 |  28M|  59 |   - |5645 |8121 |5645 |2819 | 516 |   0 | 757 | 0.000000e+00 | 8.050000e+02 |    Inf 
255.80/255.80	o 760
255.80/255.80	c * 256s|  8609 |  8577 |  1516k| 176.0 |  57M|  67 |   - |5645 |8364 |5645 |2795 |  21k| 243 |2278 | 0.000000e+00 | 7.600000e+02 |    Inf 
308.40/308.41	c   308s| 10000 |  9950 |  1858k| 185.8 |  61M|  67 |  10 |5645 |8474 |5645 |2799 |  25k| 353 |2549 | 0.000000e+00 | 7.600000e+02 |    Inf 
667.61/667.61	c   668s| 20000 | 19658 |  4070k| 203.5 |  91M|  76 |  10 |5645 |9527 |5645 |2774 |  64k|1550 |4120 | 0.000000e+00 | 7.600000e+02 |    Inf 
832.82/832.87	o 237
832.82/832.87	c * 833s| 24509 | 15138 |  5050k| 206.0 |  75M|  78 |   - |5645 |9770 |5645 |2902 |  84k|2025 |4727 | 0.000000e+00 | 2.370000e+02 |    Inf 
853.51/853.56	o 223
853.51/853.56	c * 854s| 25179 | 14849 |  5192k| 206.2 |  78M|  78 |   - |5645 |9972 |5645 |2776 |  85k|2484 |4810 | 0.000000e+00 | 2.230000e+02 |    Inf 
861.42/861.43	o 216
861.42/861.43	c * 861s| 25435 | 14692 |  5239k| 206.0 |  78M|  78 |   - |5645 |  10k|5645 |2796 |  86k|2633 |4844 | 0.000000e+00 | 2.160000e+02 |    Inf 
869.61/869.68	o 200
869.61/869.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
869.61/869.68	c * 870s| 25675 | 14008 |  5290k| 206.1 |  76M|  78 |   - |5645 |  10k|5645 |2809 |  87k|2749 |4845 | 0.000000e+00 | 2.000000e+02 |    Inf 
894.92/894.92	o 193
894.92/894.92	c * 895s| 26832 | 13878 |  5438k| 202.7 |  80M|  78 |   - |5645 |9798 |5645 |2771 |  89k|3431 |4925 | 0.000000e+00 | 1.930000e+02 |    Inf 
895.02/895.04	o 187
895.02/895.04	c * 895s| 26836 | 13247 |  5438k| 202.6 |  79M|  78 |   - |5645 |9800 |5645 |2786 |  89k|3434 |4925 | 0.000000e+00 | 1.870000e+02 |    Inf 
895.91/895.99	o 172
895.91/895.99	c * 896s| 26884 | 11553 |  5443k| 202.4 |  73M|  78 |   - |5645 |9811 |5645 |2828 |  89k|3456 |4925 | 0.000000e+00 | 1.720000e+02 |    Inf 
896.02/896.02	o 150
896.02/896.02	c * 896s| 26885 |  9637 |  5443k| 202.4 |  66M|  78 |   - |5645 |9811 |5645 |2824 |  89k|3456 |4925 | 0.000000e+00 | 1.500000e+02 |    Inf 
896.22/896.22	o 138
896.22/896.22	c * 896s| 26893 |  8921 |  5443k| 202.4 |  63M|  78 |   - |5645 |9810 |5645 |2789 |  89k|3466 |4925 | 0.000000e+00 | 1.380000e+02 |    Inf 
902.12/902.18	o 136
902.12/902.18	c * 902s| 27305 |  8997 |  5464k| 200.1 |  66M|  78 |   - |5645 |9901 |5645 |2768 |  89k|3775 |4956 | 0.000000e+00 | 1.360000e+02 |    Inf 
902.42/902.49	o 127
902.42/902.49	c * 902s| 27321 |  8533 |  5465k| 200.0 |  65M|  78 |   - |5645 |9902 |5645 |2772 |  89k|3789 |4956 | 0.000000e+00 | 1.270000e+02 |    Inf 
904.41/904.42	o 110
904.41/904.42	c * 904s| 27524 |  7725 |  5471k| 198.8 |  61M|  78 |   - |5645 |9850 |5645 |2789 |  89k|3926 |4961 | 0.000000e+00 | 1.100000e+02 |    Inf 
904.72/904.77	o 98
904.72/904.77	c * 905s| 27544 |  6706 |  5472k| 198.7 |  57M|  78 |   - |5645 |9854 |5645 |2776 |  89k|3939 |4961 | 0.000000e+00 | 9.800000e+01 |    Inf 
906.52/906.57	o 95
906.52/906.57	c * 907s| 27732 |  6509 |  5477k| 197.5 |  58M|  78 |   - |5645 |9738 |5645 |2770 |  89k|4114 |4961 | 0.000000e+00 | 9.500000e+01 |    Inf 
906.91/906.91	o 86
906.91/906.91	c * 907s| 27757 |  5648 |  5478k| 197.4 |  55M|  78 |   - |5645 |9581 |5645 |2785 |  90k|4125 |4961 | 0.000000e+00 | 8.600000e+01 |    Inf 
907.21/907.23	o 85
907.21/907.23	c * 907s| 27806 |  5637 |  5479k| 197.0 |  55M|  78 |   - |5645 |9077 |5645 |2767 |  90k|4155 |4961 | 0.000000e+00 | 8.500000e+01 |    Inf 
913.02/913.02	o 78
913.02/913.02	c * 913s| 28485 |  3297 |  5492k| 192.8 |  49M|  78 |   - |5645 |8953 |5645 |2760 |  90k|4727 |4963 | 0.000000e+00 | 7.800000e+01 |    Inf 
927.51/927.56	c   928s| 30000 |  3525 |  5523k| 184.1 |  62M|  78 |   1 |5645 |9173 |5645 |2767 |  90k|6400 |4976 | 0.000000e+00 | 7.800000e+01 |    Inf 
953.92/953.97	o 75
953.92/953.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
953.92/953.97	c * 954s| 33277 |  3410 |  5560k| 167.1 |  69M|  95 |   - |5645 |9193 |5645 |2768 |  91k|  10k|5019 | 0.000000e+00 | 7.500000e+01 |    Inf 
1003.33/1003.33	c  1003s| 40000 |  3689 |  5623k| 140.6 |  79M|  95 |   1 |5645 |  10k|5645 |2767 |  92k|  18k|5178 | 0.000000e+00 | 7.500000e+01 |    Inf 
1004.52/1004.55	o 70
1004.52/1004.55	c *1005s| 40205 |  3647 |  5624k| 139.9 |  80M|  95 |   - |5645 |  10k|5645 |2769 |  92k|  18k|5178 | 0.000000e+00 | 7.000000e+01 |    Inf 
1004.62/1004.64	o 63
1004.62/1004.64	c *1005s| 40209 |  3360 |  5624k| 139.9 |  78M|  95 |   - |5645 |9669 |5645 |2772 |  92k|  18k|5178 | 0.000000e+00 | 6.300000e+01 |    Inf 
1008.22/1008.20	o 41
1008.22/1008.20	c *1008s| 40704 |  3085 |  5629k| 138.3 |  76M|  95 |   - |5645 |8921 |5645 |2773 |  92k|  19k|5180 | 0.000000e+00 | 4.100000e+01 |    Inf 
1053.52/1053.52	o 36
1053.52/1053.52	c *1054s| 48631 |  2488 |  5717k| 117.6 |  77M|  95 |   - |5645 |8455 |5645 |2769 |  93k|  30k|5251 | 0.000000e+00 | 3.600000e+01 |    Inf 
1053.62/1053.68	o 21
1053.62/1053.68	c *1054s| 48663 |  2179 |  5717k| 117.5 |  69M|  95 |   - |5645 |8126 |5645 |2772 |  93k|  30k|5251 | 0.000000e+00 | 2.100000e+01 |    Inf 
1061.82/1061.82	c  1062s| 50000 |  1926 |  5742k| 114.8 |  67M|  95 |   8 |5645 |6017 |5645 |2760 |  93k|  32k|5290 | 0.000000e+00 | 2.100000e+01 |    Inf 
1065.62/1065.62	o 17
1065.62/1065.62	c *1066s| 50731 |  1721 |  5753k| 113.4 |  64M|  95 |   - |5645 |5950 |5645 |2767 |  93k|  32k|5295 | 0.000000e+00 | 1.700000e+01 |    Inf 
1076.32/1076.35	o 12
1076.32/1076.35	c *1076s| 52437 |  1427 |  5790k| 110.4 |  60M|  95 |   - |5645 |5477 |5645 |2771 |  93k|  35k|5317 | 0.000000e+00 | 1.200000e+01 |    Inf 
1076.62/1076.62	o 7
1076.62/1076.62	c *1077s| 52487 |  1146 |  5791k| 110.3 |  53M|  95 |   - |5645 |5214 |5645 |2767 |  93k|  35k|5317 | 0.000000e+00 | 7.000000e+00 |    Inf 
1077.92/1077.98	o 6
1077.92/1077.98	c *1078s| 52719 |   923 |  5797k| 110.0 |  48M|  95 |   - |5645 |4481 |5645 |2768 |  93k|  35k|5317 | 0.000000e+00 | 6.000000e+00 |    Inf 
1095.32/1095.38	o 5
1095.32/1095.38	c *1095s| 56624 |   748 |  5872k| 103.7 |  46M|  95 |   - |5645 |5895 |5645 |2771 |  93k|  40k|5336 | 0.000000e+00 | 5.000000e+00 |    Inf 
1110.22/1110.25	c  1110s| 60000 |   758 |  5936k|  98.9 |  46M|  95 |   - |5645 |7239 |   0 |   0 |  93k|  45k|5366 | 0.000000e+00 | 5.000000e+00 |    Inf 
1127.83/1127.85	o 4
1127.83/1127.85	c *1128s| 64004 |   741 |  6012k|  93.9 |  46M|  95 |   - |5645 |7043 |5645 |2769 |  93k|  50k|5376 | 0.000000e+00 | 4.000000e+00 |    Inf 
1153.93/1153.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1153.93/1153.96	c  1154s| 70000 |   714 |  6126k|  87.5 |  47M|  95 |   - |5645 |9068 |5645 |2767 |  93k|  58k|5416 | 0.000000e+00 | 4.000000e+00 |    Inf 
1155.03/1155.01	o 2
1155.03/1155.01	c *1155s| 70256 |   707 |  6130k|  87.3 |  47M|  95 |   - |5645 |9240 |5645 |2768 |  93k|  59k|5416 | 0.000000e+00 | 2.000000e+00 |    Inf 
1196.93/1196.91	c  1197s| 80000 |   586 |  6308k|  78.8 |  45M|  95 |  26 |5645 |8928 |5645 |2767 |  93k|  72k|5542 | 0.000000e+00 | 2.000000e+00 |    Inf 
1237.53/1237.51	c  1238s| 90000 |   589 |  6468k|  71.9 |  47M|  95 |   - |5645 |  13k|5645 |2767 |  93k|  85k|5669 | 0.000000e+00 | 2.000000e+00 |    Inf 
1238.82/1238.80	o 1
1238.82/1238.80	c *1239s| 90293 |   593 |  6474k|  71.7 |  47M|  95 |   - |5645 |  13k|5645 |2767 |  93k|  85k|5669 | 0.000000e+00 | 1.000000e+00 |    Inf 
1282.63/1282.64	c  1283s|100000 |   578 |  6652k|  66.5 |  47M|  95 |   - |5645 |  14k|5645 |2767 |  93k|  98k|5813 | 0.000000e+00 | 1.000000e+00 |    Inf 
1331.04/1331.02	c  1331s|110000 |   579 |  6856k|  62.3 |  50M|  95 |   - |5645 |  20k|5645 |2767 |  93k| 112k|5925 | 0.000000e+00 | 1.000000e+00 |    Inf 
1378.73/1378.74	c  1379s|120000 |   499 |  7048k|  58.7 |  48M|  95 |   - |5645 |  17k|   0 |   0 |  93k| 125k|6029 | 0.000000e+00 | 1.000000e+00 |    Inf 
1424.33/1424.34	c  1424s|130000 |   455 |  7243k|  55.7 |  48M|  95 |   - |5645 |  17k|5645 |2767 |  93k| 139k|6116 | 0.000000e+00 | 1.000000e+00 |    Inf 
1469.13/1469.19	c  1469s|140000 |   458 |  7423k|  53.0 |  50M|  95 |  42 |5645 |  21k|5645 |2767 |  93k| 153k|6192 | 0.000000e+00 | 1.000000e+00 |    Inf 
1513.93/1513.93	c  1514s|150000 |   446 |  7602k|  50.7 |  52M|  95 |  38 |5645 |  24k|5645 |2767 |  93k| 167k|6286 | 0.000000e+00 | 1.000000e+00 |    Inf 
1558.74/1558.76	c  1559s|160000 |   399 |  7780k|  48.6 |  49M|  95 |   - |5645 |  18k|   0 |   0 |  93k| 181k|6391 | 0.000000e+00 | 1.000000e+00 |    Inf 
1601.03/1601.01	c  1601s|170000 |   375 |  7944k|  46.7 |  49M|  95 |   - |5645 |  18k|   0 |   0 |  93k| 194k|6539 | 0.000000e+00 | 1.000000e+00 |    Inf 
1644.24/1644.27	c  1644s|180000 |   376 |  8108k|  45.0 |  51M|  95 |  34 |5645 |  23k|5645 |2767 |  93k| 207k|6596 | 0.000000e+00 | 1.000000e+00 |    Inf 
1689.84/1689.87	c  1690s|190000 |   331 |  8286k|  43.6 |  49M|  95 |   - |5645 |  21k|5645 |2767 |  93k| 220k|6658 | 0.000000e+00 | 1.000000e+00 |    Inf 
1736.84/1736.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1736.84/1736.89	c  1737s|200000 |   330 |  8469k|  42.3 |  51M|  95 |   - |5645 |  25k|5645 |2767 |  93k| 233k|6782 | 0.000000e+00 | 1.000000e+00 |    Inf 
1784.04/1784.03	c  1784s|210000 |   332 |  8643k|  41.2 |  53M|  95 |  28 |5645 |  30k|5645 |2767 |  93k| 246k|6890 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 213347
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (459 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

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-3447363-1307901316/watcher-3447363-1307901316 -o /var/tmp/evaluation-result-3447363-1307901316/solver-3447363-1307901316 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447363-1307901316.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: 1.92 1.98 1.92 3/177 4255
/proc/meminfo: memFree=1394492/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=9992 CPUtime=0 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 1491 0 0 0 0 0 0 0 25 0 1 0 901732355 10231808 1444 33554432000 4194304 9128323 140736060955024 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4255/statm: 2498 1444 399 1205 0 1289 0

[startup+0.101925 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 4255
/proc/meminfo: memFree=1394492/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=35728 CPUtime=0.09 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 7950 0 0 0 9 0 0 0 25 0 1 0 901732355 36585472 7644 33554432000 4194304 9128323 140736060955024 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 8932 7644 531 1205 0 7723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35728

[startup+0.200907 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 4255
/proc/meminfo: memFree=1394492/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=46672 CPUtime=0.19 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 10985 0 0 0 18 1 0 0 25 0 1 0 901732355 47792128 10588 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 11668 10588 669 1205 0 10459 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46672

[startup+0.300901 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 4255
/proc/meminfo: memFree=1394492/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=71512 CPUtime=0.29 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 17214 0 0 0 28 1 0 0 25 0 1 0 901732355 73228288 16809 33554432000 4194304 9128323 140736060955024 18446744073709551615 4496904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 17878 16809 699 1205 0 16669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71512

[startup+0.700832 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 4255
/proc/meminfo: memFree=1394492/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=53040 CPUtime=0.69 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 21331 0 0 0 67 2 0 0 25 0 1 0 901732355 54312960 12206 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 13260 12206 717 1205 0 12051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53040

[startup+1.50068 s]
/proc/loadavg: 1.92 1.98 1.92 3/178 4256
/proc/meminfo: memFree=1345044/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=59556 CPUtime=1.49 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 22895 0 0 0 145 4 0 0 25 0 1 0 901732355 60985344 13764 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 14889 13764 711 1205 0 13680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59556

[startup+3.10038 s]
/proc/loadavg: 1.92 1.98 1.92 3/178 4256
/proc/meminfo: memFree=1338968/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=61320 CPUtime=3.09 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 29521 0 0 0 300 9 0 0 25 0 1 0 901732355 62791680 14281 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 15330 14281 730 1205 0 14121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61320

[startup+6.30079 s]
/proc/loadavg: 1.93 1.98 1.92 3/178 4256
/proc/meminfo: memFree=1336864/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=64000 CPUtime=6.29 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 30032 0 0 0 610 19 0 0 25 0 1 0 901732355 65536000 14791 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 16000 14791 731 1205 0 14791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64000

[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.92 3/178 4257
/proc/meminfo: memFree=1337256/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=64000 CPUtime=12.69 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 30068 0 0 0 1225 44 0 0 25 0 1 0 901732355 65536000 14827 33554432000 4194304 9128323 140736060955024 18446744073709551615 6883598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 16000 14827 731 1205 0 14791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64000

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.92 3/178 4257
/proc/meminfo: memFree=1324408/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=75624 CPUtime=25.49 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 38671 0 0 0 2471 78 0 0 25 0 1 0 901732355 77438976 17552 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 18906 17552 734 1205 0 17697 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75624

[startup+51.1006 s]
/proc/loadavg: 1.96 1.98 1.92 3/178 4258
/proc/meminfo: memFree=1297872/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=101920 CPUtime=51.09 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 46915 0 0 0 4950 159 0 0 25 0 1 0 901732355 104366080 23810 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 25480 23810 742 1205 0 24271 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101920

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.92 3/178 4259
/proc/meminfo: memFree=1293780/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=99376 CPUtime=102.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 47897 0 0 0 9915 315 0 0 25 0 1 0 901732355 101761024 23566 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 24844 23566 742 1205 0 23635 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 99376

[startup+162.3 s]
/proc/loadavg: 2.03 2.00 1.93 3/178 4261
/proc/meminfo: memFree=1280224/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=110752 CPUtime=162.29 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 50697 0 0 0 15727 502 0 0 25 0 1 0 901732355 113410048 26364 33554432000 4194304 9128323 140736060955024 18446744073709551615 5117938 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 27688 26364 742 1205 0 26479 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110752

[startup+222.306 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 4262
/proc/meminfo: memFree=1273240/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=108212 CPUtime=222.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 53644 0 0 0 21544 686 0 0 25 0 1 0 901732355 110809088 25791 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 27053 25791 742 1205 0 25844 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 108212

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4264
/proc/meminfo: memFree=1269824/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=108212 CPUtime=282.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 64156 0 0 0 27359 871 0 0 25 0 1 0 901732355 110809088 25800 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 27053 25800 742 1205 0 25844 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 108212

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4265
/proc/meminfo: memFree=1262096/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=110520 CPUtime=342.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 70368 0 0 0 33179 1051 0 0 25 0 1 0 901732355 113172480 26304 33554432000 4194304 9128323 140736060955024 18446744073709551615 6712568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 27630 26304 742 1205 0 26421 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 110520

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4276
/proc/meminfo: memFree=1249576/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=115636 CPUtime=402.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 77763 0 0 0 39004 1226 0 0 25 0 1 0 901732355 118411264 27645 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 28909 27645 742 1205 0 27700 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 115636

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4278
/proc/meminfo: memFree=1232660/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=123964 CPUtime=462.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 79844 0 0 0 44833 1397 0 0 25 0 1 0 901732355 126939136 29690 33554432000 4194304 9128323 140736060955024 18446744073709551615 5604739 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 30991 29690 742 1205 0 29782 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 123964

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4281
/proc/meminfo: memFree=1199120/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=129504 CPUtime=522.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 87187 0 0 0 50660 1570 0 0 25 0 1 0 901732355 132612096 31123 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 32376 31123 742 1205 0 31167 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 129504

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4284
/proc/meminfo: memFree=1188080/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=133124 CPUtime=582.3 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 88091 0 0 0 56489 1741 0 0 25 0 1 0 901732355 136318976 32027 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 33281 32027 742 1205 0 32072 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 133124

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4292
/proc/meminfo: memFree=1144432/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=169848 CPUtime=882.32 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 128339 0 0 0 85652 2580 0 0 25 0 1 0 901732355 173924352 41260 33554432000 4194304 9128323 140736060955024 18446744073709551615 7414757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 42462 41260 742 1205 0 41253 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 169848

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4293
/proc/meminfo: memFree=1090676/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=224608 CPUtime=942.31 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 179419 0 0 0 91566 2665 0 0 25 0 1 0 901732355 229998592 54716 33554432000 4194304 9128323 140736060955024 18446744073709551615 4528653 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 56152 54716 743 1205 0 54943 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 224608

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4295
/proc/meminfo: memFree=1051176/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=262304 CPUtime=1002.31 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 203085 0 0 0 97521 2710 0 0 25 0 1 0 901732355 268599296 64051 33554432000 4194304 9128323 140736060955024 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 65576 64051 742 1205 0 64367 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 262304

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4297
/proc/meminfo: memFree=1031524/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=283432 CPUtime=1062.32 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 237012 0 0 0 103453 2779 0 0 25 0 1 0 901732355 290234368 69207 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 70858 69207 742 1205 0 69649 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 283432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4298
/proc/meminfo: memFree=1025904/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=287340 CPUtime=1122.32 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 271875 0 0 0 109337 2895 0 0 25 0 1 0 901732355 294236160 70241 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 71835 70241 742 1205 0 70626 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 287340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4300
/proc/meminfo: memFree=1024836/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=288556 CPUtime=1182.32 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 316890 0 0 0 115206 3026 0 0 25 0 1 0 901732355 295481344 70595 33554432000 4194304 9128323 140736060955024 18446744073709551615 6712897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 72139 70595 742 1205 0 70930 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 288556

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4301
/proc/meminfo: memFree=1024424/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=288944 CPUtime=1242.32 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 326978 0 0 0 121083 3149 0 0 25 0 1 0 901732355 295878656 70633 33554432000 4194304 9128323 140736060955024 18446744073709551615 7163256 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 72236 70633 742 1205 0 71027 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 288944

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4303
/proc/meminfo: memFree=1021764/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=290516 CPUtime=1302.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 338495 0 0 0 126957 3276 0 0 25 0 1 0 901732355 297488384 71057 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 72629 71057 742 1205 0 71420 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 290516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4343
/proc/meminfo: memFree=1164588/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=292768 CPUtime=1362.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 344748 0 0 0 132835 3398 0 0 25 0 1 0 901732355 299794432 71611 33554432000 4194304 9128323 140736060955024 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73192 71611 742 1205 0 71983 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 292768

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4344
/proc/meminfo: memFree=1149356/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=292928 CPUtime=1422.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 344808 0 0 0 138723 3510 0 0 25 0 1 0 901732355 299958272 71671 33554432000 4194304 9128323 140736060955024 18446744073709551615 4209243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73232 71671 742 1205 0 72023 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 292928

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4346
/proc/meminfo: memFree=1137292/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=293512 CPUtime=1482.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 350687 0 0 0 144608 3625 0 0 25 0 1 0 901732355 300556288 71754 33554432000 4194304 9128323 140736060955024 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73378 71754 742 1205 0 72169 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 293512

[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 4347
/proc/meminfo: memFree=1126060/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=294152 CPUtime=1542.34 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 350835 0 0 0 150488 3746 0 0 25 0 1 0 901732355 301211648 71902 33554432000 4194304 9128323 140736060955024 18446744073709551615 6416787 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73538 71902 742 1205 0 72329 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 294152

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 4349
/proc/meminfo: memFree=1104440/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=294152 CPUtime=1602.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 350886 0 0 0 156376 3857 0 0 25 0 1 0 901732355 301211648 71953 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73538 71953 742 1205 0 72329 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 294152

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4351
/proc/meminfo: memFree=1103388/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=294480 CPUtime=1662.33 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 350979 0 0 0 162269 3964 0 0 25 0 1 0 901732355 301547520 72046 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73620 72046 742 1205 0 72411 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 294480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4352
/proc/meminfo: memFree=1094372/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=295080 CPUtime=1722.34 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 356933 0 0 0 168153 4081 0 0 25 0 1 0 901732355 302161920 72183 33554432000 4194304 9128323 140736060955024 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73770 72183 742 1205 0 72561 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 295080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4354
/proc/meminfo: memFree=1082652/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=295372 CPUtime=1782.34 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 357017 0 0 0 174052 4182 0 0 25 0 1 0 901732355 302460928 72267 33554432000 4194304 9128323 140736060955024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 73843 72267 742 1205 0 72634 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 295372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4354
/proc/meminfo: memFree=1078032/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=296368 CPUtime=1800.05 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 357254 0 0 0 175792 4213 0 0 25 0 1 0 901732355 303480832 72504 33554432000 4194304 9128323 140736060955024 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 74092 72504 742 1205 0 72883 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 296368

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4354
/proc/meminfo: memFree=1078032/32951124 swapFree=67056684/67111528
[pid=4255] ppid=4253 vsize=296368 CPUtime=1800.05 cores=1,3,5,7
/proc/4255/stat : 4255 (scip-2.0.1.4.li) R 4253 4255 2586 0 -1 4202496 357254 0 0 0 175792 4213 0 0 25 0 1 0 901732355 303480832 72504 33554432000 4194304 9128323 140736060955024 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4255/statm: 74092 72504 742 1205 0 72883 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 296368

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

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

runsolver used 2.71859 second user time and 7.07292 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-12 19:55:16
IDJOB=3447363
IDBENCH=79303
IDSOLVER=1944
FILE ID=node109/3447363-1307901316
RUNJOBID= node109-1307897711-3965
PBS_JOBID= 13559594
Free space on /var/tmp= 2876 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.1900545610--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 /var/tmp/evaluation-result-3447363-1307901316/watcher-3447363-1307901316 -o /var/tmp/evaluation-result-3447363-1307901316/solver-3447363-1307901316 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447363-1307901316.wbo -t 1800 -m 15500

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

MD5SUM BENCH= aacdee42f12f02195344334122667810
RANDOM SEED=1804947285

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1394796 kB
Buffers:         54668 kB
Cached:       30430964 kB
SwapCached:       8608 kB
Active:       15743088 kB
Inactive:     14860516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1394796 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           12184 kB
Writeback:           0 kB
AnonPages:      115088 kB
Mapped:          16188 kB
Slab:           889536 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   310984 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= 2864 MiB
End job on node109 at 2011-06-12 20:25:18