Trace number 2693491

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.11 1800.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
MD5SUM9807244e443328f735b38c92df34bd91
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark137.643
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 constraints961
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 46411
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46410
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
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: Clp 1.11.1] [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-2693491-1277906931.wbo>
0.00/0.02	c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.07	c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.08	c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.05/0.09	c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14	c    (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14	c  1161 implications, 15 cliques
0.09/0.14	c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14	c     911 constraints of type <indicator>
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      15 constraints of type <setppc>
0.09/0.14	c     911 constraints of type <linear>
0.09/0.14	c    1674 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.10
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    26 |     - |9064k|   0 |  21 |2053 |3512 |2053 |1690 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    50 |     - |9195k|   0 |  24 |2053 |3512 |2053 |1712 |  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 43928
0.19/0.20	c y 0.2s|     1 |     0 |    50 |     - |9250k|   0 |  24 |2053 |3512 |2053 |1712 |  22 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    70 |     - |9475k|   0 |  35 |2053 |3512 |2053 |1718 |  28 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   267 |     - |9792k|   0 |  52 |2053 |3512 |2053 |1723 |  33 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   341 |     - |9855k|   0 |  64 |2053 |3512 |2053 |1731 |  41 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
0.49/0.56	c   0.5s|     1 |     0 |   369 |     - |9858k|   0 |  64 |2053 |3512 |2053 |1734 |  44 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
0.68/0.71	c   0.7s|     1 |     0 |   461 |     - |9860k|   0 |  71 |2053 |3512 |2053 |1735 |  45 |   0 |   0 | 0.000000e+00 | 4.392800e+04 |    Inf 
2.09/2.19	c   2.1s|     1 |     2 |   461 |     - |9894k|   0 |  71 |2053 |3512 |2053 |1735 |  45 |   0 |  33 | 0.000000e+00 | 4.392800e+04 |    Inf 
10.38/10.41	o 568
10.38/10.41	c *10.1s|   446 |   335 |  4040 |   8.0 |  11M|  47 |   - |2053 |3641 |2053 |1742 | 198 | 129 | 770 | 0.000000e+00 | 5.680000e+02 |    Inf 
10.59/10.63	o 560
10.59/10.63	c *10.3s|   532 |   390 |  4339 |   7.3 |  12M|  47 |   - |2053 |3678 |2053 |1727 | 216 | 166 | 794 | 0.000000e+00 | 5.600000e+02 |    Inf 
10.79/10.89	o 551
10.79/10.89	c *10.5s|   645 |   432 |  4725 |   6.6 |  13M|  47 |   - |2053 |3728 |2053 |1746 | 246 | 216 | 823 | 0.000000e+00 | 5.510000e+02 |    Inf 
10.99/11.00	o 543
10.99/11.00	c *10.7s|   692 |   462 |  5001 |   6.6 |  13M|  47 |   - |2053 |3745 |2053 |1738 | 269 | 233 | 832 | 0.000000e+00 | 5.430000e+02 |    Inf 
10.99/11.04	o 450
10.99/11.04	c *10.7s|   719 |   385 |  5030 |   6.4 |  13M|  47 |   - |2053 |3748 |2053 |1740 | 272 | 236 | 832 | 0.000000e+00 | 4.500000e+02 |    Inf 
11.29/11.34	o 405
11.29/11.34	c *11.0s|   819 |   376 |  5511 |   6.2 |  13M|  47 |   - |2053 |3819 |2053 |1741 | 288 | 314 | 879 | 0.000000e+00 | 4.050000e+02 |    Inf 
11.29/11.38	o 398
11.29/11.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.29/11.38	c *11.0s|   824 |   372 |  5541 |   6.2 |  13M|  47 |   - |2053 |3820 |2053 |1738 | 288 | 316 | 886 | 0.000000e+00 | 3.980000e+02 |    Inf 
11.39/11.43	o 379
11.39/11.43	c *11.1s|   842 |   362 |  5612 |   6.1 |  13M|  47 |   - |2053 |3831 |2053 |1740 | 290 | 332 | 892 | 0.000000e+00 | 3.790000e+02 |    Inf 
11.49/11.53	o 356
11.49/11.53	c *11.2s|   877 |   348 |  5716 |   6.0 |  13M|  47 |   - |2053 |3859 |2053 |1739 | 290 | 362 | 909 | 0.000000e+00 | 3.560000e+02 |    Inf 
11.58/11.63	o 340
11.58/11.63	c *11.2s|   927 |   359 |  5829 |   5.8 |  14M|  47 |   - |2053 |3887 |2053 |1739 | 292 | 391 | 919 | 0.000000e+00 | 3.400000e+02 |    Inf 
11.58/11.63	o 336
11.58/11.63	c *11.2s|   928 |   355 |  5829 |   5.8 |  14M|  47 |   - |2053 |3887 |2053 |1739 | 292 | 391 | 919 | 0.000000e+00 | 3.360000e+02 |    Inf 
12.09/12.16	o 254
12.09/12.16	c *11.8s|  1118 |   359 |  6980 |   5.8 |  14M|  47 |   - |2053 |4054 |2053 |1737 | 326 | 598 | 980 | 0.000000e+00 | 2.540000e+02 |    Inf 
12.39/12.45	o 246
12.39/12.45	c *12.0s|  1268 |   401 |  7658 |   5.7 |  14M|  47 |   - |2053 |4161 |2053 |1741 | 381 | 771 | 989 | 0.000000e+00 | 2.460000e+02 |    Inf 
12.39/12.48	o 150
12.39/12.48	c *12.1s|  1285 |   301 |  7691 |   5.6 |  14M|  47 |   - |2053 |4164 |2053 |1738 | 382 | 774 | 989 | 0.000000e+00 | 1.500000e+02 |    Inf 
14.69/14.78	o 145
14.69/14.78	c *14.3s|  2229 |   401 | 14732 |   6.4 |  15M|  47 |   - |2053 |4954 |2053 |1731 | 619 |2118 |1145 | 0.000000e+00 | 1.450000e+02 |    Inf 
14.99/15.06	o 131
14.99/15.06	c *14.5s|  2358 |   398 | 15232 |   6.3 |  15M|  47 |   - |2053 |4898 |2053 |1731 | 629 |2261 |1160 | 0.000000e+00 | 1.310000e+02 |    Inf 
21.18/21.22	o 111
21.18/21.22	c *20.5s|  5531 |   707 | 34792 |   6.2 |  18M|  48 |   - |2053 |5561 |2053 |1738 |1233 |5860 |1334 | 0.000000e+00 | 1.110000e+02 |    Inf 
21.89/21.94	o 99
21.89/21.94	c *21.1s|  5909 |   732 | 37170 |   6.2 |  19M|  48 |   - |2053 |5739 |2053 |1727 |1326 |6305 |1338 | 0.000000e+00 | 9.900000e+01 |    Inf 
28.89/28.91	o 70
28.89/28.91	c *27.9s|  9335 |   941 | 61884 |   6.6 |  21M|  71 |   - |2053 |5912 |2053 |1733 |1915 |  10k|1416 | 0.000000e+00 | 7.000000e+01 |    Inf 
30.29/30.34	c  29.2s| 10000 |  1031 | 67276 |   6.7 |  22M|  71 |  13 |2053 |5521 |2053 |1727 |2068 |  11k|1439 | 0.000000e+00 | 7.000000e+01 |    Inf 
34.79/34.87	o 69
34.79/34.87	c *33.6s| 12270 |  1231 | 84087 |   6.8 |  25M|  71 |   - |2053 |6136 |2053 |1750 |2462 |  13k|1453 | 0.000000e+00 | 6.900000e+01 |    Inf 
38.59/38.65	o 56
38.59/38.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.59/38.65	c *37.2s| 14028 |  1276 | 97115 |   6.9 |  25M|  71 |   - |2053 |6101 |2053 |1740 |2720 |  16k|1537 | 0.000000e+00 | 5.600000e+01 |    Inf 
47.79/47.84	o 55
47.79/47.84	c *46.1s| 18614 |  1542 |133233 |   7.1 |  29M|  71 |   - |2053 |6351 |2053 |1727 |3380 |  21k|1648 | 0.000000e+00 | 5.500000e+01 |    Inf 
50.19/50.23	o 49
50.19/50.23	c *48.4s| 19837 |  1559 |141890 |   7.1 |  29M|  71 |   - |2053 |6668 |2053 |1740 |3598 |  23k|1682 | 0.000000e+00 | 4.900000e+01 |    Inf 
50.49/50.60	c  48.8s| 20000 |  1573 |143692 |   7.2 |  29M|  71 |  27 |2053 |6545 |2053 |1727 |3650 |  23k|1682 | 0.000000e+00 | 4.900000e+01 |    Inf 
51.69/51.78	o 39
51.69/51.78	c *49.9s| 20658 |  1441 |147371 |   7.1 |  28M|  71 |   - |2053 |7187 |2053 |1738 |3756 |  24k|1687 | 0.000000e+00 | 3.900000e+01 |    Inf 
52.29/52.32	o 32
52.29/52.32	c *50.4s| 20920 |  1222 |149321 |   7.1 |  25M|  71 |   - |2053 |6850 |2053 |1729 |3780 |  24k|1689 | 0.000000e+00 | 3.200000e+01 |    Inf 
55.69/55.76	o 11
55.69/55.76	c *53.8s| 22713 |   979 |165347 |   7.3 |  22M|  71 |   - |2053 |6722 |2053 |1734 |4004 |  27k|1690 | 0.000000e+00 | 1.100000e+01 |    Inf 
72.19/72.27	c  69.7s| 30000 |  1081 |265790 |   8.8 |  25M|  71 |   - |2053 |8826 |   0 |   0 |4662 |  37k|1692 | 0.000000e+00 | 1.100000e+01 |    Inf 
94.89/94.98	c  91.7s| 40000 |  1084 |399492 |  10.0 |  26M|  71 |   - |2053 |9947 |2053 |1727 |5429 |  49k|1750 | 0.000000e+00 | 1.100000e+01 |    Inf 
116.89/116.99	c   113s| 50000 |  1177 |517607 |  10.3 |  28M|  71 |  16 |2053 |  12k|2053 |1727 |6860 |  62k|1999 | 0.000000e+00 | 1.100000e+01 |    Inf 
121.19/121.28	o 5
121.19/121.28	c * 117s| 51982 |   613 |541905 |  10.4 |  23M|  71 |   - |2053 |  13k|2053 |1741 |7254 |  65k|2007 | 0.000000e+00 | 5.000000e+00 |    Inf 
126.40/126.47	o 4
126.40/126.47	c * 122s| 54484 |   591 |567166 |  10.4 |  23M|  71 |   - |2053 |  11k|2053 |1735 |7701 |  68k|2133 | 0.000000e+00 | 4.000000e+00 |    Inf 
138.39/138.45	c   134s| 60000 |   550 |635993 |  10.6 |  22M|  71 |  25 |2053 |9524 |2053 |1742 |8345 |  75k|2267 | 0.000000e+00 | 4.000000e+00 |    Inf 
160.79/160.80	c   156s| 70000 |   556 |768465 |  11.0 |  23M|  71 |  29 |2053 |  10k|2053 |1727 |8819 |  88k|2510 | 0.000000e+00 | 4.000000e+00 |    Inf 
182.09/182.19	c   177s| 80000 |   518 |889374 |  11.1 |  23M|  71 |  26 |2053 |  10k|2053 |1727 |9466 | 101k|2782 | 0.000000e+00 | 4.000000e+00 |    Inf 
206.89/206.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
206.89/206.97	c   201s| 90000 |   645 |  1036k|  11.5 |  25M|  71 |  27 |2053 |  15k|2053 |1727 |  10k| 114k|3035 | 0.000000e+00 | 4.000000e+00 |    Inf 
230.69/230.76	c   225s|100000 |   661 |  1169k|  11.7 |  25M|  71 |   - |2053 |  12k|   0 |   0 |  11k| 128k|3323 | 0.000000e+00 | 4.000000e+00 |    Inf 
254.79/254.84	c   248s|110000 |   739 |  1307k|  11.9 |  27M|  71 |   - |2053 |  13k|   0 |   0 |  11k| 141k|3514 | 0.000000e+00 | 4.000000e+00 |    Inf 
278.20/278.20	c   271s|120000 |   899 |  1441k|  12.0 |  30M|  71 |   - |2053 |  17k|   0 |   0 |  12k| 155k|3703 | 0.000000e+00 | 4.000000e+00 |    Inf 
301.50/301.54	c   294s|130000 |   924 |  1567k|  12.1 |  29M|  71 |   - |2053 |  13k|   0 |   0 |  12k| 169k|3888 | 0.000000e+00 | 4.000000e+00 |    Inf 
324.40/324.42	c   316s|140000 |   851 |  1694k|  12.1 |  29M|  71 |   - |2053 |  13k|2053 |1727 |  13k| 182k|4082 | 0.000000e+00 | 4.000000e+00 |    Inf 
346.50/346.50	c   337s|150000 |   782 |  1812k|  12.1 |  29M|  71 |   - |2053 |  13k|   0 |   0 |  14k| 196k|4202 | 0.000000e+00 | 4.000000e+00 |    Inf 
369.50/369.57	c   360s|160000 |   631 |  1935k|  12.1 |  27M|  71 |   - |2053 |  12k|   0 |   0 |  15k| 209k|4375 | 0.000000e+00 | 4.000000e+00 |    Inf 
393.81/393.89	c   383s|170000 |   631 |  2074k|  12.2 |  28M|  71 |   - |2053 |  15k|   0 |   0 |  15k| 222k|4602 | 0.000000e+00 | 4.000000e+00 |    Inf 
404.90/404.91	o 2
404.90/404.91	c * 394s|174858 |   621 |  2132k|  12.2 |  28M|  71 |   - |2053 |  17k|2053 |1736 |  16k| 229k|4665 | 0.000000e+00 | 2.000000e+00 |    Inf 
417.00/417.00	c   405s|180000 |   655 |  2193k|  12.2 |  29M|  71 |   - |2053 |  17k|   0 |   0 |  16k| 235k|4780 | 0.000000e+00 | 2.000000e+00 |    Inf 
440.80/440.83	c   429s|190000 |   650 |  2312k|  12.2 |  30M|  71 |   - |2053 |  20k|   0 |   0 |  17k| 249k|4919 | 0.000000e+00 | 2.000000e+00 |    Inf 
466.70/466.78	c   454s|200000 |   636 |  2439k|  12.2 |  31M|  71 |   - |2053 |  22k|   0 |   0 |  18k| 262k|5053 | 0.000000e+00 | 2.000000e+00 |    Inf 
492.81/492.86	c   479s|210000 |   620 |  2563k|  12.2 |  31M|  71 |   - |2053 |  23k|   0 |   0 |  19k| 276k|5193 | 0.000000e+00 | 2.000000e+00 |    Inf 
517.20/517.25	c   503s|220000 |   635 |  2670k|  12.1 |  32M|  71 |   - |2053 |  27k|   0 |   0 |  20k| 289k|5284 | 0.000000e+00 | 2.000000e+00 |    Inf 
542.10/542.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
542.10/542.13	c   527s|230000 |   603 |  2773k|  12.1 |  33M|  71 |   - |2053 |  28k|2053 |1727 |  21k| 303k|5367 | 0.000000e+00 | 2.000000e+00 |    Inf 
571.91/572.00	c   556s|240000 |   659 |  2908k|  12.1 |  34M|  71 |  18 |2053 |  29k|2053 |1727 |  22k| 316k|5585 | 0.000000e+00 | 2.000000e+00 |    Inf 
602.41/602.43	c   586s|250000 |   724 |  3042k|  12.2 |  36M|  72 |   - |2053 |  33k|   0 |   0 |  23k| 329k|5698 | 0.000000e+00 | 2.000000e+00 |    Inf 
633.41/633.43	c   616s|260000 |   667 |  3179k|  12.2 |  35M|  72 |   - |2053 |  30k|   0 |   0 |  24k| 343k|5818 | 0.000000e+00 | 2.000000e+00 |    Inf 
667.10/667.18	c   649s|270000 |   697 |  3328k|  12.3 |  36M|  72 |  24 |2053 |  32k|2053 |1739 |  24k| 356k|5930 | 0.000000e+00 | 2.000000e+00 |    Inf 
699.61/699.64	c   681s|280000 |   699 |  3469k|  12.4 |  36M|  72 |   - |2053 |  33k|   0 |   0 |  25k| 370k|6055 | 0.000000e+00 | 2.000000e+00 |    Inf 
729.32/729.37	c   710s|290000 |   738 |  3596k|  12.4 |  37M|  72 |   - |2053 |  35k|   0 |   0 |  26k| 385k|6183 | 0.000000e+00 | 2.000000e+00 |    Inf 
759.61/759.70	c   739s|300000 |   797 |  3720k|  12.4 |  38M|  72 |   - |2053 |  37k|   0 |   0 |  27k| 399k|6300 | 0.000000e+00 | 2.000000e+00 |    Inf 
789.11/789.11	c   768s|310000 |   786 |  3841k|  12.4 |  39M|  72 |  19 |2053 |  37k|2053 |1727 |  28k| 412k|6427 | 0.000000e+00 | 2.000000e+00 |    Inf 
819.21/819.21	c   797s|320000 |   814 |  3971k|  12.4 |  38M|  72 |   - |2053 |  35k|   0 |   0 |  29k| 426k|6550 | 0.000000e+00 | 2.000000e+00 |    Inf 
849.51/849.50	c   827s|330000 |   877 |  4101k|  12.4 |  40M|  72 |  26 |2053 |  38k|2053 |1727 |  30k| 440k|6677 | 0.000000e+00 | 2.000000e+00 |    Inf 
881.21/881.20	c   858s|340000 |  1033 |  4235k|  12.5 |  42M|  72 |   - |2053 |  41k|   0 |   0 |  30k| 454k|6785 | 0.000000e+00 | 2.000000e+00 |    Inf 
912.02/912.02	c   888s|350000 |   966 |  4360k|  12.5 |  41M|  72 |   - |2053 |  37k|   0 |   0 |  31k| 468k|6867 | 0.000000e+00 | 2.000000e+00 |    Inf 
940.42/940.41	c   916s|360000 |   969 |  4476k|  12.4 |  42M|  73 |   1 |2053 |  39k|2053 |1727 |  32k| 483k|6939 | 0.000000e+00 | 2.000000e+00 |    Inf 
970.12/970.20	c   945s|370000 |   912 |  4596k|  12.4 |  42M|  73 |  21 |2053 |  39k|2053 |1727 |  33k| 497k|7029 | 0.000000e+00 | 2.000000e+00 |    Inf 
1001.72/1001.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1001.72/1001.78	c   975s|380000 |   893 |  4722k|  12.4 |  43M|  73 |   - |2053 |  40k|   0 |   0 |  34k| 511k|7121 | 0.000000e+00 | 2.000000e+00 |    Inf 
1034.82/1034.83	c  1008s|390000 |   896 |  4863k|  12.5 |  44M|  73 |   - |2053 |  44k|   0 |   0 |  35k| 525k|7231 | 0.000000e+00 | 2.000000e+00 |    Inf 
1069.71/1069.72	c  1042s|400000 |   820 |  5004k|  12.5 |  41M|  73 |   - |2053 |  38k|   0 |   0 |  36k| 540k|7320 | 0.000000e+00 | 2.000000e+00 |    Inf 
1099.32/1099.33	c  1071s|410000 |   770 |  5127k|  12.5 |  37M|  73 |   - |2053 |  29k|2053 |1727 |  37k| 553k|7435 | 0.000000e+00 | 2.000000e+00 |    Inf 
1128.22/1128.26	c  1099s|420000 |   774 |  5254k|  12.5 |  39M|  73 |  23 |2053 |  33k|2053 |1727 |  38k| 567k|7530 | 0.000000e+00 | 2.000000e+00 |    Inf 
1156.82/1156.89	c  1127s|430000 |   669 |  5375k|  12.5 |  38M|  73 |  25 |2053 |  33k|2053 |1727 |  39k| 581k|7597 | 0.000000e+00 | 2.000000e+00 |    Inf 
1186.83/1186.84	c  1156s|440000 |   731 |  5495k|  12.5 |  40M|  73 |  19 |2053 |  37k|2053 |1727 |  39k| 594k|7674 | 0.000000e+00 | 2.000000e+00 |    Inf 
1217.03/1217.02	c  1185s|450000 |   531 |  5629k|  12.5 |  32M|  73 |   - |2053 |  21k|2053 |1727 |  40k| 608k|7826 | 0.000000e+00 | 2.000000e+00 |    Inf 
1244.62/1244.60	c  1212s|460000 |   582 |  5771k|  12.5 |  34M|  73 |   - |2053 |  27k|   0 |   0 |  42k| 620k|7915 | 0.000000e+00 | 2.000000e+00 |    Inf 
1269.82/1269.87	c  1237s|470000 |   650 |  5892k|  12.5 |  36M|  73 |  10 |2053 |  31k|2053 |1727 |  43k| 633k|7969 | 0.000000e+00 | 2.000000e+00 |    Inf 
1295.52/1295.59	c  1262s|480000 |   587 |  6004k|  12.5 |  36M|  73 |   - |2053 |  31k|   0 |   0 |  44k| 647k|8058 | 0.000000e+00 | 2.000000e+00 |    Inf 
1324.01/1324.10	c  1289s|490000 |   585 |  6129k|  12.5 |  37M|  73 |  23 |2053 |  35k|2053 |1727 |  45k| 660k|8148 | 0.000000e+00 | 2.000000e+00 |    Inf 
1354.41/1354.47	c  1319s|500000 |   651 |  6257k|  12.5 |  39M|  73 |  21 |2053 |  40k|2053 |1727 |  46k| 673k|8237 | 0.000000e+00 | 2.000000e+00 |    Inf 
1386.11/1386.16	c  1350s|510000 |   688 |  6393k|  12.5 |  40M|  73 |  10 |2053 |  42k|2053 |1727 |  47k| 686k|8304 | 0.000000e+00 | 2.000000e+00 |    Inf 
1417.11/1417.13	c  1380s|520000 |   575 |  6516k|  12.5 |  38M|  73 |  11 |2053 |  36k|2053 |1727 |  48k| 700k|8387 | 0.000000e+00 | 2.000000e+00 |    Inf 
1445.42/1445.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1445.42/1445.49	c  1408s|530000 |   573 |  6628k|  12.5 |  39M|  73 |  26 |2053 |  40k|2053 |1738 |  49k| 713k|8464 | 0.000000e+00 | 2.000000e+00 |    Inf 
1475.61/1475.66	c  1437s|540000 |   557 |  6776k|  12.5 |  32M|  73 |  15 |2053 |  19k|2053 |1727 |  49k| 726k|8579 | 0.000000e+00 | 2.000000e+00 |    Inf 
1502.91/1502.93	c  1464s|550000 |   525 |  6929k|  12.6 |  32M|  73 |  27 |2053 |  20k|2053 |1735 |  50k| 739k|8662 | 0.000000e+00 | 2.000000e+00 |    Inf 
1532.12/1532.11	c  1492s|560000 |   648 |  7100k|  12.7 |  34M|  73 |   1 |2053 |  23k|2053 |1727 |  52k| 754k|8762 | 0.000000e+00 | 2.000000e+00 |    Inf 
1560.82/1560.85	c  1520s|570000 |   631 |  7261k|  12.7 |  33M|  73 |   - |2053 |  21k|2053 |1727 |  53k| 768k|8872 | 0.000000e+00 | 2.000000e+00 |    Inf 
1586.92/1586.90	c  1545s|580000 |   668 |  7382k|  12.7 |  35M|  73 |   - |2053 |  26k|   0 |   0 |  54k| 782k|8968 | 0.000000e+00 | 2.000000e+00 |    Inf 
1614.62/1614.63	c  1572s|590000 |   683 |  7503k|  12.7 |  37M|  73 |  24 |2053 |  29k|2053 |1737 |  55k| 796k|9038 | 0.000000e+00 | 2.000000e+00 |    Inf 
1642.62/1642.62	c  1599s|600000 |   722 |  7628k|  12.7 |  38M|  73 |   - |2053 |  31k|2053 |1727 |  56k| 810k|9071 | 0.000000e+00 | 2.000000e+00 |    Inf 
1670.43/1670.46	c  1626s|610000 |   752 |  7752k|  12.7 |  39M|  73 |   - |2053 |  35k|2053 |1727 |  58k| 824k|9153 | 0.000000e+00 | 2.000000e+00 |    Inf 
1699.62/1699.64	c  1655s|620000 |   925 |  7871k|  12.7 |  41M|  73 |   1 |2053 |  37k|2053 |1727 |  59k| 839k|9215 | 0.000000e+00 | 2.000000e+00 |    Inf 
1728.83/1728.89	c  1683s|630000 |   951 |  7989k|  12.7 |  43M|  73 |   - |2053 |  40k|   0 |   0 |  61k| 853k|9283 | 0.000000e+00 | 2.000000e+00 |    Inf 
1758.52/1758.53	c  1712s|640000 |   809 |  8112k|  12.7 |  41M|  73 |   - |2053 |  36k|2053 |1741 |  62k| 868k|9340 | 0.000000e+00 | 2.000000e+00 |    Inf 
1787.43/1787.49	c  1740s|650000 |   793 |  8234k|  12.7 |  40M|  73 |  22 |2053 |  36k|2053 |1727 |  63k| 882k|9411 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1752.49
1800.03/1800.00	c Solving Nodes      : 654175
1800.03/1800.00	c Primal Bound       : +2.00000000000000e+00 (292 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.02	s SATISFIABLE
1800.03/1800.02	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 
1800.03/1800.02	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 x189 
1800.03/1800.02	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.02	v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 
1800.03/1800.02	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.03/1800.02	v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.03/1800.02	v -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.03/1800.02	v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.03/1800.02	v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.03/1800.02	v x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.03/1800.02	v -x1 
1800.03/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.02	c Solving Time       :    1752.49
1800.03/1800.02	c Original Problem   :
1800.03/1800.02	c   Problem name     : HOME/instance-2693491-1277906931.wbo
1800.03/1800.02	c   Variables        : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.03/1800.02	c   Constraints      : 3669 initial, 3669 maximal
1800.03/1800.02	c Presolved Problem  :
1800.03/1800.02	c   Problem name     : t_HOME/instance-2693491-1277906931.wbo
1800.03/1800.02	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.03/1800.02	c   Constraints      : 3512 initial, 44742 maximal
1800.03/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.02	c   trivial          :       0.01         50          0          0          0          0          0          0          0
1800.03/1800.02	c   dualfix          :       0.00         50          0          0          0          0          0          0          0
1800.03/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.02	c   indicator        :       0.00          0          0          0          0          0         50          0          0
1800.03/1800.02	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   linear           :       0.04          0          0          0        961          0        107         50          0
1800.03/1800.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.02	c   root node        :          -        903          -          -       1806          -          -          -          -
1800.03/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.02	c   integral         :          0          0          0     362944          0        175       2112          0          0     698834
1800.03/1800.02	c   indicator        :        911          0    3142234      11632          0        226     997815          0          0          0
1800.03/1800.02	c   knapsack         :          1          6    3149764      11429          0      39860    8664851          0          0          0
1800.03/1800.02	c   setppc           :         15          6    3119916      11511          0      52672    2081309          0          0          0
1800.03/1800.02	c   linear           :        911          6    3068291      11693          0      65374    3929332      64121          0          0
1800.03/1800.02	c   logicor          :       1674+         6    1465256       1435          0     116457    5480380          0          0          0
1800.03/1800.02	c   bounddisjunction :          0+         0       1071          0          0          0          0          0          0          0
1800.03/1800.02	c   countsols        :          0          0          0       1435          0          0          0          0          0          0
1800.03/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.02	c   integral         :      40.52       0.00       0.00      40.52       0.00
1800.03/1800.02	c   indicator        :       3.21       0.04       3.05       0.12       0.00
1800.03/1800.02	c   knapsack         :      36.33       0.00      36.31       0.02       0.00
1800.03/1800.02	c   setppc           :      14.39       0.00      14.38       0.01       0.00
1800.03/1800.02	c   linear           :      49.85       0.00      49.46       0.39       0.00
1800.03/1800.02	c   logicor          :     281.81       0.01     281.76       0.04       0.00
1800.03/1800.02	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.03/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.02	c   vbounds          :       0.76          2          0          0
1800.03/1800.02	c   rootredcost      :       0.73         30          0        903
1800.03/1800.02	c   pseudoobj        :      55.91    3163909       2834     844211
1800.03/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.02	c   propagation      :      11.86     277197     276642    1665243       27.5       8949       22.5          -
1800.03/1800.02	c   infeasible LP    :      13.24      69503      69500     559428       42.5        715       15.0          0
1800.03/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.02	c   pseudo solution  :       0.00         24         24        126       16.2          9        8.0          -
1800.03/1800.02	c   applied globally :          -          -          -     888666       25.5          -          -          -
1800.03/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.02	c   cut pool         :       0.00          5          -          -         19          -    (maximal pool size: 301)
1800.03/1800.02	c   redcost          :       9.87     364664          0     138113          0          0
1800.03/1800.02	c   impliedbounds    :       0.00          6          0          0          0          0
1800.03/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.02	c   gomory           :       0.21          6          0          0       1883          0
1800.03/1800.02	c   strongcg         :       0.17          6          0          0       1195          0
1800.03/1800.02	c   cmir             :       0.02          6          0          0          0          0
1800.03/1800.02	c   flowcover        :       0.05          6          0          0          0          0
1800.03/1800.02	c   clique           :       0.00          6          0          0          0          0
1800.03/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.02	c Pricers            :       Time      Calls       Vars
1800.03/1800.02	c   problem variables:       0.00          0          0
1800.03/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.02	c   relpscost        :      40.10     351226        175       2112          0          0     698834
1800.03/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   inference        :       0.09       1406          0          0          0          0       2812
1800.03/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.02	c   LP solutions     :       0.00          -         29
1800.03/1800.02	c   pseudo solutions :       0.00          -          0
1800.03/1800.02	c   feaspump         :       0.03          1          0
1800.03/1800.02	c   oneopt           :       0.40         29          0
1800.03/1800.02	c   crossover        :       0.61         22          0
1800.03/1800.02	c   guideddiving     :       0.47        102          0
1800.03/1800.02	c   coefdiving       :       0.35        102          0
1800.03/1800.02	c   pscostdiving     :       0.35        102          0
1800.03/1800.02	c   fracdiving       :       0.44        102          0
1800.03/1800.02	c   veclendiving     :       0.33        102          0
1800.03/1800.02	c   linesearchdiving :       0.37        103          0
1800.03/1800.02	c   objpscostdiving  :       0.27         52          0
1800.03/1800.02	c   rootsoldiving    :       0.56         52          0
1800.03/1800.02	c   trivial          :       0.00          2          0
1800.03/1800.02	c   simplerounding   :       0.63     351712          0
1800.03/1800.02	c   zirounding       :       0.34       1000          0
1800.03/1800.02	c   rounding         :       1.05       8354          0
1800.03/1800.02	c   shifting         :       0.94       2649          0
1800.03/1800.02	c   intshifting      :       0.00         15          0
1800.03/1800.02	c   twoopt           :       0.00          0          0
1800.03/1800.02	c   fixandinfer      :       0.00          0          0
1800.03/1800.02	c   intdiving        :       0.00          0          0
1800.03/1800.02	c   actconsdiving    :       0.00          0          0
1800.03/1800.02	c   octane           :       0.00          0          0
1800.03/1800.02	c   rens             :       0.04          1          0
1800.03/1800.02	c   rins             :       0.00          0          0
1800.03/1800.02	c   localbranching   :       0.00          0          0
1800.03/1800.02	c   mutation         :       0.00          0          0
1800.03/1800.02	c   dins             :       0.00          0          0
1800.03/1800.02	c   undercover       :       0.00          0          0
1800.03/1800.02	c   nlp              :       0.12          0          0
1800.03/1800.02	c   trysol           :       0.73       2531        263
1800.03/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.02	c   dual LP          :     857.17     430576    8277332      19.22    9656.58
1800.03/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.02	c   diving/probing LP:       2.01       1489      12107       8.13    6023.38
1800.03/1800.02	c   strong branching :      36.38       9422     367611      39.02   10104.76
1800.03/1800.02	c     (at root node) :          -         33      11609     351.79          -
1800.03/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.02	c B&B Tree           :
1800.03/1800.02	c   number of runs   :          1
1800.03/1800.02	c   nodes            :     654175
1800.03/1800.02	c   nodes (total)    :     654175
1800.03/1800.02	c   nodes left       :        680
1800.03/1800.02	c   max depth        :         73
1800.03/1800.02	c   max depth (total):         73
1800.03/1800.02	c   backtracks       :      77137 (11.8%)
1800.03/1800.02	c   delayed cutoffs  :      44876
1800.03/1800.02	c   repropagations   :    1342601 (3745227 domain reductions, 42802 cutoffs)
1800.03/1800.02	c   avg switch length:       5.45
1800.03/1800.02	c   switching time   :     219.61
1800.03/1800.02	c Solution           :
1800.03/1800.02	c   Solutions found  :        292 (30 improvements)
1800.03/1800.02	c   First Solution   : +4.39280000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.03/1800.02	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 174858 nodes, 393.76 seconds, depth 47, found by <relaxation>)
1800.03/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.02	c   Gap              :   infinite
1800.03/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.02	c   Root Iterations  :        461
1800.03/1800.07	c Time complete: 1800.1.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693491-1277906931/watcher-2693491-1277906931 -o /tmp/evaluation-result-2693491-1277906931/solver-2693491-1277906931 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693491-1277906931.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.00 2.05 4/178 10906
/proc/meminfo: memFree=30600120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=11380 CPUtime=0
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 1766 0 0 0 0 0 0 0 25 0 1 0 131990515 11653120 1687 4089446400 4194304 9819077 140734833117200 18446744073709551615 8667901 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10906/statm: 2845 1687 392 1374 0 1466 0

[startup+0.057561 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 10906
/proc/meminfo: memFree=30600120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=24052 CPUtime=0.05
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 5651 0 0 0 5 0 0 0 25 0 1 0 131990515 24629248 4704 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 6013 4704 492 1374 0 4634 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24052

[startup+0.100552 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 10906
/proc/meminfo: memFree=30600120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=24940 CPUtime=0.09
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 8181 0 0 0 9 0 0 0 25 0 1 0 131990515 25538560 4921 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 6235 4921 512 1374 0 4856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24940

[startup+0.300526 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 10906
/proc/meminfo: memFree=30600120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=37404 CPUtime=0.29
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 11829 0 0 0 28 1 0 0 25 0 1 0 131990515 38301696 7748 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 9351 7748 690 1374 0 7972 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37404

[startup+0.70044 s]
/proc/loadavg: 2.00 2.00 2.05 4/178 10906
/proc/meminfo: memFree=30600120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=46864 CPUtime=0.68
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 14136 0 0 0 66 2 0 0 25 0 1 0 131990515 47988736 9799 4089446400 4194304 9819077 140734833117200 18446744073709551615 6699078 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 11716 9799 691 1374 0 10337 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46864

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 10907
/proc/meminfo: memFree=30562664/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=49620 CPUtime=1.49
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 35609 0 0 0 144 5 0 0 25 0 1 0 131990515 50810880 9918 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 12405 9918 735 1374 0 11026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49620

[startup+3.101 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 10907
/proc/meminfo: memFree=30563044/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=49436 CPUtime=3.09
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 47595 0 0 0 301 8 0 0 25 0 1 0 131990515 50622464 9912 4089446400 4194304 9819077 140734833117200 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 12359 9912 735 1374 0 10980 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49436

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 10908
/proc/meminfo: memFree=30562920/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=49388 CPUtime=6.29
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 75827 0 0 0 614 15 0 0 25 0 1 0 131990515 50573312 9902 4089446400 4194304 9819077 140734833117200 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 12347 9902 735 1374 0 10968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49388

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 10908
/proc/meminfo: memFree=30557420/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=54692 CPUtime=12.69
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 174600 0 0 0 1229 40 0 0 25 0 1 0 131990515 56004608 11663 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 13673 11663 741 1374 0 12294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54692

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 10908
/proc/meminfo: memFree=30539212/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=73640 CPUtime=25.49
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 350171 0 0 0 2460 89 0 0 25 0 1 0 131990515 75407360 16319 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 18410 16319 744 1374 0 17031 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73640

[startup+51.1011 s]
/proc/loadavg: 2.06 2.01 2.05 3/179 10909
/proc/meminfo: memFree=30514012/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=99616 CPUtime=51.09
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 646343 0 0 0 4928 181 0 0 25 0 1 0 131990515 102006784 22548 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 24904 22548 744 1374 0 23525 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99616

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.04 3/179 10910
/proc/meminfo: memFree=30506300/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=104796 CPUtime=102.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 1182707 0 0 0 9879 351 0 0 25 0 1 0 131990515 107311104 23847 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 26199 23847 744 1374 0 24820 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 104796

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.04 3/179 10912
/proc/meminfo: memFree=30499556/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=108628 CPUtime=162.29
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 1461592 0 0 0 15746 483 0 0 25 0 1 0 131990515 111235072 25322 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 27157 25322 744 1374 0 25778 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 108628

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 10913
/proc/meminfo: memFree=30498772/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=109716 CPUtime=222.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 1546477 0 0 0 21642 588 0 0 25 0 1 0 131990515 112349184 25354 4089446400 4194304 9819077 140734833117200 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 27429 25354 744 1374 0 26050 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 109716

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 10915
/proc/meminfo: memFree=30496508/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=111196 CPUtime=282.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 1827431 0 0 0 27499 731 0 0 25 0 1 0 131990515 113864704 25528 4089446400 4194304 9819077 140734833117200 18446744073709551615 5001160 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 27799 25528 744 1374 0 26420 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 111196

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 10917
/proc/meminfo: memFree=30492484/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=112684 CPUtime=342.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 2352620 0 0 0 33310 920 0 0 25 0 1 0 131990515 115388416 25794 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 28171 25794 744 1374 0 26792 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112684

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 10918
/proc/meminfo: memFree=30489232/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=113432 CPUtime=402.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 2923749 0 0 0 39124 1106 0 0 25 0 1 0 131990515 116154368 26027 4089446400 4194304 9819077 140734833117200 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 28358 26027 744 1374 0 26979 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 113432

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 10920
/proc/meminfo: memFree=30484332/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=115892 CPUtime=462.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 3440074 0 0 0 44952 1279 0 0 25 0 1 0 131990515 118673408 26655 4089446400 4194304 9819077 140734833117200 18446744073709551615 7298102 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 28973 26656 744 1374 0 27594 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 115892

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.01 3/179 10921
/proc/meminfo: memFree=30477236/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=118992 CPUtime=522.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 3922032 0 0 0 50781 1449 0 0 25 0 1 0 131990515 121847808 27318 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 29748 27319 744 1374 0 28369 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 118992

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10923
/proc/meminfo: memFree=30474204/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=121040 CPUtime=582.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 4379972 0 0 0 56624 1607 0 0 25 0 1 0 131990515 123944960 27714 4089446400 4194304 9819077 140734833117200 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 30260 27714 744 1374 0 28881 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 121040

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10925
/proc/meminfo: memFree=30469940/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=122952 CPUtime=642.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 4812812 0 0 0 62476 1755 0 0 25 0 1 0 131990515 125902848 28203 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 30738 28203 744 1374 0 29359 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 122952

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10929
/proc/meminfo: memFree=30459780/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=125728 CPUtime=822.3
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 6071170 0 0 0 80046 2184 0 0 25 0 1 0 131990515 128745472 28878 4089446400 4194304 9819077 140734833117200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 31432 28878 744 1374 0 30053 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 125728

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10931
/proc/meminfo: memFree=30453656/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=129344 CPUtime=882.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 6486999 0 0 0 85904 2327 0 0 25 0 1 0 131990515 132448256 29701 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 32336 29701 744 1374 0 30957 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 129344

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10933
/proc/meminfo: memFree=30452508/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=129448 CPUtime=942.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 6920000 0 0 0 91751 2480 0 0 25 0 1 0 131990515 132554752 29737 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 32362 29737 744 1374 0 30983 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 129448

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10934
/proc/meminfo: memFree=30451216/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=130192 CPUtime=1002.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 7360190 0 0 0 97602 2630 0 0 25 0 1 0 131990515 133316608 29937 4089446400 4194304 9819077 140734833117200 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 32548 29937 744 1374 0 31169 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 130192

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 10936
/proc/meminfo: memFree=30448832/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=131248 CPUtime=1062.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 7772213 0 0 0 103463 2769 0 0 25 0 1 0 131990515 134397952 30254 4089446400 4194304 9819077 140734833117200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 32812 30254 744 1374 0 31433 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 131248

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 10937
/proc/meminfo: memFree=30448288/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=132124 CPUtime=1122.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 8220607 0 0 0 109314 2918 0 0 25 0 1 0 131990515 135294976 30326 4089446400 4194304 9819077 140734833117200 18446744073709551615 6723476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 33031 30326 744 1374 0 31652 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 132124

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10939
/proc/meminfo: memFree=30445892/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=133076 CPUtime=1182.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 8665061 0 0 0 115164 3068 0 0 25 0 1 0 131990515 136269824 30551 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 33269 30551 744 1374 0 31890 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 133076

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10941
/proc/meminfo: memFree=30445120/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=133448 CPUtime=1242.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 9165643 0 0 0 121001 3231 0 0 25 0 1 0 131990515 136650752 30728 4089446400 4194304 9819077 140734833117200 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 33530 30732 744 1374 0 32151 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 133448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10942
/proc/meminfo: memFree=30444828/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=134148 CPUtime=1302.33
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 9667540 0 0 0 126832 3401 0 0 25 0 1 0 131990515 137367552 30765 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10906/statm: 33537 30765 744 1374 0 32158 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 134148

[startup+1362.3 s]
/proc/loadavg: 2.56 2.14 2.04 4/200 11014
/proc/meminfo: memFree=30389036/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135056 CPUtime=1362.31
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 10125331 0 0 0 132669 3562 0 0 25 0 1 0 131990515 138297344 30897 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33764 30899 744 1374 0 32385 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 135056

[startup+1422.31 s]
/proc/loadavg: 2.80 2.28 2.10 4/200 11015
/proc/meminfo: memFree=30372140/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135032 CPUtime=1422.33
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 10561006 0 0 0 138520 3713 0 0 25 0 1 0 131990515 138272768 30902 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33758 30902 744 1374 0 32379 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 135032

[startup+1482.3 s]
/proc/loadavg: 2.87 2.40 2.14 4/200 11017
/proc/meminfo: memFree=30363036/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135916 CPUtime=1482.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 11034981 0 0 0 144361 3871 0 0 25 0 1 0 131990515 139177984 31053 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33979 31053 744 1374 0 32600 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 135916

[startup+1542.3 s]
/proc/loadavg: 2.95 2.50 2.20 4/200 11019
/proc/meminfo: memFree=30355916/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135944 CPUtime=1542.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 11629404 0 0 0 150177 4055 0 0 25 0 1 0 131990515 139206656 31062 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33986 31062 744 1374 0 32607 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 135944

[startup+1602.3 s]
/proc/loadavg: 2.94 2.58 2.24 4/200 11020
/proc/meminfo: memFree=30349420/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135916 CPUtime=1602.32
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 12155544 0 0 0 156007 4225 0 0 25 0 1 0 131990515 139177984 31065 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33979 31065 744 1374 0 32600 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 135916

[startup+1662.3 s]
/proc/loadavg: 2.92 2.62 2.27 4/200 11022
/proc/meminfo: memFree=30344128/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=136072 CPUtime=1662.33
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 12652813 0 0 0 161845 4388 0 0 25 0 1 0 131990515 139337728 31096 4089446400 4194304 9819077 140734833117200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 34018 31096 744 1374 0 32639 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 136072

[startup+1722.3 s]
/proc/loadavg: 2.94 2.68 2.31 3/200 11023
/proc/meminfo: memFree=30339856/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=136048 CPUtime=1722.33
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 13110734 0 0 0 167688 4545 0 0 25 0 1 0 131990515 139313152 31113 4089446400 4194304 9819077 140734833117200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 34012 31113 744 1374 0 32633 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 136048

[startup+1782.3 s]
/proc/loadavg: 2.78 2.68 2.33 3/200 11025
/proc/meminfo: memFree=30335936/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=136048 CPUtime=1782.33
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 13580366 0 0 0 173528 4705 0 0 25 0 1 0 131990515 139313152 31121 4089446400 4194304 9819077 140734833117200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 34012 31121 744 1374 0 32633 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 136048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.83 2.70 2.35 4/200 11025
/proc/meminfo: memFree=30335424/32951124 swapFree=67111528/67111528
[pid=10906] ppid=10904 vsize=135372 CPUtime=1800.03
/proc/10906/stat : 10906 (pbscip.linux.x8) R 10904 10906 9834 0 -1 4202496 13720597 0 0 0 175251 4752 0 0 25 0 1 0 131990515 138620928 31113 4089446400 4194304 9819077 140734833117200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10906/statm: 33843 31115 744 1374 0 32464 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 135372

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

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

Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1752.58
CPU system time (s): 47.5338
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 138404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.58
system time used= 47.5338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13720613
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= 1
involuntary context switches= 23844

runsolver used 3.51747 second user time and 6.14007 second system time

The end

Launcher Data 

Begin job on node105 at 2010-06-30 16:08:52
IDJOB=2693491
IDBENCH=78944
IDSOLVER=1205
FILE ID=node105/2693491-1277906931
PBS_JOBID= 11197200
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693491-1277906931/watcher-2693491-1277906931 -o /tmp/evaluation-result-2693491-1277906931/solver-2693491-1277906931 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693491-1277906931.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 9807244e443328f735b38c92df34bd91
RANDOM SEED=698188893

node105.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.840
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.840
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.15
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.840
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.840
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.840
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.94
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.840
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.70
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.840
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.840
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30600648 kB
Buffers:        192660 kB
Cached:        1823392 kB
SwapCached:          0 kB
Active:         671956 kB
Inactive:      1533640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30600648 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6272 kB
Writeback:           0 kB
AnonPages:      189396 kB
Mapped:          17472 kB
Slab:            80600 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   336556 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= 74204 MiB
End job on node105 at 2010-06-30 16:38:54