Trace number 2663910

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)-32 1802.24 1802.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1789.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-2663910-1276674966.opb>
0.00/0.04	c original problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3083 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.05	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.00/0.08	o 0
0.00/0.08	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.08	c presolving:
0.29/0.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20256 impls, 400 clqs
0.49/0.56	c    (0.3s) probing: 101/2882 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.56	c presolving (2 rounds):
0.49/0.56	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56	c  20256 implications, 400 cliques
0.49/0.56	c presolved problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3083 constraints
0.49/0.56	c     400 constraints of type <setppc>
0.49/0.56	c    2482 constraints of type <and>
0.49/0.56	c       1 constraints of type <linear>
0.49/0.56	c     200 constraints of type <logicor>
0.49/0.56	c transformed objective value is always integral (scale: 1)
0.49/0.56	c Presolving Time: 0.30
0.49/0.56	c - non default parameters ----------------------------------------------------------------------
0.49/0.56	c # SCIP version 1.2.1.2
0.49/0.56	c 
0.49/0.56	c # frequency for displaying node information lines
0.49/0.56	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56	c display/freq = 10000
0.49/0.56	c 
0.49/0.56	c # maximal time in seconds to run
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/time = 1799.96
0.49/0.56	c 
0.49/0.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/memory = 1620
0.49/0.56	c 
0.49/0.56	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.56	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56	c lp/solvefreq = -1
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify inequalities
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/linear/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify knapsacks
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.56	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56	c heuristics/undercover/freq = 0
0.49/0.56	c 
0.49/0.56	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56	c separating/rapidlearning/freq = 0
0.49/0.56	c 
0.49/0.56	c -----------------------------------------------------------------------------------------------
0.49/0.56	c start solving
0.49/0.56	c 
0.49/0.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.57	c t 0.3s|     1 |     2 |     0 |     - |8281k|   0 |   - |2882 |3083 |   0 |   0 |   0 |   0 |   0 |-2.000000e+02 | 0.000000e+00 | 100.00%
20.18/20.28	c  19.7s| 10000 |  9613 |     0 |   0.0 |  18M| 189 |   - |2882 |3193 |   0 |   0 |   0 | 297 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
40.88/40.91	c  40.0s| 20000 | 19609 |     0 |   0.0 |  29M| 189 |   - |2882 |3186 |   0 |   0 |   0 | 299 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
59.68/59.79	c  58.7s| 30000 | 29598 |     0 |   0.0 |  39M| 189 |   - |2882 |3189 |   0 |   0 |   0 | 302 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
77.27/77.38	c  76.0s| 40000 | 39525 |     0 |   0.0 |  50M| 189 |   - |2882 |3214 |   0 |   0 |   0 | 335 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
93.26/93.30	c  91.6s| 50000 | 49465 |     0 |   0.0 |  60M| 189 |   - |2882 |3190 |   0 |   0 |   0 | 364 |   0 |-1.990000e+02 | 0.000000e+00 | 100.00%
102.96/103.00	o -21
102.96/103.00	c * 101s| 56553 | 55896 |     0 |   0.0 |  67M| 189 |   - |2882 |3235 |   0 |   0 |   0 | 456 |   0 |-1.990000e+02 |-2.100000e+01 |  89.45%
107.96/108.00	c   106s| 60000 | 59270 |     0 |   0.0 |  70M| 189 |   - |2882 |3235 |   0 |   0 |   0 | 507 |   0 |-1.990000e+02 |-2.100000e+01 |  89.45%
108.76/108.87	o -24
108.76/108.87	c * 107s| 60635 | 59880 |     0 |   0.0 |  71M| 189 |   - |2882 |3244 |   0 |   0 |   0 | 526 |   0 |-1.990000e+02 |-2.400000e+01 |  87.94%
109.06/109.10	o -25
109.06/109.10	c * 107s| 60788 | 60031 |     0 |   0.0 |  71M| 189 |   - |2882 |3240 |   0 |   0 |   0 | 526 |   0 |-1.990000e+02 |-2.500000e+01 |  87.44%
109.06/109.12	o -26
109.06/109.12	c * 107s| 60792 | 60031 |     0 |   0.0 |  71M| 189 |   - |2882 |3242 |   0 |   0 |   0 | 528 |   0 |-1.990000e+02 |-2.600000e+01 |  86.93%
122.36/122.48	o -27
122.36/122.48	c * 120s| 69980 | 68691 |     0 |   0.0 |  81M| 189 |   - |2882 |3284 |   0 |   0 |   0 | 921 |   0 |-1.990000e+02 |-2.700000e+01 |  86.43%
122.46/122.51	c   120s| 70000 | 68709 |     0 |   0.0 |  81M| 189 |   - |2882 |3286 |   0 |   0 |   0 | 924 |   0 |-1.990000e+02 |-2.700000e+01 |  86.43%
122.76/122.85	o -28
122.76/122.85	c * 121s| 70228 | 68925 |     0 |   0.0 |  82M| 189 |   - |2882 |3289 |   0 |   0 |   0 | 931 |   0 |-1.990000e+02 |-2.800000e+01 |  85.93%
122.95/123.06	o -29
122.95/123.06	c * 121s| 70374 | 69062 |     0 |   0.0 |  82M| 189 |   - |2882 |3286 |   0 |   0 |   0 | 937 |   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
139.76/139.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
139.76/139.81	c   137s| 80000 | 76596 |     0 |   0.0 |  95M| 189 |   - |2882 |3455 |   0 |   0 |   0 |2469 |   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
160.85/160.93	c   158s| 90000 | 82108 |     0 |   0.0 | 108M| 189 |   - |2882 |3569 |   0 |   0 |   0 |5220 |   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
181.14/181.22	c   178s|100000 | 88276 |     0 |   0.0 | 122M| 189 |   - |2882 |3511 |   0 |   0 |   0 |6369 |   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
199.14/199.22	c   195s|110000 | 95307 |     0 |   0.0 | 135M| 189 |   - |2882 |3728 |   0 |   0 |   0 |8218 |   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
220.04/220.20	c   216s|120000 |100858 |     0 |   0.0 | 147M| 189 |   - |2882 |4097 |   0 |   0 |   0 |  11k|   0 |-1.990000e+02 |-2.900000e+01 |  85.43%
240.33/240.41	c   236s|130000 |108315 |     0 |   0.0 | 159M| 191 |   - |2882 |3713 |   0 |   0 |   0 |  13k|   0 |-1.980000e+02 |-2.900000e+01 |  85.35%
259.82/259.92	c   255s|140000 |117342 |     0 |   0.0 | 179M| 191 |   - |2882 |3765 |   0 |   0 |   0 |  14k|   0 |-1.980000e+02 |-2.900000e+01 |  85.35%
279.91/280.04	c   275s|150000 |126111 |     0 |   0.0 | 200M| 191 |   - |2882 |3897 |   0 |   0 |   0 |  16k|   0 |-1.980000e+02 |-2.900000e+01 |  85.35%
289.61/289.76	o -30
289.61/289.76	c * 284s|154869 |130314 |     0 |   0.0 | 210M| 191 |   - |2882 |3956 |   0 |   0 |   0 |  17k|   0 |-1.980000e+02 |-3.000000e+01 |  84.85%
300.59/300.77	c   295s|160000 |134728 |     0 |   0.0 | 222M| 191 |   - |2882 |3913 |   0 |   0 |   0 |  18k|   0 |-1.980000e+02 |-3.000000e+01 |  84.85%
321.59/321.78	c   316s|170000 |143262 |     0 |   0.0 | 243M| 191 |   - |2882 |4027 |   0 |   0 |   0 |  20k|   0 |-1.980000e+02 |-3.000000e+01 |  84.85%
328.79/328.95	o -31
328.79/328.95	c * 323s|173364 |146090 |     0 |   0.0 | 250M| 191 |   - |2882 |3948 |   0 |   0 |   0 |  21k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
343.37/343.51	c   337s|180000 |151568 |     0 |   0.0 | 264M| 191 |   - |2882 |3981 |   0 |   0 |   0 |  22k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
364.97/365.18	c   358s|190000 |159664 |     0 |   0.0 | 285M| 191 |   - |2882 |4124 |   0 |   0 |   0 |  24k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
386.77/386.94	c   380s|200000 |167600 |     0 |   0.0 | 306M| 191 |   - |2882 |4064 |   0 |   0 |   0 |  27k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
408.66/408.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
408.66/408.81	c   401s|210000 |175599 |     0 |   0.0 | 327M| 191 |   - |2882 |4132 |   0 |   0 |   0 |  29k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
428.96/429.12	c   421s|220000 |183694 |     0 |   0.0 | 348M| 191 |   - |2882 |4262 |   0 |   0 |   0 |  32k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
449.35/449.57	c   441s|230000 |191563 |     0 |   0.0 | 369M| 191 |   - |2882 |4283 |   0 |   0 |   0 |  35k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
469.84/470.07	c   461s|240000 |199361 |     0 |   0.0 | 390M| 191 |   - |2882 |4341 |   0 |   0 |   0 |  38k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
490.54/490.71	c   482s|250000 |206840 |     0 |   0.0 | 411M| 191 |   - |2882 |4413 |   0 |   0 |   0 |  42k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
512.34/512.54	c   503s|260000 |214264 |     0 |   0.0 | 431M| 191 |   - |2882 |4450 |   0 |   0 |   0 |  45k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
533.73/533.92	c   524s|270000 |221693 |     0 |   0.0 | 451M| 191 |   - |2882 |4358 |   0 |   0 |   0 |  49k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
554.72/554.95	c   545s|280000 |229053 |     0 |   0.0 | 472M| 191 |   - |2882 |4385 |   0 |   0 |   0 |  52k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
575.81/576.08	c   566s|290000 |236333 |     0 |   0.0 | 492M| 191 |   - |2882 |4359 |   0 |   0 |   0 |  56k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
596.11/596.40	c   586s|300000 |243828 |     0 |   0.0 | 512M| 191 |   - |2882 |4355 |   0 |   0 |   0 |  59k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
616.80/617.09	c   606s|310000 |251260 |     0 |   0.0 | 532M| 191 |   - |2882 |4446 |   0 |   0 |   0 |  63k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
637.30/637.52	c   626s|320000 |258644 |     0 |   0.0 | 552M| 191 |   - |2882 |4538 |   0 |   0 |   0 |  66k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
657.99/658.25	c   646s|330000 |265972 |     0 |   0.0 | 571M| 191 |   - |2882 |4595 |   0 |   0 |   0 |  70k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
678.99/679.23	c   667s|340000 |273185 |     0 |   0.0 | 591M| 191 |   - |2882 |4598 |   0 |   0 |   0 |  74k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
699.28/699.56	c   687s|350000 |280530 |     0 |   0.0 | 610M| 191 |   - |2882 |4591 |   0 |   0 |   0 |  77k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
719.77/720.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
719.77/720.05	c   707s|360000 |287692 |     0 |   0.0 | 629M| 191 |   - |2882 |4575 |   0 |   0 |   0 |  81k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
740.47/740.71	c   727s|370000 |294737 |     0 |   0.0 | 647M| 191 |   - |2882 |4582 |   0 |   0 |   0 |  85k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
760.36/760.66	c   747s|380000 |302170 |     0 |   0.0 | 666M| 191 |   - |2882 |4634 |   0 |   0 |   0 |  88k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
780.96/781.25	c   767s|390000 |309358 |     0 |   0.0 | 685M| 191 |   - |2882 |4599 |   0 |   0 |   0 |  92k|   0 |-1.980000e+02 |-3.100000e+01 |  84.34%
788.16/788.42	o -32
788.16/788.42	c * 774s|393589 |312043 |     0 |   0.0 | 692M| 191 |   - |2882 |4510 |   0 |   0 |   0 |  93k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
801.85/802.20	c   788s|400000 |316451 |     0 |   0.0 | 704M| 191 |   - |2882 |4641 |   0 |   0 |   0 |  95k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
823.15/823.43	c   808s|410000 |323395 |     0 |   0.0 | 722M| 191 |   - |2882 |4747 |   0 |   0 |   0 |  99k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
844.64/844.97	c   830s|420000 |330368 |     0 |   0.0 | 741M| 191 |   - |2882 |4580 |   0 |   0 |   0 | 103k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
866.23/866.54	c   851s|430000 |337212 |     0 |   0.0 | 758M| 191 |   - |2882 |4566 |   0 |   0 |   0 | 107k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
887.83/888.14	c   872s|440000 |344167 |     0 |   0.0 | 776M| 191 |   - |2882 |4719 |   0 |   0 |   0 | 111k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
909.32/909.62	c   893s|450000 |351168 |     0 |   0.0 | 794M| 191 |   - |2882 |4627 |   0 |   0 |   0 | 115k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
930.62/930.96	c   914s|460000 |358093 |     0 |   0.0 | 812M| 191 |   - |2882 |4656 |   0 |   0 |   0 | 119k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
951.32/951.62	c   934s|470000 |365131 |     0 |   0.0 | 830M| 191 |   - |2882 |4831 |   0 |   0 |   0 | 122k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
972.51/972.84	c   955s|480000 |371781 |     0 |   0.0 | 848M| 191 |   - |2882 |4969 |   0 |   0 |   0 | 127k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
993.70/994.00	c   976s|490000 |378414 |     0 |   0.0 | 865M| 191 |   - |2882 |4844 |   0 |   0 |   0 | 131k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1014.69/1015.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1014.69/1015.04	c   997s|500000 |385143 |     0 |   0.0 | 883M| 191 |   - |2882 |4784 |   0 |   0 |   0 | 135k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1035.19/1035.52	c  1017s|510000 |392029 |     0 |   0.0 | 901M| 191 |   - |2882 |4760 |   0 |   0 |   0 | 139k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1055.79/1056.15	c  1037s|520000 |398935 |     0 |   0.0 | 918M| 191 |   - |2882 |4805 |   0 |   0 |   0 | 143k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1077.07/1077.45	c  1058s|530000 |405431 |     0 |   0.0 | 936M| 191 |   - |2882 |4872 |   0 |   0 |   0 | 148k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1098.07/1098.46	c  1079s|540000 |412027 |     0 |   0.0 | 952M| 191 |   - |2882 |4814 |   0 |   0 |   0 | 152k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1119.47/1119.81	c  1100s|550000 |418716 |     0 |   0.0 | 970M| 191 |   - |2882 |4886 |   0 |   0 |   0 | 156k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1140.46/1140.83	c  1120s|560000 |425451 |     0 |   0.0 | 987M| 191 |   - |2882 |4826 |   0 |   0 |   0 | 161k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1161.46/1161.84	c  1141s|570000 |432123 |     0 |   0.0 |1004M| 191 |   - |2882 |4918 |   0 |   0 |   0 | 165k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1182.85/1183.21	c  1162s|580000 |438730 |     0 |   0.0 |1021M| 191 |   - |2882 |4842 |   0 |   0 |   0 | 169k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1203.93/1204.31	c  1183s|590000 |445250 |     0 |   0.0 |1038M| 191 |   - |2882 |4996 |   0 |   0 |   0 | 173k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1225.04/1225.40	c  1203s|600000 |451554 |     0 |   0.0 |1054M| 191 |   - |2882 |4915 |   0 |   0 |   0 | 178k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1246.13/1246.56	c  1224s|610000 |458286 |     0 |   0.0 |1070M| 191 |   - |2882 |4931 |   0 |   0 |   0 | 182k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1267.22/1267.66	c  1245s|620000 |464966 |     0 |   0.0 |1087M| 191 |   - |2882 |4945 |   0 |   0 |   0 | 186k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1288.51/1288.95	c  1266s|630000 |471476 |     0 |   0.0 |1103M| 191 |   - |2882 |5001 |   0 |   0 |   0 | 191k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1310.21/1310.69	c  1287s|640000 |477955 |     0 |   0.0 |1120M| 191 |   - |2882 |4986 |   0 |   0 |   0 | 195k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1331.50/1331.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1331.50/1331.94	c  1308s|650000 |484278 |     0 |   0.0 |1136M| 191 |   - |2882 |5270 |   0 |   0 |   0 | 200k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1352.70/1353.19	c  1329s|660000 |490682 |     0 |   0.0 |1152M| 191 |   - |2882 |5099 |   0 |   0 |   0 | 205k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1374.09/1374.58	c  1350s|670000 |496891 |     0 |   0.0 |1167M| 191 |   - |2882 |4883 |   0 |   0 |   0 | 209k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1395.38/1395.84	c  1371s|680000 |503547 |     0 |   0.0 |1183M| 191 |   - |2882 |4900 |   0 |   0 |   0 | 213k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1416.58/1417.03	c  1392s|690000 |510318 |     0 |   0.0 |1199M| 191 |   - |2882 |4812 |   0 |   0 |   0 | 217k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1438.08/1438.51	c  1413s|700000 |517005 |     0 |   0.0 |1216M| 191 |   - |2882 |4891 |   0 |   0 |   0 | 221k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1459.07/1459.56	c  1434s|710000 |523551 |     0 |   0.0 |1231M| 191 |   - |2882 |4983 |   0 |   0 |   0 | 226k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1479.76/1480.21	c  1454s|720000 |530259 |     0 |   0.0 |1247M| 191 |   - |2882 |4974 |   0 |   0 |   0 | 230k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1501.06/1501.55	c  1475s|730000 |536465 |     0 |   0.0 |1262M| 191 |   - |2882 |4956 |   0 |   0 |   0 | 234k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1522.55/1523.01	c  1496s|740000 |542849 |     0 |   0.0 |1278M| 191 |   - |2882 |5073 |   0 |   0 |   0 | 239k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1543.75/1544.20	c  1517s|750000 |549091 |     0 |   0.0 |1293M| 191 |   - |2882 |5045 |   0 |   0 |   0 | 243k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1564.74/1565.27	c  1537s|760000 |555444 |     0 |   0.0 |1309M| 191 |   - |2882 |5193 |   0 |   0 |   0 | 248k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1585.93/1586.45	c  1558s|770000 |561705 |     0 |   0.0 |1324M| 191 |   - |2882 |4977 |   0 |   0 |   0 | 252k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1607.53/1608.06	c  1579s|780000 |567923 |     0 |   0.0 |1340M| 191 |   - |2882 |5099 |   0 |   0 |   0 | 257k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1628.63/1629.14	c  1600s|790000 |574272 |     0 |   0.0 |1355M| 191 |   - |2882 |5108 |   0 |   0 |   0 | 261k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1633.03/1633.52	c (node 792034) switching to memory saving mode (mem: 1296.0M/1620.0M)
1658.42/1658.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1658.42/1658.91	c  1629s|800000 |575532 |     0 |   0.0 |1364M| 265 |   - |2882 |8559 |   0 |   0 |   0 | 267k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1691.41/1691.99	c  1661s|810000 |575531 |     0 |   0.0 |1364M| 268 |   - |2882 |8589 |   0 |   0 |   0 | 272k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1723.80/1724.36	c  1692s|820000 |575529 |     0 |   0.0 |1365M| 274 |   - |2882 |8977 |   0 |   0 |   0 | 278k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1758.18/1758.73	c  1725s|830000 |575526 |     0 |   0.0 |1365M| 282 |   - |2882 |9220 |   0 |   0 |   0 | 283k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1793.37/1793.99	c  1759s|840000 |575526 |     0 |   0.0 |1363M| 282 |   - |2882 |7661 |   0 |   0 |   0 | 288k|   0 |-1.980000e+02 |-3.200000e+01 |  83.84%
1800.08/1800.60	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61	c 
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time (sec) : 1765.36
1800.08/1800.61	c Solving Nodes      : 841737
1800.08/1800.61	c Primal Bound       : -3.20000000000000e+01 (13 solutions)
1800.08/1800.61	c Dual Bound         : -1.98000000000000e+02
1800.08/1800.61	c Gap                : 83.84 %
1800.08/1800.61	s SATISFIABLE
1800.08/1800.61	v -x313 -x342 -x248 -x392 -x390 x358 -x297 -x348 -x254 x386 -x286 x345 -x376 -x231 -x294 -x280 -x360 -x382 -x332 -x255 -x323 -x321 
1800.08/1800.61	v -x359 -x343 -x224 -x353 -x256 -x391 -x239 -x237 -x300 x370 -x349 -x335 x305 -x317 -x377 -x395 x361 -x367 -x299 -x267 -x238 
1800.08/1800.61	v -x352 -x233 x218 -x283 -x269 -x344 x388 -x217 -x289 -x380 -x356 x322 -x216 -x339 -x319 -x312 -x246 -x350 -x347 -x249 x271 -x272 
1800.08/1800.61	v -x329 -x308 -x284 -x307 -x366 -x354 -x334 -x275 -x310 -x372 -x232 x362 -x315 -x236 -x241 -x220 -x290 -x281 -x375 x262 x302 
1800.08/1800.61	v -x253 x318 -x303 -x298 -x210 -x234 -x295 -x213 -x340 -x245 -x261 -x400 -x355 -x252 -x389 x379 -x277 -x208 -x276 -x266 -x219 
1800.08/1800.61	v -x351 -x244 x365 -x215 x346 -x207 -x301 x264 x235 -x314 -x247 -x328 -x285 -x326 x306 -x206 x398 -x288 x279 x278 -x265 -x258 -x242 
1800.08/1800.61	v -x226 -x282 -x397 -x357 -x381 x292 -x214 -x205 -x393 -x311 -x296 -x274 -x240 -x225 -x221 -x371 -x325 -x338 -x385 -x320 -x374 
1800.08/1800.61	v -x399 -x309 x209 x257 -x270 -x259 -x223 -x330 -x203 -x396 -x273 -x251 -x243 -x204 -x268 -x324 -x263 -x331 -x383 -x230 x368 
1800.08/1800.61	v -x369 -x212 x202 -x211 -x337 -x373 -x227 -x341 -x327 -x364 -x260 -x291 -x228 x363 -x201 -x333 -x304 -x229 -x222 -x250 -x293 
1800.08/1800.61	v -x387 -x336 x394 -x316 x378 -x287 x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1800.08/1800.61	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1800.08/1800.61	v -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1800.08/1800.61	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 
1800.08/1800.61	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 
1800.08/1800.61	v -x101 -x100 -x99 x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 
1800.08/1800.61	v -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 
1800.08/1800.61	v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 x34 x33 x32 x31 x30 x29 -x28 -x27 x26 x25 x24 
1800.08/1800.61	v -x23 x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 x3 -x2 -x1 
1800.08/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.61	c Solving Time       :    1765.36
1800.08/1800.61	c Original Problem   :
1800.08/1800.61	c   Problem name     : HOME/instance-2663910-1276674966.opb
1800.08/1800.61	c   Variables        : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 3083 initial, 3083 maximal
1800.08/1800.61	c Presolved Problem  :
1800.08/1800.61	c   Problem name     : t_HOME/instance-2663910-1276674966.opb
1800.08/1800.61	c   Variables        : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61	c   Constraints      : 3083 initial, 10191 maximal
1800.08/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   probing          :       0.06          0          0          0          0          0          0          0          0
1800.08/1800.61	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.61	c   and              :       0.19          0          0          0          0          0          0          0          0
1800.08/1800.61	c   linear           :       0.03          0          0          0          0          0          0          0          0
1800.08/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.61	c   setppc           :        400          0    3140832          0     717484      13665     579110          0          0          0
1800.08/1800.61	c   and              :       2482          0    3128489          0     717508         48   23463414          0          0          0
1800.08/1800.61	c   linear           :          1          0    3116811          0     717512      25254   15909196          0          0          0
1800.08/1800.61	c   logicor          :        200+         0     716046          0     717502      39943    1335610          0          0          0
1800.08/1800.61	c   countsols        :          0          0          0          0     717522          0          0          0          0          0
1800.08/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.61	c   setppc           :     207.03       0.00      39.38       0.00     167.65
1800.08/1800.61	c   and              :     225.80       0.00     155.36       0.00      70.44
1800.08/1800.61	c   linear           :     180.93       0.00     179.78       0.00       1.15
1800.08/1800.61	c   logicor          :     151.33       0.00     111.10       0.00      40.23
1800.08/1800.61	c   countsols        :       0.43       0.00       0.00       0.00       0.43
1800.08/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.61	c   vbounds          :       1.93          2          0          0
1800.08/1800.61	c   rootredcost      :       1.72          0          0          0
1800.08/1800.61	c   pseudoobj        :     399.92    3199686      57702       3112
1800.08/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.61	c   propagation      :     466.22     136612     133866    3603346      157.3        579      199.2          -
1800.08/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.61	c   applied globally :          -          -          -     289838      134.5          -          -          -
1800.08/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.61	c Pricers            :       Time      Calls       Vars
1800.08/1800.61	c   problem variables:       0.00          0          0
1800.08/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   inference        :     370.39     717512          0          0          0          0    1435024
1800.08/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.61	c   LP solutions     :       0.00          -          0
1800.08/1800.61	c   pseudo solutions :       0.04          -         10
1800.08/1800.61	c   oneopt           :       1.25          0          0
1800.08/1800.61	c   trivial          :       0.00          2          3
1800.08/1800.61	c   simplerounding   :       0.00          0          0
1800.08/1800.61	c   zirounding       :       0.00          0          0
1800.08/1800.61	c   rounding         :       0.00          0          0
1800.08/1800.61	c   shifting         :       0.00          0          0
1800.08/1800.61	c   intshifting      :       0.00          0          0
1800.08/1800.61	c   twoopt           :       0.00          0          0
1800.08/1800.61	c   fixandinfer      :       0.00          0          0
1800.08/1800.61	c   feaspump         :       0.00          0          0
1800.08/1800.61	c   coefdiving       :       0.00          0          0
1800.08/1800.61	c   pscostdiving     :       0.00          0          0
1800.08/1800.61	c   fracdiving       :       0.00          0          0
1800.08/1800.61	c   veclendiving     :       0.00          0          0
1800.08/1800.61	c   intdiving        :       0.00          0          0
1800.08/1800.61	c   actconsdiving    :       0.00          0          0
1800.08/1800.61	c   objpscostdiving  :       0.00          0          0
1800.08/1800.61	c   rootsoldiving    :       0.00          0          0
1800.08/1800.61	c   linesearchdiving :       0.00          0          0
1800.08/1800.61	c   guideddiving     :       0.00          0          0
1800.08/1800.61	c   octane           :       0.00          0          0
1800.08/1800.61	c   rens             :       0.00          0          0
1800.08/1800.61	c   rins             :       0.00          0          0
1800.08/1800.61	c   localbranching   :       0.00          0          0
1800.08/1800.61	c   mutation         :       0.00          0          0
1800.08/1800.61	c   crossover        :       0.00          0          0
1800.08/1800.61	c   dins             :       0.00          0          0
1800.08/1800.61	c   undercover       :       0.00          0          0
1800.08/1800.61	c   nlp              :       0.61          0          0
1800.08/1800.61	c   trysol           :       0.43          0          0
1800.08/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.61	c B&B Tree           :
1800.08/1800.61	c   number of runs   :          1
1800.08/1800.61	c   nodes            :     841737
1800.08/1800.61	c   nodes (total)    :     841737
1800.08/1800.61	c   nodes left       :     575525
1800.08/1800.61	c   max depth        :        282
1800.08/1800.61	c   max depth (total):        282
1800.08/1800.61	c   backtracks       :      17353 (2.1%)
1800.08/1800.61	c   delayed cutoffs  :      17763
1800.08/1800.61	c   repropagations   :    1072119 (2905611 domain reductions, 12397 cutoffs)
1800.08/1800.61	c   avg switch length:       5.96
1800.08/1800.61	c   switching time   :     155.09
1800.08/1800.61	c Solution           :
1800.08/1800.61	c   Solutions found  :         13 (11 improvements)
1800.08/1800.61	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.08/1800.61	c   Primal Bound     : -3.20000000000000e+01   (in run 1, after 393589 nodes, 774.10 seconds, depth 83, found by <relaxation>)
1800.08/1800.61	c   Dual Bound       : -1.98000000000000e+02
1800.08/1800.61	c   Gap              :      83.84 %
1800.08/1800.61	c   Root Dual Bound  : -2.00000000000000e+02
1800.08/1800.61	c   Root Iterations  :          0

