Trace number 3692978

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.04

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K72.opb
MD5SUMa155ccc2b565346c70170bfe1c3f5501
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 benchmark4.82427
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 73
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-3692978-1338045633.opb>
0.00/0.02	c original problem has 3960 variables (3960 bin, 0 int, 0 impl, 0 cont) and 4106 constraints
0.00/0.02	c problem read in 0.02
0.00/0.04	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, 6390 impls, 72 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, 6390 impls, 69 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, 6436 impls, 68 clqs
0.00/0.08	c (round 4) 293 del vars, 251 del conss, 0 add conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 68 clqs
0.00/0.08	c (round 5) 341 del vars, 299 del conss, 0 add conss, 340 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8042 impls, 68 clqs
0.00/0.09	c (round 6) 376 del vars, 334 del conss, 0 add conss, 375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9104 impls, 68 clqs
0.08/0.09	c (round 7) 403 del vars, 361 del conss, 0 add conss, 402 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9670 impls, 68 clqs
0.09/0.10	c (round 8) 426 del vars, 384 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10086 impls, 68 clqs
0.09/0.10	c (round 9) 443 del vars, 401 del conss, 0 add conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10468 impls, 68 clqs
0.09/0.10	c (round 10) 451 del vars, 409 del conss, 0 add conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10540 impls, 68 clqs
0.09/0.11	c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10586 impls, 68 clqs
0.09/0.11	c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10616 impls, 68 clqs
0.09/0.15	c (round 13) 456 del vars, 482 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3556 upgd conss, 10622 impls, 68 clqs
0.09/0.17	c (round 14) 456 del vars, 482 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3624 upgd conss, 10622 impls, 68 clqs
0.59/0.68	c (round 15) 481 del vars, 482 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3624 upgd conss, 312148 impls, 68 clqs
0.68/0.70	c (round 16) 481 del vars, 507 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3624 upgd conss, 312148 impls, 68 clqs
1.19/1.28	c (round 17) 506 del vars, 507 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3624 upgd conss, 771348 impls, 68 clqs
1.19/1.28	c (round 18) 506 del vars, 532 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3624 upgd conss, 771364 impls, 68 clqs
1.28/1.30	c (round 19) 506 del vars, 532 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3626 upgd conss, 771364 impls, 68 clqs
1.28/1.34	c (round 20) 531 del vars, 532 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3626 upgd conss, 783324 impls, 68 clqs
1.28/1.34	c (round 21) 532 del vars, 558 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3626 upgd conss, 783420 impls, 68 clqs
1.28/1.36	c (round 22) 532 del vars, 558 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3635 upgd conss, 783420 impls, 68 clqs
1.39/1.40	c (round 23) 558 del vars, 558 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3635 upgd conss, 800641 impls, 68 clqs
1.39/1.41	c (round 24) 558 del vars, 584 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3635 upgd conss, 801115 impls, 68 clqs
1.39/1.42	c (round 25) 558 del vars, 584 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 801115 impls, 68 clqs
1.39/1.47	c (round 26) 583 del vars, 584 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 803779 impls, 68 clqs
1.39/1.48	c (round 27) 583 del vars, 609 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 803779 impls, 68 clqs
1.49/1.51	c (round 28) 608 del vars, 609 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 803779 impls, 68 clqs
1.49/1.52	c (round 29) 608 del vars, 634 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 803779 impls, 68 clqs
1.49/1.54	c (round 30) 633 del vars, 634 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 807649 impls, 68 clqs
1.49/1.55	c (round 31) 634 del vars, 660 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3657 upgd conss, 807747 impls, 68 clqs
1.49/1.57	c (round 32) 634 del vars, 660 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3665 upgd conss, 807747 impls, 68 clqs
1.49/1.58	c (round 33) 659 del vars, 660 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3665 upgd conss, 807747 impls, 68 clqs
1.49/1.59	c (round 34) 665 del vars, 691 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3665 upgd conss, 807921 impls, 68 clqs
1.59/1.61	c (round 35) 665 del vars, 691 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3671 upgd conss, 807921 impls, 68 clqs
1.88/1.97	c    (2.0s) probing: 1000/3504 (28.5%) - 214 fixings, 6 aggregations, 203342 implications, 1 bound changes
1.99/2.02	c (round 36) 690 del vars, 691 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3671 upgd conss, 944721 impls, 68 clqs
1.99/2.03	c (round 37) 690 del vars, 716 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3671 upgd conss, 944777 impls, 68 clqs
1.99/2.04	c (round 38) 690 del vars, 716 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3672 upgd conss, 944777 impls, 68 clqs
1.99/2.07	c (round 39) 715 del vars, 716 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3672 upgd conss, 947249 impls, 68 clqs
1.99/2.07	c (round 40) 718 del vars, 744 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3672 upgd conss, 947285 impls, 68 clqs
1.99/2.09	c (round 41) 718 del vars, 744 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3677 upgd conss, 947285 impls, 68 clqs
3.09/3.16	c (round 42) 743 del vars, 744 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3677 upgd conss, 1335157 impls, 68 clqs
3.09/3.16	c (round 43) 744 del vars, 770 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3677 upgd conss, 1335163 impls, 68 clqs
3.09/3.18	c (round 44) 744 del vars, 770 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 1335163 impls, 68 clqs
3.29/3.39	c    (3.4s) probing: 2000/3504 (57.1%) - 290 fixings, 6 aggregations, 439517 implications, 1 bound changes
4.18/4.21	c (round 45) 769 del vars, 770 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 1705635 impls, 68 clqs
4.18/4.21	c (round 46) 769 del vars, 795 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3680 upgd conss, 1705639 impls, 68 clqs
4.18/4.23	c (round 47) 769 del vars, 795 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 1705639 impls, 68 clqs
4.59/4.69	c (round 48) 794 del vars, 795 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 1878679 impls, 68 clqs
4.69/4.70	c (round 49) 794 del vars, 821 del conss, 0 add conss, 457 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 1878680 impls, 68 clqs
4.69/4.71	c (round 50) 795 del vars, 821 del conss, 0 add conss, 457 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 1878680 impls, 68 clqs
5.09/5.12	c    (5.1s) probing: 3000/3504 (85.6%) - 321 fixings, 6 aggregations, 739891 implications, 1 bound changes
5.89/5.92	c    (5.9s) probing cycle finished: starting next cycle
5.89/5.97	c    (6.0s) probing: 51/3164 (1.6%) - 321 fixings, 6 aggregations, 843629 implications, 1 bound changes
5.89/5.97	c    (6.0s) probing aborted: 50/50 successive totally useless probings
5.89/5.97	c (round 51) 796 del vars, 821 del conss, 0 add conss, 457 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 2227862 impls, 68 clqs
5.89/5.98	c (round 52) 796 del vars, 822 del conss, 0 add conss, 457 chg bounds, 0 chg sides, 0 chg coeffs, 3682 upgd conss, 2227862 impls, 68 clqs
5.99/6.00	c    (6.0s) probing: 56/3164 (1.8%) - 321 fixings, 6 aggregations, 843629 implications, 1 bound changes
5.99/6.00	c    (6.0s) probing aborted: 50/50 successive totally useless probings
5.99/6.01	c presolving (53 rounds):
5.99/6.01	c  796 deleted vars, 822 deleted constraints, 0 added constraints, 457 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.99/6.01	c  2227862 implications, 68 cliques
5.99/6.01	c presolved problem has 3164 variables (3164 bin, 0 int, 0 impl, 0 cont) and 3284 constraints
5.99/6.01	c     676 constraints of type <setppc>
5.99/6.01	c    2608 constraints of type <logicor>
5.99/6.01	c transformed objective value is always integral (scale: 1)
5.99/6.01	c Presolving Time: 5.98
5.99/6.01	c - non default parameters ----------------------------------------------------------------------
5.99/6.01	c # SCIP version 2.1.1.4
5.99/6.01	c 
5.99/6.01	c # maximal time in seconds to run
5.99/6.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.01	c limits/time = 1797
5.99/6.01	c 
5.99/6.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.99/6.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.99/6.01	c limits/memory = 13950
5.99/6.01	c 
5.99/6.01	c # default clock type (1: CPU user seconds, 2: wall clock time)
5.99/6.01	c # [type: int, range: [1,2], default: 1]
5.99/6.01	c timing/clocktype = 2
5.99/6.01	c 
5.99/6.01	c # belongs reading time to solving time?
5.99/6.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.99/6.01	c timing/reading = TRUE
5.99/6.01	c 
5.99/6.01	c -----------------------------------------------------------------------------------------------
5.99/6.01	c start solving
5.99/6.01	c 
7.18/7.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.18/7.25	c   7.3s|     1 |     0 |  4853 |     - |  71M|   0 | 913 |3164 |3293 |3164 |3284 |   0 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
26.99/27.05	c  27.0s|     1 |     0 | 32424 |     - |  72M|   0 | 892 |3164 |3293 |3164 |3357 |  73 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
27.78/27.81	c  27.8s|     1 |     0 | 33903 |     - |  72M|   0 |1034 |3164 |3293 |3164 |3391 | 107 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
28.49/28.59	c  28.6s|     1 |     0 | 35299 |     - |  72M|   0 |1130 |3164 |3293 |3164 |3417 | 133 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
29.39/29.45	c  29.5s|     1 |     0 | 36825 |     - |  72M|   0 |1134 |3164 |3293 |3164 |3442 | 158 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
30.08/30.13	c  30.1s|     1 |     0 | 37835 |     - |  72M|   0 |1187 |3164 |3293 |3164 |3461 | 177 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
30.98/31.06	c  31.1s|     1 |     0 | 39435 |     - |  72M|   0 |1167 |3164 |3293 |3164 |3474 | 190 |  14 |   0 | 0.000000e+00 |      --      |    Inf 
50.98/51.01	c  51.0s|     1 |     2 | 39435 |     - |  72M|   0 |1167 |3164 |3293 |3164 |3474 | 190 |  14 |  28 | 0.000000e+00 |      --      |    Inf 
202.15/202.20	c   202s|   100 |    11 |231639 |1941.5 |  70M|  32 |   - |3164 |3318 |3164 |3367 | 190 |  73 | 261 | 0.000000e+00 |      --      |    Inf 
280.35/280.47	c   280s|   200 |    13 |375964 |1691.1 |  70M|  33 |   - |3164 |3358 |3164 |3367 | 190 | 128 | 373 | 0.000000e+00 |      --      |    Inf 
358.93/359.07	c   359s|   300 |    17 |533009 |1650.7 |  70M|  47 | 536 |3164 |3402 |3164 |3367 | 190 | 177 | 469 | 0.000000e+00 |      --      |    Inf 
420.31/420.42	c   420s|   400 |    15 |654300 |1541.0 |  70M|  47 | 422 |3164 |3457 |3164 |3367 | 190 | 234 | 548 | 0.000000e+00 |      --      |    Inf 
500.61/500.79	c   501s|   500 |    19 |840735 |1605.8 |  70M|  47 |   - |3164 |3515 |3164 |3367 | 190 | 304 | 624 | 0.000000e+00 |      --      |    Inf 
563.19/563.30	c   563s|   600 |    19 |958859 |1534.9 |  70M|  47 | 600 |3164 |3571 |3164 |3367 | 190 | 363 | 714 | 0.000000e+00 |      --      |    Inf 
613.09/613.21	c   613s|   700 |    19 |  1061k|1462.3 |  70M|  47 |   - |3164 |3603 |3164 |3367 | 190 | 402 | 774 | 0.000000e+00 |      --      |    Inf 
654.18/654.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
654.18/654.32	c   654s|   800 |    19 |  1145k|1384.6 |  70M|  56 |   - |3164 |3657 |3164 |3367 | 190 | 458 | 834 | 0.000000e+00 |      --      |    Inf 
706.68/706.80	c   707s|   900 |    19 |  1251k|1348.2 |  70M|  67 |   - |3164 |3699 |3164 |3367 | 190 | 502 | 909 | 0.000000e+00 |      --      |    Inf 
747.66/747.86	c   748s|  1000 |    19 |  1333k|1295.5 |  70M|  92 | 675 |3164 |3742 |3164 |3367 | 190 | 548 | 970 | 0.000000e+00 |      --      |    Inf 
797.86/798.07	c   798s|  1100 |    19 |  1439k|1273.9 |  70M|  92 |   - |3164 |3773 |3164 |3367 | 190 | 580 |1030 | 0.000000e+00 |      --      |    Inf 
846.35/846.50	c   847s|  1200 |    19 |  1535k|1248.2 |  70M| 111 |   - |3164 |3817 |3164 |3367 | 190 | 629 |1104 | 0.000000e+00 |      --      |    Inf 
889.05/889.22	c   889s|  1300 |    19 |  1624k|1220.1 |  70M| 125 |   - |3164 |3837 |3164 |3367 | 190 | 649 |1161 | 0.000000e+00 |      --      |    Inf 
922.44/922.69	c   923s|  1400 |    21 |  1691k|1180.8 |  70M| 135 | 480 |3164 |3842 |3164 |3367 | 190 | 687 |1203 | 0.000000e+00 |      --      |    Inf 
970.34/970.59	c   971s|  1500 |    19 |  1788k|1166.8 |  70M| 135 |   - |3164 |3863 |3164 |3367 | 190 | 714 |1259 | 0.000000e+00 |      --      |    Inf 
1015.72/1015.95	c  1016s|  1600 |    19 |  1879k|1150.6 |  70M| 135 |   - |3164 |3891 |3164 |3367 | 190 | 745 |1315 | 0.000000e+00 |      --      |    Inf 
1061.81/1062.02	c  1062s|  1700 |    19 |  1973k|1138.3 |  70M| 135 | 477 |3164 |3931 |3164 |3367 | 190 | 791 |1371 | 0.000000e+00 |      --      |    Inf 
1109.50/1109.80	c  1110s|  1800 |    19 |  2072k|1130.4 |  70M| 135 | 528 |3164 |3960 |3164 |3367 | 190 | 836 |1425 | 0.000000e+00 |      --      |    Inf 
1167.30/1167.54	c  1168s|  1900 |    17 |  2187k|1131.3 |  70M| 135 |   - |3164 |3989 |3164 |3367 | 190 | 887 |1490 | 0.000000e+00 |      --      |    Inf 
1223.10/1223.34	c  1223s|  2000 |    19 |  2290k|1126.1 |  70M| 135 | 487 |3164 |4036 |3164 |3367 | 190 | 947 |1558 | 0.000000e+00 |      --      |    Inf 
1280.99/1281.25	c  1281s|  2100 |    17 |  2407k|1128.0 |  70M| 135 |   - |3164 |4054 |   0 |   0 | 190 | 987 |1622 | 0.000000e+00 |      --      |    Inf 
1312.98/1313.26	c  1313s|  2200 |    23 |  2473k|1107.1 |  70M| 135 | 324 |3164 |4099 |3164 |3367 | 190 |1047 |1665 | 0.000000e+00 |      --      |    Inf 
1345.18/1345.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1345.18/1345.48	c  1345s|  2300 |    21 |  2546k|1090.5 |  71M| 135 |   - |3164 |4134 |3164 |3367 | 190 |1090 |1708 | 0.000000e+00 |      --      |    Inf 
1371.87/1372.17	c  1372s|  2400 |    23 |  2604k|1069.0 |  71M| 135 |   - |3164 |4158 |3164 |3367 | 190 |1122 |1753 | 0.000000e+00 |      --      |    Inf 
1390.87/1391.14	c  1391s|  2500 |    23 |  2650k|1044.7 |  71M| 135 | 234 |3164 |4152 |3164 |3367 | 190 |1123 |1785 | 0.000000e+00 |      --      |    Inf 
1412.96/1413.25	c  1413s|  2600 |    23 |  2699k|1023.6 |  71M| 135 |   - |3164 |4155 |3164 |3367 | 190 |1130 |1827 | 0.000000e+00 |      --      |    Inf 
1438.96/1439.24	c  1439s|  2700 |    23 |  2757k|1007.2 |  71M| 135 |   - |3164 |4162 |3164 |3367 | 190 |1140 |1874 | 0.000000e+00 |      --      |    Inf 
1464.75/1465.02	c  1465s|  2800 |    21 |  2816k| 992.0 |  71M| 135 |   - |3164 |4162 |3164 |3367 | 190 |1144 |1916 | 0.000000e+00 |      --      |    Inf 
1491.15/1491.48	c  1491s|  2900 |    23 |  2876k| 978.5 |  71M| 135 | 295 |3164 |4189 |3164 |3367 | 190 |1174 |1952 | 0.000000e+00 |      --      |    Inf 
1515.35/1515.68	c  1516s|  3000 |    25 |  2927k| 963.0 |  71M| 135 |   - |3164 |4223 |3164 |3367 | 190 |1218 |1992 | 0.000000e+00 |      --      |    Inf 
1541.64/1541.98	c  1542s|  3100 |    29 |  2981k| 949.4 |  71M| 135 |   - |3164 |4224 |3164 |3367 | 190 |1259 |2033 | 0.000000e+00 |      --      |    Inf 
1565.44/1565.76	c  1566s|  3200 |    26 |  3030k| 935.0 |  71M| 135 | 345 |3164 |4251 |3164 |3367 | 190 |1326 |2073 | 0.000000e+00 |      --      |    Inf 
1591.54/1591.86	c  1592s|  3300 |    24 |  3087k| 924.1 |  71M| 135 |   - |3164 |4261 |3164 |3367 | 190 |1364 |2112 | 0.000000e+00 |      --      |    Inf 
1627.13/1627.42	c  1627s|  3400 |    24 |  3164k| 919.5 |  71M| 135 |   - |3164 |4267 |   0 |   0 | 190 |1427 |2164 | 0.000000e+00 |      --      |    Inf 
1648.43/1648.75	c  1649s|  3500 |    24 |  3213k| 907.2 |  71M| 135 | 353 |3164 |4286 |3164 |3367 | 190 |1450 |2190 | 0.000000e+00 |      --      |    Inf 
1679.53/1679.89	c  1680s|  3600 |    23 |  3279k| 900.3 |  71M| 135 |   - |3164 |4305 |3164 |3367 | 190 |1476 |2234 | 0.000000e+00 |      --      |    Inf 
1715.63/1715.96	c  1716s|  3700 |    26 |  3354k| 896.1 |  71M| 135 |   - |3164 |4339 |   0 |   0 | 190 |1524 |2286 | 0.000000e+00 |      --      |    Inf 
1751.51/1751.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1751.51/1751.84	c  1752s|  3800 |    29 |  3431k| 892.8 |  71M| 135 | 335 |3164 |4333 |3164 |3367 | 190 |1548 |2336 | 0.000000e+00 |      --      |    Inf 
1789.61/1789.94	c  1790s|  3900 |    24 |  3511k| 890.5 |  71M| 135 |   - |3164 |4348 |   0 |   0 | 190 |1609 |2387 | 0.000000e+00 |      --      |    Inf 
1796.71/1797.01	c 
1796.71/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.01	c Solving Time (sec) : 1797.01
1796.71/1797.01	c Solving Nodes      : 3920
1796.71/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01	c Dual Bound         : +0.00000000000000e+00
1796.71/1797.01	c Gap                : infinite
1796.71/1797.01	s UNKNOWN
1796.71/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.71/1797.01	c Total Time         :    1797.01
1796.71/1797.01	c   solving          :    1797.01
1796.71/1797.01	c   presolving       :       5.98 (included in solving)
1796.71/1797.01	c   reading          :       0.02 (included in solving)
1796.71/1797.01	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.01	c Original Problem   :
1796.71/1797.01	c   Problem name     : HOME/instance-3692978-1338045633.opb
1796.71/1797.01	c   Variables        : 3960 (3960 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01	c   Constraints      : 4106 initial, 4106 maximal
1796.71/1797.01	c   Objective sense  : minimize
1796.71/1797.01	c Presolved Problem  :
1796.71/1797.01	c   Problem name     : t_HOME/instance-3692978-1338045633.opb
1796.71/1797.01	c   Variables        : 3164 (3164 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01	c   Constraints      : 3284 initial, 4364 maximal
1796.71/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.71/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   trivial          :       0.01       0.00          1          0          0          0          0          0          0          0          0
1796.71/1797.01	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   gateextraction   :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   implics          :       0.02       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.71/1797.01	c   probing          :       5.38       0.00        321          6          0          1          0          0          0          0          0
1796.71/1797.01	c   setppc           :       0.07       0.00         11          0          0          0          0        176          0          0          0
1796.71/1797.01	c   linear           :       0.09       0.00        455          1          0        455          0        482          0          0          0
1796.71/1797.01	c   logicor          :       0.35       0.00          1          0          0          1          0        164          0          0          0
1796.71/1797.01	c   root node        :          -          -         33          -          -         33          -          -          -          -          -
1796.71/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.01	c   integral         :          0          0          0          0       2038          0          4          0          7         98          0          0       3954
1796.71/1797.01	c   setppc           :        676        676          6      72600          0          1          3     313103        208     159397          0          0          0
1796.71/1797.01	c   logicor          :       2608+      3721          6      63015          0          1          0     598082        360     282208          0          0          0
1796.71/1797.01	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.71/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.71/1797.01	c   integral         :     648.39       0.00       0.00       0.00     648.39       0.00       0.00       0.00
1796.71/1797.01	c   setppc           :       1.18       0.00       0.00       0.82       0.00       0.00       0.00       0.36
1796.71/1797.01	c   logicor          :       2.20       0.00       0.00       1.53       0.00       0.00       0.00       0.67
1796.71/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.71/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.71/1797.01	c   rootredcost      :          0          0          0          0
1796.71/1797.01	c   pseudoobj        :          0          0          0          0
1796.71/1797.01	c   vbounds          :          0          0          0          0
1796.71/1797.01	c   redcost          :       2044          0          0          0
1796.71/1797.01	c   probing          :          0          0          0          0
1796.71/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.71/1797.01	c   rootredcost      :       0.06       0.00       0.00       0.06       0.00
1796.71/1797.01	c   pseudoobj        :       0.06       0.00       0.00       0.06       0.00
1796.71/1797.01	c   vbounds          :       0.06       0.00       0.00       0.06       0.00
1796.71/1797.01	c   redcost          :       0.13       0.00       0.00       0.13       0.00
1796.71/1797.01	c   probing          :       5.38       0.00       5.38       0.00       0.00
1796.71/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.71/1797.01	c   propagation      :       0.24        568        320       1590       50.9         35       21.5          -
1796.71/1797.01	c   infeasible LP    :       4.58       1664        634       9747      338.0          9       13.9          0
1796.71/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.71/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.71/1797.01	c   applied globally :          -          -          -       1615       46.6          -          -          -
1796.71/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.71/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.71/1797.01	c   cut pool         :       0.00                     5          -          -         24          -    (maximal pool size: 236)
1796.71/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c   impliedbounds    :       0.06       0.00          6          0          0        233          0
1796.71/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c   gomory           :       0.45       0.00          6          0          0          0          0
1796.71/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c   strongcg         :       0.45       0.00          6          0          0          0          0
1796.71/1797.01	c   cmir             :       0.11       0.00          6          0          0          0          0
1796.71/1797.01	c   flowcover        :       0.10       0.00          6          0          0          0          0
1796.71/1797.01	c   clique           :       4.22       0.00          6          0          0         60          0
1796.71/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.71/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.71/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.71/1797.01	c   problem variables:       0.00          -          0          0
1796.71/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.71/1797.01	c   relpscost        :     648.38       0.00       2038          7         98          0          0       3954
1796.71/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.71/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.71/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.71/1797.01	c   LP solutions     :       0.00          -          -          0
1796.71/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.71/1797.01	c   oneopt           :       0.01       0.00          0          0
1796.71/1797.01	c   crossover        :       0.00       0.00          0          0
1796.71/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.71/1797.01	c   pscostdiving     :       5.43       0.00          1          0
1796.71/1797.01	c   fracdiving       :       8.99       0.00          1          0
1796.71/1797.01	c   veclendiving     :      19.74       0.00          1          0
1796.71/1797.01	c   linesearchdiving :       0.34       0.00          1          0
1796.71/1797.01	c   objpscostdiving  :       1.61       0.00          1          0
1796.71/1797.01	c   rootsoldiving    :       0.23       0.00          1          0
1796.71/1797.01	c   feaspump         :      15.01       0.00          1          0
1796.71/1797.01	c   coefdiving       :      11.20       0.00          2          0
1796.71/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.71/1797.01	c   trivial          :       0.00       0.00          2          0
1796.71/1797.01	c   shiftandpropagate:       0.03       0.00          1          0
1796.71/1797.01	c   simplerounding   :       0.00       0.00          0          0
1796.71/1797.01	c   zirounding       :       0.15       0.00          0          0
1796.71/1797.01	c   rounding         :       0.16       0.00        611          0
1796.71/1797.01	c   shifting         :       0.23       0.00        159          0
1796.71/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.71/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.71/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.71/1797.01	c   indoneopt        :       0.01       0.00          0          0
1796.71/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.71/1797.01	c   clique           :       0.00       0.00          0          0
1796.71/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.71/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.71/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.71/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.71/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.71/1797.01	c   octane           :       0.00       0.00          0          0
1796.71/1797.01	c   rens             :       7.84       0.00          1          0
1796.71/1797.01	c   rins             :       0.00       0.00          0          0
1796.71/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.71/1797.01	c   mutation         :       0.00       0.00          0          0
1796.71/1797.01	c   dins             :       0.00       0.00          0          0
1796.71/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.71/1797.01	c   undercover       :       0.00       0.00          0          0
1796.71/1797.01	c   subnlp           :       0.00       0.00          0          0
1796.71/1797.01	c   trysol           :       0.01       0.00          0          0
1796.71/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.71/1797.01	c   primal LP        :       0.01          1          0       0.00          -       0.01          1
1796.71/1797.01	c   dual LP          :    1057.50       3687    3360745     912.25    3178.02       0.01          3
1796.71/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.71/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.71/1797.01	c   diving/probing LP:      61.90        833     170631     204.84    2756.38
1796.71/1797.01	c   strong branching :     648.09       2392    1821300     761.41    2810.25
1796.71/1797.01	c     (at root node) :          -         28      27754     991.21          -
1796.71/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.71/1797.01	c B&B Tree           :
1796.71/1797.01	c   number of runs   :          1
1796.71/1797.01	c   nodes            :       3920
1796.71/1797.01	c   nodes (total)    :       3920
1796.71/1797.01	c   nodes left       :         24
1796.71/1797.01	c   max depth        :        135
1796.71/1797.01	c   max depth (total):        135
1796.71/1797.01	c   backtracks       :        317 (8.1%)
1796.71/1797.01	c   delayed cutoffs  :         13
1796.71/1797.01	c   repropagations   :       5564 (12241 domain reductions, 11 cutoffs)
1796.71/1797.01	c   avg switch length:       4.66
1796.71/1797.01	c   switching time   :       0.74
1796.71/1797.01	c Solution           :
1796.71/1797.01	c   Solutions found  :          0 (0 improvements)
1796.71/1797.01	c   Primal Bound     :          -
1796.71/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.71/1797.01	c   Gap              :   infinite
1796.71/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.71/1797.01	c   Root Iterations  :      39435
1796.71/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-3692978-1338045633/watcher-3692978-1338045633 -o /tmp/evaluation-result-3692978-1338045633/solver-3692978-1338045633 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692978-1338045633.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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/177 4166
/proc/meminfo: memFree=27140224/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=11160 CPUtime=0 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 1543 0 0 0 0 0 0 0 20 0 1 0 270691852 11427840 1497 33554432000 4194304 10169799 140736005149120 140737003994744 8801104 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 2790 1497 409 1459 0 1322 0

[startup+0.0931959 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4166
/proc/meminfo: memFree=27140224/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=34120 CPUtime=0.08 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 7303 0 0 0 5 3 0 0 20 0 1 0 270691852 34938880 7000 33554432000 4194304 10169799 140736005149120 140737003994744 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 8530 7000 563 1459 0 7062 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34120

[startup+0.100348 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4166
/proc/meminfo: memFree=27140224/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=34120 CPUtime=0.09 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 7304 0 0 0 5 4 0 0 20 0 1 0 270691852 34938880 7001 33554432000 4194304 10169799 140736005149120 140737003994744 5280256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 8530 7001 563 1459 0 7062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34120

[startup+0.300327 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4166
/proc/meminfo: memFree=27140224/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=57468 CPUtime=0.29 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 12975 0 0 0 21 8 0 0 20 0 1 0 270691852 58847232 12609 33554432000 4194304 10169799 140736005149120 140736005146328 5910494 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 14367 12609 602 1459 0 12899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57468

[startup+0.700334 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4166
/proc/meminfo: memFree=27140224/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=73932 CPUtime=0.68 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 16313 0 0 0 58 10 0 0 20 0 1 0 270691852 75706368 15947 33554432000 4194304 10169799 140736005149120 140736005146328 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 18483 15947 607 1459 0 17015 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73932

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4167
/proc/meminfo: memFree=27071032/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=94344 CPUtime=1.49 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 21410 0 0 0 128 21 0 0 20 0 1 0 270691852 96608256 21044 33554432000 4194304 10169799 140736005149120 140736005145592 6895394 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 23586 21044 607 1459 0 22118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94344

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4167
/proc/meminfo: memFree=27050448/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=116240 CPUtime=3.09 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 26845 0 0 0 269 40 0 0 20 0 1 0 270691852 119029760 26479 33554432000 4194304 10169799 140736005149120 140736005146648 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 29060 26479 607 1459 0 27592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116240

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4167
/proc/meminfo: memFree=27004684/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=166380 CPUtime=6.29 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 39563 0 0 0 565 64 0 0 20 0 1 0 270691852 170373120 39106 33554432000 4194304 10169799 140736005149120 140736005143576 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 41595 39106 762 1459 0 40127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166380

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4167
/proc/meminfo: memFree=26981372/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=168672 CPUtime=12.69 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 41285 0 0 0 1202 67 0 0 20 0 1 0 270691852 172720128 39819 33554432000 4194304 10169799 140736005149120 140736005141400 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 42168 39819 779 1459 0 40700 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168672

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4167
/proc/meminfo: memFree=26983116/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=167748 CPUtime=25.48 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 42097 0 0 0 2423 125 0 0 20 0 1 0 270691852 171773952 39641 33554432000 4194304 10169799 140736005149120 140736005146232 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 41937 39641 796 1459 0 40469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 167748

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4167
/proc/meminfo: memFree=26968008/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=177560 CPUtime=51.08 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 51100 0 0 0 4944 164 0 0 20 0 1 0 270691852 181821440 43080 33554432000 4194304 10169799 140736005149120 140736005143816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 44390 43080 847 1459 0 42922 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 177560

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4167
/proc/meminfo: memFree=26966812/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=177712 CPUtime=102.27 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 51139 0 0 0 10046 181 0 0 20 0 1 0 270691852 181977088 43337 33554432000 4194304 10169799 140736005149120 140736005143528 7983390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 44428 43337 848 1459 0 42960 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 177712

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4167
/proc/meminfo: memFree=26963312/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=178632 CPUtime=162.25 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 51282 0 0 0 16021 204 0 0 20 0 1 0 270691852 182919168 43765 33554432000 4194304 10169799 140736005149120 140736005142984 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 44658 43765 848 1459 0 43190 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 178632

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4168
/proc/meminfo: memFree=26962380/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=180188 CPUtime=222.25 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 52249 0 0 0 21988 237 0 0 20 0 1 0 270691852 184512512 44246 33554432000 4194304 10169799 140736005149120 140736005143576 8004752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 45047 44246 848 1459 0 43579 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 180188

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4168
/proc/meminfo: memFree=26962132/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=180004 CPUtime=282.24 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 55526 0 0 0 27956 268 0 0 20 0 1 0 270691852 184324096 44173 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 45001 44173 848 1459 0 43533 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 180004

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4168
/proc/meminfo: memFree=26869504/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=182652 CPUtime=342.23 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 58782 0 0 0 33926 297 0 0 20 0 1 0 270691852 187035648 44848 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 45663 44848 848 1459 0 44195 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 182652

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4168
/proc/meminfo: memFree=26962816/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=182964 CPUtime=402.22 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 59513 0 0 0 39897 325 0 0 20 0 1 0 270691852 187355136 44941 33554432000 4194304 10169799 140736005149120 140736005143720 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 45741 44941 848 1459 0 44273 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 182964

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4168
/proc/meminfo: memFree=26960708/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=184556 CPUtime=462.21 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 60858 0 0 0 45866 355 0 0 20 0 1 0 270691852 188985344 45346 33554432000 4194304 10169799 140736005149120 140736005143816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 46139 45346 848 1459 0 44671 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 184556

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4169
/proc/meminfo: memFree=26961328/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=184444 CPUtime=522.2 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 65128 0 0 0 51833 387 0 0 20 0 1 0 270691852 188870656 45323 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 46111 45323 848 1459 0 44643 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 184444

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4172
/proc/meminfo: memFree=26957288/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=185980 CPUtime=582.19 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 65483 0 0 0 57802 417 0 0 20 0 1 0 270691852 190443520 45678 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 46495 45678 848 1459 0 45027 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 185980

[startup+642.3 s]

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

/proc/meminfo: memFree=26450236/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189444 CPUtime=1122.1 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 93344 0 0 0 111519 691 0 0 20 0 1 0 270691852 193990656 46592 33554432000 4194304 10169799 140736005149120 140736005143528 7983282 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47361 46592 848 1459 0 45893 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 189444

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4217
/proc/meminfo: memFree=26441136/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189540 CPUtime=1182.1 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 94639 0 0 0 117491 719 0 0 20 0 1 0 270691852 194088960 46481 33554432000 4194304 10169799 140736005149120 140736005143624 7983353 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47385 46481 848 1459 0 45917 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 189540

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4217
/proc/meminfo: memFree=26438320/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189528 CPUtime=1242.09 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 99412 0 0 0 123459 750 0 0 20 0 1 0 270691852 194076672 46559 33554432000 4194304 10169799 140736005149120 140736005143768 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47382 46559 848 1459 0 45914 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 189528

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4217
/proc/meminfo: memFree=26438100/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189472 CPUtime=1302.08 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 101072 0 0 0 129429 779 0 0 20 0 1 0 270691852 194019328 46550 33554432000 4194304 10169799 140736005149120 140736005143528 8004370 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47368 46550 848 1459 0 45900 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 189472

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 4217
/proc/meminfo: memFree=26439864/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=188752 CPUtime=1362.08 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 101363 0 0 0 135397 811 0 0 20 0 1 0 270691852 193282048 46313 33554432000 4194304 10169799 140736005149120 140736005143624 7978364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47188 46313 848 1459 0 45720 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 188752

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 4218
/proc/meminfo: memFree=26435304/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189572 CPUtime=1422.07 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 101644 0 0 0 141369 838 0 0 20 0 1 0 270691852 194121728 46594 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47393 46594 848 1459 0 45925 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 189572

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4218
/proc/meminfo: memFree=26434464/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189572 CPUtime=1482.05 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 101645 0 0 0 147338 867 0 0 20 0 1 0 270691852 194121728 46595 33554432000 4194304 10169799 140736005149120 140736005143528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47393 46595 848 1459 0 45925 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 189572

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4218
/proc/meminfo: memFree=26434368/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189916 CPUtime=1542.05 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102150 0 0 0 153306 899 0 0 20 0 1 0 270691852 194473984 46563 33554432000 4194304 10169799 140736005149120 140736005143528 8004557 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47479 46563 848 1459 0 46011 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 189916

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4218
/proc/meminfo: memFree=26433344/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190116 CPUtime=1602.04 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102224 0 0 0 159273 931 0 0 20 0 1 0 270691852 194678784 46637 33554432000 4194304 10169799 140736005149120 140736005143528 7983390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47529 46637 848 1459 0 46061 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 190116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4218
/proc/meminfo: memFree=26433620/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=189748 CPUtime=1662.03 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102776 0 0 0 165238 965 0 0 20 0 1 0 270691852 194301952 46648 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47437 46648 848 1459 0 45969 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 189748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4219
/proc/meminfo: memFree=26294404/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190632 CPUtime=1722.02 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102940 0 0 0 171205 997 0 0 20 0 1 0 270691852 195207168 46812 33554432000 4194304 10169799 140736005149120 140736005143720 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47658 46812 848 1459 0 46190 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 190632

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26285112/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190632 CPUtime=1782.01 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102940 0 0 0 177175 1026 0 0 20 0 1 0 270691852 195207168 46812 33554432000 4194304 10169799 140736005149120 140736005143528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47658 46812 848 1459 0 46190 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 190632

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26279468/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190632 CPUtime=1785.21 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 102940 0 0 0 177493 1028 0 0 20 0 1 0 270691852 195207168 46812 33554432000 4194304 10169799 140736005149120 140736005143624 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47658 46812 848 1459 0 46190 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 190632

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26296816/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1791.61 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103153 0 0 0 178130 1031 0 0 20 0 1 0 270691852 194830336 46566 33554432000 4194304 10169799 140736005149120 140736005143528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46566 848 1459 0 46098 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 190264

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26276284/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1794.81 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103220 0 0 0 178448 1033 0 0 20 0 1 0 270691852 194830336 46633 33554432000 4194304 10169799 140736005149120 140736005143528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46633 848 1459 0 46098 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 190264

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26276284/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1795.6 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103220 0 0 0 178527 1033 0 0 20 0 1 0 270691852 194830336 46633 33554432000 4194304 10169799 140736005149120 140736005143528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46633 848 1459 0 46098 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 190264

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26280380/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1796.41 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103220 0 0 0 178607 1034 0 0 20 0 1 0 270691852 194830336 46633 33554432000 4194304 10169799 140736005149120 140736005143816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46633 848 1459 0 46098 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 190264

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26280380/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1796.61 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103220 0 0 0 178627 1034 0 0 20 0 1 0 270691852 194830336 46633 33554432000 4194304 10169799 140736005149120 140736005143816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46633 848 1459 0 46098 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 190264

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4222
/proc/meminfo: memFree=26280380/32873844 swapFree=7356/7356
[pid=4166] ppid=4164 vsize=190264 CPUtime=1796.71 cores=0,2,4,6
/proc/4166/stat : 4166 (scip-2.1.1.4sfi) R 4164 4166 1047 0 -1 4202496 103220 0 0 0 178637 1034 0 0 20 0 1 0 270691852 194830336 46633 33554432000 4194304 10169799 140736005149120 140736005143816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4166/statm: 47566 46633 848 1459 0 46098 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 190264

Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1786.41
CPU system time (s): 10.3474
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 204884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.41
system time used= 10.3474
maximum resident set size= 194816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103224
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= 14
involuntary context switches= 2052

runsolver used 3.39748 second user time and 9.66553 second system time

The end

Launcher Data

Begin job on node109 at 2012-05-26 17:20:33
IDJOB=3692978
IDBENCH=90228
IDSOLVER=2272
FILE ID=node109/3692978-1338045633
RUNJOBID= node109-1338029634-2326
PBS_JOBID= 14624362
Free space on /tmp= 71380 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_K72.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-3692978-1338045633/watcher-3692978-1338045633 -o /tmp/evaluation-result-3692978-1338045633/solver-3692978-1338045633 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692978-1338045633.opb -t 1800 -m 15500

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

MD5SUM BENCH= a155ccc2b565346c70170bfe1c3f5501
RANDOM SEED=1992259600

node109.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.264
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.52
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.264
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		: 2667.264
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.264
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.264
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.264
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.91
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.264
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.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27140604 kB
Buffers:          249900 kB
Cached:          3412592 kB
SwapCached:            0 kB
Active:          1991172 kB
Inactive:        2963300 kB
Active(anon):    1294812 kB
Inactive(anon):        0 kB
Active(file):     696360 kB
Inactive(file):  2963300 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14000 kB
Writeback:            40 kB
AnonPages:       1381612 kB
Mapped:            17416 kB
Shmem:               200 kB
Slab:             639388 kB
SReclaimable:      82216 kB
SUnreclaim:       557172 kB
KernelStack:        1480 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1415468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1280000 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= 71364 MiB
End job on node109 at 2012-05-26 17:50:30