Trace number 2692391

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.28 1800.27

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
MD5SUM820e833470f89e38c3db46a3ad325d3f
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark437.198
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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

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: SoPlex 1.4.2] [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-2692391-1277929640.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.13	o 136179
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.361790e+05
0.09/0.13	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (3 rounds):
0.09/0.19	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19	c  2707 implications, 0 cliques
0.09/0.19	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19	c    2707 constraints of type <indicator>
0.09/0.19	c    2707 constraints of type <linear>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.12
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.1s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.361790e+05 |    Inf 
0.38/0.41	c   0.3s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.361790e+05 |    Inf 
28.18/28.21	o 143
28.18/28.21	c *27.4s|  8429 |  3865 | 39313 |   4.7 |  38M|  79 |   - |5645 |5414 |5645 | 177 |9757 |   0 |1695 | 0.000000e+00 | 1.430000e+02 |    Inf 
28.29/28.36	o 129
28.29/28.36	c *27.6s|  8457 |  3456 | 39517 |   4.7 |  38M|  79 |   - |5645 |5417 |5645 | 146 |9804 |   3 |1695 | 0.000000e+00 | 1.290000e+02 |    Inf 
28.39/28.43	o 128
28.39/28.43	c *27.7s|  8463 |  3434 | 39552 |   4.7 |  39M|  79 |   - |5645 |5421 |5645 | 155 |9813 |   7 |1695 | 0.000000e+00 | 1.280000e+02 |    Inf 
28.39/28.44	o 102
28.39/28.44	c *27.7s|  8464 |  2528 | 39560 |   4.7 |  37M|  79 |   - |5645 |5421 |5645 | 157 |9815 |   7 |1695 | 0.000000e+00 | 1.020000e+02 |    Inf 
29.09/29.15	o 52
29.09/29.15	c *28.4s|  8651 |  1165 | 40033 |   4.6 |  33M|  79 |   - |5645 |5434 |5645 | 156 |  10k|  20 |1697 | 0.000000e+00 | 5.200000e+01 |    Inf 
29.19/29.24	o 41
29.19/29.24	c *28.5s|  8659 |   932 | 40065 |   4.6 |  32M|  79 |   - |5645 |4144 |5645 | 149 |  10k|  27 |1697 | 0.000000e+00 | 4.100000e+01 |    Inf 
29.19/29.24	o 40
29.19/29.24	c *28.5s|  8660 |   924 | 40065 |   4.6 |  32M|  79 |   - |5645 |4144 |5645 | 149 |  10k|  27 |1697 | 0.000000e+00 | 4.000000e+01 |    Inf 
29.28/29.34	o 30
29.28/29.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.28/29.34	c *28.6s|  8676 |   721 | 40240 |   4.6 |  31M|  79 |   - |5645 |3816 |5645 | 154 |  10k|  36 |1697 | 0.000000e+00 | 3.000000e+01 |    Inf 
29.28/29.35	o 29
29.28/29.35	c *28.6s|  8677 |   709 | 40240 |   4.6 |  31M|  79 |   - |5645 |3816 |5645 | 154 |  10k|  36 |1697 | 0.000000e+00 | 2.900000e+01 |    Inf 
29.39/29.44	o 25
29.39/29.44	c *28.6s|  8691 |   666 | 40386 |   4.6 |  31M|  79 |   - |5645 |3508 |5645 | 177 |  10k|  36 |1703 | 0.000000e+00 | 2.500000e+01 |    Inf 
29.39/29.44	o 24
29.39/29.44	c *28.6s|  8692 |   657 | 40386 |   4.6 |  31M|  79 |   - |5645 |3508 |5645 | 177 |  10k|  36 |1703 | 0.000000e+00 | 2.400000e+01 |    Inf 
29.39/29.48	o 11
29.39/29.48	c *28.7s|  8696 |   144 | 40485 |   4.6 |  28M|  79 |   - |5645 |3391 |5645 | 176 |  10k|  36 |1705 | 0.000000e+00 | 1.100000e+01 |    Inf 
32.08/32.10	c  31.2s| 10000 |   190 | 43753 |   4.4 |  29M|  95 |   - |5645 |4596 |   0 |   0 |  10k|1620 |1765 | 0.000000e+00 | 1.100000e+01 |    Inf 
51.18/51.26	c  49.5s| 20000 |   519 | 67108 |   3.4 |  35M|  95 |   - |5645 |7943 |   0 |   0 |  13k|  13k|1799 | 0.000000e+00 | 1.100000e+01 |    Inf 
70.06/70.17	c  68.2s| 30000 |   626 | 83755 |   2.8 |  38M|  95 |   1 |5645 |  10k|5645 | 159 |  15k|  25k|1799 | 0.000000e+00 | 1.100000e+01 |    Inf 
89.96/90.08	c  87.8s| 40000 |   777 | 99861 |   2.5 |  41M|  95 |   1 |5645 |9800 |5645 | 164 |  16k|  38k|1799 | 0.000000e+00 | 1.100000e+01 |    Inf 
108.86/108.91	c   106s| 50000 |   754 |116449 |   2.3 |  43M|  95 |   - |5645 |  11k|   0 |   0 |  18k|  50k|1860 | 0.000000e+00 | 1.100000e+01 |    Inf 
128.96/129.04	c   126s| 60000 |   867 |134213 |   2.2 |  45M|  95 |   - |5645 |  12k|   0 |   0 |  21k|  63k|1970 | 0.000000e+00 | 1.100000e+01 |    Inf 
149.66/149.71	c   147s| 70000 |  1091 |156934 |   2.2 |  48M|  95 |   - |5645 |  10k|   0 |   0 |  23k|  75k|2115 | 0.000000e+00 | 1.100000e+01 |    Inf 
171.06/171.12	c   168s| 80000 |  1143 |195532 |   2.4 |  50M|  95 |   1 |5645 |  11k|5645 | 169 |  25k|  88k|2380 | 0.000000e+00 | 1.100000e+01 |    Inf 
191.06/191.11	c   188s| 90000 |  1201 |223263 |   2.5 |  52M|  97 |   1 |5645 |  12k|5645 | 169 |  28k| 102k|2563 | 0.000000e+00 | 1.100000e+01 |    Inf 
211.76/211.89	c   208s|100000 |  1224 |253465 |   2.5 |  53M|  97 |   - |5645 |  12k|   0 |   0 |  30k| 117k|2721 | 0.000000e+00 | 1.100000e+01 |    Inf 
231.96/232.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
231.96/232.08	c   228s|110000 |  1220 |271341 |   2.5 |  54M| 103 |   1 |5645 |  12k|5645 | 150 |  32k| 129k|2854 | 0.000000e+00 | 1.100000e+01 |    Inf 
252.97/253.04	c   249s|120000 |  1274 |290026 |   2.4 |  56M| 103 |   1 |5645 |  12k|5645 | 178 |  34k| 143k|2957 | 0.000000e+00 | 1.100000e+01 |    Inf 
274.26/274.33	c   270s|130000 |  1295 |311257 |   2.4 |  56M| 103 |   1 |5645 |  12k|5645 | 157 |  38k| 156k|3089 | 0.000000e+00 | 1.100000e+01 |    Inf 
296.46/296.58	c   292s|140000 |  1353 |335922 |   2.4 |  58M| 103 |   1 |5645 |  12k|5645 | 179 |  43k| 169k|3198 | 0.000000e+00 | 1.100000e+01 |    Inf 
319.06/319.17	c   314s|150000 |  1409 |361260 |   2.4 |  61M| 103 |   - |5645 |  14k|   0 |   0 |  46k| 183k|3315 | 0.000000e+00 | 1.100000e+01 |    Inf 
342.47/342.50	c   337s|160000 |  1458 |382430 |   2.4 |  63M| 103 |   - |5645 |  15k|   0 |   0 |  49k| 196k|3408 | 0.000000e+00 | 1.100000e+01 |    Inf 
365.96/366.04	c   360s|170000 |  1540 |405234 |   2.4 |  66M| 103 |   - |5645 |  15k|   0 |   0 |  54k| 208k|3552 | 0.000000e+00 | 1.100000e+01 |    Inf 
386.86/386.95	c   381s|180000 |  1613 |421190 |   2.3 |  67M| 103 |   - |5645 |  15k|   0 |   0 |  56k| 220k|3621 | 0.000000e+00 | 1.100000e+01 |    Inf 
409.56/409.60	c   403s|190000 |  1764 |441130 |   2.3 |  71M| 103 |   1 |5645 |  18k|5645 | 150 |  59k| 233k|3684 | 0.000000e+00 | 1.100000e+01 |    Inf 
431.96/432.09	c   426s|200000 |  1788 |460616 |   2.3 |  71M| 103 |   - |5645 |  14k|   0 |   0 |  61k| 246k|3747 | 0.000000e+00 | 1.100000e+01 |    Inf 
453.87/453.92	c   447s|210000 |  1959 |482671 |   2.3 |  73M| 103 |  19 |5645 |  12k|5645 | 168 |  64k| 258k|3884 | 0.000000e+00 | 1.100000e+01 |    Inf 
474.86/474.99	c   468s|220000 |  2067 |502079 |   2.3 |  76M| 103 |   - |5645 |  14k|   0 |   0 |  67k| 271k|3937 | 0.000000e+00 | 1.100000e+01 |    Inf 
495.56/495.68	c   488s|230000 |  2115 |518591 |   2.3 |  77M| 103 |   1 |5645 |  14k|5645 | 150 |  69k| 284k|4004 | 0.000000e+00 | 1.100000e+01 |    Inf 
517.07/517.19	c   510s|240000 |  2251 |539505 |   2.2 |  79M| 104 |   9 |5645 |  13k|5645 | 171 |  73k| 297k|4072 | 0.000000e+00 | 1.100000e+01 |    Inf 
537.16/537.21	c   529s|250000 |  2337 |557087 |   2.2 |  81M| 106 |   1 |5645 |  16k|5645 | 162 |  75k| 309k|4129 | 0.000000e+00 | 1.100000e+01 |    Inf 
560.07/560.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
560.07/560.15	c   552s|260000 |  2488 |582357 |   2.2 |  84M| 106 |   9 |5645 |  16k|5645 | 198 |  80k| 323k|4209 | 0.000000e+00 | 1.100000e+01 |    Inf 
587.28/587.33	c   579s|270000 |  2681 |626006 |   2.3 |  86M| 106 |   - |5645 |  16k|   0 |   0 |  93k| 336k|4350 | 0.000000e+00 | 1.100000e+01 |    Inf 
611.97/612.08	c   603s|280000 |  2709 |656547 |   2.3 |  87M| 107 |   1 |5645 |  17k|5645 | 162 | 100k| 350k|4438 | 0.000000e+00 | 1.100000e+01 |    Inf 
639.37/639.46	c   630s|290000 |  2663 |694493 |   2.4 |  88M| 108 |   - |5645 |  17k|   0 |   0 | 109k| 364k|4542 | 0.000000e+00 | 1.100000e+01 |    Inf 
667.77/667.88	c   658s|300000 |  2647 |723426 |   2.4 |  89M| 108 |   - |5645 |  19k|5645 | 220 | 115k| 378k|4628 | 0.000000e+00 | 1.100000e+01 |    Inf 
696.67/696.74	c   686s|310000 |  2667 |751834 |   2.4 |  89M| 108 |   1 |5645 |  15k|5645 | 157 | 119k| 391k|4767 | 0.000000e+00 | 1.100000e+01 |    Inf 
722.16/722.26	c   711s|320000 |  2726 |771447 |   2.4 |  90M| 108 |   - |5645 |  14k|   0 |   0 | 122k| 404k|4828 | 0.000000e+00 | 1.100000e+01 |    Inf 
746.47/746.53	c   735s|330000 |  2776 |795755 |   2.4 |  92M| 108 |   1 |5645 |  15k|5645 | 209 | 126k| 417k|4885 | 0.000000e+00 | 1.100000e+01 |    Inf 
772.77/772.80	c   760s|340000 |  2858 |817695 |   2.4 |  93M| 108 |   - |5645 |  13k|   0 |   0 | 129k| 430k|4940 | 0.000000e+00 | 1.100000e+01 |    Inf 
798.17/798.29	c   785s|350000 |  2851 |846559 |   2.4 |  94M| 108 |   1 |5645 |  14k|5645 | 195 | 135k| 443k|5005 | 0.000000e+00 | 1.100000e+01 |    Inf 
826.17/826.29	c   812s|360000 |  2923 |878934 |   2.4 |  96M| 108 |   - |5645 |  14k|   0 |   0 | 143k| 456k|5118 | 0.000000e+00 | 1.100000e+01 |    Inf 
854.17/854.26	c   839s|370000 |  3077 |918028 |   2.5 |  98M| 108 |  22 |5645 |  14k|5645 | 171 | 151k| 469k|5202 | 0.000000e+00 | 1.100000e+01 |    Inf 
881.78/881.86	c   866s|380000 |  3272 |957398 |   2.5 | 101M| 108 |   - |5645 |  14k|   0 |   0 | 160k| 482k|5301 | 0.000000e+00 | 1.100000e+01 |    Inf 
905.97/906.04	c   889s|390000 |  3383 |979936 |   2.5 | 104M| 108 |   1 |5645 |  15k|5645 | 155 | 164k| 495k|5370 | 0.000000e+00 | 1.100000e+01 |    Inf 
930.37/930.42	c   913s|400000 |  3418 |  1002k|   2.5 | 105M| 108 |   - |5645 |  14k|   0 |   0 | 168k| 508k|5430 | 0.000000e+00 | 1.100000e+01 |    Inf 
956.27/956.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
956.27/956.35	c   938s|410000 |  3602 |  1040k|   2.5 | 108M| 108 |   1 |5645 |  16k|5645 | 177 | 178k| 521k|5525 | 0.000000e+00 | 1.100000e+01 |    Inf 
979.97/980.10	c   961s|420000 |  3756 |  1068k|   2.5 | 110M| 108 |   1 |5645 |  16k|5645 | 177 | 183k| 534k|5590 | 0.000000e+00 | 1.100000e+01 |    Inf 
1001.48/1001.53	c   982s|430000 |  3797 |  1090k|   2.5 | 112M| 108 |   - |5645 |  17k|   0 |   0 | 188k| 548k|5642 | 0.000000e+00 | 1.100000e+01 |    Inf 
1025.37/1025.50	c  1005s|440000 |  3783 |  1120k|   2.5 | 113M| 108 |   - |5645 |  15k|   0 |   0 | 194k| 561k|5702 | 0.000000e+00 | 1.100000e+01 |    Inf 
1048.47/1048.55	c  1027s|450000 |  3819 |  1149k|   2.6 | 114M| 108 |   - |5645 |  15k|   0 |   0 | 200k| 574k|5784 | 0.000000e+00 | 1.100000e+01 |    Inf 
1070.88/1070.95	c  1049s|460000 |  3949 |  1176k|   2.6 | 116M| 108 |   - |5645 |  16k|   0 |   0 | 206k| 586k|5855 | 0.000000e+00 | 1.100000e+01 |    Inf 
1093.87/1093.90	c  1071s|470000 |  3992 |  1205k|   2.6 | 117M| 108 |  20 |5645 |  14k|5645 | 204 | 211k| 600k|5922 | 0.000000e+00 | 1.100000e+01 |    Inf 
1114.58/1114.64	c  1091s|480000 |  4051 |  1227k|   2.6 | 119M| 108 |   - |5645 |  15k|   0 |   0 | 214k| 613k|5986 | 0.000000e+00 | 1.100000e+01 |    Inf 
1135.88/1135.95	c  1112s|490000 |  4141 |  1241k|   2.5 | 121M| 108 |   1 |5645 |  15k|5645 | 155 | 216k| 626k|6021 | 0.000000e+00 | 1.100000e+01 |    Inf 
1157.08/1157.18	c  1133s|500000 |  4196 |  1254k|   2.5 | 123M| 108 |   - |5645 |  17k|   0 |   0 | 217k| 640k|6042 | 0.000000e+00 | 1.100000e+01 |    Inf 
1178.88/1178.92	c  1154s|510000 |  4181 |  1272k|   2.5 | 122M| 110 |   - |5645 |  14k|   0 |   0 | 220k| 654k|6093 | 0.000000e+00 | 1.100000e+01 |    Inf 
1200.28/1200.31	c  1174s|520000 |  4184 |  1295k|   2.5 | 123M| 110 |   - |5645 |  15k|   0 |   0 | 223k| 669k|6152 | 0.000000e+00 | 1.100000e+01 |    Inf 
1223.98/1224.00	c  1197s|530000 |  4191 |  1331k|   2.5 | 124M| 110 |   - |5645 |  15k|   0 |   0 | 230k| 683k|6216 | 0.000000e+00 | 1.100000e+01 |    Inf 
1246.08/1246.18	c  1219s|540000 |  4205 |  1354k|   2.5 | 125M| 110 |   8 |5645 |  14k|5645 | 157 | 233k| 696k|6272 | 0.000000e+00 | 1.100000e+01 |    Inf 
1269.18/1269.22	c  1241s|550000 |  4305 |  1385k|   2.5 | 127M| 114 |   - |5645 |  14k|   0 |   0 | 239k| 710k|6322 | 0.000000e+00 | 1.100000e+01 |    Inf 
1291.98/1292.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1291.98/1292.04	c  1263s|560000 |  4381 |  1417k|   2.5 | 129M| 114 |   - |5645 |  16k|   0 |   0 | 245k| 723k|6381 | 0.000000e+00 | 1.100000e+01 |    Inf 
1314.99/1315.01	c  1285s|570000 |  4483 |  1448k|   2.5 | 132M| 114 |  13 |5645 |  15k|5645 | 196 | 250k| 736k|6436 | 0.000000e+00 | 1.100000e+01 |    Inf 
1336.98/1337.09	c  1306s|580000 |  4486 |  1474k|   2.5 | 133M| 114 |   1 |5645 |  15k|5645 | 181 | 254k| 750k|6511 | 0.000000e+00 | 1.100000e+01 |    Inf 
1360.78/1360.81	c  1329s|590000 |  4560 |  1508k|   2.6 | 135M| 114 |   1 |5645 |  14k|5645 | 156 | 261k| 763k|6580 | 0.000000e+00 | 1.100000e+01 |    Inf 
1381.99/1382.06	c  1350s|600000 |  4631 |  1531k|   2.6 | 137M| 114 |   1 |5645 |  15k|5645 | 194 | 264k| 776k|6646 | 0.000000e+00 | 1.100000e+01 |    Inf 
1403.19/1403.26	c  1371s|610000 |  4644 |  1548k|   2.5 | 138M| 114 |   - |5645 |  14k|   0 |   0 | 267k| 790k|6665 | 0.000000e+00 | 1.100000e+01 |    Inf 
1424.19/1424.27	c  1391s|620000 |  4641 |  1571k|   2.5 | 138M| 114 |   5 |5645 |  12k|5645 | 192 | 270k| 803k|6713 | 0.000000e+00 | 1.100000e+01 |    Inf 
1443.98/1444.05	c  1410s|630000 |  4613 |  1591k|   2.5 | 139M| 114 |   - |5645 |  13k|   0 |   0 | 272k| 816k|6774 | 0.000000e+00 | 1.100000e+01 |    Inf 
1464.79/1464.85	c  1430s|640000 |  4701 |  1611k|   2.5 | 141M| 114 |  26 |5645 |  14k|5645 | 185 | 275k| 828k|6804 | 0.000000e+00 | 1.100000e+01 |    Inf 
1485.88/1485.91	c  1451s|650000 |  4792 |  1632k|   2.5 | 142M| 114 |   - |5645 |  14k|   0 |   0 | 279k| 841k|6839 | 0.000000e+00 | 1.100000e+01 |    Inf 
1506.99/1507.02	c  1471s|660000 |  4922 |  1654k|   2.5 | 144M| 114 |   - |5645 |  15k|   0 |   0 | 283k| 853k|6898 | 0.000000e+00 | 1.100000e+01 |    Inf 
1526.79/1526.89	c  1490s|670000 |  4967 |  1671k|   2.5 | 145M| 114 |   1 |5645 |  14k|5645 | 158 | 286k| 866k|6925 | 0.000000e+00 | 1.100000e+01 |    Inf 
1547.70/1547.72	c  1510s|680000 |  5072 |  1693k|   2.5 | 147M| 114 |   - |5645 |  15k|   0 |   0 | 291k| 880k|6958 | 0.000000e+00 | 1.100000e+01 |    Inf 
1569.89/1569.97	c  1532s|690000 |  5200 |  1719k|   2.5 | 149M| 114 |   - |5645 |  16k|   0 |   0 | 296k| 893k|7016 | 0.000000e+00 | 1.100000e+01 |    Inf 
1592.99/1593.09	c  1554s|700000 |  5224 |  1751k|   2.5 | 150M| 114 |   - |5645 |  15k|   0 |   0 | 303k| 906k|7075 | 0.000000e+00 | 1.100000e+01 |    Inf 
1614.39/1614.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1614.39/1614.46	c  1575s|710000 |  5318 |  1772k|   2.5 | 152M| 114 |   1 |5645 |  14k|5645 | 158 | 307k| 919k|7120 | 0.000000e+00 | 1.100000e+01 |    Inf 
1636.19/1636.21	c  1596s|720000 |  5368 |  1797k|   2.5 | 153M| 114 |   - |5645 |  16k|   0 |   0 | 312k| 932k|7152 | 0.000000e+00 | 1.100000e+01 |    Inf 
1658.59/1658.66	c  1617s|730000 |  5389 |  1825k|   2.5 | 155M| 114 |  17 |5645 |  16k|5645 | 179 | 318k| 945k|7198 | 0.000000e+00 | 1.100000e+01 |    Inf 
1682.00/1682.04	c  1640s|740000 |  5415 |  1857k|   2.5 | 156M| 114 |   1 |5645 |  16k|5645 | 158 | 325k| 959k|7257 | 0.000000e+00 | 1.100000e+01 |    Inf 
1705.19/1705.20	c  1662s|750000 |  5487 |  1888k|   2.5 | 157M| 114 |  11 |5645 |  16k|5645 | 189 | 332k| 972k|7315 | 0.000000e+00 | 1.100000e+01 |    Inf 
1726.59/1726.67	c  1683s|760000 |  5627 |  1909k|   2.5 | 160M| 114 |   1 |5645 |  18k|5645 | 178 | 335k| 986k|7380 | 0.000000e+00 | 1.100000e+01 |    Inf 
1748.19/1748.23	c  1704s|770000 |  5675 |  1930k|   2.5 | 161M| 114 |   - |5645 |  16k|   0 |   0 | 339k| 999k|7410 | 0.000000e+00 | 1.100000e+01 |    Inf 
1771.40/1771.49	c  1726s|780000 |  5772 |  1964k|   2.5 | 164M| 114 |   - |5645 |  16k|   0 |   0 | 346k|1013k|7473 | 0.000000e+00 | 1.100000e+01 |    Inf 
1793.10/1793.18	c  1747s|790000 |  5898 |  1990k|   2.5 | 166M| 114 |   - |5645 |  16k|5645 | 202 | 351k|1028k|7507 | 0.000000e+00 | 1.100000e+01 |    Inf 
1800.00/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00	c 
1800.00/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.00	c Solving Time (sec) : 1753.92
1800.00/1800.00	c Solving Nodes      : 792867
1800.00/1800.00	c Primal Bound       : +1.10000000000000e+01 (117 solutions)
1800.00/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.00/1800.00	c Gap                : infinite
1800.00/1800.09	s SATISFIABLE
1800.00/1800.09	v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.00/1800.09	v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.00/1800.09	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.00/1800.09	v -x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.00/1800.09	v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.00/1800.09	v -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
1800.00/1800.09	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.00/1800.09	v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 
1800.00/1800.09	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 
1800.00/1800.09	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.00/1800.09	v -x1 
1800.00/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.09	c Solving Time       :    1753.92
1800.00/1800.09	c Original Problem   :
1800.00/1800.09	c   Problem name     : HOME/instance-2692391-1277929640.wbo
1800.00/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09	c   Constraints      : 5415 initial, 5415 maximal
1800.00/1800.09	c Presolved Problem  :
1800.00/1800.09	c   Problem name     : t_HOME/instance-2692391-1277929640.wbo
1800.00/1800.09	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09	c   Constraints      : 5414 initial, 20369 maximal
1800.00/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.00/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.00/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.00/1800.09	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.09	c   root node        :          -       2425          -          -       4850          -          -          -          -
1800.00/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.09	c   integral         :          0          0          0     462010          0          0        293          0          0     839842
1800.00/1800.09	c   indicator        :       2707          0    5378341      41679          0        253    2772284          0          0          0
1800.00/1800.09	c   linear           :       2707          6    5390658      41842          0     323273   24935606     354098          0          0
1800.00/1800.09	c   logicor          :          0+         0    1151704          0          0      75154    1176985          0          0          0
1800.00/1800.09	c   bounddisjunction :          0+         0       4764          0          0          8         77          0          0          0
1800.00/1800.09	c   countsols        :          0          0          0       7444          0          0          0          0          0          0
1800.00/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.00/1800.09	c   integral         :      16.20       0.00       0.00      16.20       0.00
1800.00/1800.09	c   indicator        :      26.44       0.02      23.24       3.18       0.00
1800.00/1800.09	c   linear           :     244.12       0.00     238.52       5.60       0.00
1800.00/1800.09	c   logicor          :     210.04       0.00     210.04       0.00       0.00
1800.00/1800.09	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.00/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.00/1800.09	c   vbounds          :       0.44          2          0          0
1800.00/1800.09	c   rootredcost      :       0.39         12          0       2425
1800.00/1800.09	c   pseudoobj        :     274.78    5394483       3750    2104462
1800.00/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.00/1800.09	c   propagation      :      21.34     402185     402052    2555549       27.5      14710       22.6          -
1800.00/1800.09	c   infeasible LP    :       3.35       8917       8917      73923       36.1        170       15.7          0
1800.00/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.09	c   pseudo solution  :       0.01         21         21        109       19.0          6       13.3          -
1800.00/1800.09	c   applied globally :          -          -          -    1032561       20.3          -          -          -
1800.00/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.00/1800.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.00/1800.09	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.00/1800.09	c   redcost          :      34.91     467926          0     579412          0          0
1800.00/1800.09	c   impliedbounds    :       0.00          4          0          0          0          0
1800.00/1800.09	c   intobj           :       0.00          0          0          0          0          0
1800.00/1800.09	c   cgmip            :       0.00          0          0          0          0          0
1800.00/1800.09	c   gomory           :       0.00          4          0          0         86          0
1800.00/1800.09	c   strongcg         :       0.00          4          0          0          0          0
1800.00/1800.09	c   cmir             :       0.02          4          0          0          0          0
1800.00/1800.09	c   flowcover        :       0.01          4          0          0          0          0
1800.00/1800.09	c   clique           :       0.00          1          0          0          0          0
1800.00/1800.09	c   zerohalf         :       0.00          0          0          0          0          0
1800.00/1800.09	c   mcf              :       0.00          1          0          0          0          0
1800.00/1800.09	c   rapidlearning    :       0.00          0          0          0          0          0
1800.00/1800.09	c Pricers            :       Time      Calls       Vars
1800.00/1800.09	c   problem variables:       0.00          0          0
1800.00/1800.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.09	c   relpscost        :      15.92     420165          0        293          0          0     839842
1800.00/1800.09	c   pscost           :       0.00          0          0          0          0          0          0
1800.00/1800.09	c   inference        :       1.84       7432          0          0          0          0      14864
1800.00/1800.09	c   mostinf          :       0.00          0          0          0          0          0          0
1800.00/1800.09	c   leastinf         :       0.00          0          0          0          0          0          0
1800.00/1800.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.00/1800.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.00/1800.09	c   random           :       0.00          0          0          0          0          0          0
1800.00/1800.09	c Primal Heuristics  :       Time      Calls      Found
1800.00/1800.09	c   LP solutions     :       0.01          -         12
1800.00/1800.09	c   pseudo solutions :       0.00          -          0
1800.00/1800.09	c   feaspump         :       0.00          0          0
1800.00/1800.09	c   oneopt           :       0.19          8          0
1800.00/1800.09	c   intshifting      :       0.08         13          0
1800.00/1800.09	c   crossover        :       0.20          5          0
1800.00/1800.09	c   guideddiving     :       0.68         86          0
1800.00/1800.09	c   fracdiving       :       0.44        250          0
1800.00/1800.09	c   coefdiving       :       0.46        251          0
1800.00/1800.09	c   pscostdiving     :       0.40        251          0
1800.00/1800.09	c   veclendiving     :       0.36        251          0
1800.00/1800.09	c   linesearchdiving :       0.49        251          0
1800.00/1800.09	c   objpscostdiving  :       0.43        242          0
1800.00/1800.09	c   rootsoldiving    :       1.86        242          0
1800.00/1800.09	c   trivial          :       0.08          2          2
1800.00/1800.09	c   simplerounding   :       0.68     422137          0
1800.00/1800.09	c   zirounding       :       0.52       1000          0
1800.00/1800.09	c   rounding         :       3.40       9130          0
1800.00/1800.09	c   shifting         :       1.40       2900          0
1800.00/1800.09	c   twoopt           :       0.00          0          0
1800.00/1800.09	c   fixandinfer      :       0.00          0          0
1800.00/1800.09	c   intdiving        :       0.00          0          0
1800.00/1800.09	c   actconsdiving    :       0.00          0          0
1800.00/1800.09	c   octane           :       0.00          0          0
1800.00/1800.09	c   rens             :       0.02          1          0
1800.00/1800.09	c   rins             :       0.00          0          0
1800.00/1800.09	c   localbranching   :       0.00          0          0
1800.00/1800.09	c   mutation         :       0.00          0          0
1800.00/1800.09	c   dins             :       0.00          0          0
1800.00/1800.09	c   undercover       :       0.00          0          0
1800.00/1800.09	c   nlp              :       0.06          0          0
1800.00/1800.09	c   trysol           :       4.00       9714        103
1800.00/1800.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.00/1800.09	c   primal LP        :       0.00          0          0       0.00          -
1800.00/1800.09	c   dual LP          :     390.33     465923    1998940       4.29    5121.15
1800.00/1800.09	c   lex dual LP      :       0.00          0          0       0.00          -
1800.00/1800.09	c   barrier LP       :       0.00          0          0       0.00          -
1800.00/1800.09	c   diving/probing LP:       1.01        714       1435       2.01    1420.79
1800.00/1800.09	c   strong branching :      12.93       7536      69272       9.19    5357.46
1800.00/1800.09	c     (at root node) :          -         32       1061      33.16          -
1800.00/1800.09	c   conflict analysis:       0.00          0          0       0.00          -
1800.00/1800.09	c B&B Tree           :
1800.00/1800.09	c   number of runs   :          1
1800.00/1800.09	c   nodes            :     792867
1800.00/1800.09	c   nodes (total)    :     792867
1800.00/1800.09	c   nodes left       :       5923
1800.00/1800.09	c   max depth        :        114
1800.00/1800.09	c   max depth (total):        114
1800.00/1800.09	c   backtracks       :      53760 (6.8%)
1800.00/1800.09	c   delayed cutoffs  :      47422
1800.00/1800.09	c   repropagations   :    3157331 (4519370 domain reductions, 45443 cutoffs)
1800.00/1800.09	c   avg switch length:       9.57
1800.00/1800.09	c   switching time   :     267.70
1800.00/1800.09	c Solution           :
1800.00/1800.09	c   Solutions found  :        117 (13 improvements)
1800.00/1800.09	c   First Solution   : +1.36179000000000e+05   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.09	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 8696 nodes, 28.69 seconds, depth 19, found by <relaxation>)
1800.00/1800.09	c   Dual Bound       : +0.00000000000000e+00
1800.00/1800.09	c   Gap              :   infinite
1800.00/1800.09	c   Root Dual Bound  : +0.00000000000000e+00
1800.00/1800.09	c   Root Iterations  :        106
1800.20/1800.27	c Time complete: 1800.27.

