Trace number 1868730

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)? 1795.62 1795.39

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark590.273
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.38	c SCIP version 1.1.0.7
0.29/0.38	c LP-Solver SoPlex 1.4.1
0.29/0.38	c user parameter file <scip.set> not found - using default parameters
0.29/0.38	c read problem <HOME/instance-1868730-1245135712.opb>
0.29/0.38	c original problem has 12596 variables (12596 bin, 0 int, 0 impl, 0 cont) and 10687 constraints
0.49/0.54	c start presolving problem
0.49/0.54	c presolving:
0.69/0.70	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 393 chg sides, 429 chg coeffs, 0 upgd conss, 48 impls, 7837 clqs
0.79/0.87	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 393 chg sides, 429 chg coeffs, 8331 upgd conss, 48 impls, 7837 clqs
0.99/1.01	c (round 3) 39 del vars, 22 del conss, 8 chg bounds, 988 chg sides, 1702 chg coeffs, 8331 upgd conss, 1308 impls, 8107 clqs
0.99/1.09	c (round 4) 42 del vars, 129 del conss, 8 chg bounds, 1211 chg sides, 2011 chg coeffs, 8342 upgd conss, 1348 impls, 8122 clqs
1.10/1.14	c (round 5) 42 del vars, 140 del conss, 8 chg bounds, 1226 chg sides, 2047 chg coeffs, 8342 upgd conss, 1360 impls, 8138 clqs
1.10/1.20	c (round 6) 42 del vars, 279 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 1372 impls, 8138 clqs
1.19/1.23	c (round 7) 42 del vars, 281 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 1372 impls, 8138 clqs
15.49/15.55	c    (15.0s) probing: 1000/12554 (8.0%) - 39 fixings, 2 aggregations, 207163 implications, 0 bound changes
17.50/17.51	c (round 8) 93 del vars, 281 del conss, 8 chg bounds, 1232 chg sides, 2061 chg coeffs, 8342 upgd conss, 479812 impls, 8127 clqs
17.50/17.56	c (round 9) 95 del vars, 293 del conss, 8 chg bounds, 1232 chg sides, 2124 chg coeffs, 8342 upgd conss, 479830 impls, 8132 clqs
17.60/17.63	c (round 10) 95 del vars, 296 del conss, 8 chg bounds, 1239 chg sides, 2161 chg coeffs, 8347 upgd conss, 479840 impls, 8133 clqs
29.40/29.40	c    (28.8s) probing: 2000/12554 (15.9%) - 70 fixings, 5 aggregations, 352868 implications, 0 bound changes
40.59/40.66	c    (40.0s) probing: 3000/12554 (23.9%) - 92 fixings, 5 aggregations, 435442 implications, 0 bound changes
42.08/42.14	c (round 11) 145 del vars, 296 del conss, 8 chg bounds, 1239 chg sides, 2177 chg coeffs, 8347 upgd conss, 927312 impls, 8138 clqs
42.18/42.22	c (round 12) 148 del vars, 308 del conss, 8 chg bounds, 1239 chg sides, 2226 chg coeffs, 8355 upgd conss, 927380 impls, 8164 clqs
42.18/42.29	c (round 13) 149 del vars, 309 del conss, 8 chg bounds, 1241 chg sides, 2265 chg coeffs, 8355 upgd conss, 927416 impls, 8188 clqs
42.28/42.34	c (round 14) 150 del vars, 310 del conss, 8 chg bounds, 1242 chg sides, 2286 chg coeffs, 8355 upgd conss, 927416 impls, 8212 clqs
42.38/42.40	c (round 15) 150 del vars, 312 del conss, 8 chg bounds, 1242 chg sides, 2303 chg coeffs, 8355 upgd conss, 927416 impls, 8235 clqs
52.59/52.66	c    (51.9s) probing: 4000/12554 (31.9%) - 112 fixings, 9 aggregations, 508670 implications, 0 bound changes
59.59/59.62	c (round 16) 200 del vars, 312 del conss, 8 chg bounds, 1242 chg sides, 2316 chg coeffs, 8355 upgd conss, 1159361 impls, 8239 clqs
59.68/59.71	c (round 17) 205 del vars, 329 del conss, 8 chg bounds, 1268 chg sides, 2463 chg coeffs, 8361 upgd conss, 1159573 impls, 8273 clqs
59.68/59.79	c (round 18) 205 del vars, 338 del conss, 8 chg bounds, 1282 chg sides, 2568 chg coeffs, 8361 upgd conss, 1159603 impls, 8301 clqs
59.78/59.86	c (round 19) 205 del vars, 340 del conss, 8 chg bounds, 1282 chg sides, 2607 chg coeffs, 8361 upgd conss, 1159605 impls, 8312 clqs
64.19/64.24	c    (63.4s) probing: 5000/12554 (39.8%) - 148 fixings, 13 aggregations, 587895 implications, 0 bound changes
74.69/74.74	c (round 20) 255 del vars, 340 del conss, 8 chg bounds, 1282 chg sides, 2635 chg coeffs, 8361 upgd conss, 1358430 impls, 8311 clqs
74.79/74.84	c (round 21) 258 del vars, 356 del conss, 8 chg bounds, 1306 chg sides, 2735 chg coeffs, 8361 upgd conss, 1358704 impls, 8333 clqs
74.88/74.93	c (round 22) 258 del vars, 366 del conss, 8 chg bounds, 1311 chg sides, 2779 chg coeffs, 8370 upgd conss, 1358714 impls, 8346 clqs
74.88/74.99	c (round 23) 258 del vars, 366 del conss, 8 chg bounds, 1313 chg sides, 2793 chg coeffs, 8370 upgd conss, 1358714 impls, 8352 clqs
75.29/75.33	c    (74.4s) probing: 6000/12554 (47.8%) - 181 fixings, 20 aggregations, 647844 implications, 0 bound changes
85.48/85.53	c    (84.6s) probing: 7000/12554 (55.8%) - 206 fixings, 24 aggregations, 706354 implications, 0 bound changes
95.39/95.47	c    (94.5s) probing: 8000/12554 (63.7%) - 218 fixings, 27 aggregations, 763060 implications, 0 bound changes
95.69/95.73	c (round 24) 313 del vars, 366 del conss, 8 chg bounds, 1313 chg sides, 2801 chg coeffs, 8370 upgd conss, 1629692 impls, 8342 clqs
95.79/95.83	c (round 25) 318 del vars, 382 del conss, 8 chg bounds, 1319 chg sides, 2903 chg coeffs, 8370 upgd conss, 1629738 impls, 8355 clqs
95.89/95.91	c (round 26) 318 del vars, 387 del conss, 8 chg bounds, 1356 chg sides, 3054 chg coeffs, 8378 upgd conss, 1629780 impls, 8384 clqs
95.89/95.98	c (round 27) 318 del vars, 391 del conss, 8 chg bounds, 1356 chg sides, 3077 chg coeffs, 8378 upgd conss, 1629780 impls, 8391 clqs
106.38/106.48	c    (105.4s) probing: 9000/12554 (71.7%) - 250 fixings, 34 aggregations, 868344 implications, 0 bound changes
110.79/110.82	c (round 28) 370 del vars, 391 del conss, 8 chg bounds, 1356 chg sides, 3092 chg coeffs, 8378 upgd conss, 1898411 impls, 8381 clqs
110.89/110.94	c (round 29) 376 del vars, 407 del conss, 8 chg bounds, 1372 chg sides, 3215 chg coeffs, 8398 upgd conss, 1898659 impls, 8410 clqs
111.00/111.03	c (round 30) 376 del vars, 410 del conss, 8 chg bounds, 1387 chg sides, 3302 chg coeffs, 8398 upgd conss, 1898683 impls, 8435 clqs
115.59/115.66	c    (114.6s) probing: 10000/12554 (79.7%) - 299 fixings, 41 aggregations, 913003 implications, 0 bound changes
116.29/116.30	c (round 31) 433 del vars, 411 del conss, 9 chg bounds, 1387 chg sides, 3325 chg coeffs, 8398 upgd conss, 1951805 impls, 8424 clqs
116.39/116.41	c (round 32) 439 del vars, 433 del conss, 9 chg bounds, 1390 chg sides, 3391 chg coeffs, 8398 upgd conss, 1952535 impls, 8438 clqs
116.39/116.48	c (round 33) 439 del vars, 435 del conss, 9 chg bounds, 1402 chg sides, 3448 chg coeffs, 8409 upgd conss, 1952539 impls, 8445 clqs
116.49/116.53	c (round 34) 439 del vars, 443 del conss, 9 chg bounds, 1402 chg sides, 3464 chg coeffs, 8409 upgd conss, 1952539 impls, 8455 clqs
124.89/124.97	c    (123.8s) probing: 11000/12554 (87.6%) - 350 fixings, 47 aggregations, 974898 implications, 1 bound changes
132.89/132.94	c (round 35) 501 del vars, 443 del conss, 10 chg bounds, 1402 chg sides, 3470 chg coeffs, 8409 upgd conss, 2236332 impls, 8429 clqs
133.00/133.06	c (round 36) 503 del vars, 469 del conss, 10 chg bounds, 1460 chg sides, 3766 chg coeffs, 8417 upgd conss, 2236492 impls, 8469 clqs
133.09/133.16	c (round 37) 503 del vars, 504 del conss, 10 chg bounds, 1478 chg sides, 3934 chg coeffs, 8417 upgd conss, 2236492 impls, 8493 clqs
134.99/135.09	c    (133.9s) probing: 12000/12554 (95.6%) - 377 fixings, 55 aggregations, 1060090 implications, 2 bound changes
136.60/136.64	c    (135.4s) probing: 12279/12554 (97.8%) - 377 fixings, 55 aggregations, 1060555 implications, 2 bound changes
136.60/136.64	c    (135.4s) probing aborted: 100/100 successive totally useless probings
136.60/136.65	c (round 38) 508 del vars, 505 del conss, 10 chg bounds, 1478 chg sides, 4000 chg coeffs, 8417 upgd conss, 2254262 impls, 8505 clqs
136.70/136.77	c (round 39) 508 del vars, 505 del conss, 10 chg bounds, 1478 chg sides, 4067 chg coeffs, 8422 upgd conss, 2254262 impls, 8543 clqs
136.79/136.89	c    (135.7s) probing: 12289/12554 (97.9%) - 377 fixings, 55 aggregations, 1060555 implications, 2 bound changes
136.79/136.89	c    (135.7s) probing aborted: 100/100 successive totally useless probings
136.79/136.89	c presolving (40 rounds):
136.79/136.89	c  508 deleted vars, 505 deleted constraints, 10 tightened bounds, 0 added holes, 1478 changed sides, 4119 changed coefficients
136.79/136.89	c  2254262 implications, 8567 cliques
136.79/136.89	c presolved problem has 12088 variables (12088 bin, 0 int, 0 impl, 0 cont) and 10974 constraints
136.79/136.89	c     313 constraints of type <knapsack>
136.79/136.89	c    8340 constraints of type <setppc>
136.79/136.89	c    2258 constraints of type <linear>
136.79/136.89	c      63 constraints of type <logicor>
136.79/136.89	c transformed objective value is always integral (scale: 1)
136.79/136.89	c Presolving Time: 135.57
136.79/136.90	c OPT-LIN
136.79/136.90	c -----------------------------------------------------------------------------------------------
136.79/136.90	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
136.79/136.90	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
136.79/136.90	c limits/memory = c 1620
136.79/136.90	c # maximal time in seconds to run
136.79/136.90	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
136.79/136.90	c limits/time = c 1791
136.79/136.90	c # frequency for displaying node information lines
136.79/136.90	c # [type: int, range: [-1,2147483647], default: 100]
136.79/136.90	c display/freq = c 10000
136.79/136.90	c -----------------------------------------------------------------------------------------------
136.79/136.90	c start solving problem
136.79/136.90	c 
202.71/202.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
202.71/202.74	c   201s|     1 |     0 | 26886 | 121M|   0 | 995 |  12k|  10k|  10k|  12k|  10k|   0 |   0 |   0 |-1.048953e+04 |      --      |    Inf 
396.93/396.97	c   395s|     1 |     0 | 63672 | 127M|   0 | 910 |  12k|  10k|  10k|  12k|  11k| 475 |   0 |   0 |-1.041728e+04 |      --      |    Inf 
421.43/421.44	c   419s|     1 |     0 | 67950 | 131M|   0 | 805 |  12k|  10k|  10k|  12k|  11k| 607 |   0 |   0 |-1.039413e+04 |      --      |    Inf 
435.93/435.96	c   434s|     1 |     0 | 71472 | 132M|   0 | 744 |  12k|  10k|  10k|  12k|  11k| 658 |   0 |   0 |-1.038140e+04 |      --      |    Inf 
467.03/467.05	c   465s|     1 |     0 | 77544 | 133M|   0 | 895 |  12k|  10k|  10k|  12k|  11k| 701 |   0 |   0 |-1.035123e+04 |      --      |    Inf 
490.34/490.33	c   488s|     1 |     0 | 82417 | 134M|   0 | 923 |  12k|  10k|  10k|  12k|  11k| 751 |   0 |   0 |-1.032788e+04 |      --      |    Inf 
509.64/509.69	c   507s|     1 |     0 | 86468 | 134M|   0 | 988 |  12k|  10k|  10k|  12k|  11k| 771 |   0 |   0 |-1.031072e+04 |      --      |    Inf 
524.44/524.48	c   522s|     1 |     0 | 89017 | 136M|   0 | 996 |  12k|  10k|  10k|  12k|  11k| 809 |   0 |   0 |-1.028624e+04 |      --      |    Inf 
538.85/538.86	c   536s|     1 |     0 | 92140 | 136M|   0 | 950 |  12k|  10k|  10k|  12k|  11k| 825 |   0 |   0 |-1.028368e+04 |      --      |    Inf 
553.85/553.81	c   551s|     1 |     0 | 94866 | 136M|   0 | 965 |  12k|  10k|  10k|  12k|  11k| 837 |   0 |   0 |-1.028345e+04 |      --      |    Inf 
571.45/571.42	c   569s|     1 |     0 | 97669 | 136M|   0 | 965 |  12k|  10k|  10k|  12k|  11k| 842 |   0 |   0 |-1.028338e+04 |      --      |    Inf 
590.76/590.80	c   588s|     1 |     0 |101975 | 136M|   0 | 933 |  12k|  10k|  10k|  12k|  11k| 850 |   0 |   0 |-1.028004e+04 |      --      |    Inf 
606.76/606.76	c   604s|     1 |     0 |103863 | 138M|   0 | 395 |  12k|  10k|  10k|  12k|  11k| 870 |   0 |   0 |-1.027745e+04 |      --      |    Inf 
613.56/613.53	c   611s|     1 |     0 |105179 | 138M|   0 | 491 |  12k|  10k|  10k|  12k|  11k| 877 |   0 |   0 |-1.027726e+04 |      --      |    Inf 
621.46/621.41	c   619s|     1 |     0 |106670 | 138M|   0 | 466 |  12k|  10k|  10k|  12k|  11k| 884 |   0 |   0 |-1.027725e+04 |      --      |    Inf 
631.06/631.08	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
631.06/631.08	c   628s|     1 |     0 |108509 | 139M|   0 | 502 |  12k|  10k|  10k|  12k|  11k| 896 |   0 |   0 |-1.027725e+04 |      --      |    Inf 
640.66/640.64	c   638s|     1 |     0 |110344 | 139M|   0 | 495 |  12k|  10k|  10k|  12k|  11k| 901 |   0 |   0 |-1.027725e+04 |      --      |    Inf 
650.56/650.51	c   648s|     1 |     0 |112192 | 139M|   0 | 451 |  12k|  10k|  10k|  12k|  11k| 906 |   0 |   0 |-1.027725e+04 |      --      |    Inf 
766.68/766.62	c   764s|     1 |     2 |112192 | 139M|   0 | 451 |  12k|  10k|  10k|  12k|  11k| 906 |   0 |  40 |-1.027725e+04 |      --      |    Inf 
1795.21/1795.10	c 
1795.21/1795.10	c SCIP Status        : solving was interrupted [time limit reached]
1795.21/1795.10	c Solving Time (sec) : 1791.00
1795.21/1795.10	c Solving Nodes      : 14
1795.21/1795.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.21/1795.10	c Dual Bound         : -1.02700000000000e+04
1795.21/1795.10	c Gap                : infinite
1795.21/1795.10	c NODE         14
1795.21/1795.10	c DUAL BOUND   -10270
1795.21/1795.10	c PRIMAL BOUND 1e+20
1795.21/1795.10	c GAP          1e+20
1795.21/1795.10	s UNKNOWN
1795.21/1795.10	c SCIP Status        : solving was interrupted [time limit reached]
1795.21/1795.10	c Solving Time       :    1791.00
1795.21/1795.10	c Original Problem   :
1795.21/1795.10	c   Problem name     : HOME/instance-1868730-1245135712.opb
1795.21/1795.10	c   Variables        : 12596 (12596 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.21/1795.10	c   Constraints      : 10687 initial, 10687 maximal
1795.21/1795.10	c Presolved Problem  :
1795.21/1795.10	c   Problem name     : t_HOME/instance-1868730-1245135712.opb
1795.21/1795.10	c   Variables        : 12088 (12088 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.21/1795.10	c   Constraints      : 10974 initial, 11020 maximal
1795.21/1795.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.21/1795.10	c   trivial          :       0.13          2          0          0          0          0          0          0          0
1795.21/1795.10	c   dualfix          :       0.08          0          0          0          0          0          0          0          0
1795.21/1795.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.21/1795.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.21/1795.10	c   implics          :       0.19          0         32          0          0          0          0          0          0
1795.21/1795.10	c   probing          :     132.60        377         55          0          2          0          0          0          0
1795.21/1795.10	c   knapsack         :       1.17          2          0          0          8          0        121       1085       3690
1795.21/1795.10	c   setppc           :       0.51          1         31          0          0          0        369          0          0
1795.21/1795.10	c   linear           :       0.56          8          0          0          0          0          7        393        429
1795.21/1795.10	c   logicor          :       0.01          0          0          0          0          0          8          0          0
1795.21/1795.10	c   root node        :          -          0          -          -          0          -          -          -          -
1795.21/1795.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.21/1795.10	c   integral         :          0          0          0         14          0          0          0          0          0         28
1795.21/1795.10	c   knapsack         :        313         17      70483          0          0         21          0        140          0          0
1795.21/1795.10	c   setppc           :       8340         17      70462          0          0         25        259          0          0          0
1795.21/1795.10	c   linear           :       2258         17      70437          0          0        140        113         45          0          0
1795.21/1795.10	c   logicor          :         63+        17       2592          0          0         12          0          0          0          0
1795.21/1795.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.21/1795.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.21/1795.10	c   integral         :     774.97       0.00       0.00     774.97       0.00
1795.21/1795.10	c   knapsack         :       3.32       0.03       3.29       0.00       0.00
1795.21/1795.10	c   setppc           :      59.72       0.04      59.68       0.00       0.00
1795.21/1795.10	c   linear           :      25.75       6.01      19.74       0.00       0.00
1795.21/1795.10	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1795.21/1795.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.21/1795.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.21/1795.10	c   rootredcost      :       0.03          0          0          0
1795.21/1795.10	c   pseudoobj        :       0.11        397          0          0
1795.21/1795.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.21/1795.10	c   propagation      :       0.00          1          1          3       17.0          0        0.0          -
1795.21/1795.10	c   infeasible LP    :       0.03          5          5         58       52.4          1       12.0          0
1795.21/1795.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.21/1795.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.21/1795.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.21/1795.10	c   applied globally :          -          -          -         46       49.6          -          -          -
1795.21/1795.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.21/1795.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.21/1795.10	c   cut pool         :       0.06         16          -          -         56          -    (maximal pool size: 2142)
1795.21/1795.10	c   redcost          :       0.09         30          0          0          0          0
1795.21/1795.10	c   impliedbounds    :       0.16         17          0          0        751          0
1795.21/1795.10	c   intobj           :       0.00          0          0          0          0          0
1795.21/1795.10	c   gomory           :      44.38         17          0          0       1499          0
1795.21/1795.10	c   strongcg         :      35.73         17          0          0       1954          0
1795.21/1795.10	c   cmir             :       3.62         10          0          0          0          0
1795.21/1795.10	c   flowcover        :       2.67         10          0          0          0          0
1795.21/1795.10	c   clique           :      10.01         17          0          0        121          0
1795.21/1795.10	c   zerohalf         :       0.00          0          0          0          0          0
1795.21/1795.10	c   mcf              :       0.19          1          0          0          0          0
1795.21/1795.10	c Pricers            :       Time      Calls       Vars
1795.21/1795.10	c   problem variables:       0.00          0          0
1795.21/1795.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.21/1795.10	c   relpscost        :     774.97         14          0          0          0          0         28
1795.21/1795.10	c   pscost           :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   inference        :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   mostinf          :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   leastinf         :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.21/1795.10	c   random           :       0.00          0          0          0          0          0          0
1795.21/1795.10	c Primal Heuristics  :       Time      Calls      Found
1795.21/1795.10	c   LP solutions     :       0.00          -          0
1795.21/1795.10	c   pseudo solutions :       0.00          -          0
1795.21/1795.10	c   oneopt           :       0.00          0          0
1795.21/1795.10	c   veclendiving     :       0.00          0          0
1795.21/1795.10	c   objpscostdiving  :       0.00          0          0
1795.21/1795.10	c   rootsoldiving    :       0.00          0          0
1795.21/1795.10	c   coefdiving       :     141.16          1          0
1795.21/1795.10	c   pscostdiving     :     102.02          1          0
1795.21/1795.10	c   simplerounding   :       0.00          0          0
1795.21/1795.10	c   rounding         :       0.07         31          0
1795.21/1795.10	c   shifting         :       0.42         18          0
1795.21/1795.10	c   intshifting      :       0.00          0          0
1795.21/1795.10	c   fixandinfer      :       0.00          0          0
1795.32/1795.10	c   feaspump         :     167.57          1          0
1795.32/1795.10	c   fracdiving       :      39.85          1          0
1795.32/1795.10	c   intdiving        :       0.00          0          0
1795.32/1795.10	c   actconsdiving    :       0.00          0          0
1795.32/1795.10	c   linesearchdiving :       0.00          0          0
1795.32/1795.10	c   guideddiving     :       0.00          0          0
1795.32/1795.10	c   octane           :       0.00          0          0
1795.32/1795.10	c   rens             :       0.36          1          0
1795.32/1795.10	c   rins             :       0.00          0          0
1795.32/1795.10	c   localbranching   :       0.00          0          0
1795.32/1795.10	c   mutation         :       0.00          0          0
1795.32/1795.10	c   crossover        :       0.00          0          0
1795.32/1795.10	c   dins             :       0.00          0          0
1795.32/1795.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.32/1795.10	c   primal LP        :       0.07          0          0       0.00       0.00
1795.32/1795.10	c   dual LP          :     325.04         31     102927    3320.23     316.66
1795.32/1795.10	c   barrier LP       :       0.00          0          0       0.00          -
1795.32/1795.10	c   diving/probing LP:     447.92        250      95050     380.20     212.20
1795.32/1795.10	c   strong branching :     774.95        243     203780     838.60     262.96
1795.32/1795.10	c     (at root node) :          -         40      29469     736.73          -
1795.32/1795.10	c   conflict analysis:       0.00          0          0       0.00          -
1795.32/1795.10	c B&B Tree           :
1795.32/1795.10	c   number of runs   :          1
1795.32/1795.10	c   nodes            :         14
1795.32/1795.10	c   nodes (total)    :         14
1795.32/1795.10	c   nodes left       :         15
1795.32/1795.10	c   max depth        :          5
1795.32/1795.10	c   max depth (total):          5
1795.32/1795.10	c   backtracks       :          2 (14.3%)
1795.32/1795.10	c   delayed cutoffs  :          0
1795.32/1795.10	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.32/1795.10	c   avg switch length:       1.57
1795.32/1795.10	c   switching time   :       0.03
1795.32/1795.10	c Solution           :
1795.32/1795.10	c   Solutions found  :          0 (0 improvements)
1795.32/1795.10	c   Primal Bound     :          -
1795.32/1795.10	c   Dual Bound       : -1.02700000000000e+04
1795.32/1795.10	c   Gap              :   infinite
1795.32/1795.10	c   Root Dual Bound  : -1.02772544987147e+04
1795.51/1795.39	c Time complete: 1795.61.

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-1868730-1245135712/watcher-1868730-1245135712 -o /tmp/evaluation-result-1868730-1245135712/solver-1868730-1245135712 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868730-1245135712.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.03 1.01 1.00 3/64 29161
/proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=4648 CPUtime=0
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 181171660 4759552 474 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 1162 485 318 886 0 272 0

[startup+0.041858 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29161
/proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=12620 CPUtime=0.03
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 2485 0 0 0 3 0 0 0 18 0 1 0 181171660 12922880 2467 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 3155 2467 354 886 0 2265 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12620

[startup+0.101838 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29161
/proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=17476 CPUtime=0.09
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 3711 0 0 0 8 1 0 0 18 0 1 0 181171660 17895424 3693 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 4369 3693 354 886 0 3479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17476

[startup+0.301782 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29161
/proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=23080 CPUtime=0.29
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 5079 0 0 0 28 1 0 0 19 0 1 0 181171660 23633920 5061 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 5770 5061 354 886 0 4880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23080

[startup+0.701667 s]
/proc/loadavg: 1.03 1.01 1.00 3/64 29161
/proc/meminfo: memFree=1770512/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=62648 CPUtime=0.69
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 15071 0 0 0 63 6 0 0 22 0 1 0 181171660 64151552 14699 1992294400 4194304 7823515 548682068736 18446744073709551615 4243002 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 15662 14699 421 886 0 14772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62648

[startup+1.50144 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1696840/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=78856 CPUtime=1.49
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 19333 0 0 0 137 12 0 0 25 0 1 0 181171660 80748544 18880 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 19714 18880 460 886 0 18824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78856

[startup+3.10198 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1696008/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=81256 CPUtime=3.09
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 19918 0 0 0 296 13 0 0 25 0 1 0 181171660 83206144 19465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 20314 19465 460 886 0 19424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81256

[startup+6.30206 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1688456/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=87840 CPUtime=6.3
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 21525 0 0 0 614 16 0 0 25 0 1 0 181171660 89948160 21072 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 21960 21072 461 886 0 21070 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 87840

[startup+12.7012 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1683720/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=93052 CPUtime=12.69
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 22834 0 0 0 1250 19 0 0 25 0 1 0 181171660 95285248 22381 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 23263 22381 461 886 0 22373 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93052

[startup+25.5016 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1670024/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=106164 CPUtime=25.5
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 25953 0 0 0 2523 27 0 0 25 0 1 0 181171660 108711936 25500 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 26541 25500 466 886 0 25651 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 106164

[startup+51.1012 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1659528/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=118048 CPUtime=51.08
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 28979 0 0 0 5069 39 0 0 25 0 1 0 181171660 120881152 28526 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 29512 28526 466 886 0 28622 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118048

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1635336/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=140792 CPUtime=102.29
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 34629 0 0 0 10162 67 0 0 25 0 1 0 181171660 144171008 34176 1992294400 4194304 7823515 548682068736 18446744073709551615 5803639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 35198 34176 466 886 0 34308 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 140792

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1590024/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=189600 CPUtime=162.29
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 47880 0 0 0 16135 94 0 0 25 0 1 0 181171660 194150400 45532 1992294400 4194304 7823515 548682068736 18446744073709551615 6211224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 47400 45532 531 886 0 46510 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 189600

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1584200/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=196780 CPUtime=222.3
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 49759 0 0 0 22126 104 0 0 25 0 1 0 181171660 201502720 47336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 49195 47336 542 886 0 48305 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196780

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1582536/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=199036 CPUtime=282.31
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 49801 0 0 0 28122 109 0 0 25 0 1 0 181171660 203812864 47378 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 49759 47378 542 886 0 48869 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 199036

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1578952/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=201456 CPUtime=342.32
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 50711 0 0 0 34115 117 0 0 25 0 1 0 181171660 206290944 48278 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 50364 48278 542 886 0 49474 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 201456

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1560392/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=223892 CPUtime=402.33
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 58596 0 0 0 40048 185 0 0 25 0 1 0 181171660 229265408 52935 1992294400 4194304 7823515 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 55973 52935 572 886 0 55083 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 223892

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1539400/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=245412 CPUtime=462.33
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 63857 0 0 0 46036 197 0 0 25 0 1 0 181171660 251301888 58179 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 61353 58179 572 886 0 60463 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 245412

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1533576/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=250092 CPUtime=522.34
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 65342 0 0 0 52024 210 0 0 25 0 1 0 181171660 256094208 59609 1992294400 4194304 7823515 548682068736 18446744073709551615 6206056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 62523 59609 572 886 0 61633 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 250092

[startup+582.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1528840/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=255392 CPUtime=582.35
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 66553 0 0 0 58011 224 0 0 25 0 1 0 181171660 261521408 60786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 63848 60786 572 886 0 62958 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 255392

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1524168/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258768 CPUtime=642.36
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 67720 0 0 0 63997 239 0 0 25 0 1 0 181171660 264978432 61951 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64692 61951 572 886 0 63802 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 258768

[startup+702.302 s]

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

/proc/meminfo: memFree=1523656/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1062.42
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79504 0 0 0 105940 302 0 0 25 0 1 0 181171660 265859072 62015 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62015 577 886 0 64017 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 259628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1523592/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1122.43
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79518 0 0 0 111933 310 0 0 25 0 1 0 181171660 265859072 62029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62029 577 886 0 64017 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 259628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1523592/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1182.44
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79519 0 0 0 117925 319 0 0 25 0 1 0 181171660 265859072 62030 1992294400 4194304 7823515 548682068736 18446744073709551615 6206188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62030 577 886 0 64017 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 259628

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1523528/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1242.44
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79522 0 0 0 123919 325 0 0 25 0 1 0 181171660 265859072 62033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62033 580 886 0 64017 0
Current children cumulated CPU time (s) 1242.44
Current children cumulated vsize (KiB) 259628

[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 29162
/proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1302.46
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 129913 333 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6236694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1302.46
Current children cumulated vsize (KiB) 259628

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 29162
/proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1362.46
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 135906 340 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1362.46
Current children cumulated vsize (KiB) 259628

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1422.47
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 141900 347 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1422.47
Current children cumulated vsize (KiB) 259628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1482.47
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 147894 353 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1482.47
Current children cumulated vsize (KiB) 259628

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1522824/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1542.48
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 153887 361 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1542.48
Current children cumulated vsize (KiB) 259628

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1522760/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=259628 CPUtime=1602.49
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 79687 0 0 0 159880 369 0 0 25 0 1 0 181171660 265859072 62198 1992294400 4194304 7823515 548682068736 18446744073709551615 6180632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64907 62198 582 886 0 64017 0
Current children cumulated CPU time (s) 1602.49
Current children cumulated vsize (KiB) 259628

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1519304/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=264188 CPUtime=1662.5
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 80551 0 0 0 165873 377 0 0 25 0 1 0 181171660 270528512 63062 1992294400 4194304 7823515 548682068736 18446744073709551615 6211359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 66047 63062 582 886 0 65157 0
Current children cumulated CPU time (s) 1662.5
Current children cumulated vsize (KiB) 264188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1525256/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1722.5
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 81855 0 0 0 171864 386 0 0 25 0 1 0 181171660 264429568 61581 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61581 582 886 0 63668 0
Current children cumulated CPU time (s) 1722.5
Current children cumulated vsize (KiB) 258232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1782.52
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 177857 395 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61838 582 886 0 63668 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (KiB) 258232

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1785.72
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178177 395 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61838 582 886 0 63668 0
Current children cumulated CPU time (s) 1785.72
Current children cumulated vsize (KiB) 258232

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1792.12
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178816 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61838 582 886 0 63668 0
Current children cumulated CPU time (s) 1792.12
Current children cumulated vsize (KiB) 258232

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1793.71
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 178975 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61838 582 886 0 63668 0
Current children cumulated CPU time (s) 1793.71
Current children cumulated vsize (KiB) 258232

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1794.52
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82112 0 0 0 179056 396 0 0 25 0 1 0 181171660 264429568 61838 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61838 582 886 0 63668 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 258232

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1795.32
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82114 0 0 0 179136 396 0 0 25 0 1 0 181171660 264429568 61840 1992294400 4194304 7823515 548682068736 18446744073709551615 4569319 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61840 584 886 0 63668 0
Current children cumulated CPU time (s) 1795.32
Current children cumulated vsize (KiB) 258232

[startup+1795.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 29162
/proc/meminfo: memFree=1524104/2055920 swapFree=4191900/4192956
[pid=29161] ppid=29159 vsize=258232 CPUtime=1795.51
/proc/29161/stat : 29161 (pbscip.linux.x8) R 29159 29161 28863 0 -1 4194304 82114 0 0 0 179155 396 0 0 25 0 1 0 181171660 264429568 61840 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/29161/statm: 64558 61840 584 886 0 63668 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (KiB) 258232

Child status: 0
Real time (s): 1795.39
CPU time (s): 1795.62
CPU user time (s): 1791.61
CPU system time (s): 4.00939
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 302420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.61
system time used= 4.00939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82117
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= 2
involuntary context switches= 2671

runsolver used 1.46178 second user time and 4.04838 second system time

The end

Launcher Data 

Begin job on node16 at 2009-06-16 09:01:52
IDJOB=1868730
IDBENCH=1878
IDSOLVER=683
FILE ID=node16/1868730-1245135712
PBS_JOBID= 9363699
Free space on /tmp= 66280 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-mzzv42z.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-1868730-1245135712/watcher-1868730-1245135712 -o /tmp/evaluation-result-1868730-1245135712/solver-1868730-1245135712 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868730-1245135712.opb

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=1404673506

node16.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.214
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.214
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:       1770928 kB
Buffers:         43124 kB
Cached:         163064 kB
SwapCached:        260 kB
Active:          67088 kB
Inactive:       151884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1770928 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11308 kB
Writeback:           0 kB
Mapped:          21272 kB
Slab:            51940 kB
Committed_AS:   149284 kB
PageTables:       1440 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= 66268 MiB
End job on node16 at 2009-06-16 09:31:48