Trace number 4520849

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.12 3610.36

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
MD5SUMafdfd31183e0ea33549619d38bec04c1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1756
Best CPU time to get the best result obtained on this benchmark46.517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7020
Total number of constraints7020
Number of constraints which are clauses7020
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 7020
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7020
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7020
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.17	c RoundingSat 2
0.00/0.17	c branch pb25
0.00/0.17	c commit 63f22ad
0.03/0.31	c #variables 7020 #constraints 7020
0.03/0.31	c objective is ce32 
0.13/0.37	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.13/0.37	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.13/0.37	c GLOBAL bounds - >= 0 @ 0.121133
0.13/0.39	c GLOBAL bounds - >= 0 @ 0.133379
0.23/0.49	c GLOBAL bounds - >= 0 @ 0.216575
0.33/0.57	c GLOBAL bounds - >= 0 @ 0.28618
0.50/0.73	c GLOBAL bounds - >= 0 @ 0.427008
0.60/0.88	c GLOBAL bounds - >= 0 @ 0.558014
0.81/1.08	c GLOBAL bounds - >= 0 @ 0.729158
1.00/1.25	c GLOBAL bounds - >= 0 @ 0.889106
1.19/1.44	c GLOBAL bounds - >= 0 @ 1.07812
1.39/1.69	c GLOBAL bounds - >= 0 @ 1.29966
1.70/1.94	c GLOBAL bounds - >= 0 @ 1.53604
1.91/2.19	c GLOBAL bounds - >= 0 @ 1.7757
2.09/2.40	c GLOBAL bounds - >= 0 @ 1.94939
2.29/2.59	c GLOBAL bounds - >= 0 @ 2.13289
3.38/3.60	c #Conflicts:       1000 | #Constraints:       8044
3.38/3.60	c GLOBAL bounds - >= 0 @ 3.10527
4.38/4.63	c GLOBAL bounds - >= 0 @ 4.07056
6.48/6.70	c #Conflicts:       2000 | #Constraints:       9048
6.48/6.70	c INPROCESSING
6.48/6.70	c GARBAGE COLLECT
6.48/6.70	c GLOBAL bounds - >= 0 @ 6.08363
33.58/33.90	c #Conflicts:       3000 | #Constraints:       9105
33.58/33.90	c #Conflicts:       4000 | #Constraints:      10105
33.58/33.90	c INPROCESSING
33.58/33.90	c GARBAGE COLLECT
33.58/33.90	c #Conflicts:       5000 | #Constraints:       9532
33.58/33.90	c #Conflicts:       6000 | #Constraints:      10532
33.58/33.90	c INPROCESSING
33.58/33.90	c GARBAGE COLLECT
33.58/33.90	c #Conflicts:       7000 | #Constraints:       9542
33.58/33.90	c #Conflicts:       8000 | #Constraints:      10542
33.58/33.90	c #Conflicts:       9000 | #Constraints:      11542
33.58/33.90	c INPROCESSING
33.58/33.90	c GARBAGE COLLECT
33.58/33.90	c GLOBAL bounds - >= 0 @ 32.7443
35.37/35.76	c #Conflicts:      10000 | #Constraints:      10245
35.37/35.76	c GLOBAL bounds - >= 0 @ 34.5689
36.45/36.88	c GLOBAL bounds - >= 0 @ 35.6503
40.84/41.29	c #Conflicts:      11000 | #Constraints:      11249
40.84/41.29	c GLOBAL bounds - >= 0 @ 39.9598
43.93/44.39	c #Conflicts:      12000 | #Constraints:      12251
43.93/44.39	c INPROCESSING
43.93/44.39	c GARBAGE COLLECT
43.93/44.39	c GLOBAL bounds - >= 0 @ 42.9038
46.82/47.27	c #Conflicts:      13000 | #Constraints:      10717
46.82/47.27	c GLOBAL bounds - >= 0 @ 45.7423
47.92/48.38	c GLOBAL bounds - >= 0 @ 46.8255
48.41/48.82	c GLOBAL bounds - >= 0 @ 47.2584
48.81/49.26	c GLOBAL bounds - >= 0 @ 47.6972
49.51/49.90	c GLOBAL bounds - >= 0 @ 48.3218
50.01/50.41	c GLOBAL bounds - >= 0 @ 48.8279
52.10/52.53	c #Conflicts:      14000 | #Constraints:      11729
52.10/52.53	c GLOBAL bounds - >= 0 @ 50.8973
53.80/54.23	c #Conflicts:      15000 | #Constraints:      12731
53.80/54.23	c INPROCESSING
53.80/54.23	c GARBAGE COLLECT
53.80/54.23	c GLOBAL bounds - >= 0 @ 52.5734
54.30/54.72	c GLOBAL bounds - >= 0 @ 53.0502
132.62/133.34	c #Conflicts:      16000 | #Constraints:      10990
132.62/133.34	c #Conflicts:      17000 | #Constraints:      11990
132.62/133.34	c #Conflicts:      18000 | #Constraints:      12990
132.62/133.34	c INPROCESSING
132.62/133.34	c GARBAGE COLLECT
132.62/133.34	c #Conflicts:      19000 | #Constraints:      11036
132.62/133.34	c #Conflicts:      20000 | #Constraints:      12036
132.62/133.34	c #Conflicts:      21000 | #Constraints:      13036
132.62/133.34	c INPROCESSING
132.62/133.34	c GARBAGE COLLECT
132.62/133.34	c #Conflicts:      22000 | #Constraints:      10827
132.62/133.34	c #Conflicts:      23000 | #Constraints:      11827
132.62/133.34	c #Conflicts:      24000 | #Constraints:      12827
132.62/133.34	c #Conflicts:      25000 | #Constraints:      13827
132.62/133.34	c INPROCESSING
132.62/133.34	c GARBAGE COLLECT
132.62/133.34	c #Conflicts:      26000 | #Constraints:      11435
132.62/133.34	c #Conflicts:      27000 | #Constraints:      12435
132.62/133.34	c #Conflicts:      28000 | #Constraints:      13435
132.62/133.34	c #Conflicts:      29000 | #Constraints:      14435
132.62/133.34	c INPROCESSING
132.62/133.34	c GARBAGE COLLECT
132.62/133.34	c #Conflicts:      30000 | #Constraints:      11835
132.62/133.34	c #Conflicts:      31000 | #Constraints:      12835
132.62/133.34	c #Conflicts:      32000 | #Constraints:      13835
132.62/133.34	c #Conflicts:      33000 | #Constraints:      14835
132.62/133.34	c INPROCESSING
132.62/133.34	c GARBAGE COLLECT
132.62/133.34	c #Conflicts:      34000 | #Constraints:      12041
132.62/133.34	c GLOBAL bounds - >= 0 @ 130.329
147.97/148.72	c #Conflicts:      35000 | #Constraints:      13043
147.97/148.72	c #Conflicts:      36000 | #Constraints:      14043
147.97/148.72	c #Conflicts:      37000 | #Constraints:      15043
147.97/148.72	c INPROCESSING
147.97/148.72	c GARBAGE COLLECT
147.97/148.72	c #Conflicts:      38000 | #Constraints:      12050
147.97/148.72	c GLOBAL bounds - >= 0 @ 145.525
158.54/159.34	c #Conflicts:      39000 | #Constraints:      13052
158.54/159.34	c #Conflicts:      40000 | #Constraints:      14052
158.54/159.34	c #Conflicts:      41000 | #Constraints:      15052
158.54/159.34	c INPROCESSING
158.54/159.34	c GARBAGE COLLECT
158.54/159.34	c GLOBAL bounds - >= 0 @ 156.015
167.59/168.48	c #Conflicts:      42000 | #Constraints:      11859
167.59/168.48	c #Conflicts:      43000 | #Constraints:      12859
167.59/168.48	c #Conflicts:      44000 | #Constraints:      13859
167.59/168.48	c #Conflicts:      45000 | #Constraints:      14859
167.59/168.48	c GLOBAL bounds - >= 0 @ 164.996
175.47/176.33	c #Conflicts:      46000 | #Constraints:      15861
175.47/176.33	c INPROCESSING
175.47/176.33	c GARBAGE COLLECT
175.47/176.33	c GLOBAL bounds - >= 0 @ 172.73
176.96/177.80	c GLOBAL bounds - >= 0 @ 174.175
177.66/178.55	c #Conflicts:      47000 | #Constraints:      12469
177.66/178.55	c GLOBAL bounds - >= 0 @ 174.907
178.36/179.29	c GLOBAL bounds - >= 0 @ 175.645
184.34/185.23	c #Conflicts:      48000 | #Constraints:      13473
184.34/185.23	c GLOBAL bounds - >= 0 @ 181.518
203.87/204.81	c #Conflicts:      49000 | #Constraints:      14475
203.87/204.81	c #Conflicts:      50000 | #Constraints:      15475
203.87/204.81	c #Conflicts:      51000 | #Constraints:      16475
203.87/204.81	c INPROCESSING
203.87/204.81	c GARBAGE COLLECT
203.87/204.81	c #Conflicts:      52000 | #Constraints:      12898
203.87/204.81	c #Conflicts:      53000 | #Constraints:      13898
203.87/204.81	c GLOBAL bounds - >= 0 @ 200.817
220.32/221.31	c #Conflicts:      54000 | #Constraints:      14900
220.32/221.31	c #Conflicts:      55000 | #Constraints:      15900
220.32/221.31	c #Conflicts:      56000 | #Constraints:      16900
220.32/221.31	c INPROCESSING
220.32/221.31	c GARBAGE COLLECT
220.32/221.31	c GLOBAL bounds - >= 0 @ 217.093
296.05/297.31	c #Conflicts:      57000 | #Constraints:      13096
296.05/297.31	c #Conflicts:      58000 | #Constraints:      14096
296.05/297.31	c #Conflicts:      59000 | #Constraints:      15096
296.05/297.31	c #Conflicts:      60000 | #Constraints:      16096
296.05/297.31	c #Conflicts:      61000 | #Constraints:      17096
296.05/297.31	c INPROCESSING
296.05/297.31	c GARBAGE COLLECT
296.05/297.31	c #Conflicts:      62000 | #Constraints:      13088
296.05/297.31	c #Conflicts:      63000 | #Constraints:      14088
296.05/297.31	c #Conflicts:      64000 | #Constraints:      15088
296.05/297.31	c #Conflicts:      65000 | #Constraints:      16088
296.05/297.31	c #Conflicts:      66000 | #Constraints:      17088
296.05/297.31	c INPROCESSING
296.05/297.31	c GARBAGE COLLECT
296.05/297.31	c #Conflicts:      67000 | #Constraints:      12883
296.05/297.31	c #Conflicts:      68000 | #Constraints:      13883
296.05/297.31	c #Conflicts:      69000 | #Constraints:      14883
296.05/297.31	c #Conflicts:      70000 | #Constraints:      15883
296.05/297.31	c #Conflicts:      71000 | #Constraints:      16883
296.05/297.31	c #Conflicts:      72000 | #Constraints:      17883
296.05/297.31	c INPROCESSING
296.05/297.31	c GARBAGE COLLECT
296.05/297.31	c #Conflicts:      73000 | #Constraints:      13479
296.05/297.31	c GLOBAL bounds - >= 0 @ 291.792
297.35/298.68	c GLOBAL bounds - >= 0 @ 293.136
299.35/300.68	c #Conflicts:      74000 | #Constraints:      14483
299.35/300.68	c GLOBAL bounds - >= 0 @ 295.108
311.73/313.01	c #Conflicts:      75000 | #Constraints:      15485
311.73/313.01	c #Conflicts:      76000 | #Constraints:      16485
311.73/313.01	c GLOBAL bounds - >= 0 @ 307.27
312.81/314.19	c #Conflicts:      77000 | #Constraints:      17487
312.81/314.19	c GLOBAL bounds - >= 0 @ 308.409
313.99/315.31	c GLOBAL bounds - >= 0 @ 309.508
314.71/316.05	c GLOBAL bounds - >= 0 @ 310.234
315.99/317.31	c GLOBAL bounds - >= 0 @ 311.478
317.98/319.35	c GLOBAL bounds - >= 0 @ 313.333
321.18/322.53	c #Conflicts:      78000 | #Constraints:      18497
321.18/322.53	c INPROCESSING
321.18/322.53	c GARBAGE COLLECT
321.18/322.53	c GLOBAL bounds - >= 0 @ 316.471
322.57/323.96	c GLOBAL bounds - >= 0 @ 317.888
323.37/324.71	c GLOBAL bounds - >= 0 @ 318.625
325.46/326.82	c #Conflicts:      79000 | #Constraints:      13892
325.46/326.82	c GLOBAL bounds - >= 0 @ 320.721
326.68/328.03	c GLOBAL bounds - >= 0 @ 321.913
327.67/329.08	c #Conflicts:      80000 | #Constraints:      14896
327.67/329.08	c GLOBAL bounds - >= 0 @ 322.951
377.89/379.42	c #Conflicts:      81000 | #Constraints:      15898
377.89/379.42	c #Conflicts:      82000 | #Constraints:      16898
377.89/379.42	c #Conflicts:      83000 | #Constraints:      17898
377.89/379.42	c #Conflicts:      84000 | #Constraints:      18898
377.89/379.42	c INPROCESSING
377.89/379.42	c GARBAGE COLLECT
377.89/379.42	c #Conflicts:      85000 | #Constraints:      14153
377.89/379.42	c #Conflicts:      86000 | #Constraints:      15153
377.89/379.42	c #Conflicts:      87000 | #Constraints:      16153
377.89/379.42	c #Conflicts:      88000 | #Constraints:      17153
377.89/379.42	c #Conflicts:      89000 | #Constraints:      18153
377.89/379.42	c #Conflicts:      90000 | #Constraints:      19153
377.89/379.42	c INPROCESSING
377.89/379.42	c GARBAGE COLLECT
377.89/379.42	c #Conflicts:      91000 | #Constraints:      14176
377.89/379.42	c GLOBAL bounds - >= 0 @ 372.74
473.30/475.19	c #Conflicts:      92000 | #Constraints:      15178
473.30/475.19	c #Conflicts:      93000 | #Constraints:      16178
473.30/475.19	c #Conflicts:      94000 | #Constraints:      17178
473.30/475.19	c #Conflicts:      95000 | #Constraints:      18178
473.30/475.19	c #Conflicts:      96000 | #Constraints:      19178
473.30/475.19	c INPROCESSING
473.30/475.19	c GARBAGE COLLECT
473.30/475.19	c #Conflicts:      97000 | #Constraints:      13994
473.30/475.19	c #Conflicts:      98000 | #Constraints:      14994
473.30/475.19	c #Conflicts:      99000 | #Constraints:      15994
473.30/475.19	c #Conflicts:     100000 | #Constraints:      16994
473.30/475.19	c #Conflicts:     101000 | #Constraints:      17994
473.30/475.19	c #Conflicts:     102000 | #Constraints:      18994
473.30/475.19	c #Conflicts:     103000 | #Constraints:      19994
473.30/475.19	c INPROCESSING
473.30/475.19	c GARBAGE COLLECT
473.30/475.19	c #Conflicts:     104000 | #Constraints:      14596
473.30/475.19	c #Conflicts:     105000 | #Constraints:      15596
473.30/475.19	c #Conflicts:     106000 | #Constraints:      16596
473.30/475.19	c #Conflicts:     107000 | #Constraints:      17596
473.30/475.19	c #Conflicts:     108000 | #Constraints:      18596
473.30/475.19	c #Conflicts:     109000 | #Constraints:      19596
473.30/475.19	c GLOBAL bounds - >= 0 @ 467.338
523.43/525.45	c #Conflicts:     110000 | #Constraints:      20598
523.43/525.45	c INPROCESSING
523.43/525.45	c GARBAGE COLLECT
523.43/525.45	c #Conflicts:     111000 | #Constraints:      14895
523.43/525.45	c #Conflicts:     112000 | #Constraints:      15895
523.43/525.45	c #Conflicts:     113000 | #Constraints:      16895
523.43/525.45	c #Conflicts:     114000 | #Constraints:      17895
523.43/525.45	c #Conflicts:     115000 | #Constraints:      18895
523.43/525.45	c #Conflicts:     116000 | #Constraints:      19895
523.43/525.45	c #Conflicts:     117000 | #Constraints:      20895
523.43/525.45	c INPROCESSING
523.43/525.45	c GARBAGE COLLECT
523.43/525.45	c #Conflicts:     118000 | #Constraints:      15128
523.43/525.45	c #Conflicts:     119000 | #Constraints:      16128
523.43/525.45	c #Conflicts:     120000 | #Constraints:      17128
523.43/525.45	c GLOBAL bounds - >= 0 @ 516.945
533.20/535.25	c #Conflicts:     121000 | #Constraints:      18130
533.20/535.25	c #Conflicts:     122000 | #Constraints:      19130
533.20/535.25	c #Conflicts:     123000 | #Constraints:      20130
533.20/535.25	c GLOBAL bounds - >= 0 @ 526.646
536.00/538.01	c GLOBAL bounds - >= 0 @ 529.377
541.18/543.22	c #Conflicts:     124000 | #Constraints:      21134
541.18/543.22	c INPROCESSING
541.18/543.22	c GARBAGE COLLECT
541.18/543.22	c GLOBAL bounds - >= 0 @ 534.528
548.07/550.14	c #Conflicts:     125000 | #Constraints:      15109
548.07/550.14	c #Conflicts:     126000 | #Constraints:      16109
548.07/550.14	c GLOBAL bounds - >= 0 @ 541.37
554.24/556.35	c #Conflicts:     127000 | #Constraints:      17111
554.24/556.35	c #Conflicts:     128000 | #Constraints:      18111
554.24/556.35	c GLOBAL bounds - >= 0 @ 547.495
581.32/583.51	c #Conflicts:     129000 | #Constraints:      19113
581.32/583.51	c #Conflicts:     130000 | #Constraints:      20113
581.32/583.51	c #Conflicts:     131000 | #Constraints:      21113
581.32/583.51	c INPROCESSING
581.32/583.51	c GARBAGE COLLECT
581.32/583.51	c #Conflicts:     132000 | #Constraints:      14957
581.32/583.51	c #Conflicts:     133000 | #Constraints:      15957
581.32/583.51	c GLOBAL bounds - >= 0 @ 574.266
629.18/631.56	c #Conflicts:     134000 | #Constraints:      16959
629.18/631.56	c #Conflicts:     135000 | #Constraints:      17959
629.18/631.56	c #Conflicts:     136000 | #Constraints:      18959
629.18/631.56	c #Conflicts:     137000 | #Constraints:      19959
629.18/631.56	c #Conflicts:     138000 | #Constraints:      20959
629.18/631.56	c #Conflicts:     139000 | #Constraints:      21959
629.18/631.56	c INPROCESSING
629.18/631.56	c GARBAGE COLLECT
629.18/631.56	c #Conflicts:     140000 | #Constraints:      15573
629.18/631.56	c #Conflicts:     141000 | #Constraints:      16573
629.18/631.56	c #Conflicts:     142000 | #Constraints:      17573
629.18/631.56	c #Conflicts:     143000 | #Constraints:      18573
629.18/631.56	c #Conflicts:     144000 | #Constraints:      19573
629.18/631.56	c #Conflicts:     145000 | #Constraints:      20573
629.18/631.56	c GLOBAL bounds - >= 0 @ 621.699
639.15/641.56	c #Conflicts:     146000 | #Constraints:      21575
639.15/641.56	c #Conflicts:     147000 | #Constraints:      22575
639.15/641.56	c INPROCESSING
639.15/641.56	c GARBAGE COLLECT
639.15/641.56	c GLOBAL bounds - >= 0 @ 631.601
662.49/664.92	c #Conflicts:     148000 | #Constraints:      15982
662.49/664.92	c #Conflicts:     149000 | #Constraints:      16982
662.49/664.92	c #Conflicts:     150000 | #Constraints:      17982
662.49/664.92	c #Conflicts:     151000 | #Constraints:      18982
662.49/664.92	c #Conflicts:     152000 | #Constraints:      19982
662.49/664.92	c GLOBAL bounds - >= 0 @ 654.678
668.36/670.85	c #Conflicts:     153000 | #Constraints:      20984
668.36/670.85	c GLOBAL bounds - >= 0 @ 660.529
672.57/675.03	c #Conflicts:     154000 | #Constraints:      21986
672.57/675.03	c GLOBAL bounds - >= 0 @ 664.656
674.67/677.15	c GLOBAL bounds - >= 0 @ 666.744
681.14/683.64	c #Conflicts:     155000 | #Constraints:      22990
681.14/683.64	c INPROCESSING
681.14/683.64	c GARBAGE COLLECT
681.14/683.64	c #Conflicts:     156000 | #Constraints:      16173
681.14/683.64	c GLOBAL bounds - >= 0 @ 673.154
682.03/684.60	c GLOBAL bounds - >= 0 @ 674.102
685.83/688.32	c #Conflicts:     157000 | #Constraints:      17177
685.83/688.32	c GLOBAL bounds - >= 0 @ 677.781
689.53/692.10	c #Conflicts:     158000 | #Constraints:      18179
689.53/692.10	c GLOBAL bounds - >= 0 @ 681.528
690.91/693.48	c GLOBAL bounds - >= 0 @ 682.896
698.29/700.83	c #Conflicts:     159000 | #Constraints:      19183
698.29/700.83	c #Conflicts:     160000 | #Constraints:      20183
698.29/700.83	c GLOBAL bounds - >= 0 @ 690.143
703.60/706.15	c #Conflicts:     161000 | #Constraints:      21185
703.60/706.15	c GLOBAL bounds - >= 0 @ 695.415
708.08/710.64	c #Conflicts:     162000 | #Constraints:      22187
708.08/710.64	c GLOBAL bounds - >= 0 @ 699.859
717.85/720.49	c #Conflicts:     163000 | #Constraints:      23189
717.85/720.49	c INPROCESSING
717.85/720.49	c GARBAGE COLLECT
717.85/720.49	c GLOBAL bounds - >= 0 @ 709.59
752.15/754.82	c #Conflicts:     164000 | #Constraints:      16199
752.15/754.82	c #Conflicts:     165000 | #Constraints:      17199
752.15/754.82	c #Conflicts:     166000 | #Constraints:      18199
752.15/754.82	c #Conflicts:     167000 | #Constraints:      19199
752.15/754.82	c #Conflicts:     168000 | #Constraints:      20199
752.15/754.82	c #Conflicts:     169000 | #Constraints:      21199
752.15/754.82	c #Conflicts:     170000 | #Constraints:      22199
752.15/754.82	c #Conflicts:     171000 | #Constraints:      23199
752.15/754.82	c GLOBAL bounds - >= 0 @ 743.423
817.47/820.37	c INPROCESSING
817.47/820.37	c GARBAGE COLLECT
817.47/820.37	c #Conflicts:     172000 | #Constraints:      15983
817.47/820.37	c #Conflicts:     173000 | #Constraints:      16983
817.47/820.37	c #Conflicts:     174000 | #Constraints:      17983
817.47/820.37	c #Conflicts:     175000 | #Constraints:      18983
817.47/820.37	c #Conflicts:     176000 | #Constraints:      19983
817.47/820.37	c #Conflicts:     177000 | #Constraints:      20983
817.47/820.37	c #Conflicts:     178000 | #Constraints:      21983
817.47/820.37	c #Conflicts:     179000 | #Constraints:      22983
817.47/820.37	c #Conflicts:     180000 | #Constraints:      23983
817.47/820.37	c INPROCESSING
817.47/820.37	c GARBAGE COLLECT
817.47/820.37	c #Conflicts:     181000 | #Constraints:      16571
817.47/820.37	c GLOBAL bounds - >= 0 @ 808.045
824.86/827.78	c #Conflicts:     182000 | #Constraints:      17573
824.86/827.78	c #Conflicts:     183000 | #Constraints:      18573
824.86/827.78	c GLOBAL bounds - >= 0 @ 815.363
881.30/884.30	c #Conflicts:     184000 | #Constraints:      19575
881.30/884.30	c #Conflicts:     185000 | #Constraints:      20575
881.30/884.30	c #Conflicts:     186000 | #Constraints:      21575
881.30/884.30	c #Conflicts:     187000 | #Constraints:      22575
881.30/884.30	c #Conflicts:     188000 | #Constraints:      23575
881.30/884.30	c #Conflicts:     189000 | #Constraints:      24575
881.30/884.30	c INPROCESSING
881.30/884.30	c GARBAGE COLLECT
881.30/884.30	c #Conflicts:     190000 | #Constraints:      16980
881.30/884.30	c #Conflicts:     191000 | #Constraints:      17980
881.30/884.30	c #Conflicts:     192000 | #Constraints:      18980
881.30/884.30	c #Conflicts:     193000 | #Constraints:      19980
881.30/884.30	c #Conflicts:     194000 | #Constraints:      20980
881.30/884.30	c #Conflicts:     195000 | #Constraints:      21980
881.30/884.30	c GLOBAL bounds - >= 0 @ 871.329
893.76/896.85	c #Conflicts:     196000 | #Constraints:      22982
893.76/896.85	c #Conflicts:     197000 | #Constraints:      23982
893.76/896.85	c #Conflicts:     198000 | #Constraints:      24982
893.76/896.85	c INPROCESSING
893.76/896.85	c GARBAGE COLLECT
893.76/896.85	c GLOBAL bounds - >= 0 @ 883.77
911.11/914.21	c #Conflicts:     199000 | #Constraints:      17201
911.11/914.21	c #Conflicts:     200000 | #Constraints:      18201
911.11/914.21	c #Conflicts:     201000 | #Constraints:      19201
911.11/914.21	c #Conflicts:     202000 | #Constraints:      20201
911.11/914.21	c GLOBAL bounds - >= 0 @ 900.935
931.45/934.67	c #Conflicts:     203000 | #Constraints:      21203
931.45/934.67	c #Conflicts:     204000 | #Constraints:      22203
931.45/934.67	c #Conflicts:     205000 | #Constraints:      23203
931.45/934.67	c #Conflicts:     206000 | #Constraints:      24203
931.45/934.67	c #Conflicts:     207000 | #Constraints:      25203
931.45/934.67	c INPROCESSING
931.45/934.67	c GARBAGE COLLECT
931.45/934.67	c GLOBAL bounds - >= 0 @ 921.197
952.30/955.56	c #Conflicts:     208000 | #Constraints:      17207
952.30/955.56	c #Conflicts:     209000 | #Constraints:      18207
952.30/955.56	c #Conflicts:     210000 | #Constraints:      19207
952.30/955.56	c #Conflicts:     211000 | #Constraints:      20207
952.30/955.56	c #Conflicts:     212000 | #Constraints:      21207
952.30/955.56	c #Conflicts:     213000 | #Constraints:      22207
952.30/955.56	c GLOBAL bounds - >= 0 @ 941.879
997.97/1001.30	c #Conflicts:     214000 | #Constraints:      23209
997.97/1001.30	c #Conflicts:     215000 | #Constraints:      24209
997.97/1001.30	c #Conflicts:     216000 | #Constraints:      25209
997.97/1001.30	c INPROCESSING
997.97/1001.30	c GARBAGE COLLECT
997.97/1001.30	c #Conflicts:     217000 | #Constraints:      17027
997.97/1001.30	c #Conflicts:     218000 | #Constraints:      18027
997.97/1001.30	c #Conflicts:     219000 | #Constraints:      19027
997.97/1001.30	c #Conflicts:     220000 | #Constraints:      20027
997.97/1001.30	c #Conflicts:     221000 | #Constraints:      21027
997.97/1001.30	c #Conflicts:     222000 | #Constraints:      22027
997.97/1001.30	c #Conflicts:     223000 | #Constraints:      23027
997.97/1001.30	c GLOBAL bounds - >= 0 @ 987.135
1005.35/1008.73	c #Conflicts:     224000 | #Constraints:      24029
1005.35/1008.73	c #Conflicts:     225000 | #Constraints:      25029
1005.35/1008.73	c #Conflicts:     226000 | #Constraints:      26029
1005.35/1008.73	c GLOBAL bounds - >= 0 @ 994.477
1008.34/1011.70	c INPROCESSING
1008.34/1011.70	c GARBAGE COLLECT
1008.34/1011.70	c GLOBAL bounds - >= 0 @ 997.429
1010.94/1014.31	c #Conflicts:     227000 | #Constraints:      17618
1010.94/1014.31	c GLOBAL bounds - >= 0 @ 1000
1036.68/1040.19	c #Conflicts:     228000 | #Constraints:      18620
1036.68/1040.19	c #Conflicts:     229000 | #Constraints:      19620
1036.68/1040.19	c #Conflicts:     230000 | #Constraints:      20620
1036.68/1040.19	c #Conflicts:     231000 | #Constraints:      21620
1036.68/1040.19	c #Conflicts:     232000 | #Constraints:      22620
1036.68/1040.19	c #Conflicts:     233000 | #Constraints:      23620
1036.68/1040.19	c GLOBAL bounds - >= 0 @ 1025.59
1039.26/1042.77	c #Conflicts:     234000 | #Constraints:      24622
1039.26/1042.77	c GLOBAL bounds - >= 0 @ 1028.14
1040.96/1044.46	c GLOBAL bounds - >= 0 @ 1029.82
1042.57/1046.11	c GLOBAL bounds - >= 0 @ 1031.45
1050.54/1054.09	c #Conflicts:     235000 | #Constraints:      25628
1050.54/1054.09	c GLOBAL bounds - >= 0 @ 1039.35
1064.29/1067.85	c #Conflicts:     236000 | #Constraints:      26630
1064.29/1067.85	c INPROCESSING
1064.29/1067.85	c GARBAGE COLLECT
1064.29/1067.85	c #Conflicts:     237000 | #Constraints:      18018
1064.29/1067.85	c #Conflicts:     238000 | #Constraints:      19018
1064.29/1067.85	c GLOBAL bounds - >= 0 @ 1052.93
1082.24/1085.83	c #Conflicts:     239000 | #Constraints:      20020
1082.24/1085.83	c #Conflicts:     240000 | #Constraints:      21020
1082.24/1085.83	c #Conflicts:     241000 | #Constraints:      22020
1082.24/1085.83	c #Conflicts:     242000 | #Constraints:      23020
1082.24/1085.83	c GLOBAL bounds - >= 0 @ 1070.7
1088.63/1092.26	c #Conflicts:     243000 | #Constraints:      24022
1088.63/1092.26	c GLOBAL bounds - >= 0 @ 1077.07
1090.72/1094.33	c GLOBAL bounds - >= 0 @ 1079.12
1092.32/1096.00	c GLOBAL bounds - >= 0 @ 1080.78
1094.02/1097.64	c GLOBAL bounds - >= 0 @ 1082.4
1096.61/1100.22	c #Conflicts:     244000 | #Constraints:      25030
1096.61/1100.22	c GLOBAL bounds - >= 0 @ 1084.96
1098.30/1101.99	c GLOBAL bounds - >= 0 @ 1086.7
1100.70/1104.32	c GLOBAL bounds - >= 0 @ 1089.02
1102.50/1106.11	c #Conflicts:     245000 | #Constraints:      26036
1102.50/1106.11	c GLOBAL bounds - >= 0 @ 1090.78
1103.79/1107.41	c GLOBAL bounds - >= 0 @ 1092.07
1112.77/1116.45	c #Conflicts:     246000 | #Constraints:      27040
1112.77/1116.45	c INPROCESSING
1112.77/1116.45	c GARBAGE COLLECT
1112.77/1116.45	c GLOBAL bounds - >= 0 @ 1101.02
1122.74/1126.46	c #Conflicts:     247000 | #Constraints:      18262
1122.74/1126.46	c #Conflicts:     248000 | #Constraints:      19262
1122.74/1126.46	c #Conflicts:     249000 | #Constraints:      20262
1122.74/1126.46	c GLOBAL bounds - >= 0 @ 1110.87
1125.63/1129.35	c GLOBAL bounds - >= 0 @ 1113.73
1127.22/1130.90	c #Conflicts:     250000 | #Constraints:      21266
1127.22/1130.90	c GLOBAL bounds - >= 0 @ 1115.27
1141.98/1145.71	c #Conflicts:     251000 | #Constraints:      22268
1141.98/1145.71	c #Conflicts:     252000 | #Constraints:      23268
1141.98/1145.71	c #Conflicts:     253000 | #Constraints:      24268
1141.98/1145.71	c #Conflicts:     254000 | #Constraints:      25268
1141.98/1145.71	c GLOBAL bounds - >= 0 @ 1129.86
1185.18/1189.11	c #Conflicts:     255000 | #Constraints:      26270
1185.18/1189.11	c #Conflicts:     256000 | #Constraints:      27270
1185.18/1189.11	c INPROCESSING
1185.18/1189.11	c GARBAGE COLLECT
1185.18/1189.11	c #Conflicts:     257000 | #Constraints:      18269
1185.18/1189.11	c #Conflicts:     258000 | #Constraints:      19269
1185.18/1189.11	c #Conflicts:     259000 | #Constraints:      20269
1185.18/1189.11	c #Conflicts:     260000 | #Constraints:      21269
1185.18/1189.11	c #Conflicts:     261000 | #Constraints:      22269
1185.18/1189.11	c GLOBAL bounds - >= 0 @ 1172.77
1352.47/1356.83	c #Conflicts:     262000 | #Constraints:      23271
1352.47/1356.83	c #Conflicts:     263000 | #Constraints:      24271
1352.47/1356.83	c #Conflicts:     264000 | #Constraints:      25271
1352.47/1356.83	c #Conflicts:     265000 | #Constraints:      26271
1352.47/1356.83	c #Conflicts:     266000 | #Constraints:      27271
1352.47/1356.83	c INPROCESSING
1352.47/1356.83	c GARBAGE COLLECT
1352.47/1356.83	c #Conflicts:     267000 | #Constraints:      18082
1352.47/1356.83	c #Conflicts:     268000 | #Constraints:      19082
1352.47/1356.83	c #Conflicts:     269000 | #Constraints:      20082
1352.47/1356.83	c #Conflicts:     270000 | #Constraints:      21082
1352.47/1356.83	c #Conflicts:     271000 | #Constraints:      22082
1352.47/1356.83	c #Conflicts:     272000 | #Constraints:      23082
1352.47/1356.83	c #Conflicts:     273000 | #Constraints:      24082
1352.47/1356.83	c #Conflicts:     274000 | #Constraints:      25082
1352.47/1356.83	c #Conflicts:     275000 | #Constraints:      26082
1352.47/1356.83	c #Conflicts:     276000 | #Constraints:      27082
1352.47/1356.83	c #Conflicts:     277000 | #Constraints:      28082
1352.47/1356.83	c INPROCESSING
1352.47/1356.83	c GARBAGE COLLECT
1352.47/1356.83	c #Conflicts:     278000 | #Constraints:      18691
1352.47/1356.83	c #Conflicts:     279000 | #Constraints:      19691
1352.47/1356.83	c #Conflicts:     280000 | #Constraints:      20691
1352.47/1356.83	c #Conflicts:     281000 | #Constraints:      21691
1352.47/1356.83	c #Conflicts:     282000 | #Constraints:      22691
1352.47/1356.83	c #Conflicts:     283000 | #Constraints:      23691
1352.47/1356.83	c #Conflicts:     284000 | #Constraints:      24691
1352.47/1356.83	c #Conflicts:     285000 | #Constraints:      25691
1352.47/1356.83	c #Conflicts:     286000 | #Constraints:      26691
1352.47/1356.83	c #Conflicts:     287000 | #Constraints:      27691
1352.47/1356.83	c #Conflicts:     288000 | #Constraints:      28691
1352.47/1356.83	c INPROCESSING
1352.47/1356.83	c GARBAGE COLLECT
1352.47/1356.83	c GLOBAL bounds - >= 0 @ 1338.62
1363.25/1367.65	c #Conflicts:     289000 | #Constraints:      19082
1363.25/1367.65	c #Conflicts:     290000 | #Constraints:      20082
1363.25/1367.65	c GLOBAL bounds - >= 0 @ 1349.26
1395.96/1400.47	c #Conflicts:     291000 | #Constraints:      21084
1395.96/1400.47	c #Conflicts:     292000 | #Constraints:      22084
1395.96/1400.47	c #Conflicts:     293000 | #Constraints:      23084
1395.96/1400.47	c #Conflicts:     294000 | #Constraints:      24084
1395.96/1400.47	c #Conflicts:     295000 | #Constraints:      25084
1395.96/1400.47	c #Conflicts:     296000 | #Constraints:      26084
1395.96/1400.47	c GLOBAL bounds - >= 0 @ 1381.66
1409.13/1413.62	c #Conflicts:     297000 | #Constraints:      27086
1409.13/1413.62	c #Conflicts:     298000 | #Constraints:      28086
1409.13/1413.62	c #Conflicts:     299000 | #Constraints:      29086
1409.13/1413.62	c INPROCESSING
1409.13/1413.62	c GARBAGE COLLECT
1409.13/1413.62	c GLOBAL bounds - >= 0 @ 1394.67
1413.72/1418.24	c #Conflicts:     300000 | #Constraints:      19309
1413.72/1418.24	c GLOBAL bounds - >= 0 @ 1399.23
1434.46/1439.07	c #Conflicts:     301000 | #Constraints:      20311
1434.46/1439.07	c #Conflicts:     302000 | #Constraints:      21311
1434.46/1439.07	c #Conflicts:     303000 | #Constraints:      22311
1434.46/1439.07	c #Conflicts:     304000 | #Constraints:      23311
1434.46/1439.07	c GLOBAL bounds - >= 0 @ 1419.76
1451.00/1455.61	c #Conflicts:     305000 | #Constraints:      24313
1451.00/1455.61	c #Conflicts:     306000 | #Constraints:      25313
1451.00/1455.61	c #Conflicts:     307000 | #Constraints:      26313
1451.00/1455.61	c GLOBAL bounds - >= 0 @ 1436.12
1454.51/1459.14	c #Conflicts:     308000 | #Constraints:      27315
1454.51/1459.14	c GLOBAL bounds - >= 0 @ 1439.62
1461.58/1466.29	c #Conflicts:     309000 | #Constraints:      28317
1461.58/1466.29	c GLOBAL bounds - >= 0 @ 1446.7
1467.96/1472.62	c #Conflicts:     310000 | #Constraints:      29319
1467.96/1472.62	c INPROCESSING
1467.96/1472.62	c GARBAGE COLLECT
1467.96/1472.62	c GLOBAL bounds - >= 0 @ 1452.73
1470.47/1475.12	c #Conflicts:     311000 | #Constraints:      19332
1470.47/1475.12	c GLOBAL bounds - >= 0 @ 1455.21
1481.44/1486.12	c #Conflicts:     312000 | #Constraints:      20334
1481.44/1486.12	c #Conflicts:     313000 | #Constraints:      21334
1481.44/1486.12	c GLOBAL bounds - >= 0 @ 1466.05
1492.59/1497.32	c #Conflicts:     314000 | #Constraints:      22336
1492.59/1497.32	c #Conflicts:     315000 | #Constraints:      23336
1492.59/1497.32	c #Conflicts:     316000 | #Constraints:      24336
1492.59/1497.32	c GLOBAL bounds - >= 0 @ 1477.09
1597.31/1602.38	c #Conflicts:     317000 | #Constraints:      25338
1597.31/1602.38	c #Conflicts:     318000 | #Constraints:      26338
1597.31/1602.38	c #Conflicts:     319000 | #Constraints:      27338
1597.31/1602.38	c #Conflicts:     320000 | #Constraints:      28338
1597.31/1602.38	c #Conflicts:     321000 | #Constraints:      29338
1597.31/1602.38	c INPROCESSING
1597.31/1602.38	c GARBAGE COLLECT
1597.31/1602.38	c #Conflicts:     322000 | #Constraints:      19130
1597.31/1602.38	c #Conflicts:     323000 | #Constraints:      20130
1597.31/1602.38	c #Conflicts:     324000 | #Constraints:      21130
1597.31/1602.38	c #Conflicts:     325000 | #Constraints:      22130
1597.31/1602.38	c #Conflicts:     326000 | #Constraints:      23130
1597.31/1602.38	c #Conflicts:     327000 | #Constraints:      24130
1597.31/1602.38	c #Conflicts:     328000 | #Constraints:      25130
1597.31/1602.38	c #Conflicts:     329000 | #Constraints:      26130
1597.31/1602.38	c #Conflicts:     330000 | #Constraints:      27130
1597.31/1602.38	c #Conflicts:     331000 | #Constraints:      28130
1597.31/1602.38	c #Conflicts:     332000 | #Constraints:      29130
1597.31/1602.38	c #Conflicts:     333000 | #Constraints:      30130
1597.31/1602.38	c INPROCESSING
1597.31/1602.38	c GARBAGE COLLECT
1597.31/1602.38	c #Conflicts:     334000 | #Constraints:      19757
1597.31/1602.38	c #Conflicts:     335000 | #Constraints:      20757
1597.31/1602.38	c GLOBAL bounds - >= 0 @ 1581.07
1637.31/1642.47	c #Conflicts:     336000 | #Constraints:      21759
1637.31/1642.47	c #Conflicts:     337000 | #Constraints:      22759
1637.31/1642.47	c #Conflicts:     338000 | #Constraints:      23759
1637.31/1642.47	c #Conflicts:     339000 | #Constraints:      24759
1637.31/1642.47	c #Conflicts:     340000 | #Constraints:      25759
1637.31/1642.47	c #Conflicts:     341000 | #Constraints:      26759
1637.31/1642.47	c #Conflicts:     342000 | #Constraints:      27759
1637.31/1642.47	c GLOBAL bounds - >= 0 @ 1620.75
1639.41/1644.55	c GLOBAL bounds - >= 0 @ 1622.8
1641.69/1646.89	c #Conflicts:     343000 | #Constraints:      28763
1641.69/1646.89	c GLOBAL bounds - >= 0 @ 1625.13
1644.19/1649.37	c GLOBAL bounds - >= 0 @ 1627.59
1645.79/1650.93	c GLOBAL bounds - >= 0 @ 1629.14
1657.76/1662.98	c #Conflicts:     344000 | #Constraints:      29769
1657.76/1662.98	c #Conflicts:     345000 | #Constraints:      30769
1657.76/1662.98	c INPROCESSING
1657.76/1662.98	c GARBAGE COLLECT
1657.76/1662.98	c #Conflicts:     346000 | #Constraints:      20153
1657.76/1662.98	c GLOBAL bounds - >= 0 @ 1640.97
1704.04/1709.36	c #Conflicts:     347000 | #Constraints:      21155
1704.04/1709.36	c #Conflicts:     348000 | #Constraints:      22155
1704.04/1709.36	c #Conflicts:     349000 | #Constraints:      23155
1704.04/1709.36	c #Conflicts:     350000 | #Constraints:      24155
1704.04/1709.36	c #Conflicts:     351000 | #Constraints:      25155
1704.04/1709.36	c #Conflicts:     352000 | #Constraints:      26155
1704.04/1709.36	c #Conflicts:     353000 | #Constraints:      27155
1704.04/1709.36	c #Conflicts:     354000 | #Constraints:      28155
1704.04/1709.36	c #Conflicts:     355000 | #Constraints:      29155
1704.04/1709.36	c #Conflicts:     356000 | #Constraints:      30155
1704.04/1709.36	c #Conflicts:     357000 | #Constraints:      31155
1704.04/1709.36	c INPROCESSING
1704.04/1709.36	c GARBAGE COLLECT
1704.04/1709.36	c #Conflicts:     358000 | #Constraints:      20338
1704.04/1709.36	c GLOBAL bounds - >= 0 @ 1686.82
1706.75/1712.06	c #Conflicts:     359000 | #Constraints:      21340
1706.75/1712.06	c GLOBAL bounds - >= 0 @ 1689.49
1708.43/1713.74	c #Conflicts:     360000 | #Constraints:      22342
1708.43/1713.74	c GLOBAL bounds - >= 0 @ 1691.16
1710.22/1715.50	c GLOBAL bounds - >= 0 @ 1692.89
1716.91/1722.27	c #Conflicts:     361000 | #Constraints:      23346
1716.91/1722.27	c #Conflicts:     362000 | #Constraints:      24346
1716.91/1722.27	c GLOBAL bounds - >= 0 @ 1699.6
1727.08/1732.43	c #Conflicts:     363000 | #Constraints:      25348
1727.08/1732.43	c GLOBAL bounds - >= 0 @ 1709.66
1746.44/1751.81	c #Conflicts:     364000 | #Constraints:      26350
1746.44/1751.81	c #Conflicts:     365000 | #Constraints:      27350
1746.44/1751.81	c #Conflicts:     366000 | #Constraints:      28350
1746.44/1751.81	c #Conflicts:     367000 | #Constraints:      29350
1746.44/1751.81	c GLOBAL bounds - >= 0 @ 1728.83
1749.53/1754.92	c GLOBAL bounds - >= 0 @ 1731.9
1757.40/1762.83	c #Conflicts:     368000 | #Constraints:      30354
1757.40/1762.83	c #Conflicts:     369000 | #Constraints:      31354
1757.40/1762.83	c GLOBAL bounds - >= 0 @ 1739.7
1770.69/1776.19	c INPROCESSING
1770.69/1776.19	c GARBAGE COLLECT
1770.69/1776.19	c #Conflicts:     370000 | #Constraints:      20360
1770.69/1776.19	c #Conflicts:     371000 | #Constraints:      21360
1770.69/1776.19	c GLOBAL bounds - >= 0 @ 1752.85
1787.54/1793.04	c #Conflicts:     372000 | #Constraints:      22362
1787.54/1793.04	c #Conflicts:     373000 | #Constraints:      23362
1787.54/1793.04	c #Conflicts:     374000 | #Constraints:      24362
1787.54/1793.04	c #Conflicts:     375000 | #Constraints:      25362
1787.54/1793.04	c GLOBAL bounds - >= 0 @ 1769.49
1825.45/1831.03	c #Conflicts:     376000 | #Constraints:      26364
1825.45/1831.03	c #Conflicts:     377000 | #Constraints:      27364
1825.45/1831.03	c #Conflicts:     378000 | #Constraints:      28364
1825.45/1831.03	c #Conflicts:     379000 | #Constraints:      29364
1825.45/1831.03	c #Conflicts:     380000 | #Constraints:      30364
1825.45/1831.03	c #Conflicts:     381000 | #Constraints:      31364
1825.45/1831.03	c INPROCESSING
1825.45/1831.03	c GARBAGE COLLECT
1825.45/1831.03	c #Conflicts:     382000 | #Constraints:      20165
1825.45/1831.03	c #Conflicts:     383000 | #Constraints:      21165
1825.45/1831.03	c #Conflicts:     384000 | #Constraints:      22165
1825.45/1831.03	c GLOBAL bounds - >= 0 @ 1807.11
1828.23/1833.84	c #Conflicts:     385000 | #Constraints:      23167
1828.23/1833.84	c GLOBAL bounds - >= 0 @ 1809.9
1830.54/1836.18	c #Conflicts:     386000 | #Constraints:      24169
1830.54/1836.18	c GLOBAL bounds - >= 0 @ 1812.21
1850.97/1856.66	c #Conflicts:     387000 | #Constraints:      25171
1850.97/1856.66	c #Conflicts:     388000 | #Constraints:      26171
1850.97/1856.66	c #Conflicts:     389000 | #Constraints:      27171
1850.97/1856.66	c GLOBAL bounds - >= 0 @ 1832.47
1863.04/1868.72	c #Conflicts:     390000 | #Constraints:      28173
1863.04/1868.72	c #Conflicts:     391000 | #Constraints:      29173
1863.04/1868.72	c #Conflicts:     392000 | #Constraints:      30173
1863.04/1868.72	c GLOBAL bounds - >= 0 @ 1844.42
1866.35/1872.06	c #Conflicts:     393000 | #Constraints:      31175
1866.35/1872.06	c GLOBAL bounds - >= 0 @ 1847.72
1869.02/1874.76	c GLOBAL bounds - >= 0 @ 1850.41
1872.72/1878.44	c #Conflicts:     394000 | #Constraints:      32179
1872.72/1878.44	c GLOBAL bounds - >= 0 @ 1854.05
1924.43/1930.36	c INPROCESSING
1924.43/1930.36	c GARBAGE COLLECT
1924.43/1930.36	c #Conflicts:     395000 | #Constraints:      20699
1924.43/1930.36	c #Conflicts:     396000 | #Constraints:      21699
1924.43/1930.36	c #Conflicts:     397000 | #Constraints:      22699
1924.43/1930.36	c #Conflicts:     398000 | #Constraints:      23699
1924.43/1930.36	c #Conflicts:     399000 | #Constraints:      24699
1924.43/1930.36	c #Conflicts:     400000 | #Constraints:      25699
1924.43/1930.36	c #Conflicts:     401000 | #Constraints:      26699
1924.43/1930.36	c #Conflicts:     402000 | #Constraints:      27699
1924.43/1930.36	c #Conflicts:     403000 | #Constraints:      28699
1924.43/1930.36	c #Conflicts:     404000 | #Constraints:      29699
1924.43/1930.36	c #Conflicts:     405000 | #Constraints:      30699
1924.43/1930.36	c GLOBAL bounds - >= 0 @ 1905.48
1936.99/1942.99	c #Conflicts:     406000 | #Constraints:      31701
1936.99/1942.99	c GLOBAL bounds - >= 0 @ 1918.01
1961.23/1967.25	c #Conflicts:     407000 | #Constraints:      32703
1961.23/1967.25	c INPROCESSING
1961.23/1967.25	c GARBAGE COLLECT
1961.23/1967.25	c #Conflicts:     408000 | #Constraints:      21096
1961.23/1967.25	c #Conflicts:     409000 | #Constraints:      22096
1961.23/1967.25	c #Conflicts:     410000 | #Constraints:      23096
1961.23/1967.25	c #Conflicts:     411000 | #Constraints:      24096
1961.23/1967.25	c GLOBAL bounds - >= 0 @ 1941.97
1990.45/1996.59	c #Conflicts:     412000 | #Constraints:      25098
1990.45/1996.59	c #Conflicts:     413000 | #Constraints:      26098
1990.45/1996.59	c #Conflicts:     414000 | #Constraints:      27098
1990.45/1996.59	c #Conflicts:     415000 | #Constraints:      28098
1990.45/1996.59	c #Conflicts:     416000 | #Constraints:      29098
1990.45/1996.59	c #Conflicts:     417000 | #Constraints:      30098
1990.45/1996.59	c GLOBAL bounds - >= 0 @ 1971.04
1999.83/2005.91	c #Conflicts:     418000 | #Constraints:      31100
1999.83/2005.91	c GLOBAL bounds - >= 0 @ 1980.26
2012.02/2018.12	c #Conflicts:     419000 | #Constraints:      32102
2012.02/2018.12	c #Conflicts:     420000 | #Constraints:      33102
2012.02/2018.12	c INPROCESSING
2012.02/2018.12	c GARBAGE COLLECT
2012.02/2018.12	c GLOBAL bounds - >= 0 @ 1992.35
2013.60/2019.70	c #Conflicts:     421000 | #Constraints:      21345
2013.60/2019.70	c GLOBAL bounds - >= 0 @ 1993.9
2078.93/2085.28	c #Conflicts:     422000 | #Constraints:      22347
2078.93/2085.28	c #Conflicts:     423000 | #Constraints:      23347
2078.93/2085.28	c #Conflicts:     424000 | #Constraints:      24347
2078.93/2085.28	c #Conflicts:     425000 | #Constraints:      25347
2078.93/2085.28	c #Conflicts:     426000 | #Constraints:      26347
2078.93/2085.28	c #Conflicts:     427000 | #Constraints:      27347
2078.93/2085.28	c #Conflicts:     428000 | #Constraints:      28347
2078.93/2085.28	c #Conflicts:     429000 | #Constraints:      29347
2078.93/2085.28	c #Conflicts:     430000 | #Constraints:      30347
2078.93/2085.28	c #Conflicts:     431000 | #Constraints:      31347
2078.93/2085.28	c #Conflicts:     432000 | #Constraints:      32347
2078.93/2085.28	c #Conflicts:     433000 | #Constraints:      33347
2078.93/2085.28	c INPROCESSING
2078.93/2085.28	c GARBAGE COLLECT
2078.93/2085.28	c #Conflicts:     434000 | #Constraints:      21370
2078.93/2085.28	c #Conflicts:     435000 | #Constraints:      22370
2078.93/2085.28	c #Conflicts:     436000 | #Constraints:      23370
2078.93/2085.28	c GLOBAL bounds - >= 0 @ 2058.81
2123.10/2129.56	c #Conflicts:     437000 | #Constraints:      24372
2123.10/2129.56	c #Conflicts:     438000 | #Constraints:      25372
2123.10/2129.56	c #Conflicts:     439000 | #Constraints:      26372
2123.10/2129.56	c #Conflicts:     440000 | #Constraints:      27372
2123.10/2129.56	c #Conflicts:     441000 | #Constraints:      28372
2123.10/2129.56	c #Conflicts:     442000 | #Constraints:      29372
2123.10/2129.56	c #Conflicts:     443000 | #Constraints:      30372
2123.10/2129.56	c #Conflicts:     444000 | #Constraints:      31372
2123.10/2129.56	c GLOBAL bounds - >= 0 @ 2102.64
2130.89/2137.39	c #Conflicts:     445000 | #Constraints:      32374
2130.89/2137.39	c #Conflicts:     446000 | #Constraints:      33374
2130.89/2137.39	c INPROCESSING
2130.89/2137.39	c GARBAGE COLLECT
2130.89/2137.39	c GLOBAL bounds - >= 0 @ 2110.42
2137.37/2143.83	c #Conflicts:     447000 | #Constraints:      21156
2137.37/2143.83	c #Conflicts:     448000 | #Constraints:      22156
2137.37/2143.83	c #Conflicts:     449000 | #Constraints:      23156
2137.37/2143.83	c GLOBAL bounds - >= 0 @ 2116.79
2139.17/2145.65	c #Conflicts:     450000 | #Constraints:      24158
2139.17/2145.65	c GLOBAL bounds - >= 0 @ 2118.6
2149.05/2155.59	c #Conflicts:     451000 | #Constraints:      25160
2149.05/2155.59	c #Conflicts:     452000 | #Constraints:      26160
2149.05/2155.59	c GLOBAL bounds - >= 0 @ 2128.46
2155.43/2162.01	c #Conflicts:     453000 | #Constraints:      27162
2155.43/2162.01	c #Conflicts:     454000 | #Constraints:      28162
2155.43/2162.01	c GLOBAL bounds - >= 0 @ 2134.81
2229.25/2235.92	c #Conflicts:     455000 | #Constraints:      29164
2229.25/2235.92	c #Conflicts:     456000 | #Constraints:      30164
2229.25/2235.92	c #Conflicts:     457000 | #Constraints:      31164
2229.25/2235.92	c #Conflicts:     458000 | #Constraints:      32164
2229.25/2235.92	c #Conflicts:     459000 | #Constraints:      33164
2229.25/2235.92	c #Conflicts:     460000 | #Constraints:      34164
2229.25/2235.92	c INPROCESSING
2229.25/2235.92	c GARBAGE COLLECT
2229.25/2235.92	c #Conflicts:     461000 | #Constraints:      21806
2229.25/2235.92	c #Conflicts:     462000 | #Constraints:      22806
2229.25/2235.92	c #Conflicts:     463000 | #Constraints:      23806
2229.25/2235.92	c #Conflicts:     464000 | #Constraints:      24806
2229.25/2235.92	c #Conflicts:     465000 | #Constraints:      25806
2229.25/2235.92	c #Conflicts:     466000 | #Constraints:      26806
2229.25/2235.92	c #Conflicts:     467000 | #Constraints:      27806
2229.25/2235.92	c #Conflicts:     468000 | #Constraints:      28806
2229.25/2235.92	c #Conflicts:     469000 | #Constraints:      29806
2229.25/2235.92	c #Conflicts:     470000 | #Constraints:      30806
2229.25/2235.92	c GLOBAL bounds - >= 0 @ 2207.99
2248.31/2255.08	c #Conflicts:     471000 | #Constraints:      31808
2248.31/2255.08	c #Conflicts:     472000 | #Constraints:      32808
2248.31/2255.08	c #Conflicts:     473000 | #Constraints:      33808
2248.31/2255.08	c #Conflicts:     474000 | #Constraints:      34808
2248.31/2255.08	c INPROCESSING
2248.31/2255.08	c GARBAGE COLLECT
2248.31/2255.08	c GLOBAL bounds - >= 0 @ 2226.97
2498.16/2505.51	c #Conflicts:     475000 | #Constraints:      22222
2498.16/2505.51	c #Conflicts:     476000 | #Constraints:      23222
2498.16/2505.51	c #Conflicts:     477000 | #Constraints:      24222
2498.16/2505.51	c #Conflicts:     478000 | #Constraints:      25222
2498.16/2505.51	c #Conflicts:     479000 | #Constraints:      26222
2498.16/2505.51	c #Conflicts:     480000 | #Constraints:      27222
2498.16/2505.51	c #Conflicts:     481000 | #Constraints:      28222
2498.16/2505.51	c #Conflicts:     482000 | #Constraints:      29222
2498.16/2505.51	c #Conflicts:     483000 | #Constraints:      30222
2498.16/2505.51	c #Conflicts:     484000 | #Constraints:      31222
2498.16/2505.51	c #Conflicts:     485000 | #Constraints:      32222
2498.16/2505.51	c #Conflicts:     486000 | #Constraints:      33222
2498.16/2505.51	c #Conflicts:     487000 | #Constraints:      34222
2498.16/2505.51	c #Conflicts:     488000 | #Constraints:      35222
2498.16/2505.51	c INPROCESSING
2498.16/2505.51	c GARBAGE COLLECT
2498.16/2505.51	c #Conflicts:     489000 | #Constraints:      22391
2498.16/2505.51	c #Conflicts:     490000 | #Constraints:      23391
2498.16/2505.51	c #Conflicts:     491000 | #Constraints:      24391
2498.16/2505.51	c #Conflicts:     492000 | #Constraints:      25391
2498.16/2505.51	c #Conflicts:     493000 | #Constraints:      26391
2498.16/2505.51	c #Conflicts:     494000 | #Constraints:      27391
2498.16/2505.51	c #Conflicts:     495000 | #Constraints:      28391
2498.16/2505.51	c #Conflicts:     496000 | #Constraints:      29391
2498.16/2505.51	c #Conflicts:     497000 | #Constraints:      30391
2498.16/2505.51	c #Conflicts:     498000 | #Constraints:      31391
2498.16/2505.51	c #Conflicts:     499000 | #Constraints:      32391
2498.16/2505.51	c #Conflicts:     500000 | #Constraints:      33391
2498.16/2505.51	c #Conflicts:     501000 | #Constraints:      34391
2498.16/2505.51	c #Conflicts:     502000 | #Constraints:      35391
2498.16/2505.51	c INPROCESSING
2498.16/2505.51	c GARBAGE COLLECT
2498.16/2505.51	c #Conflicts:     503000 | #Constraints:      22412
2498.16/2505.51	c #Conflicts:     504000 | #Constraints:      23412
2498.16/2505.51	c #Conflicts:     505000 | #Constraints:      24412
2498.16/2505.51	c #Conflicts:     506000 | #Constraints:      25412
2498.16/2505.51	c #Conflicts:     507000 | #Constraints:      26412
2498.16/2505.51	c #Conflicts:     508000 | #Constraints:      27412
2498.16/2505.51	c #Conflicts:     509000 | #Constraints:      28412
2498.16/2505.51	c #Conflicts:     510000 | #Constraints:      29412
2498.16/2505.51	c #Conflicts:     511000 | #Constraints:      30412
2498.16/2505.51	c #Conflicts:     512000 | #Constraints:      31412
2498.16/2505.51	c #Conflicts:     513000 | #Constraints:      32412
2498.16/2505.51	c #Conflicts:     514000 | #Constraints:      33412
2498.16/2505.51	c #Conflicts:     515000 | #Constraints:      34412
2498.16/2505.51	c #Conflicts:     516000 | #Constraints:      35412
2498.16/2505.51	c INPROCESSING
2498.16/2505.51	c GARBAGE COLLECT
2498.16/2505.51	c #Conflicts:     517000 | #Constraints:      22232
2498.16/2505.51	c #Conflicts:     518000 | #Constraints:      23232
2498.16/2505.51	c #Conflicts:     519000 | #Constraints:      24232
2498.16/2505.51	c #Conflicts:     520000 | #Constraints:      25232
2498.16/2505.51	c #Conflicts:     521000 | #Constraints:      26232
2498.16/2505.51	c #Conflicts:     522000 | #Constraints:      27232
2498.16/2505.51	c #Conflicts:     523000 | #Constraints:      28232
2498.16/2505.51	c #Conflicts:     524000 | #Constraints:      29232
2498.16/2505.51	c #Conflicts:     525000 | #Constraints:      30232
2498.16/2505.51	c #Conflicts:     526000 | #Constraints:      31232
2498.16/2505.51	c #Conflicts:     527000 | #Constraints:      32232
2498.16/2505.51	c GLOBAL bounds - >= 0 @ 2474.97
2513.52/2521.00	c #Conflicts:     528000 | #Constraints:      33234
2513.52/2521.00	c #Conflicts:     529000 | #Constraints:      34234
2513.52/2521.00	c #Conflicts:     530000 | #Constraints:      35234
2513.52/2521.00	c GLOBAL bounds - >= 0 @ 2490.28
2530.58/2538.04	c #Conflicts:     531000 | #Constraints:      36236
2530.58/2538.04	c INPROCESSING
2530.58/2538.04	c GARBAGE COLLECT
2530.58/2538.04	c #Conflicts:     532000 | #Constraints:      22794
2530.58/2538.04	c #Conflicts:     533000 | #Constraints:      23794
2530.58/2538.04	c GLOBAL bounds - >= 0 @ 2507.12
2570.47/2578.02	c #Conflicts:     534000 | #Constraints:      24796
2570.47/2578.02	c #Conflicts:     535000 | #Constraints:      25796
2570.47/2578.02	c #Conflicts:     536000 | #Constraints:      26796
2570.47/2578.02	c #Conflicts:     537000 | #Constraints:      27796
2570.47/2578.02	c #Conflicts:     538000 | #Constraints:      28796
2570.47/2578.02	c #Conflicts:     539000 | #Constraints:      29796
2570.47/2578.02	c #Conflicts:     540000 | #Constraints:      30796
2570.47/2578.02	c GLOBAL bounds - >= 0 @ 2546.73
2579.13/2586.72	c #Conflicts:     541000 | #Constraints:      31798
2579.13/2586.72	c #Conflicts:     542000 | #Constraints:      32798
2579.13/2586.72	c GLOBAL bounds - >= 0 @ 2555.34
2583.82/2591.42	c GLOBAL bounds - >= 0 @ 2559.99
2585.61/2593.25	c #Conflicts:     543000 | #Constraints:      33802
2585.61/2593.25	c GLOBAL bounds - >= 0 @ 2561.82
2587.61/2595.23	c GLOBAL bounds - >= 0 @ 2563.79
2594.79/2602.46	c #Conflicts:     544000 | #Constraints:      34806
2594.79/2602.46	c GLOBAL bounds - >= 0 @ 2570.95
2600.97/2608.66	c #Conflicts:     545000 | #Constraints:      35808
2600.97/2608.66	c GLOBAL bounds - >= 0 @ 2577.09
2645.47/2653.20	c #Conflicts:     546000 | #Constraints:      36810
2645.47/2653.20	c INPROCESSING
2645.47/2653.20	c GARBAGE COLLECT
2645.47/2653.20	c #Conflicts:     547000 | #Constraints:      23218
2645.47/2653.20	c #Conflicts:     548000 | #Constraints:      24218
2645.47/2653.20	c #Conflicts:     549000 | #Constraints:      25218
2645.47/2653.20	c #Conflicts:     550000 | #Constraints:      26218
2645.47/2653.20	c #Conflicts:     551000 | #Constraints:      27218
2645.47/2653.20	c #Conflicts:     552000 | #Constraints:      28218
2645.47/2653.20	c #Conflicts:     553000 | #Constraints:      29218
2645.47/2653.20	c GLOBAL bounds - >= 0 @ 2621.15
2652.85/2660.69	c #Conflicts:     554000 | #Constraints:      30220
2652.85/2660.69	c GLOBAL bounds - >= 0 @ 2628.56
2816.53/2824.73	c #Conflicts:     555000 | #Constraints:      31222
2816.53/2824.73	c #Conflicts:     556000 | #Constraints:      32222
2816.53/2824.73	c #Conflicts:     557000 | #Constraints:      33222
2816.53/2824.73	c #Conflicts:     558000 | #Constraints:      34222
2816.53/2824.73	c #Conflicts:     559000 | #Constraints:      35222
2816.53/2824.73	c #Conflicts:     560000 | #Constraints:      36222
2816.53/2824.73	c #Conflicts:     561000 | #Constraints:      37222
2816.53/2824.73	c INPROCESSING
2816.53/2824.73	c GARBAGE COLLECT
2816.53/2824.73	c #Conflicts:     562000 | #Constraints:      23441
2816.53/2824.73	c #Conflicts:     563000 | #Constraints:      24441
2816.53/2824.73	c #Conflicts:     564000 | #Constraints:      25441
2816.53/2824.73	c #Conflicts:     565000 | #Constraints:      26441
2816.53/2824.73	c #Conflicts:     566000 | #Constraints:      27441
2816.53/2824.73	c #Conflicts:     567000 | #Constraints:      28441
2816.53/2824.73	c #Conflicts:     568000 | #Constraints:      29441
2816.53/2824.73	c #Conflicts:     569000 | #Constraints:      30441
2816.53/2824.73	c #Conflicts:     570000 | #Constraints:      31441
2816.53/2824.73	c #Conflicts:     571000 | #Constraints:      32441
2816.53/2824.73	c #Conflicts:     572000 | #Constraints:      33441
2816.53/2824.73	c #Conflicts:     573000 | #Constraints:      34441
2816.53/2824.73	c #Conflicts:     574000 | #Constraints:      35441
2816.53/2824.74	c #Conflicts:     575000 | #Constraints:      36441
2816.53/2824.74	c #Conflicts:     576000 | #Constraints:      37441
2816.53/2824.74	c INPROCESSING
2816.53/2824.74	c GARBAGE COLLECT
2816.53/2824.74	c #Conflicts:     577000 | #Constraints:      23450
2816.53/2824.74	c #Conflicts:     578000 | #Constraints:      24450
2816.53/2824.74	c #Conflicts:     579000 | #Constraints:      25450
2816.53/2824.74	c #Conflicts:     580000 | #Constraints:      26450
2816.53/2824.74	c #Conflicts:     581000 | #Constraints:      27450
2816.53/2824.74	c #Conflicts:     582000 | #Constraints:      28450
2816.53/2824.74	c #Conflicts:     583000 | #Constraints:      29450
2816.53/2824.74	c GLOBAL bounds - >= 0 @ 2790.78
2835.90/2844.11	c #Conflicts:     584000 | #Constraints:      30452
2835.90/2844.11	c #Conflicts:     585000 | #Constraints:      31452
2835.90/2844.11	c #Conflicts:     586000 | #Constraints:      32452
2835.90/2844.11	c #Conflicts:     587000 | #Constraints:      33452
2835.90/2844.11	c GLOBAL bounds - >= 0 @ 2809.98
2871.69/2880.02	c #Conflicts:     588000 | #Constraints:      34454
2871.69/2880.02	c #Conflicts:     589000 | #Constraints:      35454
2871.69/2880.02	c #Conflicts:     590000 | #Constraints:      36454
2871.69/2880.02	c #Conflicts:     591000 | #Constraints:      37454
2871.69/2880.02	c INPROCESSING
2871.69/2880.02	c GARBAGE COLLECT
2871.69/2880.02	c #Conflicts:     592000 | #Constraints:      23252
2871.69/2880.02	c GLOBAL bounds - >= 0 @ 2845.36
2950.77/2959.30	c #Conflicts:     593000 | #Constraints:      24254
2950.77/2959.30	c #Conflicts:     594000 | #Constraints:      25254
2950.77/2959.30	c #Conflicts:     595000 | #Constraints:      26254
2950.77/2959.30	c #Conflicts:     596000 | #Constraints:      27254
2950.77/2959.30	c #Conflicts:     597000 | #Constraints:      28254
2950.77/2959.30	c #Conflicts:     598000 | #Constraints:      29254
2950.77/2959.30	c #Conflicts:     599000 | #Constraints:      30254
2950.77/2959.30	c #Conflicts:     600000 | #Constraints:      31254
2950.77/2959.30	c #Conflicts:     601000 | #Constraints:      32254
2950.77/2959.30	c #Conflicts:     602000 | #Constraints:      33254
2950.77/2959.30	c #Conflicts:     603000 | #Constraints:      34254
2950.77/2959.30	c #Conflicts:     604000 | #Constraints:      35254
2950.77/2959.30	c #Conflicts:     605000 | #Constraints:      36254
2950.77/2959.30	c #Conflicts:     606000 | #Constraints:      37254
2950.77/2959.30	c GLOBAL bounds - >= 0 @ 2923.82
3116.15/3125.15	c #Conflicts:     607000 | #Constraints:      38256
3116.15/3125.15	c INPROCESSING
3116.15/3125.15	c GARBAGE COLLECT
3116.15/3125.15	c #Conflicts:     608000 | #Constraints:      23859
3116.15/3125.15	c #Conflicts:     609000 | #Constraints:      24859
3116.15/3125.15	c #Conflicts:     610000 | #Constraints:      25859
3116.15/3125.15	c #Conflicts:     611000 | #Constraints:      26859
3116.15/3125.15	c #Conflicts:     612000 | #Constraints:      27859
3116.15/3125.15	c #Conflicts:     613000 | #Constraints:      28859
3116.15/3125.15	c #Conflicts:     614000 | #Constraints:      29859
3116.15/3125.15	c #Conflicts:     615000 | #Constraints:      30859
3116.15/3125.15	c #Conflicts:     616000 | #Constraints:      31859
3116.15/3125.15	c #Conflicts:     617000 | #Constraints:      32859
3116.15/3125.15	c #Conflicts:     618000 | #Constraints:      33859
3116.15/3125.15	c #Conflicts:     619000 | #Constraints:      34859
3116.15/3125.15	c #Conflicts:     620000 | #Constraints:      35859
3116.15/3125.15	c #Conflicts:     621000 | #Constraints:      36859
3116.15/3125.15	c #Conflicts:     622000 | #Constraints:      37859
3116.15/3125.15	c #Conflicts:     623000 | #Constraints:      38859
3116.15/3125.15	c INPROCESSING
3116.15/3125.15	c GARBAGE COLLECT
3116.15/3125.15	c #Conflicts:     624000 | #Constraints:      24269
3116.15/3125.15	c #Conflicts:     625000 | #Constraints:      25269
3116.15/3125.15	c #Conflicts:     626000 | #Constraints:      26269
3116.15/3125.15	c #Conflicts:     627000 | #Constraints:      27269
3116.15/3125.15	c #Conflicts:     628000 | #Constraints:      28269
3116.15/3125.15	c #Conflicts:     629000 | #Constraints:      29269
3116.15/3125.15	c #Conflicts:     630000 | #Constraints:      30269
3116.15/3125.15	c #Conflicts:     631000 | #Constraints:      31269
3116.15/3125.15	c #Conflicts:     632000 | #Constraints:      32269
3116.15/3125.15	c #Conflicts:     633000 | #Constraints:      33269
3116.15/3125.15	c GLOBAL bounds - >= 0 @ 3088.24
3147.66/3156.70	c #Conflicts:     634000 | #Constraints:      34271
3147.66/3156.70	c #Conflicts:     635000 | #Constraints:      35271
3147.66/3156.70	c #Conflicts:     636000 | #Constraints:      36271
3147.66/3156.70	c #Conflicts:     637000 | #Constraints:      37271
3147.66/3156.70	c #Conflicts:     638000 | #Constraints:      38271
3147.66/3156.70	c GLOBAL bounds - >= 0 @ 3119.51
3171.61/3180.78	c #Conflicts:     639000 | #Constraints:      39273
3171.61/3180.78	c INPROCESSING
3171.61/3180.78	c GARBAGE COLLECT
3171.61/3180.78	c #Conflicts:     640000 | #Constraints:      24449
3171.61/3180.78	c #Conflicts:     641000 | #Constraints:      25449
3171.61/3180.78	c #Conflicts:     642000 | #Constraints:      26449
3171.61/3180.78	c #Conflicts:     643000 | #Constraints:      27449
3171.61/3180.78	c GLOBAL bounds - >= 0 @ 3143.29
3302.77/3312.28	c #Conflicts:     644000 | #Constraints:      28451
3302.77/3312.28	c #Conflicts:     645000 | #Constraints:      29451
3302.77/3312.28	c #Conflicts:     646000 | #Constraints:      30451
3302.77/3312.28	c #Conflicts:     647000 | #Constraints:      31451
3302.77/3312.28	c #Conflicts:     648000 | #Constraints:      32451
3302.77/3312.28	c #Conflicts:     649000 | #Constraints:      33451
3302.77/3312.28	c #Conflicts:     650000 | #Constraints:      34451
3302.77/3312.28	c #Conflicts:     651000 | #Constraints:      35451
3302.77/3312.28	c #Conflicts:     652000 | #Constraints:      36451
3302.77/3312.28	c #Conflicts:     653000 | #Constraints:      37451
3302.77/3312.28	c #Conflicts:     654000 | #Constraints:      38451
3302.77/3312.28	c #Conflicts:     655000 | #Constraints:      39451
3302.77/3312.28	c INPROCESSING
3302.77/3312.28	c GARBAGE COLLECT
3302.77/3312.28	c #Conflicts:     656000 | #Constraints:      24467
3302.77/3312.28	c #Conflicts:     657000 | #Constraints:      25467
3302.77/3312.28	c #Conflicts:     658000 | #Constraints:      26467
3302.77/3312.28	c #Conflicts:     659000 | #Constraints:      27467
3302.77/3312.28	c #Conflicts:     660000 | #Constraints:      28467
3302.77/3312.28	c #Conflicts:     661000 | #Constraints:      29467
3302.77/3312.28	c GLOBAL bounds - >= 0 @ 3273.49
3363.01/3372.61	c #Conflicts:     662000 | #Constraints:      30469
3363.01/3372.61	c #Conflicts:     663000 | #Constraints:      31469
3363.01/3372.61	c #Conflicts:     664000 | #Constraints:      32469
3363.01/3372.61	c #Conflicts:     665000 | #Constraints:      33469
3363.01/3372.61	c #Conflicts:     666000 | #Constraints:      34469
3363.01/3372.61	c #Conflicts:     667000 | #Constraints:      35469
3363.01/3372.61	c #Conflicts:     668000 | #Constraints:      36469
3363.01/3372.61	c #Conflicts:     669000 | #Constraints:      37469
3363.01/3372.61	c #Conflicts:     670000 | #Constraints:      38469
3363.01/3372.61	c GLOBAL bounds - >= 0 @ 3333.21
3388.64/3398.37	c #Conflicts:     671000 | #Constraints:      39471
3388.64/3398.37	c INPROCESSING
3388.64/3398.37	c GARBAGE COLLECT
3388.64/3398.37	c #Conflicts:     672000 | #Constraints:      24265
3388.64/3398.37	c #Conflicts:     673000 | #Constraints:      25265
3388.64/3398.37	c #Conflicts:     674000 | #Constraints:      26265
3388.64/3398.37	c GLOBAL bounds - >= 0 @ 3358.67
3394.35/3404.07	c #Conflicts:     675000 | #Constraints:      27267
3394.35/3404.07	c GLOBAL bounds - >= 0 @ 3364.33
3399.52/3409.25	c #Conflicts:     676000 | #Constraints:      28269
3399.52/3409.25	c GLOBAL bounds - >= 0 @ 3369.46
3431.54/3441.33	c #Conflicts:     677000 | #Constraints:      29271
3431.54/3441.33	c #Conflicts:     678000 | #Constraints:      30271
3431.54/3441.33	c #Conflicts:     679000 | #Constraints:      31271
3431.54/3441.33	c #Conflicts:     680000 | #Constraints:      32271
3431.54/3441.33	c #Conflicts:     681000 | #Constraints:      33271
3431.54/3441.33	c #Conflicts:     682000 | #Constraints:      34271
3431.54/3441.33	c GLOBAL bounds - >= 0 @ 3401.18
3482.51/3492.48	c #Conflicts:     683000 | #Constraints:      35273
3482.51/3492.48	c #Conflicts:     684000 | #Constraints:      36273
3482.51/3492.48	c #Conflicts:     685000 | #Constraints:      37273
3482.51/3492.48	c #Conflicts:     686000 | #Constraints:      38273
3482.51/3492.48	c #Conflicts:     687000 | #Constraints:      39273
3482.51/3492.48	c #Conflicts:     688000 | #Constraints:      40273
3482.51/3492.48	c INPROCESSING
3482.51/3492.48	c GARBAGE COLLECT
3482.51/3492.48	c #Conflicts:     689000 | #Constraints:      24874
3482.51/3492.48	c #Conflicts:     690000 | #Constraints:      25874
3482.51/3492.48	c GLOBAL bounds - >= 0 @ 3451.81
3495.28/3505.23	c #Conflicts:     691000 | #Constraints:      26876
3495.28/3505.23	c #Conflicts:     692000 | #Constraints:      27876
3495.28/3505.23	c #Conflicts:     693000 | #Constraints:      28876
3495.28/3505.23	c GLOBAL bounds - >= 0 @ 3464.47
3502.76/3512.71	c #Conflicts:     694000 | #Constraints:      29878
3502.76/3512.71	c GLOBAL bounds - >= 0 @ 3471.89
3517.82/3527.86	c #Conflicts:     695000 | #Constraints:      30880
3517.82/3527.86	c #Conflicts:     696000 | #Constraints:      31880
3517.82/3527.86	c #Conflicts:     697000 | #Constraints:      32880
3517.82/3527.86	c GLOBAL bounds - >= 0 @ 3486.9
3524.41/3534.50	c #Conflicts:     698000 | #Constraints:      33882
3524.41/3534.50	c GLOBAL bounds - >= 0 @ 3493.48
3559.93/3570.08	c #Conflicts:     699000 | #Constraints:      34884
3559.93/3570.08	c #Conflicts:     700000 | #Constraints:      35884
3559.93/3570.08	c #Conflicts:     701000 | #Constraints:      36884
3559.93/3570.08	c #Conflicts:     702000 | #Constraints:      37884
3559.93/3570.08	c #Conflicts:     703000 | #Constraints:      38884
3559.93/3570.08	c GLOBAL bounds - >= 0 @ 3528.68
3565.30/3575.44	c #Conflicts:     704000 | #Constraints:      39886
3565.30/3575.44	c GLOBAL bounds - >= 0 @ 3533.99
3569.20/3579.33	c GLOBAL bounds - >= 0 @ 3537.82
3579.67/3589.86	c #Conflicts:     705000 | #Constraints:      40890
3579.67/3589.86	c INPROCESSING
3579.67/3589.86	c GARBAGE COLLECT
3579.67/3589.86	c #Conflicts:     706000 | #Constraints:      25260
3579.67/3589.86	c GLOBAL bounds - >= 0 @ 3548.26
3582.07/3592.23	c #Conflicts:     707000 | #Constraints:      26262
3582.07/3592.23	c GLOBAL bounds - >= 0 @ 3550.59
3600.01/3610.20	c #Conflicts:     708000 | #Constraints:      27264
3600.01/3610.20	c #Conflicts:     709000 | #Constraints:      28264
3600.01/3610.20	c #Conflicts:     710000 | #Constraints:      29264
3600.01/3610.20	c #Conflicts:     711000 | #Constraints:      30264
3600.01/3610.20	c cpu time 3568.41 s
3600.01/3610.20	c deterministic time 1 1.00e+00
3600.01/3610.20	c optimization time 3568.33 s
3600.01/3610.20	c total solve time 0 s
3600.01/3610.20	c core-guided solve time 0 s
3600.01/3610.20	c propagation time 0.006514 s
3600.01/3610.20	c conflict analysis time 0 s
3600.01/3610.20	c propagations 0
3600.01/3610.20	c resolve steps 0
3600.01/3610.20	c decisions 0
3600.01/3610.20	c conflicts 0
3600.01/3610.20	c restarts 0
3600.01/3610.20	c inprocessing phases 0
3600.01/3610.20	c garbage collections 0 ,( -nan )
3600.01/3610.20	c input clauses 7020 ,( 100.00 )
3600.01/3610.20	c input cardinalities 0 ,( 0.00 )
3600.01/3610.20	c input general constraints 0 ,( 0.00 )
3600.01/3610.20	c input average constraint length 4.00
3600.01/3610.20	c input average constraint degree 1.00
3600.01/3610.20	c learned clauses 0 ,( 0.00 )
3600.01/3610.20	c learned cardinalities 0 ,( 0.00 )
3600.01/3610.20	c learned general constraints 0 ,( 0.00 )
3600.01/3610.20	c learned average constraint length 0.00
3600.01/3610.20	c learned average constraint degree 0.00
3600.01/3610.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.20	c watched   constraints 0 ,( -nan ) 
3600.01/3610.20	c counting  constraints 0 ,( -nan ) 
3600.01/3610.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.20	c gcd simplifications 0
3600.01/3610.20	c detected cardinalities 0
3600.01/3610.20	c weakened non-implied lits 0
3600.01/3610.20	c weakened non-implying lits 0
3600.01/3610.20	c original variables 7020
3600.01/3610.20	c clausal propagations 0
3600.01/3610.20	c cardinality propagations 0
3600.01/3610.20	c watched propagations 0
3600.01/3610.20	c counting propagations 0
3600.01/3610.20	c watch lookups 0
3600.01/3610.20	c watch backjump lookups 0
3600.01/3610.20	c watch checks 0
3600.01/3610.20	c propagation checks 0
3600.01/3610.20	c constraint additions 0
3600.01/3610.20	c trail pops 0
3600.01/3610.20	c formula constraints 7020
3600.01/3610.20	c learned constraints 0
3600.01/3610.20	c bound constraints 0
3600.01/3610.20	c core-guided constraints 0
3600.01/3610.20	c encountered formula constraints 0
3600.01/3610.20	c encountered learned constraints 0
3600.01/3610.20	c encountered bound constraints 0
3600.01/3610.20	c encountered core-guided constraints 0
3600.01/3610.20	c LP total time 0 s
3600.01/3610.20	c LP solve time 0 s
3600.01/3610.20	c LP constraints added 0
3600.01/3610.20	c LP constraints removed 0
3600.01/3610.20	c LP pivots internal 0
3600.01/3610.20	c LP pivots root 0
3600.01/3610.20	c LP calls 0
3600.01/3610.20	c LP optimalities 0
3600.01/3610.20	c LP no pivot count 0
3600.01/3610.20	c LP infeasibilities 0
3600.01/3610.20	c LP valid Farkas constraints 0
3600.01/3610.20	c LP learned Farkas constraints 0
3600.01/3610.20	c LP basis resets 0
3600.01/3610.20	c LP cycling count 0
3600.01/3610.20	c LP singular count 0
3600.01/3610.20	c LP no primal count 0
3600.01/3610.20	c LP no farkas count 0
3600.01/3610.20	c LP other issue count 0
3600.01/3610.20	c LP Gomory cuts 0
3600.01/3610.20	c LP learned cuts 0
3600.01/3610.20	c LP deleted cuts 0
3600.01/3610.20	c LP encountered Gomory constraints 0
3600.01/3610.20	c LP encountered Farkas constraints 0
3600.01/3610.20	c LP encountered learned Farkas constraints 0
3600.01/3610.20	c CG auxiliary variables introduced 0
3600.01/3610.20	c CG solutions found 0
3600.01/3610.20	c CG cores constructed 0
3600.01/3610.20	c CG core cardinality constraints returned 0
3600.01/3610.20	c CG unit cores 0
3600.01/3610.20	c CG single cores 0
3600.01/3610.20	c CG blocks removed during cardinality reduction 0
3600.01/3610.20	c CG first core best 0
3600.01/3610.20	c CG decision core best 0
3600.01/3610.20	c CG core reduction tie 0
3600.01/3610.20	c CG core degree average 0.00
3600.01/3610.20	c CG core slack average 0.00
3600.01/3610.20	c CG core upper bound improvements 0
3600.01/3610.20	c STR number of successful calls 0
3600.01/3610.20	c STR number of unsuccessful calls 0
3600.01/3610.20	c STR number of inconclusive calls 0
3600.01/3610.20	c STR number of successful attempts 0
3600.01/3610.20	c STR number of unsuccessful attempts 0
3600.01/3610.20	c STR number of inconclusive attempts 0
3600.01/3610.20	c STR average degree increase per successful call inf
3600.01/3610.20	c STR average degree increase per successful attempt inf
3600.01/3610.20	c STR total number of conflicts for successful attempts 0
3600.01/3610.20	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20	c STR average number of conflicts per successful attempt inf
3600.01/3610.20	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20	c AVG.sumWPerc -nan 
3600.01/3610.20	c bigint constraints 0 
3600.01/3610.20	s UNKNOWN
3600.01/3610.20	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63066 MiB free)
  memory of node 1: 64507 MiB (63559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520849-1751579896/watcher-4520849-1751579896 -o /tmp/evaluation-result-4520849-1751579896/solver-4520849-1751579896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520849-1751579896.opb PROOFDIR/proof-4520849-1751579896 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=82797, runsolver pid=82791

[startup+0.100072 s]*
/proc/loadavg: 1.10 1.11 1.70 1/245 82798
/proc/meminfo: memFree=129664668/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=1776 memory=256 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) D 82791 82797 82743 0 -1 4456448 73 0 0 0 0 0 0 0 20 0 1 0 73669795 1818624 64 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 444 64 64 219 0 64 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 1776 KiB
Current children cumulated memory: 256 KiB

