Trace number 2664156

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.12 1802.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM49459e9c72edb2754f1d384319cf8731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark114
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 114
Optimality of the best value was proved NO
Number of variables464
Total number of constraints1059
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint2
Maximum length of a constraint128
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664156-1276349556.opb>
0.02/0.03	c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04	c presolving:
0.02/0.05	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.02/0.07	c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.09/0.10	c    (0.1s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10	c presolving (3 rounds):
0.09/0.10	c  0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 81 changed sides, 81 changed coefficients
0.09/0.10	c  342 implications, 0 cliques
0.09/0.10	c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 891 constraints
0.09/0.10	c     673 constraints of type <knapsack>
0.09/0.10	c      10 constraints of type <linear>
0.09/0.10	c     208 constraints of type <logicor>
0.09/0.10	c transformed objective value is always integral (scale: 1)
0.09/0.10	c Presolving Time: 0.04
0.09/0.10	c - non default parameters ----------------------------------------------------------------------
0.09/0.10	c # SCIP version 1.2.1.2
0.09/0.10	c 
0.09/0.10	c # frequency for displaying node information lines
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10	c display/freq = 10000
0.09/0.10	c 
0.09/0.10	c # maximal time in seconds to run
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/time = 1799.98
0.09/0.10	c 
0.09/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/memory = 1620
0.09/0.10	c 
0.09/0.10	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10	c lp/solvefreq = -1
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify inequalities
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/linear/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify knapsacks
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10	c separating/rapidlearning/freq = 0
0.09/0.10	c 
0.09/0.10	c -----------------------------------------------------------------------------------------------
0.09/0.10	c start solving
0.09/0.10	c 
0.09/0.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.10	c   0.1s|     1 |     2 |     0 |     - |2457k|   0 |   - | 464 | 891 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.99/5.05	c   4.7s| 10000 |  4866 |     0 |   0.0 |7464k| 342 |   - | 464 |2150 |   0 |   0 |   0 |5545 |   0 | 0.000000e+00 |      --      |    Inf 
10.49/10.55	c   9.9s| 20000 | 10608 |     0 |   0.0 |  12M| 342 |   - | 464 |2510 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
18.09/18.19	c  17.1s| 30000 | 14422 |     0 |   0.0 |  18M| 342 |   - | 464 |3522 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
26.08/26.15	c  24.8s| 40000 | 18376 |     0 |   0.0 |  23M| 342 |   - | 464 |3106 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
32.99/33.03	c  31.4s| 50000 | 23210 |     0 |   0.0 |  28M| 342 |   - | 464 |3323 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
40.58/40.61	c  38.6s| 60000 | 27857 |     0 |   0.0 |  33M| 342 |   - | 464 |3645 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
48.77/48.83	c  46.5s| 70000 | 32285 |     0 |   0.0 |  38M| 342 |   - | 464 |4045 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
57.97/58.03	c  55.4s| 80000 | 36344 |     0 |   0.0 |  43M| 342 |   - | 464 |4605 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
68.37/68.42	c  65.4s| 90000 | 40130 |     0 |   0.0 |  49M| 342 |   - | 464 |4939 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
80.56/80.63	c  77.2s|100000 | 43138 |     0 |   0.0 |  55M| 342 |   - | 464 |5572 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
93.86/93.97	c  90.1s|110000 | 45669 |     0 |   0.0 |  59M| 342 |   - | 464 |4098 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
101.95/102.08	c  97.9s|120000 | 50431 |     0 |   0.0 |  64M| 342 |   - | 464 |4358 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
110.56/110.67	c   106s|130000 | 55226 |     0 |   0.0 |  69M| 342 |   - | 464 |4258 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
119.75/119.89	c   115s|140000 | 59528 |     0 |   0.0 |  74M| 342 |   - | 464 |4464 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
128.74/128.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.74/128.84	c   124s|150000 | 63906 |     0 |   0.0 |  79M| 342 |   - | 464 |4817 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
138.24/138.36	c   133s|160000 | 68105 |     0 |   0.0 |  84M| 342 |   - | 464 |4274 |   0 |   0 |   0 | 138k|   0 | 0.000000e+00 |      --      |    Inf 
147.94/148.02	c   142s|170000 | 72444 |     0 |   0.0 |  90M| 342 |   - | 464 |5006 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
158.13/158.27	c   152s|180000 | 76541 |     0 |   0.0 |  95M| 342 |   - | 464 |5084 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
168.24/168.38	c   162s|190000 | 80608 |     0 |   0.0 | 101M| 342 |   - | 464 |4861 |   0 |   0 |   0 | 167k|   0 | 0.000000e+00 |      --      |    Inf 
179.24/179.36	c   172s|200000 | 84442 |     0 |   0.0 | 106M| 342 |   - | 464 |5626 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
190.23/190.39	c   183s|210000 | 88491 |     0 |   0.0 | 112M| 342 |   - | 464 |5676 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 |      --      |    Inf 
202.52/202.65	c   195s|220000 | 92087 |     0 |   0.0 | 117M| 342 |   - | 464 |5526 |   0 |   0 |   0 | 198k|   0 | 0.000000e+00 |      --      |    Inf 
215.21/215.38	c   207s|230000 | 95705 |     0 |   0.0 | 123M| 342 |   - | 464 |5774 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
228.41/228.50	c   220s|240000 | 99302 |     0 |   0.0 | 129M| 342 |   - | 464 |6175 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
242.50/242.64	c   234s|250000 |102509 |     0 |   0.0 | 135M| 342 |   - | 464 |6445 |   0 |   0 |   0 | 232k|   0 | 0.000000e+00 |      --      |    Inf 
257.39/257.58	c   248s|260000 |105593 |     0 |   0.0 | 140M| 342 |   - | 464 |7034 |   0 |   0 |   0 | 243k|   0 | 0.000000e+00 |      --      |    Inf 
274.09/274.21	c   265s|270000 |108267 |     0 |   0.0 | 146M| 342 |   - | 464 |7588 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
291.88/292.06	c   282s|280000 |110541 |     0 |   0.0 | 152M| 342 |   - | 464 |7641 |   0 |   0 |   0 | 269k|   0 | 0.000000e+00 |      --      |    Inf 
312.98/313.15	c   303s|290000 |111823 |     0 |   0.0 | 157M| 342 |   - | 464 |8630 |   0 |   0 |   0 | 284k|   0 | 0.000000e+00 |      --      |    Inf 
330.88/331.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
330.88/331.04	c   320s|300000 |114362 |     0 |   0.0 | 160M| 342 |   - | 464 |5878 |   0 |   0 |   0 | 296k|   0 | 0.000000e+00 |      --      |    Inf 
340.16/340.35	c   329s|310000 |119937 |     0 |   0.0 | 166M| 342 |   - | 464 |5599 |   0 |   0 |   0 | 303k|   0 | 0.000000e+00 |      --      |    Inf 
350.07/350.27	c   339s|320000 |124729 |     0 |   0.0 | 172M| 342 |   - | 464 |5387 |   0 |   0 |   0 | 312k|   0 | 0.000000e+00 |      --      |    Inf 
360.67/360.88	c   349s|330000 |129000 |     0 |   0.0 | 177M| 342 |   - | 464 |5977 |   0 |   0 |   0 | 321k|   0 | 0.000000e+00 |      --      |    Inf 
370.85/371.02	c   359s|340000 |133838 |     0 |   0.0 | 183M| 342 |   - | 464 |5350 |   0 |   0 |   0 | 329k|   0 | 0.000000e+00 |      --      |    Inf 
381.75/381.90	c   369s|350000 |138341 |     0 |   0.0 | 188M| 342 |   - | 464 |6101 |   0 |   0 |   0 | 338k|   0 | 0.000000e+00 |      --      |    Inf 
392.63/392.81	c   380s|360000 |142922 |     0 |   0.0 | 194M| 342 |   - | 464 |6104 |   0 |   0 |   0 | 347k|   0 | 0.000000e+00 |      --      |    Inf 
403.54/403.74	c   391s|370000 |147314 |     0 |   0.0 | 200M| 342 |   - | 464 |6196 |   0 |   0 |   0 | 356k|   0 | 0.000000e+00 |      --      |    Inf 
414.73/414.94	c   401s|380000 |151453 |     0 |   0.0 | 205M| 342 |   - | 464 |6330 |   0 |   0 |   0 | 366k|   0 | 0.000000e+00 |      --      |    Inf 
426.42/426.62	c   413s|390000 |155848 |     0 |   0.0 | 211M| 342 |   - | 464 |6660 |   0 |   0 |   0 | 375k|   0 | 0.000000e+00 |      --      |    Inf 
438.13/438.35	c   424s|400000 |160324 |     0 |   0.0 | 217M| 342 |   - | 464 |6135 |   0 |   0 |   0 | 385k|   0 | 0.000000e+00 |      --      |    Inf 
449.62/449.89	c   435s|410000 |164738 |     0 |   0.0 | 222M| 342 |   - | 464 |6301 |   0 |   0 |   0 | 394k|   0 | 0.000000e+00 |      --      |    Inf 
461.72/461.97	c   447s|420000 |169031 |     0 |   0.0 | 228M| 342 |   - | 464 |6686 |   0 |   0 |   0 | 404k|   0 | 0.000000e+00 |      --      |    Inf 
474.11/474.39	c   459s|430000 |172945 |     0 |   0.0 | 234M| 342 |   - | 464 |6691 |   0 |   0 |   0 | 414k|   0 | 0.000000e+00 |      --      |    Inf 
487.61/487.89	c   472s|440000 |176824 |     0 |   0.0 | 239M| 342 |   - | 464 |7189 |   0 |   0 |   0 | 425k|   0 | 0.000000e+00 |      --      |    Inf 
500.90/501.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
500.90/501.13	c   485s|450000 |180973 |     0 |   0.0 | 245M| 342 |   - | 464 |7103 |   0 |   0 |   0 | 435k|   0 | 0.000000e+00 |      --      |    Inf 
514.70/514.92	c   499s|460000 |184849 |     0 |   0.0 | 251M| 342 |   - | 464 |7428 |   0 |   0 |   0 | 445k|   0 | 0.000000e+00 |      --      |    Inf 
528.39/528.69	c   512s|470000 |188726 |     0 |   0.0 | 257M| 342 |   - | 464 |6908 |   0 |   0 |   0 | 456k|   0 | 0.000000e+00 |      --      |    Inf 
541.99/542.27	c   525s|480000 |192705 |     0 |   0.0 | 262M| 342 |   - | 464 |6613 |   0 |   0 |   0 | 466k|   0 | 0.000000e+00 |      --      |    Inf 
556.68/556.95	c   540s|490000 |196170 |     0 |   0.0 | 268M| 342 |   - | 464 |7542 |   0 |   0 |   0 | 477k|   0 | 0.000000e+00 |      --      |    Inf 
571.88/572.11	c   554s|500000 |199846 |     0 |   0.0 | 274M| 342 |   - | 464 |8073 |   0 |   0 |   0 | 489k|   0 | 0.000000e+00 |      --      |    Inf 
587.97/588.27	c   570s|510000 |203275 |     0 |   0.0 | 279M| 342 |   - | 464 |7927 |   0 |   0 |   0 | 500k|   0 | 0.000000e+00 |      --      |    Inf 
603.07/603.33	c   585s|520000 |207112 |     0 |   0.0 | 285M| 342 |   - | 464 |7279 |   0 |   0 |   0 | 510k|   0 | 0.000000e+00 |      --      |    Inf 
618.05/618.30	c   599s|530000 |210781 |     0 |   0.0 | 291M| 342 |   - | 464 |7680 |   0 |   0 |   0 | 521k|   0 | 0.000000e+00 |      --      |    Inf 
634.36/634.67	c   616s|540000 |214192 |     0 |   0.0 | 297M| 342 |   - | 464 |8473 |   0 |   0 |   0 | 533k|   0 | 0.000000e+00 |      --      |    Inf 
652.65/652.92	c   633s|550000 |217385 |     0 |   0.0 | 302M| 342 |   - | 464 |8860 |   0 |   0 |   0 | 545k|   0 | 0.000000e+00 |      --      |    Inf 
670.34/670.68	c   651s|560000 |220570 |     0 |   0.0 | 308M| 342 |   - | 464 |8547 |   0 |   0 |   0 | 557k|   0 | 0.000000e+00 |      --      |    Inf 
687.63/687.99	c   668s|570000 |223898 |     0 |   0.0 | 313M| 342 |   - | 464 |8477 |   0 |   0 |   0 | 568k|   0 | 0.000000e+00 |      --      |    Inf 
705.73/706.02	c   685s|580000 |226905 |     0 |   0.0 | 319M| 342 |   - | 464 |8536 |   0 |   0 |   0 | 580k|   0 | 0.000000e+00 |      --      |    Inf 
725.73/726.02	c   705s|590000 |229600 |     0 |   0.0 | 324M| 342 |   - | 464 |9477 |   0 |   0 |   0 | 593k|   0 | 0.000000e+00 |      --      |    Inf 
746.51/746.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
746.51/746.86	c   725s|600000 |232251 |     0 |   0.0 | 330M| 342 |   - | 464 |9470 |   0 |   0 |   0 | 606k|   0 | 0.000000e+00 |      --      |    Inf 
766.80/767.11	c   745s|610000 |235101 |     0 |   0.0 | 335M| 342 |   - | 464 |9391 |   0 |   0 |   0 | 619k|   0 | 0.000000e+00 |      --      |    Inf 
786.30/786.69	c   764s|620000 |238005 |     0 |   0.0 | 341M| 342 |   - | 464 |9372 |   0 |   0 |   0 | 631k|   0 | 0.000000e+00 |      --      |    Inf 
810.30/810.68	c   788s|630000 |239865 |     0 |   0.0 | 346M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 645k|   0 | 0.000000e+00 |      --      |    Inf 
833.68/834.01	c   811s|640000 |242062 |     0 |   0.0 | 351M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 658k|   0 | 0.000000e+00 |      --      |    Inf 
858.68/859.06	c   836s|650000 |243959 |     0 |   0.0 | 356M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 672k|   0 | 0.000000e+00 |      --      |    Inf 
884.16/884.58	c   861s|660000 |245785 |     0 |   0.0 | 361M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 686k|   0 | 0.000000e+00 |      --      |    Inf 
910.46/910.81	c   886s|670000 |247346 |     0 |   0.0 | 366M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 701k|   0 | 0.000000e+00 |      --      |    Inf 
938.64/939.01	c   914s|680000 |248516 |     0 |   0.0 | 370M| 342 |   - | 464 |  11k|   0 |   0 |   0 | 716k|   0 | 0.000000e+00 |      --      |    Inf 
966.83/967.21	c   942s|690000 |249658 |     0 |   0.0 | 375M| 342 |   - | 464 |  12k|   0 |   0 |   0 | 730k|   0 | 0.000000e+00 |      --      |    Inf 
985.43/985.82	c   960s|700000 |253028 |     0 |   0.0 | 378M| 342 |   - | 464 |8833 |   0 |   0 |   0 | 741k|   0 | 0.000000e+00 |      --      |    Inf 
997.62/998.05	c   972s|710000 |258247 |     0 |   0.0 | 385M| 342 |   - | 464 |9068 |   0 |   0 |   0 | 749k|   0 | 0.000000e+00 |      --      |    Inf 
1010.21/1010.66	c   984s|720000 |263290 |     0 |   0.0 | 390M| 342 |   - | 464 |8347 |   0 |   0 |   0 | 758k|   0 | 0.000000e+00 |      --      |    Inf 
1023.21/1023.67	c   997s|730000 |268367 |     0 |   0.0 | 397M| 342 |   - | 464 |8422 |   0 |   0 |   0 | 766k|   0 | 0.000000e+00 |      --      |    Inf 
1036.20/1036.65	c  1010s|740000 |273251 |     0 |   0.0 | 403M| 342 |   - | 464 |8035 |   0 |   0 |   0 | 775k|   0 | 0.000000e+00 |      --      |    Inf 
1049.50/1049.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1049.50/1049.91	c  1023s|750000 |277922 |     0 |   0.0 | 409M| 342 |   - | 464 |9050 |   0 |   0 |   0 | 785k|   0 | 0.000000e+00 |      --      |    Inf 
1062.59/1063.00	c  1035s|760000 |282857 |     0 |   0.0 | 415M| 342 |   - | 464 |8314 |   0 |   0 |   0 | 794k|   0 | 0.000000e+00 |      --      |    Inf 
1075.59/1076.07	c  1048s|770000 |287781 |     0 |   0.0 | 422M| 342 |   - | 464 |8571 |   0 |   0 |   0 | 803k|   0 | 0.000000e+00 |      --      |    Inf 
1089.88/1090.35	c  1062s|780000 |292257 |     0 |   0.0 | 428M| 342 |   - | 464 |8960 |   0 |   0 |   0 | 812k|   0 | 0.000000e+00 |      --      |    Inf 
1103.78/1104.29	c  1076s|790000 |296792 |     0 |   0.0 | 433M| 342 |   - | 464 |8495 |   0 |   0 |   0 | 822k|   0 | 0.000000e+00 |      --      |    Inf 
1118.07/1118.53	c  1089s|800000 |301337 |     0 |   0.0 | 440M| 342 |   - | 464 |9080 |   0 |   0 |   0 | 832k|   0 | 0.000000e+00 |      --      |    Inf 
1131.87/1132.38	c  1103s|810000 |306161 |     0 |   0.0 | 446M| 342 |   - | 464 |8966 |   0 |   0 |   0 | 841k|   0 | 0.000000e+00 |      --      |    Inf 
1146.66/1147.20	c  1117s|820000 |310643 |     0 |   0.0 | 452M| 342 |   - | 464 |8965 |   0 |   0 |   0 | 851k|   0 | 0.000000e+00 |      --      |    Inf 
1160.95/1161.42	c  1131s|830000 |315117 |     0 |   0.0 | 458M| 342 |   - | 464 |8437 |   0 |   0 |   0 | 861k|   0 | 0.000000e+00 |      --      |    Inf 
1175.25/1175.79	c  1145s|840000 |319467 |     0 |   0.0 | 464M| 342 |   - | 464 |8753 |   0 |   0 |   0 | 871k|   0 | 0.000000e+00 |      --      |    Inf 
1189.85/1190.38	c  1159s|850000 |323940 |     0 |   0.0 | 470M| 342 |   - | 464 |8364 |   0 |   0 |   0 | 880k|   0 | 0.000000e+00 |      --      |    Inf 
1205.74/1206.29	c  1175s|860000 |327727 |     0 |   0.0 | 475M| 342 |   - | 464 |8564 |   0 |   0 |   0 | 891k|   0 | 0.000000e+00 |      --      |    Inf 
1220.24/1220.78	c  1189s|870000 |331968 |     0 |   0.0 | 482M| 342 |   - | 464 |9508 |   0 |   0 |   0 | 901k|   0 | 0.000000e+00 |      --      |    Inf 
1235.94/1236.47	c  1204s|880000 |336208 |     0 |   0.0 | 488M| 342 |   - | 464 |9327 |   0 |   0 |   0 | 912k|   0 | 0.000000e+00 |      --      |    Inf 
1252.43/1252.92	c  1220s|890000 |340388 |     0 |   0.0 | 494M| 342 |   - | 464 |9358 |   0 |   0 |   0 | 922k|   0 | 0.000000e+00 |      --      |    Inf 
1268.82/1269.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1268.82/1269.36	c  1237s|900000 |344430 |     0 |   0.0 | 499M| 342 |   - | 464 |9400 |   0 |   0 |   0 | 933k|   0 | 0.000000e+00 |      --      |    Inf 
1284.81/1285.37	c  1252s|910000 |348595 |     0 |   0.0 | 505M| 342 |   - | 464 |9507 |   0 |   0 |   0 | 944k|   0 | 0.000000e+00 |      --      |    Inf 
1300.91/1301.42	c  1268s|920000 |352702 |     0 |   0.0 | 511M| 342 |   - | 464 |9170 |   0 |   0 |   0 | 954k|   0 | 0.000000e+00 |      --      |    Inf 
1316.90/1317.49	c  1284s|930000 |356634 |     0 |   0.0 | 517M| 342 |   - | 464 |8984 |   0 |   0 |   0 | 964k|   0 | 0.000000e+00 |      --      |    Inf 
1333.90/1334.43	c  1300s|940000 |360528 |     0 |   0.0 | 523M| 342 |   - | 464 |9400 |   0 |   0 |   0 | 974k|   0 | 0.000000e+00 |      --      |    Inf 
1351.39/1351.95	c  1317s|950000 |364132 |     0 |   0.0 | 529M| 342 |   - | 464 |9710 |   0 |   0 |   0 | 986k|   0 | 0.000000e+00 |      --      |    Inf 
1369.48/1370.01	c  1335s|960000 |367900 |     0 |   0.0 | 535M| 342 |   - | 464 |  10k|   0 |   0 |   0 | 997k|   0 | 0.000000e+00 |      --      |    Inf 
1387.97/1388.52	c  1353s|970000 |371606 |     0 |   0.0 | 540M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1008k|   0 | 0.000000e+00 |      --      |    Inf 
1406.07/1406.65	c  1371s|980000 |375347 |     0 |   0.0 | 546M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1020k|   0 | 0.000000e+00 |      --      |    Inf 
1425.36/1425.99	c  1390s|990000 |379038 |     0 |   0.0 | 552M| 342 |   - | 464 |9635 |   0 |   0 |   0 |1031k|   0 | 0.000000e+00 |      --      |    Inf 
1443.06/1443.67	c  1407s|  1000k|382866 |     0 |   0.0 | 558M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1042k|   0 | 0.000000e+00 |      --      |    Inf 
1461.55/1462.11	c  1425s|  1010k|386629 |     0 |   0.0 | 564M| 342 |   - | 464 |9945 |   0 |   0 |   0 |1053k|   0 | 0.000000e+00 |      --      |    Inf 
1479.54/1480.18	c  1443s|  1020k|390453 |     0 |   0.0 | 569M| 342 |   - | 464 |9453 |   0 |   0 |   0 |1064k|   0 | 0.000000e+00 |      --      |    Inf 
1497.54/1498.19	c  1460s|  1030k|394130 |     0 |   0.0 | 575M| 342 |   - | 464 |9937 |   0 |   0 |   0 |1075k|   0 | 0.000000e+00 |      --      |    Inf 
1517.03/1517.64	c  1480s|  1040k|397640 |     0 |   0.0 | 581M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1086k|   0 | 0.000000e+00 |      --      |    Inf 
1535.62/1536.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1535.62/1536.27	c  1498s|  1050k|401190 |     0 |   0.0 | 587M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1098k|   0 | 0.000000e+00 |      --      |    Inf 
1557.02/1557.64	c  1519s|  1060k|404536 |     0 |   0.0 | 592M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1110k|   0 | 0.000000e+00 |      --      |    Inf 
1579.01/1579.61	c  1540s|  1070k|407759 |     0 |   0.0 | 598M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1122k|   0 | 0.000000e+00 |      --      |    Inf 
1600.50/1601.18	c  1562s|  1080k|410998 |     0 |   0.0 | 603M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1134k|   0 | 0.000000e+00 |      --      |    Inf 
1621.59/1622.20	c  1582s|  1090k|414423 |     0 |   0.0 | 609M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1146k|   0 | 0.000000e+00 |      --      |    Inf 
1643.08/1643.70	c  1603s|  1100k|417815 |     0 |   0.0 | 615M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1157k|   0 | 0.000000e+00 |      --      |    Inf 
1663.68/1664.37	c  1624s|  1110k|421183 |     0 |   0.0 | 621M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1170k|   0 | 0.000000e+00 |      --      |    Inf 
1684.77/1685.45	c  1644s|  1120k|424608 |     0 |   0.0 | 626M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1181k|   0 | 0.000000e+00 |      --      |    Inf 
1704.95/1705.62	c  1664s|  1130k|428170 |     0 |   0.0 | 632M| 342 |   - | 464 |  10k|   0 |   0 |   0 |1193k|   0 | 0.000000e+00 |      --      |    Inf 
1726.35/1727.08	c  1685s|  1140k|431328 |     0 |   0.0 | 638M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1205k|   0 | 0.000000e+00 |      --      |    Inf 
1749.74/1750.47	c  1708s|  1150k|434114 |     0 |   0.0 | 643M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1218k|   0 | 0.000000e+00 |      --      |    Inf 
1774.03/1774.71	c  1732s|  1160k|436914 |     0 |   0.0 | 648M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1231k|   0 | 0.000000e+00 |      --      |    Inf 
1798.62/1799.36	c  1756s|  1170k|439694 |     0 |   0.0 | 653M| 342 |   - | 464 |  11k|   0 |   0 |   0 |1244k|   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.71	c 
1800.03/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.71	c Solving Time (sec) : 1757.51
1800.03/1800.71	c Solving Nodes      : 1170621
1800.03/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.71	c Gap                : infinite
1800.03/1800.71	s UNKNOWN
1800.03/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.71	c Solving Time       :    1757.51
1800.03/1800.71	c Original Problem   :
1800.03/1800.71	c   Problem name     : HOME/instance-2664156-1276349556.opb
1800.03/1800.71	c   Variables        : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71	c   Constraints      : 1059 initial, 1059 maximal
1800.03/1800.71	c Presolved Problem  :
1800.03/1800.71	c   Problem name     : t_HOME/instance-2664156-1276349556.opb
1800.03/1800.71	c   Variables        : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71	c   Constraints      : 891 initial, 12367 maximal
1800.03/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.71	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.71	c   linear           :       0.02          0          0          0          0          0        168         81         81
1800.03/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.71	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.71	c   knapsack         :        673          0    4253506          0     885825      86799   11880189          0          0          0
1800.03/1800.71	c   linear           :         10          0    4166707          0     885825     113516    2969468          0          0          0
1800.03/1800.71	c   logicor          :        208+         0    3039835          0     885825     213395    4169285          0          0          0
1800.03/1800.71	c   countsols        :          0          0          0          0     885825          0          0          0          0          0
1800.03/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.71	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.71	c   knapsack         :     300.09       0.00     296.64       0.00       3.45
1800.03/1800.71	c   linear           :     130.48       0.00     129.59       0.00       0.89
1800.03/1800.71	c   logicor          :     646.97       0.00     624.72       0.00      22.25
1800.03/1800.71	c   countsols        :       0.38       0.00       0.00       0.00       0.38
1800.03/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.71	c   vbounds          :       1.98          2          0          0
1800.03/1800.71	c   rootredcost      :       2.24          0          0          0
1800.03/1800.71	c   pseudoobj        :       6.79    4253306          0          0
1800.03/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.71	c   propagation      :      27.98     413710     412231    2015233       20.3      66935       13.2          -
1800.03/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.71	c   applied globally :          -          -          -    1244777       17.2          -          -          -
1800.03/1800.71	c   applied locally  :          -          -          -         18       48.3          -          -          -
1800.03/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.71	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.71	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.71	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.71	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.71	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.71	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.71	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.71	c Pricers            :       Time      Calls       Vars
1800.03/1800.71	c   problem variables:       0.00          0          0
1800.03/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.71	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   inference        :      79.73     885825          0          0          0          0    1771650
1800.03/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.71	c   LP solutions     :       0.00          -          0
1800.03/1800.71	c   pseudo solutions :       0.00          -          0
1800.03/1800.71	c   oneopt           :       0.73          0          0
1800.03/1800.71	c   trivial          :       0.00          2          0
1800.03/1800.71	c   simplerounding   :       0.00          0          0
1800.03/1800.71	c   zirounding       :       0.00          0          0
1800.03/1800.71	c   rounding         :       0.00          0          0
1800.03/1800.71	c   shifting         :       0.00          0          0
1800.03/1800.71	c   intshifting      :       0.00          0          0
1800.03/1800.71	c   twoopt           :       0.00          0          0
1800.03/1800.71	c   fixandinfer      :       0.00          0          0
1800.03/1800.71	c   feaspump         :       0.00          0          0
1800.03/1800.71	c   coefdiving       :       0.00          0          0
1800.03/1800.71	c   pscostdiving     :       0.00          0          0
1800.03/1800.71	c   fracdiving       :       0.00          0          0
1800.03/1800.71	c   veclendiving     :       0.00          0          0
1800.03/1800.71	c   intdiving        :       0.00          0          0
1800.03/1800.71	c   actconsdiving    :       0.00          0          0
1800.03/1800.71	c   objpscostdiving  :       0.00          0          0
1800.03/1800.71	c   rootsoldiving    :       0.00          0          0
1800.03/1800.71	c   linesearchdiving :       0.00          0          0
1800.03/1800.71	c   guideddiving     :       0.00          0          0
1800.03/1800.71	c   octane           :       0.00          0          0
1800.03/1800.71	c   rens             :       0.00          0          0
1800.03/1800.71	c   rins             :       0.00          0          0
1800.03/1800.71	c   localbranching   :       0.00          0          0
1800.03/1800.71	c   mutation         :       0.00          0          0
1800.03/1800.71	c   crossover        :       0.00          0          0
1800.03/1800.71	c   dins             :       0.00          0          0
1800.03/1800.71	c   undercover       :       0.00          0          0
1800.03/1800.71	c   nlp              :       0.66          0          0
1800.03/1800.71	c   trysol           :       0.64          0          0
1800.03/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.71	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.71	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.71	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.71	c B&B Tree           :
1800.03/1800.71	c   number of runs   :          1
1800.03/1800.71	c   nodes            :    1170621
1800.03/1800.71	c   nodes (total)    :    1170621
1800.03/1800.71	c   nodes left       :     439902
1800.03/1800.71	c   max depth        :        342
1800.03/1800.71	c   max depth (total):        342
1800.03/1800.71	c   backtracks       :     157775 (13.5%)
1800.03/1800.71	c   delayed cutoffs  :     161128
1800.03/1800.71	c   repropagations   :     602688 (5133643 domain reductions, 128914 cutoffs)
1800.03/1800.71	c   avg switch length:       6.97
1800.03/1800.71	c   switching time   :     402.91
1800.03/1800.71	c Solution           :
1800.03/1800.71	c   Solutions found  :          0 (0 improvements)
1800.03/1800.71	c   Primal Bound     :          -
1800.03/1800.71	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.71	c   Gap              :   infinite
1800.03/1800.71	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.71	c   Root Iterations  :          0

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-2664156-1276349556/watcher-2664156-1276349556 -o /tmp/evaluation-result-2664156-1276349556/solver-2664156-1276349556 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664156-1276349556.opb -t 1800 -m 1800 

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.61 1.25 1.09 3/106 11115
/proc/meminfo: memFree=1738520/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=6584 CPUtime=0
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 1125 0 0 0 0 0 0 0 23 0 1 0 8607439 6742016 1047 1992294400 4194304 7136930 140736342768512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 1646 1058 254 719 0 925 0

[startup+0.0286609 s]
/proc/loadavg: 1.61 1.25 1.09 3/106 11115
/proc/meminfo: memFree=1738520/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=8652 CPUtime=0.02
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 1639 0 0 0 2 0 0 0 23 0 1 0 8607439 8859648 1561 1992294400 4194304 7136930 140736342768512 18446744073709551615 5649621 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 2163 1561 271 719 0 1442 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8652

[startup+0.101674 s]
/proc/loadavg: 1.61 1.25 1.09 3/106 11115
/proc/meminfo: memFree=1738520/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=13836 CPUtime=0.09
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 4182 0 0 0 7 2 0 0 18 0 1 0 8607439 14168064 2722 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 3459 2722 369 719 0 2738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13836

[startup+0.301711 s]
/proc/loadavg: 1.61 1.25 1.09 3/106 11115
/proc/meminfo: memFree=1738520/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=15548 CPUtime=0.29
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 4640 0 0 0 26 3 0 0 18 0 1 0 8607439 15921152 3180 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 3887 3180 395 719 0 3166 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15548

[startup+0.701783 s]
/proc/loadavg: 1.61 1.25 1.09 3/106 11115
/proc/meminfo: memFree=1738520/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=15944 CPUtime=0.69
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 4733 0 0 0 63 6 0 0 18 0 1 0 8607439 16326656 3273 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 3986 3273 395 719 0 3265 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15944

[startup+1.50093 s]
/proc/loadavg: 1.61 1.25 1.09 2/107 11116
/proc/meminfo: memFree=1725864/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=17164 CPUtime=1.49
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 5029 0 0 0 138 11 0 0 19 0 1 0 8607439 17575936 3569 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 4291 3569 395 719 0 3570 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17164

[startup+3.10122 s]
/proc/loadavg: 1.61 1.25 1.09 2/107 11116
/proc/meminfo: memFree=1724500/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=19476 CPUtime=3.09
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 5607 0 0 0 287 22 0 0 25 0 1 0 8607439 19943424 4147 1992294400 4194304 7136930 140736342768512 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 4869 4147 395 719 0 4148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19476

[startup+6.30081 s]
/proc/loadavg: 1.56 1.25 1.09 2/107 11116
/proc/meminfo: memFree=1720532/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=23164 CPUtime=6.28
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 6551 0 0 0 588 40 0 0 25 0 1 0 8607439 23719936 5091 1992294400 4194304 7136930 140736342768512 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 5791 5091 395 719 0 5070 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23164

[startup+12.701 s]
/proc/loadavg: 1.52 1.24 1.09 2/107 11116
/proc/meminfo: memFree=1712348/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=30156 CPUtime=12.69
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 8309 0 0 0 1194 75 0 0 25 0 1 0 8607439 30879744 6849 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 7539 6849 395 719 0 6818 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30156

[startup+25.5013 s]
/proc/loadavg: 1.40 1.23 1.08 2/107 11118
/proc/meminfo: memFree=1700320/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=42368 CPUtime=25.48
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 11351 0 0 0 2419 129 0 0 25 0 1 0 8607439 43384832 9891 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 10592 9891 395 719 0 9871 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42368

[startup+51.101 s]
/proc/loadavg: 1.26 1.21 1.08 2/107 11118
/proc/meminfo: memFree=1679612/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=63140 CPUtime=51.07
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 16591 0 0 0 4872 235 0 0 25 0 1 0 8607439 64655360 15131 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 15785 15131 395 719 0 15064 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63140

[startup+102.309 s]
/proc/loadavg: 1.11 1.18 1.08 2/107 11120
/proc/meminfo: memFree=1646876/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=94924 CPUtime=102.26
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 24547 0 0 0 9817 409 0 0 25 0 1 0 8607439 97202176 23087 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 23731 23087 395 719 0 23010 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94924

[startup+162.301 s]
/proc/loadavg: 1.04 1.14 1.07 2/107 11120
/proc/meminfo: memFree=1601988/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=141596 CPUtime=162.23
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 35777 0 0 0 15599 624 0 0 25 0 1 0 8607439 144994304 34317 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 35399 34317 395 719 0 34678 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 141596

[startup+222.301 s]
/proc/loadavg: 1.01 1.11 1.07 2/107 11122
/proc/meminfo: memFree=1568880/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=174268 CPUtime=222.21
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 43986 0 0 0 21412 809 0 0 25 0 1 0 8607439 178450432 42526 1992294400 4194304 7136930 140736342768512 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 43567 42526 395 719 0 42846 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 174268

[startup+282.301 s]
/proc/loadavg: 1.00 1.09 1.06 2/107 11124
/proc/meminfo: memFree=1546684/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=196228 CPUtime=282.19
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 49506 0 0 0 27259 960 0 0 25 0 1 0 8607439 200937472 48046 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 49057 48046 395 719 0 48336 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 196228

[startup+342.301 s]
/proc/loadavg: 1.00 1.07 1.05 2/107 11126
/proc/meminfo: memFree=1523372/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=220312 CPUtime=342.17
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 55554 0 0 0 33120 1097 0 0 25 0 1 0 8607439 225599488 54094 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 55078 54094 395 719 0 54357 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 220312

[startup+402.302 s]
/proc/loadavg: 1.00 1.06 1.05 2/107 11131
/proc/meminfo: memFree=1486420/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=257092 CPUtime=402.14
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 64783 0 0 0 38924 1290 0 0 25 0 1 0 8607439 263262208 63323 1992294400 4194304 7136930 140736342768512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 64273 63323 395 719 0 63552 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 257092

[startup+462.301 s]
/proc/loadavg: 1.00 1.04 1.04 2/107 11131
/proc/meminfo: memFree=1457404/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=284244 CPUtime=462.11
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 71668 0 0 0 44749 1462 0 0 25 0 1 0 8607439 291065856 70208 1992294400 4194304 7136930 140736342768512 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 71061 70208 395 719 0 70340 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 284244

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.04 2/107 11133
/proc/meminfo: memFree=1429008/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=312704 CPUtime=522.09
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 78863 0 0 0 50590 1619 0 0 25 0 1 0 8607439 320208896 77403 1992294400 4194304 7136930 140736342768512 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 78176 77403 395 719 0 77455 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 312704

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.03 2/107 11135
/proc/meminfo: memFree=1406440/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=338344 CPUtime=582.07
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 84282 0 0 0 56436 1771 0 0 25 0 1 0 8607439 346464256 82822 1992294400 4194304 7136930 140736342768512 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 84586 82822 395 719 0 83865 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 338344

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/107 11137
/proc/meminfo: memFree=1384120/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=360396 CPUtime=642.05
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 89851 0 0 0 62298 1907 0 0 25 0 1 0 8607439 369045504 88391 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 90099 88391 395 719 0 89378 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 360396

[startup+702.301 s]

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

/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 120757 0 0 0 103468 2721 0 0 25 0 1 0 8607439 495042560 119297 1992294400 4194304 7136930 140736342768512 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 120860 119297 395 719 0 120139 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 483440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11149
/proc/meminfo: memFree=1236436/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=507732 CPUtime=1121.87
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 126880 0 0 0 109312 2875 0 0 25 0 1 0 8607439 519917568 125420 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 126933 125420 395 719 0 126212 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 507732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11151
/proc/meminfo: memFree=1208660/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=535596 CPUtime=1181.84
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 133858 0 0 0 115160 3024 0 0 25 0 1 0 8607439 548450304 132398 1992294400 4194304 7136930 140736342768512 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 133899 132398 395 719 0 133178 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 535596

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11153
/proc/meminfo: memFree=1182620/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=560096 CPUtime=1241.83
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 140047 0 0 0 121012 3171 0 0 25 0 1 0 8607439 573538304 138587 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 140024 138587 395 719 0 139303 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 560096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11155
/proc/meminfo: memFree=1162904/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=579584 CPUtime=1301.81
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 144978 0 0 0 126878 3303 0 0 25 0 1 0 8607439 593494016 143518 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 144896 143518 395 719 0 144175 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 579584

[startup+1362.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 11155
/proc/meminfo: memFree=1139840/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=602300 CPUtime=1361.78
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 150725 0 0 0 132739 3439 0 0 25 0 1 0 8607439 616755200 149265 1992294400 4194304 7136930 140736342768512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 150575 149265 395 719 0 149854 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 602300

[startup+1422.31 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 11157
/proc/meminfo: memFree=1115412/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=626448 CPUtime=1421.77
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 156793 0 0 0 138618 3559 0 0 25 0 1 0 8607439 641482752 155333 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 156612 155333 395 719 0 155891 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 626448

[startup+1482.3 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 11159
/proc/meminfo: memFree=1098672/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=643356 CPUtime=1481.75
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 160977 0 0 0 144494 3681 0 0 25 0 1 0 8607439 658796544 159517 1992294400 4194304 7136930 140736342768512 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 160839 159517 395 719 0 160118 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 643356

[startup+1542.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 11161
/proc/meminfo: memFree=1084164/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=657572 CPUtime=1541.72
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 164581 0 0 0 150371 3801 0 0 25 0 1 0 8607439 673353728 163121 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 164393 163121 395 719 0 163672 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 657572

[startup+1602.3 s]
/proc/loadavg: 1.13 1.07 1.02 2/107 11163
/proc/meminfo: memFree=1068912/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=672704 CPUtime=1601.7
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 168405 0 0 0 156266 3904 0 0 25 0 1 0 8607439 688848896 166945 1992294400 4194304 7136930 140736342768512 18446744073709551615 4219859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 168176 166945 395 719 0 167455 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 672704

[startup+1662.3 s]
/proc/loadavg: 1.12 1.07 1.02 2/107 11163
/proc/meminfo: memFree=1052172/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=689084 CPUtime=1661.67
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 172555 0 0 0 162157 4010 0 0 25 0 1 0 8607439 705622016 171095 1992294400 4194304 7136930 140736342768512 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 172271 171095 395 719 0 171550 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 689084

[startup+1722.3 s]
/proc/loadavg: 1.11 1.07 1.02 2/107 11174
/proc/meminfo: memFree=1030720/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=710840 CPUtime=1721.65
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 178009 0 0 0 168045 4120 0 0 25 0 1 0 8607439 727900160 176549 1992294400 4194304 7136930 140736342768512 18446744073709551615 5957329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 177710 176549 395 719 0 176989 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 710840

[startup+1782.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 11176
/proc/meminfo: memFree=1018320/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=722272 CPUtime=1781.62
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 180862 0 0 0 173943 4219 0 0 25 0 1 0 8607439 739606528 179402 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 180568 179402 395 719 0 179847 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 722272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 11176
/proc/meminfo: memFree=1013608/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=726696 CPUtime=1800.03
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 182013 0 0 0 175753 4250 0 0 25 0 1 0 8607439 744136704 180553 1992294400 4194304 7136930 140736342768512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11115/statm: 181674 180553 395 719 0 180953 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 726696

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11115

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

[startup+1801.4 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 11176
/proc/meminfo: memFree=1013608/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=726696 CPUtime=1800.72
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 182020 0 0 0 175822 4250 0 0 18 0 1 0 8607439 744136704 180560 1992294400 4194304 7136930 140736342768512 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 181674 180560 401 719 0 180953 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 726696

[startup+1802.2 s]
/proc/loadavg: 1.07 1.06 1.01 2/108 11177
/proc/meminfo: memFree=1013600/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=726696 CPUtime=1801.52
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 182020 0 0 0 175902 4250 0 0 19 0 1 0 8607439 744136704 180560 1992294400 4194304 7136930 140736342768512 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 181674 180560 401 719 0 180953 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 726696

[startup+1802.6 s]
/proc/loadavg: 1.07 1.06 1.01 2/108 11177
/proc/meminfo: memFree=1013600/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=726696 CPUtime=1801.92
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 182020 0 0 0 175942 4250 0 0 20 0 1 0 8607439 744136704 180560 1992294400 4194304 7136930 140736342768512 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 181674 180560 401 719 0 180953 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 726696

[startup+1802.7 s]
/proc/loadavg: 1.07 1.06 1.01 2/108 11177
/proc/meminfo: memFree=1013600/2059040 swapFree=4192956/4192956
[pid=11115] ppid=11113 vsize=726696 CPUtime=1802.02
/proc/11115/stat : 11115 (pbscip.linux.x8) R 11113 11115 10257 0 -1 4202496 182020 0 0 0 175952 4250 0 0 20 0 1 0 8607439 744136704 180560 1992294400 4194304 7136930 140736342768512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11115/statm: 181674 180560 401 719 0 180953 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 726696

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.79
CPU time (s): 1802.12
CPU user time (s): 1759.54
CPU system time (s): 42.5785
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 726696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.54
system time used= 42.5785
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 6842

runsolver used 3.75843 second user time and 9.35358 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-12 15:32:36
IDJOB=2664156
IDBENCH=1844
IDSOLVER=1167
FILE ID=node027/2664156-1276349556
PBS_JOBID= 11173187
Free space on /tmp= 62448 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664156-1276349556/watcher-2664156-1276349556 -o /tmp/evaluation-result-2664156-1276349556/solver-2664156-1276349556 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664156-1276349556.opb -t 1800 -m 1800

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

MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731
RANDOM SEED=1508600894

node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2800.261
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5600.52
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		: 2800.261
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739048 kB
Buffers:         45872 kB
Cached:         144740 kB
SwapCached:          0 kB
Active:         151764 kB
Inactive:        98120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739048 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3248 kB
Writeback:           0 kB
AnonPages:       59308 kB
Mapped:          15392 kB
Slab:            48268 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62444 MiB
End job on node027 at 2010-06-12 16:02:39