Trace number 2705200

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791 1790.95

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf7.ucl--soft-0-100-0.wbo
MD5SUMc12b7c7766d333e741516da691aff1b3
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.014996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1328
Total number of constraints3349
Number of soft constraints3349
Number of constraints which are clauses3165
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints184
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 169122
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 169121
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705200-1278578352.wbo>
0.01/0.04	c original problem has 8026 variables (4677 bin, 0 int, 3349 impl, 0 cont) and 6699 constraints
0.01/0.04	c problem read
0.01/0.04	c presolving settings loaded
0.09/0.17	o 169121
0.09/0.17	c feasible solution found by trivial heuristic, objective value  1.691210e+05
0.09/0.17	c presolving:
0.09/0.17	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.18	c (round 2) 0 del vars, 1 del conss, 3349 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.19	c (round 3) 0 del vars, 1 del conss, 3349 chg bounds, 92 chg sides, 184 chg coeffs, 1 upgd conss, 6514 impls, 0 clqs
0.19/0.24	c    (0.2s) probing: 101/4677 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24	c presolving (4 rounds):
0.19/0.24	c  0 deleted vars, 1 deleted constraints, 3349 tightened bounds, 0 added holes, 92 changed sides, 184 changed coefficients
0.19/0.24	c  6518 implications, 0 cliques
0.19/0.24	c presolved problem has 8026 variables (4677 bin, 0 int, 3349 impl, 0 cont) and 6698 constraints
0.19/0.24	c       1 constraints of type <varbound>
0.19/0.24	c    3348 constraints of type <linear>
0.19/0.24	c    3349 constraints of type <indicator>
0.19/0.24	c transformed objective value is always integral (scale: 1)
0.19/0.24	c Presolving Time: 0.19
0.19/0.24	c - non default parameters ----------------------------------------------------------------------
0.19/0.24	c # SCIP version 1.2.1.3
0.19/0.24	c 
0.19/0.24	c # frequency for displaying node information lines
0.19/0.24	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24	c display/freq = 10000
0.19/0.24	c 
0.19/0.24	c # maximal time in seconds to run
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/time = 1789.97
0.19/0.24	c 
0.19/0.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24	c limits/memory = 3420
0.19/0.24	c 
0.19/0.24	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.24	c # [type: int, range: [1,2], default: 1]
0.19/0.24	c timing/clocktype = 2
0.19/0.24	c 
0.19/0.24	c # should presolving try to simplify inequalities
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/linear/simplifyinequalities = TRUE
0.19/0.24	c 
0.19/0.24	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/indicator/addCouplingCons = TRUE
0.19/0.24	c 
0.19/0.24	c # should presolving try to simplify knapsacks
0.19/0.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24	c 
0.19/0.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24	c separating/rapidlearning/freq = 0
0.19/0.24	c 
0.19/0.24	c -----------------------------------------------------------------------------------------------
0.19/0.24	c start solving
0.19/0.25	c 
0.19/0.26	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.26	c t 0.2s|     1 |     0 |     0 |     - |  25M|   0 |   0 |8026 |6698 |8026 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |   189 |     - |  26M|   0 |  77 |8026 |6698 |8026 | 190 | 190 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
0.49/0.59	c   0.6s|     1 |     0 |   336 |     - |  26M|   0 |  75 |8026 |6698 |8026 | 433 | 433 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
0.59/0.66	c   0.6s|     1 |     0 |   507 |     - |  26M|   0 |  95 |8026 |6698 |8026 | 609 | 609 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
0.79/0.80	c   0.8s|     1 |     0 |   727 |     - |  26M|   0 | 353 |8026 |6698 |8026 | 761 | 761 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |   952 |     - |  27M|   0 | 411 |8026 |6698 |8026 | 880 | 880 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
1.09/1.11	c   1.1s|     1 |     0 |  1187 |     - |  27M|   0 | 413 |8026 |6698 |8026 |1025 |1025 |   0 |   0 | 0.000000e+00 | 1.691210e+05 |    Inf 
1.19/1.29	c   1.3s|     1 |     2 |  1187 |     - |  27M|   0 | 413 |8026 |6698 |8026 |1025 |1025 |   0 |  33 | 0.000000e+00 | 1.691210e+05 |    Inf 
10.99/11.02	o 169071
10.99/11.02	c y11.0s|   227 |   226 |  3968 |  12.3 |  28M| 211 |   - |8026 |6698 |   0 |   0 |1275 |   0 |2722 | 0.000000e+00 | 1.690710e+05 |    Inf 
57.20/57.28	c  57.2s| 10000 | 10001 | 48077 |   4.7 |  63M| 247 |   0 |8026 |6698 |8026 |1080 |  14k|   0 |4411 | 0.000000e+00 | 1.690710e+05 |    Inf 
102.79/102.87	c   103s| 20000 | 20001 | 78864 |   3.9 |  92M| 249 |  32 |8026 |6698 |8026 | 878 |  25k|   0 |4762 | 0.000000e+00 | 1.690710e+05 |    Inf 
148.80/148.81	c   149s| 30000 | 30001 | 98301 |   3.2 | 119M| 257 |   0 |8026 |6698 |8026 |1087 |  32k|   0 |5019 | 0.000000e+00 | 1.690710e+05 |    Inf 
190.00/190.00	c   190s| 40000 | 40001 |162002 |   4.0 | 145M| 257 |  60 |8026 |6698 |8026 | 878 |  40k|   0 |5746 | 0.000000e+00 | 1.690710e+05 |    Inf 
227.19/227.22	c   227s| 50000 | 50001 |230272 |   4.6 | 171M| 257 | 109 |8026 |6698 |8026 | 878 |  48k|   0 |5912 | 0.000000e+00 | 1.690710e+05 |    Inf 
263.40/263.49	c   263s| 60000 | 60001 |289811 |   4.8 | 198M| 257 |  65 |8026 |6698 |8026 | 878 |  54k|   0 |5953 | 0.000000e+00 | 1.690710e+05 |    Inf 
300.70/300.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
300.70/300.74	c   301s| 70000 | 70001 |353267 |   5.0 | 224M| 257 |  82 |8026 |6698 |8026 | 878 |  63k|   0 |6028 | 0.000000e+00 | 1.690710e+05 |    Inf 
339.10/339.16	c   339s| 80000 | 80001 |415021 |   5.2 | 251M| 257 |   0 |8026 |6698 |8026 |1027 |  74k|   0 |6391 | 0.000000e+00 | 1.690710e+05 |    Inf 
377.80/377.85	c   378s| 90000 | 90001 |470294 |   5.2 | 277M| 257 |   0 |8026 |6698 |8026 |1000 |  84k|   0 |7023 | 0.000000e+00 | 1.690710e+05 |    Inf 
416.90/416.94	c   417s|100000 |100001 |531711 |   5.3 | 304M| 257 |   0 |8026 |6698 |8026 | 995 |  94k|   0 |7661 | 0.000000e+00 | 1.690710e+05 |    Inf 
456.21/456.26	c   456s|110000 |110001 |588838 |   5.3 | 331M| 257 |   0 |8026 |6698 |8026 |1010 | 104k|   0 |8340 | 0.000000e+00 | 1.690710e+05 |    Inf 
495.60/495.65	c   496s|120000 |120001 |644178 |   5.4 | 357M| 257 |  68 |8026 |6698 |8026 | 909 | 114k|   0 |8965 | 0.000000e+00 | 1.690710e+05 |    Inf 
534.21/534.25	c   534s|130000 |130001 |710362 |   5.5 | 384M| 257 |  10 |8026 |6698 |8026 | 878 | 123k|   0 |9519 | 0.000000e+00 | 1.690710e+05 |    Inf 
571.70/571.77	c   572s|140000 |140001 |771710 |   5.5 | 410M| 257 |   1 |8026 |6698 |8026 | 878 | 130k|   0 |  10k| 0.000000e+00 | 1.690710e+05 |    Inf 
610.31/610.36	c   610s|150000 |150001 |825496 |   5.5 | 436M| 257 |  75 |8026 |6698 |8026 | 878 | 138k|   0 |  10k| 0.000000e+00 | 1.690710e+05 |    Inf 
646.61/646.64	c   647s|160000 |160001 |878684 |   5.5 | 463M| 257 |  71 |8026 |6698 |8026 | 878 | 145k|   0 |  11k| 0.000000e+00 | 1.690710e+05 |    Inf 
683.12/683.17	c   683s|170000 |170001 |932099 |   5.5 | 489M| 257 |  46 |8026 |6698 |8026 | 878 | 153k|   0 |  11k| 0.000000e+00 | 1.690710e+05 |    Inf 
721.21/721.25	c   721s|180000 |180001 |983097 |   5.5 | 515M| 257 |  29 |8026 |6698 |8026 | 878 | 160k|   0 |  12k| 0.000000e+00 | 1.690710e+05 |    Inf 
758.81/758.83	c   759s|190000 |190001 |  1034k|   5.4 | 542M| 257 | 100 |8026 |6698 |8026 | 878 | 168k|   0 |  12k| 0.000000e+00 | 1.690710e+05 |    Inf 
796.32/796.39	c   796s|200000 |200001 |  1086k|   5.4 | 568M| 257 |  66 |8026 |6698 |8026 | 878 | 175k|   0 |  12k| 0.000000e+00 | 1.690710e+05 |    Inf 
833.91/833.99	c   834s|210000 |210001 |  1140k|   5.4 | 595M| 257 |   0 |8026 |6698 |8026 | 960 | 183k|   0 |  13k| 0.000000e+00 | 1.690710e+05 |    Inf 
868.81/868.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
868.81/868.81	c   869s|220000 |220001 |  1196k|   5.4 | 621M| 257 |   0 |8026 |6698 |8026 | 974 | 190k|   0 |  13k| 0.000000e+00 | 1.690710e+05 |    Inf 
905.11/905.13	c   905s|230000 |230001 |  1254k|   5.5 | 647M| 257 |   0 |8026 |6698 |8026 | 971 | 198k|   0 |  14k| 0.000000e+00 | 1.690710e+05 |    Inf 
941.02/941.05	c   941s|240000 |240001 |  1309k|   5.5 | 674M| 257 |  28 |8026 |6698 |8026 | 932 | 205k|   0 |  14k| 0.000000e+00 | 1.690710e+05 |    Inf 
979.62/979.62	c   980s|250000 |250001 |  1366k|   5.5 | 700M| 257 |  26 |8026 |6698 |8026 | 932 | 214k|   0 |  15k| 0.000000e+00 | 1.690710e+05 |    Inf 
1015.92/1015.97	c  1016s|260000 |260001 |  1421k|   5.5 | 727M| 257 |  75 |8026 |6698 |8026 | 921 | 222k|   0 |  15k| 0.000000e+00 | 1.690710e+05 |    Inf 
1053.12/1053.19	c  1053s|270000 |270001 |  1472k|   5.4 | 753M| 257 |  12 |8026 |6698 |8026 | 878 | 230k|   0 |  16k| 0.000000e+00 | 1.690710e+05 |    Inf 
1088.72/1088.72	c  1089s|280000 |280001 |  1521k|   5.4 | 780M| 257 |  19 |8026 |6698 |8026 | 878 | 238k|   0 |  16k| 0.000000e+00 | 1.690710e+05 |    Inf 
1124.13/1124.19	c  1124s|290000 |290001 |  1570k|   5.4 | 806M| 257 |  23 |8026 |6698 |8026 | 878 | 246k|   0 |  16k| 0.000000e+00 | 1.690710e+05 |    Inf 
1158.62/1158.66	c  1159s|300000 |300001 |  1620k|   5.4 | 832M| 257 |  69 |8026 |6698 |8026 | 878 | 254k|   0 |  16k| 0.000000e+00 | 1.690710e+05 |    Inf 
1195.93/1195.94	c  1196s|310000 |310001 |  1668k|   5.4 | 859M| 257 |  27 |8026 |6698 |8026 | 878 | 262k|   0 |  17k| 0.000000e+00 | 1.690710e+05 |    Inf 
1232.12/1232.14	c  1232s|320000 |320001 |  1719k|   5.4 | 885M| 257 |  79 |8026 |6698 |8026 | 878 | 271k|   0 |  17k| 0.000000e+00 | 1.690710e+05 |    Inf 
1266.93/1266.93	c  1267s|330000 |330001 |  1768k|   5.4 | 911M| 257 | 119 |8026 |6698 |8026 | 878 | 279k|   0 |  18k| 0.000000e+00 | 1.690710e+05 |    Inf 
1302.33/1302.34	c  1302s|340000 |340001 |  1815k|   5.3 | 938M| 257 |   0 |8026 |6698 |8026 | 967 | 286k|   0 |  18k| 0.000000e+00 | 1.690710e+05 |    Inf 
1336.13/1336.15	c  1336s|350000 |350001 |  1864k|   5.3 | 964M| 257 |   0 |8026 |6698 |8026 | 984 | 294k|   0 |  18k| 0.000000e+00 | 1.690710e+05 |    Inf 
1371.93/1371.92	c  1372s|360000 |360001 |  1912k|   5.3 | 991M| 257 |   0 |8026 |6698 |8026 | 974 | 302k|   0 |  18k| 0.000000e+00 | 1.690710e+05 |    Inf 
1406.53/1406.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1406.53/1406.56	c  1407s|370000 |370001 |  1962k|   5.3 |1017M| 257 |   0 |8026 |6698 |8026 | 975 | 310k|   0 |  19k| 0.000000e+00 | 1.690710e+05 |    Inf 
1440.23/1440.29	c  1440s|380000 |380001 |  2011k|   5.3 |1043M| 257 |  16 |8026 |6698 |8026 | 878 | 318k|   0 |  19k| 0.000000e+00 | 1.690710e+05 |    Inf 
1475.63/1475.60	c  1476s|390000 |390001 |  2056k|   5.3 |1070M| 257 |  28 |8026 |6698 |8026 | 878 | 325k|   0 |  19k| 0.000000e+00 | 1.690710e+05 |    Inf 
1509.94/1509.97	c  1510s|400000 |400001 |  2103k|   5.3 |1096M| 257 |  13 |8026 |6698 |8026 | 878 | 333k|   0 |  20k| 0.000000e+00 | 1.690710e+05 |    Inf 
1542.94/1542.94	c  1543s|410000 |410001 |  2149k|   5.2 |1122M| 257 |  29 |8026 |6698 |8026 | 878 | 340k|   0 |  20k| 0.000000e+00 | 1.690710e+05 |    Inf 
1576.43/1576.43	c  1576s|420000 |420001 |  2193k|   5.2 |1149M| 257 |  47 |8026 |6698 |8026 | 878 | 348k|   0 |  20k| 0.000000e+00 | 1.690710e+05 |    Inf 
1613.83/1613.80	c  1614s|430000 |430001 |  2233k|   5.2 |1175M| 257 |  30 |8026 |6698 |8026 | 878 | 355k|   0 |  20k| 0.000000e+00 | 1.690710e+05 |    Inf 
1651.05/1651.02	c  1651s|440000 |440001 |  2270k|   5.2 |1202M| 257 |  31 |8026 |6698 |8026 | 878 | 363k|   0 |  20k| 0.000000e+00 | 1.690710e+05 |    Inf 
1691.84/1691.87	c  1692s|450000 |450001 |  2319k|   5.2 |1228M| 257 |  47 |8026 |6698 |8026 | 878 | 373k|   0 |  21k| 0.000000e+00 | 1.690710e+05 |    Inf 
1730.44/1730.41	c  1730s|460000 |460001 |  2368k|   5.1 |1255M| 257 |  85 |8026 |6698 |8026 | 878 | 383k|   0 |  21k| 0.000000e+00 | 1.690710e+05 |    Inf 
1764.35/1764.37	c  1764s|470000 |470001 |  2413k|   5.1 |1281M| 257 |   0 |8026 |6698 |8026 | 959 | 391k|   0 |  21k| 0.000000e+00 | 1.690710e+05 |    Inf 
1790.04/1790.01	c 
1790.04/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.01	c Solving Time (sec) : 1789.97
1790.04/1790.01	c Solving Nodes      : 476884
1790.04/1790.01	c Primal Bound       : +1.69071000000000e+05 (103 solutions)
1790.04/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.01	c Gap                : infinite
1790.14/1790.15	s SATISFIABLE
1790.14/1790.15	v -x1328 -x1327 -x1326 -x1325 -x1324 x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 -x1308 
1790.14/1790.15	v x1307 x1306 x1305 x1304 -x1303 -x1302 -x1301 -x1300 x1299 x1298 x1297 x1296 x1295 -x1294 -x1293 -x1292 -x1291 x1290 x1289 
1790.14/1790.15	v x1288 x1287 x1286 -x1285 x1284 x1283 x1282 x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 
1790.14/1790.15	v x1269 -x1268 -x1267 x1266 -x1265 x1264 -x1263 -x1262 x1261 -x1260 x1259 x1258 x1257 x1256 x1255 x1254 x1253 x1252 x1251 x1250 
1790.14/1790.15	v x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238 -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 
1790.14/1790.15	v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 x1216 x1215 x1214 x1213 x1212 x1211 
1790.14/1790.15	v x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 x1200 x1199 x1198 x1197 x1196 -x1195 -x1194 -x1193 
1790.14/1790.15	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 x1183 x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
1790.14/1790.15	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
1790.14/1790.15	v -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 x1147 -x1146 x1145 x1144 x1143 -x1142 x1141 -x1140 -x1139 x1138 -x1137 
1790.14/1790.15	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 x1124 x1123 -x1122 -x1121 x1120 -x1119 
1790.14/1790.15	v x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 
1790.14/1790.15	v x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 
1790.14/1790.15	v -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 
1790.14/1790.15	v x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 x1054 -x1053 x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 
1790.14/1790.15	v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 x1038 -x1037 -x1036 -x1035 x1034 x1033 -x1032 -x1031 -x1030 x1029 x1028 x1027 
1790.14/1790.15	v -x1026 x1025 -x1024 -x1023 x1022 -x1021 x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 
1790.14/1790.15	v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 
1790.14/1790.15	v x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 x977 -x976 x975 x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 
1790.14/1790.15	v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 
1790.14/1790.15	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 
1790.14/1790.15	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 x905 -x904 
1790.14/1790.15	v -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 x895 -x894 x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 
1790.14/1790.15	v -x881 -x880 -x879 x878 -x877 x876 x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 x865 -x864 x863 -x862 -x861 -x860 
1790.14/1790.15	v -x859 -x858 -x857 x856 -x855 x854 -x853 -x852 -x851 -x850 x849 x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 
1790.14/1790.15	v -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
1790.14/1790.15	v x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 
1790.14/1790.15	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 
1790.14/1790.15	v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 
1790.14/1790.15	v -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 
1790.14/1790.15	v -x731 -x730 -x729 -x728 -x727 -x726 x725 x724 -x723 x722 -x721 -x720 -x719 x718 -x717 x716 -x715 -x714 -x713 x712 -x711 x710 
1790.14/1790.15	v x709 x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 x693 x692 -x691 x690 -x689 -x688 
1790.14/1790.15	v -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 x679 x678 -x677 x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 
1790.14/1790.15	v x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 x651 x650 -x649 x648 x647 -x646 -x645 
1790.14/1790.15	v x644 x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 x635 -x634 -x633 x632 x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
1790.14/1790.15	v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 x602 
1790.14/1790.15	v -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592 x591 -x590 x589 x588 x587 -x586 x585 -x584 -x583 -x582 -x581 x580 -x579 
1790.14/1790.15	v -x578 -x577 x576 x575 -x574 x573 x572 -x571 x570 -x569 -x568 x567 x566 x565 x564 -x563 -x562 x561 x560 x559 x558 x557 x556 
1790.14/1790.15	v x555 -x554 -x553 x552 -x551 x550 -x549 -x548 x547 x546 x545 x544 -x543 -x542 x541 x540 x539 -x538 x537 -x536 -x535 x534 -x533 
1790.14/1790.15	v x532 x531 x530 x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 x520 x519 x518 x517 x516 x515 -x514 -x513 -x512 -x511 -x510 
1790.14/1790.15	v -x509 -x508 -x507 -x506 -x505 x504 x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 
1790.14/1790.15	v -x488 -x487 -x486 x485 x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 
1790.14/1790.15	v -x467 -x466 -x465 x464 -x463 -x462 -x461 x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 
1790.14/1790.15	v -x445 -x444 -x443 -x442 -x441 -x440 x439 x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 
1790.14/1790.15	v -x424 -x423 -x422 x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 
1790.14/1790.15	v -x402 -x401 -x400 -x399 -x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 
1790.14/1790.15	v -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 x366 -x365 -x364 -x363 x362 -x361 -x360 
1790.14/1790.15	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
1790.14/1790.15	v -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 
1790.14/1790.15	v x317 x316 -x315 -x314 x313 x312 -x311 -x310 -x309 x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 
1790.14/1790.15	v -x295 x294 -x293 -x292 x291 -x290 -x289 x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 
1790.14/1790.15	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 x263 x262 x261 -x260 x259 -x258 -x257 -x256 x255 x254 x253 -x252 
1790.14/1790.15	v -x251 x250 -x249 -x248 x247 x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 x236 -x235 -x234 x233 -x232 -x231 x230 
1790.14/1790.15	v -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 -x220 x219 x218 x217 x216 x215 x214 x213 -x212 x211 x210 x209 -x208 x207 
1790.14/1790.15	v -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 x191 -x190 -x189 -x188 x187 -x186 -x185 
1790.14/1790.15	v x184 -x183 -x182 -x181 x180 x179 -x178 -x177 x176 x175 -x174 -x173 -x172 x171 -x170 x169 -x168 -x167 -x166 x165 -x164 x163 
1790.14/1790.15	v -x162 -x161 -x160 -x159 x158 x157 -x156 x155 -x154 x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 -x144 -x143 x142 -x141 
1790.14/1790.15	v -x140 -x139 x138 x137 x136 x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 x122 x121 x120 x119 -x118 
1790.14/1790.15	v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 
1790.14/1790.15	v x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 
1790.14/1790.15	v x69 -x68 x67 x66 -x65 x64 x63 -x62 x61 x60 x59 -x58 x57 x56 -x55 x54 x53 x52 x51 x50 x49 -x48 x47 x46 x45 x44 x43 x42 -x41 
1790.14/1790.15	v -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 x29 x28 x27 -x26 x25 x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 x15 -x14 -x13 
1790.14/1790.15	v x12 -x11 x10 x9 x8 -x7 -x6 x5 -x4 -x3 x2 x1 
1790.14/1790.15	c SCIP Status        : solving was interrupted [time limit reached]
1790.14/1790.15	c Solving Time       :    1789.97
1790.14/1790.15	c Original Problem   :
1790.14/1790.15	c   Problem name     : HOME/instance-2705200-1278578352.wbo
1790.14/1790.15	c   Variables        : 8026 (4677 binary, 0 integer, 3349 implicit integer, 0 continuous)
1790.14/1790.15	c   Constraints      : 6699 initial, 6699 maximal
1790.14/1790.15	c Presolved Problem  :
1790.14/1790.15	c   Problem name     : t_HOME/instance-2705200-1278578352.wbo
1790.14/1790.15	c   Variables        : 8026 (4677 binary, 0 integer, 3349 implicit integer, 0 continuous)
1790.14/1790.15	c   Constraints      : 6698 initial, 6698 maximal
1790.14/1790.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.14/1790.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   probing          :       0.04          0          0          0          0          0          0          0          0
1790.14/1790.15	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   linear           :       0.03          0          0          0       3349          0          1         92        184
1790.14/1790.15	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.14/1790.15	c   root node        :          -          0          -          -          0          -          -          -          -
1790.14/1790.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.14/1790.15	c   integral         :          0          0          0     499574          0          0          0          0          0     686034
1790.14/1790.15	c   varbound         :          1          6     469323      32751          0          0       3561          1          0          0
1790.14/1790.15	c   linear           :       3348          6     671032     156557          0          0     213289     396016          0          0
1790.14/1790.15	c   indicator        :       3349          0     671032     156557          0          0     117484          0          0          0
1790.14/1790.15	c   countsols        :          0          0          0     133867          0          0          0          0          0          0
1790.14/1790.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.14/1790.15	c   integral         :      67.15       0.00       0.00      67.15       0.00
1790.14/1790.15	c   varbound         :       0.33       0.00       0.31       0.02       0.00
1790.14/1790.15	c   linear           :     159.17       0.01      39.66     119.51       0.00
1790.14/1790.15	c   indicator        :     119.59       0.02      60.79      58.78       0.00
1790.14/1790.15	c   countsols        :       0.03       0.00       0.00       0.03       0.00
1790.14/1790.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.14/1790.15	c   vbounds          :       2.31      78391          0          0
1790.14/1790.15	c   rootredcost      :       0.27          1          0          0
1790.14/1790.15	c   pseudoobj        :      44.16     670832          0          0
1790.14/1790.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.14/1790.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.14/1790.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.14/1790.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.14/1790.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.14/1790.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.14/1790.15	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.14/1790.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.14/1790.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.14/1790.15	c   cut pool         :       0.00          4          -          -        427          -    (maximal pool size: 1230)
1790.14/1790.15	c   redcost          :      95.88     499353          0          0          0          0
1790.14/1790.15	c   impliedbounds    :       0.00          5          0          0          0          0
1790.14/1790.15	c   intobj           :       0.00          0          0          0          0          0
1790.14/1790.15	c   cgmip            :       0.00          0          0          0          0          0
1790.14/1790.15	c   gomory           :       0.04          5          0          0        504          0
1790.14/1790.15	c   strongcg         :       0.04          5          0          0        763          0
1790.14/1790.15	c   cmir             :       0.10          5          0          0        230          0
1790.14/1790.15	c   flowcover        :       0.31          5          0          0        740          0
1790.14/1790.15	c   clique           :       0.00          1          0          0          0          0
1790.14/1790.15	c   zerohalf         :       0.00          0          0          0          0          0
1790.14/1790.15	c   mcf              :       0.00          1          0          0          0          0
1790.14/1790.15	c   rapidlearning    :       0.27          1          0          0          0          0
1790.14/1790.15	c Pricers            :       Time      Calls       Vars
1790.14/1790.15	c   problem variables:       0.00          0          0
1790.14/1790.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.14/1790.15	c   relpscost        :      66.72     343017          0          0          0          0     686034
1790.14/1790.15	c   pscost           :       0.00          0          0          0          0          0          0
1790.14/1790.15	c   inference        :     146.60     133867          0          0          0          0     267734
1790.14/1790.15	c   mostinf          :       0.00          0          0          0          0          0          0
1790.14/1790.15	c   leastinf         :       0.00          0          0          0          0          0          0
1790.14/1790.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.14/1790.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.14/1790.15	c   random           :       0.00          0          0          0          0          0          0
1790.14/1790.15	c Primal Heuristics  :       Time      Calls      Found
1790.14/1790.15	c   LP solutions     :       0.00          -          0
1790.14/1790.15	c   pseudo solutions :       0.00          -          0
1790.14/1790.15	c   intshifting      :       0.00          0          0
1790.14/1790.15	c   feaspump         :       0.00          0          0
1790.14/1790.15	c   oneopt           :       0.29          1          0
1790.14/1790.15	c   crossover        :       0.82         11          0
1790.14/1790.15	c   veclendiving     :      11.85       3607          0
1790.14/1790.15	c   pscostdiving     :      11.81       3608          0
1790.14/1790.15	c   fracdiving       :      11.86       3608          0
1790.14/1790.15	c   linesearchdiving :      12.19       3608          0
1790.14/1790.15	c   guideddiving     :      11.99       3608          0
1790.14/1790.15	c   coefdiving       :      12.29       3608          0
1790.14/1790.15	c   objpscostdiving  :      12.29       3594          0
1790.14/1790.15	c   rootsoldiving    :      12.60       3594          0
1790.14/1790.15	c   trivial          :       0.11          2          2
1790.14/1790.15	c   simplerounding   :       0.84     336162          0
1790.14/1790.15	c   zirounding       :       0.20       1000          0
1790.14/1790.15	c   rounding         :       0.62       8162          0
1790.14/1790.15	c   shifting         :       0.66       2551          0
1790.14/1790.15	c   twoopt           :       0.00          0          0
1790.14/1790.15	c   fixandinfer      :       0.00          0          0
1790.14/1790.15	c   intdiving        :       0.00          0          0
1790.14/1790.15	c   actconsdiving    :       0.00          0          0
1790.14/1790.15	c   octane           :       0.00          0          0
1790.14/1790.15	c   rens             :       0.05          1          0
1790.14/1790.15	c   rins             :       0.00          0          0
1790.14/1790.15	c   localbranching   :       0.00          0          0
1790.14/1790.15	c   mutation         :       0.00          0          0
1790.14/1790.15	c   dins             :       0.00          0          0
1790.14/1790.15	c   undercover       :       0.00          0          0
1790.14/1790.15	c   nlp              :       0.14          0          0
1790.14/1790.15	c   trysol           :       0.47       3605        101
1790.14/1790.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.14/1790.15	c   primal LP        :       0.00          0          0       0.00          -
1790.14/1790.15	c   dual LP          :     735.52     362365    2442964       6.74    3321.39
1790.14/1790.15	c   lex dual LP      :       0.00          0          0       0.00          -
1790.14/1790.15	c   barrier LP       :       0.00          0          0       0.00          -
1790.14/1790.15	c   diving/probing LP:       0.83        439       1742       3.97    2103.65
1790.14/1790.15	c   strong branching :      59.74      22126     237690      10.74    3978.50
1790.14/1790.15	c     (at root node) :          -         33        708      21.45          -
1790.14/1790.15	c   conflict analysis:       0.00          0          0       0.00          -
1790.14/1790.15	c B&B Tree           :
1790.14/1790.15	c   number of runs   :          1
1790.14/1790.15	c   nodes            :     476884
1790.14/1790.15	c   nodes (total)    :     476884
1790.14/1790.15	c   nodes left       :     476885
1790.14/1790.15	c   max depth        :        257
1790.14/1790.15	c   max depth (total):        257
1790.14/1790.15	c   backtracks       :       3678 (0.8%)
1790.14/1790.15	c   delayed cutoffs  :          0
1790.14/1790.15	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.14/1790.15	c   avg switch length:       2.04
1790.14/1790.15	c   switching time   :      30.86
1790.14/1790.15	c Solution           :
1790.14/1790.15	c   Solutions found  :        103 (2 improvements)
1790.14/1790.15	c   First Solution   : +1.69121000000000e+05   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1790.14/1790.15	c   Primal Bound     : +1.69071000000000e+05   (in run 1, after 226 nodes, 10.96 seconds, depth 212, found by <trysol>)
1790.14/1790.15	c   Dual Bound       : +0.00000000000000e+00
1790.14/1790.15	c   Gap              :   infinite
1790.14/1790.15	c   Root Dual Bound  : +0.00000000000000e+00
1790.14/1790.15	c   Root Iterations  :       1187
1790.95/1790.94	c Time complete: 1790.98.