[startup+0.214076 s]*
/proc/loadavg: 1.10 1.11 1.70 4/240 82802
/proc/meminfo: memFree=129672268/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=56756 memory=9760 CPUtime=0.03 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 942 0 0 0 2 1 0 0 20 0 1 0 73669810 58118144 2440 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 14189 2440 1920 1147 0 1616 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 60948 KiB
Current children cumulated memory: 12704 KiB

[startup+0.313561 s]*
/proc/loadavg: 1.10 1.11 1.70 2/255 82817
/proc/meminfo: memFree=129673768/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=71164 memory=20892 CPUtime=0.13 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 3890 0 0 0 9 4 0 0 20 0 1 0 73669810 72871936 5223 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 17791 5223 2272 1147 0 5218 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 75356 KiB
Current children cumulated memory: 23836 KiB

[startup+0.700386 s]
/proc/loadavg: 1.10 1.11 1.70 5/255 82817
/proc/meminfo: memFree=129668788/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=79000 memory=32288 CPUtime=0.5 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 6244 0 0 0 40 10 0 0 20 0 1 0 73669810 80896000 8072 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 19750 8072 2304 1147 0 7177 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 83192 KiB
Current children cumulated memory: 35232 KiB

[startup+1.50037 s]
/proc/loadavg: 1.10 1.11 1.70 5/255 82817
/proc/meminfo: memFree=129608180/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=116092 memory=65552 CPUtime=1.3 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 12987 0 0 0 113 17 0 0 20 0 1 0 73669810 118878208 16388 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 29023 16388 2336 1147 0 16450 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 120284 KiB
Current children cumulated memory: 68496 KiB