Verifier Data 

OK	-32

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663910-1276674966/watcher-2663910-1276674966 -o /tmp/evaluation-result-2663910-1276674966/solver-2663910-1276674966 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663910-1276674966.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: 2.86 2.33 1.77 3/105 17988
/proc/meminfo: memFree=1791196/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=6584 CPUtime=0
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 1004 0 0 0 0 0 0 0 17 0 1 0 8788032 6742016 926 1992294400 4194304 7136930 140733441225616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17988/statm: 1646 935 254 719 0 925 0

[startup+0.100713 s]
/proc/loadavg: 2.86 2.33 1.77 3/105 17988
/proc/meminfo: memFree=1791196/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=20904 CPUtime=0.09
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 4858 0 0 0 8 1 0 0 17 0 1 0 8788032 21405696 4426 1992294400 4194304 7136930 140733441225616 18446744073709551615 4361546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 5226 4426 333 719 0 4505 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20904

[startup+0.201725 s]
/proc/loadavg: 2.86 2.33 1.77 3/105 17988
/proc/meminfo: memFree=1791196/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=19876 CPUtime=0.19
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 4858 0 0 0 12 7 0 0 17 0 1 0 8788032 20353024 4169 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 4969 4169 333 719 0 4248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19876

[startup+0.301738 s]
/proc/loadavg: 2.86 2.33 1.77 3/105 17988
/proc/meminfo: memFree=1791196/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=21520 CPUtime=0.29
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 5574 0 0 0 19 10 0 0 17 0 1 0 8788032 22036480 4628 1992294400 4194304 7136930 140733441225616 18446744073709551615 4408841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 5380 4628 358 719 0 4659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21520

