Trace number 3717610

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.1.1.4. with SoPlex 1.6.0.3 fixed? 1796.93 1797.23

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-3_wcsp.wbo
MD5SUM72c9ce0449d9d860fc68cf7a2819c6b0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1554
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1350
Total number of constraints17592
Number of soft constraints17142
Number of constraints which are clauses17142
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 5715
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 17142
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3717610-1338205321.wbo>
0.01/0.06	c original problem has 18492 variables (18492 bin, 0 int, 0 impl, 0 cont) and 17593 constraints
0.01/0.06	c problem read in 0.07
0.29/0.30	c presolving:
0.51/0.52	c (round 1) 0 del vars, 0 del conss, 0 add conss, 17142 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 450 clqs
0.51/0.52	c (round 2) 0 del vars, 0 del conss, 0 add conss, 17142 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 0 impls, 450 clqs
8.09/8.17	c    (8.2s) probing: 1000/18492 (5.4%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
8.09/8.18	c    (8.2s) probing: 1001/18492 (5.4%) - 0 fixings, 0 aggregations, 1000 implications, 0 bound changes
8.09/8.18	c    (8.2s) probing aborted: 1000/1000 successive useless probings
8.18/8.20	c presolving (3 rounds):
8.18/8.20	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 17142 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.18/8.20	c  17142 implications, 450 cliques
8.18/8.20	c presolved problem has 35634 variables (18492 bin, 0 int, 17142 impl, 0 cont) and 34735 constraints
8.18/8.20	c       1 constraints of type <knapsack>
8.18/8.20	c     450 constraints of type <setppc>
8.18/8.20	c   17142 constraints of type <linear>
8.18/8.20	c   17142 constraints of type <indicator>
8.18/8.20	c transformed objective value is always integral (scale: 1)
8.18/8.20	c Presolving Time: 8.10
8.18/8.20	c - non default parameters ----------------------------------------------------------------------
8.18/8.20	c # SCIP version 2.1.1.4
8.18/8.20	c 
8.18/8.20	c # maximal time in seconds to run
8.18/8.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.18/8.20	c limits/time = 1797
8.18/8.20	c 
8.18/8.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.18/8.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.18/8.21	c limits/memory = 13950
8.18/8.21	c 
8.18/8.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
8.18/8.21	c # [type: int, range: [1,2], default: 1]
8.18/8.21	c timing/clocktype = 2
8.18/8.21	c 
8.18/8.21	c # belongs reading time to solving time?
8.18/8.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.18/8.21	c timing/reading = TRUE
8.18/8.21	c 
8.18/8.21	c # force restart if we have a max FS instance and gap is 1?
8.18/8.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.18/8.21	c constraints/indicator/forcerestart = TRUE
8.18/8.21	c 
8.18/8.21	c # priority of branching rule <inference>
8.18/8.21	c # [type: int, range: [-536870912,536870911], default: 1000]
8.18/8.21	c branching/inference/priority = 1000000
8.18/8.21	c 
8.18/8.21	c # frequency offset for calling primal heuristic <coefdiving>
8.18/8.21	c # [type: int, range: [0,2147483647], default: 1]
8.18/8.21	c heuristics/coefdiving/freqofs = 0
8.18/8.21	c 
8.18/8.21	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
8.18/8.21	c # [type: int, range: [-1,2147483647], default: 0]
8.18/8.21	c heuristics/shiftandpropagate/freq = -1
8.18/8.21	c 
8.18/8.21	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
8.18/8.21	c # [type: int, range: [-1,2147483647], default: 0]
8.18/8.21	c heuristics/undercover/freq = -1
8.18/8.21	c 
8.18/8.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.18/8.21	c # [type: int, range: [-1,2147483647], default: -1]
8.18/8.21	c separating/rapidlearning/freq = 0
8.18/8.21	c 
8.18/8.21	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
8.18/8.21	c # [type: int, range: [-1,2147483647], default: -1]
8.18/8.21	c heuristics/indrounding/freq = 1
8.18/8.21	c 
8.18/8.21	c -----------------------------------------------------------------------------------------------
8.18/8.21	c start solving
8.18/8.27	c 
9.28/9.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.28/9.34	c   9.3s|     1 |     0 |  4974 |     - | 122M|   0 | 900 |  35k|  34k|  35k|  34k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.79/14.88	c  14.9s|     1 |     0 | 13742 |     - | 125M|   0 | 900 |  35k|  34k|  35k|  34k|   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.79/16.87	c  16.9s|     1 |     0 | 14360 |     - | 125M|   0 | 900 |  35k|  34k|  35k|  34k|  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.69/18.79	c  18.8s|     1 |     0 | 14672 |     - | 125M|   0 | 900 |  35k|  34k|  35k|  34k|  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.18/21.24	c  21.2s|     1 |     0 | 16417 |     - | 126M|   0 | 905 |  35k|  34k|  35k|  34k|  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.58/23.69	c  23.7s|     1 |     0 | 18290 |     - | 126M|   0 | 926 |  35k|  34k|  35k|  34k|  62 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.79/25.88	c  25.9s|     1 |     0 | 19355 |     - | 126M|   0 | 911 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
70.08/70.17	c  70.2s|     1 |     2 | 64202 |     - | 128M|   0 | 911 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
134.47/134.58	c   135s|   100 |   101 |171688 |1538.7 | 131M|  78 | 907 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
140.97/141.07	c   141s|   200 |   201 |173655 | 775.4 | 133M|  83 | 908 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
148.86/148.95	c   149s|   300 |   301 |178327 | 531.7 | 134M| 139 | 905 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
195.56/195.62	c   196s|   400 |   401 |236053 | 543.1 | 136M| 155 | 928 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
212.66/212.75	c   213s|   500 |   501 |256783 | 475.8 | 138M| 156 | 969 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
228.75/228.85	c   229s|   600 |   601 |276125 | 428.7 | 140M| 156 |1006 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
265.84/265.96	c   266s|   700 |   701 |322893 | 434.2 | 141M| 156 | 896 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
287.63/287.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
287.63/287.71	c   288s|   800 |   801 |351756 | 416.0 | 143M| 157 | 932 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
315.23/315.31	c   315s|   900 |   901 |387502 | 409.5 | 145M| 157 | 977 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
337.13/337.25	c   337s|  1000 |  1001 |426037 | 407.1 | 147M| 158 | 978 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
368.32/368.48	c   368s|  1100 |  1101 |464637 | 405.2 | 149M| 158 | 894 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
398.32/398.48	c   398s|  1200 |  1201 |506391 | 406.2 | 150M| 158 | 907 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
413.32/413.42	c   413s|  1300 |  1301 |526351 | 390.3 | 152M| 159 | 998 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
429.21/429.30	c   429s|  1400 |  1401 |547792 | 377.7 | 154M| 159 | 957 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
452.21/452.34	c   452s|  1500 |  1501 |577245 | 372.2 | 156M| 159 | 918 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
483.61/483.76	c   484s|  1600 |  1601 |615261 | 372.7 | 157M| 159 | 983 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
512.50/512.69	c   513s|  1700 |  1701 |653196 | 373.1 | 159M| 161 | 917 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
528.39/528.53	c   529s|  1800 |  1801 |674181 | 364.0 | 161M| 161 | 938 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
543.49/543.63	c   544s|  1900 |  1901 |692685 | 354.6 | 163M| 162 | 951 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
561.59/561.78	c   562s|  2000 |  2001 |717099 | 349.0 | 164M| 162 | 955 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
583.79/583.97	c   584s|  2100 |  2101 |744666 | 345.6 | 166M| 162 | 940 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
622.08/622.25	c   622s|  2200 |  2201 |791998 | 351.4 | 168M| 162 | 888 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
644.87/645.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
644.87/645.02	c   645s|  2300 |  2301 |821578 | 348.9 | 170M| 162 | 973 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
659.07/659.21	c   659s|  2400 |  2401 |837884 | 341.2 | 171M| 162 |1016 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
668.47/668.61	c   669s|  2500 |  2501 |846766 | 331.1 | 173M| 162 | 889 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
679.07/679.23	c   679s|  2600 |  2601 |857107 | 322.3 | 175M| 162 | 905 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
691.47/691.65	c   692s|  2700 |  2701 |872588 | 316.1 | 177M| 162 | 913 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
701.87/702.08	c   702s|  2800 |  2801 |882573 | 308.4 | 178M| 162 | 912 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
719.07/719.22	c   719s|  2900 |  2901 |909970 | 307.2 | 180M| 162 | 910 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
739.26/739.41	c   739s|  3000 |  3001 |932990 | 304.6 | 182M| 162 | 938 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
785.27/785.50	c   786s|  3100 |  3101 |990177 | 313.3 | 184M| 162 | 918 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
801.06/801.26	c   801s|  3200 |  3201 |  1010k| 310.0 | 185M| 162 | 934 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
814.45/814.63	c   815s|  3300 |  3301 |  1027k| 305.5 | 187M| 162 | 917 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
827.34/827.53	c   828s|  3400 |  3401 |  1042k| 300.9 | 189M| 162 | 904 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
841.25/841.47	c   841s|  3500 |  3501 |  1058k| 296.9 | 191M| 162 | 935 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
853.34/853.55	c   854s|  3600 |  3601 |  1072k| 292.5 | 192M| 162 | 902 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
867.34/867.54	c   868s|  3700 |  3701 |  1089k| 289.2 | 194M| 162 |1039 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
888.64/888.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
888.64/888.88	c   889s|  3800 |  3801 |  1113k| 288.0 | 196M| 162 | 967 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
933.63/933.88	c   934s|  3900 |  3901 |  1173k| 296.1 | 198M| 162 | 936 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
957.43/957.67	c   958s|  4000 |  4001 |  1204k| 296.4 | 199M| 162 | 900 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
975.33/975.57	c   976s|  4100 |  4101 |  1227k| 294.7 | 201M| 162 | 995 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
992.03/992.21	c   992s|  4200 |  4201 |  1248k| 292.7 | 203M| 162 |1017 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1009.32/1009.51	c  1010s|  4300 |  4301 |  1271k| 291.2 | 205M| 162 | 939 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1026.62/1026.84	c  1027s|  4400 |  4401 |  1293k| 289.7 | 206M| 162 | 907 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1061.91/1062.14	c  1062s|  4500 |  4501 |  1333k| 292.0 | 208M| 162 | 893 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1099.82/1100.04	c  1100s|  4600 |  4601 |  1384k| 296.8 | 210M| 162 | 926 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1112.31/1112.51	c  1113s|  4700 |  4701 |  1398k| 293.5 | 212M| 162 | 913 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1125.11/1125.40	c  1125s|  4800 |  4801 |  1413k| 290.5 | 213M| 162 | 954 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1138.40/1138.63	c  1139s|  4900 |  4901 |  1430k| 288.0 | 215M| 162 | 929 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1152.99/1153.22	c  1153s|  5000 |  5001 |  1448k| 285.8 | 217M| 162 | 906 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1167.20/1167.44	c  1167s|  5100 |  5101 |  1465k| 283.7 | 219M| 162 | 967 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1181.69/1181.90	c  1182s|  5200 |  5201 |  1483k| 281.6 | 220M| 162 | 921 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1199.99/1200.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1199.99/1200.27	c  1200s|  5300 |  5301 |  1511k| 281.6 | 222M| 162 | 917 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1247.38/1247.67	c  1248s|  5400 |  5401 |  1567k| 286.8 | 224M| 162 | 927 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1268.58/1268.80	c  1269s|  5500 |  5501 |  1595k| 286.5 | 226M| 162 | 921 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1281.68/1281.93	c  1282s|  5600 |  5601 |  1610k| 284.1 | 227M| 162 | 901 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1294.87/1295.18	c  1295s|  5700 |  5701 |  1625k| 281.8 | 229M| 162 | 938 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1307.58/1307.85	c  1308s|  5800 |  5801 |  1639k| 279.5 | 231M| 162 | 899 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1319.97/1320.26	c  1320s|  5900 |  5901 |  1654k| 277.2 | 233M| 162 | 916 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1333.17/1333.46	c  1333s|  6000 |  6001 |  1670k| 275.2 | 235M| 162 | 902 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1346.17/1346.43	c  1346s|  6100 |  6101 |  1685k| 273.2 | 236M| 162 | 929 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1361.37/1361.64	c  1362s|  6200 |  6201 |  1705k| 272.0 | 238M| 162 | 918 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1373.86/1374.15	c  1374s|  6300 |  6301 |  1719k| 269.8 | 240M| 162 | 932 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1421.55/1421.82	c  1422s|  6400 |  6401 |  1776k| 274.6 | 242M| 162 | 917 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1446.25/1446.51	c  1447s|  6500 |  6501 |  1813k| 276.1 | 243M| 162 | 903 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1459.25/1459.56	c  1460s|  6600 |  6601 |  1828k| 274.2 | 245M| 162 | 953 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1473.85/1474.14	c  1474s|  6700 |  6701 |  1846k| 272.7 | 247M| 162 | 939 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1487.24/1487.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1487.24/1487.59	c  1488s|  6800 |  6801 |  1863k| 271.3 | 249M| 162 | 903 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1499.05/1499.36	c  1499s|  6900 |  6901 |  1876k| 269.3 | 250M| 162 | 897 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1513.74/1514.02	c  1514s|  7000 |  7001 |  1895k| 268.0 | 252M| 162 | 910 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1525.24/1525.58	c  1526s|  7100 |  7101 |  1907k| 266.0 | 254M| 162 | 914 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1538.13/1538.44	c  1538s|  7200 |  7201 |  1922k| 264.3 | 256M| 162 | 913 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1550.93/1551.29	c  1551s|  7300 |  7301 |  1937k| 262.8 | 257M| 162 | 912 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1589.03/1589.38	c  1589s|  7400 |  7401 |  1984k| 265.5 | 259M| 162 | 906 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1617.72/1618.02	c  1618s|  7500 |  7501 |  2021k| 266.9 | 261M| 162 | 917 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1629.82/1630.17	c  1630s|  7600 |  7601 |  2036k| 265.4 | 263M| 162 | 906 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1641.42/1641.72	c  1642s|  7700 |  7701 |  2049k| 263.7 | 264M| 162 | 897 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1653.02/1653.38	c  1653s|  7800 |  7801 |  2062k| 262.0 | 266M| 162 | 889 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1665.02/1665.32	c  1665s|  7900 |  7901 |  2076k| 260.4 | 268M| 162 | 901 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1676.81/1677.13	c  1677s|  8000 |  8001 |  2089k| 258.9 | 270M| 162 | 890 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1689.01/1689.35	c  1689s|  8100 |  8101 |  2103k| 257.4 | 271M| 162 | 904 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1701.42/1701.71	c  1702s|  8200 |  8201 |  2118k| 256.0 | 273M| 162 | 893 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1716.31/1716.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1716.31/1716.60	c  1717s|  8300 |  8301 |  2138k| 255.3 | 275M| 162 | 904 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1729.11/1729.44	c  1729s|  8400 |  8401 |  2153k| 254.1 | 277M| 162 | 939 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1767.40/1767.73	c  1768s|  8500 |  8501 |  2198k| 256.4 | 278M| 162 | 910 |  35k|  34k|  35k|  34k|  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1796.70/1797.01	c 
1796.70/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.01	c Solving Time (sec) : 1797.01
1796.70/1797.01	c Solving Nodes      : 8585
1796.70/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01	c Dual Bound         : +0.00000000000000e+00
1796.70/1797.01	c Gap                : infinite
1796.70/1797.01	s UNKNOWN
1796.70/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.01	c Total Time         :    1797.01
1796.70/1797.01	c   solving          :    1797.01
1796.70/1797.01	c   presolving       :       8.10 (included in solving)
1796.70/1797.01	c   reading          :       0.07 (included in solving)
1796.70/1797.01	c   copying          :       0.14 (1 #copies) (minimal 0.14, maximal 0.14, average 0.14)
1796.70/1797.01	c Original Problem   :
1796.70/1797.01	c   Problem name     : HOME/instance-3717610-1338205321.wbo
1796.70/1797.01	c   Variables        : 18492 (18492 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01	c   Constraints      : 17593 initial, 17593 maximal
1796.70/1797.01	c   Objective sense  : minimize
1796.70/1797.01	c Presolved Problem  :
1796.70/1797.01	c   Problem name     : t_HOME/instance-3717610-1338205321.wbo
1796.70/1797.01	c   Variables        : 35634 (18492 binary, 0 integer, 17142 implicit integer, 0 continuous)
1796.70/1797.01	c   Constraints      : 34735 initial, 34735 maximal
1796.70/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.70/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   trivial          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   pseudoobj        :       0.00       0.01          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   probing          :       7.67       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   knapsack         :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   setppc           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   linear           :       0.14       0.00          0          0          0      17142          0          0          0          0          0
1796.70/1797.01	c   indicator        :       0.00       0.02          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.70/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.01	c   integral         :          0          0          0          0       8585          0       8590          0          0          0          0          0      17170
1796.70/1797.01	c   knapsack         :          1          1          0      26176          0          0       8589          0          0          0          0          0          0
1796.70/1797.01	c   setppc           :        450        450          6      26176          0          0          4          0          0      12511          0          0          0
1796.70/1797.01	c   linear           :      17142      17142          6      26176          0          0          0          0          0       2342          0          0          0
1796.70/1797.01	c   indicator        :      17142      17142          0      26176          0          0          0          0          0       2342          0          0          0
1796.70/1797.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.70/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.70/1797.01	c   integral         :      15.15       0.00       0.00       0.00       1.21       0.00      13.95       0.00
1796.70/1797.01	c   knapsack         :      12.46       0.00       0.00       1.65       0.00       0.00      10.80       0.00
1796.70/1797.01	c   setppc           :       0.82       0.00       0.00       0.82       0.00       0.00       0.00       0.00
1796.70/1797.01	c   linear           :      11.40       0.00       0.01      11.38       0.00       0.00       0.00       0.00
1796.70/1797.01	c   indicator        :      32.55       0.02       0.00      32.53       0.00       0.00       0.00       0.00
1796.70/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.70/1797.01	c   rootredcost      :          0          0          0          0
1796.70/1797.01	c   pseudoobj        :      32761          0          0          0
1796.70/1797.01	c   vbounds          :          1          0          0          0
1796.70/1797.01	c   redcost          :       8591          0          0          0
1796.70/1797.01	c   probing          :          0          0          0          0
1796.70/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.70/1797.01	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1796.70/1797.01	c   pseudoobj        :       0.15       0.01       0.00       0.14       0.00
1796.70/1797.01	c   vbounds          :       0.05       0.03       0.00       0.02       0.00
1796.70/1797.01	c   redcost          :      19.30       0.00       0.00      19.30       0.00
1796.70/1797.01	c   probing          :       7.67       0.00       7.67       0.00       0.00
1796.70/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.70/1797.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.70/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.70/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.70/1797.01	c   cut pool         :       0.00                     5          -          -         10          -    (maximal pool size: 17988)
1796.70/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c   impliedbounds    :       0.01       0.00          6          0          0          0          0
1796.70/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c   gomory           :       0.12       0.00          6          0          0        300          0
1796.70/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c   strongcg         :       1.04       0.00          6          0          0       3000          0
1796.70/1797.01	c   cmir             :       7.30       0.00          6          0          0          0          0
1796.70/1797.01	c   flowcover        :       2.06       0.00          6          0          0          0          0
1796.70/1797.01	c   clique           :       0.07       0.00          6          0          0          0          0
1796.70/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c   mcf              :       0.03       0.00          1          0          0          0          0
1796.70/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.70/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.70/1797.01	c   problem variables:       0.00          -          0          0
1796.70/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.01	c   inference        :       1.19       0.00       8585          0          0          0          0      17170
1796.70/1797.01	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.70/1797.01	c   LP solutions     :       0.00          -          -          0
1796.70/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.70/1797.01	c   oneopt           :       0.02       0.00          0          0
1796.70/1797.01	c   crossover        :       0.01       0.00          0          0
1796.70/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.70/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.70/1797.01	c   indoneopt        :       0.09       0.01          1          0
1796.70/1797.01	c   linesearchdiving :      95.09       0.00         13          0
1796.70/1797.01	c   feaspump         :      22.41       0.00         13          0
1796.70/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.70/1797.01	c   trivial          :       0.05       0.00          2          0
1796.70/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.70/1797.01	c   simplerounding   :       0.01       0.00          0          0
1796.70/1797.01	c   zirounding       :       9.08       0.00          0          0
1796.70/1797.01	c   rounding         :       3.51       0.00       1262          0
1796.70/1797.01	c   shifting         :      11.25       0.00        367          0
1796.70/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.70/1797.01	c   indtwoopt        :       0.00       0.01          0          0
1796.70/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.70/1797.01	c   clique           :       0.00       0.00          0          0
1796.70/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.70/1797.01	c   coefdiving       :     128.42       0.00         11          0
1796.70/1797.01	c   indrounding      :     222.11       0.00       8584          0
1796.70/1797.01	c   pscostdiving     :     134.14       0.00         13          0
1796.70/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.70/1797.01	c   fracdiving       :      95.44       0.00         13          0
1796.70/1797.01	c   veclendiving     :      91.86       0.00         13          0
1796.70/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.70/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.70/1797.01	c   objpscostdiving  :      19.97       0.00          4          0
1796.70/1797.01	c   rootsoldiving    :      24.26       0.00          4          0
1796.70/1797.01	c   octane           :       0.00       0.00          0          0
1796.70/1797.01	c   rens             :       1.37       0.00          1          0
1796.70/1797.01	c   rins             :       0.00       0.00          0          0
1796.70/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.70/1797.01	c   mutation         :       0.00       0.00          0          0
1796.70/1797.01	c   dins             :       0.00       0.00          0          0
1796.70/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.70/1797.01	c   undercover       :       0.00       0.00          0          0
1796.70/1797.01	c   subnlp           :       0.01       0.00          0          0
1796.70/1797.01	c   trysol           :       0.01       0.00          0          0
1796.70/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.70/1797.01	c   primal LP        :       0.01          1          0       0.00       0.00       0.01          1
1796.70/1797.01	c   dual LP          :     776.68       8612    1404318     163.46    1808.11       0.28         21
1796.70/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.70/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.01	c   diving/probing LP:     536.29       5748     835294     145.32    1557.54
1796.70/1797.01	c   strong branching :       0.00          0          0       0.00          -
1796.70/1797.01	c     (at root node) :          -          0          0       0.00          -
1796.70/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.70/1797.01	c B&B Tree           :
1796.70/1797.01	c   number of runs   :          1
1796.70/1797.01	c   nodes            :       8585
1796.70/1797.01	c   nodes (total)    :       8585
1796.70/1797.01	c   nodes left       :       8586
1796.70/1797.01	c   max depth        :        162
1796.70/1797.01	c   max depth (total):        162
1796.70/1797.01	c   backtracks       :        495 (5.8%)
1796.70/1797.01	c   delayed cutoffs  :          0
1796.70/1797.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01	c   avg switch length:       2.99
1796.70/1797.01	c   switching time   :       7.01
1796.70/1797.01	c Solution           :
1796.70/1797.01	c   Solutions found  :          0 (0 improvements)
1796.70/1797.01	c   Primal Bound     :          -
1796.70/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.70/1797.01	c   Gap              :   infinite
1796.70/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.70/1797.01	c   Root Iterations  :      19355
1796.90/1797.22	c Time complete: 1796.92.

Verifier Data 

ERROR: no interpretation found !

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 /tmp/evaluation-result-3717610-1338205321/watcher-3717610-1338205321 -o /tmp/evaluation-result-3717610-1338205321/solver-3717610-1338205321 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717610-1338205321.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: 2.02 2.02 2.00 3/176 25412
/proc/meminfo: memFree=29966564/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=10536 CPUtime=0 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 1392 0 0 0 0 0 0 0 20 0 1 0 286660649 10788864 1347 33554432000 4194304 10173063 140734494429600 140734494294440 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 2634 1347 413 1460 0 1165 0

[startup+0.0236169 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 25412
/proc/meminfo: memFree=29966564/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=17240 CPUtime=0.01 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 3056 0 0 0 1 0 0 0 20 0 1 0 286660649 17653760 3012 33554432000 4194304 10173063 140734494429600 140734494294440 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 4310 3012 416 1460 0 2841 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17240

[startup+0.100283 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 25412
/proc/meminfo: memFree=29966564/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=55008 CPUtime=0.08 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 12494 0 0 0 7 1 0 0 20 0 1 0 286660649 56328192 12413 33554432000 4194304 10173063 140734494429600 140734494294440 8886864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 13752 12413 471 1460 0 12283 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 55008

[startup+0.300273 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 25412
/proc/meminfo: memFree=29966564/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=119744 CPUtime=0.29 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 27594 0 0 0 25 4 0 0 20 0 1 0 286660649 122617856 27513 33554432000 4194304 10173063 140734494429600 140734494423768 5758928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 29936 27513 534 1460 0 28467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119744

[startup+0.700277 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 25412
/proc/meminfo: memFree=29966564/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=125388 CPUtime=0.69 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 29564 0 0 0 63 6 0 0 20 0 1 0 286660649 128397312 29063 33554432000 4194304 10173063 140734494429600 140734494423768 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 31347 29063 615 1460 0 29878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125388

[startup+1.50027 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25413
/proc/meminfo: memFree=29851988/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=125388 CPUtime=1.49 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 29581 0 0 0 143 6 0 0 20 0 1 0 286660649 128397312 29080 33554432000 4194304 10173063 140734494429600 140734494425976 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 31347 29080 615 1460 0 29878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125388

[startup+3.10028 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25413
/proc/meminfo: memFree=29849748/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=125388 CPUtime=3.09 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 29585 0 0 0 303 6 0 0 20 0 1 0 286660649 128397312 29084 33554432000 4194304 10173063 140734494429600 140734494425976 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 31347 29084 615 1460 0 29878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125388

[startup+6.3003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25413
/proc/meminfo: memFree=29844152/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=126156 CPUtime=6.29 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 29787 0 0 0 622 7 0 0 20 0 1 0 286660649 129183744 29286 33554432000 4194304 10173063 140734494429600 140734494425976 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 31539 29286 615 1460 0 30070 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126156

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 25413
/proc/meminfo: memFree=29753848/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=220536 CPUtime=12.69 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 52031 0 0 0 1257 12 0 0 20 0 1 0 286660649 225828864 50990 33554432000 4194304 10173063 140734494429600 140734494420760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 55134 50990 783 1460 0 53665 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 220536

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25413
/proc/meminfo: memFree=29733356/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=225212 CPUtime=25.49 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 54454 0 0 0 2531 18 0 0 20 0 1 0 286660649 230617088 53247 33554432000 4194304 10173063 140734494429600 140734494424760 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 56303 53247 810 1460 0 54834 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 225212

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25414
/proc/meminfo: memFree=29710384/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=233964 CPUtime=51.08 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 55908 0 0 0 5086 22 0 0 20 0 1 0 286660649 239579136 54701 33554432000 4194304 10173063 140734494429600 140734494422696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 58491 54701 812 1460 0 57022 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 233964

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25414
/proc/meminfo: memFree=29668212/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=231252 CPUtime=102.28 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 91707 0 0 0 10187 41 0 0 20 0 1 0 286660649 236802048 54812 33554432000 4194304 10173063 140734494429600 140734494423144 8046662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 57813 54812 846 1460 0 56344 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 231252

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25414
/proc/meminfo: memFree=29607108/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=234976 CPUtime=162.27 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 92330 0 0 0 16176 51 0 0 20 0 1 0 286660649 240615424 55435 33554432000 4194304 10173063 140734494429600 140734494422936 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 58744 55435 846 1460 0 57275 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 234976

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25414
/proc/meminfo: memFree=29584152/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=238236 CPUtime=222.26 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 93339 0 0 0 22164 62 0 0 20 0 1 0 286660649 243953664 57216 33554432000 4194304 10173063 140734494429600 140734494422952 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 59559 57216 846 1460 0 58090 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 238236

[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 25414
/proc/meminfo: memFree=29571112/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=244076 CPUtime=282.23 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 98042 0 0 0 28146 77 0 0 20 0 1 0 286660649 249933824 59109 33554432000 4194304 10173063 140734494429600 140734494425880 7934953 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 61019 59109 846 1460 0 59550 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 244076

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 25414
/proc/meminfo: memFree=29560836/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=250400 CPUtime=342.23 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 99936 0 0 0 34133 90 0 0 20 0 1 0 286660649 256409600 60875 33554432000 4194304 10173063 140734494429600 140734494423240 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 62600 60875 846 1460 0 61131 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 250400

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 25453
/proc/meminfo: memFree=30066884/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=257124 CPUtime=402.21 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 101484 0 0 0 40119 102 0 0 20 0 1 0 286660649 263294976 62423 33554432000 4194304 10173063 140734494429600 140734494423240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 64281 62423 846 1460 0 62812 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 257124

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 25453
/proc/meminfo: memFree=30031452/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=262132 CPUtime=462.21 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 104651 0 0 0 46108 113 0 0 20 0 1 0 286660649 268423168 63722 33554432000 4194304 10173063 140734494429600 140734494423240 6814615 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 65533 63722 846 1460 0 64064 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 262132

[startup+522.3 s]
/proc/loadavg: 1.51 1.87 1.96 2/172 25518
/proc/meminfo: memFree=30088696/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=266088 CPUtime=522.2 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 105950 0 0 0 52099 121 0 0 20 0 1 0 286660649 272474112 65095 33554432000 4194304 10173063 140734494429600 140734494422904 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 66522 65095 846 1460 0 65053 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 266088

[startup+582.3 s]
/proc/loadavg: 1.17 1.70 1.89 2/171 25518
/proc/meminfo: memFree=30083496/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=273188 CPUtime=582.19 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 107288 0 0 0 58087 132 0 0 20 0 1 0 286660649 279744512 66433 33554432000 4194304 10173063 140734494429600 140734494426120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 68297 66433 846 1460 0 66828 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 273188

[startup+642.3 s]

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

/proc/meminfo: memFree=30034720/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=321592 CPUtime=1062.11 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 119253 0 0 0 105997 214 0 0 20 0 1 0 286660649 329310208 78774 33554432000 4194304 10173063 140734494429600 140734494423240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 80398 78774 846 1460 0 78929 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 321592

[startup+1122.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/172 25523
/proc/meminfo: memFree=30033100/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=322620 CPUtime=1122.11 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 119606 0 0 0 111985 226 0 0 20 0 1 0 286660649 330362880 79127 33554432000 4194304 10173063 140734494429600 140734494425880 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 80655 79127 846 1460 0 79186 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 322620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 25546
/proc/meminfo: memFree=30022980/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=331980 CPUtime=1182.09 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 122031 0 0 0 117972 237 0 0 20 0 1 0 286660649 339947520 81548 33554432000 4194304 10173063 140734494429600 140734494422856 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 82995 81548 846 1460 0 81526 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 331980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/171 25546
/proc/meminfo: memFree=30016044/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=338980 CPUtime=1242.08 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 123698 0 0 0 123961 247 0 0 20 0 1 0 286660649 347115520 83215 33554432000 4194304 10173063 140734494429600 140734494422904 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 84745 83215 846 1460 0 83276 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 338980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/171 25547
/proc/meminfo: memFree=30013936/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=340648 CPUtime=1302.07 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 124255 0 0 0 129948 259 0 0 20 0 1 0 286660649 348823552 83772 33554432000 4194304 10173063 140734494429600 140734494422872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 85162 83772 846 1460 0 83693 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 340648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 25547
/proc/meminfo: memFree=30006480/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=348576 CPUtime=1362.07 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 126170 0 0 0 135937 270 0 0 20 0 1 0 286660649 356941824 85687 33554432000 4194304 10173063 140734494429600 140734494426424 5122227 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 87144 85687 846 1460 0 85675 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 348576

[startup+1422.3 s]
/proc/loadavg: 1.05 1.04 1.34 2/171 25547
/proc/meminfo: memFree=29997180/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=357676 CPUtime=1422.06 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 128494 0 0 0 141926 280 0 0 20 0 1 0 286660649 366260224 88011 33554432000 4194304 10173063 140734494429600 140734494423320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 89419 88011 846 1460 0 87950 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 357676

[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.32 2/171 25547
/proc/meminfo: memFree=29994452/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=360724 CPUtime=1482.04 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 129258 0 0 0 147913 291 0 0 20 0 1 0 286660649 369381376 88775 33554432000 4194304 10173063 140734494429600 140734494422120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 90181 88775 846 1460 0 88712 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 360724

[startup+1542.31 s]
/proc/loadavg: 1.00 1.02 1.29 2/171 25547
/proc/meminfo: memFree=29991456/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=364528 CPUtime=1542.04 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 129928 0 0 0 153902 302 0 0 20 0 1 0 286660649 373276672 89445 33554432000 4194304 10173063 140734494429600 140734494423240 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 91132 89445 846 1460 0 89663 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 364528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/171 25548
/proc/meminfo: memFree=29982280/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=374512 CPUtime=1602.03 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 134161 0 0 0 159888 315 0 0 20 0 1 0 286660649 383500288 91862 33554432000 4194304 10173063 140734494429600 140734494422312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 93628 91862 846 1460 0 92159 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 374512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/170 25548
/proc/meminfo: memFree=29981172/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=376976 CPUtime=1662.02 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 134578 0 0 0 165877 325 0 0 20 0 1 0 286660649 386023424 92279 33554432000 4194304 10173063 140734494429600 140734494426424 7706073 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 94244 92279 846 1460 0 92775 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 376976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/172 25552
/proc/meminfo: memFree=29971608/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=385876 CPUtime=1722.01 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 138503 0 0 0 171865 336 0 0 20 0 1 0 286660649 395137024 94496 33554432000 4194304 10173063 140734494429600 140734494423240 5749890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 96469 94496 846 1460 0 95000 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 385876

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 25552
/proc/meminfo: memFree=29961420/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=392404 CPUtime=1782 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140533 0 0 0 177853 347 0 0 20 0 1 0 286660649 401821696 96941 33554432000 4194304 10173063 140734494429600 140734494424968 5760622 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98101 96941 846 1460 0 96632 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 392404

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

[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 25552
/proc/meminfo: memFree=29961792/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=392404 CPUtime=1785.3 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140533 0 0 0 178183 347 0 0 20 0 1 0 286660649 401821696 96941 33554432000 4194304 10173063 140734494429600 140734494423240 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98101 96941 846 1460 0 96632 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 392404

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 25552
/proc/meminfo: memFree=29961792/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=392404 CPUtime=1791.7 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140533 0 0 0 178822 348 0 0 20 0 1 0 286660649 401821696 96941 33554432000 4194304 10173063 140734494429600 140734494422696 7396628 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98101 96941 846 1460 0 96632 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 392404

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.21 2/171 25552
/proc/meminfo: memFree=29961792/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=393120 CPUtime=1794.91 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140534 0 0 0 179142 349 0 0 20 0 1 0 286660649 402554880 96942 33554432000 4194304 10173063 140734494429600 140734494422040 7587422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98280 96942 846 1460 0 96811 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 393120

[startup+1796 s]
/proc/loadavg: 1.00 1.00 1.21 2/171 25552
/proc/meminfo: memFree=29961792/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=393596 CPUtime=1795.7 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140538 0 0 0 179221 349 0 0 20 0 1 0 286660649 403042304 96946 33554432000 4194304 10173063 140734494429600 140734494422040 7896337 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98399 96946 846 1460 0 96930 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 393596

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.21 2/171 25552
/proc/meminfo: memFree=29961668/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=394072 CPUtime=1796.5 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140925 0 0 0 179301 349 0 0 20 0 1 0 286660649 403529728 97333 33554432000 4194304 10173063 140734494429600 140734494424424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 98518 97333 846 1460 0 97049 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 394072

[startup+1797.2 s]
/proc/loadavg: 1.00 1.00 1.21 2/171 25552
/proc/meminfo: memFree=29961668/32873844 swapFree=7108/7108
[pid=25412] ppid=25410 vsize=372384 CPUtime=1796.9 cores=1,3,5,7
/proc/25412/stat : 25412 (scip-2.1.1.4fix) R 25410 25412 23491 0 -1 4202496 140929 0 0 0 179341 349 0 0 20 0 1 0 286660649 381321216 91925 33554432000 4194304 10173063 140734494429600 140734494428856 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25412/statm: 93096 91925 850 1460 0 91627 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 372384

Child status: 0
Real time (s): 1797.23
CPU time (s): 1796.93
CPU user time (s): 1793.43
CPU system time (s): 3.50647
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 394072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.43
system time used= 3.50647
maximum resident set size= 389348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140931
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= 26
involuntary context switches= 1850

runsolver used 3.17752 second user time and 9.37657 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-28 13:42:01
IDJOB=3717610
IDBENCH=79661
IDSOLVER=2300
FILE ID=node102/3717610-1338205321
RUNJOBID= node102-1338194241-23508
PBS_JOBID= 14624595
Free space on /tmp= 71516 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-le450-5a-3_wcsp.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717610-1338205321/watcher-3717610-1338205321 -o /tmp/evaluation-result-3717610-1338205321/solver-3717610-1338205321 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717610-1338205321.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 72c9ce0449d9d860fc68cf7a2819c6b0
RANDOM SEED=1577869292

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29966720 kB
Buffers:          391308 kB
Cached:          1299420 kB
SwapCached:            0 kB
Active:          1348052 kB
Inactive:         720528 kB
Active(anon):     368960 kB
Inactive(anon):    11036 kB
Active(file):     979092 kB
Inactive(file):   709492 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14004 kB
Writeback:             8 kB
AnonPages:        384036 kB
Mapped:            17808 kB
Shmem:               200 kB
Slab:             698532 kB
SReclaimable:     140736 kB
SUnreclaim:       557796 kB
KernelStack:        1448 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     547468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71516 MiB
End job on node102 at 2012-05-28 14:11:59