[startup+3.11383 s]
/proc/loadavg: 1.10 1.11 1.70 5/256 82819
/proc/meminfo: memFree=129320308/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=236148 memory=182668 CPUtime=2.9 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 36142 0 0 0 263 27 0 0 20 0 1 0 73669810 241815552 45667 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 59037 45667 2336 1147 0 46464 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 240340 KiB
Current children cumulated memory: 185612 KiB

[startup+6.30042 s]
/proc/loadavg: 1.33 1.16 1.71 5/256 82819
/proc/meminfo: memFree=128683928/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=435908 memory=348976 CPUtime=6.07 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 65978 0 0 0 569 38 0 0 20 0 1 0 73669810 446369792 87244 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 108977 87244 2336 1147 0 96404 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 440100 KiB
Current children cumulated memory: 351920 KiB

[startup+12.7004 s]
/proc/loadavg: 1.55 1.21 1.72 5/256 82819
/proc/meminfo: memFree=128345528/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=669408 memory=536084 CPUtime=12.46 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 104060 0 0 0 1192 54 0 0 20 0 1 0 73669810 685473792 134021 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 167352 134021 2336 1147 0 154779 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 673600 KiB
Current children cumulated memory: 539028 KiB

[startup+25.5005 s]
/proc/loadavg: 2.17 1.36 1.76 5/256 82819
/proc/meminfo: memFree=127929996/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=752444 memory=616760 CPUtime=25.21 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 115050 0 0 0 2451 70 0 0 20 0 1 0 73669810 770502656 154190 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 188111 154190 2336 1147 0 175538 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 756636 KiB
Current children cumulated memory: 619704 KiB

