Trace number 3738351

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.04 1800.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
MD5SUMa013c9210a7cfe037db9246041ce6240
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables774
Total number of constraints994
Number of constraints which are clauses771
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints192
Minimum length of a constraint2
Maximum length of a constraint192
Number of terms in the objective function 3
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3
Number of bits of the sum of numbers in the objective function 2
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 380
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-3738351-1338755282.opb>
0.00/0.01	c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 994 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.02	c (round 1) 3 del vars, 1 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.02	c (round 2) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.02	c (round 3) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 222 upgd conss, 1542 impls, 30 clqs
0.00/0.04	c    (0.0s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04	c presolving (4 rounds):
0.00/0.04	c  3 deleted vars, 772 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04	c  1542 implications, 114 cliques
0.00/0.04	c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.00/0.04	c     192 constraints of type <knapsack>
0.00/0.04	c      30 constraints of type <setppc>
0.00/0.04	c transformed objective value is always integral (scale: 1)
0.00/0.04	c Presolving Time: 0.02
0.00/0.04	c OPT-LIN
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = c 13950
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = c 1791
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = c 10000
0.00/0.04	c -----------------------------------------------------------------------------------------------
0.00/0.04	c start solving problem
0.00/0.04	c 
0.00/0.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.04	c   0.0s|     1 |     0 |   111 |3078k|   0 |  19 | 771 | 222 | 222 | 771 | 222 |   0 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   477 |3369k|   0 |  33 | 771 | 222 | 222 | 771 | 232 |  10 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.09/0.17	c   0.1s|     1 |     0 |   534 |3599k|   0 |  47 | 771 | 222 | 222 | 771 | 247 |  25 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.18/0.24	c   0.2s|     1 |     0 |   652 |3793k|   0 |  58 | 771 | 222 | 222 | 771 | 259 |  37 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   749 |3978k|   0 |  69 | 771 | 222 | 222 | 771 | 272 |  50 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |   810 |4166k|   0 |  70 | 771 | 222 | 222 | 771 | 282 |  60 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   882 |4337k|   0 |  77 | 771 | 222 | 222 | 771 | 292 |  70 |   0 |   0 | 3.000000e+00 |      --      |    Inf 
0.79/0.85	c   0.8s|     1 |     2 |   882 |4337k|   0 |  77 | 771 | 222 | 222 | 771 | 292 |  70 |   0 |  33 | 3.000000e+00 |      --      |    Inf 
23.99/24.07	c  23.6s| 10000 |   112 |193224 |6946k|  62 |  31 | 771 |3668 | 373 | 771 | 268 |  70 |  10k|3989 | 3.000000e+00 |      --      |    Inf 
40.69/40.77	c  39.9s| 20000 |   414 |395906 |8474k|  62 |   - | 771 |5083 | 211 |   0 |   0 |  70 |  21k|4964 | 3.000000e+00 |      --      |    Inf 
54.07/54.17	c  53.0s| 30000 |   445 |571975 |9837k|  62 |  29 | 771 |7670 | 217 | 771 | 268 |  70 |  33k|5386 | 3.000000e+00 |      --      |    Inf 
70.27/70.39	c  68.9s| 40000 |   441 |766227 |9899k|  62 |   - | 771 |6552 | 172 |   0 |   0 |  70 |  42k|6416 | 3.000000e+00 |      --      |    Inf 
84.07/84.10	c  82.3s| 50000 |   450 |943927 |  10M|  62 |   - | 771 |6371 | 151 | 771 | 268 |  70 |  49k|7324 | 3.000000e+00 |      --      |    Inf 
99.36/99.44	c  97.3s| 60000 |   688 |  1156k|  11M|  62 |  21 | 771 |7650 | 597 | 771 | 268 |  70 |  56k|7903 | 3.000000e+00 |      --      |    Inf 
117.57/117.67	c   115s| 70000 |   952 |  1414k|  13M|  62 |   - | 771 |8230 | 262 |   0 |   0 |  70 |  62k|8691 | 3.000000e+00 |      --      |    Inf 
134.56/134.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
134.56/134.60	c   132s| 80000 |   986 |  1646k|  13M|  62 |  28 | 771 |9027 | 283 | 771 | 268 |  70 |  69k|9402 | 3.000000e+00 |      --      |    Inf 
151.26/151.36	c   148s| 90000 |  1066 |  1875k|  14M|  62 |   - | 771 |9257 | 244 |   0 |   0 |  70 |  75k|  10k| 3.000000e+00 |      --      |    Inf 
168.16/168.21	c   165s|100000 |  1089 |  2106k|  14M|  62 |  19 | 771 |9316 | 141 | 771 | 268 |  70 |  82k|  10k| 3.000000e+00 |      --      |    Inf 
187.05/187.13	c   183s|110000 |  1088 |  2369k|  14M|  62 |  36 | 771 |8317 | 209 | 771 | 268 |  70 |  89k|  11k| 3.000000e+00 |      --      |    Inf 
209.74/209.84	c   206s|120000 |  1275 |  2670k|  14M|  62 |   - | 771 |5512 | 286 |   0 |   0 |  70 |  97k|  12k| 3.000000e+00 |      --      |    Inf 
225.15/225.25	c   221s|130000 |  1258 |  2875k|  14M|  62 |   - | 771 |6602 | 175 | 771 | 268 |  70 | 106k|  13k| 3.000000e+00 |      --      |    Inf 
240.75/240.84	c   236s|140000 |  1286 |  3074k|  14M|  65 |  28 | 771 |5372 | 276 | 771 | 268 |  70 | 116k|  14k| 3.000000e+00 |      --      |    Inf 
259.74/259.86	c   255s|150000 |  1365 |  3340k|  15M|  65 |   - | 771 |6631 | 231 | 771 | 268 |  70 | 124k|  14k| 3.000000e+00 |      --      |    Inf 
276.84/276.99	c   271s|160000 |  1381 |  3584k|  15M|  65 |  42 | 771 |6215 | 770 | 771 | 268 |  70 | 131k|  15k| 3.000000e+00 |      --      |    Inf 
295.84/295.93	c   290s|170000 |  1378 |  3837k|  15M|  65 |  30 | 771 |6067 | 238 | 771 | 268 |  70 | 140k|  16k| 3.000000e+00 |      --      |    Inf 
314.23/314.30	c   308s|180000 |  1537 |  4099k|  16M|  65 |   - | 771 |7393 | 177 |   0 |   0 |  70 | 147k|  17k| 3.000000e+00 |      --      |    Inf 
333.43/333.53	c   327s|190000 |  1525 |  4370k|  16M|  65 |  35 | 771 |6339 | 476 | 771 | 268 |  70 | 154k|  17k| 3.000000e+00 |      --      |    Inf 
349.42/349.56	c   342s|200000 |  1648 |  4607k|  17M|  65 |  28 | 771 |7482 | 250 | 771 | 268 |  70 | 161k|  18k| 3.000000e+00 |      --      |    Inf 
366.13/366.24	c   359s|210000 |  1714 |  4859k|  18M|  65 |  18 | 771 |8344 |  89 | 771 | 268 |  70 | 167k|  18k| 3.000000e+00 |      --      |    Inf 
384.12/384.21	c   376s|220000 |  1684 |  5117k|  18M|  65 |   - | 771 |8207 |  71 |   0 |   0 |  70 | 174k|  19k| 3.000000e+00 |      --      |    Inf 
404.31/404.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
404.31/404.41	c   396s|230000 |  1660 |  5388k|  17M|  65 |  36 | 771 |5695 | 170 | 771 | 268 |  70 | 183k|  19k| 3.000000e+00 |      --      |    Inf 
424.11/424.21	c   415s|240000 |  1670 |  5671k|  18M|  65 |   - | 771 |7122 | 259 |   0 |   0 |  70 | 192k|  20k| 3.000000e+00 |      --      |    Inf 
444.11/444.23	c   435s|250000 |  1559 |  5934k|  17M|  65 |  37 | 771 |5578 | 229 | 771 | 268 |  70 | 202k|  20k| 3.000000e+00 |      --      |    Inf 
464.11/464.27	c   455s|260000 |  1633 |  6211k|  18M|  83 |  19 | 771 |6573 | 315 | 771 | 268 |  70 | 212k|  21k| 3.000000e+00 |      --      |    Inf 
480.61/480.70	c   471s|270000 |  1653 |  6441k|  19M|  83 |  17 | 771 |8629 | 127 | 771 | 268 |  70 | 220k|  21k| 3.000000e+00 |      --      |    Inf 
494.11/494.28	c   484s|280000 |  1634 |  6610k|  18M|  83 |  38 | 771 |7756 | 628 | 771 | 268 |  70 | 229k|  22k| 3.000000e+00 |      --      |    Inf 
510.60/510.72	c   500s|290000 |  1636 |  6839k|  19M|  90 |   5 | 771 |8265 | 162 | 771 | 268 |  70 | 237k|  22k| 3.000000e+00 |      --      |    Inf 
523.90/524.00	c   513s|300000 |  1615 |  7015k|  18M|  90 |   - | 771 |6830 | 167 |   0 |   0 |  70 | 244k|  22k| 3.000000e+00 |      --      |    Inf 
541.60/541.75	c   530s|310000 |  1668 |  7260k|  19M|  90 |   - | 771 |9709 | 324 |   0 |   0 |  70 | 253k|  23k| 3.000000e+00 |      --      |    Inf 
559.49/559.63	c   548s|320000 |  1693 |  7510k|  20M|  90 |   - | 771 |  10k| 322 | 771 | 268 |  70 | 260k|  23k| 3.000000e+00 |      --      |    Inf 
574.99/575.18	c   563s|330000 |  1711 |  7726k|  20M|  90 |  16 | 771 |  10k| 760 | 771 | 268 |  70 | 269k|  23k| 3.000000e+00 |      --      |    Inf 
589.98/590.17	c   578s|340000 |  1715 |  7929k|  20M|  90 |  13 | 771 |9854 | 231 | 771 | 268 |  70 | 277k|  24k| 3.000000e+00 |      --      |    Inf 
606.19/606.36	c   594s|350000 |  1802 |  8160k|  19M|  90 |   - | 771 |6920 | 352 | 771 | 268 |  70 | 285k|  24k| 3.000000e+00 |      --      |    Inf 
620.08/620.21	c   607s|360000 |  1692 |  8334k|  19M|  90 |  13 | 771 |8303 | 208 | 771 | 268 |  70 | 296k|  25k| 3.000000e+00 |      --      |    Inf 
634.08/634.25	c   621s|370000 |  1774 |  8514k|  20M|  90 |  28 | 771 |  10k| 252 | 771 | 268 |  70 | 307k|  25k| 3.000000e+00 |      --      |    Inf 
655.39/655.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
655.39/655.59	c   642s|380000 |  1819 |  8812k|  21M|  90 |  39 | 771 |9895 | 793 | 771 | 268 |  70 | 316k|  25k| 3.000000e+00 |      --      |    Inf 
673.57/673.73	c   660s|390000 |  1815 |  9070k|  21M|  90 |   - | 771 |  10k| 113 |   0 |   0 |  70 | 324k|  25k| 3.000000e+00 |      --      |    Inf 
688.67/688.81	c   674s|400000 |  1776 |  9281k|  21M|  90 |  22 | 771 |  11k| 608 | 771 | 268 |  70 | 331k|  26k| 3.000000e+00 |      --      |    Inf 
706.87/707.04	c   692s|410000 |  1772 |  9535k|  20M|  90 |   - | 771 |8553 | 282 |   0 |   0 |  70 | 340k|  26k| 3.000000e+00 |      --      |    Inf 
727.57/727.71	c   713s|420000 |  1868 |  9812k|  21M|  90 |  29 | 771 |8329 | 218 | 771 | 268 |  70 | 350k|  27k| 3.000000e+00 |      --      |    Inf 
745.77/745.98	c   730s|430000 |  1917 | 10076k|  21M|  90 |   - | 771 |8518 | 140 | 771 | 268 |  70 | 357k|  27k| 3.000000e+00 |      --      |    Inf 
764.76/764.92	c   749s|440000 |  1896 | 10333k|  21M|  90 |   - | 771 |7827 | 285 |   0 |   0 |  70 | 366k|  27k| 3.000000e+00 |      --      |    Inf 
780.77/780.93	c   765s|450000 |  1905 | 10548k|  21M|  90 |   - | 771 |8476 | 688 |   0 |   0 |  70 | 376k|  28k| 3.000000e+00 |      --      |    Inf 
800.56/800.79	c   784s|460000 |  2049 | 10825k|  22M| 115 |   - | 771 |8720 | 605 | 771 | 268 |  70 | 388k|  28k| 3.000000e+00 |      --      |    Inf 
820.65/820.86	c   804s|470000 |  1973 | 11096k|  21M| 115 |   - | 771 |8063 | 334 |   0 |   0 |  70 | 397k|  28k| 3.000000e+00 |      --      |    Inf 
839.25/839.46	c   822s|480000 |  1973 | 11366k|  21M| 115 |   - | 771 |7495 | 115 |   0 |   0 |  70 | 405k|  29k| 3.000000e+00 |      --      |    Inf 
858.05/858.29	c   840s|490000 |  1953 | 11637k|  21M| 115 |  24 | 771 |7146 | 299 | 771 | 268 |  70 | 412k|  29k| 3.000000e+00 |      --      |    Inf 
877.34/877.50	c   859s|500000 |  1959 | 11909k|  21M| 115 |  22 | 771 |8439 |  81 | 771 | 268 |  70 | 421k|  29k| 3.000000e+00 |      --      |    Inf 
897.35/897.55	c   879s|510000 |  1974 | 12187k|  21M| 115 |  32 | 771 |7676 | 274 | 771 | 268 |  70 | 429k|  30k| 3.000000e+00 |      --      |    Inf 
917.15/917.35	c   898s|520000 |  2014 | 12458k|  21M| 115 |  41 | 771 |8221 | 366 | 771 | 268 |  70 | 439k|  30k| 3.000000e+00 |      --      |    Inf 
934.63/934.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
934.63/934.84	c   915s|530000 |  2050 | 12691k|  22M| 115 |   - | 771 |9320 | 295 | 771 | 268 |  70 | 449k|  30k| 3.000000e+00 |      --      |    Inf 
954.64/954.89	c   935s|540000 |  1965 | 12976k|  22M| 115 |  18 | 771 |8959 | 430 | 771 | 268 |  70 | 459k|  31k| 3.000000e+00 |      --      |    Inf 
970.33/970.55	c   950s|550000 |  1974 | 13187k|  22M| 115 |   - | 771 |  10k| 144 | 771 | 268 |  70 | 468k|  31k| 3.000000e+00 |      --      |    Inf 
982.93/983.10	c   963s|560000 |  1979 | 13354k|  23M| 115 |   - | 771 |  10k| 210 | 771 | 268 |  70 | 476k|  31k| 3.000000e+00 |      --      |    Inf 
998.83/999.08	c   978s|570000 |  1985 | 13580k|  23M| 115 |   - | 771 |  10k| 314 |   0 |   0 |  70 | 484k|  32k| 3.000000e+00 |      --      |    Inf 
1010.22/1010.41	c   989s|580000 |  1957 | 13723k|  24M| 115 |  19 | 771 |  12k| 196 | 771 | 268 |  70 | 493k|  32k| 3.000000e+00 |      --      |    Inf 
1030.62/1030.82	c  1009s|590000 |  1991 | 13997k|  21M| 115 |   - | 771 |8008 | 315 | 771 | 268 |  70 | 502k|  32k| 3.000000e+00 |      --      |    Inf 
1052.12/1052.34	c  1031s|600000 |  1985 | 14296k|  22M| 115 |   - | 771 |8555 | 813 |   0 |   0 |  70 | 511k|  32k| 3.000000e+00 |      --      |    Inf 
1070.71/1070.97	c  1049s|610000 |  2111 | 14567k|  23M| 115 |   - | 771 |  10k| 487 | 771 | 268 |  70 | 518k|  33k| 3.000000e+00 |      --      |    Inf 
1088.51/1088.71	c  1066s|620000 |  2090 | 14822k|  23M| 115 |   - | 771 |  10k| 195 | 771 | 268 |  70 | 526k|  33k| 3.000000e+00 |      --      |    Inf 
1107.21/1107.48	c  1085s|630000 |  2041 | 15086k|  22M| 115 |   - | 771 |8942 | 238 | 771 | 268 |  70 | 534k|  33k| 3.000000e+00 |      --      |    Inf 
1125.31/1125.56	c  1102s|640000 |  2184 | 15340k|  24M| 115 |   - | 771 |  10k| 113 | 771 | 268 |  70 | 543k|  34k| 3.000000e+00 |      --      |    Inf 
1146.01/1146.24	c  1123s|650000 |  2181 | 15629k|  24M| 115 |  25 | 771 |  11k| 345 | 771 | 268 |  70 | 552k|  34k| 3.000000e+00 |      --      |    Inf 
1166.00/1166.23	c  1142s|660000 |  2208 | 15902k|  24M| 115 |   - | 771 |  11k| 151 |   0 |   0 |  70 | 560k|  34k| 3.000000e+00 |      --      |    Inf 
1182.60/1182.84	c  1158s|670000 |  2170 | 16136k|  25M| 115 |   - | 771 |  12k| 239 | 771 | 268 |  70 | 567k|  34k| 3.000000e+00 |      --      |    Inf 
1196.70/1196.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1196.70/1196.99	c  1172s|680000 |  2187 | 16336k|  25M| 115 |  18 | 771 |  14k| 387 | 771 | 268 |  70 | 572k|  35k| 3.000000e+00 |      --      |    Inf 
1208.60/1208.90	c  1184s|690000 |  2162 | 16506k|  26M| 115 |   - | 771 |  15k| 180 | 771 | 268 |  70 | 577k|  35k| 3.000000e+00 |      --      |    Inf 
1230.89/1231.11	c  1206s|700000 |  2147 | 16816k|  22M| 115 |   - | 771 |6940 | 314 | 771 | 268 |  70 | 586k|  35k| 3.000000e+00 |      --      |    Inf 
1251.59/1251.86	c  1226s|710000 |  2157 | 17105k|  22M| 115 |  35 | 771 |7084 | 424 | 771 | 268 |  70 | 594k|  35k| 3.000000e+00 |      --      |    Inf 
1263.39/1263.64	c  1238s|720000 |  2188 | 17260k|  24M| 115 |   - | 771 |9340 | 195 |   0 |   0 |  70 | 602k|  35k| 3.000000e+00 |      --      |    Inf 
1278.78/1279.05	c  1253s|730000 |  2204 | 17455k|  24M| 115 |   4 | 771 |9128 | 236 | 771 | 268 |  70 | 612k|  36k| 3.000000e+00 |      --      |    Inf 
1294.28/1294.55	c  1268s|740000 |  2123 | 17669k|  23M| 115 |  40 | 771 |6961 | 580 | 771 | 268 |  70 | 620k|  36k| 3.000000e+00 |      --      |    Inf 
1312.88/1313.15	c  1286s|750000 |  2091 | 17936k|  23M| 115 |  48 | 771 |7608 | 688 | 771 | 268 |  70 | 628k|  36k| 3.000000e+00 |      --      |    Inf 
1335.87/1336.13	c  1309s|760000 |  2102 | 18261k|  23M| 115 |   - | 771 |8105 | 318 | 771 | 268 |  70 | 637k|  36k| 3.000000e+00 |      --      |    Inf 
1357.27/1357.57	c  1330s|770000 |  2077 | 18572k|  22M| 115 |  26 | 771 |6793 | 277 | 771 | 268 |  70 | 645k|  37k| 3.000000e+00 |      --      |    Inf 
1376.16/1376.47	c  1348s|780000 |  1997 | 18837k|  22M| 115 |   - | 771 |7005 | 171 |   0 |   0 |  70 | 654k|  37k| 3.000000e+00 |      --      |    Inf 
1392.47/1392.78	c  1364s|790000 |  1979 | 19069k|  23M| 115 |  23 | 771 |8663 | 173 | 771 | 268 |  70 | 663k|  37k| 3.000000e+00 |      --      |    Inf 
1403.56/1403.88	c  1375s|800000 |  1991 | 19215k|  24M| 115 |  13 | 771 |  10k| 139 | 771 | 268 |  70 | 671k|  37k| 3.000000e+00 |      --      |    Inf 
1417.66/1417.95	c  1389s|810000 |  1994 | 19395k|  23M| 115 |   - | 771 |  10k| 136 |   0 |   0 |  70 | 681k|  38k| 3.000000e+00 |      --      |    Inf 
1438.85/1439.19	c  1410s|820000 |  2032 | 19692k|  24M| 115 |  34 | 771 |  11k| 268 | 771 | 268 |  70 | 692k|  38k| 3.000000e+00 |      --      |    Inf 
1453.96/1454.27	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1453.96/1454.27	c  1424s|830000 |  1993 | 19900k|  24M| 115 |   - | 771 |  12k| 227 | 771 | 268 |  70 | 702k|  38k| 3.000000e+00 |      --      |    Inf 
1468.05/1468.40	c  1438s|840000 |  1969 | 20083k|  23M| 115 |  29 | 771 |9450 | 561 | 771 | 268 |  70 | 712k|  38k| 3.000000e+00 |      --      |    Inf 
1479.85/1480.10	c  1450s|850000 |  1984 | 20244k|  24M| 115 |   - | 771 |  11k| 220 |   0 |   0 |  70 | 719k|  38k| 3.000000e+00 |      --      |    Inf 
1490.55/1490.89	c  1460s|860000 |  1975 | 20388k|  24M| 115 |  27 | 771 |  12k| 210 | 771 | 268 |  70 | 726k|  38k| 3.000000e+00 |      --      |    Inf 
1502.75/1503.00	c  1472s|870000 |  1967 | 20546k|  25M| 115 |   - | 771 |  14k| 324 | 771 | 268 |  70 | 736k|  38k| 3.000000e+00 |      --      |    Inf 
1521.05/1521.36	c  1490s|880000 |  1915 | 20797k|  23M| 115 |  36 | 771 |  10k| 510 | 771 | 268 |  70 | 744k|  39k| 3.000000e+00 |      --      |    Inf 
1539.54/1539.82	c  1508s|890000 |  1889 | 21053k|  23M| 115 |   - | 771 |8992 | 393 | 771 | 268 |  70 | 754k|  39k| 3.000000e+00 |      --      |    Inf 
1559.34/1559.64	c  1528s|900000 |  2016 | 21330k|  24M| 115 |  27 | 771 |  10k| 298 | 771 | 268 |  70 | 764k|  39k| 3.000000e+00 |      --      |    Inf 
1577.33/1577.66	c  1545s|910000 |  2058 | 21584k|  25M| 115 |   - | 771 |  13k| 266 |   0 |   0 |  70 | 772k|  40k| 3.000000e+00 |      --      |    Inf 
1591.93/1592.23	c  1559s|920000 |  2110 | 21784k|  26M| 115 |   - | 771 |  13k| 263 | 771 | 268 |  70 | 779k|  40k| 3.000000e+00 |      --      |    Inf 
1608.93/1609.24	c  1576s|930000 |  2103 | 22041k|  26M| 115 |   - | 771 |  13k| 161 |   0 |   0 |  70 | 785k|  40k| 3.000000e+00 |      --      |    Inf 
1626.93/1627.25	c  1594s|940000 |  2109 | 22305k|  26M| 115 |   - | 771 |  12k| 268 | 771 | 268 |  70 | 790k|  41k| 3.000000e+00 |      --      |    Inf 
1642.22/1642.50	c  1609s|950000 |  2092 | 22539k|  27M| 115 |  18 | 771 |  14k| 157 | 771 | 268 |  70 | 796k|  41k| 3.000000e+00 |      --      |    Inf 
1658.02/1658.30	c  1624s|960000 |  2089 | 22765k|  26M| 115 |  31 | 771 |  14k| 477 | 771 | 268 |  70 | 803k|  41k| 3.000000e+00 |      --      |    Inf 
1674.82/1675.15	c  1641s|970000 |  2127 | 23003k|  26M| 115 |   - | 771 |  12k| 245 | 771 | 268 |  70 | 811k|  41k| 3.000000e+00 |      --      |    Inf 
1691.02/1691.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1691.02/1691.36	c  1657s|980000 |  2158 | 23220k|  25M| 115 |  37 | 771 |  12k| 348 | 771 | 268 |  70 | 820k|  41k| 3.000000e+00 |      --      |    Inf 
1714.41/1714.71	c  1680s|990000 |  2182 | 23550k|  26M| 115 |  46 | 771 |  12k| 471 | 771 | 268 |  70 | 829k|  42k| 3.000000e+00 |      --      |    Inf 
1733.32/1733.63	c  1698s|  1000k|  2199 | 23804k|  26M| 115 |   - | 771 |  13k| 284 |   0 |   0 |  70 | 838k|  42k| 3.000000e+00 |      --      |    Inf 
1749.71/1750.06	c  1714s|  1010k|  2175 | 24025k|  27M| 115 |   - | 771 |  15k| 271 | 771 | 268 |  70 | 849k|  42k| 3.000000e+00 |      --      |    Inf 
1766.21/1766.55	c  1730s|  1020k|  2130 | 24252k|  26M| 115 |   - | 771 |  12k| 690 | 771 | 268 |  70 | 857k|  42k| 3.000000e+00 |      --      |    Inf 
1786.91/1787.21	c  1751s|  1030k|  2100 | 24536k|  25M| 115 |   - | 771 |  11k| 239 | 771 | 268 |  70 | 866k|  42k| 3.000000e+00 |      --      |    Inf 
1800.00/1800.30	c 
1800.00/1800.30	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.30	c Solving Time (sec) : 1763.34
1800.00/1800.30	c Solving Nodes      : 1036445
1800.00/1800.30	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.00/1800.30	c Dual Bound         : +3.00000000000000e+00
1800.00/1800.30	c Gap                : infinite
1800.00/1800.30	c NODE         1036445
1800.00/1800.30	c DUAL BOUND   3
1800.00/1800.30	c PRIMAL BOUND 1e+20
1800.00/1800.30	c GAP          1e+20
1800.00/1800.30	s UNKNOWN
1800.00/1800.30	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.30	c Solving Time       :    1763.34
1800.00/1800.30	c Original Problem   :
1800.00/1800.30	c   Problem name     : HOME/instance-3738351-1338755282.opb
1800.00/1800.30	c   Variables        : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.30	c   Constraints      : 994 initial, 994 maximal
1800.00/1800.30	c Presolved Problem  :
1800.00/1800.30	c   Problem name     : t_HOME/instance-3738351-1338755282.opb
1800.00/1800.30	c   Variables        : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.30	c   Constraints      : 222 initial, 16408 maximal
1800.00/1800.30	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.00/1800.30	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.00/1800.30	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.00/1800.30	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   linear           :       0.00          3          0          0          3          0        772          0          0
1800.00/1800.30	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.30	c   root node        :          -          0          -          -          0          -          -          -          -
1800.00/1800.30	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.30	c   integral         :          0          0          0     565536          0        273      14716          0          0    1112906
1800.00/1800.30	c   knapsack         :        192          6    3525130          0          0      82755   43388167        728          0          0
1800.00/1800.30	c   setppc           :         30          6    3442375          0          0      98134    4382454          0          0          0
1800.00/1800.30	c   logicor          :          0+         0    1692078          0          0      56297    1095609          0          0          0
1800.00/1800.30	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.00/1800.30	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.00/1800.30	c   integral         :      87.86       0.00       0.00      87.86       0.00
1800.00/1800.30	c   knapsack         :      38.03       0.00      38.03       0.00       0.00
1800.00/1800.30	c   setppc           :      13.23       0.00      13.23       0.00       0.00
1800.00/1800.30	c   logicor          :      44.56       0.00      44.56       0.00       0.00
1800.00/1800.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.30	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.00/1800.30	c   rootredcost      :       0.50          0          0          0
1800.00/1800.30	c   pseudoobj        :       0.32          0          0          0
1800.00/1800.30	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.00/1800.30	c   propagation      :      12.90     219651     219351    1849060       44.9       7174       30.3          -
1800.00/1800.30	c   infeasible LP    :      41.56     302395     109065    1262706       61.4       1301       35.9          0
1800.00/1800.30	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.30	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.30	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.00/1800.30	c   applied globally :          -          -          -     870994       34.9          -          -          -
1800.00/1800.30	c   applied locally  :          -          -          -         50      104.3          -          -          -
1800.00/1800.30	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.00/1800.30	c   cut pool         :       0.00          5          -          -        583          -    (maximal pool size: 959)
1800.00/1800.30	c   redcost          :       5.48     565308          0          0          0          0
1800.00/1800.30	c   impliedbounds    :       0.00          6          0          0          0          0
1800.00/1800.30	c   intobj           :       0.00          0          0          0          0          0
1800.00/1800.30	c   gomory           :       0.09          6          0          0         42          0
1800.00/1800.30	c   strongcg         :       0.08          6          0          0         35          0
1800.00/1800.30	c   cmir             :       0.10          6          0          0        913          0
1800.00/1800.30	c   flowcover        :       0.08          6          0          0       1202          0
1800.00/1800.30	c   clique           :       0.00          6          0          0          1          0
1800.00/1800.30	c   zerohalf         :       0.00          0          0          0          0          0
1800.00/1800.30	c   mcf              :       0.00          1          0          0          0          0
1800.00/1800.30	c Pricers            :       Time      Calls       Vars
1800.00/1800.30	c   problem variables:       0.00          0          0
1800.00/1800.30	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.30	c   relpscost        :      87.58     565536        273      14716          0          0    1112906
1800.00/1800.30	c   pscost           :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   inference        :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   mostinf          :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   leastinf         :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.00/1800.30	c   random           :       0.00          0          0          0          0          0          0
1800.00/1800.30	c Primal Heuristics  :       Time      Calls      Found
1800.00/1800.30	c   LP solutions     :       0.00          -          0
1800.00/1800.30	c   pseudo solutions :       0.00          -          0
1800.00/1800.30	c   oneopt           :       0.17          0          0
1800.00/1800.30	c   crossover        :       0.06          0          0
1800.00/1800.30	c   guideddiving     :       0.02          0          0
1800.00/1800.30	c   intshifting      :       0.03          0          0
1800.00/1800.30	c   feaspump         :       0.13          7          0
1800.00/1800.30	c   objpscostdiving  :       0.07          7          0
1800.00/1800.30	c   rootsoldiving    :       0.10          7          0
1800.00/1800.30	c   coefdiving       :       0.17         14          0
1800.00/1800.30	c   veclendiving     :       0.02         14          0
1800.00/1800.30	c   linesearchdiving :       0.07         14          0
1800.00/1800.30	c   pscostdiving     :       0.10         14          0
1800.00/1800.30	c   fracdiving       :       0.04         14          0
1800.00/1800.30	c   simplerounding   :       0.14          0          0
1800.00/1800.30	c   rounding         :       0.35      10567          0
1800.00/1800.30	c   shifting         :       2.16       3316          0
1800.00/1800.30	c   fixandinfer      :       0.00          0          0
1800.00/1800.30	c   intdiving        :       0.00          0          0
1800.00/1800.30	c   actconsdiving    :       0.00          0          0
1800.00/1800.30	c   octane           :       0.00          0          0
1800.00/1800.30	c   rens             :       0.02          1          0
1800.00/1800.30	c   rins             :       0.00          0          0
1800.00/1800.30	c   localbranching   :       0.00          0          0
1800.00/1800.30	c   mutation         :       0.00          0          0
1800.00/1800.30	c   dins             :       0.00          0          0
1800.00/1800.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.00/1800.30	c   primal LP        :       0.00          0          0       0.00          -
1800.00/1800.30	c   dual LP          :    1364.09     865278   24725383      28.58   18125.92
1800.00/1800.30	c   barrier LP       :       0.00          0          0       0.00          -
1800.00/1800.30	c   diving/probing LP:       0.47        760       6720       8.84   14297.87
1800.00/1800.30	c   strong branching :      81.86      43104    1322774      30.69   16158.98
1800.00/1800.30	c     (at root node) :          -         33       3971     120.33          -
1800.00/1800.30	c   conflict analysis:       0.00          0          0       0.00          -
1800.00/1800.30	c B&B Tree           :
1800.00/1800.30	c   number of runs   :          1
1800.00/1800.30	c   nodes            :    1036445
1800.00/1800.30	c   nodes (total)    :    1036445
1800.00/1800.30	c   nodes left       :       2102
1800.00/1800.30	c   max depth        :        115
1800.00/1800.30	c   max depth (total):        115
1800.00/1800.30	c   backtracks       :     207446 (20.0%)
1800.00/1800.30	c   delayed cutoffs  :      74360
1800.00/1800.30	c   repropagations   :     836307 (9493106 domain reductions, 59661 cutoffs)
1800.00/1800.30	c   avg switch length:       4.10
1800.00/1800.30	c   switching time   :      78.79
1800.00/1800.30	c Solution           :
1800.00/1800.30	c   Solutions found  :          0 (0 improvements)
1800.00/1800.30	c   Primal Bound     :          -
1800.00/1800.30	c   Dual Bound       : +3.00000000000000e+00
1800.00/1800.30	c   Gap              :   infinite
1800.00/1800.30	c   Root Dual Bound  : +3.00000000000000e+00
1800.00/1800.33	c Time complete: 1800.03.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12750
/proc/meminfo: memFree=25377832/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=8844 CPUtime=0 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 1572 0 0 0 0 0 0 0 20 0 1 0 341655437 9056256 1525 33554432000 4194304 7823515 140735581661744 140735581658456 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 2211 1525 354 887 0 1321 0

[startup+0.069927 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12750
/proc/meminfo: memFree=25377832/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=17712 CPUtime=0.05 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 4086 0 0 0 5 0 0 0 20 0 1 0 341655437 18137088 3666 33554432000 4194304 7823515 140735581661744 140735581658456 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 4428 3666 544 887 0 3538 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17712

[startup+0.100343 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12750
/proc/meminfo: memFree=25377832/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=18192 CPUtime=0.09 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 4218 0 0 0 9 0 0 0 20 0 1 0 341655437 18628608 3798 33554432000 4194304 7823515 140735581661744 140735581658456 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 4548 3798 552 887 0 3658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18192

[startup+0.300267 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12750
/proc/meminfo: memFree=25377832/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=20700 CPUtime=0.29 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 4851 0 0 0 28 1 0 0 20 0 1 0 341655437 21196800 4406 33554432000 4194304 7823515 140735581661744 140735581658456 5594427 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 5175 4406 562 887 0 4285 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20700

[startup+0.700262 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 12750
/proc/meminfo: memFree=25377832/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=21764 CPUtime=0.68 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 7424 0 0 0 67 1 0 0 20 0 1 0 341655437 22286336 4727 33554432000 4194304 7823515 140735581661744 140735581657544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 5441 4727 574 887 0 4551 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21764

[startup+1.50024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25360612/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=21764 CPUtime=1.48 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 7424 0 0 0 146 2 0 0 20 0 1 0 341655437 22286336 4727 33554432000 4194304 7823515 140735581661744 140735581656440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 5441 4727 574 887 0 4551 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21764

[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25360356/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=21764 CPUtime=3.09 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 7424 0 0 0 304 5 0 0 20 0 1 0 341655437 22286336 4727 33554432000 4194304 7823515 140735581661744 140735581656792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 5441 4727 574 887 0 4551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21764

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25360120/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=22276 CPUtime=6.28 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 7526 0 0 0 618 10 0 0 20 0 1 0 341655437 22810624 4829 33554432000 4194304 7823515 140735581661744 140735581657000 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 5569 4829 580 887 0 4679 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22276

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25358272/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=25448 CPUtime=12.69 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 8336 0 0 0 1244 25 0 0 20 0 1 0 341655437 26058752 5636 33554432000 4194304 7823515 140735581661744 140735581656904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 6362 5636 580 887 0 5472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25448

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12751
/proc/meminfo: memFree=25352936/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=28808 CPUtime=25.49 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 9175 0 0 0 2497 52 0 0 20 0 1 0 341655437 29499392 6475 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 7202 6475 580 887 0 6312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28808

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12751
/proc/meminfo: memFree=25349376/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=31636 CPUtime=51.08 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 9899 0 0 0 5002 106 0 0 20 0 1 0 341655437 32395264 7199 33554432000 4194304 7823515 140735581661744 140735581657080 6180627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 7909 7199 580 887 0 7019 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31636

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12751
/proc/meminfo: memFree=25336272/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=36396 CPUtime=102.28 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 11092 0 0 0 10015 213 0 0 20 0 1 0 341655437 37269504 8661 33554432000 4194304 7823515 140735581661744 140735581657080 6234862 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 9099 8661 580 887 0 8209 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36396

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12792
/proc/meminfo: memFree=25322252/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=40512 CPUtime=162.25 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 12127 0 0 0 15895 330 0 0 20 0 1 0 341655437 41484288 9697 33554432000 4194304 7823515 140735581661744 140735581657432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 10128 9697 580 887 0 9238 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40512

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12793
/proc/meminfo: memFree=25317980/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=43540 CPUtime=222.24 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 12857 0 0 0 21775 449 0 0 20 0 1 0 341655437 44584960 10427 33554432000 4194304 7823515 140735581661744 140735581656440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 10885 10427 580 887 0 9995 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 43540

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12794
/proc/meminfo: memFree=25305124/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=45780 CPUtime=282.23 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 13428 0 0 0 27652 571 0 0 20 0 1 0 341655437 46878720 10996 33554432000 4194304 7823515 140735581661744 140735581658232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 11445 10996 580 887 0 10555 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 45780

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12794
/proc/meminfo: memFree=25291672/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=47404 CPUtime=342.22 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 13819 0 0 0 33524 698 0 0 20 0 1 0 341655437 48541696 11390 33554432000 4194304 7823515 140735581661744 140735581657080 5769755 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 11851 11390 580 887 0 10961 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 47404

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12794
/proc/meminfo: memFree=25282620/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=50532 CPUtime=402.21 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 14618 0 0 0 39395 826 0 0 20 0 1 0 341655437 51744768 12189 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 12633 12189 580 887 0 11743 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50532

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12794
/proc/meminfo: memFree=25278592/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=52876 CPUtime=462.2 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 15185 0 0 0 45272 948 0 0 20 0 1 0 341655437 54145024 12755 33554432000 4194304 7823515 140735581661744 140735581658232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 13219 12755 580 887 0 12329 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 52876

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12795
/proc/meminfo: memFree=25274888/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=54096 CPUtime=522.2 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 15492 0 0 0 51141 1079 0 0 20 0 1 0 341655437 55394304 13061 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 13524 13061 580 887 0 12634 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 54096

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12795
/proc/meminfo: memFree=25269860/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=55832 CPUtime=582.19 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 15942 0 0 0 57020 1199 0 0 20 0 1 0 341655437 57171968 13510 33554432000 4194304 7823515 140735581661744 140735581657432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 13958 13510 580 887 0 13068 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 55832

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12799
/proc/meminfo: memFree=25257940/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=59700 CPUtime=882.14 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 16899 0 0 0 86396 1818 0 0 20 0 1 0 341655437 61132800 14464 33554432000 4194304 7823515 140735581661744 140735581657496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 14925 14464 580 887 0 14035 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 59700

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12799
/proc/meminfo: memFree=25256204/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=60308 CPUtime=942.14 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 17035 0 0 0 92279 1935 0 0 20 0 1 0 341655437 61755392 14600 33554432000 4194304 7823515 140735581661744 140735581658776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 15077 14600 580 887 0 14187 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 60308

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12799
/proc/meminfo: memFree=25252608/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=62144 CPUtime=1002.12 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 17499 0 0 0 98152 2060 0 0 20 0 1 0 341655437 63635456 15064 33554432000 4194304 7823515 140735581661744 140735581657432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 15536 15064 580 887 0 14646 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 62144

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12799
/proc/meminfo: memFree=25249292/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=63484 CPUtime=1062.12 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 17849 0 0 0 104032 2180 0 0 20 0 1 0 341655437 65007616 15404 33554432000 4194304 7823515 140735581661744 140735581657496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 15871 15404 580 887 0 14981 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 63484

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12800
/proc/meminfo: memFree=25249092/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=63484 CPUtime=1122.1 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 17853 0 0 0 109910 2300 0 0 20 0 1 0 341655437 65007616 15407 33554432000 4194304 7823515 140735581661744 140735581658776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 15871 15407 580 887 0 14981 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 63484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12800
/proc/meminfo: memFree=25249216/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=63956 CPUtime=1182.09 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 17973 0 0 0 115782 2427 0 0 20 0 1 0 341655437 65490944 15527 33554432000 4194304 7823515 140735581661744 140735581657432 6180642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 15989 15527 580 887 0 15099 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 63956

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12800
/proc/meminfo: memFree=25245312/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=65448 CPUtime=1242.09 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18365 0 0 0 121662 2547 0 0 20 0 1 0 341655437 67018752 15918 33554432000 4194304 7823515 140735581661744 140735581657432 6100257 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16362 15918 580 887 0 15472 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 65448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12800
/proc/meminfo: memFree=25243864/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=65844 CPUtime=1302.08 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18442 0 0 0 127540 2668 0 0 20 0 1 0 341655437 67424256 15995 33554432000 4194304 7823515 140735581661744 140735581657544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16461 15995 580 887 0 15571 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 65844

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12803
/proc/meminfo: memFree=25243204/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=66008 CPUtime=1362.06 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18480 0 0 0 133422 2784 0 0 20 0 1 0 341655437 67592192 16037 33554432000 4194304 7823515 140735581661744 140735581658488 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16502 16037 580 887 0 15612 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 66008

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12804
/proc/meminfo: memFree=25241228/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=66228 CPUtime=1422.07 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18522 0 0 0 139302 2905 0 0 20 0 1 0 341655437 67817472 16079 33554432000 4194304 7823515 140735581661744 140735581657080 4788784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16557 16079 580 887 0 15667 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 66228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12804
/proc/meminfo: memFree=25241184/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=66228 CPUtime=1482.05 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18572 0 0 0 145174 3031 0 0 20 0 1 0 341655437 67817472 16129 33554432000 4194304 7823515 140735581661744 140735581657544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16557 16129 580 887 0 15667 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 66228

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12804
/proc/meminfo: memFree=25239396/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=67448 CPUtime=1542.04 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18835 0 0 0 151054 3150 0 0 20 0 1 0 341655437 69066752 16392 33554432000 4194304 7823515 140735581661744 140735581658488 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16862 16392 580 887 0 15972 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 67448

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12804
/proc/meminfo: memFree=25238404/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=67672 CPUtime=1602.03 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 18889 0 0 0 156936 3267 0 0 20 0 1 0 341655437 69296128 16453 33554432000 4194304 7823515 140735581661744 140735581657496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 16918 16453 580 887 0 16028 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 67672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12804
/proc/meminfo: memFree=25237164/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=68544 CPUtime=1662.03 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 19107 0 0 0 162809 3394 0 0 20 0 1 0 341655437 70189056 16671 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 17136 16671 580 887 0 16246 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 68544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12805
/proc/meminfo: memFree=25235988/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=69324 CPUtime=1722.01 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 19302 0 0 0 168693 3508 0 0 20 0 1 0 341655437 70987776 16866 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 17331 16866 580 887 0 16441 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 69324

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12805
/proc/meminfo: memFree=25235368/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=69324 CPUtime=1782.01 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 19305 0 0 0 174571 3630 0 0 20 0 1 0 341655437 70987776 16869 33554432000 4194304 7823515 140735581661744 140735581657080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 17331 16869 580 887 0 16441 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 69324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12805
/proc/meminfo: memFree=25236916/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=69324 CPUtime=1800 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 19328 0 0 0 176334 3666 0 0 20 0 1 0 341655437 70987776 16892 33554432000 4194304 7823515 140735581661744 140735581657496 4243078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 17331 16892 580 887 0 16441 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 69324

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12805
/proc/meminfo: memFree=25236916/32873648 swapFree=6852/6852
[pid=12750] ppid=12748 vsize=69324 CPUtime=1800 cores=0,2,4,6
/proc/12750/stat : 12750 (pbscip.linux.x8) R 12748 12750 12217 0 -1 4202496 19328 0 0 0 176334 3666 0 0 20 0 1 0 341655437 70987776 16892 33554432000 4194304 7823515 140735581661744 140735581657496 4243078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12750/statm: 17331 16892 580 887 0 16441 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 69324

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1763.37
CPU system time (s): 36.6704
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 69324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.37
system time used= 36.6704
maximum resident set size= 67576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19333
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= 31
involuntary context switches= 2149

runsolver used 3.65244 second user time and 8.08377 second system time

The end

Launcher Data

Begin job on node112 at 2012-06-03 22:28:02
IDJOB=3738351
IDBENCH=71846
IDSOLVER=2321
FILE ID=node112/3738351-1338755282
RUNJOBID= node112-1338748093-12233
PBS_JOBID= 14636784
Free space on /tmp= 71208 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.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-3738351-1338755282/watcher-3738351-1338755282 -o /tmp/evaluation-result-3738351-1338755282/solver-3738351-1338755282 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738351-1338755282.opb

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

MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240
RANDOM SEED=1166732714

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25378352 kB
Buffers:          553516 kB
Cached:          5994804 kB
SwapCached:            0 kB
Active:          1837104 kB
Inactive:        4789684 kB
Active(anon):      67200 kB
Inactive(anon):    10924 kB
Active(file):    1769904 kB
Inactive(file):  4778760 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20184 kB
Writeback:             4 kB
AnonPages:         82048 kB
Mapped:            16608 kB
Shmem:               200 kB
Slab:             731596 kB
SReclaimable:     174968 kB
SUnreclaim:       556628 kB
KernelStack:        1464 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     191380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71196 MiB
End job on node112 at 2012-06-03 22:58:04