Trace number 3447950

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MD5SUM540e5098c207f1245411172896d943a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark172
Best CPU time to get the best result obtained on this benchmark0.102983
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3447950-1307902464.wbo>
0.00/0.01	c original problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 951 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 100 del vars, 101 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03	c (round 2) 100 del vars, 101 del conss, 0 add conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.05/0.05	c    (0.1s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.05	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.06	c presolving (3 rounds):
0.05/0.06	c  100 deleted vars, 101 deleted constraints, 0 added constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06	c  1050 implications, 0 cliques
0.05/0.06	c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.05/0.06	c     850 constraints of type <linear>
0.05/0.06	c     850 constraints of type <indicator>
0.05/0.06	c transformed objective value is always integral (scale: 1)
0.05/0.06	c Presolving Time: 0.04
0.05/0.06	c - non default parameters ----------------------------------------------------------------------
0.05/0.06	c # SCIP version 2.0.1.4
0.05/0.06	c 
0.05/0.06	c # frequency for displaying node information lines
0.05/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06	c display/freq = 10000
0.05/0.06	c 
0.05/0.06	c # maximal time in seconds to run
0.05/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06	c limits/time = 1800
0.05/0.06	c 
0.05/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06	c limits/memory = 13950
0.05/0.06	c 
0.05/0.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.06	c # [type: int, range: [1,2], default: 1]
0.05/0.06	c timing/clocktype = 2
0.05/0.06	c 
0.05/0.06	c # belongs reading time to solving time?
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c timing/reading = TRUE
0.05/0.06	c 
0.05/0.06	c # should presolving try to simplify inequalities
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c constraints/linear/simplifyinequalities = TRUE
0.05/0.06	c 
0.05/0.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c constraints/indicator/addCouplingCons = TRUE
0.05/0.06	c 
0.05/0.06	c # should presolving try to simplify knapsacks
0.05/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06	c 
0.05/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06	c separating/rapidlearning/freq = 0
0.05/0.06	c 
0.05/0.06	c -----------------------------------------------------------------------------------------------
0.05/0.06	c start solving
0.05/0.06	c 
0.05/0.06	o 420925
0.05/0.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.05/0.06	c t 0.1s|     1 |     0 |     0 |     - |4957k|   0 |   - |1800 |1700 |   0 |   0 |   0 |   0 |   0 |      --      | 4.209250e+05 |    Inf 
0.05/0.07	c   0.1s|     1 |     0 |   115 |     - |6096k|   0 |  76 |1800 |2550 |1800 | 850 |   0 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |   346 |     - |8450k|   0 |  84 |1800 |2550 |1800 | 872 |  22 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   429 |     - |8488k|   0 |  82 |1800 |2550 |1800 | 886 |  36 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |   534 |     - |8530k|   0 |  79 |1800 |2550 |1800 | 904 |  54 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   610 |     - |8598k|   0 |  83 |1800 |2550 |1800 | 915 |  65 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.69/0.74	c   0.7s|     1 |     0 |   636 |     - |8743k|   0 |  80 |1800 |2550 |1800 | 919 |  69 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
0.79/0.88	c   0.9s|     1 |     0 |   672 |     - |8786k|   0 |  85 |1800 |2550 |1800 | 922 |  72 |   0 |   0 | 0.000000e+00 | 4.209250e+05 |    Inf 
1.99/2.01	c   2.0s|     1 |     2 |   672 |     - |8857k|   0 |  85 |1800 |2550 |1800 | 922 |  72 |   0 |  27 | 0.000000e+00 | 4.209250e+05 |    Inf 
5.99/6.05	o 8769
5.99/6.05	c * 6.1s|    73 |    72 |  4476 |  52.8 |9405k|  58 |   - |1800 |2550 |1800 |1024 | 160 |   0 | 877 | 0.000000e+00 | 8.769000e+03 |    Inf 
45.20/45.29	c  45.3s| 10000 |  9999 |289845 |  28.9 |  23M|  59 |  21 |1800 |2581 |1800 | 938 |  16k|  31 |1874 | 0.000000e+00 | 8.769000e+03 |    Inf 
51.20/51.20	o 6078
51.20/51.20	c *51.2s| 10912 | 10841 |324153 |  29.6 |  24M|  59 |   - |1800 |2581 |1800 |1049 |  20k|  31 |2006 | 0.000000e+00 | 6.078000e+03 |    Inf 
56.60/56.65	o 5548
56.60/56.65	c *56.7s| 11672 | 11531 |354699 |  30.3 |  25M|  59 |   - |1800 |2589 |1800 |1028 |  24k|  39 |2153 | 0.000000e+00 | 5.548000e+03 |    Inf 
70.29/70.38	o 5292
70.29/70.38	c *70.4s| 13730 | 13455 |433928 |  31.6 |  27M|  61 |   - |1800 |2663 |1800 |1025 |  32k| 113 |2595 | 0.000000e+00 | 5.292000e+03 |    Inf 
73.10/73.18	o 3327
73.10/73.18	c *73.2s| 14170 | 12839 |450008 |  31.7 |  27M|  61 |   - |1800 |2674 |1800 |1010 |  34k| 124 |2650 | 0.000000e+00 | 3.327000e+03 |    Inf 
94.80/94.88	o 3278
94.80/94.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.80/94.88	c *94.9s| 17730 | 15591 |577632 |  32.5 |  31M|  61 |   - |1800 |3118 |1800 | 994 |  47k| 580 |3073 | 0.000000e+00 | 3.278000e+03 |    Inf 
95.39/95.49	o 3104
95.39/95.49	c *95.5s| 17795 | 15437 |580907 |  32.6 |  31M|  61 |   - |1800 |3125 |1800 |1001 |  47k| 587 |3099 | 0.000000e+00 | 3.104000e+03 |    Inf 
99.79/99.88	o 2773
99.79/99.88	c *99.9s| 18643 | 15690 |610485 |  32.7 |  31M|  61 |   - |1800 |3179 |1800 |1018 |  49k| 648 |3144 | 0.000000e+00 | 2.773000e+03 |    Inf 
104.80/104.83	o 2610
104.80/104.83	c * 105s| 19500 | 15895 |639801 |  32.8 |  31M|  61 |   - |1800 |3305 |1800 | 997 |  52k| 801 |3275 | 0.000000e+00 | 2.610000e+03 |    Inf 
108.30/108.35	c   108s| 20000 | 16182 |659876 |  33.0 |  31M|  61 |   - |1800 |3380 |1800 | 996 |  54k| 913 |3383 | 0.000000e+00 | 2.610000e+03 |    Inf 
149.60/149.63	o 2502
149.60/149.63	c * 150s| 25995 | 19014 |885284 |  34.0 |  36M|  61 |   - |1800 |3508 |1800 |1004 |  80k|2289 |4238 | 0.000000e+00 | 2.502000e+03 |    Inf 
174.40/174.47	c   174s| 30000 | 21343 |  1026k|  34.2 |  39M|  61 |  38 |1800 |3153 |1800 | 940 |  95k|3102 |4657 | 0.000000e+00 | 2.502000e+03 |    Inf 
239.40/239.48	c   239s| 40000 | 26603 |  1387k|  34.7 |  48M|  61 |  25 |1800 |2921 |1800 | 983 | 134k|5595 |5772 | 0.000000e+00 | 2.502000e+03 |    Inf 
304.61/304.69	c   305s| 50000 | 31835 |  1743k|  34.9 |  56M|  61 |   5 |1800 |2928 |1800 | 951 | 176k|8021 |6789 | 0.000000e+00 | 2.502000e+03 |    Inf 
372.00/372.08	c   372s| 60000 | 37230 |  2134k|  35.6 |  63M|  61 |   - |1800 |2881 |1800 | 981 | 217k|  10k|7975 | 0.000000e+00 | 2.502000e+03 |    Inf 
439.92/439.99	c   440s| 70000 | 41695 |  2496k|  35.7 |  70M|  61 |   2 |1800 |2997 |1800 | 972 | 264k|  12k|9021 | 0.000000e+00 | 2.502000e+03 |    Inf 
507.81/507.82	c   508s| 80000 | 46160 |  2860k|  35.7 |  76M|  61 |   5 |1800 |3012 |1800 | 973 | 309k|  14k|9944 | 0.000000e+00 | 2.502000e+03 |    Inf 
519.61/519.66	o 2463
519.61/519.66	c * 520s| 81944 | 46992 |  2928k|  35.7 |  77M|  61 |   - |1800 |2982 |1800 | 999 | 316k|  15k|  10k| 0.000000e+00 | 2.463000e+03 |    Inf 
553.81/553.80	o 2360
553.81/553.80	c * 554s| 86970 | 48734 |  3109k|  35.7 |  80M|  61 |   - |1800 |2960 |1800 | 990 | 339k|  16k|  10k| 0.000000e+00 | 2.360000e+03 |    Inf 
573.52/573.55	c   574s| 90000 | 50002 |  3215k|  35.7 |  82M|  61 |   - |1800 |2968 |1800 | 981 | 352k|  16k|  10k| 0.000000e+00 | 2.360000e+03 |    Inf 
639.21/639.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
639.21/639.25	c   639s|100000 | 53998 |  3553k|  35.5 |  88M|  61 |  10 |1800 |2928 |1800 | 964 | 397k|  19k|  11k| 0.000000e+00 | 2.360000e+03 |    Inf 
701.73/701.72	c   702s|110000 | 59162 |  3898k|  35.4 |  95M|  61 |   - |1800 |2980 |1800 | 983 | 436k|  21k|  12k| 0.000000e+00 | 2.360000e+03 |    Inf 
777.12/777.12	c   777s|120000 | 63174 |  4277k|  35.6 | 102M|  61 |   5 |1800 |3060 |1800 | 951 | 490k|  24k|  13k| 0.000000e+00 | 2.360000e+03 |    Inf 
810.52/810.52	o 2341
810.52/810.52	c * 811s|125069 | 65172 |  4454k|  35.6 | 105M|  61 |   - |1800 |2970 |1800 |1001 | 512k|  25k|  13k| 0.000000e+00 | 2.341000e+03 |    Inf 
844.43/844.49	c   844s|130000 | 67071 |  4627k|  35.6 | 108M|  61 |   3 |1800 |3040 |1800 | 968 | 536k|  26k|  14k| 0.000000e+00 | 2.341000e+03 |    Inf 
907.43/907.50	c   908s|140000 | 71788 |  4960k|  35.4 | 115M|  61 |   6 |1800 |2985 |1800 | 957 | 577k|  29k|  14k| 0.000000e+00 | 2.341000e+03 |    Inf 
971.43/971.41	c   971s|150000 | 76211 |  5290k|  35.3 | 121M|  61 |   - |1800 |3036 |1800 | 998 | 620k|  31k|  15k| 0.000000e+00 | 2.341000e+03 |    Inf 
1030.83/1030.89	c  1031s|160000 | 80921 |  5600k|  35.0 | 128M|  61 |   - |1800 |3235 |1800 | 977 | 659k|  34k|  15k| 0.000000e+00 | 2.341000e+03 |    Inf 
1093.63/1093.61	c  1094s|170000 | 85108 |  5914k|  34.8 | 135M|  61 |   2 |1800 |3077 |1800 | 966 | 702k|  37k|  16k| 0.000000e+00 | 2.341000e+03 |    Inf 
1105.54/1105.52	o 2265
1105.54/1105.52	c *1106s|171844 | 85630 |  5981k|  34.8 | 136M|  61 |   - |1800 |3068 |1800 | 997 | 710k|  37k|  16k| 0.000000e+00 | 2.265000e+03 |    Inf 
1109.13/1109.14	o 2146
1109.13/1109.14	c *1109s|172469 | 85155 |  6000k|  34.8 | 135M|  61 |   - |1800 |3040 |1800 | 972 | 712k|  37k|  16k| 0.000000e+00 | 2.146000e+03 |    Inf 
1109.73/1109.76	o 2103
1109.73/1109.76	c *1110s|172576 | 84879 |  6003k|  34.8 | 134M|  61 |   - |1800 |3043 |1800 | 975 | 712k|  37k|  16k| 0.000000e+00 | 2.103000e+03 |    Inf 
1121.33/1121.30	o 1816
1121.33/1121.30	c *1121s|174513 | 82903 |  6069k|  34.8 | 130M|  61 |   - |1800 |3035 |1800 | 991 | 719k|  38k|  16k| 0.000000e+00 | 1.816000e+03 |    Inf 
1121.33/1121.38	o 1520
1121.33/1121.38	c *1121s|174521 | 78815 |  6069k|  34.8 | 118M|  61 |   - |1800 |3033 |1800 | 983 | 719k|  38k|  16k| 0.000000e+00 | 1.520000e+03 |    Inf 
1123.73/1123.70	o 1469
1123.73/1123.70	c *1124s|174875 | 77383 |  6082k|  34.8 | 116M|  61 |   - |1800 |3066 |1800 | 979 | 720k|  38k|  17k| 0.000000e+00 | 1.469000e+03 |    Inf 
1153.84/1153.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1153.84/1153.82	c  1154s|180000 | 78414 |  6245k|  34.7 | 119M|  61 |   - |1800 |3257 |1800 | 957 | 737k|  40k|  17k| 0.000000e+00 | 1.469000e+03 |    Inf 
1211.74/1211.74	c  1212s|190000 | 80331 |  6541k|  34.4 | 126M|  61 |   6 |1800 |3377 |1800 | 941 | 770k|  44k|  17k| 0.000000e+00 | 1.469000e+03 |    Inf 
1272.24/1272.27	c  1272s|200000 | 82156 |  6859k|  34.3 | 134M|  61 |   - |1800 |3327 |   0 |   0 | 804k|  49k|  18k| 0.000000e+00 | 1.469000e+03 |    Inf 
1334.95/1334.98	c  1335s|210000 | 84199 |  7178k|  34.2 | 141M|  61 |   3 |1800 |3340 |1800 | 992 | 841k|  53k|  18k| 0.000000e+00 | 1.469000e+03 |    Inf 
1394.44/1394.41	c  1394s|220000 | 86108 |  7481k|  34.0 | 147M|  61 |   - |1800 |3301 |1800 | 983 | 875k|  58k|  18k| 0.000000e+00 | 1.469000e+03 |    Inf 
1455.36/1455.37	c  1455s|230000 | 88232 |  7804k|  33.9 | 154M|  61 |   - |1800 |3396 |1800 | 973 | 909k|  63k|  19k| 0.000000e+00 | 1.469000e+03 |    Inf 
1520.26/1520.20	c  1520s|240000 | 90565 |  8129k|  33.9 | 161M|  61 |  22 |1800 |3651 |1800 | 904 | 949k|  67k|  19k| 0.000000e+00 | 1.469000e+03 |    Inf 
1578.56/1578.55	c  1579s|250000 | 92359 |  8419k|  33.7 | 168M|  61 |   - |1800 |3784 |   0 |   0 | 984k|  72k|  20k| 0.000000e+00 | 1.469000e+03 |    Inf 
1642.06/1642.07	c  1642s|260000 | 93831 |  8744k|  33.6 | 174M|  61 |   - |1800 |3599 |1800 | 982 |1020k|  77k|  20k| 0.000000e+00 | 1.469000e+03 |    Inf 
1704.97/1704.92	c  1705s|270000 | 96186 |  9070k|  33.6 | 181M|  61 |  16 |1800 |3625 |1800 | 966 |1057k|  81k|  20k| 0.000000e+00 | 1.469000e+03 |    Inf 
1730.86/1730.84	o 1219
1730.86/1730.84	c *1731s|274499 | 85349 |  9224k|  33.6 | 167M|  61 |   - |1800 |3564 |1800 |1000 |1069k|  83k|  21k| 0.000000e+00 | 1.219000e+03 |    Inf 
1761.56/1761.59	c  1762s|280000 | 85984 |  9392k|  33.5 | 171M|  61 |   - |1800 |3514 |1800 | 983 |1084k|  86k|  21k| 0.000000e+00 | 1.219000e+03 |    Inf 
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.06/1800.00	c Solving Time (sec) : 1800.00
1800.06/1800.00	c Solving Nodes      : 286362
1800.06/1800.00	c Primal Bound       : +1.21900000000000e+03 (119 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.07/1800.00	s SATISFIABLE
1800.07/1800.00	v x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 -x178 
1800.07/1800.00	v x177 -x176 x175 -x174 x173 x172 -x171 x170 -x169 -x168 x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 
1800.07/1800.00	v x154 -x153 x152 -x151 -x150 x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 
1800.07/1800.00	v x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 x120 -x119 x118 -x117 x116 -x115 -x114 x113 -x112 x111 -x110 x109 
1800.07/1800.00	v x108 -x107 x106 -x105 x104 -x103 x102 -x101 -x100 x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 x87 x86 -x85 -x84 
1800.07/1800.00	v x83 x82 -x81 -x80 x79 -x78 x77 x76 -x75 -x74 x73 x72 -x71 x70 -x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 x56 
1800.07/1800.00	v -x55 -x54 x53 x52 -x51 -x50 x49 x48 -x47 -x46 x45 -x44 x43 x42 -x41 x40 -x39 -x38 x37 -x36 x35 -x34 x33 x32 -x31 x30 -x29 -x28 
1800.07/1800.00	v x27 -x26 x25 x24 -x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1 
1800.07/1800.00	c SCIP Status        : solving was interrupted [time limit reached]

Verifier Data 

OK	1219

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.00 1.91 3/177 23870
/proc/meminfo: memFree=1299816/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=10120 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 1514 0 0 0 0 0 0 0 18 0 1 0 901843487 10362880 1468 33554432000 4194304 9128323 140735960348640 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23870/statm: 2530 1468 396 1205 0 1321 0

[startup+0.0582009 s]
/proc/loadavg: 1.96 2.00 1.91 3/177 23870
/proc/meminfo: memFree=1299816/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=23328 CPUtime=0.05 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 4879 0 0 0 5 0 0 0 18 0 1 0 901843487 23887872 4575 33554432000 4194304 9128323 140735960348640 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 5832 4575 535 1205 0 4623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23328

[startup+0.101198 s]
/proc/loadavg: 1.96 2.00 1.91 3/177 23870
/proc/meminfo: memFree=1299816/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=27568 CPUtime=0.09 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 6094 0 0 0 9 0 0 0 18 0 1 0 901843487 28229632 5755 33554432000 4194304 9128323 140735960348640 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 6892 5808 655 1205 0 5683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27568

[startup+0.301171 s]
/proc/loadavg: 1.96 2.00 1.91 3/177 23870
/proc/meminfo: memFree=1299816/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45680 CPUtime=0.29 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 11683 0 0 0 28 1 0 0 18 0 1 0 901843487 46776320 10350 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11420 10350 717 1205 0 10211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45680

[startup+0.701079 s]
/proc/loadavg: 1.96 2.00 1.91 3/177 23870
/proc/meminfo: memFree=1299816/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45848 CPUtime=0.69 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 11732 0 0 0 68 1 0 0 18 0 1 0 901843487 46948352 10394 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11462 10394 712 1205 0 10253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45848

[startup+1.50093 s]
/proc/loadavg: 1.96 2.00 1.91 3/178 23871
/proc/meminfo: memFree=1259656/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45912 CPUtime=1.49 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 13484 0 0 0 147 2 0 0 20 0 1 0 901843487 47013888 10530 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11478 10530 719 1205 0 10269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45912

[startup+3.10063 s]
/proc/loadavg: 1.96 2.00 1.91 3/178 23871
/proc/meminfo: memFree=1259284/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45988 CPUtime=3.09 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 13492 0 0 0 303 6 0 0 25 0 1 0 901843487 47091712 10538 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11497 10538 719 1205 0 10288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45988

[startup+6.30101 s]
/proc/loadavg: 1.97 2.00 1.91 3/178 23871
/proc/meminfo: memFree=1259064/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45988 CPUtime=6.3 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 13493 0 0 0 621 9 0 0 25 0 1 0 901843487 47091712 10539 33554432000 4194304 9128323 140735960348640 18446744073709551615 7342440 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11497 10539 720 1205 0 10288 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 45988

[startup+12.7008 s]
/proc/loadavg: 1.97 2.00 1.91 3/178 23871
/proc/meminfo: memFree=1258576/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=45988 CPUtime=12.69 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 16601 0 0 0 1253 16 0 0 25 0 1 0 901843487 47091712 10554 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 11497 10554 727 1205 0 10288 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45988

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 1.91 3/178 23872
/proc/meminfo: memFree=1256088/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=50044 CPUtime=25.49 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 21009 0 0 0 2519 30 0 0 25 0 1 0 901843487 51245056 11549 33554432000 4194304 9128323 140735960348640 18446744073709551615 7343366 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 12511 11549 727 1205 0 11302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50044

[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 1.91 3/178 23872
/proc/meminfo: memFree=1250144/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=55524 CPUtime=51.09 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 25861 0 0 0 5056 53 0 0 25 0 1 0 901843487 56856576 12964 33554432000 4194304 9128323 140735960348640 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 13881 12964 727 1205 0 12672 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55524

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23874
/proc/meminfo: memFree=1238732/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=64360 CPUtime=102.3 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 70801 0 0 0 10127 103 0 0 25 0 1 0 901843487 65904640 15151 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 16090 15151 727 1205 0 14881 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 64360

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23875
/proc/meminfo: memFree=1228788/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=72508 CPUtime=162.29 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 99372 0 0 0 16075 154 0 0 25 0 1 0 901843487 74248192 17212 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 18127 17212 727 1205 0 16918 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 72508

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23877
/proc/meminfo: memFree=1220172/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=80308 CPUtime=222.3 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 108317 0 0 0 22021 209 0 0 25 0 1 0 901843487 82235392 19192 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 20077 19192 727 1205 0 18868 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80308

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23878
/proc/meminfo: memFree=1208976/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=88408 CPUtime=282.31 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 113864 0 0 0 27970 261 0 0 25 0 1 0 901843487 90529792 21236 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 22102 21236 727 1205 0 20893 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 88408

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23880
/proc/meminfo: memFree=1198500/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=97748 CPUtime=342.31 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 117465 0 0 0 33917 314 0 0 25 0 1 0 901843487 100093952 23579 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 24437 23579 727 1205 0 23228 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 97748

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/178 23882
/proc/meminfo: memFree=1189644/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=106144 CPUtime=402.31 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 119635 0 0 0 39870 361 0 0 25 0 1 0 901843487 108691456 25722 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 26536 25722 727 1205 0 25327 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 106144

[startup+462.301 s]
/proc/loadavg: 1.43 1.84 1.86 2/172 23908
/proc/meminfo: memFree=1331564/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=111044 CPUtime=462.31 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 120887 0 0 0 45821 410 0 0 25 0 1 0 901843487 113709056 26974 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 27761 26974 727 1205 0 26552 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 111044

[startup+522.301 s]
/proc/loadavg: 1.16 1.68 1.81 2/172 23910
/proc/meminfo: memFree=1323964/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=118024 CPUtime=522.31 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 127394 0 0 0 51772 459 0 0 25 0 1 0 901843487 120856576 28746 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 29506 28746 727 1205 0 28297 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 118024

[startup+582.301 s]
/proc/loadavg: 1.06 1.56 1.75 2/172 23911
/proc/meminfo: memFree=1318212/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=124000 CPUtime=582.32 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 146054 0 0 0 57727 505 0 0 25 0 1 0 901843487 126976000 30207 33554432000 4194304 9128323 140735960348640 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 31000 30207 727 1205 0 29791 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 124000

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.01 1.25 1.58 2/172 23918
/proc/meminfo: memFree=1292760/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=150628 CPUtime=822.33 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 164833 0 0 0 81541 692 0 0 25 0 1 0 901843487 154243072 36417 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 37657 36417 727 1205 0 36448 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 150628

[startup+882.301 s]
/proc/loadavg: 1.00 1.20 1.54 2/172 23920
/proc/meminfo: memFree=1287012/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=156736 CPUtime=882.32 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 170090 0 0 0 87493 739 0 0 25 0 1 0 901843487 160497664 37955 33554432000 4194304 9128323 140735960348640 18446744073709551615 7192225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 39184 37955 727 1205 0 37975 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 156736

[startup+942.301 s]
/proc/loadavg: 1.00 1.16 1.50 2/172 23921
/proc/meminfo: memFree=1278668/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=164860 CPUtime=942.33 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 173341 0 0 0 93447 786 0 0 25 0 1 0 901843487 168816640 40027 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 41215 40027 727 1205 0 40006 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 164860

[startup+1002.3 s]
/proc/loadavg: 1.00 1.13 1.47 2/172 23923
/proc/meminfo: memFree=1271564/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=171912 CPUtime=1002.33 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 176334 0 0 0 99399 834 0 0 25 0 1 0 901843487 176037888 41778 33554432000 4194304 9128323 140735960348640 18446744073709551615 7414888 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 42978 41778 727 1205 0 41769 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 171912

[startup+1062.3 s]
/proc/loadavg: 1.00 1.11 1.43 2/172 23924
/proc/meminfo: memFree=1264340/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=179012 CPUtime=1062.33 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 178143 0 0 0 105352 881 0 0 25 0 1 0 901843487 183308288 43579 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 44753 43579 727 1205 0 43544 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 179012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.08 1.41 2/172 23926
/proc/meminfo: memFree=1253880/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=189500 CPUtime=1122.34 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 195063 0 0 0 111303 931 0 0 25 0 1 0 901843487 194048000 46215 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 47375 46215 729 1205 0 46166 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 189500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.07 1.38 2/172 23927
/proc/meminfo: memFree=1250868/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=192396 CPUtime=1182.34 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 206522 0 0 0 117253 981 0 0 25 0 1 0 901843487 197013504 46933 33554432000 4194304 9128323 140735960348640 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 48099 46933 729 1205 0 46890 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 192396

[startup+1242.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/172 23929
/proc/meminfo: memFree=1246748/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=196400 CPUtime=1242.34 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 210589 0 0 0 123205 1029 0 0 25 0 1 0 901843487 201113600 47938 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 49100 47938 729 1205 0 47891 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 196400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.33 2/172 23931
/proc/meminfo: memFree=1241132/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=201828 CPUtime=1302.35 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 215150 0 0 0 129160 1075 0 0 25 0 1 0 901843487 206671872 49302 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 50457 49302 729 1205 0 49248 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 201828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/172 23932
/proc/meminfo: memFree=1235272/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=207936 CPUtime=1362.35 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 216667 0 0 0 135120 1115 0 0 25 0 1 0 901843487 212926464 50818 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 51984 50818 729 1205 0 50775 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 207936

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.28 2/172 23934
/proc/meminfo: memFree=1229656/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=213392 CPUtime=1422.35 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 218028 0 0 0 141075 1160 0 0 25 0 1 0 901843487 218513408 52179 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 53348 52179 729 1205 0 52139 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 213392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/172 23935
/proc/meminfo: memFree=1221312/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=221964 CPUtime=1482.35 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 221299 0 0 0 147031 1204 0 0 25 0 1 0 901843487 227291136 54282 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 55491 54282 729 1205 0 54282 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 221964

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/172 23937
/proc/meminfo: memFree=1212472/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=230708 CPUtime=1542.36 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 223532 0 0 0 152993 1243 0 0 25 0 1 0 901843487 236244992 56468 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 57677 56468 729 1205 0 56468 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 230708

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/172 23939
/proc/meminfo: memFree=1205376/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=237904 CPUtime=1602.35 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 225355 0 0 0 158947 1288 0 0 25 0 1 0 901843487 243613696 58278 33554432000 4194304 9128323 140735960348640 18446744073709551615 7343184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 59476 58278 729 1205 0 58267 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 237904

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/172 23940
/proc/meminfo: memFree=1198392/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=244964 CPUtime=1662.36 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 227157 0 0 0 164902 1334 0 0 25 0 1 0 901843487 250843136 60071 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 61241 60071 728 1205 0 60032 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 244964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/172 23942
/proc/meminfo: memFree=1188936/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=254520 CPUtime=1722.36 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 229551 0 0 0 170857 1379 0 0 25 0 1 0 901843487 260628480 62437 33554432000 4194304 9128323 140735960348640 18446744073709551615 4893642 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 63630 62437 727 1205 0 62421 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 254520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 23943
/proc/meminfo: memFree=1183068/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=259840 CPUtime=1782.36 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 240392 0 0 0 176811 1425 0 0 25 0 1 0 901843487 266076160 63772 33554432000 4194304 9128323 140735960348640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23870/statm: 64960 63772 727 1205 0 63751 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 259840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.17 2/172 23944
/proc/meminfo: memFree=1181072/32950928 swapFree=67053956/67111528
[pid=23870] ppid=23868 vsize=261776 CPUtime=1800.07 cores=0,2,4,6
/proc/23870/stat : 23870 (scip-2.0.1.4.li) R 23868 23870 22833 0 -1 4202496 240897 0 0 0 178568 1439 0 0 25 0 1 0 901843487 268058624 64277 33554432000 4194304 9128323 140735960348640 18446744073709551615 4683780 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23870/statm: 65444 64277 727 1205 0 64235 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 261776

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1785.68
CPU system time (s): 14.4048
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 261776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.68
system time used= 14.4048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 1763

runsolver used 2.66059 second user time and 5.53516 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-12 20:14:24
IDJOB=3447950
IDBENCH=79406
IDSOLVER=1944
FILE ID=node148/3447950-1307902464
RUNJOBID= node148-1307898941-23582
PBS_JOBID= 13559561
Free space on /var/tmp= 2888 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447950-1307902464/watcher-3447950-1307902464 -o /var/tmp/evaluation-result-3447950-1307902464/solver-3447950-1307902464 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447950-1307902464.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=1254376909

node148.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.854
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.854
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.854
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.83
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.854
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.854
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.854
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.854
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.854
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:     32950928 kB
MemFree:       1300244 kB
Buffers:         55084 kB
Cached:       30501496 kB
SwapCached:      10224 kB
Active:       15742992 kB
Inactive:     14955684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1300244 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:           12056 kB
Writeback:           0 kB
AnonPages:      139480 kB
Mapped:          16168 kB
Slab:           887804 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   338700 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= 2888 MiB
End job on node148 at 2011-06-12 20:44:26