Trace number 2692809

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.22 1800.17

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MD5SUM426e5957e411ffe2f76bd332943fd07d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark467.838
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1816
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692809-1277904739.wbo>
0.02/0.03	c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.02/0.03	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.05	c presolving:
0.02/0.06	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.02/0.09	c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10	c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.11	c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.13	c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.14	c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.19	c    (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19	c presolving (7 rounds):
0.09/0.19	c  146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.19	c  1958 implications, 6 cliques
0.09/0.19	c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.19	c    1743 constraints of type <indicator>
0.09/0.19	c       6 constraints of type <setppc>
0.09/0.19	c    1743 constraints of type <linear>
0.09/0.19	c     854 constraints of type <logicor>
0.09/0.19	c transformed objective value is always integral (scale: 1)
0.09/0.19	c Presolving Time: 0.13
0.09/0.19	c - non default parameters ----------------------------------------------------------------------
0.09/0.19	c # SCIP version 1.2.1.2
0.09/0.19	c 
0.09/0.19	c # frequency for displaying node information lines
0.09/0.19	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19	c display/freq = 10000
0.09/0.19	c 
0.09/0.19	c # maximal time in seconds to run
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/time = 1799.97
0.09/0.19	c 
0.09/0.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19	c limits/memory = 3420
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify inequalities
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/linear/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # should presolving try to simplify knapsacks
0.09/0.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19	c 
0.09/0.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19	c separating/rapidlearning/freq = 0
0.09/0.19	c 
0.09/0.19	c -----------------------------------------------------------------------------------------------
0.09/0.19	c start solving
0.09/0.19	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c   0.1s|     1 |     0 |    27 |     - |  13M|   0 |  16 |3717 |4346 |3717 | 860 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	o 88690
0.19/0.21	c y 0.2s|     1 |     0 |    38 |     - |  13M|   0 |  16 |3717 |4346 |3717 | 860 |   0 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    71 |     - |  13M|   0 |  21 |3717 |4346 |3717 | 878 |  18 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   129 |     - |  14M|   0 |  33 |3717 |4346 |3717 | 904 |  44 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   148 |     - |  14M|   0 |  50 |3717 |4346 |3717 | 913 |  53 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   156 |     - |  14M|   0 |  47 |3717 |4346 |3717 | 918 |  58 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |   165 |     - |  14M|   0 |  41 |3717 |4346 |3717 | 921 |  61 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |   170 |     - |  14M|   0 |  43 |3717 |4346 |3717 | 922 |  62 |   0 |   0 | 0.000000e+00 | 8.869000e+04 |    Inf 
0.89/0.90	c   0.8s|     1 |     2 |   170 |     - |  14M|   0 |  43 |3717 |4346 |3717 | 922 |  62 |   0 |  33 | 0.000000e+00 | 8.869000e+04 |    Inf 
30.49/30.50	c  30.1s| 10000 |  9985 | 64999 |   6.5 |  39M|  85 |   0 |3717 |4359 |3717 | 972 |9088 |  25 |1757 | 0.000000e+00 | 8.869000e+04 |    Inf 
49.30/49.36	c  48.8s| 20000 | 19915 | 92298 |   4.6 |  57M|  89 |   0 |3717 |4434 |3717 | 934 |  15k| 108 |1791 | 0.000000e+00 | 8.869000e+04 |    Inf 
67.09/67.18	c  66.4s| 30000 | 29905 |111306 |   3.7 |  75M| 101 |   0 |3717 |4369 |3717 | 964 |  21k| 113 |1796 | 0.000000e+00 | 8.869000e+04 |    Inf 
84.79/84.88	c  83.9s| 40000 | 39893 |133556 |   3.3 |  93M| 101 |   6 |3717 |4371 |3717 | 960 |  26k| 119 |1798 | 0.000000e+00 | 8.869000e+04 |    Inf 
102.39/102.40	c   101s| 50000 | 49881 |154561 |   3.1 | 111M| 101 |   0 |3717 |4374 |3717 | 970 |  31k| 125 |1798 | 0.000000e+00 | 8.869000e+04 |    Inf 
119.50/119.51	c   118s| 60000 | 59875 |169011 |   2.8 | 129M| 107 |   0 |3717 |4375 |3717 | 934 |  35k| 130 |1800 | 0.000000e+00 | 8.869000e+04 |    Inf 
136.69/136.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
136.69/136.74	c   135s| 70000 | 69847 |185273 |   2.6 | 146M| 107 |   4 |3717 |4405 |3717 | 938 |  39k| 170 |1848 | 0.000000e+00 | 8.869000e+04 |    Inf 
154.90/154.90	c   153s| 80000 | 79831 |206510 |   2.6 | 164M| 107 |   0 |3717 |4385 |3717 | 943 |  45k| 181 |1935 | 0.000000e+00 | 8.869000e+04 |    Inf 
172.49/172.60	c   171s| 90000 | 89817 |227363 |   2.5 | 181M| 107 |   0 |3717 |4379 |3717 | 942 |  51k| 189 |2027 | 0.000000e+00 | 8.869000e+04 |    Inf 
190.09/190.17	c   188s|100000 | 99811 |246241 |   2.5 | 199M| 109 |   0 |3717 |4376 |3717 | 932 |  55k| 195 |2112 | 0.000000e+00 | 8.869000e+04 |    Inf 
207.70/207.77	c   206s|110000 |109803 |262154 |   2.4 | 216M| 109 |   0 |3717 |4380 |3717 | 947 |  60k| 203 |2206 | 0.000000e+00 | 8.869000e+04 |    Inf 
224.89/224.95	c   223s|120000 |119797 |278186 |   2.3 | 234M| 129 |   0 |3717 |4375 |3717 | 962 |  63k| 207 |2302 | 0.000000e+00 | 8.869000e+04 |    Inf 
241.09/241.18	c   239s|130000 |129789 |288248 |   2.2 | 250M| 129 |   0 |3717 |4377 |3717 | 983 |  66k| 213 |2375 | 0.000000e+00 | 8.869000e+04 |    Inf 
257.30/257.33	c   255s|140000 |139783 |301610 |   2.2 | 268M| 129 |   0 |3717 |4376 |3717 | 952 |  69k| 217 |2391 | 0.000000e+00 | 8.869000e+04 |    Inf 
274.10/274.19	c   271s|150000 |149777 |316108 |   2.1 | 285M| 129 |   0 |3717 |4377 |3717 | 960 |  73k| 222 |2484 | 0.000000e+00 | 8.869000e+04 |    Inf 
290.30/290.33	c   287s|160000 |159773 |327554 |   2.0 | 302M| 129 |   0 |3717 |4375 |3717 | 929 |  77k| 224 |2528 | 0.000000e+00 | 8.869000e+04 |    Inf 
293.90/293.95	o 913
293.90/293.95	c * 291s|162249 |149096 |329642 |   2.0 | 285M| 129 |   - |3717 |4375 |3717 | 947 |  77k| 224 |2540 | 0.000000e+00 | 9.130000e+02 |    Inf 
307.09/307.17	o 903
307.09/307.17	c * 304s|167666 |153901 |353569 |   2.1 | 295M| 129 |   - |3717 |4473 |3717 | 941 |  84k| 382 |2668 | 0.000000e+00 | 9.030000e+02 |    Inf 
312.60/312.62	c   309s|170000 |156218 |362762 |   2.1 | 299M| 129 |   0 |3717 |4466 |3717 | 937 |  86k| 428 |2673 | 0.000000e+00 | 9.030000e+02 |    Inf 
321.20/321.23	o 877
321.20/321.23	c * 318s|173674 |158258 |379114 |   2.2 | 304M| 129 |   - |3717 |4522 |3717 | 941 |  90k| 558 |2759 | 0.000000e+00 | 8.770000e+02 |    Inf 
322.00/322.08	o 850
322.00/322.08	c * 319s|173985 |156692 |381183 |   2.2 | 302M| 129 |   - |3717 |4520 |3717 | 958 |  90k| 571 |2761 | 0.000000e+00 | 8.500000e+02 |    Inf 
334.59/334.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
334.59/334.70	c   331s|180000 |162652 |398945 |   2.2 | 312M| 129 |   0 |3717 |4508 |3717 | 956 |  95k| 719 |2832 | 0.000000e+00 | 8.500000e+02 |    Inf 
338.50/338.52	o 848
338.50/338.52	c * 335s|181731 |164210 |405042 |   2.2 | 315M| 129 |   - |3717 |4510 |3717 | 962 |  97k| 761 |2832 | 0.000000e+00 | 8.480000e+02 |    Inf 
347.79/347.87	o 817
347.79/347.87	c * 344s|186210 |166160 |418223 |   2.2 | 319M| 129 |   - |3717 |4546 |3717 | 932 | 100k| 896 |2908 | 0.000000e+00 | 8.170000e+02 |    Inf 
351.40/351.48	o 799
351.40/351.48	c * 348s|187865 |166191 |424063 |   2.3 | 319M| 129 |   - |3717 |4553 |3717 | 948 | 101k| 957 |2909 | 0.000000e+00 | 7.990000e+02 |    Inf 
352.70/352.73	o 785
352.70/352.73	c * 349s|188503 |165586 |425386 |   2.3 | 318M| 129 |   - |3717 |4551 |3717 | 938 | 102k| 976 |2909 | 0.000000e+00 | 7.850000e+02 |    Inf 
356.50/356.51	c   353s|190000 |167038 |433580 |   2.3 | 321M| 129 |   0 |3717 |4571 |3717 | 942 | 104k|1074 |2949 | 0.000000e+00 | 7.850000e+02 |    Inf 
364.01/364.00	o 776
364.01/364.00	c * 360s|193678 |169774 |443371 |   2.3 | 326M| 129 |   - |3717 |4518 |3717 | 939 | 106k|1137 |2984 | 0.000000e+00 | 7.760000e+02 |    Inf 
364.11/364.12	o 693
364.11/364.12	c * 360s|193725 |160763 |443480 |   2.3 | 311M| 129 |   - |3717 |4526 |3717 | 944 | 106k|1147 |2984 | 0.000000e+00 | 6.930000e+02 |    Inf 
364.90/364.94	o 662
364.90/364.94	c * 361s|194043 |157193 |444877 |   2.3 | 305M| 129 |   - |3717 |4516 |3717 | 947 | 106k|1154 |2984 | 0.000000e+00 | 6.620000e+02 |    Inf 
370.40/370.42	o 636
370.40/370.42	c * 366s|196273 |156015 |456539 |   2.3 | 304M| 129 |   - |3717 |4666 |3717 | 937 | 109k|1380 |3027 | 0.000000e+00 | 6.360000e+02 |    Inf 
379.70/379.74	o 624
379.70/379.74	c * 376s|199571 |157274 |478595 |   2.4 | 308M| 129 |   - |3717 |4935 |3717 | 930 | 114k|1969 |3106 | 0.000000e+00 | 6.240000e+02 |    Inf 
380.80/380.87	c   377s|200000 |157693 |480666 |   2.4 | 308M| 129 |   0 |3717 |4923 |3717 | 934 | 115k|1983 |3117 | 0.000000e+00 | 6.240000e+02 |    Inf 
381.00/381.00	o 619
381.00/381.00	c * 377s|200054 |157029 |480840 |   2.4 | 307M| 129 |   - |3717 |4922 |3717 | 941 | 115k|1983 |3118 | 0.000000e+00 | 6.190000e+02 |    Inf 
382.60/382.66	o 597
382.60/382.66	c * 378s|200692 |154369 |483638 |   2.4 | 303M| 129 |   - |3717 |4896 |3717 | 937 | 116k|2064 |3128 | 0.000000e+00 | 5.970000e+02 |    Inf 
385.01/385.06	o 584
385.01/385.06	c * 381s|201660 |153106 |487717 |   2.4 | 301M| 129 |   - |3717 |4857 |3717 | 952 | 117k|2172 |3129 | 0.000000e+00 | 5.840000e+02 |    Inf 
386.70/386.71	o 571
386.70/386.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
386.70/386.71	c * 382s|202327 |151460 |490845 |   2.4 | 298M| 129 |   - |3717 |4844 |3717 | 942 | 117k|2285 |3130 | 0.000000e+00 | 5.710000e+02 |    Inf 
387.70/387.73	o 563
387.70/387.73	c * 383s|202690 |150471 |492746 |   2.4 | 297M| 129 |   - |3717 |4838 |3717 | 956 | 118k|2314 |3130 | 0.000000e+00 | 5.630000e+02 |    Inf 
392.00/392.09	o 554
392.00/392.09	c * 388s|204316 |150438 |501371 |   2.5 | 297M| 129 |   - |3717 |4751 |3717 | 966 | 120k|2422 |3185 | 0.000000e+00 | 5.540000e+02 |    Inf 
393.11/393.10	o 527
393.11/393.10	c * 389s|204739 |145897 |503300 |   2.5 | 289M| 129 |   - |3717 |4740 |3717 | 931 | 121k|2436 |3189 | 0.000000e+00 | 5.270000e+02 |    Inf 
401.10/401.10	o 496
401.10/401.10	c * 397s|207839 |142560 |519661 |   2.5 | 284M| 129 |   - |3717 |4835 |3717 | 940 | 125k|2830 |3207 | 0.000000e+00 | 4.960000e+02 |    Inf 
402.61/402.65	o 492
402.61/402.65	c * 398s|208368 |142134 |522621 |   2.5 | 284M| 129 |   - |3717 |4824 |3717 | 947 | 126k|2882 |3224 | 0.000000e+00 | 4.920000e+02 |    Inf 
402.70/402.71	o 489
402.70/402.71	c * 398s|208385 |141621 |522721 |   2.5 | 283M| 129 |   - |3717 |4828 |3717 | 942 | 126k|2887 |3224 | 0.000000e+00 | 4.890000e+02 |    Inf 
402.70/402.72	o 485
402.70/402.72	c * 398s|208386 |140770 |522721 |   2.5 | 282M| 129 |   - |3717 |4828 |3717 | 942 | 126k|2887 |3224 | 0.000000e+00 | 4.850000e+02 |    Inf 
406.70/406.76	o 479
406.70/406.76	c * 402s|209788 |140875 |531755 |   2.5 | 283M| 129 |   - |3717 |4898 |3717 | 942 | 128k|3161 |3276 | 0.000000e+00 | 4.790000e+02 |    Inf 
406.70/406.77	o 472
406.70/406.77	c * 402s|209789 |139324 |531755 |   2.5 | 280M| 129 |   - |3717 |4898 |3717 | 942 | 128k|3161 |3276 | 0.000000e+00 | 4.720000e+02 |    Inf 
407.10/407.18	o 461
407.10/407.18	c * 403s|209936 |136972 |532458 |   2.5 | 276M| 129 |   - |3717 |4905 |3717 | 937 | 128k|3186 |3276 | 0.000000e+00 | 4.610000e+02 |    Inf 
407.10/407.19	o 454
407.10/407.19	c * 403s|209937 |135411 |532458 |   2.5 | 273M| 129 |   - |3717 |4905 |3717 | 937 | 128k|3186 |3276 | 0.000000e+00 | 4.540000e+02 |    Inf 
407.30/407.35	c   403s|210000 |135468 |532724 |   2.5 | 273M| 129 |   7 |3717 |4908 |3717 | 942 | 128k|3196 |3276 | 0.000000e+00 | 4.540000e+02 |    Inf 
407.30/407.39	o 453
407.30/407.39	c * 403s|210012 |135224 |532795 |   2.5 | 273M| 129 |   - |3717 |4914 |3717 | 938 | 129k|3203 |3276 | 0.000000e+00 | 4.530000e+02 |    Inf 
407.30/407.40	o 446
407.30/407.40	c * 403s|210013 |133580 |532795 |   2.5 | 270M| 129 |   - |3717 |4914 |3717 | 938 | 129k|3203 |3276 | 0.000000e+00 | 4.460000e+02 |    Inf 
409.70/409.75	o 440
409.70/409.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
409.70/409.75	c * 405s|210917 |132996 |536712 |   2.5 | 269M| 129 |   - |3717 |4917 |3717 | 938 | 130k|3329 |3277 | 0.000000e+00 | 4.400000e+02 |    Inf 
409.80/409.86	o 427
409.80/409.86	c * 405s|210946 |129794 |536816 |   2.5 | 263M| 129 |   - |3717 |4912 |3717 | 937 | 130k|3329 |3277 | 0.000000e+00 | 4.270000e+02 |    Inf 
409.90/409.94	o 422
409.90/409.94	c * 405s|210969 |128667 |536932 |   2.5 | 261M| 129 |   - |3717 |4910 |3717 | 937 | 130k|3329 |3277 | 0.000000e+00 | 4.220000e+02 |    Inf 
410.10/410.15	o 419
410.10/410.15	c * 406s|211032 |128003 |537191 |   2.5 | 260M| 129 |   - |3717 |4901 |3717 | 936 | 130k|3337 |3277 | 0.000000e+00 | 4.190000e+02 |    Inf 
412.10/412.13	o 417
412.10/412.13	c * 408s|211579 |127857 |544659 |   2.6 | 260M| 129 |   - |3717 |5048 |3717 | 949 | 130k|3596 |3288 | 0.000000e+00 | 4.170000e+02 |    Inf 
412.70/412.79	o 414
412.70/412.79	c * 408s|211819 |127285 |545756 |   2.6 | 260M| 129 |   - |3717 |5071 |3717 | 949 | 131k|3631 |3300 | 0.000000e+00 | 4.140000e+02 |    Inf 
412.80/412.81	o 410
412.80/412.81	c * 408s|211820 |126223 |545757 |   2.6 | 258M| 129 |   - |3717 |5070 |3717 | 949 | 131k|3631 |3300 | 0.000000e+00 | 4.100000e+02 |    Inf 
415.71/415.74	o 390
415.71/415.74	c * 411s|212883 |121852 |550136 |   2.6 | 250M| 129 |   - |3717 |5140 |3717 | 948 | 132k|3855 |3327 | 0.000000e+00 | 3.900000e+02 |    Inf 
418.50/418.51	o 382
418.50/418.51	c * 414s|213811 |120446 |556142 |   2.6 | 248M| 129 |   - |3717 |5229 |3717 | 952 | 134k|4144 |3339 | 0.000000e+00 | 3.820000e+02 |    Inf 
418.50/418.52	o 378
418.50/418.52	c * 414s|213812 |119311 |556142 |   2.6 | 246M| 129 |   - |3717 |5229 |3717 | 952 | 134k|4144 |3339 | 0.000000e+00 | 3.780000e+02 |    Inf 
419.01/419.02	o 373
419.01/419.02	c * 414s|213978 |118175 |557456 |   2.6 | 244M| 129 |   - |3717 |5306 |3717 | 959 | 134k|4253 |3339 | 0.000000e+00 | 3.730000e+02 |    Inf 
419.60/419.69	o 364
419.60/419.69	c * 415s|214211 |115853 |558798 |   2.6 | 240M| 129 |   - |3717 |5347 |3717 | 967 | 135k|4327 |3339 | 0.000000e+00 | 3.640000e+02 |    Inf 
419.70/419.70	o 355
419.70/419.70	c * 415s|214212 |113281 |558798 |   2.6 | 235M| 129 |   - |3717 |5347 |3717 | 967 | 135k|4327 |3339 | 0.000000e+00 | 3.550000e+02 |    Inf 
419.90/419.99	o 334
419.90/419.99	c * 415s|214305 |107530 |559355 |   2.6 | 224M| 129 |   - |3717 |5345 |3717 | 950 | 135k|4336 |3339 | 0.000000e+00 | 3.340000e+02 |    Inf 
421.31/421.36	o 308
421.31/421.36	c * 417s|214744 |100083 |562130 |   2.6 | 211M| 129 |   - |3717 |5386 |3717 | 958 | 136k|4493 |3339 | 0.000000e+00 | 3.080000e+02 |    Inf 
422.00/422.04	o 305
422.00/422.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
422.00/422.04	c * 417s|214928 | 99468 |564130 |   2.6 | 210M| 129 |   - |3717 |5345 |3717 | 937 | 136k|4545 |3340 | 0.000000e+00 | 3.050000e+02 |    Inf 
422.70/422.75	o 304
422.70/422.75	c * 418s|215130 | 99275 |566049 |   2.6 | 210M| 129 |   - |3717 |5331 |3717 | 943 | 137k|4619 |3340 | 0.000000e+00 | 3.040000e+02 |    Inf 
425.40/425.44	o 296
425.40/425.44	c * 421s|215960 | 97560 |571797 |   2.6 | 209M| 129 |   - |3717 |5349 |3717 | 951 | 138k|5096 |3380 | 0.000000e+00 | 2.960000e+02 |    Inf 
425.61/425.61	o 294
425.61/425.61	c * 421s|215995 | 97069 |572509 |   2.6 | 208M| 129 |   - |3717 |5354 |3717 | 951 | 138k|5118 |3384 | 0.000000e+00 | 2.940000e+02 |    Inf 
425.61/425.62	o 290
425.61/425.62	c * 421s|215996 | 95749 |572510 |   2.6 | 205M| 129 |   - |3717 |5354 |3717 | 951 | 138k|5118 |3384 | 0.000000e+00 | 2.900000e+02 |    Inf 
425.80/425.83	o 284
425.80/425.83	c * 421s|216050 | 93924 |573011 |   2.7 | 202M| 129 |   - |3717 |5364 |3717 | 919 | 138k|5161 |3384 | 0.000000e+00 | 2.840000e+02 |    Inf 
426.70/426.74	o 270
426.70/426.74	c * 422s|216333 | 89785 |574927 |   2.7 | 195M| 129 |   - |3717 |5437 |3717 | 937 | 139k|5330 |3393 | 0.000000e+00 | 2.700000e+02 |    Inf 
426.70/426.77	o 265
426.70/426.77	c * 422s|216335 | 88203 |574946 |   2.7 | 192M| 129 |   - |3717 |5437 |3717 | 940 | 139k|5330 |3393 | 0.000000e+00 | 2.650000e+02 |    Inf 
426.70/426.79	o 246
426.70/426.79	c * 422s|216336 | 81920 |574951 |   2.7 | 180M| 129 |   - |3717 |5437 |3717 | 941 | 139k|5330 |3393 | 0.000000e+00 | 2.460000e+02 |    Inf 
427.50/427.51	o 243
427.50/427.51	c * 423s|216568 | 81096 |576311 |   2.7 | 179M| 129 |   - |3717 |5389 |3717 | 930 | 139k|5395 |3397 | 0.000000e+00 | 2.430000e+02 |    Inf 
427.50/427.52	o 240
427.50/427.52	c * 423s|216569 | 79750 |576311 |   2.7 | 176M| 129 |   - |3717 |5389 |3717 | 930 | 139k|5395 |3397 | 0.000000e+00 | 2.400000e+02 |    Inf 
428.00/428.06	o 233
428.00/428.06	c * 423s|216766 | 77670 |577022 |   2.7 | 172M| 129 |   - |3717 |5365 |3717 | 920 | 139k|5402 |3397 | 0.000000e+00 | 2.330000e+02 |    Inf 
428.00/428.07	o 230
428.00/428.07	c * 423s|216767 | 76428 |577023 |   2.7 | 170M| 129 |   - |3717 |5365 |3717 | 920 | 139k|5402 |3397 | 0.000000e+00 | 2.300000e+02 |    Inf 
429.10/429.15	o 227
429.10/429.15	c * 424s|217052 | 75366 |579251 |   2.7 | 169M| 129 |   - |3717 |5367 |3717 | 923 | 140k|5607 |3399 | 0.000000e+00 | 2.270000e+02 |    Inf 
429.10/429.16	o 225
429.10/429.16	c * 424s|217053 | 74807 |579251 |   2.7 | 168M| 129 |   - |3717 |5367 |3717 | 923 | 140k|5607 |3399 | 0.000000e+00 | 2.250000e+02 |    Inf 
429.71/429.78	o 224
429.71/429.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
429.71/429.78	c * 425s|217223 | 74527 |580512 |   2.7 | 167M| 129 |   - |3717 |5351 |3717 | 942 | 140k|5679 |3400 | 0.000000e+00 | 2.240000e+02 |    Inf 
430.51/430.59	o 220
430.51/430.59	c * 426s|217447 | 72821 |582205 |   2.7 | 164M| 129 |   - |3717 |5368 |3717 | 936 | 140k|5849 |3404 | 0.000000e+00 | 2.200000e+02 |    Inf 
430.90/430.94	o 204
430.90/430.94	c * 426s|217549 | 67201 |582783 |   2.7 | 154M| 129 |   - |3717 |5338 |3717 | 953 | 141k|5900 |3404 | 0.000000e+00 | 2.040000e+02 |    Inf 
432.10/432.16	o 203
432.10/432.16	c * 427s|217941 | 66994 |585051 |   2.7 | 155M| 129 |   - |3717 |5485 |3717 | 932 | 141k|6226 |3404 | 0.000000e+00 | 2.030000e+02 |    Inf 
432.10/432.17	o 196
432.10/432.17	c * 427s|217942 | 63673 |585051 |   2.7 | 149M| 129 |   - |3717 |5485 |3717 | 932 | 141k|6226 |3404 | 0.000000e+00 | 1.960000e+02 |    Inf 
432.40/432.40	o 193
432.40/432.40	c * 428s|218011 | 62449 |585597 |   2.7 | 147M| 129 |   - |3717 |5468 |3717 | 930 | 141k|6252 |3404 | 0.000000e+00 | 1.930000e+02 |    Inf 
432.50/432.52	o 187
432.50/432.52	c * 428s|218039 | 60009 |585691 |   2.7 | 143M| 129 |   - |3717 |5477 |3717 | 932 | 141k|6265 |3404 | 0.000000e+00 | 1.870000e+02 |    Inf 
433.41/433.42	o 169
433.41/433.42	c * 429s|218289 | 52612 |587209 |   2.7 | 129M| 129 |   - |3717 |5374 |3717 | 920 | 142k|6416 |3404 | 0.000000e+00 | 1.690000e+02 |    Inf 
434.00/434.00	o 167
434.00/434.00	c * 429s|218469 | 52083 |588171 |   2.7 | 128M| 129 |   - |3717 |5400 |3717 | 945 | 142k|6536 |3404 | 0.000000e+00 | 1.670000e+02 |    Inf 
434.10/434.11	o 159
434.10/434.11	c * 429s|218499 | 48069 |588299 |   2.7 | 121M| 129 |   - |3717 |5409 |3717 | 942 | 142k|6560 |3404 | 0.000000e+00 | 1.590000e+02 |    Inf 
434.10/434.11	o 158
434.10/434.11	c * 429s|218500 | 47689 |588299 |   2.7 | 120M| 129 |   - |3717 |5409 |3717 | 942 | 142k|6560 |3404 | 0.000000e+00 | 1.580000e+02 |    Inf 
434.41/434.44	o 157
434.41/434.44	c * 430s|218595 | 47512 |589006 |   2.7 | 120M| 129 |   - |3717 |5418 |3717 | 948 | 142k|6634 |3404 | 0.000000e+00 | 1.570000e+02 |    Inf 
434.51/434.52	o 155
434.51/434.52	c * 430s|218610 | 46311 |589075 |   2.7 | 117M| 129 |   - |3717 |5411 |3717 | 921 | 142k|6638 |3404 | 0.000000e+00 | 1.550000e+02 |    Inf 
435.00/435.04	o 144
435.00/435.04	c * 430s|218733 | 41938 |590116 |   2.7 | 109M| 129 |   - |3717 |5374 |3717 | 921 | 142k|6737 |3404 | 0.000000e+00 | 1.440000e+02 |    Inf 
436.20/436.24	o 136
436.20/436.24	c * 431s|219071 | 37806 |591956 |   2.7 | 102M| 129 |   - |3717 |5401 |3717 | 933 | 142k|7013 |3413 | 0.000000e+00 | 1.360000e+02 |    Inf 
436.20/436.28	o 127
436.20/436.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
436.20/436.28	c * 431s|219081 | 34125 |591977 |   2.7 |  95M| 129 |   - |3717 |5404 |3717 | 921 | 142k|7016 |3413 | 0.000000e+00 | 1.270000e+02 |    Inf 
436.30/436.30	o 124
436.30/436.30	c * 431s|219085 | 33074 |591977 |   2.7 |  92M| 129 |   - |3717 |5404 |3717 | 921 | 142k|7016 |3413 | 0.000000e+00 | 1.240000e+02 |    Inf 
436.30/436.31	o 115
436.30/436.31	c * 431s|219086 | 29934 |591977 |   2.7 |  86M| 129 |   - |3717 |5404 |3717 | 921 | 142k|7016 |3413 | 0.000000e+00 | 1.150000e+02 |    Inf 
436.40/436.42	o 113
436.40/436.42	c * 432s|219120 | 29540 |592114 |   2.7 |  85M| 129 |   - |3717 |5414 |3717 | 940 | 142k|7053 |3416 | 0.000000e+00 | 1.130000e+02 |    Inf 
436.40/436.45	o 96
436.40/436.45	c * 432s|219128 | 24294 |592115 |   2.7 |  75M| 129 |   - |3717 |5414 |3717 | 940 | 142k|7053 |3416 | 0.000000e+00 | 9.600000e+01 |    Inf 
436.40/436.46	o 93
436.40/436.46	c * 432s|219129 | 23504 |592115 |   2.7 |  73M| 129 |   - |3717 |5414 |3717 | 940 | 142k|7053 |3416 | 0.000000e+00 | 9.300000e+01 |    Inf 
436.50/436.52	o 78
436.50/436.52	c * 432s|219141 | 19502 |592194 |   2.7 |  65M| 129 |   - |3717 |5245 |3717 | 943 | 142k|7057 |3416 | 0.000000e+00 | 7.800000e+01 |    Inf 
436.50/436.52	o 75
436.50/436.52	c * 432s|219142 | 18528 |592194 |   2.7 |  62M| 129 |   - |3717 |5245 |3717 | 943 | 142k|7057 |3416 | 0.000000e+00 | 7.500000e+01 |    Inf 
436.50/436.59	o 74
436.50/436.59	c * 432s|219163 | 16933 |592228 |   2.7 |  59M| 129 |   - |3717 |4968 |3717 | 920 | 142k|7083 |3416 | 0.000000e+00 | 7.400000e+01 |    Inf 
436.60/436.62	o 71
436.60/436.62	c * 432s|219164 |  7842 |592228 |   2.7 |  42M| 129 |   - |3717 |4968 |3717 | 920 | 142k|7083 |3416 | 0.000000e+00 | 7.100000e+01 |    Inf 
438.50/438.57	c   434s|220000 |  7788 |594713 |   2.7 |  43M| 129 |   - |3717 |5147 |   0 |   0 | 142k|8070 |3439 | 0.000000e+00 | 7.100000e+01 |    Inf 
439.50/439.52	o 61
439.50/439.52	c * 435s|220398 |  6873 |596022 |   2.7 |  42M| 129 |   - |3717 |5077 |3717 | 937 | 143k|8477 |3447 | 0.000000e+00 | 6.100000e+01 |    Inf 
439.50/439.53	o 40
439.50/439.53	c * 435s|220399 |  5603 |596022 |   2.7 |  38M| 129 |   - |3717 |5077 |3717 | 937 | 143k|8477 |3447 | 0.000000e+00 | 4.000000e+01 |    Inf 
446.20/446.23	o 36
446.20/446.23	c * 441s|223127 |  4615 |610518 |   2.7 |  39M| 129 |   - |3717 |5433 |3717 | 930 | 143k|  12k|3458 | 0.000000e+00 | 3.600000e+01 |    Inf 
449.10/449.17	o 35
449.10/449.17	c * 444s|224628 |  4595 |614365 |   2.7 |  40M| 129 |   - |3717 |6403 |3717 | 931 | 143k|  14k|3458 | 0.000000e+00 | 3.500000e+01 |    Inf 
450.71/450.77	o 34
450.71/450.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
450.71/450.77	c * 446s|225286 |  4215 |617185 |   2.7 |  39M| 129 |   - |3717 |5981 |3717 | 919 | 143k|  15k|3480 | 0.000000e+00 | 3.400000e+01 |    Inf 
460.00/460.05	c   455s|230000 |  3869 |633916 |   2.8 |  40M| 129 |  10 |3717 |7244 |3717 | 919 | 144k|  21k|3498 | 0.000000e+00 | 3.400000e+01 |    Inf 
460.00/460.06	o 32
460.00/460.06	c * 455s|230002 |  3829 |633921 |   2.8 |  40M| 129 |   - |3717 |7247 |3717 | 919 | 144k|  21k|3498 | 0.000000e+00 | 3.200000e+01 |    Inf 
460.60/460.63	o 28
460.60/460.63	c * 455s|230298 |  3650 |634658 |   2.8 |  39M| 129 |   - |3717 |7491 |3717 | 919 | 144k|  21k|3498 | 0.000000e+00 | 2.800000e+01 |    Inf 
461.30/461.39	o 27
461.30/461.39	c * 456s|230662 |  3637 |635909 |   2.8 |  39M| 129 |   - |3717 |7355 |3717 | 927 | 144k|  22k|3498 | 0.000000e+00 | 2.700000e+01 |    Inf 
461.50/461.55	o 26
461.50/461.55	c * 456s|230747 |  3637 |636158 |   2.8 |  39M| 129 |   - |3717 |7349 |3717 | 919 | 144k|  22k|3498 | 0.000000e+00 | 2.600000e+01 |    Inf 
464.91/464.94	o 20
464.91/464.94	c * 460s|232412 |  3027 |642375 |   2.8 |  37M| 129 |   - |3717 |6668 |3717 | 919 | 144k|  24k|3526 | 0.000000e+00 | 2.000000e+01 |    Inf 
473.70/473.73	o 19
473.70/473.73	c * 468s|237039 |  2616 |661688 |   2.8 |  36M| 129 |   - |3717 |8565 |3717 | 925 | 145k|  31k|3545 | 0.000000e+00 | 1.900000e+01 |    Inf 
473.70/473.73	o 12
473.70/473.73	c * 468s|237040 |  2373 |661691 |   2.8 |  35M| 129 |   - |3717 |8565 |3717 | 925 | 145k|  31k|3545 | 0.000000e+00 | 1.200000e+01 |    Inf 
474.40/474.45	o 11
474.40/474.45	c * 469s|237406 |  2375 |663020 |   2.8 |  35M| 129 |   - |3717 |8435 |3717 | 919 | 145k|  31k|3553 | 0.000000e+00 | 1.100000e+01 |    Inf 
474.91/474.94	o 6
474.91/474.94	c * 469s|237644 |  2367 |663876 |   2.8 |  34M| 129 |   - |3717 |8371 |3717 | 919 | 145k|  31k|3556 | 0.000000e+00 | 6.000000e+00 |    Inf 
479.10/479.16	c   473s|240000 |  2317 |673365 |   2.8 |  34M| 129 |  17 |3717 |8598 |3717 | 927 | 145k|  34k|3566 | 0.000000e+00 | 6.000000e+00 |    Inf 
497.40/497.41	c   491s|250000 |  2145 |717889 |   2.9 |  35M| 129 |   - |3717 |  11k|   0 |   0 | 147k|  48k|3649 | 0.000000e+00 | 6.000000e+00 |    Inf 
497.40/497.42	o 4
497.40/497.42	c * 491s|250007 |  2099 |717925 |   2.9 |  35M| 129 |   - |3717 |  11k|3717 | 919 | 147k|  48k|3649 | 0.000000e+00 | 4.000000e+00 |    Inf 
516.01/516.02	c   510s|260000 |  2078 |760672 |   2.9 |  37M| 129 |   - |3717 |  15k|   0 |   0 | 148k|  61k|3713 | 0.000000e+00 | 4.000000e+00 |    Inf 
535.41/535.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
535.41/535.40	c   529s|270000 |  2124 |803945 |   3.0 |  38M| 129 |  13 |3717 |  16k|3717 | 919 | 149k|  74k|3804 | 0.000000e+00 | 4.000000e+00 |    Inf 
554.50/554.56	c   548s|280000 |  2189 |839608 |   3.0 |  40M| 129 |  17 |3717 |  20k|3717 | 919 | 151k|  87k|3853 | 0.000000e+00 | 4.000000e+00 |    Inf 
575.71/575.76	c   569s|290000 |  2288 |874706 |   3.0 |  42M| 129 |  15 |3717 |  23k|3717 | 919 | 152k| 101k|3921 | 0.000000e+00 | 4.000000e+00 |    Inf 
596.81/596.83	c   590s|300000 |  2291 |909397 |   3.0 |  43M| 129 |   - |3717 |  25k|   0 |   0 | 153k| 114k|3980 | 0.000000e+00 | 4.000000e+00 |    Inf 
609.01/609.06	o 3
609.01/609.06	c * 602s|305629 |  2203 |930151 |   3.0 |  44M| 129 |   - |3717 |  26k|3717 | 924 | 154k| 122k|4022 | 0.000000e+00 | 3.000000e+00 |    Inf 
618.41/618.45	o 2
618.41/618.45	c * 611s|309824 |  2189 |945464 |   3.1 |  44M| 129 |   - |3717 |  27k|3717 | 919 | 154k| 127k|4029 | 0.000000e+00 | 2.000000e+00 |    Inf 
619.01/619.01	c   611s|310000 |  2190 |946381 |   3.1 |  44M| 129 |   1 |3717 |  26k|3717 | 919 | 154k| 128k|4036 | 0.000000e+00 | 2.000000e+00 |    Inf 
642.31/642.40	c   635s|320000 |  2196 |983070 |   3.1 |  45M| 129 |  28 |3717 |  30k|3717 | 925 | 156k| 141k|4105 | 0.000000e+00 | 2.000000e+00 |    Inf 
667.61/667.69	c   660s|330000 |  2207 |  1023k|   3.1 |  47M| 129 |   - |3717 |  33k|   0 |   0 | 157k| 155k|4158 | 0.000000e+00 | 2.000000e+00 |    Inf 
695.91/695.92	c   687s|340000 |  2207 |  1065k|   3.1 |  48M| 129 |  15 |3717 |  35k|3717 | 919 | 158k| 168k|4249 | 0.000000e+00 | 2.000000e+00 |    Inf 
724.51/724.57	c   716s|350000 |  2236 |  1105k|   3.2 |  50M| 129 |   - |3717 |  40k|   0 |   0 | 159k| 182k|4302 | 0.000000e+00 | 2.000000e+00 |    Inf 
753.42/753.43	c   744s|360000 |  2225 |  1144k|   3.2 |  50M| 129 |  11 |3717 |  38k|3717 | 919 | 161k| 195k|4359 | 0.000000e+00 | 2.000000e+00 |    Inf 
783.91/783.95	c   775s|370000 |  2260 |  1190k|   3.2 |  50M| 129 |   - |3717 |  38k|   0 |   0 | 162k| 209k|4467 | 0.000000e+00 | 2.000000e+00 |    Inf 
811.41/811.44	c   802s|380000 |  2273 |  1227k|   3.2 |  51M| 129 |   - |3717 |  39k|   0 |   0 | 163k| 222k|4526 | 0.000000e+00 | 2.000000e+00 |    Inf 
839.51/839.50	c   830s|390000 |  2280 |  1262k|   3.2 |  53M| 129 |  13 |3717 |  44k|3717 | 919 | 165k| 235k|4588 | 0.000000e+00 | 2.000000e+00 |    Inf 
868.92/868.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
868.92/868.96	c   859s|400000 |  2261 |  1296k|   3.2 |  54M| 129 |   5 |3717 |  46k|3717 | 919 | 167k| 249k|4630 | 0.000000e+00 | 2.000000e+00 |    Inf 
899.61/899.67	c   889s|410000 |  2270 |  1333k|   3.3 |  54M| 129 |   1 |3717 |  45k|3717 | 919 | 168k| 262k|4720 | 0.000000e+00 | 2.000000e+00 |    Inf 
929.62/929.63	c   919s|420000 |  2374 |  1368k|   3.3 |  56M| 129 |   - |3717 |  49k|   0 |   0 | 169k| 275k|4760 | 0.000000e+00 | 2.000000e+00 |    Inf 
961.61/961.64	c   951s|430000 |  2347 |  1405k|   3.3 |  56M| 129 |   - |3717 |  47k|   0 |   0 | 171k| 289k|4808 | 0.000000e+00 | 2.000000e+00 |    Inf 
993.02/993.01	c   982s|440000 |  2368 |  1442k|   3.3 |  55M| 129 |   - |3717 |  44k|   0 |   0 | 173k| 302k|4866 | 0.000000e+00 | 2.000000e+00 |    Inf 
1024.52/1024.51	c  1013s|450000 |  2375 |  1482k|   3.3 |  56M| 129 |   - |3717 |  46k|   0 |   0 | 174k| 316k|4944 | 0.000000e+00 | 2.000000e+00 |    Inf 
1055.82/1055.80	c  1044s|460000 |  2405 |  1519k|   3.3 |  57M| 129 |  10 |3717 |  49k|3717 | 919 | 176k| 329k|5005 | 0.000000e+00 | 2.000000e+00 |    Inf 
1087.72/1087.79	c  1076s|470000 |  2414 |  1552k|   3.3 |  59M| 129 |   1 |3717 |  54k|3717 | 919 | 177k| 343k|5051 | 0.000000e+00 | 2.000000e+00 |    Inf 
1122.52/1122.55	c  1110s|480000 |  2421 |  1589k|   3.3 |  57M| 129 |   - |3717 |  47k|   0 |   0 | 178k| 357k|5106 | 0.000000e+00 | 2.000000e+00 |    Inf 
1156.72/1156.71	c  1144s|490000 |  2412 |  1632k|   3.3 |  59M| 129 |   - |3717 |  50k|3717 | 929 | 180k| 371k|5184 | 0.000000e+00 | 2.000000e+00 |    Inf 
1186.42/1186.45	c  1174s|500000 |  2430 |  1667k|   3.3 |  61M| 129 |  18 |3717 |  54k|3717 | 919 | 181k| 385k|5233 | 0.000000e+00 | 2.000000e+00 |    Inf 
1216.82/1216.85	c  1204s|510000 |  2421 |  1706k|   3.3 |  58M| 129 |  16 |3717 |  47k|3717 | 919 | 183k| 399k|5289 | 0.000000e+00 | 2.000000e+00 |    Inf 
1234.32/1234.34	o 1
1234.32/1234.34	c *1221s|515567 |  2344 |  1729k|   3.4 |  56M| 129 |   - |3717 |  46k|3717 | 919 | 184k| 407k|5327 | 0.000000e+00 | 1.000000e+00 |    Inf 
1248.43/1248.47	c  1235s|520000 |  2351 |  1747k|   3.4 |  57M| 129 |   - |3717 |  46k|   0 |   0 | 184k| 413k|5363 | 0.000000e+00 | 1.000000e+00 |    Inf 
1279.92/1279.99	c  1266s|530000 |  2373 |  1787k|   3.4 |  58M| 129 |   1 |3717 |  48k|3717 | 919 | 186k| 426k|5419 | 0.000000e+00 | 1.000000e+00 |    Inf 
1312.82/1312.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1312.82/1312.84	c  1299s|540000 |  2408 |  1828k|   3.4 |  59M| 129 |   1 |3717 |  51k|3717 | 927 | 187k| 441k|5482 | 0.000000e+00 | 1.000000e+00 |    Inf 
1347.13/1347.16	c  1333s|550000 |  2446 |  1867k|   3.4 |  62M| 129 |   - |3717 |  57k|   0 |   0 | 188k| 455k|5542 | 0.000000e+00 | 1.000000e+00 |    Inf 
1385.73/1385.72	c  1371s|560000 |  2474 |  1905k|   3.4 |  64M| 129 |   - |3717 |  61k|   0 |   0 | 189k| 469k|5595 | 0.000000e+00 | 1.000000e+00 |    Inf 
1424.73/1424.73	c  1410s|570000 |  2484 |  1943k|   3.4 |  64M| 129 |   5 |3717 |  61k|3717 | 919 | 190k| 484k|5649 | 0.000000e+00 | 1.000000e+00 |    Inf 
1461.53/1461.52	c  1447s|580000 |  2470 |  1981k|   3.4 |  65M| 129 |  22 |3717 |  62k|3717 | 919 | 191k| 498k|5703 | 0.000000e+00 | 1.000000e+00 |    Inf 
1497.03/1497.01	c  1482s|590000 |  2432 |  2019k|   3.4 |  62M| 129 |   1 |3717 |  55k|3717 | 919 | 192k| 513k|5756 | 0.000000e+00 | 1.000000e+00 |    Inf 
1530.04/1530.07	c  1515s|600000 |  2358 |  2057k|   3.4 |  58M| 129 |   - |3717 |  45k|   0 |   0 | 193k| 527k|5805 | 0.000000e+00 | 1.000000e+00 |    Inf 
1562.34/1562.36	c  1547s|610000 |  2351 |  2095k|   3.4 |  60M| 129 |  17 |3717 |  51k|3717 | 919 | 194k| 541k|5851 | 0.000000e+00 | 1.000000e+00 |    Inf 
1593.53/1593.57	c  1578s|620000 |  2382 |  2130k|   3.4 |  60M| 129 |   - |3717 |  51k|   0 |   0 | 195k| 555k|5908 | 0.000000e+00 | 1.000000e+00 |    Inf 
1625.74/1625.72	c  1610s|630000 |  2361 |  2165k|   3.4 |  60M| 129 |  11 |3717 |  51k|3717 | 919 | 196k| 568k|5965 | 0.000000e+00 | 1.000000e+00 |    Inf 
1658.84/1658.81	c  1642s|640000 |  2353 |  2201k|   3.4 |  62M| 129 |   1 |3717 |  55k|3717 | 919 | 198k| 582k|6010 | 0.000000e+00 | 1.000000e+00 |    Inf 
1693.54/1693.59	c  1677s|650000 |  2312 |  2235k|   3.4 |  61M| 129 |   1 |3717 |  53k|3717 | 919 | 199k| 596k|6058 | 0.000000e+00 | 1.000000e+00 |    Inf 
1729.14/1729.19	c  1712s|660000 |  2289 |  2274k|   3.4 |  61M| 129 |  11 |3717 |  53k|3717 | 919 | 200k| 610k|6100 | 0.000000e+00 | 1.000000e+00 |    Inf 
1760.54/1760.59	c  1744s|670000 |  2279 |  2309k|   3.4 |  61M| 129 |   - |3717 |  54k|   0 |   0 | 201k| 623k|6148 | 0.000000e+00 | 1.000000e+00 |    Inf 
1792.03/1792.02	c  1775s|680000 |  2266 |  2345k|   3.4 |  61M| 129 |   - |3717 |  55k|   0 |   0 | 203k| 636k|6197 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1782.66
1800.04/1800.00	c Solving Nodes      : 682720
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+00 (219 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.04	s SATISFIABLE
1800.04/1800.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.04/1800.04	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
1800.04/1800.04	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.04/1800.04	v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.04/1800.04	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 
1800.04/1800.04	v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.04	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.04/1800.04	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.04/1800.04	v -x28 -x27 -x26 -x25 -x24 x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 
1800.04/1800.04	v -x1 
1800.04/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.04	c Solving Time       :    1782.66
1800.04/1800.04	c Original Problem   :
1800.04/1800.04	c   Problem name     : HOME/instance-2692809-1277904739.wbo
1800.04/1800.04	c   Variables        : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.04/1800.04	c   Constraints      : 4524 initial, 4524 maximal
1800.04/1800.04	c Presolved Problem  :
1800.04/1800.04	c   Problem name     : t_HOME/instance-2692809-1277904739.wbo
1800.04/1800.04	c   Variables        : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.04/1800.04	c   Constraints      : 4346 initial, 62576 maximal
1800.04/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.04	c   trivial          :       0.00         73          0          0          0          0          0          0          0
1800.04/1800.04	c   dualfix          :       0.00         73          0          0          0          0          0          0          0
1800.04/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.04	c   indicator        :       0.01          0          0          0          0          0         73          0          0
1800.04/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   linear           :       0.06          0          0          0       1836          0        105         87          0
1800.04/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.04	c   root node        :          -       1743          -          -       3486          -          -          -          -
1800.04/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.04	c   integral         :          0          0          0     502984          0          5        274          0          0     565950
1800.04/1800.04	c   indicator        :       1743          0    1803340     216920          0        127    1597529          0          0          0
1800.04/1800.04	c   setppc           :          6          6    2587142     148398          0      21515     754785          0          0          0
1800.04/1800.04	c   linear           :       1743          6    2665084     218632          0     132710   11022401     203377          0          0
1800.04/1800.04	c   logicor          :        854+         6    1151859     190433          0      90465    2635322          0          0          0
1800.04/1800.04	c   bounddisjunction :          0+         0      19624          0          0          0          1          0          0          0
1800.04/1800.04	c   countsols        :          0          0          0     190433          0          0          0          0          0          0
1800.04/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.04	c   integral         :      18.40       0.00       0.00      18.40       0.00
1800.04/1800.04	c   indicator        :      41.51       0.01      11.05      30.45       0.00
1800.04/1800.04	c   setppc           :       7.98       0.00       7.91       0.07       0.00
1800.04/1800.04	c   linear           :     111.75       0.00     102.64       9.11       0.00
1800.04/1800.04	c   logicor          :     387.66       0.00     385.42       2.24       0.00
1800.04/1800.04	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.04/1800.04	c   countsols        :       0.04       0.00       0.00       0.04       0.00
1800.04/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.04	c   vbounds          :       0.60          2          0          0
1800.04/1800.04	c   rootredcost      :       0.85        104          0       1743
1800.04/1800.04	c   pseudoobj        :      95.53    2690600       2547     834112
1800.04/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.04	c   propagation      :      13.95     247237     247139    1593945       28.2       8395       23.1          -
1800.04/1800.04	c   infeasible LP    :       2.78       9789       9789      79913       40.9        123       16.7          0
1800.04/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.04	c   pseudo solution  :       0.05        179        179       1052       16.4         69        4.6          -
1800.04/1800.04	c   applied globally :          -          -          -     640550       22.1          -          -          -
1800.04/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.04	c   cut pool         :       0.00          5          -          -         36          -    (maximal pool size: 89)
1800.04/1800.04	c   redcost          :      32.41     506454          0     614621          0          0
1800.04/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.04	c   gomory           :       0.17          6          0          0        475          0
1800.04/1800.04	c   strongcg         :       0.09          6          0          0        225          0
1800.04/1800.04	c   cmir             :       0.03          6          0          0          1          0
1800.04/1800.04	c   flowcover        :       0.08          6          0          0          1          0
1800.04/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.04	c Pricers            :       Time      Calls       Vars
1800.04/1800.04	c   problem variables:       0.00          0          0
1800.04/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.04	c   relpscost        :      17.99     283229          5        274          0          0     565950
1800.04/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   inference        :      35.44     190330          0          0          0          0     380660
1800.04/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.04	c   LP solutions     :       0.65          -        103
1800.04/1800.04	c   pseudo solutions :       0.00          -          0
1800.04/1800.04	c   feaspump         :       0.00          1          0
1800.04/1800.04	c   intshifting      :       0.00          8          0
1800.04/1800.04	c   oneopt           :       0.76         84          0
1800.04/1800.04	c   crossover        :       3.13        115          0
1800.04/1800.04	c   pscostdiving     :       5.75       5511          0
1800.04/1800.04	c   fracdiving       :       6.09       5511          0
1800.04/1800.04	c   veclendiving     :       6.00       5511          0
1800.04/1800.04	c   linesearchdiving :       5.78       5512          0
1800.04/1800.04	c   guideddiving     :       5.93       5512          0
1800.04/1800.04	c   coefdiving       :       6.01       5512          0
1800.04/1800.04	c   objpscostdiving  :       5.44       4894          0
1800.04/1800.04	c   rootsoldiving    :       5.11       4925          0
1800.04/1800.04	c   trivial          :       0.01          2          0
1800.04/1800.04	c   simplerounding   :       0.71     283806          0
1800.04/1800.04	c   zirounding       :       0.36       1000          0
1800.04/1800.04	c   rounding         :       1.33       7527          0
1800.04/1800.04	c   shifting         :       1.48       2329          0
1800.04/1800.04	c   twoopt           :       0.00          0          0
1800.04/1800.04	c   fixandinfer      :       0.00          0          0
1800.04/1800.04	c   intdiving        :       0.00          0          0
1800.04/1800.04	c   actconsdiving    :       0.00          0          0
1800.04/1800.04	c   octane           :       0.00          0          0
1800.04/1800.04	c   rens             :       0.03          1          0
1800.04/1800.04	c   rins             :       0.00          0          0
1800.04/1800.04	c   localbranching   :       0.00          0          0
1800.04/1800.04	c   mutation         :       0.00          0          0
1800.04/1800.04	c   dins             :       0.00          0          0
1800.04/1800.04	c   undercover       :       0.00          0          0
1800.04/1800.04	c   nlp              :       0.27          0          0
1800.04/1800.04	c   trysol           :       1.21       9516        116
1800.04/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.04	c   dual LP          :     442.23     330860    2351489       7.11    5317.34
1800.04/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.04	c   diving/probing LP:       0.53        433       2787       6.44    5258.49
1800.04/1800.04	c   strong branching :      15.45       6200      94622      15.26    6124.40
1800.04/1800.04	c     (at root node) :          -         33       1909      57.85          -
1800.04/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.04	c B&B Tree           :
1800.04/1800.04	c   number of runs   :          1
1800.04/1800.04	c   nodes            :     682720
1800.04/1800.04	c   nodes (total)    :     682720
1800.04/1800.04	c   nodes left       :       2273
1800.04/1800.04	c   max depth        :        129
1800.04/1800.04	c   max depth (total):        129
1800.04/1800.04	c   backtracks       :      59651 (8.7%)
1800.04/1800.04	c   delayed cutoffs  :      50783
1800.04/1800.04	c   repropagations   :    1015784 (3249441 domain reductions, 47880 cutoffs)
1800.04/1800.04	c   avg switch length:       4.59
1800.04/1800.04	c   switching time   :     272.65
1800.04/1800.04	c Solution           :
1800.04/1800.04	c   Solutions found  :        219 (104 improvements)
1800.04/1800.04	c   First Solution   : +8.86900000000000e+04   (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.04/1800.04	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 515567 nodes, 1221.18 seconds, depth 39, found by <relaxation>)
1800.04/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.04	c   Gap              :   infinite
1800.04/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.04	c   Root Iterations  :        170
1800.14/1800.16	c Time complete: 1800.21.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692809-1277904739/watcher-2692809-1277904739 -o /tmp/evaluation-result-2692809-1277904739/solver-2692809-1277904739 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692809-1277904739.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.01 2.00 4/178 12354
/proc/meminfo: memFree=30602836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=9408 CPUtime=0
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 131770644 9633792 1565 4089446400 4194304 8223781 140734254807280 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12354/statm: 2352 1565 369 984 0 1365 0

[startup+0.0227269 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 12354
/proc/meminfo: memFree=30602836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=13976 CPUtime=0.02
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 2815 0 0 0 2 0 0 0 25 0 1 0 131770644 14311424 2734 4089446400 4194304 8223781 140734254807280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12354/statm: 3494 2734 369 984 0 2507 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13976

[startup+0.10062 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 12354
/proc/meminfo: memFree=30602836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=29316 CPUtime=0.09
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 7220 0 0 0 9 0 0 0 25 0 1 0 131770644 30019584 6261 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 7329 6261 452 984 0 6342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29316

[startup+0.300585 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 12354
/proc/meminfo: memFree=30602836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=36472 CPUtime=0.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 12281 0 0 0 28 1 0 0 25 0 1 0 131770644 37347328 8202 4089446400 4194304 8223781 140734254807280 18446744073709551615 5755324 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 9118 8202 572 984 0 8131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36472

[startup+0.700513 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 12354
/proc/meminfo: memFree=30602836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=38716 CPUtime=0.69
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 19193 0 0 0 67 2 0 0 25 0 1 0 131770644 39645184 8771 4089446400 4194304 8223781 140734254807280 18446744073709551615 6569920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 9679 8771 588 984 0 8692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38716

[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12355
/proc/meminfo: memFree=30569516/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=38716 CPUtime=1.49
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 19193 0 0 0 146 3 0 0 25 0 1 0 131770644 39645184 8771 4089446400 4194304 8223781 140734254807280 18446744073709551615 6559794 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 9679 8771 588 984 0 8692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38716

[startup+3.10114 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12355
/proc/meminfo: memFree=30569136/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=38808 CPUtime=3.09
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 19254 0 0 0 304 5 0 0 25 0 1 0 131770644 39739392 8832 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 9702 8832 590 984 0 8715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38808

[startup+6.30052 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12355
/proc/meminfo: memFree=30568724/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=40468 CPUtime=6.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 26612 0 0 0 621 8 0 0 25 0 1 0 131770644 41439232 9082 4089446400 4194304 8223781 140734254807280 18446744073709551615 6567501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 10117 9082 592 984 0 9130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40468

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12355
/proc/meminfo: memFree=30560192/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=49536 CPUtime=12.69
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 44984 0 0 0 1253 16 0 0 25 0 1 0 131770644 50724864 11298 4089446400 4194304 8223781 140734254807280 18446744073709551615 6436959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 12384 11298 592 984 0 11397 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49536

[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12356
/proc/meminfo: memFree=30549180/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=59556 CPUtime=25.49
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 60868 0 0 0 2518 31 0 0 25 0 1 0 131770644 60985344 13829 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 14889 13829 595 984 0 13902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59556

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12356
/proc/meminfo: memFree=30521640/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=86604 CPUtime=51.09
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 76048 0 0 0 5050 59 0 0 25 0 1 0 131770644 88682496 20635 4089446400 4194304 8223781 140734254807280 18446744073709551615 4227522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 21651 20635 595 984 0 20664 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86604

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12358
/proc/meminfo: memFree=30467172/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=139356 CPUtime=102.3
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 101630 0 0 0 10117 113 0 0 25 0 1 0 131770644 142700544 33925 4089446400 4194304 8223781 140734254807280 18446744073709551615 6456386 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 34839 33925 595 984 0 33852 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 139356

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12387
/proc/meminfo: memFree=31114960/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=204192 CPUtime=162.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 127903 0 0 0 16060 169 0 0 25 0 1 0 131770644 209092608 49757 4089446400 4194304 8223781 140734254807280 18446744073709551615 4561499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 51048 49757 595 984 0 50061 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 204192

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12389
/proc/meminfo: memFree=30937588/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=264460 CPUtime=222.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 158261 0 0 0 21996 233 0 0 25 0 1 0 131770644 270807040 64956 4089446400 4194304 8223781 140734254807280 18446744073709551615 6003414 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 66115 64956 595 984 0 65128 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 264460

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12390
/proc/meminfo: memFree=30762680/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=328252 CPUtime=282.29
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 175812 0 0 0 27935 294 0 0 25 0 1 0 131770644 336130048 81033 4089446400 4194304 8223781 140734254807280 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 82063 81033 595 984 0 81076 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 328252

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12392
/proc/meminfo: memFree=30639248/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=357704 CPUtime=342.3
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 284895 0 0 0 33866 364 0 0 25 0 1 0 131770644 366288896 88433 4089446400 4194304 8223781 140734254807280 18446744073709551615 6514412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 89426 88433 595 984 0 88439 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 357704

[startup+402.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12394
/proc/meminfo: memFree=30558836/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=373676 CPUtime=402.3
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 440954 0 0 0 39789 441 0 0 25 0 1 0 131770644 382644224 92425 4089446400 4194304 8223781 140734254807280 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 93419 92425 595 984 0 92432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 373676

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12395
/proc/meminfo: memFree=30472592/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=416008 CPUtime=462.3
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 633668 0 0 0 45699 531 0 0 25 0 1 0 131770644 425992192 102841 4089446400 4194304 8223781 140734254807280 18446744073709551615 6296736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 104002 102841 605 984 0 103015 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 416008

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12397
/proc/meminfo: memFree=30443036/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=413820 CPUtime=522.31
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 763996 0 0 0 51595 636 0 0 25 0 1 0 131770644 423751680 102221 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 103455 102221 605 984 0 102468 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 413820

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12398
/proc/meminfo: memFree=30365348/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=416088 CPUtime=582.31
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 774031 0 0 0 57521 710 0 0 25 0 1 0 131770644 426074112 102790 4089446400 4194304 8223781 140734254807280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 104022 102790 605 984 0 103035 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 416088

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12400
/proc/meminfo: memFree=30260156/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=419472 CPUtime=642.31
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 848287 0 0 0 63445 786 0 0 25 0 1 0 131770644 429539328 103526 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 104868 103526 605 984 0 103881 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 419472

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12406
/proc/meminfo: memFree=29942380/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=427192 CPUtime=882.31
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 901475 0 0 0 87215 1016 0 0 25 0 1 0 131770644 437444608 105320 4089446400 4194304 8223781 140734254807280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 106798 105320 605 984 0 105811 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 427192

[startup+942.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12408
/proc/meminfo: memFree=29813608/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=430108 CPUtime=942.32
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 915504 0 0 0 93165 1067 0 0 25 0 1 0 131770644 440430592 105893 4089446400 4194304 8223781 140734254807280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 107527 105893 605 984 0 106540 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 430108

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12410
/proc/meminfo: memFree=29726872/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=430420 CPUtime=1002.32
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 918188 0 0 0 99116 1116 0 0 25 0 1 0 131770644 440750080 105998 4089446400 4194304 8223781 140734254807280 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 107605 105998 605 984 0 106618 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 430420

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12411
/proc/meminfo: memFree=29692228/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=430472 CPUtime=1062.32
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 921256 0 0 0 105062 1170 0 0 25 0 1 0 131770644 440803328 106021 4089446400 4194304 8223781 140734254807280 18446744073709551615 6446764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 107618 106021 605 984 0 106631 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 430472

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12413
/proc/meminfo: memFree=29660076/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=432888 CPUtime=1122.32
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 925711 0 0 0 111015 1217 0 0 25 0 1 0 131770644 443277312 106535 4089446400 4194304 8223781 140734254807280 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 108222 106535 605 984 0 107235 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 432888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12414
/proc/meminfo: memFree=29640680/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=433352 CPUtime=1182.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 926991 0 0 0 116969 1264 0 0 25 0 1 0 131770644 443752448 106653 4089446400 4194304 8223781 140734254807280 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 108338 106653 605 984 0 107351 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 433352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12416
/proc/meminfo: memFree=29618068/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=433480 CPUtime=1242.32
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 954352 0 0 0 122906 1326 0 0 25 0 1 0 131770644 443883520 106710 4089446400 4194304 8223781 140734254807280 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 108370 106710 605 984 0 107383 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 433480

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12418
/proc/meminfo: memFree=29601668/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=433788 CPUtime=1302.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 989933 0 0 0 128858 1375 0 0 25 0 1 0 131770644 444198912 106799 4089446400 4194304 8223781 140734254807280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 108447 106799 605 984 0 107460 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 433788

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12419
/proc/meminfo: memFree=29586472/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=435136 CPUtime=1362.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 999144 0 0 0 134817 1416 0 0 25 0 1 0 131770644 445579264 107029 4089446400 4194304 8223781 140734254807280 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 108784 107029 605 984 0 107797 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 435136

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12421
/proc/meminfo: memFree=29569324/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=436112 CPUtime=1422.34
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1003920 0 0 0 140778 1456 0 0 25 0 1 0 131770644 446578688 107220 4089446400 4194304 8223781 140734254807280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 109028 107220 605 984 0 108041 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 436112

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12422
/proc/meminfo: memFree=29554272/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=437036 CPUtime=1482.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1008388 0 0 0 146734 1499 0 0 25 0 1 0 131770644 447524864 107475 4089446400 4194304 8223781 140734254807280 18446744073709551615 4393377 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 109259 107475 605 984 0 108272 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 437036

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12424
/proc/meminfo: memFree=29536120/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=437332 CPUtime=1542.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1012268 0 0 0 152687 1546 0 0 25 0 1 0 131770644 447827968 107604 4089446400 4194304 8223781 140734254807280 18446744073709551615 6446764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 109333 107604 605 984 0 108346 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 437332

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12426
/proc/meminfo: memFree=29522432/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=437708 CPUtime=1602.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1017930 0 0 0 158637 1596 0 0 25 0 1 0 131770644 448212992 107705 4089446400 4194304 8223781 140734254807280 18446744073709551615 6604361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 109427 107705 605 984 0 108440 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 437708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12427
/proc/meminfo: memFree=29518172/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=438876 CPUtime=1662.34
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1018240 0 0 0 164592 1642 0 0 25 0 1 0 131770644 449409024 107992 4089446400 4194304 8223781 140734254807280 18446744073709551615 6569757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 109719 107992 605 984 0 108732 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12429
/proc/meminfo: memFree=29512664/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=440428 CPUtime=1722.33
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1018400 0 0 0 170553 1680 0 0 25 0 1 0 131770644 450998272 108139 4089446400 4194304 8223781 140734254807280 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 110107 108139 605 984 0 109120 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 440428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12439
/proc/meminfo: memFree=29508308/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=440852 CPUtime=1782.34
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1018455 0 0 0 176510 1724 0 0 25 0 1 0 131770644 451432448 108181 4089446400 4194304 8223781 140734254807280 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 110213 108181 605 984 0 109226 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 440852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12440
/proc/meminfo: memFree=29507044/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=440852 CPUtime=1800.04
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1018618 0 0 0 178268 1736 0 0 25 0 1 0 131770644 451432448 108181 4089446400 4194304 8223781 140734254807280 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12354/statm: 110213 108181 605 984 0 109226 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 440852

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12440
/proc/meminfo: memFree=29507044/32950904 swapFree=67111528/67111528
[pid=12354] ppid=12352 vsize=366688 CPUtime=1800.14
/proc/12354/stat : 12354 (pbscip.linux.x8) R 12352 12354 11542 0 -1 4202496 1018643 0 0 0 178278 1736 0 0 25 0 1 0 131770644 375488512 89623 4089446400 4194304 8223781 140734254807280 18446744073709551615 4997778 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12354/statm: 91672 89623 607 984 0 90685 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 366688

Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.22
CPU user time (s): 1782.83
CPU system time (s): 17.3854
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 440908

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

runsolver used 2.49062 second user time and 5.80212 second system time

The end

Launcher Data 

Begin job on node121 at 2010-06-30 15:32:19
IDJOB=2692809
IDBENCH=78923
IDSOLVER=1204
FILE ID=node121/2692809-1277904739
PBS_JOBID= 11197191
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 426e5957e411ffe2f76bd332943fd07d
RANDOM SEED=676741876

node121.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.876
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.75
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.876
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.23
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.876
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.876
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.876
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.876
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.82
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.876
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.876
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30603364 kB
Buffers:        187992 kB
Cached:        1102848 kB
SwapCached:          0 kB
Active:        1418392 kB
Inactive:       784192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30603364 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:      912180 kB
Mapped:          16096 kB
Slab:            80480 kB
PageTables:       6544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1092640 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= 74204 MiB
End job on node121 at 2010-06-30 16:02:21