[startup+51.1139 s]
/proc/loadavg: 2.80 1.57 1.82 5/260 82823
/proc/meminfo: memFree=127054920/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=1340808 memory=973100 CPUtime=50.71 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 189774 0 0 0 4951 120 0 0 20 0 1 0 73669810 1372987392 243275 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 335202 243275 2336 1147 0 322629 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 1345000 KiB
Current children cumulated memory: 976044 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.95 1.94 5/261 82826
/proc/meminfo: memFree=125969372/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=1352748 memory=1098624 CPUtime=101.72 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 206922 0 0 0 9985 187 0 0 20 0 1 0 73669810 1385213952 274656 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 338187 274656 2336 1147 0 325614 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 1356940 KiB
Current children cumulated memory: 1101568 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.37 2.09 5/262 82855
/proc/meminfo: memFree=124711100/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=1355788 memory=1183148 CPUtime=161.51 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 216850 0 0 0 15891 260 0 0 20 0 1 0 73669810 1388326912 295787 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 338947 295787 2336 1147 0 326374 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 1359980 KiB
Current children cumulated memory: 1186092 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.68 2.22 5/263 82858
/proc/meminfo: memFree=123707996/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=1574588 memory=1292452 CPUtime=221.31 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 233048 0 0 0 21804 327 0 0 20 0 1 0 73669810 1612378112 323113 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 393647 323113 2336 1147 0 381074 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 1578780 KiB
Current children cumulated memory: 1295396 KiB

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

