Trace number 1868726

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.16 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
MD5SUM24a04ed274dd43d443428abf078e95f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark214
Best CPU time to get the best result obtained on this benchmark13.9549
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 214
Optimality of the best value was proved YES
Number of variables147395
Total number of constraints26533
Number of constraints which are clauses12
Number of constraints which are cardinality constraints (but not clauses)391
Number of constraints which are nor clauses,nor cardinality constraints26130
Minimum length of a constraint2
Maximum length of a constraint292
Number of terms in the objective function 39
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 337
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12288
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 137193
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.39/1.44	c SCIP version 1.1.0.7
1.39/1.44	c LP-Solver SoPlex 1.4.1
1.39/1.44	c user parameter file <scip.set> not found - using default parameters
1.39/1.44	c read problem <HOME/instance-1868726-1245135215.opb>
1.39/1.44	c original problem has 147395 variables (147395 bin, 0 int, 0 impl, 0 cont) and 26533 constraints
2.58/2.64	c start presolving problem
2.58/2.64	c presolving:
2.99/3.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 0 upgd conss, 20 impls, 407 clqs
3.98/4.05	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 25987 upgd conss, 20 impls, 407 clqs
86.06/86.16	c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 102272 chg sides, 187696 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
135.16/135.22	c (round 4) 0 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
160.35/160.49	c (round 5) 55 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 465004 impls, 379 clqs
244.23/244.32	c (round 6) 55 del vars, 8340 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
279.92/280.09	c (round 7) 457 del vars, 10256 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
283.52/283.69	c (round 8) 2825 del vars, 10426 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
286.92/287.06	c (round 9) 2825 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
296.41/296.58	c (round 10) 2875 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465706 impls, 375 clqs
331.90/332.08	c (round 11) 2877 del vars, 10694 del conss, 0 chg bounds, 102752 chg sides, 192872 chg coeffs, 25997 upgd conss, 465742 impls, 394 clqs
360.10/360.25	c (round 12) 3017 del vars, 11326 del conss, 0 chg bounds, 102795 chg sides, 192991 chg coeffs, 26008 upgd conss, 465742 impls, 404 clqs
365.80/365.93	c (round 13) 3645 del vars, 11573 del conss, 0 chg bounds, 102799 chg sides, 193001 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
369.19/369.33	c (round 14) 3919 del vars, 11602 del conss, 0 chg bounds, 102801 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
369.50/369.68	c (round 15) 3939 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
375.60/375.76	c (round 16) 3989 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465986 impls, 387 clqs
412.98/413.12	c (round 17) 3989 del vars, 11674 del conss, 0 chg bounds, 102860 chg sides, 193282 chg coeffs, 26008 upgd conss, 465986 impls, 408 clqs
428.48/428.61	c (round 18) 4011 del vars, 11938 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
428.79/428.99	c (round 19) 4407 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
441.08/441.28	c (round 20) 4457 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 466768 impls, 407 clqs
485.67/485.83	c (round 21) 4457 del vars, 11976 del conss, 0 chg bounds, 102875 chg sides, 193772 chg coeffs, 26013 upgd conss, 466768 impls, 431 clqs
512.36/512.53	c (round 22) 4464 del vars, 12058 del conss, 0 chg bounds, 102877 chg sides, 193927 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
513.26/513.45	c (round 23) 4549 del vars, 12081 del conss, 0 chg bounds, 102879 chg sides, 193964 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
524.06/524.28	c (round 24) 4610 del vars, 12090 del conss, 0 chg bounds, 102880 chg sides, 193964 chg coeffs, 26035 upgd conss, 468270 impls, 431 clqs
567.55/567.78	c (round 25) 4611 del vars, 12124 del conss, 0 chg bounds, 102945 chg sides, 194699 chg coeffs, 26035 upgd conss, 468270 impls, 465 clqs
592.04/592.24	c (round 26) 4630 del vars, 12381 del conss, 0 chg bounds, 102991 chg sides, 194910 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
598.24/598.41	c (round 27) 5110 del vars, 12676 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
598.74/598.99	c (round 28) 5426 del vars, 12721 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
599.34/599.53	c (round 29) 5480 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
607.53/607.78	c (round 30) 5530 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 469044 impls, 445 clqs
640.53/640.72	c (round 31) 5530 del vars, 12858 del conss, 0 chg bounds, 103150 chg sides, 195359 chg coeffs, 26055 upgd conss, 469064 impls, 459 clqs
665.02/665.21	c (round 32) 5884 del vars, 13663 del conss, 0 chg bounds, 103162 chg sides, 195404 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
667.42/667.64	c (round 33) 6952 del vars, 13798 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
669.22/669.46	c (round 34) 7016 del vars, 13818 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
669.62/669.83	c (round 35) 7016 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
675.12/675.38	c    (671.3s) probing: 1000/147395 (0.7%) - 203 fixings, 132 aggregations, 2135 implications, 0 bound changes
677.01/677.21	c (round 36) 7066 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469126 impls, 424 clqs
699.82/700.09	c (round 37) 7068 del vars, 14128 del conss, 0 chg bounds, 103592 chg sides, 196179 chg coeffs, 26063 upgd conss, 469256 impls, 423 clqs
727.81/728.07	c (round 38) 7874 del vars, 16297 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
736.50/736.74	c (round 39) 10810 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
751.70/751.93	c (round 40) 10860 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469488 impls, 377 clqs
781.39/781.67	c (round 41) 10861 del vars, 17241 del conss, 1 chg bounds, 104640 chg sides, 197979 chg coeffs, 26064 upgd conss, 469666 impls, 381 clqs
811.69/811.96	c (round 42) 12871 del vars, 23495 del conss, 1 chg bounds, 104672 chg sides, 198070 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
826.98/827.29	c (round 43) 19485 del vars, 23767 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
835.78/836.05	c (round 44) 19760 del vars, 23805 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
836.79/837.03	c (round 45) 19780 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
850.38/850.67	c (round 46) 19830 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 471044 impls, 340 clqs
895.26/895.55	c (round 47) 19830 del vars, 25011 del conss, 1 chg bounds, 105703 chg sides, 200334 chg coeffs, 26098 upgd conss, 471144 impls, 373 clqs
923.46/923.79	c (round 48) 22254 del vars, 31132 del conss, 1 chg bounds, 105905 chg sides, 200926 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
949.25/949.58	c (round 49) 29232 del vars, 32262 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
956.85/957.14	c (round 50) 30507 del vars, 32534 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
958.85/959.12	c (round 51) 30686 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
971.34/971.68	c    (966.8s) probing: 1668/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
971.34/971.68	c    (966.8s) probing aborted: 100/100 successive totally useless probings
971.34/971.68	c (round 52) 30711 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471980 impls, 415 clqs
1000.74/1001.05	c (round 53) 30711 del vars, 33234 del conss, 1 chg bounds, 106446 chg sides, 202106 chg coeffs, 26118 upgd conss, 471990 impls, 439 clqs
1013.64/1013.91	c (round 54) 31915 del vars, 36194 del conss, 1 chg bounds, 106544 chg sides, 202363 chg coeffs, 26118 upgd conss, 471990 impls, 480 clqs
1031.23/1031.50	c (round 55) 35483 del vars, 36745 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1036.13/1036.43	c (round 56) 36060 del vars, 36853 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1037.33/1037.65	c (round 57) 36071 del vars, 37188 del conss, 1 chg bounds, 106549 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
1038.13/1038.44	c    (1033.3s) probing: 1678/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
1038.13/1038.44	c    (1033.3s) probing aborted: 100/100 successive totally useless probings
1038.13/1038.46	c presolving (58 rounds):
1038.13/1038.46	c  36071 deleted vars, 37188 deleted constraints, 1 tightened bounds, 0 added holes, 106549 changed sides, 202367 changed coefficients
1038.13/1038.46	c  471990 implications, 481 cliques
1038.13/1038.46	c presolved problem has 111324 variables (111324 bin, 0 int, 0 impl, 0 cont) and 78978 constraints
1038.13/1038.46	c   13322 constraints of type <knapsack>
1038.13/1038.46	c   65294 constraints of type <setppc>
1038.13/1038.46	c     352 constraints of type <linear>
1038.13/1038.46	c      10 constraints of type <logicor>
1038.13/1038.46	c transformed objective value is always integral (scale: 1)
1038.13/1038.46	c Presolving Time: 1032.77
1038.22/1038.52	c OPT-LIN
1038.22/1038.52	c -----------------------------------------------------------------------------------------------
1038.22/1038.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1038.22/1038.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1038.22/1038.52	c limits/memory = c 1620
1038.22/1038.52	c # maximal time in seconds to run
1038.22/1038.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1038.22/1038.52	c limits/time = c 1791
1038.22/1038.52	c # frequency for displaying node information lines
1038.22/1038.52	c # [type: int, range: [-1,2147483647], default: 100]
1038.22/1038.52	c display/freq = c 10000
1038.22/1038.52	c -----------------------------------------------------------------------------------------------
1038.22/1038.52	c start solving problem
1038.22/1038.52	c 
1293.97/1294.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1293.97/1294.32	c  1289s|     1 |     0 | 27929 | 545M|   0 |1638 | 111k|  78k|  78k| 111k|  78k|   0 |   0 |   0 | 6.592824e+01 |      --      |    Inf 
1796.94/1797.45	c  1791s|     1 |     0 | 59930 | 552M|   0 |   - | 111k|  78k|  78k| 111k|  79k| 478 |   0 |   0 | 6.592824e+01 |      --      |    Inf 
1797.04/1797.54	c  1791s|     1 |     2 | 59930 | 552M|   0 |   - | 111k|  78k|  78k| 111k|  79k| 478 |   0 |   0 | 6.592824e+01 |      --      |    Inf 
1797.04/1797.54	c 
1797.04/1797.54	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.54	c Solving Time (sec) : 1791.32
1797.04/1797.54	c Solving Nodes      : 1
1797.04/1797.54	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.04/1797.54	c Dual Bound         : +6.59282362498380e+01
1797.04/1797.54	c Gap                : infinite
1797.04/1797.54	c NODE         1
1797.04/1797.54	c DUAL BOUND   65.9282
1797.04/1797.54	c PRIMAL BOUND 1e+20
1797.04/1797.54	c GAP          1e+20
1797.04/1797.54	s UNKNOWN
1797.04/1797.54	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.54	c Solving Time       :    1791.32
1797.04/1797.54	c Original Problem   :
1797.04/1797.54	c   Problem name     : HOME/instance-1868726-1245135215.opb
1797.04/1797.54	c   Variables        : 147395 (147395 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.54	c   Constraints      : 26533 initial, 26533 maximal
1797.04/1797.54	c Presolved Problem  :
1797.04/1797.54	c   Problem name     : t_HOME/instance-1868726-1245135215.opb
1797.04/1797.54	c   Variables        : 111324 (111324 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.54	c   Constraints      : 78978 initial, 78978 maximal
1797.04/1797.54	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.04/1797.54	c   trivial          :       1.53          0          0          0          0          0          0          0          0
1797.04/1797.54	c   dualfix          :       2.19      35585          0          0          0          0          0          0          0
1797.04/1797.54	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.04/1797.54	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.04/1797.54	c   implics          :       1.35          0          0          0          0          0          0          0          0
1797.04/1797.54	c   probing          :      88.84        337        143          0          0          0          0          0          0
1797.04/1797.54	c   knapsack         :     924.50          0          0          0          0          0      12256      89657     185503
1797.04/1797.54	c   setppc           :      12.54          0          0          0          0          0      24867         28          0
1797.04/1797.54	c   linear           :       0.94          1          5          0          1          0         63      16864      16864
1797.04/1797.54	c   logicor          :       0.00          0          0          0          0          0          2          0          0
1797.04/1797.54	c   root node        :          -          0          -          -          0          -          -          -          -
1797.04/1797.54	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.54	c   integral         :          0          0          0          0          0          0          0          0          0          0
1797.04/1797.54	c   knapsack         :      13322          1       4478          0          1          0          0        200          0          0
1797.04/1797.54	c   setppc           :      65294          1       4478          0          1        150          0          0          0          0
1797.04/1797.54	c   linear           :        352          1       4328          0          0        129          0          0          0          0
1797.04/1797.54	c   logicor          :         10          1         51          0          1          0          0          0          0          0
1797.04/1797.54	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1797.04/1797.54	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.04/1797.54	c   integral         :       0.00       0.00       0.00       0.00       0.00
1797.04/1797.54	c   knapsack         :       7.15       0.06       7.09       0.00       0.00
1797.04/1797.54	c   setppc           :      26.18       0.01      26.15       0.00       0.02
1797.04/1797.54	c   linear           :       0.82       0.52       0.30       0.00       0.00
1797.04/1797.54	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1797.04/1797.54	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.04/1797.54	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.04/1797.54	c   rootredcost      :       0.00          0          0          0
1797.04/1797.54	c   pseudoobj        :       0.00          2          0          0
1797.04/1797.54	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.04/1797.54	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.54	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.54	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.54	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.54	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.54	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.04/1797.54	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.04/1797.54	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.04/1797.54	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 574)
1797.04/1797.54	c   redcost          :       0.02          1          0          0          0          0
1797.04/1797.54	c   impliedbounds    :       0.05          1          0          0        744          0
1797.04/1797.54	c   intobj           :       0.00          0          0          0          0          0
1797.04/1797.54	c   gomory           :      72.74          1          0          0         59          0
1797.04/1797.54	c   strongcg         :      63.66          1          0          0          1          0
1797.04/1797.54	c   cmir             :       0.00          0          0          0          0          0
1797.04/1797.54	c   flowcover        :       0.00          0          0          0          0          0
1797.04/1797.54	c   clique           :       0.00          1          0          0          0          0
1797.04/1797.54	c   zerohalf         :       0.00          0          0          0          0          0
1797.04/1797.54	c   mcf              :       0.19          1          0          0          0          0
1797.04/1797.54	c Pricers            :       Time      Calls       Vars
1797.04/1797.54	c   problem variables:       0.00          0          0
1797.04/1797.54	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.54	c   relpscost        :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   pscost           :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   inference        :       0.05          1          0          0          0          0          2
1797.04/1797.54	c   mostinf          :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   leastinf         :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.04/1797.54	c   random           :       0.00          0          0          0          0          0          0
1797.04/1797.54	c Primal Heuristics  :       Time      Calls      Found
1797.04/1797.54	c   LP solutions     :       0.00          -          0
1797.04/1797.54	c   pseudo solutions :       0.00          -          0
1797.04/1797.54	c   oneopt           :       0.00          0          0
1797.04/1797.54	c   simplerounding   :       0.02          0          0
1797.04/1797.54	c   rounding         :       0.01          1          0
1797.04/1797.54	c   shifting         :       0.34          1          0
1797.04/1797.54	c   intshifting      :       0.00          0          0
1797.04/1797.54	c   fixandinfer      :       0.00          0          0
1797.04/1797.54	c   feaspump         :     364.79          1          0
1797.04/1797.54	c   coefdiving       :       0.00          0          0
1797.04/1797.54	c   pscostdiving     :       0.00          0          0
1797.04/1797.54	c   fracdiving       :       0.00          0          0
1797.04/1797.54	c   veclendiving     :       0.00          0          0
1797.04/1797.54	c   intdiving        :       0.00          0          0
1797.04/1797.54	c   actconsdiving    :       0.00          0          0
1797.04/1797.54	c   objpscostdiving  :       0.00          0          0
1797.04/1797.54	c   rootsoldiving    :       0.00          0          0
1797.04/1797.54	c   linesearchdiving :       0.00          0          0
1797.04/1797.54	c   guideddiving     :       0.00          0          0
1797.04/1797.54	c   octane           :       0.00          0          0
1797.04/1797.54	c   rens             :       0.00          0          0
1797.04/1797.54	c   rins             :       0.00          0          0
1797.04/1797.54	c   localbranching   :       0.00          0          0
1797.04/1797.54	c   mutation         :       0.00          0          0
1797.04/1797.54	c   crossover        :       0.00          0          0
1797.04/1797.54	c   dins             :       0.00          0          0
1797.04/1797.54	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.04/1797.54	c   primal LP        :       0.00          0          0       0.00          -
1797.04/1797.54	c   dual LP          :     254.57          1      27929   27929.00     109.71
1797.04/1797.54	c   barrier LP       :       0.00          0          0       0.00          -
1797.04/1797.54	c   diving/probing LP:     358.80         51      32001     627.47      89.19
1797.04/1797.54	c   strong branching :       0.00          0          0       0.00          -
1797.04/1797.54	c     (at root node) :          -          0          0       0.00          -
1797.04/1797.54	c   conflict analysis:       0.00          0          0       0.00          -
1797.04/1797.54	c B&B Tree           :
1797.04/1797.54	c   number of runs   :          1
1797.04/1797.54	c   nodes            :          1
1797.04/1797.54	c   nodes (total)    :          1
1797.04/1797.54	c   nodes left       :          2
1797.04/1797.54	c   max depth        :          0
1797.04/1797.54	c   max depth (total):          0
1797.04/1797.54	c   backtracks       :          0 (0.0%)
1797.04/1797.54	c   delayed cutoffs  :          0
1797.04/1797.54	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.04/1797.54	c   avg switch length:       1.00
1797.04/1797.54	c   switching time   :       0.00
1797.04/1797.54	c Solution           :
1797.04/1797.54	c   Solutions found  :          0 (0 improvements)
1797.04/1797.54	c   Primal Bound     :          -
1797.04/1797.54	c   Dual Bound       : +6.59282362498380e+01
1797.04/1797.54	c   Gap              :   infinite
1797.04/1797.54	c   Root Dual Bound  : +6.59282362498380e+01

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868726-1245135215/watcher-1868726-1245135215 -o /tmp/evaluation-result-1868726-1245135215/solver-1868726-1245135215 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868726-1245135215.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1890
/proc/meminfo: memFree=1936616/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=4648 CPUtime=0
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 492 0 0 0 0 0 0 0 18 0 1 0 181118858 4759552 476 1992294400 4194304 7823515 548682068736 18446744073709551615 6124882 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 1122 484 318 886 0 232 0

[startup+0.0288399 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1890
/proc/meminfo: memFree=1936616/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=13428 CPUtime=0.01
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 2699 0 0 0 1 0 0 0 18 0 1 0 181118858 13750272 2681 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 3357 2681 354 886 0 2467 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13428

[startup+0.101846 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1890
/proc/meminfo: memFree=1936616/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=25444 CPUtime=0.09
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 5695 0 0 0 7 2 0 0 18 0 1 0 181118858 26054656 5677 1992294400 4194304 7823515 548682068736 18446744073709551615 6965802 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 6361 5677 354 886 0 5471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25444

[startup+0.301865 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1890
/proc/meminfo: memFree=1936616/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=60912 CPUtime=0.29
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 14537 0 0 0 23 6 0 0 19 0 1 0 181118858 62373888 14519 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 15228 14519 354 886 0 14338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60912

[startup+0.701905 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1890
/proc/meminfo: memFree=1936616/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=114320 CPUtime=0.69
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 27888 0 0 0 57 12 0 0 22 0 1 0 181118858 117063680 27870 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 28580 27870 354 886 0 27690 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114320

[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1822304/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=145712 CPUtime=1.49
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 35705 0 0 0 135 14 0 0 25 0 1 0 181118858 149209088 35333 1992294400 4194304 7823515 548682068736 18446744073709551615 6911751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 36428 35334 367 886 0 35538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145712

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1655008/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=294248 CPUtime=3.09
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 72844 0 0 0 278 31 0 0 25 0 1 0 181118858 301309952 72472 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 73562 72472 419 886 0 72672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 294248

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1475168/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=471936 CPUtime=6.29
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 116907 0 0 0 579 50 0 0 25 0 1 0 181118858 483262464 115691 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 117984 115691 435 886 0 117094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 471936

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1460136/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=487252 CPUtime=12.69
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 120724 0 0 0 1216 53 0 0 25 0 1 0 181118858 498946048 119508 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 121813 119508 435 886 0 120923 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 487252

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1443304/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=503352 CPUtime=25.49
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 124716 0 0 0 2493 56 0 0 25 0 1 0 181118858 515432448 123500 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 125838 123500 435 886 0 124948 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 503352

[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1433000/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=516804 CPUtime=51.08
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 127589 0 0 0 5050 58 0 0 25 0 1 0 181118858 529207296 126373 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 129201 126373 435 886 0 128311 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 516804

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1426152/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=523040 CPUtime=102.27
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 132405 0 0 0 10157 70 0 0 25 0 1 0 181118858 535592960 127785 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 130760 127785 438 886 0 129870 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 523040

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1381672/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=567240 CPUtime=162.25
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 143547 0 0 0 16142 83 0 0 25 0 1 0 181118858 580853760 138892 1992294400 4194304 7823515 548682068736 18446744073709551615 6908168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 141810 138892 460 886 0 140920 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 567240

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1381608/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=567240 CPUtime=222.23
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 143549 0 0 0 22138 85 0 0 25 0 1 0 181118858 580853760 138894 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 141810 138894 460 886 0 140920 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 567240

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1381608/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=567240 CPUtime=282.22
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 143549 0 0 0 28129 93 0 0 25 0 1 0 181118858 580853760 138894 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 141810 138894 460 886 0 140920 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 567240

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1368936/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=579828 CPUtime=342.2
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146697 0 0 0 34108 112 0 0 25 0 1 0 181118858 593743872 142042 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 144957 142042 461 886 0 144067 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 579828

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1891
/proc/meminfo: memFree=1368936/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=579828 CPUtime=402.19
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146697 0 0 0 40080 139 0 0 25 0 1 0 181118858 593743872 142042 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 144957 142042 461 886 0 144067 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 579828

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1368744/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=579828 CPUtime=462.17
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146697 0 0 0 46057 160 0 0 25 0 1 0 181118858 593743872 142042 1992294400 4194304 7823515 548682068736 18446744073709551615 6908082 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 144957 142042 461 886 0 144067 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 579828

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367656/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=522.16
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146953 0 0 0 52030 186 0 0 25 0 1 0 181118858 594792448 142298 1992294400 4194304 7823515 548682068736 18446744073709551615 5135798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142298 461 886 0 144323 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 580852

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367656/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=582.14
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146953 0 0 0 58018 196 0 0 25 0 1 0 181118858 594792448 142298 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142298 461 886 0 144323 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 580852

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367656/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=642.13
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146953 0 0 0 63983 230 0 0 25 0 1 0 181118858 594792448 142298 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142298 461 886 0 144323 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 580852

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367528/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=882.06
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146958 0 0 0 87899 307 0 0 25 0 1 0 181118858 594792448 142303 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142303 466 886 0 144323 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 580852

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367528/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=942.05
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146958 0 0 0 93889 316 0 0 25 0 1 0 181118858 594792448 142303 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142303 466 886 0 144323 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 580852

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1367464/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=580852 CPUtime=1002.04
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 146958 0 0 0 99868 336 0 0 25 0 1 0 181118858 594792448 142303 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 145213 142303 466 886 0 144323 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 580852

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1229608/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=737120 CPUtime=1062.02
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 187091 0 0 0 105830 372 0 0 25 0 1 0 181118858 754810880 176745 1992294400 4194304 7823515 548682068736 18446744073709551615 6151321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 184280 176745 531 886 0 183390 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 737120

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1224488/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=738868 CPUtime=1122.01
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 188355 0 0 0 111824 377 0 0 25 0 1 0 181118858 756600832 178005 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 184717 178005 531 886 0 183827 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 738868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1223912/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=738868 CPUtime=1181.99
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 188499 0 0 0 117818 381 0 0 25 0 1 0 181118858 756600832 178149 1992294400 4194304 7823515 548682068736 18446744073709551615 6211461 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 184717 178149 531 886 0 183827 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 738868

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1223656/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=738868 CPUtime=1241.98
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 188517 0 0 0 123813 385 0 0 25 0 1 0 181118858 756600832 178167 1992294400 4194304 7823515 548682068736 18446744073709551615 6212656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 184717 178167 531 886 0 183827 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 738868

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1219432/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=747184 CPUtime=1301.96
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 189608 0 0 0 129807 389 0 0 25 0 1 0 181118858 765116416 179233 1992294400 4194304 7823515 548682068736 18446744073709551615 6217361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 186796 179233 542 886 0 185906 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 747184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1219240/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=747184 CPUtime=1361.94
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 189632 0 0 0 135799 395 0 0 25 0 1 0 181118858 765116416 179257 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 186796 179257 542 886 0 185906 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 747184

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1213032/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1421.94
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191171 0 0 0 141794 400 0 0 25 0 1 0 181118858 770306048 180796 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 180796 542 886 0 187173 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 752252

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1212904/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1481.92
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191202 0 0 0 147788 404 0 0 25 0 1 0 181118858 770306048 180827 1992294400 4194304 7823515 548682068736 18446744073709551615 6149923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 180827 542 886 0 187173 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 752252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1212840/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1541.9
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191209 0 0 0 153782 408 0 0 25 0 1 0 181118858 770306048 180834 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 180834 542 886 0 187173 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 752252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1212712/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1601.88
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191232 0 0 0 159771 417 0 0 25 0 1 0 181118858 770306048 180857 1992294400 4194304 7823515 548682068736 18446744073709551615 6151760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 180857 542 886 0 187173 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 752252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1210024/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1661.88
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191946 0 0 0 165762 426 0 0 25 0 1 0 181118858 770306048 181531 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 181531 550 886 0 187173 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 752252

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1209832/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1721.86
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191992 0 0 0 171753 433 0 0 25 0 1 0 181118858 770306048 181577 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 181577 552 886 0 187173 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 752252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1209768/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1781.84
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 191993 0 0 0 177745 439 0 0 25 0 1 0 181118858 770306048 181578 1992294400 4194304 7823515 548682068736 18446744073709551615 5965392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1890/statm: 188063 181578 553 886 0 187173 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 752252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1897
/proc/meminfo: memFree=1207656/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=752252 CPUtime=1800.04
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4194304 192534 0 0 0 179560 444 0 0 25 0 1 0 181118858 770306048 182119 1992294400 4194304 7823515 548682068736 18446744073709551615 4400784 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 188063 182119 568 886 0 187173 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 752252

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1898
/proc/meminfo: memFree=1863072/2055920 swapFree=4181364/4192956
[pid=1890] ppid=1888 vsize=0 CPUtime=1800.15
/proc/1890/stat : 1890 (pbscip.linux.x8) R 1888 1890 1710 0 -1 4195332 192534 0 0 0 179561 454 0 0 25 0 1 0 181118858 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/1890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.16
CPU user time (s): 1795.61
CPU system time (s): 4.55231
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 752252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.61
system time used= 4.55231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192534
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= 3
involuntary context switches= 1510

runsolver used 1.66075 second user time and 3.9454 second system time

The end

Launcher Data 

Begin job on node36 at 2009-06-16 08:53:35
IDJOB=1868726
IDBENCH=1876
IDSOLVER=683
FILE ID=node36/1868726-1245135215
PBS_JOBID= 9363695
Free space on /tmp= 66192 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868726-1245135215/watcher-1868726-1245135215 -o /tmp/evaluation-result-1868726-1245135215/solver-1868726-1245135215 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868726-1245135215.opb

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

MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9
RANDOM SEED=2131852308

node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1937032 kB
Buffers:          8548 kB
Cached:          64268 kB
SwapCached:       6404 kB
Active:          65520 kB
Inactive:        16144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1937032 kB
SwapTotal:     4192956 kB
SwapFree:      4181364 kB
Dirty:           15692 kB
Writeback:           0 kB
Mapped:          13340 kB
Slab:            23248 kB
Committed_AS:   168644 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66184 MiB
End job on node36 at 2009-06-16 09:23:38