Verifier Data 

OK	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692391-1277929640/watcher-2692391-1277929640 -o /tmp/evaluation-result-2692391-1277929640/solver-2692391-1277929640 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692391-1277929640.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.80 2.82 2.51 4/199 18760
/proc/meminfo: memFree=30924072/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=9268 CPUtime=0
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 1641 0 0 0 0 0 0 0 25 0 1 0 134258526 9490432 1561 4089446400 4194304 8223781 140734001110544 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18760/statm: 2350 1566 369 984 0 1363 0

[startup+0.058556 s]
/proc/loadavg: 2.80 2.82 2.51 4/199 18760
/proc/meminfo: memFree=30924072/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=31576 CPUtime=0.05
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 7525 0 0 0 4 1 0 0 25 0 1 0 134258526 32333824 7081 4089446400 4194304 8223781 140734001110544 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 7894 7081 393 984 0 6907 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31576

[startup+0.100553 s]
/proc/loadavg: 2.80 2.82 2.51 4/199 18760
/proc/meminfo: memFree=30924072/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=35136 CPUtime=0.09
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 8088 0 0 0 8 1 0 0 25 0 1 0 134258526 35979264 7644 4089446400 4194304 8223781 140734001110544 18446744073709551615 4241139 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 8784 7644 422 984 0 7797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35136

