Trace number 4520848

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 63f22ad? (TO) 3600.1 3609.99

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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.07/0.13	c #variables 7020 #constraints 7020
0.07/0.13	c objective is ce32 
0.07/0.17	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.17	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.092928
0.07/0.19	c GLOBAL bounds - >= 0 @ 0.100336
0.19/0.27	c GLOBAL bounds - >= 0 @ 0.173375
0.29/0.34	c GLOBAL bounds - >= 0 @ 0.236143
0.39/0.48	c GLOBAL bounds - >= 0 @ 0.358824
0.49/0.61	c GLOBAL bounds - >= 0 @ 0.472723
0.66/0.79	c GLOBAL bounds - >= 0 @ 0.6324
0.86/0.95	c GLOBAL bounds - >= 0 @ 0.776207
1.07/1.13	c GLOBAL bounds - >= 0 @ 0.952269
1.25/1.36	c GLOBAL bounds - >= 0 @ 1.14277
1.56/1.60	c GLOBAL bounds - >= 0 @ 1.37506
1.75/1.84	c GLOBAL bounds - >= 0 @ 1.6011
1.96/2.03	c GLOBAL bounds - >= 0 @ 1.76475
2.15/2.22	c GLOBAL bounds - >= 0 @ 1.94577
2.96/3.03	c #Conflicts:       1000 | #Constraints:       8044
2.96/3.03	c GLOBAL bounds - >= 0 @ 2.72464
3.85/3.98	c GLOBAL bounds - >= 0 @ 3.61943
5.84/5.92	c #Conflicts:       2000 | #Constraints:       9048
5.84/5.92	c INPROCESSING
5.84/5.92	c GARBAGE COLLECT
5.84/5.92	c GLOBAL bounds - >= 0 @ 5.49033
29.01/29.15	c #Conflicts:       3000 | #Constraints:       9105
29.01/29.15	c #Conflicts:       4000 | #Constraints:      10105
29.01/29.15	c INPROCESSING
29.01/29.15	c GARBAGE COLLECT
29.01/29.15	c #Conflicts:       5000 | #Constraints:       9532
29.01/29.15	c #Conflicts:       6000 | #Constraints:      10532
29.01/29.15	c INPROCESSING
29.01/29.15	c GARBAGE COLLECT
29.01/29.15	c #Conflicts:       7000 | #Constraints:       9542
29.01/29.15	c #Conflicts:       8000 | #Constraints:      10542
29.01/29.15	c #Conflicts:       9000 | #Constraints:      11542
29.01/29.15	c INPROCESSING
29.01/29.15	c GARBAGE COLLECT
29.01/29.15	c GLOBAL bounds - >= 0 @ 28.391
30.78/30.92	c #Conflicts:      10000 | #Constraints:      10245
30.78/30.92	c GLOBAL bounds - >= 0 @ 30.1223
31.79/31.93	c GLOBAL bounds - >= 0 @ 31.1162
35.47/35.64	c #Conflicts:      11000 | #Constraints:      11249
35.47/35.64	c GLOBAL bounds - >= 0 @ 34.7466
38.47/38.66	c #Conflicts:      12000 | #Constraints:      12251
38.47/38.66	c INPROCESSING
38.47/38.66	c GARBAGE COLLECT
38.47/38.66	c GLOBAL bounds - >= 0 @ 37.619
41.06/41.29	c #Conflicts:      13000 | #Constraints:      10717
41.06/41.29	c GLOBAL bounds - >= 0 @ 40.1991
42.16/42.35	c GLOBAL bounds - >= 0 @ 41.2417
42.56/42.78	c GLOBAL bounds - >= 0 @ 41.6612
43.05/43.21	c GLOBAL bounds - >= 0 @ 42.0859
43.65/43.83	c GLOBAL bounds - >= 0 @ 42.6962
44.15/44.33	c GLOBAL bounds - >= 0 @ 43.1885
46.15/46.33	c #Conflicts:      14000 | #Constraints:      11729
46.15/46.33	c GLOBAL bounds - >= 0 @ 45.1388
47.74/48.01	c #Conflicts:      15000 | #Constraints:      12731
47.74/48.01	c INPROCESSING
47.74/48.01	c GARBAGE COLLECT
47.74/48.01	c GLOBAL bounds - >= 0 @ 46.7983
48.24/48.48	c GLOBAL bounds - >= 0 @ 47.2595
117.44/117.82	c #Conflicts:      16000 | #Constraints:      10990
117.44/117.82	c #Conflicts:      17000 | #Constraints:      11990
117.44/117.82	c #Conflicts:      18000 | #Constraints:      12990
117.44/117.82	c INPROCESSING
117.44/117.82	c GARBAGE COLLECT
117.44/117.82	c #Conflicts:      19000 | #Constraints:      11036
117.44/117.82	c #Conflicts:      20000 | #Constraints:      12036
117.44/117.82	c #Conflicts:      21000 | #Constraints:      13036
117.44/117.82	c INPROCESSING
117.44/117.82	c GARBAGE COLLECT
117.44/117.82	c #Conflicts:      22000 | #Constraints:      10827
117.44/117.82	c #Conflicts:      23000 | #Constraints:      11827
117.44/117.82	c #Conflicts:      24000 | #Constraints:      12827
117.44/117.82	c #Conflicts:      25000 | #Constraints:      13827
117.44/117.82	c INPROCESSING
117.44/117.82	c GARBAGE COLLECT
117.44/117.82	c #Conflicts:      26000 | #Constraints:      11435
117.44/117.82	c #Conflicts:      27000 | #Constraints:      12435
117.44/117.82	c #Conflicts:      28000 | #Constraints:      13435
117.44/117.82	c #Conflicts:      29000 | #Constraints:      14435
117.44/117.82	c INPROCESSING
117.44/117.82	c GARBAGE COLLECT
117.44/117.82	c #Conflicts:      30000 | #Constraints:      11835
117.44/117.82	c #Conflicts:      31000 | #Constraints:      12835
117.44/117.82	c #Conflicts:      32000 | #Constraints:      13835
117.44/117.82	c #Conflicts:      33000 | #Constraints:      14835
117.44/117.82	c INPROCESSING
117.44/117.82	c GARBAGE COLLECT
117.44/117.82	c #Conflicts:      34000 | #Constraints:      12041
117.44/117.82	c GLOBAL bounds - >= 0 @ 115.81
130.10/130.54	c #Conflicts:      35000 | #Constraints:      13043
130.10/130.54	c #Conflicts:      36000 | #Constraints:      14043
130.10/130.54	c #Conflicts:      37000 | #Constraints:      15043
130.10/130.54	c INPROCESSING
130.10/130.54	c GARBAGE COLLECT
130.10/130.54	c #Conflicts:      38000 | #Constraints:      12050
130.10/130.54	c GLOBAL bounds - >= 0 @ 128.429
138.88/139.39	c #Conflicts:      39000 | #Constraints:      13052
138.88/139.39	c #Conflicts:      40000 | #Constraints:      14052
138.88/139.39	c #Conflicts:      41000 | #Constraints:      15052
138.88/139.39	c INPROCESSING
138.88/139.39	c GARBAGE COLLECT
138.88/139.39	c GLOBAL bounds - >= 0 @ 137.23
146.86/147.38	c #Conflicts:      42000 | #Constraints:      11859
146.86/147.38	c #Conflicts:      43000 | #Constraints:      12859
146.86/147.38	c #Conflicts:      44000 | #Constraints:      13859
146.86/147.38	c #Conflicts:      45000 | #Constraints:      14859
146.86/147.38	c GLOBAL bounds - >= 0 @ 145.137
154.34/154.82	c #Conflicts:      46000 | #Constraints:      15861
154.34/154.82	c INPROCESSING
154.34/154.82	c GARBAGE COLLECT
154.34/154.82	c GLOBAL bounds - >= 0 @ 152.471
155.74/156.21	c GLOBAL bounds - >= 0 @ 153.838
156.44/156.95	c #Conflicts:      47000 | #Constraints:      12469
156.44/156.95	c GLOBAL bounds - >= 0 @ 154.556
157.13/157.69	c GLOBAL bounds - >= 0 @ 155.287
162.63/163.12	c #Conflicts:      48000 | #Constraints:      13473
162.63/163.12	c GLOBAL bounds - >= 0 @ 160.667
180.07/180.69	c #Conflicts:      49000 | #Constraints:      14475
180.07/180.69	c #Conflicts:      50000 | #Constraints:      15475
180.07/180.69	c #Conflicts:      51000 | #Constraints:      16475
180.07/180.69	c INPROCESSING
180.07/180.69	c GARBAGE COLLECT
180.07/180.69	c #Conflicts:      52000 | #Constraints:      12898
180.07/180.69	c #Conflicts:      53000 | #Constraints:      13898
180.07/180.69	c GLOBAL bounds - >= 0 @ 178.068
195.44/196.05	c #Conflicts:      54000 | #Constraints:      14900
195.44/196.05	c #Conflicts:      55000 | #Constraints:      15900
195.44/196.05	c #Conflicts:      56000 | #Constraints:      16900
195.44/196.05	c INPROCESSING
195.44/196.05	c GARBAGE COLLECT
195.44/196.05	c GLOBAL bounds - >= 0 @ 193.249
260.65/261.43	c #Conflicts:      57000 | #Constraints:      13096
260.65/261.43	c #Conflicts:      58000 | #Constraints:      14096
260.65/261.43	c #Conflicts:      59000 | #Constraints:      15096
260.65/261.43	c #Conflicts:      60000 | #Constraints:      16096
260.65/261.43	c #Conflicts:      61000 | #Constraints:      17096
260.65/261.43	c INPROCESSING
260.65/261.43	c GARBAGE COLLECT
260.65/261.43	c #Conflicts:      62000 | #Constraints:      13088
260.65/261.43	c #Conflicts:      63000 | #Constraints:      14088
260.65/261.43	c #Conflicts:      64000 | #Constraints:      15088
260.65/261.43	c #Conflicts:      65000 | #Constraints:      16088
260.65/261.43	c #Conflicts:      66000 | #Constraints:      17088
260.65/261.43	c INPROCESSING
260.65/261.43	c GARBAGE COLLECT
260.65/261.43	c #Conflicts:      67000 | #Constraints:      12883
260.65/261.43	c #Conflicts:      68000 | #Constraints:      13883
260.65/261.43	c #Conflicts:      69000 | #Constraints:      14883
260.65/261.43	c #Conflicts:      70000 | #Constraints:      15883
260.65/261.43	c #Conflicts:      71000 | #Constraints:      16883
260.65/261.43	c #Conflicts:      72000 | #Constraints:      17883
260.65/261.43	c INPROCESSING
260.65/261.43	c GARBAGE COLLECT
260.65/261.43	c #Conflicts:      73000 | #Constraints:      13479
260.65/261.43	c GLOBAL bounds - >= 0 @ 257.871
261.94/262.79	c GLOBAL bounds - >= 0 @ 259.206
263.94/264.71	c #Conflicts:      74000 | #Constraints:      14483
263.94/264.71	c GLOBAL bounds - >= 0 @ 261.108
274.92/275.77	c #Conflicts:      75000 | #Constraints:      15485
274.92/275.77	c #Conflicts:      76000 | #Constraints:      16485
274.92/275.77	c GLOBAL bounds - >= 0 @ 272.072
276.11/276.94	c #Conflicts:      77000 | #Constraints:      17487
276.11/276.94	c GLOBAL bounds - >= 0 @ 273.23
277.22/278.07	c GLOBAL bounds - >= 0 @ 274.352
278.00/278.80	c GLOBAL bounds - >= 0 @ 275.075
279.21/280.08	c GLOBAL bounds - >= 0 @ 276.335
281.31/282.14	c GLOBAL bounds - >= 0 @ 278.209
284.50/285.32	c #Conflicts:      78000 | #Constraints:      18497
284.50/285.32	c INPROCESSING
284.50/285.32	c GARBAGE COLLECT
284.50/285.32	c GLOBAL bounds - >= 0 @ 281.349
285.89/286.73	c GLOBAL bounds - >= 0 @ 282.741
286.58/287.46	c GLOBAL bounds - >= 0 @ 283.455
288.57/289.46	c #Conflicts:      79000 | #Constraints:      13892
288.57/289.46	c GLOBAL bounds - >= 0 @ 285.439
289.77/290.66	c GLOBAL bounds - >= 0 @ 286.624
290.77/291.68	c #Conflicts:      80000 | #Constraints:      14896
290.77/291.68	c GLOBAL bounds - >= 0 @ 287.634
334.36/335.30	c #Conflicts:      81000 | #Constraints:      15898
334.36/335.30	c #Conflicts:      82000 | #Constraints:      16898
334.36/335.30	c #Conflicts:      83000 | #Constraints:      17898
334.36/335.30	c #Conflicts:      84000 | #Constraints:      18898
334.36/335.30	c INPROCESSING
334.36/335.30	c GARBAGE COLLECT
334.36/335.30	c #Conflicts:      85000 | #Constraints:      14153
334.36/335.30	c #Conflicts:      86000 | #Constraints:      15153
334.36/335.30	c #Conflicts:      87000 | #Constraints:      16153
334.36/335.30	c #Conflicts:      88000 | #Constraints:      17153
334.36/335.30	c #Conflicts:      89000 | #Constraints:      18153
334.36/335.30	c #Conflicts:      90000 | #Constraints:      19153
334.36/335.30	c INPROCESSING
334.36/335.30	c GARBAGE COLLECT
334.36/335.30	c #Conflicts:      91000 | #Constraints:      14176
334.36/335.30	c GLOBAL bounds - >= 0 @ 331.032
418.03/419.24	c #Conflicts:      92000 | #Constraints:      15178
418.03/419.24	c #Conflicts:      93000 | #Constraints:      16178
418.03/419.24	c #Conflicts:      94000 | #Constraints:      17178
418.03/419.24	c #Conflicts:      95000 | #Constraints:      18178
418.03/419.24	c #Conflicts:      96000 | #Constraints:      19178
418.03/419.24	c INPROCESSING
418.03/419.24	c GARBAGE COLLECT
418.03/419.24	c #Conflicts:      97000 | #Constraints:      13994
418.03/419.24	c #Conflicts:      98000 | #Constraints:      14994
418.03/419.24	c #Conflicts:      99000 | #Constraints:      15994
418.03/419.24	c #Conflicts:     100000 | #Constraints:      16994
418.03/419.24	c #Conflicts:     101000 | #Constraints:      17994
418.03/419.24	c #Conflicts:     102000 | #Constraints:      18994
418.03/419.24	c #Conflicts:     103000 | #Constraints:      19994
418.03/419.24	c INPROCESSING
418.03/419.24	c GARBAGE COLLECT
418.03/419.24	c #Conflicts:     104000 | #Constraints:      14596
418.03/419.24	c #Conflicts:     105000 | #Constraints:      15596
418.03/419.24	c #Conflicts:     106000 | #Constraints:      16596
418.03/419.24	c #Conflicts:     107000 | #Constraints:      17596
418.03/419.24	c #Conflicts:     108000 | #Constraints:      18596
418.03/419.24	c #Conflicts:     109000 | #Constraints:      19596
418.03/419.24	c GLOBAL bounds - >= 0 @ 414.335
463.90/465.26	c #Conflicts:     110000 | #Constraints:      20598
463.90/465.26	c INPROCESSING
463.90/465.26	c GARBAGE COLLECT
463.90/465.26	c #Conflicts:     111000 | #Constraints:      14895
463.90/465.26	c #Conflicts:     112000 | #Constraints:      15895
463.90/465.26	c #Conflicts:     113000 | #Constraints:      16895
463.90/465.26	c #Conflicts:     114000 | #Constraints:      17895
463.90/465.26	c #Conflicts:     115000 | #Constraints:      18895
463.90/465.26	c #Conflicts:     116000 | #Constraints:      19895
463.90/465.26	c #Conflicts:     117000 | #Constraints:      20895
463.90/465.26	c INPROCESSING
463.90/465.26	c GARBAGE COLLECT
463.90/465.26	c #Conflicts:     118000 | #Constraints:      15128
463.90/465.26	c #Conflicts:     119000 | #Constraints:      16128
463.90/465.26	c #Conflicts:     120000 | #Constraints:      17128
463.90/465.26	c GLOBAL bounds - >= 0 @ 459.922
472.47/473.82	c #Conflicts:     121000 | #Constraints:      18130
472.47/473.82	c #Conflicts:     122000 | #Constraints:      19130
472.47/473.82	c #Conflicts:     123000 | #Constraints:      20130
472.47/473.82	c GLOBAL bounds - >= 0 @ 468.42
475.17/476.58	c GLOBAL bounds - >= 0 @ 471.152
480.36/481.73	c #Conflicts:     124000 | #Constraints:      21134
480.36/481.73	c INPROCESSING
480.36/481.73	c GARBAGE COLLECT
480.36/481.73	c GLOBAL bounds - >= 0 @ 476.226
486.65/488.01	c #Conflicts:     125000 | #Constraints:      15109
486.65/488.01	c #Conflicts:     126000 | #Constraints:      16109
486.65/488.01	c GLOBAL bounds - >= 0 @ 482.456
492.65/494.04	c #Conflicts:     127000 | #Constraints:      17111
492.65/494.04	c #Conflicts:     128000 | #Constraints:      18111
492.65/494.04	c GLOBAL bounds - >= 0 @ 488.408
516.37/517.89	c #Conflicts:     129000 | #Constraints:      19113
516.37/517.89	c #Conflicts:     130000 | #Constraints:      20113
516.37/517.89	c #Conflicts:     131000 | #Constraints:      21113
516.37/517.89	c INPROCESSING
516.37/517.89	c GARBAGE COLLECT
516.37/517.89	c #Conflicts:     132000 | #Constraints:      14957
516.37/517.89	c #Conflicts:     133000 | #Constraints:      15957
516.37/517.89	c GLOBAL bounds - >= 0 @ 512.041
559.65/561.26	c #Conflicts:     134000 | #Constraints:      16959
559.65/561.26	c #Conflicts:     135000 | #Constraints:      17959
559.65/561.26	c #Conflicts:     136000 | #Constraints:      18959
559.65/561.26	c #Conflicts:     137000 | #Constraints:      19959
559.65/561.26	c #Conflicts:     138000 | #Constraints:      20959
559.65/561.26	c #Conflicts:     139000 | #Constraints:      21959
559.65/561.26	c INPROCESSING
559.65/561.26	c GARBAGE COLLECT
559.65/561.26	c #Conflicts:     140000 | #Constraints:      15573
559.65/561.26	c #Conflicts:     141000 | #Constraints:      16573
559.65/561.26	c #Conflicts:     142000 | #Constraints:      17573
559.65/561.26	c #Conflicts:     143000 | #Constraints:      18573
559.65/561.26	c #Conflicts:     144000 | #Constraints:      19573
559.65/561.26	c #Conflicts:     145000 | #Constraints:      20573
559.65/561.26	c GLOBAL bounds - >= 0 @ 555.015
568.62/570.24	c #Conflicts:     146000 | #Constraints:      21575
568.62/570.24	c #Conflicts:     147000 | #Constraints:      22575
568.62/570.24	c INPROCESSING
568.62/570.24	c GARBAGE COLLECT
568.62/570.24	c GLOBAL bounds - >= 0 @ 563.919
590.27/592.00	c #Conflicts:     148000 | #Constraints:      15982
590.27/592.00	c #Conflicts:     149000 | #Constraints:      16982
590.27/592.00	c #Conflicts:     150000 | #Constraints:      17982
590.27/592.00	c #Conflicts:     151000 | #Constraints:      18982
590.27/592.00	c #Conflicts:     152000 | #Constraints:      19982
590.27/592.00	c GLOBAL bounds - >= 0 @ 585.469
596.05/597.76	c #Conflicts:     153000 | #Constraints:      20984
596.05/597.76	c GLOBAL bounds - >= 0 @ 591.161
600.14/601.83	c #Conflicts:     154000 | #Constraints:      21986
600.14/601.83	c GLOBAL bounds - >= 0 @ 595.197
602.24/603.98	c GLOBAL bounds - >= 0 @ 597.312
608.52/610.26	c #Conflicts:     155000 | #Constraints:      22990
608.52/610.26	c INPROCESSING
608.52/610.26	c GARBAGE COLLECT
608.52/610.26	c #Conflicts:     156000 | #Constraints:      16173
608.52/610.26	c GLOBAL bounds - >= 0 @ 603.516
609.51/611.20	c GLOBAL bounds - >= 0 @ 604.442
612.80/614.52	c #Conflicts:     157000 | #Constraints:      17177
612.80/614.52	c GLOBAL bounds - >= 0 @ 607.732
616.59/618.31	c #Conflicts:     158000 | #Constraints:      18179
616.59/618.31	c GLOBAL bounds - >= 0 @ 611.481
617.98/619.70	c GLOBAL bounds - >= 0 @ 612.848
625.16/626.92	c #Conflicts:     159000 | #Constraints:      19183
625.16/626.92	c #Conflicts:     160000 | #Constraints:      20183
625.16/626.92	c GLOBAL bounds - >= 0 @ 619.955
630.15/631.90	c #Conflicts:     161000 | #Constraints:      21185
630.15/631.90	c GLOBAL bounds - >= 0 @ 624.892
634.54/636.36	c #Conflicts:     162000 | #Constraints:      22187
634.54/636.36	c GLOBAL bounds - >= 0 @ 629.302
644.23/646.06	c #Conflicts:     163000 | #Constraints:      23189
644.23/646.06	c INPROCESSING
644.23/646.06	c GARBAGE COLLECT
644.23/646.06	c GLOBAL bounds - >= 0 @ 638.888
674.73/676.69	c #Conflicts:     164000 | #Constraints:      16199
674.73/676.69	c #Conflicts:     165000 | #Constraints:      17199
674.73/676.69	c #Conflicts:     166000 | #Constraints:      18199
674.73/676.69	c #Conflicts:     167000 | #Constraints:      19199
674.73/676.69	c #Conflicts:     168000 | #Constraints:      20199
674.73/676.69	c #Conflicts:     169000 | #Constraints:      21199
674.73/676.69	c #Conflicts:     170000 | #Constraints:      22199
674.73/676.69	c #Conflicts:     171000 | #Constraints:      23199
674.73/676.69	c GLOBAL bounds - >= 0 @ 669.221
734.49/736.59	c INPROCESSING
734.49/736.59	c GARBAGE COLLECT
734.49/736.59	c #Conflicts:     172000 | #Constraints:      15983
734.49/736.59	c #Conflicts:     173000 | #Constraints:      16983
734.49/736.59	c #Conflicts:     174000 | #Constraints:      17983
734.49/736.59	c #Conflicts:     175000 | #Constraints:      18983
734.49/736.59	c #Conflicts:     176000 | #Constraints:      19983
734.49/736.59	c #Conflicts:     177000 | #Constraints:      20983
734.49/736.59	c #Conflicts:     178000 | #Constraints:      21983
734.49/736.59	c #Conflicts:     179000 | #Constraints:      22983
734.49/736.59	c #Conflicts:     180000 | #Constraints:      23983
734.49/736.59	c INPROCESSING
734.49/736.59	c GARBAGE COLLECT
734.49/736.59	c #Conflicts:     181000 | #Constraints:      16571
734.49/736.59	c GLOBAL bounds - >= 0 @ 728.421
741.66/743.74	c #Conflicts:     182000 | #Constraints:      17573
741.66/743.74	c #Conflicts:     183000 | #Constraints:      18573
741.66/743.74	c GLOBAL bounds - >= 0 @ 735.496
790.85/793.02	c #Conflicts:     184000 | #Constraints:      19575
790.85/793.02	c #Conflicts:     185000 | #Constraints:      20575
790.85/793.02	c #Conflicts:     186000 | #Constraints:      21575
790.85/793.02	c #Conflicts:     187000 | #Constraints:      22575
790.85/793.02	c #Conflicts:     188000 | #Constraints:      23575
790.85/793.02	c #Conflicts:     189000 | #Constraints:      24575
790.85/793.02	c INPROCESSING
790.85/793.02	c GARBAGE COLLECT
790.85/793.02	c #Conflicts:     190000 | #Constraints:      16980
790.85/793.02	c #Conflicts:     191000 | #Constraints:      17980
790.85/793.02	c #Conflicts:     192000 | #Constraints:      18980
790.85/793.02	c #Conflicts:     193000 | #Constraints:      19980
790.85/793.02	c #Conflicts:     194000 | #Constraints:      20980
790.85/793.02	c #Conflicts:     195000 | #Constraints:      21980
790.85/793.02	c GLOBAL bounds - >= 0 @ 784.522
802.10/804.33	c #Conflicts:     196000 | #Constraints:      22982
802.10/804.33	c #Conflicts:     197000 | #Constraints:      23982
802.10/804.33	c #Conflicts:     198000 | #Constraints:      24982
802.10/804.33	c INPROCESSING
802.10/804.33	c GARBAGE COLLECT
802.10/804.33	c GLOBAL bounds - >= 0 @ 795.755
817.56/819.82	c #Conflicts:     199000 | #Constraints:      17201
817.56/819.82	c #Conflicts:     200000 | #Constraints:      18201
817.56/819.82	c #Conflicts:     201000 | #Constraints:      19201
817.56/819.82	c #Conflicts:     202000 | #Constraints:      20201
817.56/819.82	c GLOBAL bounds - >= 0 @ 811.141
835.31/837.60	c #Conflicts:     203000 | #Constraints:      21203
835.31/837.60	c #Conflicts:     204000 | #Constraints:      22203
835.31/837.60	c #Conflicts:     205000 | #Constraints:      23203
835.31/837.60	c #Conflicts:     206000 | #Constraints:      24203
835.31/837.60	c #Conflicts:     207000 | #Constraints:      25203
835.31/837.60	c INPROCESSING
835.31/837.60	c GARBAGE COLLECT
835.31/837.60	c GLOBAL bounds - >= 0 @ 828.844
853.46/855.89	c #Conflicts:     208000 | #Constraints:      17207
853.46/855.89	c #Conflicts:     209000 | #Constraints:      18207
853.46/855.89	c #Conflicts:     210000 | #Constraints:      19207
853.46/855.89	c #Conflicts:     211000 | #Constraints:      20207
853.46/855.89	c #Conflicts:     212000 | #Constraints:      21207
853.46/855.89	c #Conflicts:     213000 | #Constraints:      22207
853.46/855.89	c GLOBAL bounds - >= 0 @ 847.027
894.35/896.87	c #Conflicts:     214000 | #Constraints:      23209
894.35/896.87	c #Conflicts:     215000 | #Constraints:      24209
894.35/896.87	c #Conflicts:     216000 | #Constraints:      25209
894.35/896.87	c INPROCESSING
894.35/896.87	c GARBAGE COLLECT
894.35/896.87	c #Conflicts:     217000 | #Constraints:      17027
894.35/896.87	c #Conflicts:     218000 | #Constraints:      18027
894.35/896.87	c #Conflicts:     219000 | #Constraints:      19027
894.35/896.87	c #Conflicts:     220000 | #Constraints:      20027
894.35/896.87	c #Conflicts:     221000 | #Constraints:      21027
894.35/896.87	c #Conflicts:     222000 | #Constraints:      22027
894.35/896.87	c #Conflicts:     223000 | #Constraints:      23027
894.35/896.87	c GLOBAL bounds - >= 0 @ 887.717
900.93/903.46	c #Conflicts:     224000 | #Constraints:      24029
900.93/903.46	c #Conflicts:     225000 | #Constraints:      25029
900.93/903.46	c #Conflicts:     226000 | #Constraints:      26029
900.93/903.46	c GLOBAL bounds - >= 0 @ 894.247
903.93/906.48	c INPROCESSING
903.93/906.48	c GARBAGE COLLECT
903.93/906.48	c GLOBAL bounds - >= 0 @ 897.237
906.32/908.85	c #Conflicts:     227000 | #Constraints:      17618
906.32/908.85	c GLOBAL bounds - >= 0 @ 899.589
928.76/931.36	c #Conflicts:     228000 | #Constraints:      18620
928.76/931.36	c #Conflicts:     229000 | #Constraints:      19620
928.76/931.36	c #Conflicts:     230000 | #Constraints:      20620
928.76/931.36	c #Conflicts:     231000 | #Constraints:      21620
928.76/931.36	c #Conflicts:     232000 | #Constraints:      22620
928.76/931.36	c #Conflicts:     233000 | #Constraints:      23620
928.76/931.36	c GLOBAL bounds - >= 0 @ 921.96
931.35/933.95	c #Conflicts:     234000 | #Constraints:      24622
931.35/933.95	c GLOBAL bounds - >= 0 @ 924.519
933.06/935.65	c GLOBAL bounds - >= 0 @ 926.199
934.75/937.30	c GLOBAL bounds - >= 0 @ 927.838
942.54/945.16	c #Conflicts:     235000 | #Constraints:      25628
942.54/945.16	c GLOBAL bounds - >= 0 @ 935.621
955.60/958.27	c #Conflicts:     236000 | #Constraints:      26630
955.60/958.27	c INPROCESSING
955.60/958.27	c GARBAGE COLLECT
955.60/958.27	c #Conflicts:     237000 | #Constraints:      18018
955.60/958.27	c #Conflicts:     238000 | #Constraints:      19018
955.60/958.27	c GLOBAL bounds - >= 0 @ 948.589
972.16/974.89	c #Conflicts:     239000 | #Constraints:      20020
972.16/974.89	c #Conflicts:     240000 | #Constraints:      21020
972.16/974.89	c #Conflicts:     241000 | #Constraints:      22020
972.16/974.89	c #Conflicts:     242000 | #Constraints:      23020
972.16/974.89	c GLOBAL bounds - >= 0 @ 965.075
978.54/981.23	c #Conflicts:     243000 | #Constraints:      24022
978.54/981.23	c GLOBAL bounds - >= 0 @ 971.353
980.53/983.26	c GLOBAL bounds - >= 0 @ 973.369
982.24/984.93	c GLOBAL bounds - >= 0 @ 975.026
983.83/986.57	c GLOBAL bounds - >= 0 @ 976.654
986.44/989.12	c #Conflicts:     244000 | #Constraints:      25030
986.44/989.12	c GLOBAL bounds - >= 0 @ 979.17
988.12/990.88	c GLOBAL bounds - >= 0 @ 980.915
990.51/993.20	c GLOBAL bounds - >= 0 @ 983.211
992.20/995.00	c #Conflicts:     245000 | #Constraints:      26036
992.20/995.00	c GLOBAL bounds - >= 0 @ 984.983
993.50/996.28	c GLOBAL bounds - >= 0 @ 986.246
1002.39/1005.18	c #Conflicts:     246000 | #Constraints:      27040
1002.39/1005.18	c INPROCESSING
1002.39/1005.18	c GARBAGE COLLECT
1002.39/1005.18	c GLOBAL bounds - >= 0 @ 995.054
1011.84/1014.63	c #Conflicts:     247000 | #Constraints:      18262
1011.84/1014.63	c #Conflicts:     248000 | #Constraints:      19262
1011.84/1014.63	c #Conflicts:     249000 | #Constraints:      20262
1011.84/1014.63	c GLOBAL bounds - >= 0 @ 1004.37
1014.54/1017.38	c GLOBAL bounds - >= 0 @ 1007.1
1016.04/1018.86	c #Conflicts:     250000 | #Constraints:      21266
1016.04/1018.86	c GLOBAL bounds - >= 0 @ 1008.56
1029.40/1032.23	c #Conflicts:     251000 | #Constraints:      22268
1029.40/1032.23	c #Conflicts:     252000 | #Constraints:      23268
1029.40/1032.23	c #Conflicts:     253000 | #Constraints:      24268
1029.40/1032.23	c #Conflicts:     254000 | #Constraints:      25268
1029.40/1032.23	c GLOBAL bounds - >= 0 @ 1021.79
1070.10/1073.06	c #Conflicts:     255000 | #Constraints:      26270
1070.10/1073.06	c #Conflicts:     256000 | #Constraints:      27270
1070.10/1073.06	c INPROCESSING
1070.10/1073.06	c GARBAGE COLLECT
1070.10/1073.06	c #Conflicts:     257000 | #Constraints:      18269
1070.10/1073.06	c #Conflicts:     258000 | #Constraints:      19269
1070.10/1073.06	c #Conflicts:     259000 | #Constraints:      20269
1070.10/1073.06	c #Conflicts:     260000 | #Constraints:      21269
1070.10/1073.06	c #Conflicts:     261000 | #Constraints:      22269
1070.10/1073.06	c GLOBAL bounds - >= 0 @ 1062.25
1224.17/1227.51	c #Conflicts:     262000 | #Constraints:      23271
1224.17/1227.51	c #Conflicts:     263000 | #Constraints:      24271
1224.17/1227.51	c #Conflicts:     264000 | #Constraints:      25271
1224.17/1227.51	c #Conflicts:     265000 | #Constraints:      26271
1224.17/1227.51	c #Conflicts:     266000 | #Constraints:      27271
1224.17/1227.51	c INPROCESSING
1224.17/1227.51	c GARBAGE COLLECT
1224.17/1227.51	c #Conflicts:     267000 | #Constraints:      18082
1224.17/1227.51	c #Conflicts:     268000 | #Constraints:      19082
1224.17/1227.51	c #Conflicts:     269000 | #Constraints:      20082
1224.17/1227.51	c #Conflicts:     270000 | #Constraints:      21082
1224.17/1227.51	c #Conflicts:     271000 | #Constraints:      22082
1224.17/1227.51	c #Conflicts:     272000 | #Constraints:      23082
1224.17/1227.51	c #Conflicts:     273000 | #Constraints:      24082
1224.17/1227.51	c #Conflicts:     274000 | #Constraints:      25082
1224.17/1227.51	c #Conflicts:     275000 | #Constraints:      26082
1224.17/1227.51	c #Conflicts:     276000 | #Constraints:      27082
1224.17/1227.51	c #Conflicts:     277000 | #Constraints:      28082
1224.17/1227.51	c INPROCESSING
1224.17/1227.51	c GARBAGE COLLECT
1224.17/1227.51	c #Conflicts:     278000 | #Constraints:      18691
1224.17/1227.51	c #Conflicts:     279000 | #Constraints:      19691
1224.17/1227.51	c #Conflicts:     280000 | #Constraints:      20691
1224.17/1227.51	c #Conflicts:     281000 | #Constraints:      21691
1224.17/1227.51	c #Conflicts:     282000 | #Constraints:      22691
1224.17/1227.51	c #Conflicts:     283000 | #Constraints:      23691
1224.17/1227.51	c #Conflicts:     284000 | #Constraints:      24691
1224.17/1227.51	c #Conflicts:     285000 | #Constraints:      25691
1224.17/1227.51	c #Conflicts:     286000 | #Constraints:      26691
1224.17/1227.51	c #Conflicts:     287000 | #Constraints:      27691
1224.17/1227.51	c #Conflicts:     288000 | #Constraints:      28691
1224.17/1227.51	c INPROCESSING
1224.17/1227.51	c GARBAGE COLLECT
1224.17/1227.51	c GLOBAL bounds - >= 0 @ 1215.61
1235.34/1238.74	c #Conflicts:     289000 | #Constraints:      19082
1235.34/1238.74	c #Conflicts:     290000 | #Constraints:      20082
1235.34/1238.74	c GLOBAL bounds - >= 0 @ 1226.7
1266.95/1270.49	c #Conflicts:     291000 | #Constraints:      21084
1266.95/1270.49	c #Conflicts:     292000 | #Constraints:      22084
1266.95/1270.49	c #Conflicts:     293000 | #Constraints:      23084
1266.95/1270.49	c #Conflicts:     294000 | #Constraints:      24084
1266.95/1270.49	c #Conflicts:     295000 | #Constraints:      25084
1266.95/1270.49	c #Conflicts:     296000 | #Constraints:      26084
1266.95/1270.49	c GLOBAL bounds - >= 0 @ 1258.16
1279.63/1283.19	c #Conflicts:     297000 | #Constraints:      27086
1279.63/1283.19	c #Conflicts:     298000 | #Constraints:      28086
1279.63/1283.19	c #Conflicts:     299000 | #Constraints:      29086
1279.63/1283.19	c INPROCESSING
1279.63/1283.19	c GARBAGE COLLECT
1279.63/1283.19	c GLOBAL bounds - >= 0 @ 1270.76
1284.62/1288.18	c #Conflicts:     300000 | #Constraints:      19309
1284.62/1288.18	c GLOBAL bounds - >= 0 @ 1275.7
1305.85/1309.44	c #Conflicts:     301000 | #Constraints:      20311
1305.85/1309.44	c #Conflicts:     302000 | #Constraints:      21311
1305.85/1309.44	c #Conflicts:     303000 | #Constraints:      22311
1305.85/1309.44	c #Conflicts:     304000 | #Constraints:      23311
1305.85/1309.44	c GLOBAL bounds - >= 0 @ 1296.71
1321.71/1325.30	c #Conflicts:     305000 | #Constraints:      24313
1321.71/1325.30	c #Conflicts:     306000 | #Constraints:      25313
1321.71/1325.30	c #Conflicts:     307000 | #Constraints:      26313
1321.71/1325.30	c GLOBAL bounds - >= 0 @ 1312.45
1325.50/1329.11	c #Conflicts:     308000 | #Constraints:      27315
1325.50/1329.11	c GLOBAL bounds - >= 0 @ 1316.24
1332.87/1336.58	c #Conflicts:     309000 | #Constraints:      28317
1332.87/1336.58	c GLOBAL bounds - >= 0 @ 1323.64
1339.46/1343.19	c #Conflicts:     310000 | #Constraints:      29319
1339.46/1343.19	c INPROCESSING
1339.46/1343.19	c GARBAGE COLLECT
1339.46/1343.19	c GLOBAL bounds - >= 0 @ 1329.94
1342.25/1345.96	c #Conflicts:     311000 | #Constraints:      19332
1342.25/1345.96	c GLOBAL bounds - >= 0 @ 1332.68
1353.71/1357.46	c #Conflicts:     312000 | #Constraints:      20334
1353.71/1357.46	c #Conflicts:     313000 | #Constraints:      21334
1353.71/1357.46	c GLOBAL bounds - >= 0 @ 1344.02
1364.40/1368.19	c #Conflicts:     314000 | #Constraints:      22336
1364.40/1368.19	c #Conflicts:     315000 | #Constraints:      23336
1364.40/1368.19	c #Conflicts:     316000 | #Constraints:      24336
1364.40/1368.19	c GLOBAL bounds - >= 0 @ 1354.61
1458.33/1462.31	c #Conflicts:     317000 | #Constraints:      25338
1458.33/1462.31	c #Conflicts:     318000 | #Constraints:      26338
1458.33/1462.31	c #Conflicts:     319000 | #Constraints:      27338
1458.33/1462.31	c #Conflicts:     320000 | #Constraints:      28338
1458.33/1462.31	c #Conflicts:     321000 | #Constraints:      29338
1458.33/1462.31	c INPROCESSING
1458.33/1462.31	c GARBAGE COLLECT
1458.33/1462.31	c #Conflicts:     322000 | #Constraints:      19130
1458.33/1462.31	c #Conflicts:     323000 | #Constraints:      20130
1458.33/1462.31	c #Conflicts:     324000 | #Constraints:      21130
1458.33/1462.31	c #Conflicts:     325000 | #Constraints:      22130
1458.33/1462.31	c #Conflicts:     326000 | #Constraints:      23130
1458.33/1462.31	c #Conflicts:     327000 | #Constraints:      24130
1458.33/1462.31	c #Conflicts:     328000 | #Constraints:      25130
1458.33/1462.31	c #Conflicts:     329000 | #Constraints:      26130
1458.33/1462.31	c #Conflicts:     330000 | #Constraints:      27130
1458.33/1462.31	c #Conflicts:     331000 | #Constraints:      28130
1458.33/1462.31	c #Conflicts:     332000 | #Constraints:      29130
1458.33/1462.31	c #Conflicts:     333000 | #Constraints:      30130
1458.33/1462.31	c INPROCESSING
1458.33/1462.31	c GARBAGE COLLECT
1458.33/1462.31	c #Conflicts:     334000 | #Constraints:      19757
1458.33/1462.31	c #Conflicts:     335000 | #Constraints:      20757
1458.33/1462.31	c GLOBAL bounds - >= 0 @ 1448.26
1497.13/1501.25	c #Conflicts:     336000 | #Constraints:      21759
1497.13/1501.25	c #Conflicts:     337000 | #Constraints:      22759
1497.13/1501.25	c #Conflicts:     338000 | #Constraints:      23759
1497.13/1501.25	c #Conflicts:     339000 | #Constraints:      24759
1497.13/1501.25	c #Conflicts:     340000 | #Constraints:      25759
1497.13/1501.25	c #Conflicts:     341000 | #Constraints:      26759
1497.13/1501.25	c #Conflicts:     342000 | #Constraints:      27759
1497.13/1501.25	c GLOBAL bounds - >= 0 @ 1486.85
1499.23/1503.40	c GLOBAL bounds - >= 0 @ 1488.98
1501.82/1505.91	c #Conflicts:     343000 | #Constraints:      28763
1501.82/1505.91	c GLOBAL bounds - >= 0 @ 1491.47
1504.42/1508.54	c GLOBAL bounds - >= 0 @ 1494.07
1506.11/1510.21	c GLOBAL bounds - >= 0 @ 1495.73
1517.49/1521.66	c #Conflicts:     344000 | #Constraints:      29769
1517.49/1521.66	c #Conflicts:     345000 | #Constraints:      30769
1517.49/1521.66	c INPROCESSING
1517.49/1521.66	c GARBAGE COLLECT
1517.49/1521.66	c #Conflicts:     346000 | #Constraints:      20153
1517.49/1521.66	c GLOBAL bounds - >= 0 @ 1506.99
1563.16/1567.44	c #Conflicts:     347000 | #Constraints:      21155
1563.16/1567.44	c #Conflicts:     348000 | #Constraints:      22155
1563.16/1567.44	c #Conflicts:     349000 | #Constraints:      23155
1563.16/1567.44	c #Conflicts:     350000 | #Constraints:      24155
1563.16/1567.44	c #Conflicts:     351000 | #Constraints:      25155
1563.16/1567.44	c #Conflicts:     352000 | #Constraints:      26155
1563.16/1567.44	c #Conflicts:     353000 | #Constraints:      27155
1563.16/1567.44	c #Conflicts:     354000 | #Constraints:      28155
1563.16/1567.44	c #Conflicts:     355000 | #Constraints:      29155
1563.16/1567.44	c #Conflicts:     356000 | #Constraints:      30155
1563.16/1567.44	c #Conflicts:     357000 | #Constraints:      31155
1563.16/1567.44	c INPROCESSING
1563.16/1567.44	c GARBAGE COLLECT
1563.16/1567.44	c #Conflicts:     358000 | #Constraints:      20338
1563.16/1567.44	c GLOBAL bounds - >= 0 @ 1552.25
1565.86/1570.12	c #Conflicts:     359000 | #Constraints:      21340
1565.86/1570.12	c GLOBAL bounds - >= 0 @ 1554.91
1567.45/1571.79	c #Conflicts:     360000 | #Constraints:      22342
1567.45/1571.79	c GLOBAL bounds - >= 0 @ 1556.57
1569.25/1573.59	c GLOBAL bounds - >= 0 @ 1558.35
1575.93/1580.25	c #Conflicts:     361000 | #Constraints:      23346
1575.93/1580.25	c #Conflicts:     362000 | #Constraints:      24346
1575.93/1580.25	c GLOBAL bounds - >= 0 @ 1564.96
1585.82/1590.14	c #Conflicts:     363000 | #Constraints:      25348
1585.82/1590.14	c GLOBAL bounds - >= 0 @ 1574.75
1603.86/1608.27	c #Conflicts:     364000 | #Constraints:      26350
1603.86/1608.27	c #Conflicts:     365000 | #Constraints:      27350
1603.86/1608.27	c #Conflicts:     366000 | #Constraints:      28350
1603.86/1608.27	c #Conflicts:     367000 | #Constraints:      29350
1603.86/1608.27	c GLOBAL bounds - >= 0 @ 1592.74
1606.96/1611.34	c GLOBAL bounds - >= 0 @ 1595.78
1614.65/1619.08	c #Conflicts:     368000 | #Constraints:      30354
1614.65/1619.08	c #Conflicts:     369000 | #Constraints:      31354
1614.65/1619.08	c GLOBAL bounds - >= 0 @ 1603.41
1627.11/1631.55	c INPROCESSING
1627.11/1631.55	c GARBAGE COLLECT
1627.11/1631.55	c #Conflicts:     370000 | #Constraints:      20360
1627.11/1631.55	c #Conflicts:     371000 | #Constraints:      21360
1627.11/1631.55	c GLOBAL bounds - >= 0 @ 1615.71
1641.98/1646.42	c #Conflicts:     372000 | #Constraints:      22362
1641.98/1646.42	c #Conflicts:     373000 | #Constraints:      23362
1641.98/1646.42	c #Conflicts:     374000 | #Constraints:      24362
1641.98/1646.42	c #Conflicts:     375000 | #Constraints:      25362
1641.98/1646.42	c GLOBAL bounds - >= 0 @ 1630.46
1675.51/1680.02	c #Conflicts:     376000 | #Constraints:      26364
1675.51/1680.02	c #Conflicts:     377000 | #Constraints:      27364
1675.51/1680.02	c #Conflicts:     378000 | #Constraints:      28364
1675.51/1680.02	c #Conflicts:     379000 | #Constraints:      29364
1675.51/1680.02	c #Conflicts:     380000 | #Constraints:      30364
1675.51/1680.02	c #Conflicts:     381000 | #Constraints:      31364
1675.51/1680.02	c INPROCESSING
1675.51/1680.02	c GARBAGE COLLECT
1675.51/1680.02	c #Conflicts:     382000 | #Constraints:      20165
1675.51/1680.02	c #Conflicts:     383000 | #Constraints:      21165
1675.51/1680.02	c #Conflicts:     384000 | #Constraints:      22165
1675.51/1680.02	c GLOBAL bounds - >= 0 @ 1663.88
1678.29/1682.80	c #Conflicts:     385000 | #Constraints:      23167
1678.29/1682.80	c GLOBAL bounds - >= 0 @ 1666.64
1680.50/1685.10	c #Conflicts:     386000 | #Constraints:      24169
1680.50/1685.10	c GLOBAL bounds - >= 0 @ 1668.92
1699.64/1704.20	c #Conflicts:     387000 | #Constraints:      25171
1699.64/1704.20	c #Conflicts:     388000 | #Constraints:      26171
1699.64/1704.20	c #Conflicts:     389000 | #Constraints:      27171
1699.64/1704.20	c GLOBAL bounds - >= 0 @ 1687.87
1710.92/1715.59	c #Conflicts:     390000 | #Constraints:      28173
1710.92/1715.59	c #Conflicts:     391000 | #Constraints:      29173
1710.92/1715.59	c #Conflicts:     392000 | #Constraints:      30173
1710.92/1715.59	c GLOBAL bounds - >= 0 @ 1699.17
1714.01/1718.68	c #Conflicts:     393000 | #Constraints:      31175
1714.01/1718.68	c GLOBAL bounds - >= 0 @ 1702.24
1716.70/1721.38	c GLOBAL bounds - >= 0 @ 1704.92
1720.41/1725.03	c #Conflicts:     394000 | #Constraints:      32179
1720.41/1725.03	c GLOBAL bounds - >= 0 @ 1708.54
1766.48/1771.22	c INPROCESSING
1766.48/1771.22	c GARBAGE COLLECT
1766.48/1771.22	c #Conflicts:     395000 | #Constraints:      20699
1766.48/1771.22	c #Conflicts:     396000 | #Constraints:      21699
1766.48/1771.22	c #Conflicts:     397000 | #Constraints:      22699
1766.48/1771.22	c #Conflicts:     398000 | #Constraints:      23699
1766.48/1771.22	c #Conflicts:     399000 | #Constraints:      24699
1766.48/1771.22	c #Conflicts:     400000 | #Constraints:      25699
1766.48/1771.22	c #Conflicts:     401000 | #Constraints:      26699
1766.48/1771.22	c #Conflicts:     402000 | #Constraints:      27699
1766.48/1771.22	c #Conflicts:     403000 | #Constraints:      28699
1766.48/1771.22	c #Conflicts:     404000 | #Constraints:      29699
1766.48/1771.22	c #Conflicts:     405000 | #Constraints:      30699
1766.48/1771.22	c GLOBAL bounds - >= 0 @ 1754.45
1778.86/1783.68	c #Conflicts:     406000 | #Constraints:      31701
1778.86/1783.68	c GLOBAL bounds - >= 0 @ 1766.83
1801.61/1806.49	c #Conflicts:     407000 | #Constraints:      32703
1801.61/1806.49	c INPROCESSING
1801.61/1806.49	c GARBAGE COLLECT
1801.61/1806.49	c #Conflicts:     408000 | #Constraints:      21096
1801.61/1806.49	c #Conflicts:     409000 | #Constraints:      22096
1801.61/1806.49	c #Conflicts:     410000 | #Constraints:      23096
1801.61/1806.49	c #Conflicts:     411000 | #Constraints:      24096
1801.61/1806.49	c GLOBAL bounds - >= 0 @ 1789.38
1829.35/1834.27	c #Conflicts:     412000 | #Constraints:      25098
1829.35/1834.27	c #Conflicts:     413000 | #Constraints:      26098
1829.35/1834.27	c #Conflicts:     414000 | #Constraints:      27098
1829.35/1834.27	c #Conflicts:     415000 | #Constraints:      28098
1829.35/1834.27	c #Conflicts:     416000 | #Constraints:      29098
1829.35/1834.27	c #Conflicts:     417000 | #Constraints:      30098
1829.35/1834.27	c GLOBAL bounds - >= 0 @ 1816.97
1838.32/1843.28	c #Conflicts:     418000 | #Constraints:      31100
1838.32/1843.28	c GLOBAL bounds - >= 0 @ 1825.89
1850.11/1855.06	c #Conflicts:     419000 | #Constraints:      32102
1850.11/1855.06	c #Conflicts:     420000 | #Constraints:      33102
1850.11/1855.06	c INPROCESSING
1850.11/1855.06	c GARBAGE COLLECT
1850.11/1855.06	c GLOBAL bounds - >= 0 @ 1837.56
1851.60/1856.56	c #Conflicts:     421000 | #Constraints:      21345
1851.60/1856.56	c GLOBAL bounds - >= 0 @ 1839.04
1907.17/1912.25	c #Conflicts:     422000 | #Constraints:      22347
1907.17/1912.25	c #Conflicts:     423000 | #Constraints:      23347
1907.17/1912.25	c #Conflicts:     424000 | #Constraints:      24347
1907.17/1912.25	c #Conflicts:     425000 | #Constraints:      25347
1907.17/1912.25	c #Conflicts:     426000 | #Constraints:      26347
1907.17/1912.25	c #Conflicts:     427000 | #Constraints:      27347
1907.17/1912.25	c #Conflicts:     428000 | #Constraints:      28347
1907.17/1912.25	c #Conflicts:     429000 | #Constraints:      29347
1907.17/1912.25	c #Conflicts:     430000 | #Constraints:      30347
1907.17/1912.25	c #Conflicts:     431000 | #Constraints:      31347
1907.17/1912.25	c #Conflicts:     432000 | #Constraints:      32347
1907.17/1912.25	c #Conflicts:     433000 | #Constraints:      33347
1907.17/1912.25	c INPROCESSING
1907.17/1912.25	c GARBAGE COLLECT
1907.17/1912.25	c #Conflicts:     434000 | #Constraints:      21370
1907.17/1912.25	c #Conflicts:     435000 | #Constraints:      22370
1907.17/1912.25	c #Conflicts:     436000 | #Constraints:      23370
1907.17/1912.25	c GLOBAL bounds - >= 0 @ 1894.46
1943.68/1948.85	c #Conflicts:     437000 | #Constraints:      24372
1943.68/1948.85	c #Conflicts:     438000 | #Constraints:      25372
1943.68/1948.85	c #Conflicts:     439000 | #Constraints:      26372
1943.68/1948.85	c #Conflicts:     440000 | #Constraints:      27372
1943.68/1948.85	c #Conflicts:     441000 | #Constraints:      28372
1943.68/1948.85	c #Conflicts:     442000 | #Constraints:      29372
1943.68/1948.85	c #Conflicts:     443000 | #Constraints:      30372
1943.68/1948.85	c #Conflicts:     444000 | #Constraints:      31372
1943.68/1948.85	c GLOBAL bounds - >= 0 @ 1930.9
1951.26/1956.41	c #Conflicts:     445000 | #Constraints:      32374
1951.26/1956.41	c #Conflicts:     446000 | #Constraints:      33374
1951.26/1956.41	c INPROCESSING
1951.26/1956.41	c GARBAGE COLLECT
1951.26/1956.41	c GLOBAL bounds - >= 0 @ 1938.41
1956.96/1962.12	c #Conflicts:     447000 | #Constraints:      21156
1956.96/1962.12	c #Conflicts:     448000 | #Constraints:      22156
1956.96/1962.12	c #Conflicts:     449000 | #Constraints:      23156
1956.96/1962.12	c GLOBAL bounds - >= 0 @ 1944.09
1958.64/1963.88	c #Conflicts:     450000 | #Constraints:      24158
1958.64/1963.88	c GLOBAL bounds - >= 0 @ 1945.83
1967.42/1972.61	c #Conflicts:     451000 | #Constraints:      25160
1967.42/1972.61	c #Conflicts:     452000 | #Constraints:      26160
1967.42/1972.61	c GLOBAL bounds - >= 0 @ 1954.53
1973.01/1978.29	c #Conflicts:     453000 | #Constraints:      27162
1973.01/1978.29	c #Conflicts:     454000 | #Constraints:      28162
1973.01/1978.29	c GLOBAL bounds - >= 0 @ 1960.17
2037.26/2042.61	c #Conflicts:     455000 | #Constraints:      29164
2037.26/2042.61	c #Conflicts:     456000 | #Constraints:      30164
2037.26/2042.61	c #Conflicts:     457000 | #Constraints:      31164
2037.26/2042.61	c #Conflicts:     458000 | #Constraints:      32164
2037.26/2042.61	c #Conflicts:     459000 | #Constraints:      33164
2037.26/2042.61	c #Conflicts:     460000 | #Constraints:      34164
2037.26/2042.61	c INPROCESSING
2037.26/2042.61	c GARBAGE COLLECT
2037.26/2042.61	c #Conflicts:     461000 | #Constraints:      21806
2037.26/2042.61	c #Conflicts:     462000 | #Constraints:      22806
2037.26/2042.61	c #Conflicts:     463000 | #Constraints:      23806
2037.26/2042.61	c #Conflicts:     464000 | #Constraints:      24806
2037.26/2042.61	c #Conflicts:     465000 | #Constraints:      25806
2037.26/2042.61	c #Conflicts:     466000 | #Constraints:      26806
2037.26/2042.61	c #Conflicts:     467000 | #Constraints:      27806
2037.26/2042.61	c #Conflicts:     468000 | #Constraints:      28806
2037.26/2042.61	c #Conflicts:     469000 | #Constraints:      29806
2037.26/2042.61	c #Conflicts:     470000 | #Constraints:      30806
2037.26/2042.61	c GLOBAL bounds - >= 0 @ 2024.17
2054.31/2059.75	c #Conflicts:     471000 | #Constraints:      31808
2054.31/2059.75	c #Conflicts:     472000 | #Constraints:      32808
2054.31/2059.75	c #Conflicts:     473000 | #Constraints:      33808
2054.31/2059.75	c #Conflicts:     474000 | #Constraints:      34808
2054.31/2059.75	c INPROCESSING
2054.31/2059.75	c GARBAGE COLLECT
2054.31/2059.75	c GLOBAL bounds - >= 0 @ 2041.21
2278.43/2284.41	c #Conflicts:     475000 | #Constraints:      22222
2278.43/2284.41	c #Conflicts:     476000 | #Constraints:      23222
2278.43/2284.41	c #Conflicts:     477000 | #Constraints:      24222
2278.43/2284.41	c #Conflicts:     478000 | #Constraints:      25222
2278.43/2284.41	c #Conflicts:     479000 | #Constraints:      26222
2278.43/2284.41	c #Conflicts:     480000 | #Constraints:      27222
2278.43/2284.41	c #Conflicts:     481000 | #Constraints:      28222
2278.43/2284.41	c #Conflicts:     482000 | #Constraints:      29222
2278.43/2284.41	c #Conflicts:     483000 | #Constraints:      30222
2278.43/2284.41	c #Conflicts:     484000 | #Constraints:      31222
2278.43/2284.41	c #Conflicts:     485000 | #Constraints:      32222
2278.43/2284.41	c #Conflicts:     486000 | #Constraints:      33222
2278.43/2284.41	c #Conflicts:     487000 | #Constraints:      34222
2278.43/2284.41	c #Conflicts:     488000 | #Constraints:      35222
2278.43/2284.41	c INPROCESSING
2278.43/2284.41	c GARBAGE COLLECT
2278.43/2284.41	c #Conflicts:     489000 | #Constraints:      22391
2278.43/2284.41	c #Conflicts:     490000 | #Constraints:      23391
2278.43/2284.41	c #Conflicts:     491000 | #Constraints:      24391
2278.43/2284.41	c #Conflicts:     492000 | #Constraints:      25391
2278.43/2284.41	c #Conflicts:     493000 | #Constraints:      26391
2278.43/2284.41	c #Conflicts:     494000 | #Constraints:      27391
2278.43/2284.41	c #Conflicts:     495000 | #Constraints:      28391
2278.43/2284.41	c #Conflicts:     496000 | #Constraints:      29391
2278.43/2284.41	c #Conflicts:     497000 | #Constraints:      30391
2278.43/2284.41	c #Conflicts:     498000 | #Constraints:      31391
2278.43/2284.41	c #Conflicts:     499000 | #Constraints:      32391
2278.43/2284.41	c #Conflicts:     500000 | #Constraints:      33391
2278.43/2284.41	c #Conflicts:     501000 | #Constraints:      34391
2278.43/2284.41	c #Conflicts:     502000 | #Constraints:      35391
2278.43/2284.41	c INPROCESSING
2278.43/2284.41	c GARBAGE COLLECT
2278.43/2284.41	c #Conflicts:     503000 | #Constraints:      22412
2278.43/2284.41	c #Conflicts:     504000 | #Constraints:      23412
2278.43/2284.41	c #Conflicts:     505000 | #Constraints:      24412
2278.43/2284.41	c #Conflicts:     506000 | #Constraints:      25412
2278.43/2284.41	c #Conflicts:     507000 | #Constraints:      26412
2278.43/2284.41	c #Conflicts:     508000 | #Constraints:      27412
2278.43/2284.41	c #Conflicts:     509000 | #Constraints:      28412
2278.43/2284.41	c #Conflicts:     510000 | #Constraints:      29412
2278.43/2284.41	c #Conflicts:     511000 | #Constraints:      30412
2278.43/2284.41	c #Conflicts:     512000 | #Constraints:      31412
2278.43/2284.41	c #Conflicts:     513000 | #Constraints:      32412
2278.43/2284.41	c #Conflicts:     514000 | #Constraints:      33412
2278.43/2284.41	c #Conflicts:     515000 | #Constraints:      34412
2278.43/2284.41	c #Conflicts:     516000 | #Constraints:      35412
2278.43/2284.41	c INPROCESSING
2278.43/2284.41	c GARBAGE COLLECT
2278.43/2284.41	c #Conflicts:     517000 | #Constraints:      22232
2278.43/2284.41	c #Conflicts:     518000 | #Constraints:      23232
2278.43/2284.41	c #Conflicts:     519000 | #Constraints:      24232
2278.43/2284.41	c #Conflicts:     520000 | #Constraints:      25232
2278.43/2284.41	c #Conflicts:     521000 | #Constraints:      26232
2278.43/2284.41	c #Conflicts:     522000 | #Constraints:      27232
2278.43/2284.41	c #Conflicts:     523000 | #Constraints:      28232
2278.43/2284.41	c #Conflicts:     524000 | #Constraints:      29232
2278.43/2284.41	c #Conflicts:     525000 | #Constraints:      30232
2278.43/2284.41	c #Conflicts:     526000 | #Constraints:      31232
2278.43/2284.41	c #Conflicts:     527000 | #Constraints:      32232
2278.43/2284.41	c GLOBAL bounds - >= 0 @ 2264.5
2293.49/2299.55	c #Conflicts:     528000 | #Constraints:      33234
2293.49/2299.55	c #Conflicts:     529000 | #Constraints:      34234
2293.49/2299.55	c #Conflicts:     530000 | #Constraints:      35234
2293.49/2299.55	c GLOBAL bounds - >= 0 @ 2279.48
2310.14/2316.24	c #Conflicts:     531000 | #Constraints:      36236
2310.14/2316.24	c INPROCESSING
2310.14/2316.24	c GARBAGE COLLECT
2310.14/2316.24	c #Conflicts:     532000 | #Constraints:      22794
2310.14/2316.24	c #Conflicts:     533000 | #Constraints:      23794
2310.14/2316.24	c GLOBAL bounds - >= 0 @ 2296.03
2347.13/2353.35	c #Conflicts:     534000 | #Constraints:      24796
2347.13/2353.35	c #Conflicts:     535000 | #Constraints:      25796
2347.13/2353.35	c #Conflicts:     536000 | #Constraints:      26796
2347.13/2353.35	c #Conflicts:     537000 | #Constraints:      27796
2347.13/2353.35	c #Conflicts:     538000 | #Constraints:      28796
2347.13/2353.35	c #Conflicts:     539000 | #Constraints:      29796
2347.13/2353.35	c #Conflicts:     540000 | #Constraints:      30796
2347.13/2353.35	c GLOBAL bounds - >= 0 @ 2332.89
2355.70/2361.92	c #Conflicts:     541000 | #Constraints:      31798
2355.70/2361.92	c #Conflicts:     542000 | #Constraints:      32798
2355.70/2361.92	c GLOBAL bounds - >= 0 @ 2341.38
2360.40/2366.63	c GLOBAL bounds - >= 0 @ 2346.05
2362.19/2368.48	c #Conflicts:     543000 | #Constraints:      33802
2362.19/2368.48	c GLOBAL bounds - >= 0 @ 2347.88
2364.19/2370.47	c GLOBAL bounds - >= 0 @ 2349.87
2370.96/2377.29	c #Conflicts:     544000 | #Constraints:      34806
2370.96/2377.29	c GLOBAL bounds - >= 0 @ 2356.63
2377.24/2383.50	c #Conflicts:     545000 | #Constraints:      35808
2377.24/2383.50	c GLOBAL bounds - >= 0 @ 2362.79
2419.02/2425.41	c #Conflicts:     546000 | #Constraints:      36810
2419.02/2425.41	c INPROCESSING
2419.02/2425.41	c GARBAGE COLLECT
2419.02/2425.41	c #Conflicts:     547000 | #Constraints:      23218
2419.02/2425.41	c #Conflicts:     548000 | #Constraints:      24218
2419.02/2425.41	c #Conflicts:     549000 | #Constraints:      25218
2419.02/2425.41	c #Conflicts:     550000 | #Constraints:      26218
2419.02/2425.41	c #Conflicts:     551000 | #Constraints:      27218
2419.02/2425.41	c #Conflicts:     552000 | #Constraints:      28218
2419.02/2425.41	c #Conflicts:     553000 | #Constraints:      29218
2419.02/2425.41	c GLOBAL bounds - >= 0 @ 2404.32
2426.10/2432.57	c #Conflicts:     554000 | #Constraints:      30220
2426.10/2432.57	c GLOBAL bounds - >= 0 @ 2411.42
2576.95/2583.89	c #Conflicts:     555000 | #Constraints:      31222
2576.95/2583.89	c #Conflicts:     556000 | #Constraints:      32222
2576.95/2583.89	c #Conflicts:     557000 | #Constraints:      33222
2576.95/2583.89	c #Conflicts:     558000 | #Constraints:      34222
2576.95/2583.89	c #Conflicts:     559000 | #Constraints:      35222
2576.95/2583.89	c #Conflicts:     560000 | #Constraints:      36222
2576.95/2583.89	c #Conflicts:     561000 | #Constraints:      37222
2576.95/2583.89	c INPROCESSING
2576.95/2583.89	c GARBAGE COLLECT
2576.95/2583.89	c #Conflicts:     562000 | #Constraints:      23441
2576.95/2583.89	c #Conflicts:     563000 | #Constraints:      24441
2576.95/2583.89	c #Conflicts:     564000 | #Constraints:      25441
2576.95/2583.89	c #Conflicts:     565000 | #Constraints:      26441
2576.95/2583.89	c #Conflicts:     566000 | #Constraints:      27441
2576.95/2583.89	c #Conflicts:     567000 | #Constraints:      28441
2576.95/2583.89	c #Conflicts:     568000 | #Constraints:      29441
2576.95/2583.89	c #Conflicts:     569000 | #Constraints:      30441
2576.95/2583.89	c #Conflicts:     570000 | #Constraints:      31441
2576.95/2583.89	c #Conflicts:     571000 | #Constraints:      32441
2576.95/2583.89	c #Conflicts:     572000 | #Constraints:      33441
2576.95/2583.89	c #Conflicts:     573000 | #Constraints:      34441
2576.95/2583.89	c #Conflicts:     574000 | #Constraints:      35441
2576.95/2583.89	c #Conflicts:     575000 | #Constraints:      36441
2576.95/2583.89	c #Conflicts:     576000 | #Constraints:      37441
2576.95/2583.89	c INPROCESSING
2576.95/2583.89	c GARBAGE COLLECT
2576.95/2583.89	c #Conflicts:     577000 | #Constraints:      23450
2576.95/2583.89	c #Conflicts:     578000 | #Constraints:      24450
2576.95/2583.89	c #Conflicts:     579000 | #Constraints:      25450
2576.95/2583.89	c #Conflicts:     580000 | #Constraints:      26450
2576.95/2583.89	c #Conflicts:     581000 | #Constraints:      27450
2576.95/2583.89	c #Conflicts:     582000 | #Constraints:      28450
2576.95/2583.89	c #Conflicts:     583000 | #Constraints:      29450
2576.95/2583.89	c GLOBAL bounds - >= 0 @ 2561.42
2594.30/2601.25	c #Conflicts:     584000 | #Constraints:      30452
2594.30/2601.25	c #Conflicts:     585000 | #Constraints:      31452
2594.30/2601.25	c #Conflicts:     586000 | #Constraints:      32452
2594.30/2601.25	c #Conflicts:     587000 | #Constraints:      33452
2594.30/2601.25	c GLOBAL bounds - >= 0 @ 2578.67
2626.70/2633.77	c #Conflicts:     588000 | #Constraints:      34454
2626.70/2633.77	c #Conflicts:     589000 | #Constraints:      35454
2626.70/2633.77	c #Conflicts:     590000 | #Constraints:      36454
2626.70/2633.77	c #Conflicts:     591000 | #Constraints:      37454
2626.70/2633.77	c INPROCESSING
2626.70/2633.77	c GARBAGE COLLECT
2626.70/2633.77	c #Conflicts:     592000 | #Constraints:      23252
2626.70/2633.77	c GLOBAL bounds - >= 0 @ 2610.81
2698.90/2706.18	c #Conflicts:     593000 | #Constraints:      24254
2698.90/2706.18	c #Conflicts:     594000 | #Constraints:      25254
2698.90/2706.18	c #Conflicts:     595000 | #Constraints:      26254
2698.90/2706.18	c #Conflicts:     596000 | #Constraints:      27254
2698.90/2706.18	c #Conflicts:     597000 | #Constraints:      28254
2698.90/2706.18	c #Conflicts:     598000 | #Constraints:      29254
2698.90/2706.18	c #Conflicts:     599000 | #Constraints:      30254
2698.90/2706.18	c #Conflicts:     600000 | #Constraints:      31254
2698.90/2706.18	c #Conflicts:     601000 | #Constraints:      32254
2698.90/2706.18	c #Conflicts:     602000 | #Constraints:      33254
2698.90/2706.18	c #Conflicts:     603000 | #Constraints:      34254
2698.90/2706.18	c #Conflicts:     604000 | #Constraints:      35254
2698.90/2706.18	c #Conflicts:     605000 | #Constraints:      36254
2698.90/2706.18	c #Conflicts:     606000 | #Constraints:      37254
2698.90/2706.18	c GLOBAL bounds - >= 0 @ 2682.64
2850.84/2858.50	c #Conflicts:     607000 | #Constraints:      38256
2850.84/2858.50	c INPROCESSING
2850.84/2858.50	c GARBAGE COLLECT
2850.84/2858.50	c #Conflicts:     608000 | #Constraints:      23859
2850.84/2858.50	c #Conflicts:     609000 | #Constraints:      24859
2850.84/2858.50	c #Conflicts:     610000 | #Constraints:      25859
2850.84/2858.50	c #Conflicts:     611000 | #Constraints:      26859
2850.84/2858.50	c #Conflicts:     612000 | #Constraints:      27859
2850.84/2858.50	c #Conflicts:     613000 | #Constraints:      28859
2850.84/2858.50	c #Conflicts:     614000 | #Constraints:      29859
2850.84/2858.50	c #Conflicts:     615000 | #Constraints:      30859
2850.84/2858.50	c #Conflicts:     616000 | #Constraints:      31859
2850.84/2858.50	c #Conflicts:     617000 | #Constraints:      32859
2850.84/2858.50	c #Conflicts:     618000 | #Constraints:      33859
2850.84/2858.50	c #Conflicts:     619000 | #Constraints:      34859
2850.84/2858.50	c #Conflicts:     620000 | #Constraints:      35859
2850.84/2858.50	c #Conflicts:     621000 | #Constraints:      36859
2850.84/2858.50	c #Conflicts:     622000 | #Constraints:      37859
2850.84/2858.50	c #Conflicts:     623000 | #Constraints:      38859
2850.84/2858.50	c INPROCESSING
2850.84/2858.50	c GARBAGE COLLECT
2850.84/2858.50	c #Conflicts:     624000 | #Constraints:      24269
2850.84/2858.50	c #Conflicts:     625000 | #Constraints:      25269
2850.84/2858.50	c #Conflicts:     626000 | #Constraints:      26269
2850.84/2858.50	c #Conflicts:     627000 | #Constraints:      27269
2850.84/2858.50	c #Conflicts:     628000 | #Constraints:      28269
2850.84/2858.50	c #Conflicts:     629000 | #Constraints:      29269
2850.84/2858.50	c #Conflicts:     630000 | #Constraints:      30269
2850.84/2858.50	c #Conflicts:     631000 | #Constraints:      31269
2850.84/2858.50	c #Conflicts:     632000 | #Constraints:      32269
2850.84/2858.50	c #Conflicts:     633000 | #Constraints:      33269
2850.84/2858.50	c GLOBAL bounds - >= 0 @ 2834.01
2881.65/2889.48	c #Conflicts:     634000 | #Constraints:      34271
2881.65/2889.48	c #Conflicts:     635000 | #Constraints:      35271
2881.65/2889.48	c #Conflicts:     636000 | #Constraints:      36271
2881.65/2889.48	c #Conflicts:     637000 | #Constraints:      37271
2881.65/2889.48	c #Conflicts:     638000 | #Constraints:      38271
2881.65/2889.48	c GLOBAL bounds - >= 0 @ 2864.75
2903.98/2911.80	c #Conflicts:     639000 | #Constraints:      39273
2903.98/2911.80	c INPROCESSING
2903.98/2911.80	c GARBAGE COLLECT
2903.98/2911.80	c #Conflicts:     640000 | #Constraints:      24449
2903.98/2911.80	c #Conflicts:     641000 | #Constraints:      25449
2903.98/2911.80	c #Conflicts:     642000 | #Constraints:      26449
2903.98/2911.80	c #Conflicts:     643000 | #Constraints:      27449
2903.98/2911.80	c GLOBAL bounds - >= 0 @ 2886.83
3027.51/3035.73	c #Conflicts:     644000 | #Constraints:      28451
3027.51/3035.73	c #Conflicts:     645000 | #Constraints:      29451
3027.51/3035.73	c #Conflicts:     646000 | #Constraints:      30451
3027.51/3035.73	c #Conflicts:     647000 | #Constraints:      31451
3027.51/3035.73	c #Conflicts:     648000 | #Constraints:      32451
3027.51/3035.73	c #Conflicts:     649000 | #Constraints:      33451
3027.51/3035.73	c #Conflicts:     650000 | #Constraints:      34451
3027.51/3035.73	c #Conflicts:     651000 | #Constraints:      35451
3027.51/3035.73	c #Conflicts:     652000 | #Constraints:      36451
3027.51/3035.73	c #Conflicts:     653000 | #Constraints:      37451
3027.51/3035.73	c #Conflicts:     654000 | #Constraints:      38451
3027.51/3035.73	c #Conflicts:     655000 | #Constraints:      39451
3027.51/3035.73	c INPROCESSING
3027.51/3035.73	c GARBAGE COLLECT
3027.51/3035.73	c #Conflicts:     656000 | #Constraints:      24467
3027.51/3035.73	c #Conflicts:     657000 | #Constraints:      25467
3027.51/3035.73	c #Conflicts:     658000 | #Constraints:      26467
3027.51/3035.73	c #Conflicts:     659000 | #Constraints:      27467
3027.51/3035.73	c #Conflicts:     660000 | #Constraints:      28467
3027.51/3035.73	c #Conflicts:     661000 | #Constraints:      29467
3027.51/3035.73	c GLOBAL bounds - >= 0 @ 3009.87
3080.35/3088.78	c #Conflicts:     662000 | #Constraints:      30469
3080.35/3088.78	c #Conflicts:     663000 | #Constraints:      31469
3080.35/3088.78	c #Conflicts:     664000 | #Constraints:      32469
3080.35/3088.78	c #Conflicts:     665000 | #Constraints:      33469
3080.35/3088.78	c #Conflicts:     666000 | #Constraints:      34469
3080.35/3088.78	c #Conflicts:     667000 | #Constraints:      35469
3080.35/3088.78	c #Conflicts:     668000 | #Constraints:      36469
3080.35/3088.78	c #Conflicts:     669000 | #Constraints:      37469
3080.35/3088.78	c #Conflicts:     670000 | #Constraints:      38469
3080.35/3088.78	c GLOBAL bounds - >= 0 @ 3062.64
3105.28/3113.73	c #Conflicts:     671000 | #Constraints:      39471
3105.28/3113.73	c INPROCESSING
3105.28/3113.73	c GARBAGE COLLECT
3105.28/3113.73	c #Conflicts:     672000 | #Constraints:      24265
3105.28/3113.73	c #Conflicts:     673000 | #Constraints:      25265
3105.28/3113.73	c #Conflicts:     674000 | #Constraints:      26265
3105.28/3113.73	c GLOBAL bounds - >= 0 @ 3087.3
3110.87/3119.30	c #Conflicts:     675000 | #Constraints:      27267
3110.87/3119.30	c GLOBAL bounds - >= 0 @ 3092.82
3115.75/3124.29	c #Conflicts:     676000 | #Constraints:      28269
3115.75/3124.29	c GLOBAL bounds - >= 0 @ 3097.77
3145.96/3154.51	c #Conflicts:     677000 | #Constraints:      29271
3145.96/3154.51	c #Conflicts:     678000 | #Constraints:      30271
3145.96/3154.51	c #Conflicts:     679000 | #Constraints:      31271
3145.96/3154.51	c #Conflicts:     680000 | #Constraints:      32271
3145.96/3154.51	c #Conflicts:     681000 | #Constraints:      33271
3145.96/3154.51	c #Conflicts:     682000 | #Constraints:      34271
3145.96/3154.51	c GLOBAL bounds - >= 0 @ 3127.73
3193.33/3202.01	c #Conflicts:     683000 | #Constraints:      35273
3193.33/3202.01	c #Conflicts:     684000 | #Constraints:      36273
3193.33/3202.01	c #Conflicts:     685000 | #Constraints:      37273
3193.33/3202.01	c #Conflicts:     686000 | #Constraints:      38273
3193.33/3202.01	c #Conflicts:     687000 | #Constraints:      39273
3193.33/3202.01	c #Conflicts:     688000 | #Constraints:      40273
3193.33/3202.01	c INPROCESSING
3193.33/3202.01	c GARBAGE COLLECT
3193.33/3202.01	c #Conflicts:     689000 | #Constraints:      24874
3193.33/3202.01	c #Conflicts:     690000 | #Constraints:      25874
3193.33/3202.01	c GLOBAL bounds - >= 0 @ 3174.85
3205.48/3214.28	c #Conflicts:     691000 | #Constraints:      26876
3205.48/3214.28	c #Conflicts:     692000 | #Constraints:      27876
3205.48/3214.28	c #Conflicts:     693000 | #Constraints:      28876
3205.48/3214.28	c GLOBAL bounds - >= 0 @ 3187.01
3212.86/3221.60	c #Conflicts:     694000 | #Constraints:      29878
3212.86/3221.60	c GLOBAL bounds - >= 0 @ 3194.29
3227.42/3236.24	c #Conflicts:     695000 | #Constraints:      30880
3227.42/3236.24	c #Conflicts:     696000 | #Constraints:      31880
3227.42/3236.24	c #Conflicts:     697000 | #Constraints:      32880
3227.42/3236.24	c GLOBAL bounds - >= 0 @ 3208.81
3233.60/3242.49	c #Conflicts:     698000 | #Constraints:      33882
3233.60/3242.49	c GLOBAL bounds - >= 0 @ 3215.02
3268.00/3276.92	c #Conflicts:     699000 | #Constraints:      34884
3268.00/3276.92	c #Conflicts:     700000 | #Constraints:      35884
3268.00/3276.92	c #Conflicts:     701000 | #Constraints:      36884
3268.00/3276.92	c #Conflicts:     702000 | #Constraints:      37884
3268.00/3276.92	c #Conflicts:     703000 | #Constraints:      38884
3268.00/3276.92	c GLOBAL bounds - >= 0 @ 3249.12
3273.38/3282.31	c #Conflicts:     704000 | #Constraints:      39886
3273.38/3282.31	c GLOBAL bounds - >= 0 @ 3254.47
3277.27/3286.20	c GLOBAL bounds - >= 0 @ 3258.29
3287.24/3296.24	c #Conflicts:     705000 | #Constraints:      40890
3287.24/3296.24	c INPROCESSING
3287.24/3296.24	c GARBAGE COLLECT
3287.24/3296.24	c #Conflicts:     706000 | #Constraints:      25260
3287.24/3296.24	c GLOBAL bounds - >= 0 @ 3268.27
3289.53/3298.52	c #Conflicts:     707000 | #Constraints:      26262
3289.53/3298.52	c GLOBAL bounds - >= 0 @ 3270.51
3306.78/3315.86	c #Conflicts:     708000 | #Constraints:      27264
3306.78/3315.86	c #Conflicts:     709000 | #Constraints:      28264
3306.78/3315.86	c #Conflicts:     710000 | #Constraints:      29264
3306.78/3315.86	c #Conflicts:     711000 | #Constraints:      30264
3306.78/3315.86	c GLOBAL bounds - >= 0 @ 3287.76
3337.19/3346.33	c #Conflicts:     712000 | #Constraints:      31266
3337.19/3346.33	c #Conflicts:     713000 | #Constraints:      32266
3337.19/3346.33	c #Conflicts:     714000 | #Constraints:      33266
3337.19/3346.33	c #Conflicts:     715000 | #Constraints:      34266
3337.19/3346.33	c #Conflicts:     716000 | #Constraints:      35266
3337.19/3346.33	c #Conflicts:     717000 | #Constraints:      36266
3337.19/3346.33	c #Conflicts:     718000 | #Constraints:      37266
3337.19/3346.33	c GLOBAL bounds - >= 0 @ 3318.03
3355.03/3364.27	c #Conflicts:     719000 | #Constraints:      38268
3355.03/3364.27	c #Conflicts:     720000 | #Constraints:      39268
3355.03/3364.27	c #Conflicts:     721000 | #Constraints:      40268
3355.03/3364.27	c #Conflicts:     722000 | #Constraints:      41268
3355.03/3364.27	c INPROCESSING
3355.03/3364.27	c GARBAGE COLLECT
3355.03/3364.27	c GLOBAL bounds - >= 0 @ 3335.89
3362.71/3371.95	c #Conflicts:     723000 | #Constraints:      25477
3362.71/3371.95	c #Conflicts:     724000 | #Constraints:      26477
3362.71/3371.95	c GLOBAL bounds - >= 0 @ 3343.53
3568.70/3578.57	c #Conflicts:     725000 | #Constraints:      27479
3568.70/3578.57	c #Conflicts:     726000 | #Constraints:      28479
3568.70/3578.57	c #Conflicts:     727000 | #Constraints:      29479
3568.70/3578.57	c #Conflicts:     728000 | #Constraints:      30479
3568.70/3578.57	c #Conflicts:     729000 | #Constraints:      31479
3568.70/3578.57	c #Conflicts:     730000 | #Constraints:      32479
3568.70/3578.57	c #Conflicts:     731000 | #Constraints:      33479
3568.70/3578.57	c #Conflicts:     732000 | #Constraints:      34479
3568.70/3578.57	c #Conflicts:     733000 | #Constraints:      35479
3568.70/3578.57	c #Conflicts:     734000 | #Constraints:      36479
3568.70/3578.57	c #Conflicts:     735000 | #Constraints:      37479
3568.70/3578.57	c #Conflicts:     736000 | #Constraints:      38479
3568.70/3578.57	c #Conflicts:     737000 | #Constraints:      39479
3568.70/3578.57	c #Conflicts:     738000 | #Constraints:      40479
3568.70/3578.57	c #Conflicts:     739000 | #Constraints:      41479
3568.70/3578.57	c INPROCESSING
3568.70/3578.57	c GARBAGE COLLECT
3568.70/3578.57	c #Conflicts:     740000 | #Constraints:      25488
3568.70/3578.57	c #Conflicts:     741000 | #Constraints:      26488
3568.70/3578.57	c #Conflicts:     742000 | #Constraints:      27488
3568.70/3578.57	c #Conflicts:     743000 | #Constraints:      28488
3568.70/3578.57	c #Conflicts:     744000 | #Constraints:      29488
3568.70/3578.57	c #Conflicts:     745000 | #Constraints:      30488
3568.70/3578.57	c #Conflicts:     746000 | #Constraints:      31488
3568.70/3578.57	c #Conflicts:     747000 | #Constraints:      32488
3568.70/3578.57	c #Conflicts:     748000 | #Constraints:      33488
3568.70/3578.57	c #Conflicts:     749000 | #Constraints:      34488
3568.70/3578.57	c #Conflicts:     750000 | #Constraints:      35488
3568.70/3578.57	c #Conflicts:     751000 | #Constraints:      36488
3568.70/3578.57	c #Conflicts:     752000 | #Constraints:      37488
3568.70/3578.57	c #Conflicts:     753000 | #Constraints:      38488
3568.70/3578.57	c #Conflicts:     754000 | #Constraints:      39488
3568.70/3578.57	c #Conflicts:     755000 | #Constraints:      40488
3568.70/3578.57	c #Conflicts:     756000 | #Constraints:      41488
3568.70/3578.57	c INPROCESSING
3568.70/3578.57	c GARBAGE COLLECT
3568.70/3578.57	c #Conflicts:     757000 | #Constraints:      25306
3568.70/3578.57	c #Conflicts:     758000 | #Constraints:      26306
3568.70/3578.57	c #Conflicts:     759000 | #Constraints:      27306
3568.70/3578.57	c #Conflicts:     760000 | #Constraints:      28306
3568.70/3578.57	c #Conflicts:     761000 | #Constraints:      29306
3568.70/3578.57	c #Conflicts:     762000 | #Constraints:      30306
3568.70/3578.57	c #Conflicts:     763000 | #Constraints:      31306
3568.70/3578.57	c GLOBAL bounds - >= 0 @ 3548.9
3578.47/3588.37	c #Conflicts:     764000 | #Constraints:      32308
3578.47/3588.37	c #Conflicts:     765000 | #Constraints:      33308
3578.47/3588.37	c GLOBAL bounds - >= 0 @ 3558.62
3600.01/3609.90	c #Conflicts:     766000 | #Constraints:      34310
3600.01/3609.90	c #Conflicts:     767000 | #Constraints:      35310
3600.01/3609.90	c #Conflicts:     768000 | #Constraints:      36310
3600.01/3609.90	c cpu time 3579.94 s
3600.01/3609.90	c deterministic time 1 1.00e+00
3600.01/3609.90	c optimization time 3579.87 s
3600.01/3609.90	c total solve time 0 s
3600.01/3609.90	c core-guided solve time 0 s
3600.01/3609.90	c propagation time 0.005916 s
3600.01/3609.90	c conflict analysis time 0 s
3600.01/3609.90	c propagations 0
3600.01/3609.90	c resolve steps 0
3600.01/3609.90	c decisions 0
3600.01/3609.90	c conflicts 0
3600.01/3609.90	c restarts 0
3600.01/3609.90	c inprocessing phases 0
3600.01/3609.90	c garbage collections 0 ,( -nan )
3600.01/3609.90	c input clauses 7020 ,( 100.00 )
3600.01/3609.90	c input cardinalities 0 ,( 0.00 )
3600.01/3609.90	c input general constraints 0 ,( 0.00 )
3600.01/3609.90	c input average constraint length 4.00
3600.01/3609.90	c input average constraint degree 1.00
3600.01/3609.90	c learned clauses 0 ,( 0.00 )
3600.01/3609.90	c learned cardinalities 0 ,( 0.00 )
3600.01/3609.90	c learned general constraints 0 ,( 0.00 )
3600.01/3609.90	c learned average constraint length 0.00
3600.01/3609.90	c learned average constraint degree 0.00
3600.01/3609.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3609.90	c watched   constraints 0 ,( -nan ) 
3600.01/3609.90	c counting  constraints 0 ,( -nan ) 
3600.01/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.90	c gcd simplifications 0
3600.01/3609.90	c detected cardinalities 0
3600.01/3609.90	c weakened non-implied lits 0
3600.01/3609.90	c weakened non-implying lits 0
3600.01/3609.90	c original variables 7020
3600.01/3609.90	c clausal propagations 0
3600.01/3609.90	c cardinality propagations 0
3600.01/3609.90	c watched propagations 0
3600.01/3609.90	c counting propagations 0
3600.01/3609.90	c watch lookups 0
3600.01/3609.90	c watch backjump lookups 0
3600.01/3609.90	c watch checks 0
3600.01/3609.90	c propagation checks 0
3600.01/3609.90	c constraint additions 0
3600.01/3609.90	c trail pops 0
3600.01/3609.90	c formula constraints 7020
3600.01/3609.90	c learned constraints 0
3600.01/3609.90	c bound constraints 0
3600.01/3609.90	c core-guided constraints 0
3600.01/3609.90	c encountered formula constraints 0
3600.01/3609.90	c encountered learned constraints 0
3600.01/3609.90	c encountered bound constraints 0
3600.01/3609.90	c encountered core-guided constraints 0
3600.01/3609.90	c LP total time 0 s
3600.01/3609.90	c LP solve time 0 s
3600.01/3609.90	c LP constraints added 0
3600.01/3609.90	c LP constraints removed 0
3600.01/3609.90	c LP pivots internal 0
3600.01/3609.90	c LP pivots root 0
3600.01/3609.90	c LP calls 0
3600.01/3609.90	c LP optimalities 0
3600.01/3609.90	c LP no pivot count 0
3600.01/3609.90	c LP infeasibilities 0
3600.01/3609.90	c LP valid Farkas constraints 0
3600.01/3609.90	c LP learned Farkas constraints 0
3600.01/3609.90	c LP basis resets 0
3600.01/3609.90	c LP cycling count 0
3600.01/3609.90	c LP singular count 0
3600.01/3609.90	c LP no primal count 0
3600.01/3609.90	c LP no farkas count 0
3600.01/3609.90	c LP other issue count 0
3600.01/3609.90	c LP Gomory cuts 0
3600.01/3609.90	c LP learned cuts 0
3600.01/3609.90	c LP deleted cuts 0
3600.01/3609.90	c LP encountered Gomory constraints 0
3600.01/3609.90	c LP encountered Farkas constraints 0
3600.01/3609.90	c LP encountered learned Farkas constraints 0
3600.01/3609.90	c CG auxiliary variables introduced 0
3600.01/3609.90	c CG solutions found 0
3600.01/3609.90	c CG cores constructed 0
3600.01/3609.90	c CG core cardinality constraints returned 0
3600.01/3609.90	c CG unit cores 0
3600.01/3609.90	c CG single cores 0
3600.01/3609.90	c CG blocks removed during cardinality reduction 0
3600.01/3609.90	c CG first core best 0
3600.01/3609.90	c CG decision core best 0
3600.01/3609.90	c CG core reduction tie 0
3600.01/3609.90	c CG core degree average 0.00
3600.01/3609.90	c CG core slack average 0.00
3600.01/3609.90	c CG core upper bound improvements 0
3600.01/3609.90	c STR number of successful calls 0
3600.01/3609.90	c STR number of unsuccessful calls 0
3600.01/3609.90	c STR number of inconclusive calls 0
3600.01/3609.90	c STR number of successful attempts 0
3600.01/3609.90	c STR number of unsuccessful attempts 0
3600.01/3609.90	c STR number of inconclusive attempts 0
3600.01/3609.90	c STR average degree increase per successful call inf
3600.01/3609.90	c STR average degree increase per successful attempt inf
3600.01/3609.90	c STR total number of conflicts for successful attempts 0
3600.01/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.90	c STR average number of conflicts per successful attempt inf
3600.01/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.90	c AVG.sumWPerc -nan 
3600.01/3609.90	c bigint constraints 0 
3600.01/3609.90	s UNKNOWN
3600.01/3609.90	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: 63837 MiB (63106 MiB free)
  memory of node 1: 64465 MiB (63690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520848-1751582199/watcher-4520848-1751582199 -o /tmp/evaluation-result-4520848-1751582199/solver-4520848-1751582199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81855 --watchdog 3760 run-opt.sh HOME/instance-4520848-1751582199.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 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
solver pid=82601, runsolver pid=82596
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.16 4.10 4.12 3/246 82616
/proc/meminfo: memFree=129835152/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=61496 memory=15172 CPUtime=0.07 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 2495 0 0 0 5 2 0 0 20 0 1 0 73899059 62971904 3793 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 15374 3793 2240 1147 0 2801 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65688 KiB
Current children cumulated memory: 18244 KiB

[startup+0.213893 s]*
/proc/loadavg: 4.16 4.10 4.12 4/244 82620
/proc/meminfo: memFree=129842380/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=72824 memory=23364 CPUtime=0.19 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 4511 0 0 0 12 7 0 0 20 0 1 0 73899059 74571776 5841 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 18206 5841 2336 1147 0 5633 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77016 KiB
Current children cumulated memory: 26436 KiB

[startup+0.313593 s]*
/proc/loadavg: 4.16 4.10 4.12 4/243 82622
/proc/meminfo: memFree=129842352/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=74856 memory=28340 CPUtime=0.29 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 5213 0 0 0 21 8 0 0 20 0 1 0 73899059 76652544 7085 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 18714 7085 2336 1147 0 6141 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79048 KiB
Current children cumulated memory: 31412 KiB

[startup+0.700341 s]
/proc/loadavg: 4.16 4.10 4.12 3/251 82638
/proc/meminfo: memFree=129829604/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=88404 memory=42184 CPUtime=0.66 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 8176 0 0 0 55 11 0 0 20 0 1 0 73899059 90525696 10546 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 22101 10546 2336 1147 0 9528 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 92596 KiB
Current children cumulated memory: 45256 KiB

[startup+1.50036 s]
/proc/loadavg: 4.16 4.10 4.12 4/250 82660
/proc/meminfo: memFree=129802724/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=156740 memory=99784 CPUtime=1.46 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 20499 0 0 0 127 19 0 0 20 0 1 0 73899059 160501760 24946 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 39185 24946 2368 1147 0 26612 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 160932 KiB
Current children cumulated memory: 102856 KiB

[startup+3.11316 s]
/proc/loadavg: 4.14 4.10 4.12 5/254 82671
/proc/meminfo: memFree=129542040/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=265828 memory=189608 CPUtime=3.07 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 36309 0 0 0 280 27 0 0 20 0 1 0 73899059 272207872 47402 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 66457 47402 2368 1147 0 53884 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 270020 KiB
Current children cumulated memory: 192680 KiB

[startup+6.30037 s]
/proc/loadavg: 4.14 4.10 4.12 5/254 82671
/proc/meminfo: memFree=128894352/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=433208 memory=346588 CPUtime=6.25 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 65358 0 0 0 586 39 0 0 20 0 1 0 73899059 443604992 86647 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 108302 86647 2368 1147 0 95729 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 437400 KiB
Current children cumulated memory: 349660 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.10 4.12 5/254 82671
/proc/meminfo: memFree=128680724/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=746164 memory=548068 CPUtime=12.63 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 105528 0 0 0 1212 51 0 0 20 0 1 0 73899059 764071936 137017 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 186541 137017 2368 1147 0 173968 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 750356 KiB
Current children cumulated memory: 551140 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.11 4.12 5/254 82671
/proc/meminfo: memFree=128584700/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=748084 memory=612828 CPUtime=25.39 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 114034 0 0 0 2478 61 0 0 20 0 1 0 73899059 766038016 153207 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 187021 153207 2368 1147 0 174448 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 752276 KiB
Current children cumulated memory: 615900 KiB

[startup+51.1131 s]
/proc/loadavg: 4.11 4.10 4.11 5/255 82673
/proc/meminfo: memFree=128145296/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=1337600 memory=1036276 CPUtime=50.95 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 197427 0 0 0 4987 108 0 0 20 0 1 0 73899059 1369702400 259069 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 334400 259069 2368 1147 0 321827 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1341792 KiB
Current children cumulated memory: 1039348 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/255 82675
/proc/meminfo: memFree=128027628/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=1345956 memory=1121520 CPUtime=101.98 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 209078 0 0 0 10046 152 0 0 20 0 1 0 73899059 1378258944 280380 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 336489 280380 2368 1147 0 323916 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1350148 KiB
Current children cumulated memory: 1124592 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/254 82677
/proc/meminfo: memFree=127876124/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=1564076 memory=1262244 CPUtime=161.82 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 227932 0 0 0 15985 197 0 0 20 0 1 0 73899059 1601613824 315561 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 391019 315561 2368 1147 0 378446 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1568268 KiB
Current children cumulated memory: 1265316 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/254 82679
/proc/meminfo: memFree=127813460/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=1567160 memory=1305424 CPUtime=221.66 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 233656 0 0 0 21923 243 0 0 20 0 1 0 73899059 1604771840 326356 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 391790 326356 2368 1147 0 379217 0
Current children cumulated CPU time: 221.66 s

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

/proc/82607/statm: 1317610 1070141 2368 1147 0 1305037 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 5274632 KiB
Current children cumulated memory: 4283636 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 82833
/proc/meminfo: memFree=124448072/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5270440 memory=4280564 CPUtime=3153.74 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 759872 0 0 0 313543 1831 0 0 20 0 1 0 73899059 5396930560 1070141 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1317610 1070141 2368 1147 0 1305037 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 5274632 KiB
Current children cumulated memory: 4283636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/254 82835
/proc/meminfo: memFree=124346388/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5296552 memory=4386440 CPUtime=3213.56 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 772982 0 0 0 319496 1860 0 0 20 0 1 0 73899059 5423669248 1096610 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1324138 1096610 2368 1147 0 1311565 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 5300744 KiB
Current children cumulated memory: 4389512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/254 82842
/proc/meminfo: memFree=124301536/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5305256 memory=4430392 CPUtime=3273.38 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 780578 0 0 0 325445 1893 0 0 20 0 1 0 73899059 5432582144 1107598 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1326314 1107598 2368 1147 0 1313741 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 5309448 KiB
Current children cumulated memory: 4433464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/254 82844
/proc/meminfo: memFree=124186024/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5321128 memory=4539972 CPUtime=3333.2 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 795703 0 0 0 331401 1919 0 0 20 0 1 0 73899059 5448835072 1134993 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1330282 1134993 2368 1147 0 1317709 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 5325320 KiB
Current children cumulated memory: 4543044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 82846
/proc/meminfo: memFree=124179236/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5329320 memory=4545988 CPUtime=3393.02 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 797272 0 0 0 337372 1930 0 0 20 0 1 0 73899059 5457223680 1136497 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1332330 1136497 2368 1147 0 1319757 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 5333512 KiB
Current children cumulated memory: 4549060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 82848
/proc/meminfo: memFree=124178120/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5330344 memory=4546884 CPUtime=3452.84 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 797899 0 0 0 343344 1940 0 0 20 0 1 0 73899059 5458272256 1136721 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1332586 1136721 2368 1147 0 1320013 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 5334536 KiB
Current children cumulated memory: 4549956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 82850
/proc/meminfo: memFree=124173360/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5331368 memory=4548932 CPUtime=3512.66 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 798613 0 0 0 349309 1957 0 0 20 0 1 0 73899059 5459320832 1137233 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1332842 1137233 2368 1147 0 1320269 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 5335560 KiB
Current children cumulated memory: 4552004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 82854
/proc/meminfo: memFree=124153684/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5332392 memory=4549828 CPUtime=3572.48 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 799267 0 0 0 355259 1989 0 0 20 0 1 0 73899059 5460369408 1137457 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1333098 1137457 2368 1147 0 1320525 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 5336584 KiB
Current children cumulated memory: 4552900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 82856
/proc/meminfo: memFree=124152944/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5332392 memory=4549828 CPUtime=3600.01 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 799343 0 0 0 357994 2007 0 0 20 0 1 0 73899059 5460369408 1137457 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1333098 1137457 2368 1147 0 1320525 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5336584 KiB
Current children cumulated memory: 4552900 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002044 s, system=0.003674 s

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

# cumulated CPU time of all completed processes:  user=3579.95 s, system=20.1575 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+3609.9 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 82856
/proc/meminfo: memFree=124152944/131382120 swapFree=33010160/33010684
[pid=82601] ppid=82596 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82601/stat : 82601 (run-opt.sh) S 82596 82601 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73899058 4292608 768 18446744073709551615 94316197498880 94316198393413 140730467041408 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94316198632464 94316198680208 94316224167936 140730467047789 140730467047912 140730467047912 140730467053514 0
/proc/82601/statm: 1048 768 704 219 0 110 0
[pid=82607] ppid=82601 vsize=5332392 memory=4549828 CPUtime=3600.01 cores=4,6
/proc/82607/stat : 82607 (roundingsat) R 82601 82601 81821 0 -1 4194304 799343 0 0 0 357994 2007 0 0 20 0 1 0 73899059 5460369408 1137457 18446744073709551615 4227072 8923433 140734476373680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42078208 140734476376482 140734476376616 140734476376616 140734476382186 0
/proc/82607/statm: 1333098 1137457 2368 1147 0 1320525 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5336584 KiB
Current children cumulated memory: 4552900 KiB

Child status: 2

Real time (s): 3609.99
CPU time (s): 3600.1
CPU user time (s): 3579.95
CPU system time (s): 20.1575
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 5336584
Max. memory (cumulated for all children) (KiB): 4552900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.95
system time used= 20.1575
maximum resident set size= 4550084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 799572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 698
involuntary context switches= 2242


# summary of solver processes directly reported to runsolver:
#   pid: 82601,82607
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3579.95
#   total CPU system time (s): 20.1575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1568 second user time and 36.7086 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-04 00:36:39
IDJOB=4520848
IDBENCH=178131
IDSOLVER=3350
FILE ID=nodeC008/4520848-1751582199
RUNJOBID= nodeC008-1751574973-81855
SLURM_JOB_ID= 9598800
Free space on /tmp= 432800 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520848-1751582199/watcher-4520848-1751582199 -o /tmp/evaluation-result-4520848-1751582199/solver-4520848-1751582199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81855 --watchdog 3760  run-opt.sh HOME/instance-4520848-1751582199.opb

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

MD5SUM BENCH= afdfd31183e0ea33549619d38bec04c1
RANDOM SEED=1577877204

nodeC008 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		: 3492.749
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.72
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.111
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.72
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.220
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.72
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.178
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.72
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.047
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.72
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		: 1197.344
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.72
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.564
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.72
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.201
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129834952 kB
MemAvailable:   129909852 kB
Buffers:            2128 kB
Cached:           869592 kB
SwapCached:           16 kB
Active:           593912 kB
Inactive:         350740 kB
Active(anon):      54452 kB
Inactive(anon):    36400 kB
Active(file):     539460 kB
Inactive(file):   314340 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15240 kB
Writeback:             8 kB
AnonPages:         73684 kB
Mapped:           103884 kB
Shmem:             17920 kB
KReclaimable:     121452 kB
Slab:             206556 kB
SReclaimable:     121452 kB
SUnreclaim:        85104 kB
KernelStack:        3984 kB
PageTables:         2992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432768 MiB
End job on nodeC008 at 2025-07-04 01:36:50