Trace number 2692461

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) 1800.45 1800.41

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 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-2692461-1277931333.wbo>
0.01/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.09/0.12	o 136842
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.368420e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.98
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.39/0.41	c   0.3s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.368420e+05 |    Inf 
29.18/29.23	c  28.4s| 10000 | 10001 | 51379 |   5.1 |  51M|  97 |   5 |5645 |5414 |5645 | 175 |  14k|   0 |1798 | 0.000000e+00 | 1.368420e+05 |    Inf 
53.28/53.39	c  52.0s| 20000 | 20001 | 94599 |   4.7 |  74M|  97 |   0 |5645 |5414 |5645 | 273 |  26k|   0 |1800 | 0.000000e+00 | 1.368420e+05 |    Inf 
79.49/79.50	c  77.4s| 30000 | 30001 |146411 |   4.9 |  98M|  97 |   0 |5645 |5414 |5645 | 197 |  36k|   0 |2290 | 0.000000e+00 | 1.368420e+05 |    Inf 
102.69/102.79	c   100s| 40000 | 40001 |180514 |   4.5 | 120M| 159 |   0 |5645 |5414 |5645 | 201 |  43k|   0 |2762 | 0.000000e+00 | 1.368420e+05 |    Inf 
124.49/124.53	c   121s| 50000 | 50001 |206796 |   4.1 | 142M| 159 |   0 |5645 |5414 |5645 | 203 |  51k|   0 |3122 | 0.000000e+00 | 1.368420e+05 |    Inf 
145.89/145.94	c   142s| 60000 | 60001 |232127 |   3.9 | 164M| 159 |   0 |5645 |5414 |5645 | 189 |  58k|   0 |3360 | 0.000000e+00 | 1.368420e+05 |    Inf 
165.99/166.07	c   162s| 70000 | 70001 |251075 |   3.6 | 186M| 189 |   0 |5645 |5414 |5645 | 190 |  62k|   0 |3544 | 0.000000e+00 | 1.368420e+05 |    Inf 
185.79/185.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
185.79/185.85	c   181s| 80000 | 79999 |268675 |   3.4 | 207M| 205 |   0 |5645 |5423 |5645 | 196 |  67k|   9 |3680 | 0.000000e+00 | 1.368420e+05 |    Inf 
205.69/205.77	c   201s| 90000 | 89999 |287048 |   3.2 | 228M| 217 |   0 |5645 |5423 |5645 | 237 |  72k|   9 |3795 | 0.000000e+00 | 1.368420e+05 |    Inf 
225.99/226.07	c   221s|100000 | 99995 |305523 |   3.1 | 249M| 217 |   0 |5645 |5443 |5645 | 203 |  77k|  29 |3976 | 0.000000e+00 | 1.368420e+05 |    Inf 
246.69/246.72	c   241s|110000 |109995 |324983 |   3.0 | 270M| 217 |   0 |5645 |5443 |5645 | 219 |  82k|  29 |4107 | 0.000000e+00 | 1.368420e+05 |    Inf 
266.99/267.04	c   261s|120000 |119993 |342681 |   2.9 | 291M| 217 |   0 |5645 |5448 |5645 | 225 |  87k|  38 |4335 | 0.000000e+00 | 1.368420e+05 |    Inf 
287.19/287.24	c   281s|130000 |129993 |361321 |   2.8 | 312M| 229 |   0 |5645 |5445 |5645 | 194 |  91k|  38 |4425 | 0.000000e+00 | 1.368420e+05 |    Inf 
306.79/306.90	c   300s|140000 |139993 |377035 |   2.7 | 333M| 229 |   0 |5645 |5439 |5645 | 202 |  95k|  38 |4524 | 0.000000e+00 | 1.368420e+05 |    Inf 
326.19/326.22	c   319s|150000 |149993 |391985 |   2.6 | 354M| 229 |   0 |5645 |5436 |5645 | 181 |  98k|  38 |4595 | 0.000000e+00 | 1.368420e+05 |    Inf 
346.09/346.17	c   338s|160000 |159993 |410270 |   2.6 | 375M| 229 |   0 |5645 |5436 |5645 | 203 | 102k|  38 |4712 | 0.000000e+00 | 1.368420e+05 |    Inf 
366.39/366.47	c   358s|170000 |169993 |427136 |   2.5 | 396M| 229 |   0 |5645 |5436 |5645 | 182 | 106k|  38 |4816 | 0.000000e+00 | 1.368420e+05 |    Inf 
386.39/386.44	c   378s|180000 |179993 |444802 |   2.5 | 416M| 229 |   0 |5645 |5436 |5645 | 180 | 110k|  38 |4916 | 0.000000e+00 | 1.368420e+05 |    Inf 
406.20/406.26	c   397s|190000 |189993 |461285 |   2.4 | 437M| 229 |   0 |5645 |5436 |5645 | 206 | 114k|  38 |5008 | 0.000000e+00 | 1.368420e+05 |    Inf 
426.19/426.26	c   417s|200000 |199993 |478561 |   2.4 | 458M| 229 |   0 |5645 |5432 |5645 | 218 | 117k|  38 |5129 | 0.000000e+00 | 1.368420e+05 |    Inf 
446.50/446.53	c   436s|210000 |209993 |495978 |   2.4 | 479M| 229 |   0 |5645 |5430 |5645 | 210 | 121k|  38 |5214 | 0.000000e+00 | 1.368420e+05 |    Inf 
467.00/467.08	c   457s|220000 |219993 |515158 |   2.3 | 500M| 229 |   0 |5645 |5428 |5645 | 201 | 125k|  38 |5321 | 0.000000e+00 | 1.368420e+05 |    Inf 
487.39/487.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
487.39/487.47	c   477s|230000 |229993 |532815 |   2.3 | 521M| 229 |   0 |5645 |5427 |5645 | 222 | 130k|  38 |5475 | 0.000000e+00 | 1.368420e+05 |    Inf 
507.79/507.81	c   496s|240000 |239993 |549219 |   2.3 | 542M| 229 |   0 |5645 |5427 |5645 | 206 | 135k|  38 |5567 | 0.000000e+00 | 1.368420e+05 |    Inf 
528.00/528.06	c   516s|250000 |249993 |566591 |   2.3 | 563M| 229 |   0 |5645 |5427 |5645 | 227 | 139k|  38 |5664 | 0.000000e+00 | 1.368420e+05 |    Inf 
549.20/549.22	c   537s|260000 |259991 |589208 |   2.3 | 584M| 229 |   0 |5645 |5436 |5645 | 204 | 143k|  48 |5782 | 0.000000e+00 | 1.368420e+05 |    Inf 
570.39/570.42	c   558s|270000 |269991 |611884 |   2.3 | 605M| 229 |   0 |5645 |5436 |5645 | 163 | 148k|  48 |5973 | 0.000000e+00 | 1.368420e+05 |    Inf 
591.00/591.01	c   578s|280000 |279991 |632306 |   2.3 | 626M| 229 |   0 |5645 |5433 |5645 | 209 | 153k|  48 |6080 | 0.000000e+00 | 1.368420e+05 |    Inf 
610.90/610.95	c   597s|290000 |289991 |647515 |   2.2 | 647M| 229 |   0 |5645 |5429 |5645 | 188 | 155k|  48 |6132 | 0.000000e+00 | 1.368420e+05 |    Inf 
631.80/631.85	c   618s|300000 |299991 |668958 |   2.2 | 668M| 229 |   0 |5645 |5429 |5645 | 187 | 159k|  48 |6192 | 0.000000e+00 | 1.368420e+05 |    Inf 
652.80/652.82	c   638s|310000 |309991 |691363 |   2.2 | 689M| 229 |   0 |5645 |5429 |5645 | 196 | 162k|  48 |6277 | 0.000000e+00 | 1.368420e+05 |    Inf 
673.30/673.33	c   658s|320000 |319991 |709309 |   2.2 | 710M| 229 |   0 |5645 |5429 |5645 | 158 | 166k|  48 |6337 | 0.000000e+00 | 1.368420e+05 |    Inf 
693.70/693.71	c   678s|330000 |329991 |727660 |   2.2 | 731M| 229 |   0 |5645 |5429 |5645 | 181 | 169k|  48 |6425 | 0.000000e+00 | 1.368420e+05 |    Inf 
714.11/714.10	c   698s|340000 |339991 |746860 |   2.2 | 752M| 229 |   0 |5645 |5428 |5645 | 207 | 172k|  48 |6522 | 0.000000e+00 | 1.368420e+05 |    Inf 
734.40/734.40	c   718s|350000 |349989 |764099 |   2.2 | 773M| 229 |   0 |5645 |5431 |5645 | 198 | 175k|  52 |6617 | 0.000000e+00 | 1.368420e+05 |    Inf 
755.10/755.12	c   738s|360000 |359989 |783770 |   2.2 | 794M| 229 |   0 |5645 |5428 |5645 | 206 | 179k|  52 |6716 | 0.000000e+00 | 1.368420e+05 |    Inf 
775.70/775.78	c   758s|370000 |369989 |802719 |   2.2 | 816M| 229 |   0 |5645 |5427 |5645 | 199 | 183k|  52 |6814 | 0.000000e+00 | 1.368420e+05 |    Inf 
796.71/796.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
796.71/796.75	c   779s|380000 |379989 |826010 |   2.2 | 837M| 229 |   0 |5645 |5426 |5645 | 213 | 187k|  52 |6956 | 0.000000e+00 | 1.368420e+05 |    Inf 
817.50/817.58	c   799s|390000 |389989 |848295 |   2.2 | 858M| 229 |   0 |5645 |5426 |5645 | 177 | 191k|  52 |7043 | 0.000000e+00 | 1.368420e+05 |    Inf 
838.41/838.42	c   819s|400000 |399989 |870796 |   2.2 | 879M| 229 |   0 |5645 |5426 |5645 | 206 | 195k|  52 |7110 | 0.000000e+00 | 1.368420e+05 |    Inf 
859.51/859.56	c   840s|410000 |409989 |894145 |   2.2 | 900M| 229 |   0 |5645 |5426 |5645 | 183 | 200k|  52 |7320 | 0.000000e+00 | 1.368420e+05 |    Inf 
880.71/880.75	c   861s|420000 |419989 |915074 |   2.2 | 921M| 229 |   0 |5645 |5424 |5645 | 218 | 205k|  52 |7600 | 0.000000e+00 | 1.368420e+05 |    Inf 
900.11/900.16	c   880s|430000 |429989 |925597 |   2.2 | 942M| 229 |   0 |5645 |5424 |5645 | 186 | 208k|  52 |7622 | 0.000000e+00 | 1.368420e+05 |    Inf 
919.11/919.19	c   898s|440000 |439989 |934233 |   2.1 | 963M| 229 |   0 |5645 |5424 |5645 | 249 | 211k|  52 |7657 | 0.000000e+00 | 1.368420e+05 |    Inf 
939.51/939.51	c   918s|450000 |449985 |953924 |   2.1 | 984M| 229 |   4 |5645 |5442 |5645 | 206 | 216k|  70 |7691 | 0.000000e+00 | 1.368420e+05 |    Inf 
959.01/959.02	c   937s|460000 |459985 |966450 |   2.1 |1005M| 229 |   0 |5645 |5437 |5645 | 202 | 220k|  70 |7730 | 0.000000e+00 | 1.368420e+05 |    Inf 
979.30/979.35	c   957s|470000 |469985 |983898 |   2.1 |1026M| 229 |   0 |5645 |5431 |5645 | 187 | 227k|  70 |7795 | 0.000000e+00 | 1.368420e+05 |    Inf 
999.82/999.84	c   976s|480000 |479985 |  1003k|   2.1 |1047M| 229 |   0 |5645 |5431 |5645 | 188 | 234k|  70 |7886 | 0.000000e+00 | 1.368420e+05 |    Inf 
1020.21/1020.25	c   996s|490000 |489985 |  1021k|   2.1 |1068M| 229 |   0 |5645 |5431 |5645 | 158 | 238k|  70 |7920 | 0.000000e+00 | 1.368420e+05 |    Inf 
1040.41/1040.41	c  1016s|500000 |499985 |  1037k|   2.1 |1089M| 229 |   0 |5645 |5431 |5645 | 192 | 241k|  70 |7999 | 0.000000e+00 | 1.368420e+05 |    Inf 
1060.91/1060.95	c  1036s|510000 |509983 |  1055k|   2.1 |1110M| 229 |   0 |5645 |5440 |5645 | 178 | 246k|  79 |8027 | 0.000000e+00 | 1.368420e+05 |    Inf 
1080.31/1080.38	c  1055s|520000 |519983 |  1067k|   2.1 |1131M| 229 |   0 |5645 |5437 |5645 | 202 | 248k|  79 |8102 | 0.000000e+00 | 1.368420e+05 |    Inf 
1091.11/1091.15	o 951
1091.11/1091.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1091.11/1091.15	c *1065s|525137 |438369 |  1077k|   2.1 | 976M| 229 |   - |5645 |5436 |5645 | 175 | 250k|  79 |8123 | 0.000000e+00 | 9.510000e+02 |    Inf 
1106.01/1106.04	c  1080s|530000 |443220 |  1108k|   2.1 | 987M| 229 |   5 |5645 |5449 |5645 | 191 | 258k|  99 |8235 | 0.000000e+00 | 9.510000e+02 |    Inf 
1135.31/1135.39	c  1108s|540000 |453074 |  1171k|   2.2 |1012M| 229 |   0 |5645 |5679 |5645 | 188 | 273k| 436 |8429 | 0.000000e+00 | 9.510000e+02 |    Inf 
1165.01/1165.04	c  1137s|550000 |463060 |  1239k|   2.3 |1037M| 229 |   0 |5645 |5556 |5645 | 188 | 285k| 464 |8603 | 0.000000e+00 | 9.510000e+02 |    Inf 
1195.31/1195.34	c  1166s|560000 |472982 |  1311k|   2.3 |1062M| 229 |  13 |5645 |5628 |5645 | 187 | 300k| 632 |8898 | 0.000000e+00 | 9.510000e+02 |    Inf 
1224.01/1224.01	c  1194s|570000 |482956 |  1372k|   2.4 |1086M| 229 |   0 |5645 |5588 |5645 | 200 | 312k| 717 |9091 | 0.000000e+00 | 9.510000e+02 |    Inf 
1253.22/1253.22	c  1222s|580000 |492918 |  1429k|   2.5 |1111M| 229 |   0 |5645 |5563 |5645 | 189 | 324k| 838 |9284 | 0.000000e+00 | 9.510000e+02 |    Inf 
1282.11/1282.11	c  1250s|590000 |502883 |  1487k|   2.5 |1136M| 229 |   0 |5645 |5501 |5645 | 199 | 335k| 958 |9461 | 0.000000e+00 | 9.510000e+02 |    Inf 
1312.82/1312.81	c  1280s|600000 |512821 |  1561k|   2.6 |1161M| 229 |   0 |5645 |5552 |5645 | 177 | 349k|1132 |9676 | 0.000000e+00 | 9.510000e+02 |    Inf 
1340.83/1340.80	o 226
1340.83/1340.80	c *1307s|608335 |123419 |  1628k|   2.7 | 369M| 229 |   - |5645 |5651 |5645 | 223 | 362k|1387 |9974 | 0.000000e+00 | 2.260000e+02 |    Inf 
1342.02/1342.05	o 225
1342.02/1342.05	c *1308s|608598 |122658 |  1631k|   2.7 | 368M| 229 |   - |5645 |5765 |5645 | 226 | 363k|1543 |9983 | 0.000000e+00 | 2.250000e+02 |    Inf 
1344.61/1344.69	o 217
1344.61/1344.69	c *1311s|609147 |115724 |  1637k|   2.7 | 357M| 229 |   - |5645 |5975 |5645 | 205 | 364k|1885 |9992 | 0.000000e+00 | 2.170000e+02 |    Inf 
1347.52/1347.59	o 212
1347.52/1347.59	c *1314s|609806 |111669 |  1644k|   2.7 | 350M| 229 |   - |5645 |6176 |5645 | 185 | 366k|2213 |  10k| 0.000000e+00 | 2.120000e+02 |    Inf 
1348.32/1348.32	c  1314s|610000 |111782 |  1646k|   2.7 | 350M| 229 |  18 |5645 |6210 |5645 | 167 | 367k|2313 |  10k| 0.000000e+00 | 2.120000e+02 |    Inf 
1353.71/1353.78	o 211
1353.71/1353.78	c *1319s|611198 |111631 |  1658k|   2.7 | 356M| 229 |   - |5645 |6371 |5645 | 194 | 369k|3010 |  10k| 0.000000e+00 | 2.110000e+02 |    Inf 
1355.32/1355.39	o 209
1355.32/1355.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1355.32/1355.39	c *1321s|611563 |110158 |  1663k|   2.7 | 355M| 229 |   - |5645 |6310 |5645 | 201 | 370k|3098 |  10k| 0.000000e+00 | 2.090000e+02 |    Inf 
1355.41/1355.41	o 206
1355.41/1355.41	c *1321s|611564 |107571 |  1663k|   2.7 | 349M| 229 |   - |5645 |6310 |5645 | 202 | 370k|3098 |  10k| 0.000000e+00 | 2.060000e+02 |    Inf 
1355.82/1355.84	o 202
1355.82/1355.84	c *1321s|611652 |104292 |  1664k|   2.7 | 341M| 229 |   - |5645 |6303 |5645 | 231 | 371k|3136 |  10k| 0.000000e+00 | 2.020000e+02 |    Inf 
1357.62/1357.67	o 198
1357.62/1357.67	c *1323s|612084 |101463 |  1668k|   2.7 | 336M| 229 |   - |5645 |6185 |5645 | 206 | 371k|3255 |  10k| 0.000000e+00 | 1.980000e+02 |    Inf 
1361.52/1361.50	o 190
1361.52/1361.50	c *1327s|612826 | 94009 |  1679k|   2.7 | 321M| 229 |   - |5645 |6307 |5645 | 183 | 374k|3647 |  10k| 0.000000e+00 | 1.900000e+02 |    Inf 
1361.52/1361.54	o 184
1361.52/1361.54	c *1327s|612828 | 88828 |  1679k|   2.7 | 307M| 229 |   - |5645 |6307 |5645 | 187 | 374k|3647 |  10k| 0.000000e+00 | 1.840000e+02 |    Inf 
1361.73/1361.75	o 180
1361.73/1361.75	c *1327s|612880 | 86348 |  1680k|   2.7 | 300M| 229 |   - |5645 |6317 |5645 | 203 | 374k|3674 |  10k| 0.000000e+00 | 1.800000e+02 |    Inf 
1362.12/1362.12	o 176
1362.12/1362.12	c *1327s|612963 | 83129 |  1680k|   2.7 | 293M| 229 |   - |5645 |6322 |5645 | 169 | 374k|3704 |  10k| 0.000000e+00 | 1.760000e+02 |    Inf 
1362.42/1362.46	o 170
1362.42/1362.46	c *1328s|613022 | 77891 |  1681k|   2.7 | 279M| 229 |   - |5645 |6343 |5645 | 185 | 375k|3745 |  10k| 0.000000e+00 | 1.700000e+02 |    Inf 
1362.93/1362.97	o 167
1362.93/1362.97	c *1328s|613102 | 75704 |  1683k|   2.7 | 275M| 229 |   - |5645 |6360 |5645 | 188 | 375k|3800 |  10k| 0.000000e+00 | 1.670000e+02 |    Inf 
1363.92/1363.93	o 164
1363.92/1363.93	c *1329s|613278 | 73088 |  1685k|   2.7 | 270M| 229 |   - |5645 |6458 |5645 | 179 | 376k|3969 |  10k| 0.000000e+00 | 1.640000e+02 |    Inf 
1364.12/1364.19	o 162
1364.12/1364.19	c *1329s|613333 | 71883 |  1685k|   2.7 | 268M| 229 |   - |5645 |6462 |5645 | 193 | 376k|3985 |  10k| 0.000000e+00 | 1.620000e+02 |    Inf 
1364.22/1364.20	o 158
1364.22/1364.20	c *1329s|613336 | 69972 |  1685k|   2.7 | 261M| 229 |   - |5645 |6462 |5645 | 193 | 376k|3985 |  10k| 0.000000e+00 | 1.580000e+02 |    Inf 
1364.22/1364.28	o 156
1364.22/1364.28	c *1330s|613343 | 68995 |  1685k|   2.7 | 258M| 229 |   - |5645 |6458 |5645 | 180 | 376k|3987 |  10k| 0.000000e+00 | 1.560000e+02 |    Inf 
1364.32/1364.31	o 152
1364.32/1364.31	c *1330s|613346 | 65368 |  1685k|   2.7 | 247M| 229 |   - |5645 |6458 |5645 | 180 | 376k|3987 |  10k| 0.000000e+00 | 1.520000e+02 |    Inf 
1364.32/1364.37	o 148
1364.32/1364.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1364.32/1364.37	c *1330s|613352 | 60714 |  1686k|   2.7 | 231M| 229 |   - |5645 |6453 |5645 | 171 | 376k|3987 |  10k| 0.000000e+00 | 1.480000e+02 |    Inf 
1364.41/1364.50	o 147
1364.41/1364.50	c *1330s|613383 | 60505 |  1686k|   2.7 | 231M| 229 |   - |5645 |6441 |5645 | 161 | 376k|3989 |  10k| 0.000000e+00 | 1.470000e+02 |    Inf 
1364.82/1364.82	o 146
1364.82/1364.82	c *1330s|613449 | 59719 |  1686k|   2.7 | 230M| 229 |   - |5645 |6442 |5645 | 191 | 376k|4023 |  10k| 0.000000e+00 | 1.460000e+02 |    Inf 
1365.12/1365.14	o 145
1365.12/1365.14	c *1330s|613515 | 58716 |  1687k|   2.8 | 227M| 229 |   - |5645 |6448 |5645 | 186 | 376k|4051 |  10k| 0.000000e+00 | 1.450000e+02 |    Inf 
1365.22/1365.26	o 142
1365.22/1365.26	c *1330s|613538 | 57242 |  1687k|   2.8 | 221M| 229 |   - |5645 |6441 |5645 | 190 | 376k|4052 |  10k| 0.000000e+00 | 1.420000e+02 |    Inf 
1365.22/1365.27	o 141
1365.22/1365.27	c *1331s|613539 | 56866 |  1687k|   2.8 | 220M| 229 |   - |5645 |6441 |5645 | 190 | 376k|4052 |  10k| 0.000000e+00 | 1.410000e+02 |    Inf 
1365.32/1365.36	o 140
1365.32/1365.36	c *1331s|613557 | 53206 |  1687k|   2.8 | 212M| 229 |   - |5645 |6423 |5645 | 184 | 376k|4055 |  10k| 0.000000e+00 | 1.400000e+02 |    Inf 
1365.52/1365.59	o 137
1365.52/1365.59	c *1331s|613613 | 51803 |  1688k|   2.8 | 208M| 229 |   - |5645 |6399 |5645 | 153 | 376k|4062 |  10k| 0.000000e+00 | 1.370000e+02 |    Inf 
1366.72/1366.75	o 130
1366.72/1366.75	c *1332s|613894 | 47216 |  1689k|   2.8 | 193M| 229 |   - |5645 |6308 |5645 | 180 | 377k|4219 |  10k| 0.000000e+00 | 1.300000e+02 |    Inf 
1368.12/1368.18	o 128
1368.12/1368.18	c *1333s|614193 | 46519 |  1692k|   2.8 | 193M| 229 |   - |5645 |6397 |5645 | 198 | 377k|4480 |  10k| 0.000000e+00 | 1.280000e+02 |    Inf 
1368.21/1368.24	o 125
1368.21/1368.24	c *1333s|614204 | 45426 |  1692k|   2.8 | 188M| 229 |   - |5645 |6399 |5645 | 175 | 377k|4484 |  10k| 0.000000e+00 | 1.250000e+02 |    Inf 
1368.21/1368.25	o 122
1368.21/1368.25	c *1333s|614205 | 43898 |  1692k|   2.8 | 184M| 229 |   - |5645 |6399 |5645 | 175 | 377k|4484 |  10k| 0.000000e+00 | 1.220000e+02 |    Inf 
1368.61/1368.69	o 116
1368.61/1368.69	c *1334s|614297 | 41291 |  1693k|   2.8 | 176M| 229 |   - |5645 |6395 |5645 | 154 | 377k|4534 |  10k| 0.000000e+00 | 1.160000e+02 |    Inf 
1368.72/1368.71	o 113
1368.72/1368.71	c *1334s|614298 | 39124 |  1693k|   2.8 | 161M| 229 |   - |5645 |6395 |5645 | 154 | 377k|4534 |  10k| 0.000000e+00 | 1.130000e+02 |    Inf 
1371.11/1371.14	o 109
1371.11/1371.14	c *1336s|614932 | 38084 |  1696k|   2.8 | 160M| 229 |   - |5645 |6338 |5645 | 176 | 378k|4953 |  10k| 0.000000e+00 | 1.090000e+02 |    Inf 
1371.22/1371.20	o 100
1371.22/1371.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1371.22/1371.20	c *1336s|614941 | 36004 |  1696k|   2.8 | 151M| 229 |   - |5645 |6340 |5645 | 157 | 378k|4958 |  10k| 0.000000e+00 | 1.000000e+02 |    Inf 
1371.92/1371.95	o 99
1371.92/1371.95	c *1337s|615071 | 35791 |  1697k|   2.8 | 151M| 229 |   - |5645 |6191 |5645 | 162 | 378k|5035 |  10k| 0.000000e+00 | 9.900000e+01 |    Inf 
1372.62/1372.65	o 95
1372.62/1372.65	c *1338s|615228 | 12333 |  1697k|   2.8 |  77M| 229 |   - |5645 |6168 |5645 | 171 | 378k|5129 |  10k| 0.000000e+00 | 9.500000e+01 |    Inf 
1390.32/1390.38	o 93
1390.32/1390.38	c *1355s|619646 | 12566 |  1719k|   2.8 | 100M| 229 |   - |5645 |6420 |5645 | 168 | 384k|9534 |  10k| 0.000000e+00 | 9.300000e+01 |    Inf 
1391.92/1391.91	c  1356s|620000 | 12573 |  1721k|   2.8 | 101M| 229 |   5 |5645 |6404 |5645 | 182 | 384k|9915 |  10k| 0.000000e+00 | 9.300000e+01 |    Inf 
1428.32/1428.35	c  1391s|630000 | 13778 |  1770k|   2.8 | 138M| 229 |   - |5645 |8246 |   0 |   0 | 398k|  20k|  10k| 0.000000e+00 | 9.300000e+01 |    Inf 
1463.32/1463.36	c  1425s|640000 | 15034 |  1820k|   2.8 | 169M| 229 |   - |5645 |7677 |   0 |   0 | 411k|  31k|  10k| 0.000000e+00 | 9.300000e+01 |    Inf 
1491.83/1491.90	o 92
1491.83/1491.90	c *1452s|648496 | 15513 |  1853k|   2.9 | 190M| 229 |   - |5645 |7005 |5645 | 162 | 421k|  41k|  10k| 0.000000e+00 | 9.200000e+01 |    Inf 
1491.92/1491.90	o 83
1491.92/1491.90	c *1452s|648497 | 14547 |  1853k|   2.9 | 186M| 229 |   - |5645 |7005 |5645 | 162 | 421k|  41k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1496.42/1496.45	c  1457s|650000 | 14635 |  1859k|   2.9 | 187M| 229 |   - |5645 |6962 |   0 |   0 | 422k|  42k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1523.53/1523.53	c  1483s|660000 | 15050 |  1885k|   2.9 | 201M| 229 |   9 |5645 |7992 |5645 | 164 | 429k|  53k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1551.33/1551.30	c  1510s|670000 | 15361 |  1912k|   2.9 | 213M| 229 |   1 |5645 |9787 |5645 | 165 | 438k|  65k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1580.52/1580.51	c  1538s|680000 | 15492 |  1940k|   2.9 | 224M| 229 |   - |5645 |9003 |   0 |   0 | 447k|  79k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1610.12/1610.11	c  1566s|690000 | 16188 |  1971k|   2.9 | 241M| 229 |   - |5645 |8398 |   0 |   0 | 457k|  90k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1642.43/1642.48	c  1597s|700000 | 17181 |  2010k|   2.9 | 259M| 229 |   - |5645 |7733 |   0 |   0 | 468k| 103k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1678.63/1678.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1678.63/1678.60	c  1632s|710000 | 19738 |  2074k|   2.9 | 291M| 229 |   5 |5645 |9579 |5645 | 177 | 485k| 115k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1715.93/1715.96	c  1668s|720000 | 22572 |  2147k|   3.0 | 318M| 229 |  10 |5645 |9080 |5645 | 196 | 502k| 127k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1753.53/1753.51	c  1704s|730000 | 24660 |  2214k|   3.0 | 346M| 229 |   - |5645 |  10k|   0 |   0 | 521k| 140k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1791.73/1791.80	c  1741s|740000 | 26862 |  2298k|   3.1 | 377M| 229 |   0 |5645 |  12k|5645 | 195 | 542k| 154k|  10k| 0.000000e+00 | 8.300000e+01 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1749.26
1800.04/1800.00	c Solving Nodes      : 741934
1800.04/1800.00	c Primal Bound       : +8.30000000000000e+01 (307 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.09	s SATISFIABLE
1800.04/1800.09	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 
1800.04/1800.09	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.04/1800.09	v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.09	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.09	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.04/1800.09	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 
1800.04/1800.09	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 
1800.04/1800.09	v -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 -x55 
1800.04/1800.09	v -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 
1800.04/1800.09	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 
1800.04/1800.09	v -x2 x1 
1800.04/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.09	c Solving Time       :    1749.26
1800.04/1800.09	c Original Problem   :
1800.04/1800.09	c   Problem name     : HOME/instance-2692461-1277931333.wbo
1800.04/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.04/1800.09	c Presolved Problem  :
1800.04/1800.09	c   Problem name     : t_HOME/instance-2692461-1277931333.wbo
1800.04/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09	c   Constraints      : 5414 initial, 13366 maximal
1800.04/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   linear           :       0.01          0          0          0       2707          0          1          0          0
1800.04/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.09	c   root node        :          -        485          -          -        970          -          -          -          -
1800.04/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.09	c   integral         :          0          0          0     786168          0          0          4          0          0     203310
1800.04/1800.09	c   indicator        :       2707          0    1839883     684495          0        944   21561949          0          0          0
1800.04/1800.09	c   linear           :       2707          6    1793597     645159          0      12595    3635620     547268          0          0
1800.04/1800.09	c   logicor          :          0+         0     436926          0          0      13361     534457          0          0          0
1800.04/1800.09	c   bounddisjunction :          0+         0      29741          0          0          0       1200          0          0          0
1800.04/1800.09	c   countsols        :          0          0          0     587877          0          0          0          0          0          0
1800.04/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.09	c   integral         :      17.73       0.00       0.00      17.73       0.00
1800.04/1800.09	c   indicator        :     236.88       0.00      72.54     164.34       0.00
1800.04/1800.09	c   linear           :     108.89       0.00      56.34      52.55       0.00
1800.04/1800.09	c   logicor          :      13.74       0.00      13.74       0.00       0.00
1800.04/1800.09	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
1800.04/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.09	c   vbounds          :       0.04          2          0          0
1800.04/1800.09	c   rootredcost      :       0.03         42          0        485
1800.04/1800.09	c   pseudoobj        :     110.19    1871157      31461   13586321
1800.04/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.09	c   propagation      :       8.23      57417      57397     334137       29.5      11278        7.1          -
1800.04/1800.09	c   infeasible LP    :       0.05         57         57        187       30.6         19        3.9          0
1800.04/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.09	c   pseudo solution  :       0.21        826        826       2843       12.6        194        8.8          -
1800.04/1800.09	c   applied globally :          -          -          -     157240       23.4          -          -          -
1800.04/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.09	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.04/1800.09	c   redcost          :      92.84     794443          0    7251797          0          0
1800.04/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.04/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.09	c   gomory           :       0.00          4          0          0         86          0
1800.04/1800.09	c   strongcg         :       0.01          4          0          0          0          0
1800.04/1800.09	c   cmir             :       0.01          4          0          0          0          0
1800.04/1800.09	c   flowcover        :       0.03          4          0          0          0          0
1800.04/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.09	c Pricers            :       Time      Calls       Vars
1800.04/1800.09	c   problem variables:       0.00          0          0
1800.04/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.09	c   relpscost        :      17.69     101659          0          4          0          0     203310
1800.04/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.09	c   inference        :     165.52     587835          0          0          0          0    1175670
1800.04/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.09	c   LP solutions     :       1.05          -         42
1800.04/1800.09	c   pseudo solutions :       0.00          -          0
1800.04/1800.09	c   feaspump         :       0.00          0          0
1800.04/1800.09	c   oneopt           :       0.22         37          0
1800.04/1800.09	c   intshifting      :       0.04         10          0
1800.04/1800.09	c   crossover        :       0.95         34          0
1800.04/1800.09	c   guideddiving     :       4.80       2634          0
1800.04/1800.09	c   fracdiving       :      12.16       7614          0
1800.04/1800.09	c   veclendiving     :      11.62       7614          0
1800.04/1800.09	c   linesearchdiving :      11.56       7614          0
1800.04/1800.09	c   coefdiving       :      11.42       7614          0
1800.04/1800.09	c   pscostdiving     :      10.93       7614          0
1800.04/1800.09	c   objpscostdiving  :      11.82       7610          0
1800.04/1800.09	c   rootsoldiving    :      12.72       7610          0
1800.04/1800.09	c   trivial          :       0.08          2          2
1800.04/1800.09	c   simplerounding   :       0.19     105190          0
1800.04/1800.09	c   zirounding       :       0.11       1000          0
1800.04/1800.09	c   rounding         :       3.02       4546          0
1800.04/1800.09	c   shifting         :       1.91       1399          0
1800.04/1800.09	c   twoopt           :       0.00          0          0
1800.04/1800.09	c   fixandinfer      :       0.00          0          0
1800.04/1800.09	c   intdiving        :       0.00          0          0
1800.04/1800.09	c   actconsdiving    :       0.00          0          0
1800.04/1800.09	c   octane           :       0.00          0          0
1800.04/1800.09	c   rens             :       0.03          1          0
1800.04/1800.09	c   rins             :       0.00          0          0
1800.04/1800.09	c   localbranching   :       0.00          0          0
1800.04/1800.09	c   mutation         :       0.00          0          0
1800.04/1800.09	c   dins             :       0.00          0          0
1800.04/1800.09	c   undercover       :       0.00          0          0
1800.04/1800.09	c   nlp              :       0.00          0          0
1800.04/1800.09	c   trysol           :       0.87      10964        263
1800.04/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.09	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.09	c   dual LP          :     522.64     242823    2309393       9.51    4418.71
1800.04/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.09	c   diving/probing LP:       0.43        366       2106       5.75    4897.67
1800.04/1800.09	c   strong branching :      16.90      10925      88083       8.06    5212.01
1800.04/1800.09	c     (at root node) :          -         32       1061      33.16          -
1800.04/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.09	c B&B Tree           :
1800.04/1800.09	c   number of runs   :          1
1800.04/1800.09	c   nodes            :     741934
1800.04/1800.09	c   nodes (total)    :     741934
1800.04/1800.09	c   nodes left       :      27187
1800.04/1800.09	c   max depth        :        229
1800.04/1800.09	c   max depth (total):        229
1800.04/1800.09	c   backtracks       :      16975 (2.3%)
1800.04/1800.09	c   delayed cutoffs  :       8975
1800.04/1800.09	c   repropagations   :     340519 (5104357 domain reductions, 6744 cutoffs)
1800.04/1800.09	c   avg switch length:       3.14
1800.04/1800.09	c   switching time   :      97.42
1800.04/1800.09	c Solution           :
1800.04/1800.09	c   Solutions found  :        307 (43 improvements)
1800.04/1800.09	c   First Solution   : +1.36842000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.09	c   Primal Bound     : +8.30000000000000e+01   (in run 1, after 648497 nodes, 1452.44 seconds, depth 26, found by <relaxation>)
1800.04/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.09	c   Gap              :   infinite
1800.04/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.09	c   Root Iterations  :        106
1800.43/1800.40	c Time complete: 1800.44.

Verifier Data 

OK	83

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692461-1277931333/watcher-2692461-1277931333 -o /tmp/evaluation-result-2692461-1277931333/solver-2692461-1277931333 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692461-1277931333.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: 2.00 2.01 2.03 3/196 16248
/proc/meminfo: memFree=30877172/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=9404 CPUtime=0
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 1650 0 0 0 0 0 0 0 21 0 1 0 134430226 9629696 1569 4089446400 4194304 8223781 140733599976256 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16248/statm: 2387 1569 369 984 0 1400 0

[startup+0.026071 s]
/proc/loadavg: 2.00 2.01 2.03 3/196 16248
/proc/meminfo: memFree=30877172/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=15576 CPUtime=0.01
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 3197 0 0 0 1 0 0 0 21 0 1 0 134430226 15949824 3116 4089446400 4194304 8223781 140733599976256 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16248/statm: 3894 3116 369 984 0 2907 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15576

[startup+0.101059 s]
/proc/loadavg: 2.00 2.01 2.03 3/196 16248
/proc/meminfo: memFree=30877172/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=35140 CPUtime=0.09
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 8090 0 0 0 8 1 0 0 21 0 1 0 134430226 35983360 7645 4089446400 4194304 8223781 140733599976256 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 8785 7645 422 984 0 7798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35140

[startup+0.301027 s]
/proc/loadavg: 2.00 2.01 2.03 3/196 16248
/proc/meminfo: memFree=30877172/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=53068 CPUtime=0.28
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 13081 0 0 0 25 3 0 0 21 0 1 0 134430226 54341632 12023 4089446400 4194304 8223781 140733599976256 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 13267 12048 564 984 0 12280 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53068

[startup+0.70095 s]
/proc/loadavg: 2.00 2.01 2.03 3/196 16248
/proc/meminfo: memFree=30877172/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=43080 CPUtime=0.69
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 15657 0 0 0 63 6 0 0 22 0 1 0 134430226 44113920 9711 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 10770 9711 575 984 0 9783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43080

[startup+1.50081 s]
/proc/loadavg: 2.00 2.01 2.03 3/197 16249
/proc/meminfo: memFree=30839468/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=43292 CPUtime=1.48
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 15765 0 0 0 139 9 0 0 25 0 1 0 134430226 44331008 9819 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 10823 9819 578 984 0 9836 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43292

[startup+3.10053 s]
/proc/loadavg: 2.00 2.01 2.03 3/197 16249
/proc/meminfo: memFree=30836368/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=47688 CPUtime=3.08
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 21812 0 0 0 295 13 0 0 25 0 1 0 134430226 48832512 10780 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 11922 10780 579 984 0 10935 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47688

[startup+6.30101 s]
/proc/loadavg: 2.00 2.01 2.03 3/197 16249
/proc/meminfo: memFree=30827328/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=53112 CPUtime=6.28
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 28241 0 0 0 607 21 0 0 25 0 1 0 134430226 54386688 12130 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 13278 12130 579 984 0 12291 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53112

[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.03 3/197 16249
/proc/meminfo: memFree=30814948/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=59324 CPUtime=12.69
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 39986 0 0 0 1231 38 0 0 25 0 1 0 134430226 60747776 13703 4089446400 4194304 8223781 140733599976256 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 14831 13703 579 984 0 13844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59324

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.03 3/197 16250
/proc/meminfo: memFree=30789664/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=72972 CPUtime=25.48
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 48492 0 0 0 2478 70 0 0 25 0 1 0 134430226 74723328 17107 4089446400 4194304 8223781 140733599976256 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 18243 17107 579 984 0 17256 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72972

[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.02 3/197 16250
/proc/meminfo: memFree=30733920/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=100468 CPUtime=51.09
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 59839 0 0 0 4975 134 0 0 25 0 1 0 134430226 102879232 24008 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 25117 24008 579 984 0 24130 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 100468

[startup+102.306 s]
/proc/loadavg: 2.47 2.11 2.06 3/197 16252
/proc/meminfo: memFree=30629492/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=152008 CPUtime=102.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 77864 0 0 0 9966 263 0 0 25 0 1 0 134430226 155656192 36990 4089446400 4194304 8223781 140733599976256 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 38002 36990 579 984 0 37015 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 152008

[startup+162.3 s]
/proc/loadavg: 2.69 2.21 2.09 3/197 16253
/proc/meminfo: memFree=30512636/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=216984 CPUtime=162.28
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 99253 0 0 0 15821 407 0 0 25 0 1 0 134430226 222191616 52819 4089446400 4194304 8223781 140733599976256 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 54246 52819 579 984 0 53259 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 216984

[startup+222.3 s]
/proc/loadavg: 2.65 2.27 2.12 3/197 16255
/proc/meminfo: memFree=30398024/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=275332 CPUtime=222.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 114035 0 0 0 21694 535 0 0 25 0 1 0 134430226 281939968 67538 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 68833 67538 584 984 0 67846 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 275332

[startup+282.301 s]
/proc/loadavg: 2.32 2.24 2.11 3/197 16256
/proc/meminfo: memFree=30290972/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=338568 CPUtime=282.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 135201 0 0 0 27583 646 0 0 25 0 1 0 134430226 346693632 83446 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 84642 83446 584 984 0 83655 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 338568

[startup+342.301 s]
/proc/loadavg: 2.11 2.19 2.10 3/197 16267
/proc/meminfo: memFree=30206760/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=400884 CPUtime=342.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 150936 0 0 0 33460 769 0 0 25 0 1 0 134430226 410505216 99130 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 100221 99130 584 984 0 99234 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 400884

[startup+402.3 s]
/proc/loadavg: 2.04 2.16 2.09 3/197 16269
/proc/meminfo: memFree=30120648/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=465216 CPUtime=402.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 167174 0 0 0 39321 908 0 0 25 0 1 0 134430226 476381184 115334 4089446400 4194304 8223781 140733599976256 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 116304 115334 584 984 0 115317 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 465216

[startup+462.301 s]
/proc/loadavg: 2.33 2.22 2.11 3/197 16270
/proc/meminfo: memFree=30002068/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=528572 CPUtime=462.29
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 187197 0 0 0 45196 1033 0 0 25 0 1 0 134430226 541257728 130270 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 132143 130270 584 984 0 131156 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 528572

[startup+522.301 s]
/proc/loadavg: 2.12 2.17 2.10 3/197 16272
/proc/meminfo: memFree=29899612/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=591700 CPUtime=522.3
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 203087 0 0 0 51063 1167 0 0 25 0 1 0 134430226 605900800 146146 4089446400 4194304 8223781 140733599976256 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 147925 146146 584 984 0 146938 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 591700

[startup+582.3 s]
/proc/loadavg: 2.04 2.14 2.09 3/197 16273
/proc/meminfo: memFree=29835092/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=649656 CPUtime=582.3
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 217964 0 0 0 56920 1310 0 0 25 0 1 0 134430226 665247744 160752 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 162414 160752 584 984 0 161427 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 649656

[startup+642.301 s]
/proc/loadavg: 2.01 2.11 2.08 3/197 16275
/proc/meminfo: memFree=29761012/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=711372 CPUtime=642.3
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 233582 0 0 0 62779 1451 0 0 25 0 1 0 134430226 728444928 176278 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 177843 176278 584 984 0 176856 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 711372

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.97 2.02 2.05 3/179 16313
/proc/meminfo: memFree=30254576/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1013816 CPUtime=942.3
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 319689 0 0 0 92049 2181 0 0 25 0 1 0 134430226 1038147584 252400 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 253454 252400 584 984 0 252467 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1013816

[startup+1002.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/179 16315
/proc/meminfo: memFree=30156684/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1086764 CPUtime=1002.31
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 337076 0 0 0 97883 2348 0 0 25 0 1 0 134430226 1112846336 268662 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 271691 268662 584 984 0 270704 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1086764

[startup+1062.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/179 16316
/proc/meminfo: memFree=30064860/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1145992 CPUtime=1062.31
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 352151 0 0 0 103711 2520 0 0 25 0 1 0 134430226 1173495808 283615 4089446400 4194304 8223781 140733599976256 18446744073709551615 6020599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 286498 283615 584 984 0 285511 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1145992

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/179 16318
/proc/meminfo: memFree=29996948/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1180132 CPUtime=1122.31
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 382659 0 0 0 109525 2706 0 0 25 0 1 0 134430226 1208455168 292209 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 295033 292209 584 984 0 294046 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1180132

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/179 16319
/proc/meminfo: memFree=29950404/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1193496 CPUtime=1182.31
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 396080 0 0 0 115339 2892 0 0 25 0 1 0 134430226 1222139904 295545 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 298374 295545 584 984 0 297387 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1193496

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/179 16321
/proc/meminfo: memFree=29908168/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1205764 CPUtime=1242.31
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 404162 0 0 0 121146 3085 0 0 25 0 1 0 134430226 1234702336 298542 4089446400 4194304 8223781 140733599976256 18446744073709551615 4643315 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 301441 298542 584 984 0 300454 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1205764

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/179 16323
/proc/meminfo: memFree=29857524/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1222968 CPUtime=1302.33
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 408543 0 0 0 126967 3266 0 0 25 0 1 0 134430226 1252319232 302800 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 305742 302800 586 984 0 304755 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1222968

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.01 3/179 16324
/proc/meminfo: memFree=29779840/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1271776 CPUtime=1362.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 465344 0 0 0 132767 3465 0 0 25 0 1 0 134430226 1302298624 314347 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 317944 314347 586 984 0 316957 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1271776

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 16326
/proc/meminfo: memFree=29674896/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1354472 CPUtime=1422.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 531827 0 0 0 138546 3686 0 0 25 0 1 0 134430226 1386979328 332360 4089446400 4194304 8223781 140733599976256 18446744073709551615 6445370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 338618 332360 586 984 0 337631 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1354472

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16327
/proc/meminfo: memFree=29537840/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1473376 CPUtime=1482.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 565151 0 0 0 144321 3911 0 0 25 0 1 0 134430226 1508737024 359034 4089446400 4194304 8223781 140733599976256 18446744073709551615 5950911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 368344 359034 588 984 0 367357 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1473376

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16329
/proc/meminfo: memFree=29437236/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1548148 CPUtime=1542.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 599444 0 0 0 150086 4146 0 0 25 0 1 0 134430226 1585303552 375496 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 387037 375496 590 984 0 386050 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1548148

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16331
/proc/meminfo: memFree=29363416/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1596564 CPUtime=1602.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 611526 0 0 0 155863 4369 0 0 25 0 1 0 134430226 1634881536 385752 4089446400 4194304 8223781 140733599976256 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 399141 385752 590 984 0 398154 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1596564

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16332
/proc/meminfo: memFree=29291216/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1646464 CPUtime=1662.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 623345 0 0 0 161642 4590 0 0 25 0 1 0 134430226 1685979136 395749 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 411616 395749 590 984 0 410629 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1646464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16334
/proc/meminfo: memFree=29219608/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1699412 CPUtime=1722.32
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 633745 0 0 0 167439 4793 0 0 25 0 1 0 134430226 1740197888 406149 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 424853 406149 590 984 0 423866 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1699412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16335
/proc/meminfo: memFree=29149520/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1744496 CPUtime=1782.33
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 643074 0 0 0 173221 5012 0 0 25 0 1 0 134430226 1786363904 415476 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 436124 415476 590 984 0 435137 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1744496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16336
/proc/meminfo: memFree=29123460/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1763588 CPUtime=1800.04
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 646711 0 0 0 174928 5076 0 0 25 0 1 0 134430226 1805914112 419113 4089446400 4194304 8223781 140733599976256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16248/statm: 440897 419113 590 984 0 439910 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1763588

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16336
/proc/meminfo: memFree=29123460/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=1667132 CPUtime=1800.23
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 646729 0 0 0 174947 5076 0 0 25 0 1 0 134430226 1707143168 395018 4089446400 4194304 8223781 140733599976256 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16248/statm: 416783 395018 592 984 0 415796 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1667132

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16336
/proc/meminfo: memFree=29123460/32950928 swapFree=67111528/67111528
[pid=16248] ppid=16246 vsize=171204 CPUtime=1800.43
/proc/16248/stat : 16248 (pbscip.linux.x8) R 16246 16248 16046 0 -1 4202496 646729 0 0 0 174961 5082 0 0 25 0 1 0 134430226 175312896 36734 4089446400 4194304 8223781 140733599976256 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16248/statm: 42801 36734 592 984 0 41814 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 171204

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.45
CPU user time (s): 1749.62
CPU system time (s): 50.8263
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1763588

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

runsolver used 2.58761 second user time and 5.66914 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 22:55:33
IDJOB=2692461
IDBENCH=79314
IDSOLVER=1204
FILE ID=node122/2692461-1277931333
PBS_JOBID= 11197436
Free space on /tmp= 74212 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.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-2692461-1277931333/watcher-2692461-1277931333 -o /tmp/evaluation-result-2692461-1277931333/solver-2692461-1277931333 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692461-1277931333.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10
RANDOM SEED=1705634633

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30877824 kB
Buffers:        209868 kB
Cached:        1153764 kB
SwapCached:          0 kB
Active:        1085576 kB
Inactive:       843232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30877824 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4724 kB
Writeback:           0 kB
AnonPages:      565132 kB
Mapped:          20524 kB
Slab:            80056 kB
PageTables:       5800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1662640 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 /tmp at the end= 74200 MiB
End job on node122 at 2010-06-30 23:25:35