[startup+0.300523 s]
/proc/loadavg: 2.80 2.82 2.51 4/199 18760
/proc/meminfo: memFree=30924072/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=50688 CPUtime=0.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 12605 0 0 0 26 3 0 0 25 0 1 0 134258526 51904512 11558 4089446400 4194304 8223781 140734001110544 18446744073709551615 4449353 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 12672 11558 564 984 0 11685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50688

[startup+0.700459 s]
/proc/loadavg: 2.80 2.82 2.51 4/199 18760
/proc/meminfo: memFree=30924072/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=43076 CPUtime=0.68
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 15655 0 0 0 64 4 0 0 25 0 1 0 134258526 44109824 9710 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 10769 9710 575 984 0 9782 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43076

[startup+1.50031 s]
/proc/loadavg: 2.80 2.82 2.51 4/200 18761
/proc/meminfo: memFree=30887032/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=43260 CPUtime=1.49
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 15756 0 0 0 141 8 0 0 25 0 1 0 134258526 44298240 9811 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 10815 9811 578 984 0 9828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43260

[startup+3.10102 s]
/proc/loadavg: 2.80 2.82 2.51 4/200 18761
/proc/meminfo: memFree=30885420/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=46620 CPUtime=3.09
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 16491 0 0 0 296 13 0 0 25 0 1 0 134258526 47738880 10533 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 11655 10533 578 984 0 10668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46620

