Trace number 3692983

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1796.76 1797.05

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K77.opb
MD5SUM2e0c2eafadf06efe322a3c6e27882b3c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.871867
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4235
Total number of constraints4391
Number of constraints which are clauses4314
Number of constraints which are cardinality constraints (but not clauses)77
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 78
Number of bits of the biggest sum of numbers7
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-3692983-1338045556.opb>
0.00/0.02	c original problem has 4235 variables (4235 bin, 0 int, 0 impl, 0 cont) and 4391 constraints
0.00/0.02	c problem read in 0.02
0.00/0.05	c presolving:
0.00/0.06	c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 77 clqs
0.00/0.07	c (round 2) 165 del vars, 16 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 74 clqs
0.00/0.07	c (round 3) 230 del vars, 187 del conss, 0 add conss, 230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7266 impls, 73 clqs
0.00/0.07	c (round 4) 293 del vars, 251 del conss, 0 add conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8100 impls, 73 clqs
0.00/0.07	c (round 5) 345 del vars, 303 del conss, 0 add conss, 344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8970 impls, 73 clqs
0.00/0.08	c (round 6) 379 del vars, 337 del conss, 0 add conss, 378 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10100 impls, 73 clqs
0.00/0.08	c (round 7) 406 del vars, 364 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10684 impls, 73 clqs
0.07/0.08	c (round 8) 426 del vars, 384 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11132 impls, 73 clqs
0.07/0.08	c (round 9) 443 del vars, 401 del conss, 0 add conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11530 impls, 73 clqs
0.07/0.08	c (round 10) 451 del vars, 409 del conss, 0 add conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11592 impls, 73 clqs
0.07/0.09	c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11638 impls, 73 clqs
0.07/0.09	c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11668 impls, 73 clqs
0.09/0.13	c (round 13) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3831 upgd conss, 11674 impls, 73 clqs
0.09/0.14	c (round 14) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 11674 impls, 73 clqs
0.68/0.78	c (round 15) 481 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 351814 impls, 73 clqs
0.68/0.79	c (round 16) 481 del vars, 512 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 351814 impls, 73 clqs
1.39/1.42	c (round 17) 506 del vars, 512 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 853394 impls, 73 clqs
1.39/1.42	c (round 18) 506 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 853410 impls, 73 clqs
1.39/1.44	c (round 19) 506 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 853410 impls, 73 clqs
1.39/1.47	c (round 20) 531 del vars, 537 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 865370 impls, 73 clqs
1.39/1.48	c (round 21) 532 del vars, 563 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3906 upgd conss, 865466 impls, 73 clqs
1.39/1.49	c (round 22) 532 del vars, 563 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 865466 impls, 73 clqs
1.49/1.53	c (round 23) 558 del vars, 563 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 882687 impls, 73 clqs
1.49/1.53	c (round 24) 558 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3915 upgd conss, 883161 impls, 73 clqs
1.49/1.55	c (round 25) 558 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 883161 impls, 73 clqs
1.59/1.60	c (round 26) 583 del vars, 589 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.61	c (round 27) 583 del vars, 614 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.65	c (round 28) 608 del vars, 614 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.65	c (round 29) 608 del vars, 639 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 885825 impls, 73 clqs
1.59/1.68	c (round 30) 633 del vars, 639 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 889839 impls, 73 clqs
1.59/1.68	c (round 31) 634 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3937 upgd conss, 889945 impls, 73 clqs
1.69/1.70	c (round 32) 634 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 889945 impls, 73 clqs
1.69/1.72	c (round 33) 659 del vars, 665 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 889945 impls, 73 clqs
1.69/1.72	c (round 34) 667 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3945 upgd conss, 890121 impls, 73 clqs
1.69/1.74	c (round 35) 667 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 890121 impls, 73 clqs
1.99/2.05	c    (2.1s) probing: 1000/3779 (26.5%) - 211 fixings, 6 aggregations, 209893 implications, 1 bound changes
2.09/2.18	c (round 36) 692 del vars, 698 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 1039297 impls, 73 clqs
2.09/2.18	c (round 37) 692 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3952 upgd conss, 1039353 impls, 73 clqs
2.09/2.20	c (round 38) 692 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1039353 impls, 73 clqs
2.20/2.22	c (round 39) 717 del vars, 723 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1041853 impls, 73 clqs
2.20/2.23	c (round 40) 720 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3953 upgd conss, 1041889 impls, 73 clqs
2.20/2.24	c (round 41) 720 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1041889 impls, 73 clqs
3.39/3.42	c (round 42) 745 del vars, 751 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1465713 impls, 73 clqs
3.39/3.43	c (round 43) 746 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3958 upgd conss, 1465717 impls, 73 clqs
3.39/3.44	c (round 44) 746 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1465717 impls, 73 clqs
3.39/3.46	c    (3.5s) probing: 2000/3779 (52.9%) - 272 fixings, 6 aggregations, 440280 implications, 1 bound changes
4.40/4.48	c (round 45) 771 del vars, 777 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1831933 impls, 73 clqs
4.40/4.49	c (round 46) 771 del vars, 802 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 1831933 impls, 73 clqs
4.99/5.01	c (round 47) 796 del vars, 802 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 2015009 impls, 73 clqs
5.09/5.19	c (round 48) 796 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3960 upgd conss, 2015015 impls, 73 clqs
5.09/5.19	c (round 49) 796 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2015015 impls, 73 clqs
5.19/5.25	c    (5.3s) probing: 3000/3779 (79.4%) - 325 fixings, 6 aggregations, 750699 implications, 1 bound changes
6.49/6.56	c    (6.6s) probing cycle finished: starting next cycle
6.59/6.63	c    (6.6s) probing: 51/3434 (1.5%) - 325 fixings, 6 aggregations, 924237 implications, 1 bound changes
6.59/6.63	c    (6.6s) probing aborted: 50/50 successive totally useless probings
6.59/6.63	c (round 50) 801 del vars, 827 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2446835 impls, 73 clqs
6.59/6.63	c (round 51) 801 del vars, 832 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3963 upgd conss, 2446835 impls, 73 clqs
6.59/6.66	c    (6.7s) probing: 56/3434 (1.6%) - 325 fixings, 6 aggregations, 924237 implications, 1 bound changes
6.59/6.66	c    (6.7s) probing aborted: 50/50 successive totally useless probings
6.59/6.66	c presolving (52 rounds):
6.59/6.66	c  801 deleted vars, 832 deleted constraints, 0 added constraints, 456 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.59/6.66	c  2446835 implications, 73 cliques
6.59/6.66	c presolved problem has 3434 variables (3434 bin, 0 int, 0 impl, 0 cont) and 3559 constraints
6.59/6.66	c     726 constraints of type <setppc>
6.59/6.66	c    2833 constraints of type <logicor>
6.59/6.66	c transformed objective value is always integral (scale: 1)
6.59/6.66	c Presolving Time: 6.63
6.59/6.66	c - non default parameters ----------------------------------------------------------------------
6.59/6.66	c # SCIP version 2.1.1.4
6.59/6.66	c 
6.59/6.66	c # maximal time in seconds to run
6.59/6.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.59/6.66	c limits/time = 1797
6.59/6.66	c 
6.59/6.66	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.59/6.66	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.59/6.66	c limits/memory = 13950
6.59/6.66	c 
6.59/6.66	c # default clock type (1: CPU user seconds, 2: wall clock time)
6.59/6.66	c # [type: int, range: [1,2], default: 1]
6.59/6.66	c timing/clocktype = 2
6.59/6.66	c 
6.59/6.66	c # belongs reading time to solving time?
6.59/6.66	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.59/6.66	c timing/reading = TRUE
6.59/6.66	c 
6.59/6.66	c -----------------------------------------------------------------------------------------------
6.59/6.66	c start solving
6.59/6.66	c 
7.99/8.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.99/8.06	c   8.1s|     1 |     0 |  5414 |     - |  78M|   0 | 921 |3434 |3575 |3434 |3559 |   0 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
32.18/32.21	c  32.2s|     1 |     0 | 35277 |     - |  78M|   0 |1079 |3434 |3575 |3434 |3617 |  58 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
33.18/33.28	c  33.3s|     1 |     0 | 36939 |     - |  79M|   0 |1128 |3434 |3575 |3434 |3674 | 115 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
34.69/34.73	c  34.7s|     1 |     0 | 39877 |     - |  79M|   0 |1197 |3434 |3575 |3434 |3702 | 143 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
35.58/35.60	c  35.6s|     1 |     0 | 41252 |     - |  79M|   0 |1274 |3434 |3575 |3434 |3730 | 171 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
36.89/36.93	c  36.9s|     1 |     0 | 43700 |     - |  79M|   0 |1306 |3434 |3575 |3434 |3745 | 186 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
37.98/38.02	c  38.0s|     1 |     0 | 45485 |     - |  79M|   0 |1281 |3434 |3575 |3434 |3768 | 209 |  16 |   0 | 0.000000e+00 |      --      |    Inf 
53.18/53.26	c  53.3s|     1 |     2 | 45485 |     - |  79M|   0 |1281 |3434 |3575 |3434 |3768 | 209 |  16 |  18 | 0.000000e+00 |      --      |    Inf 
201.85/201.90	c   202s|   100 |    17 |216670 |1729.1 |  79M|  44 | 543 |3434 |3604 |3434 |3686 | 209 |  46 | 270 | 0.000000e+00 |      --      |    Inf 
261.94/262.04	c   262s|   200 |    17 |328170 |1420.5 |  79M|  47 |   - |3434 |3635 |3434 |3686 | 209 |  77 | 350 | 0.000000e+00 |      --      |    Inf 
316.54/316.68	c   317s|   300 |    23 |441446 |1324.3 |  79M|  47 | 528 |3434 |3665 |3434 |3686 | 209 | 110 | 414 | 0.000000e+00 |      --      |    Inf 
354.33/354.46	c   354s|   400 |    23 |517318 |1182.5 |  79M|  47 | 467 |3434 |3698 |3434 |3686 | 209 | 145 | 462 | 0.000000e+00 |      --      |    Inf 
393.33/393.45	c   393s|   500 |    23 |599354 |1110.0 |  79M|  47 | 468 |3434 |3734 |3434 |3686 | 209 | 182 | 508 | 0.000000e+00 |      --      |    Inf 
433.92/434.02	c   434s|   600 |    25 |676211 |1053.0 |  79M|  47 | 395 |3434 |3776 |3434 |3686 | 209 | 226 | 568 | 0.000000e+00 |      --      |    Inf 
481.81/481.91	c   482s|   700 |    25 |771236 |1038.3 |  79M|  47 | 296 |3434 |3805 |3434 |3686 | 209 | 255 | 630 | 0.000000e+00 |      --      |    Inf 
520.40/520.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
520.40/520.56	c   521s|   800 |    29 |848512 |1005.0 |  79M|  47 | 346 |3434 |3822 |3434 |3686 | 209 | 272 | 681 | 0.000000e+00 |      --      |    Inf 
567.40/567.57	c   568s|   900 |    27 |943236 | 998.6 |  79M|  47 | 478 |3434 |3839 |3434 |3686 | 209 | 292 | 741 | 0.000000e+00 |      --      |    Inf 
616.99/617.17	c   617s|  1000 |    25 |  1039k| 994.8 |  79M|  47 | 562 |3434 |3872 |3434 |3686 | 209 | 328 | 816 | 0.000000e+00 |      --      |    Inf 
665.48/665.61	c   666s|  1100 |    27 |  1136k| 992.7 |  79M|  47 |   - |3434 |3909 |3434 |3686 | 209 | 369 | 873 | 0.000000e+00 |      --      |    Inf 
705.57/705.74	c   706s|  1200 |    28 |  1216k| 976.9 |  79M|  47 | 295 |3434 |3933 |3434 |3686 | 209 | 397 | 929 | 0.000000e+00 |      --      |    Inf 
756.67/756.81	c   757s|  1300 |    28 |  1312k| 975.6 |  79M|  47 | 545 |3434 |3968 |3434 |3686 | 209 | 434 |1000 | 0.000000e+00 |      --      |    Inf 
796.86/797.01	c   797s|  1400 |    26 |  1398k| 967.4 |  79M|  47 |   - |3434 |3997 |3434 |3686 | 209 | 465 |1042 | 0.000000e+00 |      --      |    Inf 
841.65/841.85	c   842s|  1500 |    28 |  1488k| 962.3 |  79M|  47 |   - |3434 |4016 |3434 |3686 | 209 | 489 |1097 | 0.000000e+00 |      --      |    Inf 
886.14/886.37	c   886s|  1600 |    26 |  1577k| 957.8 |  79M|  54 |   - |3434 |4051 |3434 |3686 | 209 | 524 |1150 | 0.000000e+00 |      --      |    Inf 
935.43/935.63	c   936s|  1700 |    28 |  1675k| 959.2 |  79M|  54 | 452 |3434 |4084 |3434 |3686 | 209 | 561 |1202 | 0.000000e+00 |      --      |    Inf 
979.94/980.13	c   980s|  1800 |    28 |  1765k| 955.9 |  79M|  54 | 576 |3434 |4113 |3434 |3686 | 209 | 593 |1254 | 0.000000e+00 |      --      |    Inf 
1029.83/1030.03	c  1030s|  1900 |    28 |  1857k| 954.2 |  79M|  59 |   - |3434 |4136 |3434 |3686 | 209 | 616 |1325 | 0.000000e+00 |      --      |    Inf 
1072.61/1072.84	c  1073s|  2000 |    28 |  1944k| 950.2 |  79M|  59 | 501 |3434 |4164 |3434 |3686 | 209 | 645 |1376 | 0.000000e+00 |      --      |    Inf 
1116.41/1116.64	c  1117s|  2100 |    26 |  2032k| 946.6 |  79M|  59 | 620 |3434 |4188 |3434 |3686 | 209 | 671 |1426 | 0.000000e+00 |      --      |    Inf 
1162.51/1162.73	c  1163s|  2200 |    24 |  2126k| 946.2 |  79M|  59 |   - |3434 |4199 |3434 |3686 | 209 | 685 |1484 | 0.000000e+00 |      --      |    Inf 
1218.89/1219.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1218.89/1219.17	c  1219s|  2300 |    26 |  2247k| 958.0 |  79M|  59 | 350 |3434 |4201 |3434 |3686 | 209 | 689 |1554 | 0.000000e+00 |      --      |    Inf 
1257.78/1258.07	c  1258s|  2400 |    24 |  2332k| 953.1 |  79M|  59 |   - |3434 |4216 |3434 |3686 | 209 | 704 |1602 | 0.000000e+00 |      --      |    Inf 
1305.18/1305.40	c  1305s|  2500 |    24 |  2428k| 953.7 |  79M|  59 | 301 |3434 |4212 |3434 |3686 | 209 | 710 |1670 | 0.000000e+00 |      --      |    Inf 
1338.17/1338.42	c  1338s|  2600 |    22 |  2498k| 943.7 |  79M|  59 |   - |3434 |4214 |3434 |3686 | 209 | 713 |1714 | 0.000000e+00 |      --      |    Inf 
1382.77/1383.07	c  1383s|  2700 |    22 |  2587k| 941.7 |  79M|  59 |   - |3434 |4245 |3434 |3686 | 209 | 748 |1771 | 0.000000e+00 |      --      |    Inf 
1421.86/1422.13	c  1422s|  2800 |    26 |  2667k| 936.7 |  79M|  59 | 246 |3434 |4285 |3434 |3686 | 209 | 799 |1817 | 0.000000e+00 |      --      |    Inf 
1471.85/1472.17	c  1472s|  2900 |    26 |  2765k| 938.3 |  79M|  59 | 340 |3434 |4303 |3434 |3686 | 209 | 836 |1872 | 0.000000e+00 |      --      |    Inf 
1502.65/1502.93	c  1503s|  3000 |    26 |  2823k| 926.4 |  79M|  70 | 290 |3434 |4315 |3434 |3686 | 209 | 860 |1917 | 0.000000e+00 |      --      |    Inf 
1547.94/1548.22	c  1548s|  3100 |    24 |  2915k| 926.0 |  79M|  70 | 520 |3434 |4307 |3434 |3686 | 209 | 871 |1971 | 0.000000e+00 |      --      |    Inf 
1588.33/1588.63	c  1589s|  3200 |    24 |  3003k| 924.7 |  79M|  70 |   - |3434 |4307 |3434 |3686 | 209 | 889 |2015 | 0.000000e+00 |      --      |    Inf 
1622.02/1622.37	c  1622s|  3300 |    26 |  3068k| 916.2 |  79M|  70 | 483 |3434 |4317 |3434 |3686 | 209 | 923 |2058 | 0.000000e+00 |      --      |    Inf 
1668.43/1668.73	c  1669s|  3400 |    24 |  3162k| 916.9 |  79M|  70 | 433 |3434 |4325 |3434 |3686 | 209 | 957 |2109 | 0.000000e+00 |      --      |    Inf 
1710.82/1711.18	c  1711s|  3500 |    22 |  3245k| 914.4 |  79M|  70 |   - |3434 |4347 |3434 |3686 | 209 | 991 |2168 | 0.000000e+00 |      --      |    Inf 
1753.91/1754.21	c  1754s|  3600 |    24 |  3333k| 913.7 |  79M|  70 | 491 |3434 |4338 |3434 |3686 | 209 | 998 |2227 | 0.000000e+00 |      --      |    Inf 
1796.70/1797.00	c  1797s|  3700 |    24 |  3420k| 912.3 |  79M|  70 |   - |3434 |4336 |3434 |3686 | 209 |1019 |2287 | 0.000000e+00 |      --      |    Inf 
1796.70/1797.00	c 
1796.70/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.00	c Solving Time (sec) : 1797.00
1796.70/1797.00	c Solving Nodes      : 3700
1796.70/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00	c Dual Bound         : +0.00000000000000e+00
1796.70/1797.00	c Gap                : infinite
1796.70/1797.00	s UNKNOWN
1796.70/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.00	c Total Time         :    1797.00
1796.70/1797.00	c   solving          :    1797.00
1796.70/1797.00	c   presolving       :       6.63 (included in solving)
1796.70/1797.00	c   reading          :       0.02 (included in solving)
1796.70/1797.00	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00	c Original Problem   :
1796.70/1797.00	c   Problem name     : HOME/instance-3692983-1338045556.opb
1796.70/1797.00	c   Variables        : 4235 (4235 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00	c   Constraints      : 4391 initial, 4391 maximal
1796.70/1797.00	c   Objective sense  : minimize
1796.70/1797.00	c Presolved Problem  :
1796.70/1797.00	c   Problem name     : t_HOME/instance-3692983-1338045556.opb
1796.70/1797.00	c   Variables        : 3434 (3434 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00	c   Constraints      : 3559 initial, 4348 maximal
1796.70/1797.00	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.70/1797.00	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   trivial          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   gateextraction   :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   implics          :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.00	c   probing          :       6.12       0.00        325          6          0          1          0          0          0          0          0
1796.70/1797.00	c   setppc           :       0.08       0.00         13          0          0          0          0        182          0          0          0
1796.70/1797.00	c   linear           :       0.06       0.00        455          1          0        455          0        487          0          0          0
1796.70/1797.00	c   logicor          :       0.27       0.00          1          0          0          0          0        163          0          0          0
1796.70/1797.00	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.70/1797.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.00	c   integral         :          0          0          0          0       1947          0          4          0          3        209          0          0       3722
1796.70/1797.00	c   setppc           :        726        726          6      75759          0          1          3     381982        218     114951          0          0          0
1796.70/1797.00	c   logicor          :       2833+      3622          6      68442          0          1          0     663705        155     276185          0          0          0
1796.70/1797.00	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.70/1797.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.70/1797.00	c   integral         :     651.04       0.00       0.00       0.00     651.04       0.00       0.00       0.00
1796.70/1797.00	c   setppc           :       1.10       0.00       0.00       0.88       0.00       0.00       0.00       0.22
1796.70/1797.00	c   logicor          :       2.06       0.00       0.00       1.64       0.00       0.00       0.00       0.41
1796.70/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.70/1797.00	c   rootredcost      :          0          0          0          0
1796.70/1797.00	c   pseudoobj        :          0          0          0          0
1796.70/1797.00	c   vbounds          :          0          0          0          0
1796.70/1797.00	c   redcost          :       1953          0          0          0
1796.70/1797.00	c   probing          :          0          0          0          0
1796.70/1797.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.70/1797.00	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
1796.70/1797.00	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
1796.70/1797.00	c   vbounds          :       0.02       0.00       0.00       0.02       0.00
1796.70/1797.00	c   redcost          :       0.10       0.00       0.00       0.10       0.00
1796.70/1797.00	c   probing          :       6.12       0.00       6.12       0.00       0.00
1796.70/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.70/1797.00	c   propagation      :       0.06        373        123        588       62.3         16       34.8          -
1796.70/1797.00	c   infeasible LP    :       5.79       1742        651      12164      435.0          5       15.6          0
1796.70/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.00	c   applied globally :          -          -          -       1005       30.8          -          -          -
1796.70/1797.00	c   applied locally  :          -          -          -         14      568.6          -          -          -
1796.70/1797.00	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.70/1797.00	c   cut pool         :       0.00                     5          -          -         14          -    (maximal pool size: 253)
1796.70/1797.00	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   impliedbounds    :       0.08       0.00          6          0          0        252          0
1796.70/1797.00	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   gomory           :       0.50       0.00          6          0          0          0          0
1796.70/1797.00	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   strongcg         :       0.51       0.00          6          0          0          0          0
1796.70/1797.00	c   cmir             :       0.12       0.00          6          0          0          0          0
1796.70/1797.00	c   flowcover        :       0.11       0.00          6          0          0          0          0
1796.70/1797.00	c   clique           :       4.06       0.00          6          0          0         57          0
1796.70/1797.00	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.70/1797.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.70/1797.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.70/1797.00	c   problem variables:       0.00          -          0          0
1796.70/1797.00	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.00	c   relpscost        :     651.03       0.00       1947          3        209          0          0       3722
1796.70/1797.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.70/1797.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.70/1797.00	c   LP solutions     :       0.00          -          -          0
1796.70/1797.00	c   pseudo solutions :       0.00          -          -          0
1796.70/1797.00	c   oneopt           :       0.00       0.00          0          0
1796.70/1797.00	c   crossover        :       0.00       0.00          0          0
1796.70/1797.00	c   guideddiving     :       0.00       0.00          0          0
1796.70/1797.00	c   pscostdiving     :       8.96       0.00          1          0
1796.70/1797.00	c   veclendiving     :       4.49       0.00          1          0
1796.70/1797.00	c   linesearchdiving :       0.21       0.00          1          0
1796.70/1797.00	c   fracdiving       :      11.03       0.00          2          0
1796.70/1797.00	c   objpscostdiving  :       0.49       0.00          1          0
1796.70/1797.00	c   rootsoldiving    :       4.67       0.00          1          0
1796.70/1797.00	c   coefdiving       :      11.66       0.00          2          0
1796.70/1797.00	c   feaspump         :      19.74       0.00          1          0
1796.70/1797.00	c   smallcard        :       0.00       0.00          0          0
1796.70/1797.00	c   trivial          :       0.00       0.00          2          0
1796.70/1797.00	c   shiftandpropagate:       0.04       0.00          1          0
1796.70/1797.00	c   simplerounding   :       0.00       0.00          0          0
1796.70/1797.00	c   zirounding       :       0.17       0.00          0          0
1796.70/1797.00	c   rounding         :       0.18       0.00        566          0
1796.70/1797.00	c   shifting         :       0.20       0.00        152          0
1796.70/1797.00	c   intshifting      :       0.00       0.00          0          0
1796.70/1797.00	c   twoopt           :       0.00       0.00          0          0
1796.70/1797.00	c   indtwoopt        :       0.00       0.00          0          0
1796.70/1797.00	c   indoneopt        :       0.00       0.00          0          0
1796.70/1797.00	c   fixandinfer      :       0.00       0.00          0          0
1796.70/1797.00	c   clique           :       0.00       0.00          0          0
1796.70/1797.00	c   indrounding      :       0.00       0.00          0          0
1796.70/1797.00	c   indcoefdiving    :       0.00       0.00          0          0
1796.70/1797.00	c   nlpdiving        :       0.00       0.00          0          0
1796.70/1797.00	c   intdiving        :       0.00       0.00          0          0
1796.70/1797.00	c   actconsdiving    :       0.00       0.00          0          0
1796.70/1797.00	c   octane           :       0.00       0.00          0          0
1796.70/1797.00	c   rens             :       6.70       0.00          1          0
1796.70/1797.00	c   rins             :       0.00       0.00          0          0
1796.70/1797.00	c   localbranching   :       0.00       0.00          0          0
1796.70/1797.00	c   mutation         :       0.00       0.00          0          0
1796.70/1797.00	c   dins             :       0.00       0.00          0          0
1796.70/1797.00	c   vbounds          :       0.00       0.00          0          0
1796.70/1797.00	c   undercover       :       0.00       0.00          0          0
1796.70/1797.00	c   subnlp           :       0.00       0.00          0          0
1796.70/1797.00	c   trysol           :       0.00       0.00          0          0
1796.70/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.70/1797.00	c   primal LP        :       0.01          1          0       0.00          -       0.01          1
1796.70/1797.00	c   dual LP          :    1055.03       3683    3291345     894.39    3119.68       0.01          3
1796.70/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1796.70/1797.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.00	c   diving/probing LP:      60.27        979     128778     131.54    2136.85
1796.70/1797.00	c   strong branching :     650.74       2287    1779217     777.97    2734.16
1796.70/1797.00	c     (at root node) :          -         18      18000    1000.00          -
1796.70/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1796.70/1797.00	c B&B Tree           :
1796.70/1797.00	c   number of runs   :          1
1796.70/1797.00	c   nodes            :       3700
1796.70/1797.00	c   nodes (total)    :       3700
1796.70/1797.00	c   nodes left       :         24
1796.70/1797.00	c   max depth        :         70
1796.70/1797.00	c   max depth (total):         70
1796.70/1797.00	c   backtracks       :        293 (7.9%)
1796.70/1797.00	c   delayed cutoffs  :          1
1796.70/1797.00	c   repropagations   :       2583 (9596 domain reductions, 0 cutoffs)
1796.70/1797.00	c   avg switch length:       3.37
1796.70/1797.00	c   switching time   :       0.97
1796.70/1797.00	c Solution           :
1796.70/1797.00	c   Solutions found  :          0 (0 improvements)
1796.70/1797.00	c   Primal Bound     :          -
1796.70/1797.00	c   Dual Bound       : +0.00000000000000e+00
1796.70/1797.00	c   Gap              :   infinite
1796.70/1797.00	c   Root Dual Bound  : +0.00000000000000e+00
1796.70/1797.00	c   Root Iterations  :      45485
1796.70/1797.04	c Time complete: 1796.74.

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-3692983-1338045556/watcher-3692983-1338045556 -o /tmp/evaluation-result-3692983-1338045556/solver-3692983-1338045556 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692983-1338045556.opb -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.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=11156 CPUtime=0 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 270680172 11423744 1494 33554432000 4194304 10169799 140735675537760 140735675403752 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 2789 1494 409 1459 0 1321 0

[startup+0.0843249 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=35328 CPUtime=0.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 7588 0 0 0 6 1 0 0 20 0 1 0 270680172 36175872 7286 33554432000 4194304 10169799 140735675537760 140735675403752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 8832 7286 563 1459 0 7364 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35328

[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=35476 CPUtime=0.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 7601 0 0 0 7 2 0 0 20 0 1 0 270680172 36327424 7299 33554432000 4194304 10169799 140735675537760 140735675403752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 8869 7299 565 1459 0 7401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35476

[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=58240 CPUtime=0.29 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 13231 0 0 0 26 3 0 0 20 0 1 0 270680172 59637760 12866 33554432000 4194304 10169799 140735675537760 140735675403752 7432298 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 14560 12866 602 1459 0 13092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58240

[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11262
/proc/meminfo: memFree=28186348/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=74568 CPUtime=0.68 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 16753 0 0 0 65 3 0 0 20 0 1 0 270680172 76357632 16388 33554432000 4194304 10169799 140735675537760 140735675403752 8918728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 18642 16388 602 1459 0 17174 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74568

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28116900/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=96692 CPUtime=1.49 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 22286 0 0 0 143 6 0 0 20 0 1 0 270680172 99012608 21921 33554432000 4194304 10169799 140735675537760 140735675535288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 24173 21921 607 1459 0 22705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96692

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28094184/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=118588 CPUtime=3.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 27742 0 0 0 298 11 0 0 20 0 1 0 270680172 121434112 27377 33554432000 4194304 10169799 140735675537760 140735675535768 5868642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 29647 27377 607 1459 0 28179 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118588

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28043344/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=160828 CPUtime=6.29 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 38344 0 0 0 613 16 0 0 20 0 1 0 270680172 164687872 37979 33554432000 4194304 10169799 140735675537760 140735675535288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 40207 37979 607 1459 0 38739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160828

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28016560/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=180092 CPUtime=12.68 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 43649 0 0 0 1249 19 0 0 20 0 1 0 270680172 184414208 42936 33554432000 4194304 10169799 140735675537760 140735675530168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 45023 42936 775 1459 0 43555 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 180092

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11263
/proc/meminfo: memFree=28014692/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=182156 CPUtime=25.48 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 44788 0 0 0 2526 22 0 0 20 0 1 0 270680172 186527744 43455 33554432000 4194304 10169799 140735675537760 140735675530168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 45539 43455 778 1459 0 44071 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 182156

[startup+51.1003 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 11266
/proc/meminfo: memFree=28005692/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=190284 CPUtime=51.08 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 54606 0 0 0 5059 49 0 0 20 0 1 0 270680172 194850816 45364 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47571 45364 846 1459 0 46103 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190284

[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.01 3/178 11266
/proc/meminfo: memFree=28004028/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=191020 CPUtime=102.28 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 55375 0 0 0 10159 69 0 0 20 0 1 0 270680172 195604480 45537 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47755 45537 847 1459 0 46287 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 191020

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11266
/proc/meminfo: memFree=27956560/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=191520 CPUtime=162.26 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 60829 0 0 0 16130 96 0 0 20 0 1 0 270680172 196116480 46131 33554432000 4194304 10169799 140735675537760 140735675532456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 47880 46131 847 1459 0 46412 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 191520

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 11266
/proc/meminfo: memFree=27951264/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=194080 CPUtime=222.25 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 64447 0 0 0 22100 125 0 0 20 0 1 0 270680172 198737920 47274 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 48520 47274 847 1459 0 47052 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 194080

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27949236/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=194816 CPUtime=282.24 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 64655 0 0 0 28072 152 0 0 20 0 1 0 270680172 199491584 47736 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 48704 47736 847 1459 0 47236 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 194816

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11267
/proc/meminfo: memFree=27947996/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=197136 CPUtime=342.23 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 65610 0 0 0 34043 180 0 0 20 0 1 0 270680172 201867264 48194 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49284 48194 847 1459 0 47816 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 197136

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27945888/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=198756 CPUtime=402.22 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66136 0 0 0 40014 208 0 0 20 0 1 0 270680172 203526144 48720 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49689 48720 847 1459 0 48221 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 198756

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11267
/proc/meminfo: memFree=27942540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=199684 CPUtime=462.21 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66237 0 0 0 45984 237 0 0 20 0 1 0 270680172 204476416 48821 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49921 48821 847 1459 0 48453 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 199684

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11267
/proc/meminfo: memFree=27866652/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=198808 CPUtime=522.2 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66672 0 0 0 51954 266 0 0 20 0 1 0 270680172 203579392 48700 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49702 48700 847 1459 0 48234 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 198808

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11268
/proc/meminfo: memFree=27863552/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=199672 CPUtime=582.19 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 66829 0 0 0 57925 294 0 0 20 0 1 0 270680172 204464128 48857 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 49918 48857 847 1459 0 48450 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 199672

[startup+642.3 s]

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

/proc/meminfo: memFree=27937104/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1122.11 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76111 0 0 0 111677 534 0 0 20 0 1 0 270680172 208523264 49893 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49893 847 1459 0 49441 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 203636

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11274
/proc/meminfo: memFree=27937104/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1182.1 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76112 0 0 0 117647 563 0 0 20 0 1 0 270680172 208523264 49894 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49894 847 1459 0 49441 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 203636

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11274
/proc/meminfo: memFree=27936980/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1242.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76114 0 0 0 123619 590 0 0 20 0 1 0 270680172 208523264 49896 33554432000 4194304 10169799 140735675537760 140735675532456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49896 847 1459 0 49441 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 203636

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11277
/proc/meminfo: memFree=27936476/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1302.09 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76115 0 0 0 129596 613 0 0 20 0 1 0 270680172 208523264 49897 33554432000 4194304 10169799 140735675537760 140735675532552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49897 847 1459 0 49441 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 203636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=27935864/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1362.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76209 0 0 0 135570 637 0 0 20 0 1 0 270680172 208523264 49991 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49991 847 1459 0 49441 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 203636

[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 11315
/proc/meminfo: memFree=27288972/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203636 CPUtime=1422.07 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 76210 0 0 0 141545 662 0 0 20 0 1 0 270680172 208523264 49992 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50909 49992 847 1459 0 49441 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 203636

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11316
/proc/meminfo: memFree=26973184/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203448 CPUtime=1482.05 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 78712 0 0 0 147522 683 0 0 20 0 1 0 270680172 208330752 49926 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50862 49926 847 1459 0 49394 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 203448

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11316
/proc/meminfo: memFree=26972476/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203696 CPUtime=1542.04 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 78769 0 0 0 153499 705 0 0 20 0 1 0 270680172 208584704 49983 33554432000 4194304 10169799 140735675537760 140735675531432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50924 49983 847 1459 0 49456 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 203696

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11316
/proc/meminfo: memFree=26970272/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=203092 CPUtime=1602.03 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80510 0 0 0 159476 727 0 0 20 0 1 0 270680172 207966208 49854 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 50773 49854 847 1459 0 49305 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 203092

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11316
/proc/meminfo: memFree=26967076/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1662.02 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80675 0 0 0 165453 749 0 0 20 0 1 0 270680172 209248256 50019 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50019 847 1459 0 49618 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 204344

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11316
/proc/meminfo: memFree=26947884/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1722.02 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80780 0 0 0 171430 772 0 0 20 0 1 0 270680172 209248256 50124 33554432000 4194304 10169799 140735675537760 140735675532552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50124 847 1459 0 49618 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 204344

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1782 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 177406 794 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 204344

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947540/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1785.21 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 177724 797 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 204344

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1791.61 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178362 799 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 204344

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1794.81 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178681 800 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 204344

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1795.6 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178760 800 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 204344

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.4 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178839 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 204344

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.6 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178859 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 204344

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11317
/proc/meminfo: memFree=26947400/32873844 swapFree=7900/7900
[pid=11262] ppid=11260 vsize=204344 CPUtime=1796.7 cores=1,3,5,7
/proc/11262/stat : 11262 (scip-2.1.1.4sfi) R 11260 11262 6871 0 -1 4202496 80781 0 0 0 178869 801 0 0 20 0 1 0 270680172 209248256 50125 33554432000 4194304 10169799 140735675537760 140735675532216 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11262/statm: 51086 50125 847 1459 0 49618 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 204344

Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1788.74
CPU system time (s): 8.01978
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 219284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.74
system time used= 8.01978
maximum resident set size= 209276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80785
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= 15
involuntary context switches= 1851

runsolver used 2.95955 second user time and 9.13561 second system time

The end

Launcher Data

Begin job on node137 at 2012-05-26 17:19:16
IDJOB=3692983
IDBENCH=90226
IDSOLVER=2272
FILE ID=node137/3692983-1338045556
RUNJOBID= node137-1338017245-7421
PBS_JOBID= 14624260
Free space on /tmp= 71268 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692983-1338045556/watcher-3692983-1338045556 -o /tmp/evaluation-result-3692983-1338045556/solver-3692983-1338045556 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692983-1338045556.opb -t 1800 -m 15500

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

MD5SUM BENCH= 2e0c2eafadf06efe322a3c6e27882b3c
RANDOM SEED=1728079496

node137.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		: 2666.600
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	: 5333.20
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		: 2666.600
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.91
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		: 2666.600
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.92
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		: 2666.600
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		: 2666.600
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		: 2666.600
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	: 5331.90
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		: 2666.600
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		: 2666.600
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:        28186612 kB
Buffers:          265260 kB
Cached:          2794872 kB
SwapCached:        22060 kB
Active:          1761472 kB
Inactive:        2137036 kB
Active(anon):     818180 kB
Inactive(anon):    22680 kB
Active(file):     943292 kB
Inactive(file):  2114356 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:             14108 kB
Writeback:             0 kB
AnonPages:        825660 kB
Mapped:            12728 kB
Shmem:                 0 kB
Slab:             646564 kB
SReclaimable:      88176 kB
SUnreclaim:       558388 kB
KernelStack:        1448 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     943720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    589824 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= 71252 MiB
End job on node137 at 2012-05-26 17:49:14