[pid=82799] ppid=82797 vsize=5251448 memory=4222452 CPUtime=3093.4 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 741210 0 0 0 306558 2782 0 0 20 0 1 0 73669810 5377482752 1055613 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1312862 1055613 2336 1147 0 1300289 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 5255640 KiB
Current children cumulated memory: 4225396 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.21 4.09 5/259 83009
/proc/meminfo: memFree=84072160/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5273980 memory=4285948 CPUtime=3153.25 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 751073 0 0 0 312507 2818 0 0 20 0 1 0 73669810 5400555520 1071487 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1318495 1071487 2336 1147 0 1305922 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 5278172 KiB
Current children cumulated memory: 4288892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.09 5/259 83011
/proc/meminfo: memFree=83464604/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5273980 memory=4285948 CPUtime=3213.1 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 751530 0 0 0 318434 2876 0 0 20 0 1 0 73669810 5400555520 1071487 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1318495 1071487 2336 1147 0 1305922 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 5278172 KiB
Current children cumulated memory: 4288892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/258 83013
/proc/meminfo: memFree=82907372/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5276028 memory=4287356 CPUtime=3272.94 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 751980 0 0 0 324381 2913 0 0 20 0 1 0 73669810 5402652672 1071839 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1319007 1071839 2336 1147 0 1306434 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 5280220 KiB
Current children cumulated memory: 4290300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/259 83016
/proc/meminfo: memFree=82212516/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5276028 memory=4287356 CPUtime=3332.79 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 752456 0 0 0 330323 2956 0 0 20 0 1 0 73669810 5402652672 1071839 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1319007 1071839 2336 1147 0 1306434 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 5280220 KiB
Current children cumulated memory: 4290300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 83018
/proc/meminfo: memFree=81509964/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5276028 memory=4287484 CPUtime=3392.64 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 752886 0 0 0 336257 3007 0 0 20 0 1 0 73669810 5402652672 1071871 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1319007 1071871 2336 1147 0 1306434 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 5280220 KiB
Current children cumulated memory: 4290428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 83020
/proc/meminfo: memFree=80968768/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5278588 memory=4288892 CPUtime=3452.49 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 753420 0 0 0 342193 3056 0 0 20 0 1 0 73669810 5405274112 1072223 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1319647 1072223 2336 1147 0 1307074 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 5282780 KiB
Current children cumulated memory: 4291836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/260 83029
/proc/meminfo: memFree=80258960/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5299580 memory=4392112 CPUtime=3512.34 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 765877 0 0 0 348139 3095 0 0 20 0 1 0 73669810 5426769920 1098028 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1324895 1098028 2336 1147 0 1312322 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 5303772 KiB
Current children cumulated memory: 4395056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/260 83031
/proc/meminfo: memFree=79592064/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5327228 memory=4547212 CPUtime=3572.19 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 788417 0 0 0 354075 3144 0 0 20 0 1 0 73669810 5455081472 1136803 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1331807 1136803 2336 1147 0 1319234 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 5331420 KiB
Current children cumulated memory: 4550156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.12 4.15 4.10 5/260 83032
/proc/meminfo: memFree=79285588/131382112 swapFree=33010416/33010684
[pid=82797] ppid=82791 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82797/stat : 82797 (run-opt-log.sh) S 82791 82797 82743 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73669795 4292608 736 18446744073709551615 93872382849024 93872383743557 140731176693744 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93872383982608 93872384030352 93872403124224 140731176700193 140731176700388 140731176700388 140731176705990 0
/proc/82797/statm: 1048 736 672 219 0 110 0
[pid=82799] ppid=82797 vsize=5327228 memory=4547212 CPUtime=3600.01 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82797 82797 82743 0 -1 4194304 788545 0 0 0 356841 3160 0 0 20 0 1 0 73669810 5455081472 1136803 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1331807 1136803 2336 1147 0 1319234 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5331420 KiB
Current children cumulated memory: 4550156 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.21 s]
# the end of solver process 82797 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002329 s, system=0.004762 s
Sleeping 2 seconds