[startup+6.30048 s]
/proc/loadavg: 2.81 2.82 2.51 4/200 18761
/proc/meminfo: memFree=30875316/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=55140 CPUtime=6.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 28079 0 0 0 608 21 0 0 25 0 1 0 134258526 56463360 12643 4089446400 4194304 8223781 140734001110544 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 13785 12643 579 984 0 12798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55140

[startup+12.7003 s]
/proc/loadavg: 2.83 2.83 2.51 3/200 18761
/proc/meminfo: memFree=30873832/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=58216 CPUtime=12.69
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 33702 0 0 0 1232 37 0 0 25 0 1 0 134258526 59613184 13409 4089446400 4194304 8223781 140734001110544 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 14554 13409 579 984 0 13567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58216

[startup+25.5011 s]
/proc/loadavg: 2.86 2.83 2.52 4/200 18761
/proc/meminfo: memFree=30859604/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=71744 CPUtime=25.49
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 47217 0 0 0 2482 67 0 0 25 0 1 0 134258526 73465856 16794 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 17936 16794 579 984 0 16949 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71744

[startup+51.1005 s]
/proc/loadavg: 2.90 2.85 2.53 2/198 18827
/proc/meminfo: memFree=30983108/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=89916 CPUtime=51.08
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 61165 0 0 0 4941 167 0 0 25 0 1 0 134258526 92073984 21342 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18760/statm: 22479 21342 586 984 0 21492 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89916