[startup+0.700789 s]
/proc/loadavg: 2.86 2.33 1.77 3/105 17988
/proc/meminfo: memFree=1791196/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=23252 CPUtime=0.69
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 7330 0 0 0 49 20 0 0 17 0 1 0 8788032 23810048 5099 1992294400 4194304 7136930 140733441225616 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 5813 5099 388 719 0 5092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23252

[startup+1.50089 s]
/proc/loadavg: 2.71 2.30 1.76 2/106 17989
/proc/meminfo: memFree=1771100/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=24648 CPUtime=1.49
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 7709 0 0 0 128 21 0 0 18 0 1 0 8788032 25239552 5478 1992294400 4194304 7136930 140733441225616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 6162 5478 393 719 0 5441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24648

[startup+3.10109 s]
/proc/loadavg: 2.71 2.30 1.76 2/106 17989
/proc/meminfo: memFree=1770108/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=26080 CPUtime=3.09
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 8038 0 0 0 285 24 0 0 21 0 1 0 8788032 26705920 5807 1992294400 4194304 7136930 140733441225616 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 6520 5807 393 719 0 5799 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26080

[startup+6.3015 s]
/proc/loadavg: 2.57 2.28 1.76 2/106 17989
/proc/meminfo: memFree=1767876/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=28104 CPUtime=6.29
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 8545 0 0 0 599 30 0 0 25 0 1 0 8788032 28778496 6314 1992294400 4194304 7136930 140733441225616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 7026 6314 393 719 0 6305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28104

