Trace number 3447270

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4OPTIMUM 1614.12 1614.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
MD5SUM05d9157cdbd186fca72e4e6dc0ec425d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark45.1911
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 constraints1839
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 91769
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91768
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3447270-1307898941.wbo>
0.00/0.02	c original problem has 2070 variables (2070 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.06/0.08	c (round 2) 0 del vars, 108 del conss, 0 add conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.06/0.09	c (round 3) 94 del vars, 202 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.09/0.10	c (round 4) 162 del vars, 202 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 829 upgd conss, 126 impls, 9 clqs
0.09/0.11	c (round 5) 162 del vars, 215 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 829 upgd conss, 126 impls, 9 clqs
0.09/0.16	c    (0.2s) probing: 101/1989 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (6 rounds):
0.09/0.16	c  162 deleted vars, 215 deleted constraints, 0 added constraints, 1873 tightened bounds, 0 added holes, 107 changed sides, 0 changed coefficients
0.09/0.16	c  1884 implications, 9 cliques
0.09/0.16	c presolved problem has 3747 variables (1989 bin, 0 int, 1758 impl, 0 cont) and 4332 constraints
0.09/0.16	c      33 constraints of type <setppc>
0.09/0.16	c    1758 constraints of type <linear>
0.09/0.16	c    1758 constraints of type <indicator>
0.09/0.16	c     783 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.13
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 2.0.1.4
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1800
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 13950
0.09/0.16	c 
0.09/0.16	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16	c # [type: int, range: [1,2], default: 1]
0.09/0.16	c timing/clocktype = 2
0.09/0.16	c 
0.09/0.16	c # belongs reading time to solving time?
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c timing/reading = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/indicator/addCouplingCons = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.16	c 
0.49/0.56	o 531
0.49/0.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.56	c T 0.6s|     1 |     0 |     0 |     - |  14M|   0 |   - |3747 |6090 |3747 |2574 |   0 |   0 |   0 |      --      | 5.310000e+02 |    Inf 
0.49/0.58	c   0.6s|     1 |     0 |   109 |     - |  13M|   0 |  44 |3747 |6090 |3747 |2574 |   0 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
0.79/0.89	c   0.9s|     1 |     0 |   301 |     - |  15M|   0 |  41 |3747 |6130 |3747 |2581 |   7 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
0.99/1.07	c   1.1s|     1 |     0 |   318 |     - |  15M|   0 |  43 |3747 |6130 |3747 |2585 |  11 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
1.19/1.26	c   1.3s|     1 |     0 |   323 |     - |  15M|   0 |  44 |3747 |6130 |3747 |2588 |  14 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
1.39/1.46	c   1.5s|     1 |     0 |   339 |     - |  15M|   0 |  43 |3747 |6130 |3747 |2589 |  15 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
1.60/1.67	c   1.7s|     1 |     0 |   360 |     - |  15M|   0 |  44 |3747 |6130 |3747 |2592 |  18 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
1.79/1.89	c   1.9s|     1 |     0 |   394 |     - |  15M|   0 |  45 |3747 |6130 |3747 |2596 |  22 |   0 |   0 | 0.000000e+00 | 5.310000e+02 |    Inf 
2.10/2.20	c   2.2s|     1 |     2 |   394 |     - |  15M|   0 |  45 |3747 |6130 |3747 |2596 |  22 |   0 |  10 | 0.000000e+00 | 5.310000e+02 |    Inf 
5.00/5.04	o 490
5.00/5.04	c * 5.0s|    58 |    51 |  4329 |  69.0 |  17M|  23 |   - |3747 |6159 |3747 |2661 | 172 |  29 | 412 | 0.000000e+00 | 4.900000e+02 |    Inf 
5.00/5.06	o 484
5.00/5.06	c * 5.1s|    59 |    50 |  4334 |  67.9 |  17M|  23 |   - |3747 |6159 |3747 |2661 | 173 |  29 | 412 | 0.000000e+00 | 4.840000e+02 |    Inf 
5.29/5.35	o 409
5.29/5.35	c * 5.3s|    70 |    56 |  5178 |  69.3 |  17M|  23 |   - |3747 |6169 |3747 |2667 | 220 |  39 | 435 | 0.000000e+00 | 4.090000e+02 |    Inf 
5.89/5.94	o 407
5.89/5.94	c f 5.9s|    83 |    69 |  5973 |  68.0 |  18M|  23 |   - |3747 |6169 |3747 |2606 | 235 |  39 | 534 | 0.000000e+00 | 4.070000e+02 |    Inf 
6.29/6.35	o 374
6.29/6.35	c * 6.4s|    93 |    76 |  7022 |  72.0 |  18M|  23 |   - |3747 |6169 |3747 |2712 | 325 |  39 | 564 | 0.000000e+00 | 3.740000e+02 |    Inf 
6.60/6.67	o 326
6.60/6.67	c * 6.7s|   109 |    74 |  7788 |  68.5 |  19M|  25 |   - |3747 |6183 |3747 |2672 | 377 |  53 | 588 | 0.000000e+00 | 3.260000e+02 |    Inf 
6.99/7.01	o 308
6.99/7.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.99/7.01	c * 7.0s|   119 |    76 |  8603 |  69.6 |  19M|  25 |   - |3747 |6183 |3747 |2655 | 410 |  53 | 636 | 0.000000e+00 | 3.080000e+02 |    Inf 
6.99/7.07	o 271
6.99/7.07	c * 7.1s|   120 |    69 |  8655 |  69.4 |  19M|  25 |   - |3747 |6183 |3747 |2647 | 433 |  53 | 636 | 0.000000e+00 | 2.710000e+02 |    Inf 
7.89/7.94	o 238
7.89/7.94	c * 7.9s|   143 |    83 | 10335 |  70.0 |  20M|  25 |   - |3747 |6189 |3747 |2677 | 490 |  59 | 744 | 0.000000e+00 | 2.380000e+02 |    Inf 
7.89/7.98	o 154
7.89/7.98	c * 8.0s|   144 |    73 | 10377 |  69.8 |  20M|  25 |   - |3747 |6189 |3747 |2692 | 507 |  59 | 744 | 0.000000e+00 | 1.540000e+02 |    Inf 
8.09/8.15	o 135
8.09/8.15	c * 8.2s|   149 |    71 | 10977 |  71.5 |  20M|  25 |   - |3747 |6189 |3747 |2675 | 560 |  59 | 751 | 0.000000e+00 | 1.350000e+02 |    Inf 
8.59/8.62	o 106
8.59/8.62	c * 8.6s|   160 |    61 | 11939 |  72.6 |  20M|  25 |   - |3747 |6192 |3747 |2692 | 630 |  62 | 803 | 0.000000e+00 | 1.060000e+02 |    Inf 
9.09/9.11	o 101
9.09/9.11	c * 9.1s|   173 |    65 | 12904 |  72.7 |  21M|  25 |   - |3747 |6199 |3747 |2625 | 633 |  69 | 882 | 0.000000e+00 | 1.010000e+02 |    Inf 
9.09/9.19	o 45
9.09/9.19	c * 9.2s|   174 |    36 | 12964 |  72.7 |  21M|  25 |   - |3747 |6199 |3747 |2663 | 674 |  69 | 882 | 0.000000e+00 | 4.500000e+01 |    Inf 
18.39/18.45	o 40
18.39/18.45	c *18.4s|  1162 |   156 | 25555 |  21.7 |  22M|  39 |   - |3747 |5280 |3747 |2591 | 699 |1161 |1778 | 0.000000e+00 | 4.000000e+01 |    Inf 
20.89/20.94	o 32
20.89/20.94	c *20.9s|  1997 |   193 | 31626 |  15.6 |  23M|  39 |   - |3747 |5525 |3747 |2594 | 714 |2101 |1791 | 0.000000e+00 | 3.200000e+01 |    Inf 
46.80/46.80	c  46.8s| 10000 |   451 |119970 |  12.0 |  28M|  45 |   - |3747 |9903 |   0 |   0 | 792 |  12k|1817 | 0.000000e+00 | 3.200000e+01 |    Inf 
78.40/78.41	c  78.4s| 20000 |   528 |219172 |  10.9 |  30M|  54 |  15 |3747 |  10k|3747 |2591 | 890 |  25k|1821 | 0.000000e+00 | 3.200000e+01 |    Inf 
86.10/86.19	o 31
86.10/86.19	c *86.2s| 22582 |   539 |242860 |  10.7 |  30M|  64 |   - |3747 |  10k|3747 |2591 | 910 |  28k|1832 | 0.000000e+00 | 3.100000e+01 |    Inf 
89.59/89.65	o 18
89.59/89.65	c *89.6s| 23592 |   520 |253413 |  10.7 |  30M|  64 |   - |3747 |9611 |3747 |2592 | 923 |  30k|1885 | 0.000000e+00 | 1.800000e+01 |    Inf 
108.99/109.03	o 7
108.99/109.03	c * 109s| 28695 |   285 |328518 |  11.4 |  26M|  64 |   - |3747 |7329 |3747 |2594 | 927 |  36k|2197 | 0.000000e+00 | 7.000000e+00 |    Inf 
113.09/113.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
113.09/113.15	c   113s| 30000 |   279 |347462 |  11.6 |  26M|  64 |   - |3747 |7757 |3747 |2591 | 927 |  38k|2200 | 0.000000e+00 | 7.000000e+00 |    Inf 
149.39/149.47	c   149s| 40000 |   312 |500881 |  12.5 |  28M|  64 |   - |3747 |  10k|3747 |2591 | 930 |  50k|2725 | 0.000000e+00 | 7.000000e+00 |    Inf 
186.49/186.55	c   187s| 50000 |   377 |657269 |  13.1 |  29M|  64 |  30 |3747 |  10k|3747 |2591 | 930 |  63k|3183 | 0.000000e+00 | 7.000000e+00 |    Inf 
222.80/222.84	c   223s| 60000 |   450 |812942 |  13.5 |  32M|  64 |   - |3747 |  15k|   0 |   0 | 931 |  76k|3538 | 0.000000e+00 | 7.000000e+00 |    Inf 
259.70/259.78	c   260s| 70000 |   420 |968620 |  13.8 |  32M|  66 |   - |3747 |  13k|3747 |2591 | 931 |  89k|3867 | 0.000000e+00 | 7.000000e+00 |    Inf 
299.50/299.54	c   300s| 80000 |   521 |  1147k|  14.3 |  34M|  66 |  30 |3747 |  16k|3747 |2591 | 931 | 103k|4212 | 0.000000e+00 | 7.000000e+00 |    Inf 
337.29/337.38	c   337s| 90000 |   665 |  1307k|  14.5 |  36M|  66 |  32 |3747 |  18k|3747 |2591 | 932 | 116k|4490 | 0.000000e+00 | 7.000000e+00 |    Inf 
376.21/376.21	c   376s|100000 |   707 |  1476k|  14.8 |  38M|  66 |   - |3747 |  19k|   0 |   0 | 932 | 129k|4725 | 0.000000e+00 | 7.000000e+00 |    Inf 
416.50/416.54	c   417s|110000 |   723 |  1650k|  15.0 |  38M|  66 |   - |3747 |  18k|   0 |   0 | 932 | 142k|5036 | 0.000000e+00 | 7.000000e+00 |    Inf 
454.21/454.28	c   454s|120000 |   778 |  1812k|  15.1 |  40M|  76 |   - |3747 |  21k|3747 |2591 | 932 | 156k|5234 | 0.000000e+00 | 7.000000e+00 |    Inf 
493.20/493.28	c   493s|130000 |   872 |  1977k|  15.2 |  42M|  76 |   - |3747 |  25k|   0 |   0 | 932 | 169k|5475 | 0.000000e+00 | 7.000000e+00 |    Inf 
530.40/530.43	c   530s|140000 |   851 |  2136k|  15.3 |  42M|  76 |  26 |3747 |  23k|3747 |2591 | 936 | 183k|5671 | 0.000000e+00 | 7.000000e+00 |    Inf 
568.80/568.84	c   569s|150000 |   854 |  2299k|  15.3 |  41M|  76 |   - |3747 |  21k|   0 |   0 | 936 | 196k|5902 | 0.000000e+00 | 7.000000e+00 |    Inf 
608.00/608.07	c   608s|160000 |   831 |  2468k|  15.4 |  40M|  76 |   - |3747 |  19k|3747 |2591 | 936 | 210k|6158 | 0.000000e+00 | 7.000000e+00 |    Inf 
647.30/647.35	c   647s|170000 |   857 |  2643k|  15.5 |  42M|  76 |  30 |3747 |  21k|3747 |2591 | 936 | 223k|6379 | 0.000000e+00 | 7.000000e+00 |    Inf 
686.90/686.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
686.90/686.94	c   687s|180000 |   815 |  2818k|  15.7 |  41M|  76 |  43 |3747 |  19k|3747 |2591 | 936 | 238k|6517 | 0.000000e+00 | 7.000000e+00 |    Inf 
725.61/725.69	c   726s|190000 |   842 |  2988k|  15.7 |  42M|  77 |   - |3747 |  18k|   0 |   0 | 936 | 252k|6700 | 0.000000e+00 | 7.000000e+00 |    Inf 
764.91/764.90	c   765s|200000 |   781 |  3164k|  15.8 |  39M|  77 |   - |3747 |  14k|3747 |2591 | 936 | 265k|6903 | 0.000000e+00 | 7.000000e+00 |    Inf 
804.01/804.02	c   804s|210000 |   767 |  3344k|  15.9 |  39M|  77 |   - |3747 |  13k|3747 |2591 | 936 | 278k|7110 | 0.000000e+00 | 7.000000e+00 |    Inf 
842.41/842.47	c   842s|220000 |   770 |  3519k|  16.0 |  38M|  77 |  33 |3747 |  11k|3747 |2591 | 936 | 292k|7299 | 0.000000e+00 | 7.000000e+00 |    Inf 
879.31/879.38	c   879s|230000 |   739 |  3684k|  16.0 |  38M|  77 |   - |3747 |  11k|3747 |2591 | 936 | 304k|7467 | 0.000000e+00 | 7.000000e+00 |    Inf 
918.01/918.07	c   918s|240000 |   752 |  3864k|  16.1 |  42M|  77 |   - |3747 |  18k|   0 |   0 | 936 | 317k|7661 | 0.000000e+00 | 7.000000e+00 |    Inf 
957.71/957.71	c   958s|250000 |   765 |  4042k|  16.2 |  41M|  77 |  32 |3747 |  15k|3747 |2622 | 936 | 330k|7862 | 0.000000e+00 | 7.000000e+00 |    Inf 
996.71/996.73	c   997s|260000 |   737 |  4216k|  16.2 |  42M|  77 |   - |3747 |  17k|3747 |2622 | 936 | 343k|8044 | 0.000000e+00 | 7.000000e+00 |    Inf 
1035.92/1035.90	c  1036s|270000 |   748 |  4384k|  16.2 |  44M|  77 |   - |3747 |  23k|3747 |2591 | 938 | 356k|8223 | 0.000000e+00 | 7.000000e+00 |    Inf 
1075.62/1075.62	c  1076s|280000 |   749 |  4549k|  16.2 |  47M|  77 |   - |3747 |  28k|3747 |2591 | 938 | 369k|8404 | 0.000000e+00 | 7.000000e+00 |    Inf 
1115.81/1115.87	c  1116s|290000 |   697 |  4716k|  16.3 |  43M|  77 |  33 |3747 |  18k|3747 |2591 | 939 | 382k|8604 | 0.000000e+00 | 7.000000e+00 |    Inf 
1152.42/1152.42	c  1152s|300000 |   702 |  4870k|  16.2 |  44M|  77 |   - |3747 |  20k|   0 |   0 | 939 | 394k|8764 | 0.000000e+00 | 7.000000e+00 |    Inf 
1190.42/1190.49	c  1190s|310000 |   744 |  5028k|  16.2 |  46M|  77 |   - |3747 |  25k|3747 |2591 | 939 | 407k|8902 | 0.000000e+00 | 7.000000e+00 |    Inf 
1228.52/1228.60	c  1229s|320000 |   730 |  5182k|  16.2 |  45M|  77 |  37 |3747 |  23k|3747 |2591 | 939 | 420k|9011 | 0.000000e+00 | 7.000000e+00 |    Inf 
1266.32/1266.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1266.32/1266.37	c  1266s|330000 |   770 |  5341k|  16.2 |  47M|  77 |   - |3747 |  27k|3747 |2591 | 939 | 433k|9123 | 0.000000e+00 | 7.000000e+00 |    Inf 
1285.02/1285.02	o 6
1285.02/1285.02	c *1285s|334717 |   671 |  5415k|  16.2 |  45M|  77 |   - |3747 |  27k|3747 |2593 | 941 | 439k|9246 | 0.000000e+00 | 6.000000e+00 |    Inf 
1304.53/1304.58	c  1305s|340000 |   660 |  5494k|  16.2 |  44M|  77 |   - |3747 |  23k|3747 |2591 | 942 | 446k|9300 | 0.000000e+00 | 6.000000e+00 |    Inf 
1343.03/1343.05	c  1343s|350000 |   654 |  5656k|  16.2 |  45M|  77 |  45 |3747 |  25k|3747 |2591 | 942 | 459k|9447 | 0.000000e+00 | 6.000000e+00 |    Inf 
1381.32/1381.31	c  1381s|360000 |   521 |  5820k|  16.2 |  39M|  77 |  36 |3747 |  13k|3747 |2591 | 942 | 472k|9582 | 0.000000e+00 | 6.000000e+00 |    Inf 
1418.32/1418.35	c  1418s|370000 |   356 |  5981k|  16.2 |  36M|  77 |  23 |3747 |  13k|3747 |2591 | 943 | 485k|9712 | 0.000000e+00 | 6.000000e+00 |    Inf 
1454.42/1454.48	c  1454s|380000 |   382 |  6134k|  16.1 |  38M|  77 |   - |3747 |  18k|3747 |2591 | 943 | 498k|9861 | 0.000000e+00 | 6.000000e+00 |    Inf 
1491.82/1491.86	c  1492s|390000 |   437 |  6294k|  16.1 |  40M|  77 |  29 |3747 |  20k|3747 |2591 | 943 | 510k|9990 | 0.000000e+00 | 6.000000e+00 |    Inf 
1530.72/1530.78	c  1531s|400000 |   481 |  6464k|  16.2 |  42M|  77 |  21 |3747 |  23k|3747 |2591 | 943 | 524k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1568.13/1568.11	c  1568s|410000 |   493 |  6625k|  16.2 |  43M|  77 |   - |3747 |  25k|   0 |   0 | 945 | 537k|  10k| 0.000000e+00 | 6.000000e+00 |    Inf 
1604.72/1604.73	c  1605s|420000 |    37 |  6769k|  16.1 |  33M|  77 |   - |3747 |  16k|3747 |2591 | 945 | 551k|  10k| 5.000000e+00 | 6.000000e+00 |  20.00%
1614.03/1614.04	c 
1614.03/1614.04	c SCIP Status        : problem is solved [optimal solution found]
1614.03/1614.04	c Solving Time (sec) : 1614.04
1614.03/1614.04	c Solving Nodes      : 422728
1614.03/1614.04	c Primal Bound       : +6.00000000000000e+00 (156 solutions)
1614.03/1614.04	c Dual Bound         : +6.00000000000000e+00
1614.03/1614.04	c Gap                : 0.00 %
1614.03/1614.04	s OPTIMUM FOUND
1614.03/1614.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1614.03/1614.04	v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1614.03/1614.04	v -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 
1614.03/1614.04	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1614.03/1614.04	v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1614.03/1614.04	v -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1614.03/1614.04	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 -x80 
1614.03/1614.04	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 
1614.03/1614.04	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 -x29 
1614.03/1614.04	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 
1614.03/1614.04	v -x1 
1614.03/1614.04	c SCIP Status        : problem is solved [optimal solution found]
1614.03/1614.04	c Total Time         :    1614.04
1614.03/1614.04	c   solving          :    1614.04
1614.03/1614.04	c   presolving       :       0.13 (included in solving)
1614.03/1614.04	c   reading          :       0.02 (included in solving)
1614.03/1614.04	c Original Problem   :
1614.03/1614.04	c   Problem name     : HOME/instance-3447270-1307898941.wbo
1614.03/1614.04	c   Variables        : 2070 (2070 binary, 0 integer, 0 implicit integer, 0 continuous)
1614.03/1614.04	c   Constraints      : 2708 initial, 2708 maximal
1614.03/1614.04	c Presolved Problem  :
1614.03/1614.04	c   Problem name     : t_HOME/instance-3447270-1307898941.wbo
1614.03/1614.04	c   Variables        : 3747 (1989 binary, 0 integer, 1758 implicit integer, 0 continuous)
1614.03/1614.04	c   Constraints      : 4332 initial, 30405 maximal
1614.03/1614.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1614.03/1614.04	c   trivial          :       0.00         81          0          0          0          0          0          0          0          0
1614.03/1614.04	c   dualfix          :       0.00         81          0          0          0          0          0          0          0          0
1614.03/1614.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   probing          :       0.05          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   varbound         :       0.00          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   setppc           :       0.00          0          0          0          0          0         13          0          0          0
1614.03/1614.04	c   linear           :       0.06          0          0          0       1873          0        121          0        107          0
1614.03/1614.04	c   indicator        :       0.00          0          0          0          0          0         81          0          0          0
1614.03/1614.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0          0
1614.03/1614.04	c   root node        :          -       3347          -          -       3347          -          -          -          -          -
1614.03/1614.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1614.03/1614.04	c   integral         :          0          0          0     219789          0        516          0        387       2891          0          0     433194
1614.03/1614.04	c   varbound         :          0+         6    2107893        941          0          0      13028          2     716762        937          0          0
1614.03/1614.04	c   setppc           :         33          6    2134760          7          0        513    1847303       5139     925888          0          0          0
1614.03/1614.04	c   linear           :       1758+         7    2132339         16          0        501    4674049      45955    6644710          0          0          0
1614.03/1614.04	c   indicator        :       1758          0    2058067        941          0        500      13333          0      31271          0          0          0
1614.03/1614.04	c   logicor          :        783+         6     823474         19          0        137    2175623      23666    1540093          0          0          0
1614.03/1614.04	c   bounddisjunction :          0+         0     136465          0          0          0          6          0         10          0          0          0
1614.03/1614.04	c   countsols        :          0          0          0         19          0        139          0          0          0          0          0          0
1614.03/1614.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1614.03/1614.04	c   integral         :      62.07       0.00       0.00      62.05       0.00       0.02       0.00
1614.03/1614.04	c   varbound         :       4.84       0.00       4.80       0.04       0.00       0.00       0.01
1614.03/1614.04	c   setppc           :       8.19       0.00       7.72       0.00       0.00       0.00       0.47
1614.03/1614.04	c   linear           :      59.62       0.00      56.11       0.00       0.00       0.11       3.39
1614.03/1614.04	c   indicator        :       7.47       0.01       7.05       0.09       0.00       0.31       0.01
1614.03/1614.04	c   logicor          :      89.97       0.00      87.55       0.00       0.00       0.01       2.40
1614.03/1614.04	c   bounddisjunction :       0.18       0.00       0.18       0.00       0.00       0.00       0.00
1614.03/1614.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1614.03/1614.04	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1614.03/1614.04	c   vbounds          :     121628       1937         12      64593
1614.03/1614.04	c   rootredcost      :         20          0          0       1673
1614.03/1614.04	c   pseudoobj        :    2143143      13122       2343     713335
1614.03/1614.04	c Propagator Timings :  TotalTime  Propagate    Resprop
1614.03/1614.04	c   vbounds          :      17.86      17.86       0.00
1614.03/1614.04	c   rootredcost      :       0.36       0.36       0.00
1614.03/1614.04	c   pseudoobj        :      58.38      58.12       0.26
1614.03/1614.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1614.03/1614.04	c   propagation      :       4.68      77117      77022     456617       30.0       1829       22.9          -
1614.03/1614.04	c   infeasible LP    :      37.34     138960     138946     965778       40.4       2032       15.0          0
1614.03/1614.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1614.03/1614.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1614.03/1614.04	c   pseudo solution  :       0.00          2          2          2        2.0          0        0.0          -
1614.03/1614.04	c   applied globally :          -          -          -     555030       32.4          -          -          -
1614.03/1614.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1614.03/1614.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1614.03/1614.04	c   cut pool         :       0.00          5          -          -          9          -    (maximal pool size: 171)
1614.03/1614.04	c   redcost          :      14.61     220499          0      71795          0          0
1614.03/1614.04	c   impliedbounds    :       0.00          6          0          0          0          0
1614.03/1614.04	c   intobj           :       0.00          0          0          0          0          0
1614.03/1614.04	c   gomory           :       0.50          6          0          0        750          0
1614.03/1614.04	c   cgmip            :       0.00          0          0          0          0          0
1614.03/1614.04	c   closecuts        :       0.00          0          0          0          0          0
1614.03/1614.04	c   strongcg         :       0.40          6          0          0        886          0
1614.03/1614.04	c   cmir             :       0.07          6          0          0          0          0
1614.03/1614.04	c   flowcover        :       0.09          6          0          0          0          0
1614.03/1614.04	c   clique           :       0.00          6          0          0          0          0
1614.03/1614.04	c   zerohalf         :       0.00          0          0          0          0          0
1614.03/1614.04	c   mcf              :       0.00          1          0          0          0          0
1614.03/1614.04	c   oddcycle         :       0.00          0          0          0          0          0
1614.03/1614.04	c   rapidlearning    :       0.18          1          0          0          0         40
1614.03/1614.04	c Pricers            :       Time      Calls       Vars
1614.03/1614.04	c   problem variables:       0.00          0          0
1614.03/1614.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1614.03/1614.04	c   relpscost        :      61.87     218847        387       2891          0          0     433194
1614.03/1614.04	c   pscost           :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   inference        :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   mostinf          :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   leastinf         :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1614.03/1614.04	c   random           :       0.00          0          0          0          0          0          0
1614.03/1614.04	c Primal Heuristics  :       Time      Calls      Found
1614.03/1614.04	c   LP solutions     :       0.01          -         19
1614.03/1614.04	c   pseudo solutions :       0.00          -          0
1614.03/1614.04	c   feaspump         :       0.01          0          0
1614.03/1614.04	c   oneopt           :       0.31         17          0
1614.03/1614.04	c   rootsoldiving    :       0.54         22          0
1614.03/1614.04	c   coefdiving       :       0.94         44          0
1614.03/1614.04	c   pscostdiving     :       0.87         44          0
1614.03/1614.04	c   fracdiving       :       1.39         44          1
1614.03/1614.04	c   veclendiving     :       1.32         44          0
1614.03/1614.04	c   linesearchdiving :       0.47         44          0
1614.03/1614.04	c   guideddiving     :       1.28         44          0
1614.03/1614.04	c   objpscostdiving  :       0.32         23          0
1614.03/1614.04	c   crossover        :       0.94         22          0
1614.03/1614.04	c   trivial          :       0.00          2          0
1614.03/1614.04	c   shiftandpropagate:       0.41          1          1
1614.03/1614.04	c   simplerounding   :       0.39     219169          0
1614.03/1614.04	c   zirounding       :       0.34       1000          0
1614.03/1614.04	c   rounding         :       0.85       6591          0
1614.03/1614.04	c   shifting         :       0.87       2076          0
1614.03/1614.04	c   intshifting      :       0.01          0          0
1614.03/1614.04	c   twoopt           :       0.00          0          0
1614.03/1614.04	c   fixandinfer      :       0.00          0          0
1614.03/1614.04	c   clique           :       0.00          0          0
1614.03/1614.04	c   intdiving        :       0.00          0          0
1614.03/1614.04	c   actconsdiving    :       0.00          0          0
1614.03/1614.04	c   octane           :       0.00          0          0
1614.03/1614.04	c   rens             :       0.04          1          0
1614.03/1614.04	c   rins             :       0.00          0          0
1614.03/1614.04	c   localbranching   :       0.00          0          0
1614.03/1614.04	c   mutation         :       0.00          0          0
1614.03/1614.04	c   dins             :       0.00          0          0
1614.03/1614.04	c   vbounds          :       0.00          0          0
1614.03/1614.04	c   undercover       :       0.00          0          0
1614.03/1614.04	c   subnlp           :       0.06          0          0
1614.03/1614.04	c   trysol           :       0.26        321        135
1614.03/1614.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1614.03/1614.04	c   primal LP        :       0.00          0          0       0.00          -
1614.03/1614.04	c   dual LP          :    1006.79     358234    6783090      18.93    6737.36
1614.03/1614.04	c   lex dual LP      :       0.00          0          0       0.00          -
1614.03/1614.04	c   barrier LP       :       0.00          0          0       0.00          -
1614.03/1614.04	c   diving/probing LP:       5.15       3322      26839       8.08    5212.07
1614.03/1614.04	c   strong branching :      58.45      10424     376524      36.12    6441.54
1614.03/1614.04	c     (at root node) :          -         10       2421     242.10          -
1614.03/1614.04	c   conflict analysis:       0.00          0          0       0.00          -
1614.03/1614.04	c B&B Tree           :
1614.03/1614.04	c   number of runs   :          1
1614.03/1614.04	c   nodes            :     422728
1614.03/1614.04	c   nodes (total)    :     422728
1614.03/1614.04	c   nodes left       :          0
1614.03/1614.04	c   max depth        :         77
1614.03/1614.04	c   max depth (total):         77
1614.03/1614.04	c   backtracks       :      44874 (10.6%)
1614.03/1614.04	c   delayed cutoffs  :      10160
1614.03/1614.04	c   repropagations   :     911059 (1556793 domain reductions, 9809 cutoffs)
1614.03/1614.04	c   avg switch length:       5.82
1614.03/1614.04	c   switching time   :     107.46
1614.03/1614.04	c Solution           :
1614.03/1614.04	c   Solutions found  :        156 (21 improvements)
1614.03/1614.04	c   First Solution   : +5.31000000000000e+02   (in run 1, after 1 nodes, 0.56 seconds, depth 1911, found by <shiftandpropagate>)
1614.03/1614.04	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 334717 nodes, 1285.02 seconds, depth 40, found by <relaxation>)
1614.03/1614.04	c   Dual Bound       : +6.00000000000000e+00
1614.03/1614.04	c   Gap              :       0.00 %
1614.03/1614.04	c   Root Dual Bound  : +0.00000000000000e+00
1614.03/1614.04	c   Root Iterations  :        394
1614.03/1614.08	c Time complete: 1614.11.

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447270-1307898941/watcher-3447270-1307898941 -o /var/tmp/evaluation-result-3447270-1307898941/solver-3447270-1307898941 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447270-1307898941.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.07 2/177 25462
/proc/meminfo: memFree=1191320/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=10328 CPUtime=0 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 1568 0 0 0 0 0 0 0 22 0 1 0 882310240 10575872 1521 33554432000 4194304 9128323 140735306492688 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25462/statm: 2582 1521 399 1205 0 1373 0