[startup+102.306 s]
/proc/loadavg: 2.75 2.81 2.54 4/200 18842
/proc/meminfo: memFree=30926132/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=99656 CPUtime=102.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 67220 0 0 0 9986 240 0 0 25 0 1 0 134258526 102047744 23718 4089446400 4194304 8223781 140734001110544 18446744073709551615 6372030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 24914 23718 584 984 0 23927 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99656

[startup+162.301 s]
/proc/loadavg: 2.77 2.81 2.55 4/200 18844
/proc/meminfo: memFree=30901760/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=108764 CPUtime=162.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 71330 0 0 0 15908 318 0 0 25 0 1 0 134258526 111374336 25956 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 27191 25956 584 984 0 26204 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 108764

[startup+222.3 s]
/proc/loadavg: 2.77 2.79 2.56 4/200 18846
/proc/meminfo: memFree=30881232/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=115612 CPUtime=222.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 73054 0 0 0 21838 388 0 0 25 0 1 0 134258526 118386688 27609 4089446400 4194304 8223781 140734001110544 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 28903 27609 584 984 0 27916 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 115612

[startup+282.301 s]
/proc/loadavg: 2.87 2.81 2.58 4/200 18850
/proc/meminfo: memFree=30870328/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=121132 CPUtime=282.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 76241 0 0 0 27767 459 0 0 25 0 1 0 134258526 124039168 28960 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 30283 28960 584 984 0 29296 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 121132