Verifier Data 

OK	5479

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705200-1278578352/watcher-2705200-1278578352 -o /tmp/evaluation-result-2705200-1278578352/solver-2705200-1278578352 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705200-1278578352.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.00 2.00 1.93 4/178 26016
/proc/meminfo: memFree=28539424/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=12524 CPUtime=0
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 1976 0 0 0 0 0 0 0 24 0 1 0 26047744 12824576 1894 4089446400 4194304 10345943 140734686218096 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26016/statm: 3131 1894 429 1502 0 1624 0

[startup+0.0184689 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 26016
/proc/meminfo: memFree=28539424/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=18208 CPUtime=0.01
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 3393 0 0 0 1 0 0 0 24 0 1 0 26047744 18644992 3311 4089446400 4194304 10345943 140734686218096 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26016/statm: 4552 3311 430 1502 0 3045 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18208

[startup+0.10045 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 26016
/proc/meminfo: memFree=28539424/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=43936 CPUtime=0.09
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 9886 0 0 0 8 1 0 0 24 0 1 0 26047744 44990464 9450 4089446400 4194304 10345943 140734686218096 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 10984 9450 509 1502 0 9477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43936

[startup+0.300411 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 26016
/proc/meminfo: memFree=28539424/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=81056 CPUtime=0.29
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 18834 0 0 0 27 2 0 0 25 0 1 0 26047744 83001344 18398 4089446400 4194304 10345943 140734686218096 18446744073709551615 4701012 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 20264 18398 633 1502 0 18757 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81056

[startup+0.700348 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 26016
/proc/meminfo: memFree=28539424/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=77416 CPUtime=0.69
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 19632 0 0 0 66 3 0 0 25 0 1 0 26047744 79273984 18030 4089446400 4194304 10345943 140734686218096 18446744073709551615 6014179 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 19354 18030 742 1502 0 17847 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77416

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26017
/proc/meminfo: memFree=28468356/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=77416 CPUtime=1.49
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 21513 0 0 0 145 4 0 0 25 0 1 0 26047744 79273984 18067 4089446400 4194304 10345943 140734686218096 18446744073709551615 7507785 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 19354 18067 760 1502 0 17847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77416

[startup+3.10091 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26017
/proc/meminfo: memFree=28469404/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=77416 CPUtime=3.09
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 21513 0 0 0 305 4 0 0 25 0 1 0 26047744 79273984 18067 4089446400 4194304 10345943 140734686218096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 19354 18067 760 1502 0 17847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77416

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26017
/proc/meminfo: memFree=28469156/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=77416 CPUtime=6.29
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 21515 0 0 0 623 6 0 0 25 0 1 0 26047744 79273984 18069 4089446400 4194304 10345943 140734686218096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 19354 18069 761 1502 0 17847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77416

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26017
/proc/meminfo: memFree=28452672/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=77416 CPUtime=12.7
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 21532 0 0 0 1262 8 0 0 25 0 1 0 26047744 79273984 18086 4089446400 4194304 10345943 140734686218096 18446744073709551615 6865005 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 19354 18086 763 1502 0 17847 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 77416

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26018
/proc/meminfo: memFree=28425320/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=88436 CPUtime=25.49
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 28240 0 0 0 2538 11 0 0 25 0 1 0 26047744 90558464 20850 4089446400 4194304 10345943 140734686218096 18446744073709551615 6558566 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26016/statm: 22109 20850 763 1502 0 20602 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88436

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26019
/proc/meminfo: memFree=28355164/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=94108 CPUtime=51.09
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 34452 0 0 0 5093 16 0 0 25 0 1 0 26047744 96366592 21993 4089446400 4194304 10345943 140734686218096 18446744073709551615 4872223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 23527 21993 763 1502 0 22020 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94108

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.94 3/179 26020
/proc/meminfo: memFree=28200216/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=130520 CPUtime=102.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 44281 0 0 0 10208 22 0 0 25 0 1 0 26047744 133652480 30925 4089446400 4194304 10345943 140734686218096 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 32630 30925 763 1502 0 31123 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 130520

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 26021
/proc/meminfo: memFree=28076296/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=164292 CPUtime=162.29
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 58437 0 0 0 16198 31 0 0 25 0 1 0 26047744 168235008 39202 4089446400 4194304 10345943 140734686218096 18446744073709551615 4696431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 41073 39202 763 1502 0 39566 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 164292

[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 26023
/proc/meminfo: memFree=27949532/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=204408 CPUtime=222.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 69520 0 0 0 22187 43 0 0 25 0 1 0 26047744 209313792 49313 4089446400 4194304 10345943 140734686218096 18446744073709551615 9138359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 51102 49313 763 1502 0 49595 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 204408

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26025
/proc/meminfo: memFree=27832780/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=249812 CPUtime=282.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 86547 0 0 0 28175 55 0 0 25 0 1 0 26047744 255807488 60648 4089446400 4194304 10345943 140734686218096 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 62453 60648 763 1502 0 60946 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 249812

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26027
/proc/meminfo: memFree=27752016/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=292084 CPUtime=342.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 97240 0 0 0 34165 65 0 0 25 0 1 0 26047744 299094016 70872 4089446400 4194304 10345943 140734686218096 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 73021 70872 763 1502 0 71514 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 292084

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26028
/proc/meminfo: memFree=27693824/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=333852 CPUtime=402.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 108842 0 0 0 40153 77 0 0 25 0 1 0 26047744 341864448 81277 4089446400 4194304 10345943 140734686218096 18446744073709551615 6518612 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 83463 81277 763 1502 0 81956 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 333852

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26029
/proc/meminfo: memFree=27643436/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=372556 CPUtime=462.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 125235 0 0 0 46139 91 0 0 25 0 1 0 26047744 381497344 91028 4089446400 4194304 10345943 140734686218096 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 93139 91028 763 1502 0 91632 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 372556

[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 26031
/proc/meminfo: memFree=27592552/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=411148 CPUtime=522.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 137985 0 0 0 52129 101 0 0 25 0 1 0 26047744 421015552 100788 4089446400 4194304 10345943 140734686218096 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 102787 100788 763 1502 0 101280 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 411148

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 26033
/proc/meminfo: memFree=27545880/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=453452 CPUtime=582.3
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 149006 0 0 0 58117 113 0 0 25 0 1 0 26047744 464334848 111388 4089446400 4194304 10345943 140734686218096 18446744073709551615 6518606 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 113363 111388 763 1502 0 111856 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 453452

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26035
/proc/meminfo: memFree=27503536/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=494900 CPUtime=642.31
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 159633 0 0 0 64107 124 0 0 25 0 1 0 26047744 506777600 121558 4089446400 4194304 10345943 140734686218096 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 123725 121558 763 1502 0 122218 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 494900

[startup+702.3 s]

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

/proc/meminfo: memFree=27239156/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=753560 CPUtime=1002.32
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 231908 0 0 0 100038 194 0 0 25 0 1 0 26047744 771645440 185601 4089446400 4194304 10345943 140734686218096 18446744073709551615 6307504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 188390 185601 763 1502 0 186883 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 753560

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 26045
/proc/meminfo: memFree=27194968/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=797388 CPUtime=1062.32
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 243755 0 0 0 106027 205 0 0 25 0 1 0 26047744 816525312 196686 4089446400 4194304 10345943 140734686218096 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 199347 196686 763 1502 0 197840 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 797388

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 26047
/proc/meminfo: memFree=27148916/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=840740 CPUtime=1122.33
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 255032 0 0 0 112016 217 0 0 25 0 1 0 26047744 860917760 207534 4089446400 4194304 10345943 140734686218096 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 210185 207534 763 1502 0 208678 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 840740

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26049
/proc/meminfo: memFree=27105088/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=885784 CPUtime=1182.32
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 266186 0 0 0 118005 227 0 0 25 0 1 0 26047744 907042816 218688 4089446400 4194304 10345943 140734686218096 18446744073709551615 5926615 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 221446 218688 763 1502 0 219939 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 885784

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26051
/proc/meminfo: memFree=27061144/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=928240 CPUtime=1242.33
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 276948 0 0 0 123995 238 0 0 25 0 1 0 26047744 950517760 229447 4089446400 4194304 10345943 140734686218096 18446744073709551615 6756204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 232060 229447 763 1502 0 230553 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 928240

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26052
/proc/meminfo: memFree=27014236/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=974056 CPUtime=1302.33
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 288892 0 0 0 129987 246 0 0 25 0 1 0 26047744 997433344 240859 4089446400 4194304 10345943 140734686218096 18446744073709551615 4686922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 243514 240859 763 1502 0 242007 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 974056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26062
/proc/meminfo: memFree=26969276/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1018024 CPUtime=1362.33
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 299988 0 0 0 135977 256 0 0 25 0 1 0 26047744 1042456576 251918 4089446400 4194304 10345943 140734686218096 18446744073709551615 6307558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 254506 251918 763 1502 0 252999 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1018024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26064
/proc/meminfo: memFree=26923856/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1063024 CPUtime=1422.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 311128 0 0 0 141968 266 0 0 25 0 1 0 26047744 1088536576 262995 4089446400 4194304 10345943 140734686218096 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 265756 262995 763 1502 0 264249 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1063024

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26066
/proc/meminfo: memFree=26878672/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1108564 CPUtime=1482.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 322677 0 0 0 147955 279 0 0 25 0 1 0 26047744 1135169536 274542 4089446400 4194304 10345943 140734686218096 18446744073709551615 6777348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 277141 274542 763 1502 0 275634 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1108564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26068
/proc/meminfo: memFree=26830520/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1154564 CPUtime=1542.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 339795 0 0 0 153944 290 0 0 25 0 1 0 26047744 1182273536 286397 4089446400 4194304 10345943 140734686218096 18446744073709551615 6310170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 288641 286397 763 1502 0 287134 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1154564

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26069
/proc/meminfo: memFree=26786568/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1198852 CPUtime=1602.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 351565 0 0 0 159932 302 0 0 25 0 1 0 26047744 1227624448 297189 4089446400 4194304 10345943 140734686218096 18446744073709551615 5926370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 299713 297189 763 1502 0 298206 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1198852

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26070
/proc/meminfo: memFree=26742764/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1243736 CPUtime=1662.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 362374 0 0 0 165922 312 0 0 25 0 1 0 26047744 1273585664 307951 4089446400 4194304 10345943 140734686218096 18446744073709551615 4686942 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 310934 307951 763 1502 0 309427 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1243736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26072
/proc/meminfo: memFree=26704040/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1280968 CPUtime=1722.33
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 371962 0 0 0 171912 321 0 0 25 0 1 0 26047744 1311711232 317538 4089446400 4194304 10345943 140734686218096 18446744073709551615 6528251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 320242 317538 763 1502 0 318735 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1280968

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 26074
/proc/meminfo: memFree=26659004/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1331956 CPUtime=1782.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 383018 0 0 0 177902 332 0 0 25 0 1 0 26047744 1363922944 328529 4089446400 4194304 10345943 140734686218096 18446744073709551615 6702772 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 332989 328529 763 1502 0 331482 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1331956

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 26074
/proc/meminfo: memFree=26656896/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1334004 CPUtime=1785.54
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 383588 0 0 0 178221 333 0 0 25 0 1 0 26047744 1366020096 329099 4089446400 4194304 10345943 140734686218096 18446744073709551615 4469749 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 333501 329099 763 1502 0 331994 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1334004

[startup+1788.7 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 26074
/proc/meminfo: memFree=26654540/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1336624 CPUtime=1788.74
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 384127 0 0 0 178541 333 0 0 25 0 1 0 26047744 1368702976 329581 4089446400 4194304 10345943 140734686218096 18446744073709551615 7522040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26016/statm: 334156 329581 763 1502 0 332649 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1336624

[startup+1790.3 s]
/proc/loadavg: 2.03 2.01 1.95 2/174 26091
/proc/meminfo: memFree=27290072/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1340324 CPUtime=1790.34
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 384545 0 0 0 178701 333 0 0 18 0 1 0 26047744 1372491776 329997 4089446400 4194304 10345943 140734686218096 18446744073709551615 4723456 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26016/statm: 335081 329997 767 1502 0 333574 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1340324

[startup+1790.7 s]
/proc/loadavg: 1.94 1.99 1.95 2/174 26118
/proc/meminfo: memFree=27288584/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1340324 CPUtime=1790.74
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 384545 0 0 0 178741 333 0 0 18 0 1 0 26047744 1372491776 329997 4089446400 4194304 10345943 140734686218096 18446744073709551615 6325548 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26016/statm: 335081 329997 767 1502 0 333574 0
Current children cumulated CPU time (s) 1790.74
Current children cumulated vsize (KiB) 1340324

[startup+1790.9 s]
/proc/loadavg: 1.94 1.99 1.95 2/174 26118
/proc/meminfo: memFree=27288584/32951124 swapFree=67111528/67111528
[pid=26016] ppid=26014 vsize=1324952 CPUtime=1790.95
/proc/26016/stat : 26016 (pbscip.linux.x8) R 26014 26016 25519 0 -1 4202496 384545 0 0 0 178760 335 0 0 18 0 1 0 26047744 1356750848 260425 4089446400 4194304 10345943 140734686218096 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26016/statm: 331238 259913 767 1502 0 329731 0
Current children cumulated CPU time (s) 1790.95
Current children cumulated vsize (KiB) 1324952

Child status: 0
Real time (s): 1790.95
CPU time (s): 1791
CPU user time (s): 1787.61
CPU system time (s): 3.38948
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1340324

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

runsolver used 3.3055 second user time and 6.39603 second system time

The end

Launcher Data 

Begin job on node139 at 2010-07-08 10:39:12
IDJOB=2705200
IDBENCH=79319
IDSOLVER=1214
FILE ID=node139/2705200-1278578352
PBS_JOBID= 11240177
Free space on /tmp= 73676 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--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-2705200-1278578352/watcher-2705200-1278578352 -o /tmp/evaluation-result-2705200-1278578352/solver-2705200-1278578352 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705200-1278578352.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c12b7c7766d333e741516da691aff1b3
RANDOM SEED=764370404

node139.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.841
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.68
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.841
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.83
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.841
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.841
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.83
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.841
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.841
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.841
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.841
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28539828 kB
Buffers:        164700 kB
Cached:        3962360 kB
SwapCached:          0 kB
Active:        1258412 kB
Inactive:      2989548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28539828 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25724 kB
Writeback:           0 kB
AnonPages:      120436 kB
Mapped:          17516 kB
Slab:            99208 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   267644 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= 73676 MiB
End job on node139 at 2010-07-08 11:09:04