Trace number 2664612

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 solverSAT (TO)72 1802.14 1802.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM135acf1f05855c365b3d13b378debe22
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.289955
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
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-2664612-1276404914.opb>
0.00/0.04	c original problem has 648 variables (648 bin, 0 int, 0 impl, 0 cont) and 1952 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.04	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.04/0.05	c presolving:
0.09/0.10	c (round 1) 108 del vars, 108 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1736 upgd conss, 844 impls, 0 clqs
0.09/0.12	c (round 2) 108 del vars, 216 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1736 upgd conss, 844 impls, 0 clqs
0.09/0.14	c    (0.1s) probing: 101/540 (18.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (3 rounds):
0.09/0.14	c  108 deleted vars, 216 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14	c  844 implications, 0 cliques
0.09/0.14	c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 1736 constraints
0.09/0.14	c      24 constraints of type <knapsack>
0.09/0.14	c    1712 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.08
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.96
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 1620
0.09/0.14	c 
0.09/0.14	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14	c lp/solvefreq = -1
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	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.15	c   0.1s|     1 |     2 |     0 |     - |2943k|   0 |   - | 540 |1736 |   0 |   0 |   0 |   0 |   0 | 1.600000e+01 |      --      |    Inf 
6.89/6.98	c   6.7s| 10000 |  6090 |     0 |   0.0 |8509k|  59 |   - | 540 |3052 |   0 |   0 |   0 |5194 |   0 | 1.800000e+01 |      --      |    Inf 
14.48/14.59	c  14.0s| 20000 | 11847 |     0 |   0.0 |  13M|  59 |   - | 540 |3469 |   0 |   0 |   0 |  10k|   0 | 1.900000e+01 |      --      |    Inf 
22.78/22.82	c  21.9s| 30000 | 17297 |     0 |   0.0 |  19M|  59 |   - | 540 |3589 |   0 |   0 |   0 |  16k|   0 | 1.900000e+01 |      --      |    Inf 
31.48/31.50	c  30.2s| 40000 | 22906 |     0 |   0.0 |  25M|  67 |   - | 540 |3888 |   0 |   0 |   0 |  22k|   0 | 2.000000e+01 |      --      |    Inf 
41.17/41.24	c  39.7s| 50000 | 27485 |     0 |   0.0 |  30M|  71 |   - | 540 |4047 |   0 |   0 |   0 |  29k|   0 | 2.100000e+01 |      --      |    Inf 
50.16/50.27	c  48.4s| 60000 | 32972 |     0 |   0.0 |  37M|  71 |   - | 540 |3972 |   0 |   0 |   0 |  35k|   0 | 2.100000e+01 |      --      |    Inf 
58.57/58.66	c  56.5s| 70000 | 39175 |     0 |   0.0 |  43M|  71 |   - | 540 |4437 |   0 |   0 |   0 |  40k|   0 | 2.200000e+01 |      --      |    Inf 
67.27/67.36	c  64.9s| 80000 | 44893 |     0 |   0.0 |  49M|  71 |   - | 540 |4399 |   0 |   0 |   0 |  45k|   0 | 2.300000e+01 |      --      |    Inf 
75.66/75.70	c  72.9s| 90000 | 51237 |     0 |   0.0 |  55M|  73 |   - | 540 |4490 |   0 |   0 |   0 |  50k|   0 | 2.300000e+01 |      --      |    Inf 
83.66/83.72	c  80.7s|100000 | 58300 |     0 |   0.0 |  61M|  73 |   - | 540 |4780 |   0 |   0 |   0 |  54k|   0 | 2.300000e+01 |      --      |    Inf 
92.37/92.49	c  89.1s|110000 | 64737 |     0 |   0.0 |  67M|  73 |   - | 540 |4658 |   0 |   0 |   0 |  58k|   0 | 2.300000e+01 |      --      |    Inf 
100.35/100.48	c  96.8s|120000 | 71589 |     0 |   0.0 |  73M|  73 |   - | 540 |4983 |   0 |   0 |   0 |  62k|   0 | 2.300000e+01 |      --      |    Inf 
109.04/109.13	c   105s|130000 | 78644 |     0 |   0.0 |  79M|  73 |   - | 540 |5293 |   0 |   0 |   0 |  67k|   0 | 2.400000e+01 |      --      |    Inf 
116.64/116.75	c   113s|140000 | 86132 |     0 |   0.0 |  85M|  81 |   - | 540 |4823 |   0 |   0 |   0 |  70k|   0 | 2.400000e+01 |      --      |    Inf 
126.14/126.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
126.14/126.23	c   122s|150000 | 92314 |     0 |   0.0 |  92M|  81 |   - | 540 |5810 |   0 |   0 |   0 |  76k|   0 | 2.400000e+01 |      --      |    Inf 
139.33/139.41	c   134s|160000 | 95659 |     0 |   0.0 |  99M|  81 |   - | 540 |6041 |   0 |   0 |   0 |  87k|   0 | 2.400000e+01 |      --      |    Inf 
151.53/151.65	c   146s|170000 | 99576 |     0 |   0.0 | 106M|  81 |   - | 540 |6527 |   0 |   0 |   0 |  97k|   0 | 2.400000e+01 |      --      |    Inf 
164.93/165.06	c   159s|180000 |103812 |     0 |   0.0 | 113M|  81 |   - | 540 |7146 |   0 |   0 |   0 | 107k|   0 | 2.400000e+01 |      --      |    Inf 
178.52/178.64	c   173s|190000 |107718 |     0 |   0.0 | 119M|  81 |   - | 540 |6380 |   0 |   0 |   0 | 118k|   0 | 2.500000e+01 |      --      |    Inf 
193.21/193.39	c   187s|200000 |110674 |     0 |   0.0 | 126M|  81 |   - | 540 |6968 |   0 |   0 |   0 | 129k|   0 | 2.500000e+01 |      --      |    Inf 
207.81/207.92	c   201s|210000 |113884 |     0 |   0.0 | 133M|  81 |   - | 540 |7095 |   0 |   0 |   0 | 140k|   0 | 2.500000e+01 |      --      |    Inf 
222.01/222.15	c   215s|220000 |117310 |     0 |   0.0 | 140M|  81 |   - | 540 |7443 |   0 |   0 |   0 | 151k|   0 | 2.500000e+01 |      --      |    Inf 
235.39/235.53	c   228s|230000 |121990 |     0 |   0.0 | 147M|  81 |   - | 540 |8043 |   0 |   0 |   0 | 162k|   0 | 2.600000e+01 |      --      |    Inf 
250.49/250.64	c   243s|240000 |125742 |     0 |   0.0 | 155M|  81 |   - | 540 |8520 |   0 |   0 |   0 | 173k|   0 | 2.600000e+01 |      --      |    Inf 
265.28/265.43	c   257s|250000 |129566 |     0 |   0.0 | 161M|  81 |   - | 540 |7741 |   0 |   0 |   0 | 184k|   0 | 2.600000e+01 |      --      |    Inf 
281.18/281.33	c   273s|260000 |133010 |     0 |   0.0 | 168M|  81 |   - | 540 |8446 |   0 |   0 |   0 | 197k|   0 | 2.600000e+01 |      --      |    Inf 
296.97/297.16	c   288s|270000 |136516 |     0 |   0.0 | 176M|  81 |   - | 540 |8101 |   0 |   0 |   0 | 209k|   0 | 2.600000e+01 |      --      |    Inf 
312.17/312.34	c   303s|280000 |140158 |     0 |   0.0 | 183M|  81 |   - | 540 |8876 |   0 |   0 |   0 | 220k|   0 | 2.700000e+01 |      --      |    Inf 
325.56/325.72	c   316s|290000 |145011 |     0 |   0.0 | 189M|  81 |   - | 540 |8834 |   0 |   0 |   0 | 230k|   0 | 2.700000e+01 |      --      |    Inf 
341.87/342.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
341.87/342.07	c   332s|300000 |148782 |     0 |   0.0 | 197M|  81 |   - | 540 |9076 |   0 |   0 |   0 | 243k|   0 | 2.700000e+01 |      --      |    Inf 
356.04/356.23	c   346s|310000 |153276 |     0 |   0.0 | 203M|  81 |   - | 540 |8499 |   0 |   0 |   0 | 253k|   0 | 2.700000e+01 |      --      |    Inf 
370.74/370.99	c   360s|320000 |157653 |     0 |   0.0 | 210M|  81 |   - | 540 |9108 |   0 |   0 |   0 | 264k|   0 | 2.700000e+01 |      --      |    Inf 
387.43/387.67	c   377s|330000 |161202 |     0 |   0.0 | 217M|  81 |   - | 540 |9035 |   0 |   0 |   0 | 276k|   0 | 2.700000e+01 |      --      |    Inf 
402.93/403.18	c   392s|340000 |164867 |     0 |   0.0 | 224M|  81 |   - | 540 |9035 |   0 |   0 |   0 | 288k|   0 | 2.800000e+01 |      --      |    Inf 
417.62/417.82	c   406s|350000 |169789 |     0 |   0.0 | 232M|  81 |   - | 540 |9979 |   0 |   0 |   0 | 299k|   0 | 2.800000e+01 |      --      |    Inf 
434.71/434.92	c   423s|360000 |173566 |     0 |   0.0 | 239M|  81 |   - | 540 |9601 |   0 |   0 |   0 | 312k|   0 | 2.800000e+01 |      --      |    Inf 
449.50/449.77	c   437s|370000 |178059 |     0 |   0.0 | 246M|  81 |   - | 540 |9837 |   0 |   0 |   0 | 323k|   0 | 2.800000e+01 |      --      |    Inf 
464.60/464.87	c   452s|380000 |182540 |     0 |   0.0 | 252M|  81 |   - | 540 |  10k|   0 |   0 |   0 | 334k|   0 | 2.800000e+01 |      --      |    Inf 
480.79/481.06	c   468s|390000 |186977 |     0 |   0.0 | 259M|  81 |   - | 540 |  10k|   0 |   0 |   0 | 346k|   0 | 2.800000e+01 |      --      |    Inf 
499.09/499.38	c   486s|400000 |190467 |     0 |   0.0 | 266M|  81 |   - | 540 |  10k|   0 |   0 |   0 | 359k|   0 | 2.800000e+01 |      --      |    Inf 
515.98/516.26	c   502s|410000 |194700 |     0 |   0.0 | 273M|  81 |   - | 540 |  10k|   0 |   0 |   0 | 371k|   0 | 2.900000e+01 |      --      |    Inf 
532.87/533.11	c   519s|420000 |198926 |     0 |   0.0 | 280M|  81 |   - | 540 |  11k|   0 |   0 |   0 | 382k|   0 | 2.900000e+01 |      --      |    Inf 
551.36/551.65	c   537s|430000 |202539 |     0 |   0.0 | 287M|  81 |   - | 540 |  10k|   0 |   0 |   0 | 395k|   0 | 2.900000e+01 |      --      |    Inf 
566.55/566.90	c   552s|440000 |207548 |     0 |   0.0 | 294M|  81 |   - | 540 |  11k|   0 |   0 |   0 | 407k|   0 | 2.900000e+01 |      --      |    Inf 
583.15/583.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
583.15/583.46	c   568s|450000 |212342 |     0 |   0.0 | 300M|  81 |   - | 540 |  12k|   0 |   0 |   0 | 418k|   0 | 2.900000e+01 |      --      |    Inf 
601.45/601.79	c   586s|460000 |216665 |     0 |   0.0 | 308M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 430k|   0 | 2.900000e+01 |      --      |    Inf 
622.25/622.56	c   607s|470000 |220061 |     0 |   0.0 | 314M|  81 |   - | 540 |  12k|   0 |   0 |   0 | 443k|   0 | 3.000000e+01 |      --      |    Inf 
642.83/643.13	c   627s|480000 |223522 |     0 |   0.0 | 321M|  81 |   - | 540 |  12k|   0 |   0 |   0 | 456k|   0 | 3.000000e+01 |      --      |    Inf 
659.92/660.25	c   644s|490000 |228513 |     0 |   0.0 | 327M|  81 |   - | 540 |  12k|   0 |   0 |   0 | 467k|   0 | 3.000000e+01 |      --      |    Inf 
679.81/680.16	c   663s|500000 |232408 |     0 |   0.0 | 334M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 480k|   0 | 3.000000e+01 |      --      |    Inf 
696.60/696.96	c   680s|510000 |237384 |     0 |   0.0 | 340M|  81 |   - | 540 |  12k|   0 |   0 |   0 | 491k|   0 | 3.000000e+01 |      --      |    Inf 
713.80/714.14	c   696s|520000 |242491 |     0 |   0.0 | 346M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 502k|   0 | 3.000000e+01 |      --      |    Inf 
732.69/733.02	c   715s|530000 |247100 |     0 |   0.0 | 353M|  81 |   - | 540 |  14k|   0 |   0 |   0 | 514k|   0 | 3.000000e+01 |      --      |    Inf 
752.38/752.76	c   734s|540000 |251151 |     0 |   0.0 | 359M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 526k|   0 | 3.100000e+01 |      --      |    Inf 
773.18/773.53	c   755s|550000 |254563 |     0 |   0.0 | 365M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 539k|   0 | 3.100000e+01 |      --      |    Inf 
795.56/795.93	c   777s|560000 |257939 |     0 |   0.0 | 371M|  81 |   - | 540 |  13k|   0 |   0 |   0 | 553k|   0 | 3.100000e+01 |      --      |    Inf 
813.46/813.87	c   794s|570000 |263031 |     0 |   0.0 | 377M|  81 |   - | 540 |  14k|   0 |   0 |   0 | 564k|   0 | 3.100000e+01 |      --      |    Inf 
836.55/836.93	c   817s|580000 |266455 |     0 |   0.0 | 384M|  81 |   - | 540 |  14k|   0 |   0 |   0 | 578k|   0 | 3.100000e+01 |      --      |    Inf 
855.14/855.53	c   835s|590000 |271579 |     0 |   0.0 | 390M|  81 |   - | 540 |  14k|   0 |   0 |   0 | 590k|   0 | 3.100000e+01 |      --      |    Inf 
873.84/874.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
873.84/874.29	c   854s|600000 |276871 |     0 |   0.0 | 397M|  81 |   - | 540 |  15k|   0 |   0 |   0 | 602k|   0 | 3.200000e+01 |      --      |    Inf 
893.53/893.95	c   873s|610000 |282014 |     0 |   0.0 | 403M|  81 |   - | 540 |  16k|   0 |   0 |   0 | 614k|   0 | 3.200000e+01 |      --      |    Inf 
914.32/914.73	c   893s|620000 |286858 |     0 |   0.0 | 410M|  81 |   - | 540 |  17k|   0 |   0 |   0 | 626k|   0 | 3.200000e+01 |      --      |    Inf 
936.11/936.55	c   915s|630000 |291263 |     0 |   0.0 | 416M|  81 |   - | 540 |  17k|   0 |   0 |   0 | 639k|   0 | 3.200000e+01 |      --      |    Inf 
958.90/959.32	c   937s|640000 |295245 |     0 |   0.0 | 423M|  81 |   - | 540 |  18k|   0 |   0 |   0 | 653k|   0 | 3.200000e+01 |      --      |    Inf 
987.30/987.79	c   965s|650000 |297631 |     0 |   0.0 | 429M|  81 |   - | 540 |  17k|   0 |   0 |   0 | 669k|   0 | 3.200000e+01 |      --      |    Inf 
1013.28/1013.74	c   991s|660000 |301014 |     0 |   0.0 | 434M|  81 |   - | 540 |  15k|   0 |   0 |   0 | 685k|   0 | 3.200000e+01 |      --      |    Inf 
1034.77/1035.25	c  1012s|670000 |305705 |     0 |   0.0 | 440M|  81 |   - | 540 |  16k|   0 |   0 |   0 | 698k|   0 | 3.200000e+01 |      --      |    Inf 
1059.27/1059.73	c  1036s|680000 |309414 |     0 |   0.0 | 446M|  81 |   - | 540 |  16k|   0 |   0 |   0 | 711k|   0 | 3.300000e+01 |      --      |    Inf 
1080.15/1080.68	c  1057s|690000 |314498 |     0 |   0.0 | 453M|  81 |   - | 540 |  18k|   0 |   0 |   0 | 724k|   0 | 3.300000e+01 |      --      |    Inf 
1102.65/1103.17	c  1079s|700000 |319368 |     0 |   0.0 | 459M|  81 |   - | 540 |  19k|   0 |   0 |   0 | 738k|   0 | 3.300000e+01 |      --      |    Inf 
1125.84/1126.39	c  1102s|710000 |324226 |     0 |   0.0 | 466M|  81 |   - | 540 |  20k|   0 |   0 |   0 | 752k|   0 | 3.300000e+01 |      --      |    Inf 
1149.72/1150.21	c  1125s|720000 |328962 |     0 |   0.0 | 472M|  81 |   - | 540 |  20k|   0 |   0 |   0 | 765k|   0 | 3.300000e+01 |      --      |    Inf 
1174.82/1175.33	c  1150s|730000 |333469 |     0 |   0.0 | 479M|  81 |   - | 540 |  21k|   0 |   0 |   0 | 780k|   0 | 3.300000e+01 |      --      |    Inf 
1202.30/1202.81	c  1177s|740000 |337683 |     0 |   0.0 | 485M|  81 |   - | 540 |  22k|   0 |   0 |   0 | 794k|   0 | 3.300000e+01 |      --      |    Inf 
1231.49/1232.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1231.49/1232.09	c  1206s|750000 |341193 |     0 |   0.0 | 491M|  81 |   - | 540 |  22k|   0 |   0 |   0 | 810k|   0 | 3.300000e+01 |      --      |    Inf 
1262.78/1263.35	c  1237s|760000 |344181 |     0 |   0.0 | 497M|  81 |   - | 540 |  22k|   0 |   0 |   0 | 826k|   0 | 3.300000e+01 |      --      |    Inf 
1296.77/1297.39	c  1271s|770000 |345974 |     0 |   0.0 | 502M|  81 |   - | 540 |  21k|   0 |   0 |   0 | 844k|   0 | 3.300000e+01 |      --      |    Inf 
1327.05/1327.62	c  1300s|780000 |349468 |     0 |   0.0 | 507M|  81 |   - | 540 |  19k|   0 |   0 |   0 | 860k|   0 | 3.300000e+01 |      --      |    Inf 
1355.54/1356.12	c  1329s|790000 |353396 |     0 |   0.0 | 513M|  81 |   - | 540 |  20k|   0 |   0 |   0 | 874k|   0 | 3.300000e+01 |      --      |    Inf 
1384.23/1384.83	c  1357s|800000 |356935 |     0 |   0.0 | 518M|  81 |   - | 540 |  20k|   0 |   0 |   0 | 890k|   0 | 3.300000e+01 |      --      |    Inf 
1411.61/1412.23	c  1384s|810000 |361101 |     0 |   0.0 | 525M|  81 |   - | 540 |  23k|   0 |   0 |   0 | 905k|   0 | 3.400000e+01 |      --      |    Inf 
1441.51/1442.11	c  1413s|820000 |365323 |     0 |   0.0 | 532M|  81 |   - | 540 |  25k|   0 |   0 |   0 | 921k|   0 | 3.400000e+01 |      --      |    Inf 
1474.19/1474.80	c  1446s|830000 |369328 |     0 |   0.0 | 538M|  81 |   - | 540 |  25k|   0 |   0 |   0 | 936k|   0 | 3.400000e+01 |      --      |    Inf 
1484.39/1485.09	o 72
1484.39/1485.09	c *1456s|833166 |370693 |     0 |   0.0 | 540M|  81 |   - | 540 |  26k|   0 |   0 |   0 | 941k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1507.38/1508.09	c  1479s|840000 |374035 |     0 |   0.0 | 544M|  81 |   - | 540 |  25k|   0 |   0 |   0 | 950k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1539.56/1540.26	c  1510s|850000 |378740 |     0 |   0.0 | 551M|  81 |   - | 540 |  26k|   0 |   0 |   0 | 964k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1573.65/1574.32	c  1544s|860000 |383091 |     0 |   0.0 | 558M|  81 |   - | 540 |  27k|   0 |   0 |   0 | 977k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1608.43/1609.10	c  1578s|870000 |387774 |     0 |   0.0 | 564M|  81 |   - | 540 |  27k|   0 |   0 |   0 | 991k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1643.73/1644.46	c  1613s|880000 |392002 |     0 |   0.0 | 570M|  81 |   - | 540 |  28k|   0 |   0 |   0 |1005k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1682.22/1682.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1682.22/1682.97	c  1652s|890000 |395566 |     0 |   0.0 | 576M|  81 |   - | 540 |  28k|   0 |   0 |   0 |1021k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1720.59/1721.38	c  1690s|900000 |399160 |     0 |   0.0 | 583M|  81 |   - | 540 |  29k|   0 |   0 |   0 |1037k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1761.27/1762.00	c  1730s|910000 |401868 |     0 |   0.0 | 588M|  81 |   - | 540 |  29k|   0 |   0 |   0 |1054k|   0 | 3.400000e+01 | 7.200000e+01 | 111.76%
1800.07/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81	c 
1800.07/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.81	c Solving Time (sec) : 1768.28
1800.07/1800.81	c Solving Nodes      : 917905
1800.07/1800.81	c Primal Bound       : +7.20000000000000e+01 (1 solutions)
1800.07/1800.81	c Dual Bound         : +3.40000000000000e+01
1800.07/1800.81	c Gap                : 111.76 %
1800.07/1800.81	s SATISFIABLE
1800.07/1800.81	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 x627 
1800.07/1800.81	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
1800.07/1800.81	v -x605 x604 -x603 x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 
1800.07/1800.81	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 x566 -x565 -x564 -x563 
1800.07/1800.81	v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 
1800.07/1800.81	v -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
1800.07/1800.81	v -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
1800.07/1800.81	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 
1800.07/1800.81	v -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
1800.07/1800.81	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1800.07/1800.81	v -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 
1800.07/1800.81	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 
1800.07/1800.81	v -x393 -x392 -x391 -x390 x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 
1800.07/1800.81	v -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 -x364 -x363 -x362 x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
1800.07/1800.81	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 x331 -x330 
1800.07/1800.81	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 
1800.07/1800.81	v -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 
1800.07/1800.81	v -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 x269 -x268 -x267 
1800.07/1800.81	v -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 
1800.07/1800.81	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 
1800.07/1800.81	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 
1800.07/1800.81	v -x203 -x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 
1800.07/1800.81	v -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 
1800.07/1800.81	v -x160 -x159 -x158 -x157 x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 
1800.07/1800.81	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 
1800.07/1800.81	v x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 
1800.07/1800.81	v -x96 -x95 -x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 
1800.07/1800.81	v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 
1800.07/1800.81	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 
1800.07/1800.81	v -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 -x1 
1800.07/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.81	c Solving Time       :    1768.28
1800.07/1800.81	c Original Problem   :
1800.07/1800.81	c   Problem name     : HOME/instance-2664612-1276404914.opb
1800.07/1800.81	c   Variables        : 648 (648 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81	c   Constraints      : 1952 initial, 1952 maximal
1800.07/1800.81	c Presolved Problem  :
1800.07/1800.81	c   Problem name     : t_HOME/instance-2664612-1276404914.opb
1800.07/1800.81	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81	c   Constraints      : 1736 initial, 29695 maximal
1800.07/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   implics          :       0.00          0        108          0          0          0          0          0          0
1800.07/1800.81	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.81	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.81	c   linear           :       0.03          0          0          0          0          0        216          0          0
1800.07/1800.81	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.81	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.81	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.81	c   knapsack         :         24          0    3591802          0     737866     199152   10570911          0          0          0
1800.07/1800.81	c   logicor          :       1712+         0    3194161          0     737867      76956   12367485          0          0          0
1800.07/1800.81	c   countsols        :          0          0          0          0     737862          0          0          0          0          0
1800.07/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.81	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.81	c   knapsack         :      73.77       0.00      67.94       0.00       5.83
1800.07/1800.81	c   logicor          :     909.53       0.00     704.36       0.00     205.17
1800.07/1800.81	c   countsols        :       0.34       0.00       0.00       0.00       0.34
1800.07/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.81	c   vbounds          :       2.03          2          0          0
1800.07/1800.81	c   rootredcost      :       1.84          0          0          0
1800.07/1800.81	c   pseudoobj        :     101.58    3591603          1         77
1800.07/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.81	c   propagation      :      24.52     276109     274984    1710362       21.4      18029       14.6          -
1800.07/1800.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.81	c   applied globally :          -          -          -    1070162       19.0          -          -          -
1800.07/1800.81	c   applied locally  :          -          -          -          1       59.0          -          -          -
1800.07/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.81	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.81	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.81	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.81	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.81	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.81	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.81	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.81	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.81	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.81	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.81	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.81	c Pricers            :       Time      Calls       Vars
1800.07/1800.81	c   problem variables:       0.00          0          0
1800.07/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.81	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   inference        :      69.36     737861          0          0          0          0    1475722
1800.07/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.81	c   LP solutions     :       0.00          -          0
1800.07/1800.81	c   pseudo solutions :       0.02          -          1
1800.07/1800.81	c   oneopt           :       0.56          0          0
1800.07/1800.81	c   trivial          :       0.00          2          0
1800.07/1800.81	c   simplerounding   :       0.00          0          0
1800.07/1800.81	c   zirounding       :       0.00          0          0
1800.07/1800.81	c   rounding         :       0.00          0          0
1800.07/1800.81	c   shifting         :       0.00          0          0
1800.07/1800.81	c   intshifting      :       0.00          0          0
1800.07/1800.81	c   twoopt           :       0.00          0          0
1800.07/1800.81	c   fixandinfer      :       0.00          0          0
1800.07/1800.81	c   feaspump         :       0.00          0          0
1800.07/1800.81	c   coefdiving       :       0.00          0          0
1800.07/1800.81	c   pscostdiving     :       0.00          0          0
1800.07/1800.81	c   fracdiving       :       0.00          0          0
1800.07/1800.81	c   veclendiving     :       0.00          0          0
1800.07/1800.81	c   intdiving        :       0.00          0          0
1800.07/1800.81	c   actconsdiving    :       0.00          0          0
1800.07/1800.81	c   objpscostdiving  :       0.00          0          0
1800.07/1800.81	c   rootsoldiving    :       0.00          0          0
1800.07/1800.81	c   linesearchdiving :       0.00          0          0
1800.07/1800.81	c   guideddiving     :       0.00          0          0
1800.07/1800.81	c   octane           :       0.00          0          0
1800.07/1800.81	c   rens             :       0.00          0          0
1800.07/1800.81	c   rins             :       0.00          0          0
1800.07/1800.81	c   localbranching   :       0.00          0          0
1800.07/1800.81	c   mutation         :       0.00          0          0
1800.07/1800.81	c   crossover        :       0.00          0          0
1800.07/1800.81	c   dins             :       0.00          0          0
1800.07/1800.81	c   undercover       :       0.00          0          0
1800.07/1800.81	c   nlp              :       0.75          0          0
1800.07/1800.81	c   trysol           :       0.48          0          0
1800.07/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.81	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.81	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.82	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.82	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.82	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.82	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.82	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.82	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.82	c B&B Tree           :
1800.07/1800.82	c   number of runs   :          1
1800.07/1800.82	c   nodes            :     917905
1800.07/1800.82	c   nodes (total)    :     917905
1800.07/1800.82	c   nodes left       :     402597
1800.07/1800.82	c   max depth        :         81
1800.07/1800.82	c   max depth (total):         81
1800.07/1800.82	c   backtracks       :     126804 (13.8%)
1800.07/1800.82	c   delayed cutoffs  :     155221
1800.07/1800.82	c   repropagations   :     428397 (6231213 domain reductions, 96066 cutoffs)
1800.07/1800.82	c   avg switch length:       7.22
1800.07/1800.82	c   switching time   :     399.14
1800.07/1800.82	c Solution           :
1800.07/1800.82	c   Solutions found  :          1 (1 improvements)
1800.07/1800.82	c   First Solution   : +7.20000000000000e+01   (in run 1, after 833166 nodes, 1455.84 seconds, depth 43, found by <relaxation>)
1800.07/1800.82	c   Primal Bound     : +7.20000000000000e+01   (in run 1, after 833166 nodes, 1455.84 seconds, depth 43, found by <relaxation>)
1800.07/1800.82	c   Dual Bound       : +3.40000000000000e+01
1800.07/1800.82	c   Gap              :     111.76 %
1800.07/1800.82	c   Root Dual Bound  : +1.60000000000000e+01
1800.07/1800.82	c   Root Iterations  :          0

Verifier Data 

OK	72

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664612-1276404914/watcher-2664612-1276404914 -o /tmp/evaluation-result-2664612-1276404914/solver-2664612-1276404914 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664612-1276404914.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.00 1.00 1.01 3/106 24427
/proc/meminfo: memFree=1718488/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=6584 CPUtime=0
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 969 0 0 0 0 0 0 0 18 0 1 0 16092955 6742016 893 1992294400 4194304 7136930 140735349787680 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24427/statm: 1646 905 254 719 0 925 0

[startup+0.054026 s]
/proc/loadavg: 1.00 1.00 1.01 3/106 24427
/proc/meminfo: memFree=1718488/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=11508 CPUtime=0.04
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 2717 0 0 0 4 0 0 0 21 0 1 0 16092955 11784192 2286 1992294400 4194304 7136930 140735349787680 18446744073709551615 4907112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 2877 2290 283 719 0 2156 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11508

[startup+0.101035 s]
/proc/loadavg: 1.00 1.00 1.01 3/106 24427
/proc/meminfo: memFree=1718488/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=14712 CPUtime=0.09
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 3857 0 0 0 8 1 0 0 21 0 1 0 16092955 15065088 2912 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 3678 2912 348 719 0 2957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14712

[startup+0.301073 s]
/proc/loadavg: 1.00 1.00 1.01 3/106 24427
/proc/meminfo: memFree=1718488/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=16272 CPUtime=0.29
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 5580 0 0 0 27 2 0 0 21 0 1 0 16092955 16662528 3350 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 4068 3350 396 719 0 3347 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16272

[startup+0.701151 s]
/proc/loadavg: 1.00 1.00 1.01 3/106 24427
/proc/meminfo: memFree=1718488/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=16912 CPUtime=0.69
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 5726 0 0 0 65 4 0 0 22 0 1 0 16092955 17317888 3496 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 4228 3496 396 719 0 3507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16912

[startup+1.50131 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 24428
/proc/meminfo: memFree=1705460/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=17708 CPUtime=1.49
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 5936 0 0 0 143 6 0 0 25 0 1 0 16092955 18132992 3706 1992294400 4194304 7136930 140735349787680 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 4427 3706 396 719 0 3706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17708

[startup+3.10062 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 24428
/proc/meminfo: memFree=1704096/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=19856 CPUtime=3.09
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 6494 0 0 0 295 14 0 0 25 0 1 0 16092955 20332544 4264 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 4964 4264 396 719 0 4243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19856

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 24428
/proc/meminfo: memFree=1700872/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=23116 CPUtime=6.29
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 7301 0 0 0 603 26 0 0 25 0 1 0 16092955 23670784 5071 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 5779 5071 396 719 0 5058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23116

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 24428
/proc/meminfo: memFree=1694424/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=28588 CPUtime=12.68
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 8691 0 0 0 1219 49 0 0 25 0 1 0 16092955 29274112 6461 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 7147 6461 396 719 0 6426 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28588

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 24430
/proc/meminfo: memFree=1683512/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=38708 CPUtime=25.48
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 11230 0 0 0 2451 97 0 0 25 0 1 0 16092955 39636992 9000 1992294400 4194304 7136930 140735349787680 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 9677 9000 396 719 0 8956 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38708

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24430
/proc/meminfo: memFree=1662184/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=60548 CPUtime=51.07
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 16670 0 0 0 4921 186 0 0 25 0 1 0 16092955 62001152 14440 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 15137 14440 396 719 0 14416 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60548

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24432
/proc/meminfo: memFree=1613080/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=111040 CPUtime=102.25
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 28777 0 0 0 9862 363 0 0 25 0 1 0 16092955 113704960 26547 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 27760 26547 396 719 0 27039 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111040

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24432
/proc/meminfo: memFree=1569308/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=155052 CPUtime=162.22
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 39768 0 0 0 15678 544 0 0 25 0 1 0 16092955 158773248 37538 1992294400 4194304 7136930 140735349787680 18446744073709551615 5000696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 38763 37538 396 719 0 38042 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 155052

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24434
/proc/meminfo: memFree=1533100/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=190996 CPUtime=222.2
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 48667 0 0 0 21518 702 0 0 25 0 1 0 16092955 195579904 46437 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 47749 46437 396 719 0 47028 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 190996

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24436
/proc/meminfo: memFree=1496892/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=228268 CPUtime=282.19
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 57877 0 0 0 27375 844 0 0 25 0 1 0 16092955 233746432 55647 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 57067 55647 396 719 0 56346 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 228268

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24438
/proc/meminfo: memFree=1465768/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=258828 CPUtime=342.16
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 65454 0 0 0 33244 972 0 0 25 0 1 0 16092955 265039872 63224 1992294400 4194304 7136930 140735349787680 18446744073709551615 4431486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 64707 63224 396 719 0 63986 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 258828

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24449
/proc/meminfo: memFree=1436380/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=287356 CPUtime=402.13
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 72625 0 0 0 39104 1109 0 0 25 0 1 0 16092955 294252544 70395 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 71839 70395 396 719 0 71118 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 287356

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24449
/proc/meminfo: memFree=1402404/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=321672 CPUtime=462.1
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 81081 0 0 0 44967 1243 0 0 25 0 1 0 16092955 329392128 78851 1992294400 4194304 7136930 140735349787680 18446744073709551615 4208909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 80418 78851 396 719 0 79697 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 321672

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24451
/proc/meminfo: memFree=1372892/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=351592 CPUtime=522.07
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 88565 0 0 0 50838 1369 0 0 25 0 1 0 16092955 360030208 86335 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 87898 86335 396 719 0 87177 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 351592

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24453
/proc/meminfo: memFree=1344124/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=384564 CPUtime=582.05
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 95700 0 0 0 56714 1491 0 0 25 0 1 0 16092955 393793536 93470 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 96141 93470 396 719 0 95420 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 384564

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24455
/proc/meminfo: memFree=1322424/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=406664 CPUtime=642.03
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 101112 0 0 0 62607 1596 0 0 25 0 1 0 16092955 416423936 98882 1992294400 4194304 7136930 140735349787680 18446744073709551615 4209075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 101666 98882 396 719 0 100945 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 406664

[startup+702.301 s]

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

/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 133019 0 0 0 103876 2310 0 0 25 0 1 0 16092955 545751040 130789 1992294400 4194304 7136930 140735349787680 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 133240 130789 396 719 0 132519 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 532960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24467
/proc/meminfo: memFree=1177840/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=548964 CPUtime=1121.83
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 137048 0 0 0 109783 2400 0 0 25 0 1 0 16092955 562139136 134818 1992294400 4194304 7136930 140735349787680 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 137241 134818 396 719 0 136520 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 548964

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 24472
/proc/meminfo: memFree=1165192/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=561348 CPUtime=1181.8
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 140042 0 0 0 115692 2488 0 0 25 0 1 0 16092955 574820352 137812 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 140337 137812 396 719 0 139616 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 561348

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 24474
/proc/meminfo: memFree=1149072/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=577400 CPUtime=1241.79
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 144065 0 0 0 121612 2567 0 0 25 0 1 0 16092955 591257600 141835 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 144350 141835 396 719 0 143629 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 577400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24476
/proc/meminfo: memFree=1138656/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=588220 CPUtime=1301.77
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 146657 0 0 0 127541 2636 0 0 25 0 1 0 16092955 602337280 144427 1992294400 4194304 7136930 140735349787680 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 147055 144427 396 719 0 146334 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 588220

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24476
/proc/meminfo: memFree=1123776/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=603088 CPUtime=1361.74
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 150406 0 0 0 133468 2706 0 0 25 0 1 0 16092955 617562112 148176 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 150772 148176 396 719 0 150051 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 603088

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24478
/proc/meminfo: memFree=1105424/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=621752 CPUtime=1421.72
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 154975 0 0 0 139385 2787 0 0 25 0 1 0 16092955 636674048 152745 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 155438 152745 396 719 0 154717 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 621752

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24480
/proc/meminfo: memFree=1096000/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=631724 CPUtime=1481.68
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 157361 0 0 0 145313 2855 0 0 25 0 1 0 16092955 646885376 155131 1992294400 4194304 7136930 140735349787680 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 157931 155131 396 719 0 157210 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 631724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24482
/proc/meminfo: memFree=1081368/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=646364 CPUtime=1541.67
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 160970 0 0 0 151246 2921 0 0 25 0 1 0 16092955 661876736 158740 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 161591 158740 396 719 0 160870 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 646364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24484
/proc/meminfo: memFree=1072936/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=654436 CPUtime=1601.64
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 163106 0 0 0 157180 2984 0 0 25 0 1 0 16092955 670142464 160876 1992294400 4194304 7136930 140735349787680 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 163609 160876 396 719 0 162888 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 654436

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24484
/proc/meminfo: memFree=1063264/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=663964 CPUtime=1661.62
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 165506 0 0 0 163112 3050 0 0 25 0 1 0 16092955 679899136 163276 1992294400 4194304 7136930 140735349787680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 165991 163276 396 719 0 165270 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 663964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24486
/proc/meminfo: memFree=1055328/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=671580 CPUtime=1721.59
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 167494 0 0 0 169053 3106 0 0 25 0 1 0 16092955 687697920 165264 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 167895 165264 396 719 0 167174 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 671580

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24488
/proc/meminfo: memFree=1045284/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=681672 CPUtime=1781.56
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 169942 0 0 0 174998 3158 0 0 25 0 1 0 16092955 698032128 167712 1992294400 4194304 7136930 140735349787680 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 170418 167712 396 719 0 169697 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 681672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24488
/proc/meminfo: memFree=1042060/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=685072 CPUtime=1800.07
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 170753 0 0 0 176832 3175 0 0 25 0 1 0 16092955 701513728 168523 1992294400 4194304 7136930 140735349787680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24427/statm: 171268 168523 396 719 0 170547 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 685072

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -24427

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24488
/proc/meminfo: memFree=1042060/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=685112 CPUtime=1800.66
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 170769 0 0 0 176891 3175 0 0 25 0 1 0 16092955 701554688 168539 1992294400 4194304 7136930 140735349787680 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24427/statm: 171278 168539 402 719 0 170557 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 685112

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24489
/proc/meminfo: memFree=1042052/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=685112 CPUtime=1801.46
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 170769 0 0 0 176971 3175 0 0 25 0 1 0 16092955 701554688 168539 1992294400 4194304 7136930 140735349787680 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24427/statm: 171278 168539 402 719 0 170557 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 685112

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24489
/proc/meminfo: memFree=1042052/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=685112 CPUtime=1801.86
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 170769 0 0 0 177011 3175 0 0 25 0 1 0 16092955 701554688 168539 1992294400 4194304 7136930 140735349787680 18446744073709551615 4212001 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24427/statm: 171278 168539 402 719 0 170557 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 685112

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24489
/proc/meminfo: memFree=1047632/2059040 swapFree=4136180/4192956
[pid=24427] ppid=24425 vsize=678916 CPUtime=1802.06
/proc/24427/stat : 24427 (pbscip.linux.x8) R 24425 24427 24038 0 -1 4202496 170769 0 0 0 177031 3175 0 0 25 0 1 0 16092955 695209984 166990 1992294400 4194304 7136930 140735349787680 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24427/statm: 169729 166990 402 719 0 169008 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 678916

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.88
CPU time (s): 1802.14
CPU user time (s): 1770.32
CPU system time (s): 31.8202
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 685112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.32
system time used= 31.8202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6535

runsolver used 2.89856 second user time and 8.60369 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-13 06:55:14
IDJOB=2664612
IDBENCH=2024
IDSOLVER=1167
FILE ID=node011/2664612-1276404914
PBS_JOBID= 11173273
Free space on /tmp= 62264 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.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-2664612-1276404914/watcher-2664612-1276404914 -o /tmp/evaluation-result-2664612-1276404914/solver-2664612-1276404914 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664612-1276404914.opb -t 1800 -m 1800

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

MD5SUM BENCH= 135acf1f05855c365b3d13b378debe22
RANDOM SEED=1389111213

node011.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		: 3000.264
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	: 6000.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		: 3000.264
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:       1718892 kB
Buffers:         97560 kB
Cached:         164704 kB
SwapCached:      11116 kB
Active:         135436 kB
Inactive:       140564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1718892 kB
SwapTotal:     4192956 kB
SwapFree:      4136180 kB
Dirty:            3268 kB
Writeback:           0 kB
AnonPages:       11064 kB
Mapped:           9244 kB
Slab:            42272 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-13 07:25:17