[startup+342.301 s]
/proc/loadavg: 2.93 2.85 2.60 4/200 18851
/proc/meminfo: memFree=30854704/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=128896 CPUtime=342.27
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 78079 0 0 0 33690 537 0 0 25 0 1 0 134258526 131989504 30788 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 32224 30788 584 984 0 31237 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 128896

[startup+402.301 s]
/proc/loadavg: 2.91 2.85 2.62 3/200 18853
/proc/meminfo: memFree=30834940/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=136312 CPUtime=402.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 79886 0 0 0 39617 609 0 0 25 0 1 0 134258526 139583488 32586 4089446400 4194304 8223781 140734001110544 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 34078 32586 584 984 0 33091 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 136312

[startup+462.301 s]
/proc/loadavg: 2.93 2.86 2.64 4/200 18855
/proc/meminfo: memFree=30818012/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=142752 CPUtime=462.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 83192 0 0 0 45542 684 0 0 25 0 1 0 134258526 146178048 34050 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 35688 34050 584 984 0 34701 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 142752

[startup+522.3 s]
/proc/loadavg: 2.89 2.86 2.64 4/200 18857
/proc/meminfo: memFree=30808264/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=146484 CPUtime=522.27
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 84124 0 0 0 51466 761 0 0 25 0 1 0 134258526 149999616 34982 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 36621 34982 584 984 0 35634 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 146484