[startup+12.7013 s]
/proc/loadavg: 2.44 2.26 1.75 2/106 17989
/proc/meminfo: memFree=1761924/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=34888 CPUtime=12.68
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 10244 0 0 0 1227 41 0 0 25 0 1 0 8788032 35725312 8013 1992294400 4194304 7136930 140733441225616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 8722 8013 393 719 0 8001 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34888

[startup+25.5019 s]
/proc/loadavg: 2.22 2.22 1.74 2/106 17991
/proc/meminfo: memFree=1752996/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=42076 CPUtime=25.49
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 12047 0 0 0 2490 59 0 0 25 0 1 0 8788032 43085824 9816 1992294400 4194304 7136930 140733441225616 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 10519 9816 393 719 0 9798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42076

[startup+51.1012 s]
/proc/loadavg: 1.74 2.10 1.72 2/106 17991
/proc/meminfo: memFree=1739480/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=55472 CPUtime=51.07
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 15432 0 0 0 5013 94 0 0 25 0 1 0 8788032 56803328 13201 1992294400 4194304 7136930 140733441225616 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 13868 13201 393 719 0 13147 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55472

[startup+102.302 s]
/proc/loadavg: 1.32 1.93 1.68 2/106 17993
/proc/meminfo: memFree=1707364/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=87676 CPUtime=102.27
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 23412 0 0 0 10047 180 0 0 25 0 1 0 8788032 89780224 21181 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 21919 21181 393 719 0 21198 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87676