[startup+0.0664719 s]
/proc/loadavg: 0.92 0.98 1.07 2/177 25462
/proc/meminfo: memFree=1191320/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=31736 CPUtime=0.06 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 6889 0 0 0 5 1 0 0 22 0 1 0 882310240 32497664 6583 33554432000 4194304 9128323 140735306492688 18446744073709551615 5266288 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 7934 6583 514 1205 0 6725 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31736

[startup+0.100463 s]
/proc/loadavg: 0.92 0.98 1.07 2/177 25462
/proc/meminfo: memFree=1191320/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=31736 CPUtime=0.09 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 6914 0 0 0 8 1 0 0 22 0 1 0 882310240 32497664 6608 33554432000 4194304 9128323 140735306492688 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 7934 6611 530 1205 0 6725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31736

[startup+0.300417 s]
/proc/loadavg: 0.92 0.98 1.07 2/177 25462
/proc/meminfo: memFree=1191320/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=38172 CPUtime=0.29 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 8713 0 0 0 28 1 0 0 23 0 1 0 882310240 39088128 8395 33554432000 4194304 9128323 140735306492688 18446744073709551615 4823548 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 9543 8395 617 1205 0 8334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38172

[startup+0.700361 s]
/proc/loadavg: 0.92 0.98 1.07 2/177 25462
/proc/meminfo: memFree=1191320/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=45692 CPUtime=0.69 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 10865 0 0 0 68 1 0 0 25 0 1 0 882310240 46788608 10372 33554432000 4194304 9128323 140735306492688 18446744073709551615 6696290 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 11423 10372 679 1205 0 10214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45692