[startup+3610.36 s]
# the end of solver process 82799 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3568.43 s, system=31.6978 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.31 s]*
/proc/loadavg: 4.11 4.15 4.10 5/259 83032
/proc/meminfo: memFree=79684136/131382112 swapFree=33010416/33010684
[pid=82799] ppid=82791 vsize=5058932 memory=3822468 CPUtime=3600.07 cores=1,3
/proc/82799/stat : 82799 (roundingsat) R 82791 82797 82743 0 -1 4194304 788552 0 0 0 356842 3165 0 0 20 0 1 0 73669810 5180346368 955617 18446744073709551615 4227072 8923433 140731484456592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42409984 140731484461394 140731484461608 140731484461608 140731484467178 0
/proc/82799/statm: 1264733 955617 2432 1147 0 1252160 0
Current cumulated CPU time of completed processes: 0.007091 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5058932 KiB
Current children cumulated memory: 3822468 KiB

Child status: 2

Real time (s): 3610.36
CPU time (s): 3600.12
CPU user time (s): 3568.43
CPU system time (s): 31.6978
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 5331420
Max. memory (cumulated for all children) (KiB): 4550156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.43
system time used= 31.6978
maximum resident set size= 4547596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40631304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3646
involuntary context switches= 5852


# summary of solver processes directly reported to runsolver:
#   pid: 82797,82799
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3568.43
#   total CPU system time (s): 31.6978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9058 second user time and 36.2879 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-03 23:58:19
IDJOB=4520849
IDBENCH=178131
IDSOLVER=3351
FILE ID=nodeC012/4520849-1751579896
RUNJOBID= nodeC012-1751579896-82755
SLURM_JOB_ID= 9598818
Free space on /tmp= 431864 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520849-1751579896/watcher-4520849-1751579896 -o /tmp/evaluation-result-4520849-1751579896/solver-4520849-1751579896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520849-1751579896.opb PROOFDIR/proof-4520849-1751579896

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= afdfd31183e0ea33549619d38bec04c1
RANDOM SEED=1899173644

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.360
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.292
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.255
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.090
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.273
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.120
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.503
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129660792 kB
MemAvailable:   129868256 kB
Buffers:            2136 kB
Cached:          1007832 kB
SwapCached:           16 kB
Active:           684276 kB
Inactive:         389660 kB
Active(anon):      74924 kB
Inactive(anon):     6996 kB
Active(file):     609352 kB
Inactive(file):   382664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25112 kB
Writeback:             0 kB
AnonPages:         67124 kB
Mapped:           103392 kB
Shmem:             17944 kB
KReclaimable:     109764 kB
Slab:             195292 kB
SReclaimable:     109764 kB
SUnreclaim:        85528 kB
KernelStack:        3840 kB
PageTables:         2828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431816 MiB
End job on nodeC012 at 2025-07-04 00:58:31