[startup+162.301 s]
/proc/loadavg: 1.12 1.76 1.63 2/106 17993
/proc/meminfo: memFree=1650820/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=147312 CPUtime=162.25
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 37608 0 0 0 15915 310 0 0 25 0 1 0 8788032 150847488 35377 1992294400 4194304 7136930 140733441225616 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 36828 35377 393 719 0 36107 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 147312

[startup+222.309 s]
/proc/loadavg: 1.04 1.62 1.59 2/106 17995
/proc/meminfo: memFree=1600972/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=197528 CPUtime=222.24
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 49956 0 0 0 21796 428 0 0 25 0 1 0 8788032 202268672 47725 1992294400 4194304 7136930 140733441225616 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 49382 47725 393 719 0 48661 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 197528

[startup+282.302 s]
/proc/loadavg: 1.01 1.50 1.55 2/106 17997
/proc/meminfo: memFree=1530788/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=269744 CPUtime=282.21
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 67524 0 0 0 27680 541 0 0 25 0 1 0 8788032 276217856 65293 1992294400 4194304 7136930 140733441225616 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 67436 65293 393 719 0 66715 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 269744

[startup+342.301 s]
/proc/loadavg: 1.00 1.41 1.51 2/106 18008
/proc/meminfo: memFree=1453908/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=348596 CPUtime=342.17
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 86507 0 0 0 33580 637 0 0 25 0 1 0 8788032 356962304 84276 1992294400 4194304 7136930 140733441225616 18446744073709551615 4780887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 87149 84276 393 719 0 86428 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 348596