[startup+582.301 s]
/proc/loadavg: 2.82 2.84 2.65 4/200 18858
/proc/meminfo: memFree=30795168/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=153224 CPUtime=582.26
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 85736 0 0 0 57402 824 0 0 25 0 1 0 134258526 156901376 36588 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18760/statm: 38306 36588 584 984 0 37319 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 153224

[startup+642.301 s]
/proc/loadavg: 2.79 2.82 2.65 4/200 18859
/proc/meminfo: memFree=30781200/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=156080 CPUtime=642.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 86416 0 0 0 63319 909 0 0 25 0 1 0 134258526 159825920 37268 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 39020 37268 584 984 0 38033 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 156080

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.80 2.81 2.68 4/200 18866
/proc/meminfo: memFree=30729384/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=174664 CPUtime=882.27
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 90611 0 0 0 86648 1579 0 0 25 0 1 0 134258526 178855936 41445 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 43666 41445 586 984 0 42679 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 174664

[startup+942.301 s]
/proc/loadavg: 2.83 2.82 2.68 4/200 18867
/proc/meminfo: memFree=30717548/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=180116 CPUtime=942.27
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 91893 0 0 0 92478 1749 0 0 25 0 1 0 134258526 184438784 42723 4089446400 4194304 8223781 140734001110544 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 45029 42723 586 984 0 44042 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 180116

[startup+1002.3 s]
/proc/loadavg: 2.67 2.77 2.67 4/200 18869
/proc/meminfo: memFree=30704084/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=186524 CPUtime=1002.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 94951 0 0 0 98280 1948 0 0 25 0 1 0 134258526 191000576 43970 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 46631 43970 586 984 0 45644 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 186524

[startup+1062.3 s]
/proc/loadavg: 2.35 2.67 2.64 3/197 18919
/proc/meminfo: memFree=30834628/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=189260 CPUtime=1062.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 95512 0 0 0 104070 2158 0 0 25 0 1 0 134258526 193802240 44531 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 47315 44531 586 984 0 46328 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 189260

[startup+1122.3 s]
/proc/loadavg: 2.13 2.55 2.60 3/197 18921
/proc/meminfo: memFree=30791060/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=196864 CPUtime=1122.27
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 97387 0 0 0 109886 2341 0 0 25 0 1 0 134258526 201588736 46396 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 49216 46396 586 984 0 48229 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 196864

