Trace number 2699744

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.25 1801.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/dimacs/
normalized-pret150_25_ext.wbo
MD5SUM365904b3d99ce590f30201f621420ac3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.011997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables300
Total number of constraints550
Number of soft constraints400
Number of constraints which are clauses400
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 401
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 400
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2699744-1278533821.wbo>
0.00/0.01	c original problem has 1100 variables (700 bin, 0 int, 0 impl, 400 cont) and 951 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 150 del vars, 151 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 700 impls, 0 clqs
0.00/0.02	c (round 2) 150 del vars, 151 del conss, 400 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 700 impls, 0 clqs
0.00/0.02	c    (0.0s) probing: 101/550 (18.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  150 deleted vars, 151 deleted constraints, 400 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  700 implications, 0 cliques
0.00/0.02	c presolved problem has 950 variables (550 bin, 0 int, 0 impl, 400 cont) and 800 constraints
0.00/0.02	c     400 constraints of type <indicator>
0.00/0.02	c     400 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 3420
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	o 400
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c t 0.0s|     1 |     0 |     0 |     - |3234k|   0 |   - | 950 | 800 |   0 |   0 |   0 |   0 |   0 |      --      | 4.000000e+02 |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |     0 |     - |3441k|   0 |   0 | 950 | 800 | 950 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.000000e+02 |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |     1 |     - |3441k|   0 |   0 | 950 | 800 | 950 |   1 |   1 |   0 |   0 | 0.000000e+00 | 4.000000e+02 |    Inf 
0.00/0.03	c   0.0s|     1 |     2 |     2 |     - |3456k|   0 |   0 | 950 | 800 | 950 |   1 |   1 |   0 |   0 | 0.000000e+00 | 4.000000e+02 |    Inf 
0.29/0.38	o 1
0.29/0.38	c * 0.3s|   484 |    78 |   422 |   0.9 |4592k| 450 |   - | 950 | 811 | 950 |  21 | 217 |  13 | 298 | 0.000000e+00 | 1.000000e+00 |    Inf 
19.38/19.48	c  17.7s| 10000 |  7618 |110134 |  11.0 |  14M| 450 |  40 | 950 |4504 | 950 | 247 |  43k|7725 |2289 | 0.000000e+00 | 1.000000e+00 |    Inf 
38.99/39.02	c  35.5s| 20000 | 15647 |225064 |  11.3 |  23M| 450 |   3 | 950 |6755 | 950 | 175 |  89k|  15k|3274 | 0.000000e+00 | 1.000000e+00 |    Inf 
59.39/59.48	c  54.1s| 30000 | 23133 |345855 |  11.5 |  32M| 450 |   8 | 950 |  10k| 950 | 211 | 136k|  24k|4112 | 0.000000e+00 | 1.000000e+00 |    Inf 
79.39/79.42	c  72.3s| 40000 | 30919 |459168 |  11.5 |  42M| 450 |  14 | 950 |  14k| 950 | 136 | 181k|  32k|4726 | 0.000000e+00 | 1.000000e+00 |    Inf 
99.18/99.28	c  90.5s| 50000 | 39037 |572279 |  11.4 |  50M| 450 |   8 | 950 |  13k| 950 | 223 | 227k|  39k|5308 | 0.000000e+00 | 1.000000e+00 |    Inf 
119.39/119.45	c   109s| 60000 | 46798 |689366 |  11.5 |  59M| 450 |  18 | 950 |  17k| 950 | 193 | 274k|  45k|5831 | 0.000000e+00 | 1.000000e+00 |    Inf 
139.38/139.40	c   127s| 70000 | 54265 |805520 |  11.5 |  67M| 450 |   3 | 950 |  19k| 950 | 211 | 318k|  52k|6283 | 0.000000e+00 | 1.000000e+00 |    Inf 
160.78/160.84	c   147s| 80000 | 61673 |934207 |  11.7 |  74M| 450 |   3 | 950 |  17k| 950 | 183 | 364k|  58k|6783 | 0.000000e+00 | 1.000000e+00 |    Inf 
181.09/181.10	c   166s| 90000 | 69733 |  1051k|  11.7 |  82M| 450 |  16 | 950 |  20k| 950 | 249 | 411k|  64k|7173 | 0.000000e+00 | 1.000000e+00 |    Inf 
201.99/202.02	c   186s|100000 | 77412 |  1176k|  11.8 |  92M| 450 |   3 | 950 |  24k| 950 | 188 | 457k|  71k|7546 | 0.000000e+00 | 1.000000e+00 |    Inf 
223.20/223.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
223.20/223.24	c   205s|110000 | 84965 |  1295k|  11.8 | 100M| 450 |  33 | 950 |  25k| 950 | 239 | 504k|  78k|7932 | 0.000000e+00 | 1.000000e+00 |    Inf 
244.99/245.09	c   225s|120000 | 92398 |  1418k|  11.8 | 109M| 450 |  42 | 950 |  29k| 950 | 239 | 552k|  86k|8282 | 0.000000e+00 | 1.000000e+00 |    Inf 
266.20/266.28	c   245s|130000 |100195 |  1535k|  11.8 | 117M| 450 |   - | 950 |  29k|   0 |   0 | 598k|  93k|8656 | 0.000000e+00 | 1.000000e+00 |    Inf 
287.39/287.40	c   264s|140000 |107932 |  1654k|  11.8 | 126M| 450 |   8 | 950 |  33k| 950 | 203 | 644k|  99k|8941 | 0.000000e+00 | 1.000000e+00 |    Inf 
309.39/309.45	c   284s|150000 |114886 |  1780k|  11.9 | 135M| 450 |   3 | 950 |  36k| 950 | 197 | 686k| 106k|9205 | 0.000000e+00 | 1.000000e+00 |    Inf 
333.09/333.13	c   306s|160000 |121029 |  1908k|  11.9 | 145M| 450 |   3 | 950 |  41k| 950 | 223 | 728k| 116k|9585 | 0.000000e+00 | 1.000000e+00 |    Inf 
356.00/356.01	c   327s|170000 |128139 |  2033k|  12.0 | 148M| 450 |   6 | 950 |  33k| 950 | 157 | 773k| 124k|9941 | 0.000000e+00 | 1.000000e+00 |    Inf 
379.40/379.41	c   349s|180000 |134802 |  2162k|  12.0 | 156M| 450 |   6 | 950 |  35k| 950 | 146 | 817k| 133k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
402.09/402.19	c   370s|190000 |141734 |  2283k|  12.0 | 165M| 450 |  38 | 950 |  40k| 950 | 245 | 861k| 142k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
424.60/424.65	c   391s|200000 |149370 |  2401k|  12.0 | 174M| 450 |   3 | 950 |  42k| 950 | 195 | 907k| 149k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
447.30/447.37	c   412s|210000 |156913 |  2519k|  12.0 | 181M| 450 |  24 | 950 |  43k| 950 | 249 | 952k| 157k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
470.50/470.52	c   433s|220000 |164202 |  2639k|  12.0 | 190M| 450 |   - | 950 |  44k|   0 |   0 | 996k| 168k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
492.81/492.83	c   454s|230000 |171882 |  2760k|  12.0 | 198M| 450 |   - | 950 |  45k|   0 |   0 |1043k| 175k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
516.50/516.52	c   476s|240000 |179306 |  2884k|  12.0 | 206M| 450 |  15 | 950 |  45k| 950 | 238 |1090k| 183k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
540.40/540.46	c   498s|250000 |186626 |  3006k|  12.0 | 215M| 450 |   3 | 950 |  48k| 950 | 210 |1134k| 190k|  11k| 0.000000e+00 | 1.000000e+00 |    Inf 
563.40/563.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
563.40/563.40	c   519s|260000 |194366 |  3120k|  12.0 | 218M| 450 |   3 | 950 |  42k| 950 | 174 |1181k| 196k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
586.30/586.37	c   540s|270000 |201163 |  3239k|  12.0 | 223M| 450 |  35 | 950 |  38k| 950 | 238 |1224k| 204k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
609.41/609.41	c   561s|280000 |208647 |  3359k|  12.0 | 230M| 450 |  29 | 950 |  37k| 950 | 233 |1270k| 213k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
633.00/633.08	c   583s|290000 |215453 |  3482k|  12.0 | 234M| 450 |  17 | 950 |  31k| 950 | 183 |1312k| 224k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
655.11/655.18	c   604s|300000 |223027 |  3598k|  12.0 | 237M| 450 |  41 | 950 |  25k| 950 | 249 |1357k| 230k|  12k| 0.000000e+00 | 1.000000e+00 |    Inf 
678.20/678.29	c   625s|310000 |230177 |  3722k|  12.0 | 244M| 450 |   3 | 950 |  25k| 950 | 216 |1403k| 238k|  13k| 0.000000e+00 | 1.000000e+00 |    Inf 
699.91/699.95	c   645s|320000 |236795 |  3839k|  12.0 | 250M| 450 |   3 | 950 |  23k| 950 | 190 |1443k| 247k|  13k| 0.000000e+00 | 1.000000e+00 |    Inf 
722.01/722.06	c   665s|330000 |243947 |  3961k|  12.0 | 255M| 450 |  29 | 950 |  21k| 950 | 214 |1488k| 255k|  13k| 0.000000e+00 | 1.000000e+00 |    Inf 
743.91/743.97	c   686s|340000 |250971 |  4086k|  12.0 | 260M| 450 |   3 | 950 |  16k| 950 | 194 |1532k| 263k|  13k| 0.000000e+00 | 1.000000e+00 |    Inf 
766.11/766.10	c   706s|350000 |257672 |  4214k|  12.0 | 267M| 450 |  15 | 950 |  18k| 950 | 233 |1576k| 273k|  13k| 0.000000e+00 | 1.000000e+00 |    Inf 
786.91/786.96	c   725s|360000 |264935 |  4332k|  12.0 | 273M| 450 |  33 | 950 |  16k| 950 | 244 |1620k| 281k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
807.91/807.95	c   744s|370000 |272043 |  4452k|  12.0 | 279M| 450 |   - | 950 |  15k|   0 |   0 |1664k| 290k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
829.31/829.42	c   764s|380000 |279092 |  4571k|  12.0 | 287M| 450 |  15 | 950 |  17k| 950 | 233 |1708k| 300k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
850.60/850.75	c   785s|390000 |286547 |  4688k|  12.0 | 295M| 450 |  18 | 950 |  17k| 950 | 205 |1753k| 308k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
873.40/873.56	c   808s|400000 |293205 |  4812k|  12.0 | 304M| 450 |  17 | 950 |  21k| 950 | 243 |1796k| 315k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
897.20/897.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
897.20/897.36	c   831s|410000 |299757 |  4942k|  12.1 | 311M| 450 |   7 | 950 |  22k| 950 | 216 |1841k| 324k|  14k| 0.000000e+00 | 1.000000e+00 |    Inf 
922.00/922.12	c   855s|420000 |306105 |  5061k|  12.1 | 322M| 450 |  38 | 950 |  29k| 950 | 244 |1883k| 340k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
945.10/945.22	c   878s|430000 |313324 |  5179k|  12.0 | 331M| 450 |   3 | 950 |  32k| 950 | 126 |1926k| 348k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
967.61/967.79	c   900s|440000 |321181 |  5293k|  12.0 | 338M| 450 |  37 | 950 |  31k| 950 | 220 |1973k| 354k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
991.80/991.95	c   924s|450000 |328776 |  5410k|  12.0 | 345M| 450 |  44 | 950 |  32k| 950 | 263 |2019k| 364k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
1017.41/1017.52	c   949s|460000 |336050 |  5533k|  12.0 | 356M| 450 |   7 | 950 |  36k| 950 | 231 |2065k| 373k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
1043.30/1043.40	c   974s|470000 |343278 |  5660k|  12.0 | 367M| 450 |  36 | 950 |  44k| 950 | 256 |2108k| 381k|  15k| 0.000000e+00 | 1.000000e+00 |    Inf 
1071.01/1071.12	c  1001s|480000 |349920 |  5789k|  12.1 | 369M| 450 |   3 | 950 |  35k| 950 | 149 |2152k| 391k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1095.52/1095.61	c  1025s|490000 |357398 |  5915k|  12.1 | 374M| 450 |   - | 950 |  32k|   0 |   0 |2201k| 402k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1119.51/1119.69	c  1049s|500000 |364513 |  6040k|  12.1 | 380M| 450 |   6 | 950 |  29k| 950 | 169 |2247k| 413k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1147.51/1147.61	c  1076s|510000 |370449 |  6171k|  12.1 | 390M| 450 |   7 | 950 |  34k| 950 | 167 |2291k| 427k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1170.22/1170.37	c  1098s|520000 |377801 |  6286k|  12.1 | 394M| 450 |  17 | 950 |  29k| 950 | 237 |2333k| 434k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1193.91/1194.09	c  1122s|530000 |384926 |  6408k|  12.1 | 399M| 450 |   3 | 950 |  26k| 950 | 207 |2379k| 444k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1218.41/1218.54	c  1145s|540000 |391784 |  6535k|  12.1 | 406M| 450 |   - | 950 |  26k|   0 |   0 |2425k| 452k|  16k| 0.000000e+00 | 1.000000e+00 |    Inf 
1241.31/1241.47	c  1168s|550000 |399003 |  6652k|  12.1 | 412M| 450 |   3 | 950 |  24k| 950 | 209 |2469k| 460k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1264.01/1264.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1264.01/1264.14	c  1190s|560000 |406826 |  6773k|  12.1 | 418M| 450 |   3 | 950 |  22k| 950 | 216 |2517k| 468k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1288.81/1288.96	c  1214s|570000 |413822 |  6904k|  12.1 | 427M| 450 |   3 | 950 |  27k| 950 | 200 |2563k| 480k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1311.81/1311.92	c  1237s|580000 |421443 |  7023k|  12.1 | 435M| 450 |  35 | 950 |  28k| 950 | 218 |2606k| 488k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1335.22/1335.36	c  1260s|590000 |428683 |  7147k|  12.1 | 445M| 450 |  15 | 950 |  33k| 950 | 243 |2649k| 498k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1360.91/1361.01	c  1285s|600000 |435290 |  7275k|  12.1 | 452M| 450 |  35 | 950 |  34k| 950 | 237 |2694k| 509k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1385.82/1385.93	c  1309s|610000 |442520 |  7404k|  12.1 | 452M| 450 |  17 | 950 |  22k| 950 | 218 |2742k| 518k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1409.02/1409.14	c  1332s|620000 |449601 |  7526k|  12.1 | 457M| 450 |   - | 950 |  18k|   0 |   0 |2789k| 528k|  17k| 0.000000e+00 | 1.000000e+00 |    Inf 
1431.52/1431.64	c  1354s|630000 |456426 |  7649k|  12.1 | 465M| 450 |   3 | 950 |  20k| 950 | 167 |2832k| 537k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1454.52/1454.62	c  1376s|640000 |463800 |  7772k|  12.1 | 471M| 450 |   3 | 950 |  19k| 950 | 226 |2878k| 545k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1477.52/1477.65	c  1399s|650000 |471251 |  7897k|  12.1 | 478M| 450 |   - | 950 |  18k|   0 |   0 |2925k| 550k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1502.12/1502.24	c  1423s|660000 |477957 |  8026k|  12.2 | 487M| 450 |  32 | 950 |  22k| 950 | 227 |2972k| 558k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1524.22/1524.36	c  1445s|670000 |485664 |  8145k|  12.2 | 493M| 450 |  33 | 950 |  19k| 950 | 250 |3018k| 566k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1546.82/1546.94	c  1467s|680000 |492680 |  8268k|  12.2 | 497M| 450 |  10 | 950 |  14k| 950 | 101 |3063k| 574k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1568.22/1568.38	c  1488s|690000 |500434 |  8388k|  12.2 | 504M| 450 |  26 | 950 |  14k| 950 | 233 |3110k| 581k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1589.62/1589.74	c  1509s|700000 |508212 |  8502k|  12.1 | 513M| 450 |   6 | 950 |  17k| 950 | 229 |3157k| 590k|  18k| 0.000000e+00 | 1.000000e+00 |    Inf 
1612.82/1612.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1612.82/1612.93	c  1531s|710000 |515678 |  8633k|  12.2 | 519M| 450 |   7 | 950 |  15k| 950 | 202 |3206k| 597k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1634.82/1634.99	c  1553s|720000 |522893 |  8757k|  12.2 | 527M| 450 |   6 | 950 |  16k| 950 | 203 |3252k| 607k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1658.03/1658.13	c  1575s|730000 |530112 |  8885k|  12.2 | 534M| 450 |   6 | 950 |  17k| 950 | 194 |3298k| 615k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1680.33/1680.42	c  1597s|740000 |536686 |  9009k|  12.2 | 544M| 450 |   - | 950 |  22k|   0 |   0 |3340k| 624k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1703.83/1703.99	c  1620s|750000 |543547 |  9132k|  12.2 | 549M| 450 |  26 | 950 |  20k| 950 | 234 |3384k| 632k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1727.73/1727.84	c  1644s|760000 |550132 |  9251k|  12.2 | 561M| 450 |  34 | 950 |  28k| 950 | 222 |3426k| 648k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1751.32/1751.46	c  1667s|770000 |557265 |  9370k|  12.2 | 571M| 450 |   3 | 950 |  34k| 950 | 218 |3470k| 657k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1775.43/1775.50	c  1690s|780000 |564083 |  9492k|  12.2 | 577M| 450 |   3 | 950 |  31k| 950 | 215 |3513k| 670k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1798.34/1798.50	c  1713s|790000 |571406 |  9611k|  12.2 | 581M| 450 |  18 | 950 |  26k| 950 | 249 |3558k| 681k|  19k| 0.000000e+00 | 1.000000e+00 |    Inf 
1800.03/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.10	c 
1800.03/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.10	c Solving Time (sec) : 1714.23
1800.03/1800.10	c Solving Nodes      : 790637
1800.03/1800.10	c Primal Bound       : +1.00000000000000e+00 (55 solutions)
1800.03/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.10	c Gap                : infinite
1800.03/1800.11	s SATISFIABLE
1800.03/1800.11	v -x300 x299 x298 -x297 x296 -x295 -x294 x293 x292 -x291 x290 -x289 x288 -x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 
1800.03/1800.11	v x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 
1800.03/1800.11	v -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 
1800.03/1800.11	v x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 
1800.03/1800.11	v -x208 x207 -x206 x205 -x204 x203 x202 -x201 x200 -x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 
1800.03/1800.11	v -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 
1800.03/1800.11	v x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 
1800.03/1800.11	v -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 
1800.03/1800.11	v x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 
1800.03/1800.11	v -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 
1800.03/1800.11	v -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 
1800.03/1800.11	v -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 x24 -x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 
1800.03/1800.11	v x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1 
1800.03/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.11	c Solving Time       :    1714.23
1800.03/1800.11	c Original Problem   :
1800.03/1800.11	c   Problem name     : HOME/instance-2699744-1278533821.wbo
1800.03/1800.11	c   Variables        : 1100 (700 binary, 0 integer, 0 implicit integer, 400 continuous)
1800.03/1800.11	c   Constraints      : 951 initial, 951 maximal
1800.03/1800.11	c Presolved Problem  :
1800.03/1800.11	c   Problem name     : t_HOME/instance-2699744-1278533821.wbo
1800.03/1800.11	c   Variables        : 950 (550 binary, 0 integer, 0 implicit integer, 400 continuous)
1800.03/1800.11	c   Constraints      : 800 initial, 51093 maximal
1800.03/1800.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.11	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   linear           :       0.00          0        150          0        400          0        151          0          0
1800.03/1800.11	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.11	c   root node        :          -        400          -          -        800          -          -          -          -
1800.03/1800.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.11	c   integral         :          0          0          0    4275426          0          1        794          0          0    1428752
1800.03/1800.11	c   indicator        :        400          0        708        532          0          0        877          0          0          0
1800.03/1800.11	c   linear           :        400          2    3544955    3560742          0     127396    6636984    3560995          0          0
1800.03/1800.11	c   logicor          :          0+         0    1705651          0          0      15001     831542          0          0          0
1800.03/1800.11	c   countsols        :          0          0          0        430          0          0          0          0          0          0
1800.03/1800.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.11	c   integral         :      17.12       0.00       0.00      17.12       0.00
1800.03/1800.11	c   indicator        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.11	c   linear           :     100.04       0.00      62.02      38.02       0.00
1800.03/1800.11	c   logicor          :     115.68       0.00     115.68       0.00       0.00
1800.03/1800.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.11	c   vbounds          :       0.48          2          0          0
1800.03/1800.11	c   rootredcost      :       0.28          1          0        400
1800.03/1800.11	c   pseudoobj        :      24.68    3544757          0          0
1800.03/1800.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.11	c   propagation      :      14.20     142397     142397    2150189       52.4       6196       16.9          -
1800.03/1800.11	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.11	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.11	c   applied globally :          -          -          -     681843       48.0          -          -          -
1800.03/1800.11	c   applied locally  :          -          -          -          2       68.5          -          -          -
1800.03/1800.11	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.11	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.11	c   redcost          :      32.49    3021131          0          0          0          0
1800.03/1800.11	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.11	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.11	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.11	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.11	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.11	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.11	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.11	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.11	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.11	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.11	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.11	c Pricers            :       Time      Calls       Vars
1800.03/1800.11	c   problem variables:       0.00          0          0
1800.03/1800.11	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.11	c   relpscost        :      16.25     714684          1        794          0          0    1428752
1800.03/1800.11	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.11	c   inference        :       0.04        429          0          0          0          0        858
1800.03/1800.11	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.11	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.11	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.11	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.11	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.11	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.11	c   LP solutions     :       0.00          -          1
1800.03/1800.11	c   pseudo solutions :       0.00          -          0
1800.03/1800.11	c   coefdiving       :       0.00          0          0
1800.03/1800.11	c   pscostdiving     :       0.00          0          0
1800.03/1800.11	c   fracdiving       :       0.00          0          0
1800.03/1800.11	c   veclendiving     :       0.00          0          0
1800.03/1800.11	c   objpscostdiving  :       0.00          0          0
1800.03/1800.11	c   rootsoldiving    :       0.00          0          0
1800.03/1800.11	c   linesearchdiving :       0.00          0          0
1800.03/1800.11	c   guideddiving     :       0.00          0          0
1800.03/1800.11	c   feaspump         :       0.00          0          0
1800.03/1800.11	c   intshifting      :       0.00          0          0
1800.03/1800.11	c   oneopt           :       0.09          2          0
1800.03/1800.11	c   crossover        :       0.12          1          0
1800.03/1800.11	c   trivial          :       0.01          2          1
1800.03/1800.11	c   simplerounding   :       1.55     714683          0
1800.03/1800.11	c   zirounding       :       0.08       1000          0
1800.03/1800.11	c   rounding         :       1.37      11935          0
1800.03/1800.11	c   shifting         :       0.31       3884          0
1800.03/1800.11	c   twoopt           :       0.00          0          0
1800.03/1800.11	c   fixandinfer      :       0.00          0          0
1800.03/1800.11	c   intdiving        :       0.00          0          0
1800.03/1800.11	c   actconsdiving    :       0.00          0          0
1800.03/1800.11	c   octane           :       0.00          0          0
1800.03/1800.11	c   rens             :       0.00          0          0
1800.03/1800.11	c   rins             :       0.00          0          0
1800.03/1800.11	c   localbranching   :       0.00          0          0
1800.03/1800.11	c   mutation         :       0.00          0          0
1800.03/1800.11	c   dins             :       0.00          0          0
1800.03/1800.11	c   undercover       :       0.00          0          0
1800.03/1800.11	c   nlp              :       0.12          0          0
1800.03/1800.11	c   trysol           :       0.50         54         53
1800.03/1800.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.11	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.11	c   dual LP          :     894.23    4274974    9619584       2.25   10757.39
1800.03/1800.11	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.11	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.11	c   diving/probing LP:       0.00          1          1       1.00          -
1800.03/1800.11	c   strong branching :      10.67      19891     176853       8.89   16574.79
1800.03/1800.11	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.11	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.11	c B&B Tree           :
1800.03/1800.11	c   number of runs   :          1
1800.03/1800.11	c   nodes            :     790637
1800.03/1800.11	c   nodes (total)    :     790637
1800.03/1800.11	c   nodes left       :     571768
1800.03/1800.11	c   max depth        :        450
1800.03/1800.11	c   max depth (total):        450
1800.03/1800.11	c   backtracks       :      66685 (8.4%)
1800.03/1800.11	c   delayed cutoffs  :      66805
1800.03/1800.11	c   repropagations   :      85345 (2486001 domain reductions, 66567 cutoffs)
1800.03/1800.11	c   avg switch length:       3.49
1800.03/1800.11	c   switching time   :     124.29
1800.03/1800.11	c Solution           :
1800.03/1800.11	c   Solutions found  :         55 (2 improvements)
1800.03/1800.11	c   First Solution   : +4.00000000000000e+02   (in run 1, after 1 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.11	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 484 nodes, 0.33 seconds, depth 358, found by <relaxation>)
1800.03/1800.11	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.11	c   Gap              :   infinite
1800.03/1800.11	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.11	c   Root Iterations  :          2
1801.23/1801.31	c Time complete: 1801.24.

Verifier Data 

OK	1

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.58 0.15 0.04 3/200 7587
/proc/meminfo: memFree=28248568/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=9272 CPUtime=0
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 1636 0 0 0 0 0 0 0 21 0 1 0 21594832 9494528 1556 4089446400 4194304 8223781 140733887980288 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7587/statm: 2318 1556 363 984 0 1331 0

[startup+0.069623 s]
/proc/loadavg: 0.58 0.15 0.04 3/200 7587
/proc/meminfo: memFree=28248568/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=17252 CPUtime=0.06
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 4336 0 0 0 5 1 0 0 21 0 1 0 21594832 17666048 3376 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 4313 3376 545 984 0 3326 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17252

[startup+0.100616 s]
/proc/loadavg: 0.58 0.15 0.04 3/200 7587
/proc/meminfo: memFree=28248568/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=24680 CPUtime=0.09
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 6644 0 0 0 8 1 0 0 21 0 1 0 21594832 25272320 4903 4089446400 4194304 8223781 140733887980288 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 6170 4903 554 984 0 5183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24680

[startup+0.300575 s]
/proc/loadavg: 0.58 0.15 0.04 3/200 7587
/proc/meminfo: memFree=28248568/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=18520 CPUtime=0.29
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 6899 0 0 0 25 4 0 0 21 0 1 0 21594832 18964480 3718 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 4630 3718 561 984 0 3643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18520

[startup+0.700515 s]
/proc/loadavg: 0.58 0.15 0.04 3/200 7587
/proc/meminfo: memFree=28248568/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=19356 CPUtime=0.69
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 7106 0 0 0 61 8 0 0 22 0 1 0 21594832 19820544 3925 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 4839 3925 566 984 0 3852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19356

[startup+1.50036 s]
/proc/loadavg: 0.58 0.15 0.04 3/201 7588
/proc/meminfo: memFree=28234548/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=19508 CPUtime=1.49
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 7982 0 0 0 134 15 0 0 25 0 1 0 21594832 19976192 3973 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 4877 3973 566 984 0 3890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19508

[startup+3.10107 s]
/proc/loadavg: 0.58 0.15 0.04 3/201 7588
/proc/meminfo: memFree=28232564/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=23560 CPUtime=3.09
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 9789 0 0 0 277 32 0 0 25 0 1 0 21594832 24125440 4969 4089446400 4194304 8223781 140733887980288 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 5890 4986 566 984 0 4903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23560

[startup+6.30048 s]
/proc/loadavg: 0.70 0.18 0.06 3/201 7588
/proc/meminfo: memFree=28228488/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=24460 CPUtime=6.29
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 11642 0 0 0 570 59 0 0 25 0 1 0 21594832 25047040 5222 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 6115 5222 566 984 0 5128 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24460

[startup+12.7003 s]
/proc/loadavg: 0.80 0.21 0.07 3/201 7588
/proc/meminfo: memFree=28220768/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=30048 CPUtime=12.69
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 13021 0 0 0 1154 115 0 0 25 0 1 0 21594832 30769152 6601 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7587/statm: 7512 6601 566 984 0 6525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30048

[startup+25.501 s]
/proc/loadavg: 1.07 0.30 0.10 3/201 7588
/proc/meminfo: memFree=28212928/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=35716 CPUtime=25.48
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 15222 0 0 0 2321 227 0 0 25 0 1 0 21594832 36573184 8030 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 8929 8030 566 984 0 7942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35716

[startup+51.1003 s]
/proc/loadavg: 1.38 0.43 0.14 3/201 7589
/proc/meminfo: memFree=28189944/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=50240 CPUtime=51.08
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 20396 0 0 0 4649 459 0 0 25 0 1 0 21594832 51445760 11660 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 12560 11660 566 984 0 11573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50240

[startup+102.306 s]
/proc/loadavg: 1.73 0.67 0.24 3/201 7590
/proc/meminfo: memFree=28149480/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=77744 CPUtime=102.3
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 27883 0 0 0 9326 904 0 0 25 0 1 0 21594832 79609856 18350 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 19436 18350 566 984 0 18449 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 77744

[startup+162.301 s]
/proc/loadavg: 1.90 0.91 0.35 3/201 7595
/proc/meminfo: memFree=28107828/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=105568 CPUtime=162.28
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 34898 0 0 0 14851 1377 0 0 25 0 1 0 21594832 108101632 25363 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 26392 25363 566 984 0 25405 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 105568

[startup+222.301 s]
/proc/loadavg: 1.96 1.11 0.45 3/201 7597
/proc/meminfo: memFree=28070600/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=133896 CPUtime=222.29
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 42285 0 0 0 20423 1806 0 0 25 0 1 0 21594832 137109504 31953 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 33474 31953 566 984 0 32487 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 133896

[startup+282.3 s]
/proc/loadavg: 2.02 1.28 0.55 3/201 7598
/proc/meminfo: memFree=28042528/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=161092 CPUtime=282.29
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 48972 0 0 0 25941 2288 0 0 25 0 1 0 21594832 164958208 38629 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 40273 38629 566 984 0 39286 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 161092

[startup+342.3 s]
/proc/loadavg: 2.00 1.41 0.64 3/201 7600
/proc/meminfo: memFree=28012592/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=187712 CPUtime=342.3
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 55356 0 0 0 31485 2745 0 0 25 0 1 0 21594832 192217088 45010 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 46928 45010 566 984 0 45941 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 187712

[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.72 3/201 7601
/proc/meminfo: memFree=27986016/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=204608 CPUtime=402.29
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 59674 0 0 0 37025 3204 0 0 25 0 1 0 21594832 209518592 49328 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 51152 49328 566 984 0 50165 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 204608

[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.79 3/201 7603
/proc/meminfo: memFree=27953620/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=226100 CPUtime=462.3
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 65953 0 0 0 42567 3663 0 0 25 0 1 0 21594832 231526400 54851 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 56525 54851 566 984 0 55538 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 226100

[startup+522.3 s]
/proc/loadavg: 2.06 1.69 0.87 3/201 7604
/proc/meminfo: memFree=27919736/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=253980 CPUtime=522.3
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 72400 0 0 0 48099 4131 0 0 25 0 1 0 21594832 260075520 61298 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 63495 61298 566 984 0 62508 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 253980

[startup+582.301 s]
/proc/loadavg: 2.06 1.75 0.95 3/201 7606
/proc/meminfo: memFree=27889048/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=279560 CPUtime=582.3
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 77679 0 0 0 53647 4583 0 0 25 0 1 0 21594832 286269440 66577 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 69890 66577 566 984 0 68903 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 279560

[startup+642.301 s]
/proc/loadavg: 2.02 1.80 1.01 3/201 7608
/proc/meminfo: memFree=27865324/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=294608 CPUtime=642.31
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 81544 0 0 0 59194 5037 0 0 25 0 1 0 21594832 301678592 70441 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7587/statm: 73652 70441 566 984 0 72665 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 294608

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.01 1.95 1.36 3/183 7776
/proc/meminfo: memFree=27872368/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=428804 CPUtime=1062.21
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 115970 0 0 0 99252 6969 0 0 25 0 1 0 21594832 439095296 104109 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 107201 104109 566 984 0 106214 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 428804

[startup+1122.3 s]
/proc/loadavg: 2.11 1.99 1.41 3/183 7777
/proc/meminfo: memFree=27751176/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=446036 CPUtime=1122.21
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 120371 0 0 0 105124 7097 0 0 25 0 1 0 21594832 456740864 108510 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 111509 108510 566 984 0 110522 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 446036

[startup+1182.3 s]
/proc/loadavg: 2.04 1.99 1.44 3/183 7779
/proc/meminfo: memFree=27632584/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=460448 CPUtime=1182.21
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 123767 0 0 0 111002 7219 0 0 25 0 1 0 21594832 471498752 111906 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 115112 111906 566 984 0 114125 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 460448

[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.47 3/183 7781
/proc/meminfo: memFree=27522916/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=477588 CPUtime=1242.21
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 128107 0 0 0 116870 7351 0 0 25 0 1 0 21594832 489050112 116244 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 119397 116244 566 984 0 118410 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 477588

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.50 3/183 7782
/proc/meminfo: memFree=27459264/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=495644 CPUtime=1302.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 132712 0 0 0 122736 7486 0 0 25 0 1 0 21594832 507539456 120849 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 123911 120849 566 984 0 122924 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 495644

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 1.54 3/183 7784
/proc/meminfo: memFree=27433060/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=511108 CPUtime=1362.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 136664 0 0 0 128616 7606 0 0 25 0 1 0 21594832 523374592 124801 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 127777 124801 566 984 0 126790 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 511108

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 1.57 3/183 7786
/proc/meminfo: memFree=27387092/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=526828 CPUtime=1422.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 140728 0 0 0 134483 7739 0 0 25 0 1 0 21594832 539471872 128865 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 131707 128865 566 984 0 130720 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 526828

[startup+1482.3 s]
/proc/loadavg: 2.09 2.02 1.60 3/183 7787
/proc/meminfo: memFree=27357052/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=553960 CPUtime=1482.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 145542 0 0 0 140349 7873 0 0 25 0 1 0 21594832 567255040 133679 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 138490 133679 566 984 0 137503 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 553960

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.62 3/183 7789
/proc/meminfo: memFree=27330716/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=569312 CPUtime=1542.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 149458 0 0 0 146219 8003 0 0 25 0 1 0 21594832 582975488 137595 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 142328 137595 566 984 0 141341 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 569312

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.64 3/183 7790
/proc/meminfo: memFree=27298176/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=588488 CPUtime=1602.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 154352 0 0 0 152083 8139 0 0 25 0 1 0 21594832 602611712 142489 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 147122 142489 566 984 0 146135 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 588488

[startup+1662.3 s]
/proc/loadavg: 2.16 2.04 1.67 3/183 7792
/proc/meminfo: memFree=27263900/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=607544 CPUtime=1662.22
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 159175 0 0 0 157939 8283 0 0 25 0 1 0 21594832 622125056 147308 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 151886 147308 566 984 0 150899 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 607544

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.69 3/183 7866
/proc/meminfo: memFree=27817912/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=625568 CPUtime=1722.23
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 163977 0 0 0 163809 8414 0 0 25 0 1 0 21594832 640581632 152110 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 156392 152110 566 984 0 155405 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 625568

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.70 3/183 7868
/proc/meminfo: memFree=27754260/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=648968 CPUtime=1782.23
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 169809 0 0 0 169682 8541 0 0 25 0 1 0 21594832 664543232 157942 4089446400 4194304 8223781 140733887980288 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 162242 157942 566 984 0 161255 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 648968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 1.71 3/183 7869
/proc/meminfo: memFree=27729088/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=653932 CPUtime=1800.03
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 171076 0 0 0 171423 8580 0 0 25 0 1 0 21594832 669626368 159209 4089446400 4194304 8223781 140733887980288 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7587/statm: 163483 159209 566 984 0 162496 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 653932

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 1.71 3/184 7870
/proc/meminfo: memFree=27740736/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=640448 CPUtime=1800.54
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 171078 0 0 0 171473 8581 0 0 18 0 1 0 21594832 655818752 155840 4089446400 4194304 8223781 140733887980288 18446744073709551615 6006964 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/7587/statm: 160112 155840 568 984 0 159125 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 640448

[startup+1801 s]
/proc/loadavg: 2.01 2.02 1.71 3/184 7870
/proc/meminfo: memFree=27740736/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=561924 CPUtime=1800.93
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 171078 0 0 0 171512 8581 0 0 19 0 1 0 21594832 575410176 136209 4089446400 4194304 8223781 140733887980288 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/7587/statm: 140481 136209 568 984 0 139494 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 561924

[startup+1801.2 s]
/proc/loadavg: 2.01 2.02 1.71 3/184 7870
/proc/meminfo: memFree=27740736/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=444256 CPUtime=1801.13
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 171078 0 0 0 171532 8581 0 0 19 0 1 0 21594832 454918144 106795 4089446400 4194304 8223781 140733887980288 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/7587/statm: 111064 106795 568 984 0 110077 0
Current children cumulated CPU time (s) 1801.13
Current children cumulated vsize (KiB) 444256

[startup+1801.3 s]
/proc/loadavg: 2.01 2.02 1.71 3/184 7870
/proc/meminfo: memFree=27740736/32951124 swapFree=67111528/67111528
[pid=7587] ppid=7585 vsize=196716 CPUtime=1801.23
/proc/7587/stat : 7587 (pbscip.linux.x8) R 7585 7587 7412 0 -1 4202496 171078 0 0 0 171541 8582 0 0 19 0 1 0 21594832 201437184 46900 4089446400 4194304 8223781 140733887980288 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/7587/statm: 49179 46643 568 984 0 48192 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 196716

Child status: 0
Real time (s): 1801.31
CPU time (s): 1801.25
CPU user time (s): 1715.41
CPU system time (s): 85.834
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 653932

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

runsolver used 2.69059 second user time and 5.64114 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-07 22:17:01
IDJOB=2699744
IDBENCH=79370
IDSOLVER=1204
FILE ID=node133/2699744-1278533821
PBS_JOBID= 11239212
Free space on /tmp= 73656 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/dimacs/normalized-pret150_25_ext.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699744-1278533821/watcher-2699744-1278533821 -o /tmp/evaluation-result-2699744-1278533821/solver-2699744-1278533821 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699744-1278533821.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 365904b3d99ce590f30201f621420ac3
RANDOM SEED=1689275231

node133.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.844
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.68
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.844
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.844
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.844
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.84
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.844
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.75
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.844
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.82
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.844
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.67
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.844
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28249716 kB
Buffers:        150408 kB
Cached:        4112496 kB
SwapCached:          0 kB
Active:        1437688 kB
Inactive:      3109768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28249716 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5644 kB
Writeback:           0 kB
AnonPages:      284188 kB
Mapped:          20320 kB
Slab:            91452 kB
PageTables:       5248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1661988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73648 MiB
End job on node133 at 2010-07-07 22:47:03