[startup+402.302 s]
/proc/loadavg: 1.00 1.33 1.48 2/106 18010
/proc/meminfo: memFree=1391164/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=414236 CPUtime=402.16
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 102439 0 0 0 39485 731 0 0 25 0 1 0 8788032 424177664 100208 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 103559 100208 393 719 0 102838 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 414236

[startup+462.301 s]
/proc/loadavg: 1.00 1.27 1.45 2/106 18010
/proc/meminfo: memFree=1334000/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=473556 CPUtime=462.15
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 116425 0 0 0 45381 834 0 0 25 0 1 0 8788032 484921344 114194 1992294400 4194304 7136930 140733441225616 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 118389 114194 393 719 0 117668 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 473556

[startup+522.302 s]
/proc/loadavg: 1.00 1.22 1.42 2/106 18012
/proc/meminfo: memFree=1264932/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=548120 CPUtime=522.13
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 133703 0 0 0 51277 936 0 0 25 0 1 0 8788032 561274880 131472 1992294400 4194304 7136930 140733441225616 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 137030 131472 393 719 0 136309 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 548120

[startup+582.302 s]
/proc/loadavg: 1.00 1.17 1.39 2/106 18014
/proc/meminfo: memFree=1204048/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=612424 CPUtime=582.11
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 149012 0 0 0 57170 1041 0 0 25 0 1 0 8788032 627122176 146781 1992294400 4194304 7136930 140733441225616 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 153106 146781 393 719 0 152385 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 612424