[startup+1182.3 s]
/proc/loadavg: 2.05 2.44 2.56 3/197 18922
/proc/meminfo: memFree=30761628/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=200368 CPUtime=1182.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 98245 0 0 0 115694 2534 0 0 25 0 1 0 134258526 205176832 47254 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 50092 47254 586 984 0 49105 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 200368

[startup+1242.3 s]
/proc/loadavg: 2.38 2.47 2.56 3/197 18923
/proc/meminfo: memFree=30737644/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=203024 CPUtime=1242.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 98849 0 0 0 121505 2723 0 0 25 0 1 0 134258526 207896576 47857 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 50756 47857 586 984 0 49769 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 203024

[startup+1302.3 s]
/proc/loadavg: 2.14 2.38 2.52 3/197 18925
/proc/meminfo: memFree=30704860/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=208844 CPUtime=1302.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 100156 0 0 0 127285 2943 0 0 25 0 1 0 134258526 213856256 49162 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 52211 49162 586 984 0 51224 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 208844

[startup+1362.3 s]
/proc/loadavg: 2.05 2.31 2.48 3/197 18927
/proc/meminfo: memFree=30669716/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=214956 CPUtime=1362.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 101444 0 0 0 133088 3141 0 0 25 0 1 0 134258526 220114944 50450 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 53739 50450 586 984 0 52752 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 214956

[startup+1422.31 s]
/proc/loadavg: 2.02 2.25 2.45 3/197 18929
/proc/meminfo: memFree=30618696/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=219560 CPUtime=1422.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 102567 0 0 0 138905 3324 0 0 25 0 1 0 134258526 224829440 51573 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 54890 51573 586 984 0 53903 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 219560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.20 2.42 3/197 18930
/proc/meminfo: memFree=30572268/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=222124 CPUtime=1482.28
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 103097 0 0 0 144722 3506 0 0 25 0 1 0 134258526 227454976 52103 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 55531 52103 586 984 0 54544 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 222124

[startup+1542.3 s]
/proc/loadavg: 2.00 2.16 2.39 3/197 18931
/proc/meminfo: memFree=30526968/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=225404 CPUtime=1542.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 103748 0 0 0 150496 3733 0 0 25 0 1 0 134258526 230813696 52753 4089446400 4194304 8223781 140734001110544 18446744073709551615 5813686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 56351 52753 586 984 0 55364 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 225404

[startup+1602.3 s]
/proc/loadavg: 2.00 2.13 2.36 3/197 18933
/proc/meminfo: memFree=30482548/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=230764 CPUtime=1602.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 105023 0 0 0 156300 3929 0 0 25 0 1 0 134258526 236302336 54028 4089446400 4194304 8223781 140734001110544 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 57691 54028 586 984 0 56704 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 230764

[startup+1662.3 s]
/proc/loadavg: 2.24 2.20 2.37 3/197 18935
/proc/meminfo: memFree=30471472/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=235652 CPUtime=1662.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 106067 0 0 0 162082 4147 0 0 25 0 1 0 134258526 241307648 55072 4089446400 4194304 8223781 140734001110544 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 58913 55072 586 984 0 57926 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 235652

[startup+1722.3 s]
/proc/loadavg: 2.09 2.16 2.35 3/197 18937
/proc/meminfo: memFree=30466960/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=239452 CPUtime=1722.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 107035 0 0 0 167896 4333 0 0 25 0 1 0 134258526 245198848 56040 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 59863 56040 586 984 0 58876 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 239452

[startup+1782.3 s]
/proc/loadavg: 2.03 2.13 2.32 3/197 18938
/proc/meminfo: memFree=30461352/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=245712 CPUtime=1782.29
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 108298 0 0 0 173691 4538 0 0 25 0 1 0 134258526 251609088 57303 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 61428 57303 586 984 0 60441 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 245712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.12 2.31 3/197 18939
/proc/meminfo: memFree=30460228/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=246544 CPUtime=1800
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 108523 0 0 0 175395 4605 0 0 25 0 1 0 134258526 252461056 57525 4089446400 4194304 8223781 140734001110544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18760/statm: 61636 57525 586 984 0 60649 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 246544

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

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

[startup+1800.2 s]
/proc/loadavg: 2.02 2.12 2.31 3/197 18939
/proc/meminfo: memFree=30460228/32951124 swapFree=67111528/67111528
[pid=18760] ppid=18758 vsize=246544 CPUtime=1800.2
/proc/18760/stat : 18760 (pbscip.linux.x8) R 18758 18760 18418 0 -1 4202496 108535 0 0 0 175415 4605 0 0 25 0 1 0 134258526 252461056 57537 4089446400 4194304 8223781 140734001110544 18446744073709551615 4212060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18760/statm: 61636 57537 588 984 0 60649 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 246544

Child status: 0
Real time (s): 1800.27
CPU time (s): 1800.28
CPU user time (s): 1754.21
CPU system time (s): 46.061
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 246544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.21
system time used= 46.061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108539
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= 1
involuntary context switches= 7411

runsolver used 2.85857 second user time and 5.8861 second system time

The end

Launcher Data 

Begin job on node140 at 2010-06-30 22:27:20
IDJOB=2692391
IDBENCH=79299
IDSOLVER=1204
FILE ID=node140/2692391-1277929640
PBS_JOBID= 11197366
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692391-1277929640/watcher-2692391-1277929640 -o /tmp/evaluation-result-2692391-1277929640/solver-2692391-1277929640 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692391-1277929640.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 820e833470f89e38c3db46a3ad325d3f
RANDOM SEED=921921189

node140.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5421.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30924972 kB
Buffers:        211560 kB
Cached:        1282556 kB
SwapCached:          0 kB
Active:        1137776 kB
Inactive:       743424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30924972 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4688 kB
Writeback:           0 kB
AnonPages:      387536 kB
Mapped:          20488 kB
Slab:            81364 kB
PageTables:       5384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1660652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node140 at 2010-06-30 22:57:22