Trace number 2693278

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.9 1800.84

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
MD5SUM8107d1e691d339cac74f8b03fb8a2735
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.018996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1190
Total number of constraints3183
Number of soft constraints3183
Number of constraints which are clauses3055
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints128
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 160956
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 160955
Biggest number in a constraint 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 136
Number of bits of the biggest sum of numbers8
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: Clp 1.11.1] [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-2693278-1277932380.wbo>
0.02/0.04	c original problem has 7556 variables (4373 bin, 0 int, 0 impl, 3183 cont) and 6367 constraints
0.02/0.04	c problem read
0.02/0.04	c presolving settings loaded
0.09/0.19	o 160955
0.09/0.19	c feasible solution found by trivial heuristic, objective value  1.609550e+05
0.09/0.19	c presolving:
0.18/0.20	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.18/0.21	c (round 2) 0 del vars, 1 del conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.18/0.23	c (round 3) 0 del vars, 1 del conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 1 upgd conss, 3183 impls, 0 clqs
0.18/0.28	c    (0.2s) probing: 101/4373 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.28	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.18/0.28	c presolving (4 rounds):
0.18/0.28	c  0 deleted vars, 1 deleted constraints, 3183 tightened bounds, 0 added holes, 64 changed sides, 128 changed coefficients
0.18/0.28	c  3184 implications, 0 cliques
0.18/0.28	c presolved problem has 7556 variables (4373 bin, 0 int, 0 impl, 3183 cont) and 6366 constraints
0.18/0.28	c    3183 constraints of type <indicator>
0.18/0.28	c       1 constraints of type <varbound>
0.18/0.28	c    3182 constraints of type <linear>
0.18/0.28	c transformed objective value is always integral (scale: 1)
0.18/0.28	c Presolving Time: 0.22
0.18/0.28	c - non default parameters ----------------------------------------------------------------------
0.18/0.28	c # SCIP version 1.2.1.2
0.18/0.28	c 
0.18/0.28	c # frequency for displaying node information lines
0.18/0.28	c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.28	c display/freq = 10000
0.18/0.28	c 
0.18/0.28	c # maximal time in seconds to run
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28	c limits/time = 1799.97
0.18/0.28	c 
0.18/0.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28	c limits/memory = 3420
0.18/0.28	c 
0.18/0.28	c # should presolving try to simplify inequalities
0.18/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.28	c constraints/linear/simplifyinequalities = TRUE
0.18/0.28	c 
0.18/0.28	c # should presolving try to simplify knapsacks
0.18/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.28	c constraints/knapsack/simplifyinequalities = TRUE
0.18/0.28	c 
0.18/0.28	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.28	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28	c separating/rapidlearning/freq = 0
0.18/0.28	c 
0.18/0.28	c -----------------------------------------------------------------------------------------------
0.18/0.28	c start solving
0.18/0.28	c 
0.29/0.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.30	c t 0.2s|     1 |     0 |     0 |     - |  23M|   0 |   0 |7556 |6366 |7556 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |   155 |     - |  23M|   0 |  44 |7556 |6366 |7556 | 156 | 156 |   0 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
0.29/0.31	o 160888
0.29/0.31	c y 0.3s|     1 |     0 |   155 |     - |  24M|   0 |  44 |7556 |6366 |7556 | 156 | 156 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   290 |     - |  24M|   0 |  46 |7556 |6366 |7556 | 325 | 325 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.39/0.41	c   0.4s|     1 |     0 |   557 |     - |  24M|   0 | 137 |7556 |6366 |7556 | 432 | 432 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |   670 |     - |  24M|   0 | 142 |7556 |6366 |7556 | 535 | 535 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.59/0.64	c   0.6s|     1 |     0 |   729 |     - |  24M|   0 |  68 |7556 |6366 |7556 | 609 | 609 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.69/0.75	c   0.7s|     1 |     0 |   774 |     - |  25M|   0 | 169 |7556 |6366 |7556 | 665 | 665 |   0 |   0 | 0.000000e+00 | 1.608880e+05 |    Inf 
0.89/0.90	c   0.8s|     1 |     2 |   981 |     - |  25M|   0 | 169 |7556 |6366 |7556 | 665 | 665 |   0 |  33 | 0.000000e+00 | 1.608880e+05 |    Inf 
41.39/41.42	c  40.7s| 10000 |  9995 | 11064 |   1.0 |  61M| 285 |   0 |7556 |6370 |7556 | 645 |4848 |   4 |1835 | 0.000000e+00 | 1.608880e+05 |    Inf 
79.39/79.48	c  78.5s| 20000 | 19995 | 17516 |   0.8 |  86M| 301 |   0 |7556 |6370 |7556 | 658 |8125 |   4 |1869 | 0.000000e+00 | 1.608880e+05 |    Inf 
117.49/117.51	c   116s| 30000 | 29995 | 21731 |   0.7 | 111M| 301 |   0 |7556 |6370 |7556 | 643 |9687 |   4 |1883 | 0.000000e+00 | 1.608880e+05 |    Inf 
156.50/156.50	c   155s| 40000 | 39995 | 27573 |   0.7 | 137M| 301 |   0 |7556 |6370 |7556 | 654 |  11k|   4 |1892 | 0.000000e+00 | 1.608880e+05 |    Inf 
190.40/190.46	c   188s| 50000 | 49995 | 33180 |   0.6 | 162M| 301 |   0 |7556 |6370 |7556 | 655 |  13k|   4 |1978 | 0.000000e+00 | 1.608880e+05 |    Inf 
224.30/224.32	c   222s| 60000 | 59995 | 40842 |   0.7 | 187M| 301 |   0 |7556 |6370 |7556 | 640 |  17k|   4 |2026 | 0.000000e+00 | 1.608880e+05 |    Inf 
258.10/258.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
258.10/258.11	c   255s| 70000 | 69995 | 49477 |   0.7 | 212M| 301 |   0 |7556 |6370 |7556 | 654 |  20k|   4 |2040 | 0.000000e+00 | 1.608880e+05 |    Inf 
292.40/292.47	c   289s| 80000 | 79995 | 57869 |   0.7 | 238M| 301 |   0 |7556 |6370 |7556 | 632 |  24k|   4 |2189 | 0.000000e+00 | 1.608880e+05 |    Inf 
326.10/326.18	c   323s| 90000 | 89995 | 68921 |   0.8 | 263M| 301 |   0 |7556 |6370 |7556 | 652 |  29k|   4 |2379 | 0.000000e+00 | 1.608880e+05 |    Inf 
359.50/359.54	c   356s|100000 | 99995 | 78713 |   0.8 | 288M| 301 |   0 |7556 |6370 |7556 | 633 |  34k|   4 |2543 | 0.000000e+00 | 1.608880e+05 |    Inf 
393.01/393.07	c   389s|110000 |109995 | 85476 |   0.8 | 313M| 301 |   0 |7556 |6370 |7556 | 657 |  37k|   4 |2670 | 0.000000e+00 | 1.608880e+05 |    Inf 
426.71/426.75	c   422s|120000 |119995 | 92254 |   0.8 | 338M| 301 |   0 |7556 |6370 |7556 | 634 |  41k|   4 |2815 | 0.000000e+00 | 1.608880e+05 |    Inf 
459.82/459.89	c   455s|130000 |129995 |102564 |   0.8 | 363M| 301 |   0 |7556 |6369 |7556 | 649 |  46k|   4 |2934 | 0.000000e+00 | 1.608880e+05 |    Inf 
495.40/495.45	c   490s|140000 |139995 |109323 |   0.8 | 388M| 301 |   0 |7556 |6369 |7556 | 649 |  49k|   4 |3492 | 0.000000e+00 | 1.608880e+05 |    Inf 
529.11/529.17	c   524s|150000 |149995 |115648 |   0.8 | 413M| 301 |   0 |7556 |6369 |7556 | 632 |  52k|   4 |3516 | 0.000000e+00 | 1.608880e+05 |    Inf 
561.91/561.92	c   556s|160000 |159995 |121005 |   0.8 | 438M| 301 |   0 |7556 |6369 |7556 | 631 |  54k|   4 |3563 | 0.000000e+00 | 1.608880e+05 |    Inf 
594.61/594.69	c   589s|170000 |169995 |127212 |   0.7 | 463M| 301 |   0 |7556 |6369 |7556 | 631 |  56k|   4 |3637 | 0.000000e+00 | 1.608880e+05 |    Inf 
628.02/628.06	c   622s|180000 |179995 |133010 |   0.7 | 488M| 301 |  14 |7556 |6369 |7556 | 616 |  59k|   4 |3682 | 0.000000e+00 | 1.608880e+05 |    Inf 
661.52/661.57	c   655s|190000 |189995 |138332 |   0.7 | 513M| 301 |   0 |7556 |6369 |7556 | 633 |  62k|   4 |3721 | 0.000000e+00 | 1.608880e+05 |    Inf 
695.01/695.06	c   689s|200000 |199995 |143497 |   0.7 | 538M| 301 |   0 |7556 |6369 |7556 | 627 |  65k|   4 |3763 | 0.000000e+00 | 1.608880e+05 |    Inf 
728.32/728.30	c   722s|210000 |209995 |148186 |   0.7 | 563M| 301 |   0 |7556 |6369 |7556 | 628 |  67k|   4 |3796 | 0.000000e+00 | 1.608880e+05 |    Inf 
760.81/760.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
760.81/760.88	c   754s|220000 |219995 |152713 |   0.7 | 588M| 301 |   0 |7556 |6369 |7556 | 624 |  69k|   4 |3868 | 0.000000e+00 | 1.608880e+05 |    Inf 
793.32/793.36	c   786s|230000 |229995 |156221 |   0.7 | 613M| 301 |   0 |7556 |6369 |7556 | 657 |  71k|   4 |3985 | 0.000000e+00 | 1.608880e+05 |    Inf 
829.22/829.22	c   822s|240000 |239995 |162926 |   0.7 | 638M| 301 |   0 |7556 |6369 |7556 | 641 |  74k|   4 |4137 | 0.000000e+00 | 1.608880e+05 |    Inf 
864.72/864.72	c   857s|250000 |249995 |169674 |   0.7 | 664M| 301 |   0 |7556 |6369 |7556 | 656 |  77k|   4 |4185 | 0.000000e+00 | 1.608880e+05 |    Inf 
899.72/899.74	c   892s|260000 |259995 |175708 |   0.7 | 689M| 301 |   0 |7556 |6369 |7556 | 628 |  80k|   4 |4295 | 0.000000e+00 | 1.608880e+05 |    Inf 
934.42/934.45	c   926s|270000 |269995 |181260 |   0.7 | 714M| 301 |   0 |7556 |6369 |7556 | 630 |  83k|   4 |4344 | 0.000000e+00 | 1.608880e+05 |    Inf 
969.53/969.50	c   961s|280000 |279995 |187258 |   0.7 | 739M| 301 |   0 |7556 |6369 |7556 | 647 |  86k|   4 |4407 | 0.000000e+00 | 1.608880e+05 |    Inf 
1002.92/1002.94	c   994s|290000 |289995 |192379 |   0.7 | 765M| 301 |   0 |7556 |6369 |7556 | 649 |  88k|   4 |4548 | 0.000000e+00 | 1.608880e+05 |    Inf 
1037.53/1037.57	c  1028s|300000 |299995 |198851 |   0.7 | 790M| 301 |   0 |7556 |6368 |7556 | 652 |  91k|   4 |4571 | 0.000000e+00 | 1.608880e+05 |    Inf 
1073.12/1073.10	c  1064s|310000 |309995 |205245 |   0.7 | 815M| 301 |   0 |7556 |6368 |7556 | 650 |  94k|   4 |4623 | 0.000000e+00 | 1.608880e+05 |    Inf 
1108.53/1108.56	c  1099s|320000 |319995 |211645 |   0.7 | 840M| 301 |   0 |7556 |6368 |7556 | 647 |  97k|   4 |4662 | 0.000000e+00 | 1.608880e+05 |    Inf 
1142.63/1142.66	c  1133s|330000 |329995 |216838 |   0.7 | 866M| 301 |   0 |7556 |6368 |7556 | 654 | 100k|   4 |4766 | 0.000000e+00 | 1.608880e+05 |    Inf 
1177.13/1177.12	c  1167s|340000 |339995 |224203 |   0.7 | 891M| 301 |   0 |7556 |6368 |7556 | 654 | 103k|   4 |4914 | 0.000000e+00 | 1.608880e+05 |    Inf 
1210.54/1210.54	c  1200s|350000 |349995 |229544 |   0.7 | 916M| 301 |   0 |7556 |6368 |7556 | 645 | 106k|   4 |4941 | 0.000000e+00 | 1.608880e+05 |    Inf 
1245.24/1245.27	c  1234s|360000 |359995 |235508 |   0.7 | 941M| 301 |   0 |7556 |6368 |7556 | 632 | 109k|   4 |4998 | 0.000000e+00 | 1.608880e+05 |    Inf 
1278.53/1278.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1278.53/1278.50	c  1267s|370000 |369995 |240046 |   0.6 | 966M| 301 |   0 |7556 |6368 |7556 | 630 | 111k|   4 |5040 | 0.000000e+00 | 1.608880e+05 |    Inf 
1312.14/1312.18	c  1301s|380000 |379995 |244084 |   0.6 | 991M| 301 |   0 |7556 |6368 |7556 | 646 | 114k|   4 |5050 | 0.000000e+00 | 1.608880e+05 |    Inf 
1347.44/1347.40	c  1336s|390000 |389995 |249968 |   0.6 |1016M| 301 |   0 |7556 |6368 |7556 | 628 | 116k|   4 |5164 | 0.000000e+00 | 1.608880e+05 |    Inf 
1380.14/1380.12	c  1368s|400000 |399995 |254062 |   0.6 |1041M| 301 |   0 |7556 |6368 |7556 | 628 | 118k|   4 |5198 | 0.000000e+00 | 1.608880e+05 |    Inf 
1413.44/1413.50	c  1402s|410000 |409995 |258332 |   0.6 |1067M| 301 |   0 |7556 |6368 |7556 | 632 | 120k|   4 |5209 | 0.000000e+00 | 1.608880e+05 |    Inf 
1448.14/1448.13	c  1436s|420000 |419995 |264239 |   0.6 |1092M| 301 |   0 |7556 |6368 |7556 | 630 | 124k|   4 |5351 | 0.000000e+00 | 1.608880e+05 |    Inf 
1481.65/1481.68	c  1469s|430000 |429995 |268307 |   0.6 |1117M| 301 |   0 |7556 |6368 |7556 | 651 | 126k|   4 |5356 | 0.000000e+00 | 1.608880e+05 |    Inf 
1515.64/1515.68	c  1503s|440000 |439995 |272591 |   0.6 |1142M| 301 |   0 |7556 |6368 |7556 | 630 | 129k|   4 |5390 | 0.000000e+00 | 1.608880e+05 |    Inf 
1549.84/1549.80	c  1537s|450000 |449995 |277138 |   0.6 |1167M| 301 |   0 |7556 |6368 |7556 | 630 | 132k|   4 |5397 | 0.000000e+00 | 1.608880e+05 |    Inf 
1583.64/1583.61	c  1570s|460000 |459995 |283389 |   0.6 |1192M| 301 |   0 |7556 |6368 |7556 | 645 | 135k|   4 |5515 | 0.000000e+00 | 1.608880e+05 |    Inf 
1616.14/1616.15	c  1603s|470000 |469995 |288340 |   0.6 |1217M| 301 |   0 |7556 |6368 |7556 | 630 | 137k|   4 |5546 | 0.000000e+00 | 1.608880e+05 |    Inf 
1651.15/1651.13	c  1638s|480000 |479995 |293348 |   0.6 |1242M| 301 |   5 |7556 |6368 |7556 | 655 | 140k|   4 |5574 | 0.000000e+00 | 1.608880e+05 |    Inf 
1683.64/1683.69	c  1670s|490000 |489995 |297601 |   0.6 |1267M| 301 |   0 |7556 |6368 |7556 | 632 | 142k|   4 |5621 | 0.000000e+00 | 1.608880e+05 |    Inf 
1717.45/1717.43	c  1703s|500000 |499995 |300648 |   0.6 |1292M| 301 |   0 |7556 |6367 |7556 | 635 | 143k|   4 |5663 | 0.000000e+00 | 1.608880e+05 |    Inf 
1750.94/1750.92	c  1736s|510000 |509995 |303730 |   0.6 |1318M| 301 |   0 |7556 |6367 |7556 | 640 | 144k|   4 |5692 | 0.000000e+00 | 1.608880e+05 |    Inf 
1784.35/1784.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1784.35/1784.36	c  1769s|520000 |519995 |307355 |   0.6 |1343M| 301 |   0 |7556 |6367 |7556 | 630 | 145k|   4 |5749 | 0.000000e+00 | 1.608880e+05 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1784.92
1800.06/1800.00	c Solving Nodes      : 524894
1800.06/1800.00	c Primal Bound       : +1.60888000000000e+05 (102 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.16/1800.14	s SATISFIABLE
1800.16/1800.14	v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 
1800.16/1800.14	v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 
1800.16/1800.14	v -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 
1800.16/1800.14	v -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 
1800.16/1800.14	v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 
1800.16/1800.14	v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 
1800.16/1800.14	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 
1800.16/1800.14	v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 
1800.16/1800.14	v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 
1800.16/1800.14	v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 
1800.16/1800.14	v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 
1800.16/1800.14	v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
1800.16/1800.14	v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
1800.16/1800.14	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 
1800.16/1800.14	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 x915 -x914 -x913 -x912 -x911 x910 -x909 
1800.16/1800.14	v -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 
1800.16/1800.14	v -x886 x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 
1800.16/1800.14	v -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 
1800.16/1800.14	v -x844 x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 x823 
1800.16/1800.14	v -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 x805 -x804 -x803 -x802 
1800.16/1800.14	v -x801 -x800 -x799 x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 
1800.16/1800.14	v -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 
1800.16/1800.14	v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 
1800.16/1800.14	v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 
1800.16/1800.15	v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
1800.16/1800.15	v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 
1800.16/1800.15	v -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 
1800.16/1800.15	v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 
1800.16/1800.15	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 
1800.16/1800.15	v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 
1800.16/1800.15	v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 
1800.16/1800.15	v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
1800.16/1800.15	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
1800.16/1800.15	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
1800.16/1800.15	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 
1800.16/1800.15	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 
1800.16/1800.15	v -x466 -x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 -x449 x448 -x447 -x446 -x445 -x444 
1800.16/1800.15	v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 
1800.16/1800.15	v -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 x404 -x403 -x402 
1800.16/1800.15	v -x401 -x400 -x399 -x398 x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 
1800.16/1800.15	v x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 x359 
1800.16/1800.15	v -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 
1800.16/1800.15	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 
1800.16/1800.15	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
1800.16/1800.15	v -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 
1800.16/1800.15	v -x273 -x272 x271 -x270 x269 x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 
1800.16/1800.15	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
1800.16/1800.15	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 
1800.16/1800.15	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 x193 x192 x191 -x190 x189 
1800.16/1800.15	v x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 
1800.16/1800.15	v -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
1800.16/1800.15	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.16/1800.15	v -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 
1800.16/1800.15	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 -x79 x78 
1800.16/1800.15	v -x77 -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 
1800.16/1800.15	v -x51 -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 
1800.16/1800.15	v x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1 
1800.16/1800.15	c SCIP Status        : solving was interrupted [user interrupt]
1800.16/1800.15	c Solving Time       :    1784.92
1800.16/1800.15	c Original Problem   :
1800.16/1800.15	c   Problem name     : HOME/instance-2693278-1277932380.wbo
1800.16/1800.15	c   Variables        : 7556 (4373 binary, 0 integer, 0 implicit integer, 3183 continuous)
1800.16/1800.15	c   Constraints      : 6367 initial, 6367 maximal
1800.16/1800.15	c Presolved Problem  :
1800.16/1800.15	c   Problem name     : t_HOME/instance-2693278-1277932380.wbo
1800.16/1800.15	c   Variables        : 7556 (4373 binary, 0 integer, 0 implicit integer, 3183 continuous)
1800.16/1800.15	c   Constraints      : 6366 initial, 6370 maximal
1800.16/1800.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.16/1800.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.16/1800.15	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   linear           :       0.04          0          0          0       3183          0          1         64        128
1800.16/1800.15	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.16/1800.15	c   root node        :          -          0          -          -          0          -          -          -          -
1800.16/1800.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.16/1800.15	c   integral         :          0          0          0     561652          0          0          0          0          0      76606
1800.16/1800.15	c   indicator        :       3183          0     880014     523349          0          0     500442          0          0          0
1800.16/1800.15	c   varbound         :          1          6     122152      76636          0          0       3397          1          0          0
1800.16/1800.15	c   linear           :       3182          6     880014     523349          0          3     316737     146156          0          0
1800.16/1800.15	c   logicor          :          0+         0       7211          0          0          0        428          0          0          0
1800.16/1800.15	c   countsols        :          0          0          0     486588          0          0          0          0          0          0
1800.16/1800.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.16/1800.15	c   integral         :      11.51       0.00       0.00      11.51       0.00
1800.16/1800.15	c   indicator        :     190.00       0.01      33.79     156.20       0.00
1800.16/1800.15	c   varbound         :       0.22       0.00       0.12       0.10       0.00
1800.16/1800.15	c   linear           :     364.58       0.02      28.55     336.01       0.00
1800.16/1800.15	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1800.16/1800.15	c   countsols        :       0.23       0.00       0.00       0.23       0.00
1800.16/1800.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.16/1800.15	c   vbounds          :       0.52       6797          0          0
1800.16/1800.15	c   rootredcost      :       0.34          1          0          0
1800.16/1800.15	c   pseudoobj        :      60.17     879814          0          0
1800.16/1800.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.16/1800.15	c   propagation      :       0.00          3          3          4        8.2          1        5.0          -
1800.16/1800.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.16/1800.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.16/1800.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.16/1800.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.16/1800.15	c   applied globally :          -          -          -          4        7.2          -          -          -
1800.16/1800.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.16/1800.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.16/1800.15	c   cut pool         :       0.00          4          -          -        123          -    (maximal pool size: 764)
1800.16/1800.15	c   redcost          :      83.90     561212          0          0          0          0
1800.16/1800.15	c   impliedbounds    :       0.00          5          0          0          0          0
1800.16/1800.15	c   intobj           :       0.00          0          0          0          0          0
1800.16/1800.15	c   cgmip            :       0.00          0          0          0          0          0
1800.16/1800.15	c   gomory           :       0.03          5          0          0        253          0
1800.16/1800.15	c   strongcg         :       0.00          5          0          0          0          0
1800.16/1800.15	c   cmir             :       0.08          5          0          0        241          0
1800.16/1800.15	c   flowcover        :       0.26          5          0          0        460          0
1800.16/1800.15	c   clique           :       0.01          1          0          0          0          0
1800.16/1800.15	c   zerohalf         :       0.00          0          0          0          0          0
1800.16/1800.15	c   mcf              :       0.00          1          0          0          0          0
1800.16/1800.15	c   rapidlearning    :       0.00          0          0          0          0          0
1800.16/1800.15	c Pricers            :       Time      Calls       Vars
1800.16/1800.15	c   problem variables:       0.00          0          0
1800.16/1800.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.16/1800.15	c   relpscost        :      11.20      38303          0          0          0          0      76606
1800.16/1800.15	c   pscost           :       0.00          0          0          0          0          0          0
1800.16/1800.15	c   inference        :     266.92     486588          0          0          0          0     973176
1800.16/1800.15	c   mostinf          :       0.00          0          0          0          0          0          0
1800.16/1800.15	c   leastinf         :       0.00          0          0          0          0          0          0
1800.16/1800.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.16/1800.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.16/1800.15	c   random           :       0.00          0          0          0          0          0          0
1800.16/1800.15	c Primal Heuristics  :       Time      Calls      Found
1800.16/1800.15	c   LP solutions     :       0.00          -          0
1800.16/1800.15	c   pseudo solutions :       0.00          -          0
1800.16/1800.15	c   feaspump         :       0.00          0          0
1800.16/1800.15	c   oneopt           :       0.49          1          0
1800.16/1800.15	c   intshifting      :       0.15         22          0
1800.16/1800.15	c   crossover        :       0.65         11          0
1800.16/1800.15	c   pscostdiving     :       7.31       3260          0
1800.16/1800.15	c   fracdiving       :       7.41       3260          0
1800.16/1800.15	c   veclendiving     :       7.43       3260          0
1800.16/1800.15	c   linesearchdiving :       6.95       3260          0
1800.16/1800.15	c   guideddiving     :       7.11       3260          0
1800.16/1800.15	c   coefdiving       :       7.36       3261          0
1800.16/1800.15	c   objpscostdiving  :       7.19       3237          0
1800.16/1800.15	c   rootsoldiving    :       7.97       3237          0
1800.16/1800.15	c   trivial          :       0.13          2          2
1800.16/1800.15	c   simplerounding   :       0.33      36611          0
1800.16/1800.15	c   zirounding       :       1.12       1000          0
1800.16/1800.15	c   rounding         :       0.46       2648          0
1800.16/1800.15	c   shifting         :       1.94        860          0
1800.16/1800.15	c   twoopt           :       0.00          0          0
1800.16/1800.15	c   fixandinfer      :       0.00          0          0
1800.16/1800.15	c   intdiving        :       0.00          0          0
1800.16/1800.15	c   actconsdiving    :       0.00          0          0
1800.16/1800.15	c   octane           :       0.00          0          0
1800.16/1800.15	c   rens             :       0.04          1          0
1800.16/1800.15	c   rins             :       0.00          0          0
1800.16/1800.15	c   localbranching   :       0.00          0          0
1800.16/1800.15	c   mutation         :       0.00          0          0
1800.16/1800.15	c   dins             :       0.00          0          0
1800.16/1800.15	c   undercover       :       0.00          0          0
1800.16/1800.15	c   nlp              :       0.25          0          0
1800.16/1800.15	c   trysol           :       0.66       4758        100
1800.16/1800.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.16/1800.15	c   primal LP        :       0.00          0          0       0.00          -
1800.16/1800.15	c   dual LP          :     465.91     110448     307856       2.79     660.76
1800.16/1800.15	c   lex dual LP      :       0.00          0          0       0.00          -
1800.16/1800.15	c   barrier LP       :       0.00          0          0       0.00          -
1800.16/1800.15	c   diving/probing LP:       0.62        261        870       3.33    1403.23
1800.16/1800.15	c   strong branching :      10.76       5756      23729       4.12    2205.30
1800.16/1800.15	c     (at root node) :          -         33        148       4.48          -
1800.16/1800.15	c   conflict analysis:       0.00          0          0       0.00          -
1800.16/1800.15	c B&B Tree           :
1800.16/1800.15	c   number of runs   :          1
1800.16/1800.15	c   nodes            :     524894
1800.16/1800.15	c   nodes (total)    :     524894
1800.16/1800.15	c   nodes left       :     524889
1800.16/1800.15	c   max depth        :        301
1800.16/1800.15	c   max depth (total):        301
1800.16/1800.15	c   backtracks       :       3397 (0.6%)
1800.16/1800.15	c   delayed cutoffs  :          0
1800.16/1800.15	c   repropagations   :         66 (3 domain reductions, 0 cutoffs)
1800.16/1800.15	c   avg switch length:       2.16
1800.16/1800.15	c   switching time   :      28.23
1800.16/1800.15	c Solution           :
1800.16/1800.15	c   Solutions found  :        102 (2 improvements)
1800.16/1800.15	c   First Solution   : +1.60955000000000e+05   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.16/1800.15	c   Primal Bound     : +1.60888000000000e+05   (in run 1, after 1 nodes, 0.26 seconds, depth 0, found by <trysol>)
1800.16/1800.15	c   Dual Bound       : +0.00000000000000e+00
1800.16/1800.15	c   Gap              :   infinite
1800.16/1800.15	c   Root Dual Bound  : +0.00000000000000e+00
1800.16/1800.15	c   Root Iterations  :        774
1800.85/1800.83	c Time complete: 1800.89.

Verifier Data 

OK	10035

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693278-1277932380/watcher-2693278-1277932380 -o /tmp/evaluation-result-2693278-1277932380/solver-2693278-1277932380 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693278-1277932380.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.01 2.02 2.00 4/182 15902
/proc/meminfo: memFree=28939724/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=10980 CPUtime=0
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1668 0 0 0 0 0 0 0 22 0 1 0 134533617 11243520 1589 4089446400 4194304 9819077 140734530263296 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15902/statm: 2745 1589 392 1374 0 1366 0

[startup+0.030958 s]
/proc/loadavg: 2.01 2.02 2.00 4/182 15902
/proc/meminfo: memFree=28939724/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=19272 CPUtime=0.02
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 3739 0 0 0 2 0 0 0 22 0 1 0 134533617 19734528 3660 4089446400 4194304 9819077 140734530263296 18446744073709551615 6181200 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15902/statm: 4818 3660 392 1374 0 3439 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19272

[startup+0.100945 s]
/proc/loadavg: 2.01 2.02 2.00 4/182 15902
/proc/meminfo: memFree=28939724/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=40092 CPUtime=0.09
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 8976 0 0 0 9 0 0 0 22 0 1 0 134533617 41054208 8543 4089446400 4194304 9819077 140734530263296 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 10023 8543 469 1374 0 8644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40092

[startup+0.300905 s]
/proc/loadavg: 2.01 2.02 2.00 4/182 15902
/proc/meminfo: memFree=28939724/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=45448 CPUtime=0.29
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 11141 0 0 0 28 1 0 0 22 0 1 0 134533617 46538752 9937 4089446400 4194304 9819077 140734530263296 18446744073709551615 6071179 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 11396 9950 542 1374 0 10017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45448

[startup+0.700842 s]
/proc/loadavg: 2.01 2.02 2.00 4/182 15902
/proc/meminfo: memFree=28939724/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=51836 CPUtime=0.69
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 12597 0 0 0 68 1 0 0 24 0 1 0 134533617 53080064 11177 4089446400 4194304 9819077 140734530263296 18446744073709551615 5734155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 12959 11177 674 1374 0 11580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51836

[startup+1.5007 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15903
/proc/meminfo: memFree=28896192/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=54548 CPUtime=1.49
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 49143 0 0 0 142 7 0 0 25 0 1 0 134533617 55857152 11438 4089446400 4194304 9819077 140734530263296 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 13689 11439 700 1374 0 12310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54548

[startup+3.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15903
/proc/meminfo: memFree=28896468/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=54992 CPUtime=3.09
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 109340 0 0 0 291 18 0 0 25 0 1 0 134533617 56311808 11646 4089446400 4194304 9819077 140734530263296 18446744073709551615 6367550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 13748 11646 700 1374 0 12369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54992

[startup+6.30081 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15903
/proc/meminfo: memFree=28889152/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=62968 CPUtime=6.29
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 168091 0 0 0 601 28 0 0 25 0 1 0 134533617 64479232 13720 4089446400 4194304 9819077 140734530263296 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 15742 13720 702 1374 0 14363 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62968

[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15903
/proc/meminfo: memFree=28876052/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=70128 CPUtime=12.69
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 215636 0 0 0 1231 38 0 0 25 0 1 0 134533617 71811072 15599 4089446400 4194304 9819077 140734530263296 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 17532 15599 706 1374 0 16153 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70128

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15903
/proc/meminfo: memFree=28846948/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=81044 CPUtime=25.5
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 248545 0 0 0 2500 50 0 0 25 0 1 0 134533617 82989056 18326 4089446400 4194304 9819077 140734530263296 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 20261 18326 706 1374 0 18882 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 81044

[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15904
/proc/meminfo: memFree=28799848/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=97004 CPUtime=51.09
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 306537 0 0 0 5035 74 0 0 25 0 1 0 134533617 99332096 22345 4089446400 4194304 9819077 140734530263296 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 24251 22345 706 1374 0 22872 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97004

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 15906
/proc/meminfo: memFree=28699604/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=130984 CPUtime=102.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 401202 0 0 0 10114 116 0 0 25 0 1 0 134533617 134127616 30877 4089446400 4194304 9819077 140734530263296 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15902/statm: 32746 30877 706 1374 0 31367 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 130984

[startup+162.301 s]
/proc/loadavg: 2.17 2.07 2.02 3/183 16211
/proc/meminfo: memFree=31127968/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=171024 CPUtime=162.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 507366 0 0 0 16029 201 0 0 25 0 1 0 134533617 175128576 40923 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965269 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 42756 40923 706 1374 0 41377 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 171024

[startup+222.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 16213
/proc/meminfo: memFree=31080436/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=214664 CPUtime=222.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 653848 0 0 0 21971 259 0 0 25 0 1 0 134533617 219815936 51858 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 53666 51858 706 1374 0 52287 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 214664

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/183 16215
/proc/meminfo: memFree=31021268/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=262416 CPUtime=282.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 760262 0 0 0 27918 312 0 0 25 0 1 0 134533617 268713984 63381 4089446400 4194304 9819077 140734530263296 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 65604 63381 706 1374 0 64225 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 262416

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 16216
/proc/meminfo: memFree=30958364/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=305288 CPUtime=342.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 864982 0 0 0 33866 364 0 0 25 0 1 0 134533617 312614912 74222 4089446400 4194304 9819077 140734530263296 18446744073709551615 4966043 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 76322 74222 706 1374 0 74943 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 305288

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/183 16218
/proc/meminfo: memFree=30898440/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=350124 CPUtime=402.31
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 941049 0 0 0 39821 410 0 0 25 0 1 0 134533617 358526976 85325 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 87531 85325 706 1374 0 86152 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 350124

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/183 16219
/proc/meminfo: memFree=30834804/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=393320 CPUtime=462.31
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1024300 0 0 0 45774 457 0 0 25 0 1 0 134533617 402759680 96159 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 98330 96159 706 1374 0 96951 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 393320

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/183 16221
/proc/meminfo: memFree=30777376/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=436628 CPUtime=522.3
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1149097 0 0 0 51718 512 0 0 25 0 1 0 134533617 447107072 107019 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 109157 107019 706 1374 0 107778 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 436628

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 16223
/proc/meminfo: memFree=30708884/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=481540 CPUtime=582.31
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1205016 0 0 0 57675 556 0 0 25 0 1 0 134533617 493096960 118251 4089446400 4194304 9819077 140734530263296 18446744073709551615 4697639 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 120385 118251 706 1374 0 119006 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 481540

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16224
/proc/meminfo: memFree=30646860/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=526108 CPUtime=642.31
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1271756 0 0 0 63632 599 0 0 25 0 1 0 134533617 538734592 129452 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 131527 129452 706 1374 0 130148 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 526108

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 16232
/proc/meminfo: memFree=30334616/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=747044 CPUtime=942.32
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1717848 0 0 0 93392 840 0 0 25 0 1 0 134533617 764973056 183809 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 186761 183809 706 1374 0 185382 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 747044

[startup+1002.3 s]
/proc/loadavg: 2.09 2.04 2.00 4/183 16234
/proc/meminfo: memFree=30272964/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=791376 CPUtime=1002.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1806893 0 0 0 99344 889 0 0 25 0 1 0 134533617 810369024 195000 4089446400 4194304 9819077 140734530263296 18446744073709551615 4819289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 197844 195000 706 1374 0 196465 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 791376

[startup+1062.3 s]
/proc/loadavg: 2.08 2.05 2.00 4/183 16235
/proc/meminfo: memFree=30211940/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=835368 CPUtime=1062.32
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1872814 0 0 0 105295 937 0 0 25 0 1 0 134533617 855416832 205979 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 208842 205979 706 1374 0 207463 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 835368

[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.00 4/183 16237
/proc/meminfo: memFree=30146676/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=876660 CPUtime=1122.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 1950088 0 0 0 111245 988 0 0 25 0 1 0 134533617 897699840 216335 4089446400 4194304 9819077 140734530263296 18446744073709551615 4561004 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 219165 216335 706 1374 0 217786 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 876660

[startup+1182.3 s]
/proc/loadavg: 2.10 2.07 2.01 4/183 16242
/proc/meminfo: memFree=30084300/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=918400 CPUtime=1182.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2032288 0 0 0 117195 1038 0 0 25 0 1 0 134533617 940441600 226836 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 229600 226836 706 1374 0 228221 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 918400

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 4/183 16243
/proc/meminfo: memFree=30014088/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=963044 CPUtime=1242.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2095701 0 0 0 123151 1082 0 0 25 0 1 0 134533617 986157056 237985 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 240761 237985 706 1374 0 239382 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 963044

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 16245
/proc/meminfo: memFree=29949208/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1007332 CPUtime=1302.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2144106 0 0 0 129113 1120 0 0 25 0 1 0 134533617 1031507968 249114 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 251833 249114 706 1374 0 250454 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1007332

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16246
/proc/meminfo: memFree=29885300/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1049544 CPUtime=1362.33
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2212429 0 0 0 135068 1165 0 0 25 0 1 0 134533617 1074733056 259695 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965945 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 262386 259695 706 1374 0 261007 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1049544

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16248
/proc/meminfo: memFree=29816576/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1095096 CPUtime=1422.34
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2270302 0 0 0 141031 1203 0 0 25 0 1 0 134533617 1121378304 271118 4089446400 4194304 9819077 140734530263296 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 273774 271118 706 1374 0 272395 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1095096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16250
/proc/meminfo: memFree=29752068/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1139740 CPUtime=1482.34
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2330823 0 0 0 146986 1248 0 0 25 0 1 0 134533617 1167093760 282299 4089446400 4194304 9819077 140734530263296 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 284935 282299 706 1374 0 283556 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1139740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/183 16251
/proc/meminfo: memFree=29691656/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1181304 CPUtime=1542.35
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2382625 0 0 0 152944 1291 0 0 25 0 1 0 134533617 1209655296 292746 4089446400 4194304 9819077 140734530263296 18446744073709551615 6628342 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 295326 292746 706 1374 0 293947 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1181304

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/183 16253
/proc/meminfo: memFree=29628888/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1234368 CPUtime=1602.34
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2442778 0 0 0 158904 1330 0 0 25 0 1 0 134533617 1263992832 303997 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 308592 303997 706 1374 0 307213 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1234368

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/183 16254
/proc/meminfo: memFree=29561652/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1277900 CPUtime=1662.35
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2502887 0 0 0 164862 1373 0 0 25 0 1 0 134533617 1308569600 315014 4089446400 4194304 9819077 140734530263296 18446744073709551615 7224313 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 319475 315014 706 1374 0 318096 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1277900

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/183 16256
/proc/meminfo: memFree=29500996/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1323224 CPUtime=1722.35
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2660278 0 0 0 170803 1432 0 0 25 0 1 0 134533617 1354981376 326274 4089446400 4194304 9819077 140734530263296 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 330806 326274 706 1374 0 329427 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1323224

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 16258
/proc/meminfo: memFree=29439096/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1367232 CPUtime=1782.35
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2859759 0 0 0 176735 1500 0 0 25 0 1 0 134533617 1400045568 337318 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 341808 337318 706 1374 0 340429 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1367232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16258
/proc/meminfo: memFree=29418256/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=1381452 CPUtime=1800.06
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2874641 0 0 0 178495 1511 0 0 25 0 1 0 134533617 1414606848 340883 4089446400 4194304 9819077 140734530263296 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15902/statm: 345363 340883 706 1374 0 343984 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1381452

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16259
/proc/meminfo: memFree=29868988/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=913144 CPUtime=1800.66
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2874644 0 0 0 178553 1513 0 0 18 0 1 0 134533617 935059456 223981 4089446400 4194304 9819077 140734530263296 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15902/statm: 228029 223981 709 1374 0 226650 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 913144

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16259
/proc/meminfo: memFree=29868988/32951124 swapFree=67111528/67111528
[pid=15902] ppid=15900 vsize=232028 CPUtime=1800.85
/proc/15902/stat : 15902 (pbscip.linux.x8) R 15900 15902 15415 0 -1 4202496 2874644 0 0 0 178569 1516 0 0 18 0 1 0 134533617 237596672 54498 4089446400 4194304 9819077 140734530263296 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15902/statm: 58007 54498 709 1374 0 56628 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 232028

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.9
CPU user time (s): 1785.72
CPU system time (s): 15.1737
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1381452

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

runsolver used 3.12052 second user time and 6.33904 second system time

The end

Launcher Data 

Begin job on node135 at 2010-06-30 23:13:00
IDJOB=2693278
IDBENCH=79339
IDSOLVER=1205
FILE ID=node135/2693278-1277932380
PBS_JOBID= 11197391
Free space on /tmp= 74136 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-37s.smv--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693278-1277932380/watcher-2693278-1277932380 -o /tmp/evaluation-result-2693278-1277932380/solver-2693278-1277932380 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693278-1277932380.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8107d1e691d339cac74f8b03fb8a2735
RANDOM SEED=1940672225

node135.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.857
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.71
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.857
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	: 5332.75
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.857
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.857
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	: 7186.14
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.857
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	: 5332.75
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.857
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.75
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.857
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.74
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.857
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28940500 kB
Buffers:        212256 kB
Cached:        1111780 kB
SwapCached:          0 kB
Active:        3016532 kB
Inactive:       843052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28940500 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6292 kB
Writeback:           0 kB
AnonPages:     2535732 kB
Mapped:          16112 kB
Slab:            82492 kB
PageTables:      10332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2718816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74128 MiB
End job on node135 at 2010-06-30 23:43:02