[startup+1.50022 s]
/proc/loadavg: 0.92 0.98 1.07 3/178 25463
/proc/meminfo: memFree=1070436/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=74408 CPUtime=1.49 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 18256 0 0 0 146 3 0 0 25 0 1 0 882310240 76193792 17406 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 18602 17406 728 1205 0 17393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74408

[startup+3.10094 s]
/proc/loadavg: 0.92 0.98 1.07 3/178 25463
/proc/meminfo: memFree=1070436/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=72448 CPUtime=3.09 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 18858 0 0 0 302 7 0 0 25 0 1 0 882310240 74186752 17162 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 18112 17162 739 1205 0 16903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72448

[startup+6.30037 s]
/proc/loadavg: 1.01 1.00 1.07 3/178 25463
/proc/meminfo: memFree=1067540/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=72448 CPUtime=6.29 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 18867 0 0 0 612 17 0 0 25 0 1 0 882310240 74186752 17171 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 18112 17171 743 1205 0 16903 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72448

[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.08 3/178 25463
/proc/meminfo: memFree=1068092/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=72448 CPUtime=12.69 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 18868 0 0 0 1236 33 0 0 25 0 1 0 882310240 74186752 17172 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 18112 17172 744 1205 0 16903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72448

[startup+25.501 s]
/proc/loadavg: 1.29 1.06 1.09 3/178 25464
/proc/meminfo: memFree=1068480/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=72448 CPUtime=25.49 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 33349 0 0 0 2492 57 0 0 25 0 1 0 882310240 74186752 17200 33554432000 4194304 9128323 140735306492688 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 18112 17200 754 1205 0 16903 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72448

[startup+51.1005 s]
/proc/loadavg: 1.53 1.14 1.12 3/178 25464
/proc/meminfo: memFree=1055052/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=78476 CPUtime=51.09 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 43472 0 0 0 5007 102 0 0 25 0 1 0 882310240 80359424 18654 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 19619 18654 754 1205 0 18410 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 78476

[startup+102.307 s]
/proc/loadavg: 1.79 1.27 1.16 3/178 25466
/proc/meminfo: memFree=1032940/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=88096 CPUtime=102.3 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 72265 0 0 0 10035 195 0 0 25 0 1 0 882310240 90210304 21082 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 22024 21082 754 1205 0 20815 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 88096

[startup+162.301 s]
/proc/loadavg: 1.96 1.41 1.21 3/178 25467
/proc/meminfo: memFree=1025120/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=90028 CPUtime=162.29 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 93798 0 0 0 15902 327 0 0 25 0 1 0 882310240 92188672 21593 33554432000 4194304 9128323 140735306492688 18446744073709551615 6712942 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 22507 21593 754 1205 0 21298 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 90028

[startup+222.3 s]
/proc/loadavg: 1.98 1.52 1.26 3/178 25469
/proc/meminfo: memFree=1016028/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=92824 CPUtime=222.3 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 96488 0 0 0 21773 457 0 0 25 0 1 0 882310240 95051776 22312 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 23206 22312 754 1205 0 21997 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 92824

[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.30 3/178 25470
/proc/meminfo: memFree=1012152/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=96044 CPUtime=282.3 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 97273 0 0 0 27646 584 0 0 25 0 1 0 882310240 98349056 23097 33554432000 4194304 9128323 140735306492688 18446744073709551615 7342752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 24011 23097 754 1205 0 22802 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96044

[startup+342.3 s]
/proc/loadavg: 2.03 1.69 1.35 3/178 25472
/proc/meminfo: memFree=1007520/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=98976 CPUtime=342.29 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 103100 0 0 0 33513 716 0 0 25 0 1 0 882310240 101351424 23836 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 24744 23836 754 1205 0 23535 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 98976

[startup+402.301 s]
/proc/loadavg: 2.01 1.74 1.39 3/178 25474
/proc/meminfo: memFree=1004512/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=100880 CPUtime=402.3 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 103585 0 0 0 39385 845 0 0 25 0 1 0 882310240 103301120 24321 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 25220 24321 754 1205 0 24011 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 100880

[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.42 3/178 25475
/proc/meminfo: memFree=1000484/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=103000 CPUtime=462.3 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 104086 0 0 0 45257 973 0 0 25 0 1 0 882310240 105472000 24822 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25462/statm: 25750 24822 754 1205 0 24541 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 103000

[startup+522.301 s]
/proc/loadavg: 2.00 1.82 1.46 3/178 25477
/proc/meminfo: memFree=993504/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=107048 CPUtime=522.31 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 110186 0 0 0 51131 1100 0 0 25 0 1 0 882310240 109617152 25841 33554432000 4194304 9128323 140735306492688 18446744073709551615 6712667 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 26762 25841 754 1205 0 25553 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 107048

[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.49 3/178 25481
/proc/meminfo: memFree=989948/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=107732 CPUtime=582.31 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 110391 0 0 0 57007 1224 0 0 25 0 1 0 882310240 110317568 26046 33554432000 4194304 9128323 140735306492688 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 26933 26046 754 1205 0 25724 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 107732

[startup+642.301 s]

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

/proc/meminfo: memFree=975752/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=110992 CPUtime=942.31 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 115144 0 0 0 92236 1995 0 0 25 0 1 0 882310240 113655808 26862 33554432000 4194304 9128323 140735306492688 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 27748 26862 754 1205 0 26539 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 110992

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.66 3/178 25493
/proc/meminfo: memFree=973728/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=112340 CPUtime=1002.31 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 115479 0 0 0 98107 2124 0 0 25 0 1 0 882310240 115036160 27195 33554432000 4194304 9128323 140735306492688 18446744073709551615 4241104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 28085 27195 754 1205 0 26876 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 112340

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/178 25494
/proc/meminfo: memFree=971328/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=114600 CPUtime=1062.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 115989 0 0 0 103984 2248 0 0 25 0 1 0 882310240 117350400 27705 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 28650 27705 754 1205 0 27441 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 114600

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/178 25496
/proc/meminfo: memFree=968184/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116176 CPUtime=1122.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 116402 0 0 0 109863 2369 0 0 25 0 1 0 882310240 118964224 28118 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29044 28118 754 1205 0 27835 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 116176

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/178 25497
/proc/meminfo: memFree=966660/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116352 CPUtime=1182.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 116480 0 0 0 115741 2491 0 0 25 0 1 0 882310240 119144448 28196 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29088 28196 754 1205 0 27879 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 116352

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/178 25499
/proc/meminfo: memFree=964632/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116532 CPUtime=1242.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 116508 0 0 0 121624 2608 0 0 25 0 1 0 882310240 119328768 28224 33554432000 4194304 9128323 140735306492688 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29133 28224 754 1205 0 27924 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 116532

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 25501
/proc/meminfo: memFree=960988/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116736 CPUtime=1302.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 136628 0 0 0 127498 2734 0 0 25 0 1 0 882310240 119537664 28279 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29184 28279 754 1205 0 27975 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 116736

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/178 25502
/proc/meminfo: memFree=960704/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116896 CPUtime=1362.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 143732 0 0 0 133380 2852 0 0 25 0 1 0 882310240 119701504 28303 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29224 28303 754 1205 0 28015 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 116896

[startup+1422.31 s]
/proc/loadavg: 2.06 1.99 1.77 3/178 25504
/proc/meminfo: memFree=960404/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=116956 CPUtime=1422.33 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 148832 0 0 0 139252 2981 0 0 25 0 1 0 882310240 119762944 28326 33554432000 4194304 9128323 140735306492688 18446744073709551615 6505842 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29239 28326 754 1205 0 28030 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 116956

[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.78 3/178 25505
/proc/meminfo: memFree=959748/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=117108 CPUtime=1482.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 153874 0 0 0 145124 3108 0 0 25 0 1 0 882310240 119918592 28363 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29277 28363 754 1205 0 28068 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 117108

[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/178 25545
/proc/meminfo: memFree=858668/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=118028 CPUtime=1542.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154105 0 0 0 150993 3239 0 0 25 0 1 0 882310240 120860672 28594 33554432000 4194304 9128323 140735306492688 18446744073709551615 7346293 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29507 28594 754 1205 0 28298 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 118028

[startup+1602.3 s]
/proc/loadavg: 2.08 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849032/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1602.32 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154370 0 0 0 156869 3363 0 0 25 0 1 0 882310240 121987072 28859 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28859 754 1205 0 28573 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 119128

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

[startup+1606.3 s]
/proc/loadavg: 2.07 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849056/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1606.33 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 157261 3372 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 6732466 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1606.33
Current children cumulated vsize (KiB) 119128

[startup+1609.5 s]
/proc/loadavg: 2.07 2.00 1.81 3/178 25547
/proc/meminfo: memFree=848928/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1609.53 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 157574 3379 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 5207912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1609.53
Current children cumulated vsize (KiB) 119128

[startup+1611.1 s]
/proc/loadavg: 2.07 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849048/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1611.13 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 157732 3381 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 7343350 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1611.13
Current children cumulated vsize (KiB) 119128

[startup+1612.7 s]
/proc/loadavg: 2.07 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849048/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1612.72 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 157889 3383 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1612.72
Current children cumulated vsize (KiB) 119128

[startup+1613.5 s]
/proc/loadavg: 2.07 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849048/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1613.53 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 157968 3385 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1613.53
Current children cumulated vsize (KiB) 119128

[startup+1613.9 s]
/proc/loadavg: 2.06 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849048/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1613.93 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 158007 3386 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1613.93
Current children cumulated vsize (KiB) 119128

[startup+1614 s]
/proc/loadavg: 2.06 2.00 1.81 3/178 25547
/proc/meminfo: memFree=849048/32951124 swapFree=67055536/67111528
[pid=25462] ppid=25460 vsize=119128 CPUtime=1614.03 cores=1,3,5,7
/proc/25462/stat : 25462 (scip-2.0.1.4.li) R 25460 25462 24685 0 -1 4202496 154374 0 0 0 158017 3386 0 0 25 0 1 0 882310240 121987072 28863 33554432000 4194304 9128323 140735306492688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25462/statm: 29782 28863 754 1205 0 28573 0
Current children cumulated CPU time (s) 1614.03
Current children cumulated vsize (KiB) 119128

Child status: 0
Real time (s): 1614.09
CPU time (s): 1614.12
CPU user time (s): 1580.25
CPU system time (s): 33.8709
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 138128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1580.25
system time used= 33.8708
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2491

runsolver used 2.37664 second user time and 5.45817 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-12 19:15:41
IDJOB=3447270
IDBENCH=78995
IDSOLVER=1944
FILE ID=node144/3447270-1307898941
RUNJOBID= node144-1307898941-25435
PBS_JOBID= 13559564
Free space on /var/tmp= 2900 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447270-1307898941/watcher-3447270-1307898941 -o /var/tmp/evaluation-result-3447270-1307898941/solver-3447270-1307898941 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447270-1307898941.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d
RANDOM SEED=436844482

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.75
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.850
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:       1196956 kB
Buffers:         51880 kB
Cached:       30719240 kB
SwapCached:       9172 kB
Active:       15530592 kB
Inactive:     15265768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1196956 kB
SwapTotal:    67111528 kB
SwapFree:     67055536 kB
Dirty:           24488 kB
Writeback:           0 kB
AnonPages:       23224 kB
Mapped:          15020 kB
Slab:           893284 kB
PageTables:       4348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   213980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2888 MiB
End job on node144 at 2011-06-12 19:42:35