[startup+642.301 s]
/proc/loadavg: 1.00 1.14 1.36 2/106 18016
/proc/meminfo: memFree=1148000/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=674248 CPUtime=642.1
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 163270 0 0 0 63064 1146 0 0 25 0 1 0 8788032 690429952 161039 1992294400 4194304 7136930 140733441225616 18446744073709551615 5892211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 168562 161039 393 719 0 167841 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 674248

[startup+702.301 s]

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

/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 245281 0 0 0 98428 1771 0 0 25 0 1 0 8788032 1033822208 243050 1992294400 4194304 7136930 140733441225616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 252398 243050 393 719 0 251677 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1009592

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/106 18026
/proc/meminfo: memFree=766204/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1067488 CPUtime=1061.98
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 258673 0 0 0 104320 1878 0 0 25 0 1 0 8788032 1093107712 256442 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 266905 256449 393 719 0 266184 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1067488

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/106 18028
/proc/meminfo: memFree=719704/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1114868 CPUtime=1121.97
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 269884 0 0 0 110213 1984 0 0 25 0 1 0 8788032 1141624832 267653 1992294400 4194304 7136930 140733441225616 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 278717 267653 393 719 0 277996 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1114868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/106 18030
/proc/meminfo: memFree=662912/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1173536 CPUtime=1181.94
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 284018 0 0 0 116109 2085 0 0 25 0 1 0 8788032 1201700864 281787 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 293384 281787 393 719 0 292663 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1173536

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/106 18032
/proc/meminfo: memFree=611080/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1225380 CPUtime=1241.93
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 296657 0 0 0 122006 2187 0 0 25 0 1 0 8788032 1254789120 294426 1992294400 4194304 7136930 140733441225616 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 306345 294426 393 719 0 305624 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1225380

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/106 18034
/proc/meminfo: memFree=570036/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1276128 CPUtime=1301.91
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 307129 0 0 0 127904 2287 0 0 25 0 1 0 8788032 1306755072 304898 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 319032 304898 393 719 0 318311 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1276128

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 18034
/proc/meminfo: memFree=527380/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1317460 CPUtime=1361.89
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 317476 0 0 0 133798 2391 0 0 25 0 1 0 8788032 1349079040 315245 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 329365 315245 393 719 0 328644 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1317460

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 18036
/proc/meminfo: memFree=477904/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1365996 CPUtime=1421.88
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 329837 0 0 0 139695 2493 0 0 25 0 1 0 8788032 1398779904 327606 1992294400 4194304 7136930 140733441225616 18446744073709551615 4704596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 341499 327606 393 719 0 340778 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1365996

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 18038
/proc/meminfo: memFree=429544/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1415536 CPUtime=1481.86
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 342139 0 0 0 145590 2596 0 0 25 0 1 0 8788032 1449508864 339908 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 353884 339908 393 719 0 353163 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1415536

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 18040
/proc/meminfo: memFree=388128/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1454160 CPUtime=1541.86
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 352190 0 0 0 151481 2705 0 0 25 0 1 0 8788032 1489059840 349959 1992294400 4194304 7136930 140733441225616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 363540 349959 393 719 0 362819 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1454160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 18042
/proc/meminfo: memFree=339768/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1503832 CPUtime=1601.83
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 364408 0 0 0 157375 2808 0 0 25 0 1 0 8788032 1539923968 362177 1992294400 4194304 7136930 140733441225616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 375958 362177 393 719 0 375237 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1503832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 18042
/proc/meminfo: memFree=308644/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1536360 CPUtime=1661.81
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 374289 0 0 0 163213 2968 0 0 25 0 1 0 8788032 1573232640 369807 1992294400 4194304 7136930 140733441225616 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 384090 369807 393 719 0 383369 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1536360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 18044
/proc/meminfo: memFree=301204/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1543836 CPUtime=1721.79
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 376099 0 0 0 169000 3179 0 0 25 0 1 0 8788032 1580888064 371617 1992294400 4194304 7136930 140733441225616 18446744073709551615 4703278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 385959 371617 393 719 0 385238 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1543836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 18046
/proc/meminfo: memFree=299716/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1544988 CPUtime=1781.78
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 376413 0 0 0 174779 3399 0 0 25 0 1 0 8788032 1582067712 371931 1992294400 4194304 7136930 140733441225616 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 386247 371931 393 719 0 385526 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1544988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 18046
/proc/meminfo: memFree=298724/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1546012 CPUtime=1800.08
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 376680 0 0 0 176539 3469 0 0 25 0 1 0 8788032 1583116288 372198 1992294400 4194304 7136930 140733441225616 18446744073709551615 5918634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17988/statm: 386503 372198 393 719 0 385782 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1546012

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17988

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 18047
/proc/meminfo: memFree=298716/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1546012 CPUtime=1800.98
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 376685 0 0 0 176629 3469 0 0 25 0 1 0 8788032 1583116288 372203 1992294400 4194304 7136930 140733441225616 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17988/statm: 386503 372203 398 719 0 385782 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 1546012

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 18047
/proc/meminfo: memFree=298964/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=1544844 CPUtime=1801.78
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4202496 376685 0 0 0 176709 3469 0 0 25 0 1 0 8788032 1581920256 371912 1992294400 4194304 7136930 140733441225616 18446744073709551615 4670084 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17988/statm: 386211 371912 398 719 0 385490 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 1544844

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 18047
/proc/meminfo: memFree=298964/2059040 swapFree=4140536/4192956
[pid=17988] ppid=17986 vsize=0 CPUtime=1802.17
/proc/17988/stat : 17988 (pbscip.linux.x8) R 17986 17988 17963 0 -1 4203524 376685 0 0 0 176739 3478 0 0 25 0 1 0 8788032 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/17988/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.24
CPU user time (s): 1767.4
CPU system time (s): 34.8367
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1546012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.4
system time used= 34.8367
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376685
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= 9789

runsolver used 3.06553 second user time and 8.43672 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-16 09:56:06
IDJOB=2663910
IDBENCH=48283
IDSOLVER=1167
FILE ID=node054/2663910-1276674966
PBS_JOBID= 11172562
Free space on /tmp= 62480 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.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-2663910-1276674966/watcher-2663910-1276674966 -o /tmp/evaluation-result-2663910-1276674966/solver-2663910-1276674966 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663910-1276674966.opb -t 1800 -m 1800

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=1189784183

node054.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.217
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.43
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.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791848 kB
Buffers:         73800 kB
Cached:         113416 kB
SwapCached:       6896 kB
Active:          97116 kB
Inactive:       103844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791848 kB
SwapTotal:     4192956 kB
SwapFree:      4140536 kB
Dirty:            3384 kB
Writeback:           0 kB
AnonPages:       11052 kB
Mapped:          12940 kB
Slab:            44616 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-16 10:26:09