Trace number 4488724

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 3611.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
MD5SUM2f43827d921579f008f60b037bb7dde7
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 benchmark1036
Best CPU time to get the best result obtained on this benchmark33121
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1963
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 1963
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1963
Number of bits of the biggest sum of numbers11
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.07	c #variables 1963 #constraints 4000
0.00/0.07	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.050252
0.00/0.10	c GLOBAL bounds - >= 0 @ 0.051934
0.08/0.12	c GLOBAL bounds - >= 0 @ 0.067725
0.08/0.14	c GLOBAL bounds - >= 0 @ 0.086687
0.08/0.21	c GLOBAL bounds - >= 0 @ 0.155374
0.19/0.28	c GLOBAL bounds - >= 0 @ 0.219661
0.29/0.33	c GLOBAL bounds - >= 0 @ 0.26661
0.39/0.47	c GLOBAL bounds - >= 0 @ 0.395837
0.49/0.56	c GLOBAL bounds - >= 0 @ 0.485965
0.58/0.65	c GLOBAL bounds - >= 0 @ 0.561809
0.66/0.71	c GLOBAL bounds - >= 0 @ 0.6228
0.66/0.77	c GLOBAL bounds - >= 0 @ 0.682135
0.77/0.85	c GLOBAL bounds - >= 0 @ 0.766281
0.87/0.92	c GLOBAL bounds - >= 0 @ 0.828238
0.87/0.98	c GLOBAL bounds - >= 0 @ 0.894473
0.98/1.10	c GLOBAL bounds - >= 0 @ 1.00389
1.16/1.25	c GLOBAL bounds - >= 0 @ 1.14329
1.36/1.43	c GLOBAL bounds - >= 0 @ 1.32284
1.47/1.57	c GLOBAL bounds - >= 0 @ 1.45554
1.66/1.75	c #Conflicts:       1000 | #Constraints:       5034
1.66/1.75	c GLOBAL bounds - >= 0 @ 1.62264
1.86/1.93	c GLOBAL bounds - >= 0 @ 1.79513
2.07/2.15	c GLOBAL bounds - >= 0 @ 2.00717
2.17/2.27	c GLOBAL bounds - >= 0 @ 2.12414
2.36/2.49	c GLOBAL bounds - >= 0 @ 2.33966
2.56/2.60	c GLOBAL bounds - >= 0 @ 2.45373
2.66/2.73	c GLOBAL bounds - >= 0 @ 2.57606
2.86/2.94	c GLOBAL bounds - >= 0 @ 2.77917
2.97/3.05	c GLOBAL bounds - >= 0 @ 2.89262
3.16/3.25	c GLOBAL bounds - >= 0 @ 3.09103
3.46/3.51	c #Conflicts:       2000 | #Constraints:       6054
3.46/3.51	c INPROCESSING
3.46/3.51	c GARBAGE COLLECT
3.46/3.51	c GLOBAL bounds - >= 0 @ 3.33512
3.56/3.63	c GLOBAL bounds - >= 0 @ 3.45977
3.66/3.71	c GLOBAL bounds - >= 0 @ 3.53968
3.76/3.81	c GLOBAL bounds - >= 0 @ 3.63637
3.86/3.98	c GLOBAL bounds - >= 0 @ 3.79656
3.96/4.06	c GLOBAL bounds - >= 0 @ 3.87576
4.07/4.16	c GLOBAL bounds - >= 0 @ 3.97535
4.16/4.27	c GLOBAL bounds - >= 0 @ 4.07938
4.26/4.38	c GLOBAL bounds - >= 0 @ 4.18464
4.35/4.48	c GLOBAL bounds - >= 0 @ 4.28874
4.55/4.66	c GLOBAL bounds - >= 0 @ 4.46926
4.65/4.75	c GLOBAL bounds - >= 0 @ 4.55642
4.76/4.85	c #Conflicts:       3000 | #Constraints:       6082
4.76/4.85	c GLOBAL bounds - >= 0 @ 4.65246
4.86/4.97	c GLOBAL bounds - >= 0 @ 4.76441
4.96/5.09	c GLOBAL bounds - >= 0 @ 4.88016
5.16/5.21	c GLOBAL bounds - >= 0 @ 4.9988
5.25/5.31	c GLOBAL bounds - >= 0 @ 5.10117
5.35/5.43	c GLOBAL bounds - >= 0 @ 5.21518
5.45/5.55	c GLOBAL bounds - >= 0 @ 5.33305
5.56/5.67	c GLOBAL bounds - >= 0 @ 5.44975
5.75/5.80	c GLOBAL bounds - >= 0 @ 5.56933
5.85/5.90	c GLOBAL bounds - >= 0 @ 5.67645
6.07/6.13	c GLOBAL bounds - >= 0 @ 5.89476
6.15/6.24	c GLOBAL bounds - >= 0 @ 6.00078
6.35/6.46	c GLOBAL bounds - >= 0 @ 6.22342
6.45/6.58	c GLOBAL bounds - >= 0 @ 6.33277
6.74/6.80	c GLOBAL bounds - >= 0 @ 6.55292
6.85/6.91	c #Conflicts:       4000 | #Constraints:       7112
6.85/6.91	c GLOBAL bounds - >= 0 @ 6.66273
6.96/7.04	c GLOBAL bounds - >= 0 @ 6.78989
7.06/7.17	c GLOBAL bounds - >= 0 @ 6.91909
7.35/7.49	c INPROCESSING
7.35/7.49	c GARBAGE COLLECT
7.35/7.49	c GLOBAL bounds - >= 0 @ 7.22886
7.45/7.58	c GLOBAL bounds - >= 0 @ 7.32193
7.64/7.73	c GLOBAL bounds - >= 0 @ 7.47019
7.74/7.83	c GLOBAL bounds - >= 0 @ 7.56458
7.85/7.98	c GLOBAL bounds - >= 0 @ 7.71499
8.06/8.12	c GLOBAL bounds - >= 0 @ 7.84856
8.25/8.31	c GLOBAL bounds - >= 0 @ 8.04204
8.34/8.43	c GLOBAL bounds - >= 0 @ 8.15866
8.44/8.55	c GLOBAL bounds - >= 0 @ 8.27301
8.54/8.67	c #Conflicts:       5000 | #Constraints:       6547
8.54/8.67	c GLOBAL bounds - >= 0 @ 8.39071
8.75/8.87	c GLOBAL bounds - >= 0 @ 8.59411
8.85/8.99	c GLOBAL bounds - >= 0 @ 8.70874
9.06/9.19	c GLOBAL bounds - >= 0 @ 8.90587
9.24/9.31	c GLOBAL bounds - >= 0 @ 9.02213
9.44/9.52	c GLOBAL bounds - >= 0 @ 9.23537
9.54/9.64	c GLOBAL bounds - >= 0 @ 9.34876
9.64/9.77	c GLOBAL bounds - >= 0 @ 9.47644
9.84/10.00	c GLOBAL bounds - >= 0 @ 9.70039
10.05/10.12	c GLOBAL bounds - >= 0 @ 9.82075
10.24/10.38	c #Conflicts:       6000 | #Constraints:       7567
10.24/10.38	c GLOBAL bounds - >= 0 @ 10.0754
10.54/10.66	c GLOBAL bounds - >= 0 @ 10.3469
10.84/11.00	c GLOBAL bounds - >= 0 @ 10.6828
11.34/11.44	c INPROCESSING
11.34/11.44	c GARBAGE COLLECT
11.34/11.44	c GLOBAL bounds - >= 0 @ 11.1066
11.63/11.76	c GLOBAL bounds - >= 0 @ 11.4245
11.84/11.97	c #Conflicts:       7000 | #Constraints:       6655
11.84/11.97	c GLOBAL bounds - >= 0 @ 11.6312
12.05/12.19	c GLOBAL bounds - >= 0 @ 11.8443
12.63/12.72	c GLOBAL bounds - >= 0 @ 12.3148
12.83/12.90	c #Conflicts:       8000 | #Constraints:       7661
12.83/12.90	c GLOBAL bounds - >= 0 @ 12.4954
12.94/13.09	c GLOBAL bounds - >= 0 @ 12.6873
13.13/13.28	c GLOBAL bounds - >= 0 @ 12.8748
13.33/13.47	c GLOBAL bounds - >= 0 @ 13.0632
13.53/13.66	c GLOBAL bounds - >= 0 @ 13.2468
13.72/13.85	c GLOBAL bounds - >= 0 @ 13.4329
13.94/14.05	c GLOBAL bounds - >= 0 @ 13.6266
14.13/14.26	c #Conflicts:       9000 | #Constraints:       8675
14.13/14.26	c GLOBAL bounds - >= 0 @ 13.8259
14.72/14.84	c INPROCESSING
14.72/14.84	c GARBAGE COLLECT
14.72/14.84	c GLOBAL bounds - >= 0 @ 14.3982
15.03/15.18	c GLOBAL bounds - >= 0 @ 14.7314
19.81/19.94	c #Conflicts:      10000 | #Constraints:       7358
19.81/19.94	c #Conflicts:      11000 | #Constraints:       8358
19.81/19.94	c #Conflicts:      12000 | #Constraints:       9358
19.81/19.94	c INPROCESSING
19.81/19.94	c GARBAGE COLLECT
19.81/19.94	c GLOBAL bounds - >= 0 @ 19.4504
64.07/64.37	c #Conflicts:      13000 | #Constraints:       7886
64.07/64.37	c #Conflicts:      14000 | #Constraints:       8886
64.07/64.37	c #Conflicts:      15000 | #Constraints:       9886
64.07/64.37	c INPROCESSING
64.07/64.37	c GARBAGE COLLECT
64.07/64.37	c #Conflicts:      16000 | #Constraints:       8134
64.07/64.37	c #Conflicts:      17000 | #Constraints:       9134
64.07/64.37	c #Conflicts:      18000 | #Constraints:      10134
64.07/64.37	c INPROCESSING
64.07/64.37	c GARBAGE COLLECT
64.07/64.37	c #Conflicts:      19000 | #Constraints:       8169
64.07/64.37	c #Conflicts:      20000 | #Constraints:       9169
64.07/64.37	c #Conflicts:      21000 | #Constraints:      10169
64.07/64.37	c INPROCESSING
64.07/64.37	c GARBAGE COLLECT
64.07/64.37	c #Conflicts:      22000 | #Constraints:       7979
64.07/64.37	c #Conflicts:      23000 | #Constraints:       8979
64.07/64.37	c #Conflicts:      24000 | #Constraints:       9979
64.07/64.37	c #Conflicts:      25000 | #Constraints:      10979
64.07/64.37	c INPROCESSING
64.07/64.37	c GARBAGE COLLECT
64.07/64.37	c #Conflicts:      26000 | #Constraints:       8580
64.07/64.37	c #Conflicts:      27000 | #Constraints:       9580
64.07/64.37	c #Conflicts:      28000 | #Constraints:      10580
64.07/64.37	c #Conflicts:      29000 | #Constraints:      11580
64.07/64.37	c INPROCESSING
64.07/64.37	c GARBAGE COLLECT
64.07/64.37	c #Conflicts:      30000 | #Constraints:       8988
64.07/64.37	c GLOBAL bounds - >= 0 @ 63.4972
66.86/67.16	c #Conflicts:      31000 | #Constraints:       9990
66.86/67.16	c GLOBAL bounds - >= 0 @ 66.2638
68.45/68.70	c #Conflicts:      32000 | #Constraints:      10992
68.45/68.70	c GLOBAL bounds - >= 0 @ 67.7715
71.85/72.13	c #Conflicts:      33000 | #Constraints:      11994
71.85/72.13	c INPROCESSING
71.85/72.13	c GARBAGE COLLECT
71.85/72.13	c #Conflicts:      34000 | #Constraints:       9208
71.85/72.13	c GLOBAL bounds - >= 0 @ 71.1521
74.33/74.61	c #Conflicts:      35000 | #Constraints:      10210
74.33/74.61	c #Conflicts:      36000 | #Constraints:      11210
74.33/74.61	c #Conflicts:      37000 | #Constraints:      12210
74.33/74.61	c INPROCESSING
74.33/74.61	c GARBAGE COLLECT
74.33/74.61	c GLOBAL bounds - >= 0 @ 73.6013
81.11/81.45	c #Conflicts:      38000 | #Constraints:       9209
81.11/81.45	c #Conflicts:      39000 | #Constraints:      10209
81.11/81.45	c #Conflicts:      40000 | #Constraints:      11209
81.11/81.45	c #Conflicts:      41000 | #Constraints:      12209
81.11/81.45	c INPROCESSING
81.11/81.45	c GARBAGE COLLECT
81.11/81.45	c #Conflicts:      42000 | #Constraints:       9003
81.11/81.45	c GLOBAL bounds - >= 0 @ 80.3967
113.72/114.18	c #Conflicts:      43000 | #Constraints:      10005
113.72/114.18	c #Conflicts:      44000 | #Constraints:      11005
113.72/114.18	c #Conflicts:      45000 | #Constraints:      12005
113.72/114.18	c #Conflicts:      46000 | #Constraints:      13005
113.72/114.18	c INPROCESSING
113.72/114.18	c GARBAGE COLLECT
113.72/114.18	c #Conflicts:      47000 | #Constraints:       9607
113.72/114.18	c #Conflicts:      48000 | #Constraints:      10607
113.72/114.18	c #Conflicts:      49000 | #Constraints:      11607
113.72/114.18	c #Conflicts:      50000 | #Constraints:      12607
113.72/114.18	c #Conflicts:      51000 | #Constraints:      13607
113.72/114.18	c INPROCESSING
113.72/114.18	c GARBAGE COLLECT
113.72/114.18	c #Conflicts:      52000 | #Constraints:      10000
113.72/114.18	c #Conflicts:      53000 | #Constraints:      11000
113.72/114.18	c #Conflicts:      54000 | #Constraints:      12000
113.72/114.18	c GLOBAL bounds - >= 0 @ 112.886
115.29/115.71	c #Conflicts:      55000 | #Constraints:      13002
115.29/115.71	c GLOBAL bounds - >= 0 @ 114.382
115.71/116.16	c GLOBAL bounds - >= 0 @ 114.822
116.19/116.61	c GLOBAL bounds - >= 0 @ 115.263
116.78/117.20	c #Conflicts:      56000 | #Constraints:      14008
116.78/117.20	c INPROCESSING
116.78/117.20	c GARBAGE COLLECT
116.78/117.20	c GLOBAL bounds - >= 0 @ 115.847
117.08/117.52	c GLOBAL bounds - >= 0 @ 116.171
117.29/117.74	c GLOBAL bounds - >= 0 @ 116.387
117.49/117.92	c GLOBAL bounds - >= 0 @ 116.561
117.78/118.29	c GLOBAL bounds - >= 0 @ 116.926
118.39/118.89	c GLOBAL bounds - >= 0 @ 117.523
119.48/119.91	c #Conflicts:      57000 | #Constraints:      10186
119.48/119.91	c GLOBAL bounds - >= 0 @ 118.533
119.78/120.29	c GLOBAL bounds - >= 0 @ 118.906
120.08/120.50	c GLOBAL bounds - >= 0 @ 119.116
120.28/120.74	c GLOBAL bounds - >= 0 @ 119.355
120.69/121.15	c #Conflicts:      58000 | #Constraints:      11194
120.69/121.15	c GLOBAL bounds - >= 0 @ 119.764
120.98/121.41	c GLOBAL bounds - >= 0 @ 120.01
121.38/121.81	c GLOBAL bounds - >= 0 @ 120.409
121.69/122.18	c GLOBAL bounds - >= 0 @ 120.782
128.85/129.30	c #Conflicts:      59000 | #Constraints:      12202
128.85/129.30	c #Conflicts:      60000 | #Constraints:      13202
128.85/129.30	c GLOBAL bounds - >= 0 @ 127.825
291.92/292.99	c #Conflicts:      61000 | #Constraints:      14204
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      62000 | #Constraints:      10231
291.92/292.99	c #Conflicts:      63000 | #Constraints:      11231
291.92/292.99	c #Conflicts:      64000 | #Constraints:      12231
291.92/292.99	c #Conflicts:      65000 | #Constraints:      13231
291.92/292.99	c #Conflicts:      66000 | #Constraints:      14231
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      67000 | #Constraints:      10037
291.92/292.99	c #Conflicts:      68000 | #Constraints:      11037
291.92/292.99	c #Conflicts:      69000 | #Constraints:      12037
291.92/292.99	c #Conflicts:      70000 | #Constraints:      13037
291.92/292.99	c #Conflicts:      71000 | #Constraints:      14037
291.92/292.99	c #Conflicts:      72000 | #Constraints:      15037
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      73000 | #Constraints:      10630
291.92/292.99	c #Conflicts:      74000 | #Constraints:      11630
291.92/292.99	c #Conflicts:      75000 | #Constraints:      12630
291.92/292.99	c #Conflicts:      76000 | #Constraints:      13630
291.92/292.99	c #Conflicts:      77000 | #Constraints:      14630
291.92/292.99	c #Conflicts:      78000 | #Constraints:      15630
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      79000 | #Constraints:      11031
291.92/292.99	c #Conflicts:      80000 | #Constraints:      12031
291.92/292.99	c #Conflicts:      81000 | #Constraints:      13031
291.92/292.99	c #Conflicts:      82000 | #Constraints:      14031
291.92/292.99	c #Conflicts:      83000 | #Constraints:      15031
291.92/292.99	c #Conflicts:      84000 | #Constraints:      16031
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      85000 | #Constraints:      11236
291.92/292.99	c #Conflicts:      86000 | #Constraints:      12236
291.92/292.99	c #Conflicts:      87000 | #Constraints:      13236
291.92/292.99	c #Conflicts:      88000 | #Constraints:      14236
291.92/292.99	c #Conflicts:      89000 | #Constraints:      15236
291.92/292.99	c #Conflicts:      90000 | #Constraints:      16236
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      91000 | #Constraints:      11234
291.92/292.99	c #Conflicts:      92000 | #Constraints:      12234
291.92/292.99	c #Conflicts:      93000 | #Constraints:      13234
291.92/292.99	c #Conflicts:      94000 | #Constraints:      14234
291.92/292.99	c #Conflicts:      95000 | #Constraints:      15234
291.92/292.99	c #Conflicts:      96000 | #Constraints:      16234
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:      97000 | #Constraints:      11034
291.92/292.99	c #Conflicts:      98000 | #Constraints:      12034
291.92/292.99	c #Conflicts:      99000 | #Constraints:      13034
291.92/292.99	c #Conflicts:     100000 | #Constraints:      14034
291.92/292.99	c #Conflicts:     101000 | #Constraints:      15034
291.92/292.99	c #Conflicts:     102000 | #Constraints:      16034
291.92/292.99	c #Conflicts:     103000 | #Constraints:      17034
291.92/292.99	c INPROCESSING
291.92/292.99	c GARBAGE COLLECT
291.92/292.99	c #Conflicts:     104000 | #Constraints:      11630
291.92/292.99	c #Conflicts:     105000 | #Constraints:      12630
291.92/292.99	c #Conflicts:     106000 | #Constraints:      13630
291.92/292.99	c GLOBAL bounds - >= 0 @ 290.501
295.50/296.57	c #Conflicts:     107000 | #Constraints:      14632
295.50/296.57	c #Conflicts:     108000 | #Constraints:      15632
295.50/296.57	c GLOBAL bounds - >= 0 @ 294.048
394.08/395.46	c #Conflicts:     109000 | #Constraints:      16634
394.08/395.46	c #Conflicts:     110000 | #Constraints:      17634
394.08/395.46	c INPROCESSING
394.08/395.46	c GARBAGE COLLECT
394.08/395.46	c #Conflicts:     111000 | #Constraints:      12041
394.08/395.46	c #Conflicts:     112000 | #Constraints:      13041
394.08/395.46	c #Conflicts:     113000 | #Constraints:      14041
394.08/395.46	c #Conflicts:     114000 | #Constraints:      15041
394.08/395.46	c #Conflicts:     115000 | #Constraints:      16041
394.08/395.46	c #Conflicts:     116000 | #Constraints:      17041
394.08/395.46	c #Conflicts:     117000 | #Constraints:      18041
394.08/395.46	c INPROCESSING
394.08/395.46	c GARBAGE COLLECT
394.08/395.46	c #Conflicts:     118000 | #Constraints:      12243
394.08/395.46	c #Conflicts:     119000 | #Constraints:      13243
394.08/395.46	c #Conflicts:     120000 | #Constraints:      14243
394.08/395.46	c #Conflicts:     121000 | #Constraints:      15243
394.08/395.46	c #Conflicts:     122000 | #Constraints:      16243
394.08/395.46	c #Conflicts:     123000 | #Constraints:      17243
394.08/395.46	c #Conflicts:     124000 | #Constraints:      18243
394.08/395.46	c INPROCESSING
394.08/395.46	c GARBAGE COLLECT
394.08/395.46	c #Conflicts:     125000 | #Constraints:      12244
394.08/395.46	c #Conflicts:     126000 | #Constraints:      13244
394.08/395.46	c #Conflicts:     127000 | #Constraints:      14244
394.08/395.46	c #Conflicts:     128000 | #Constraints:      15244
394.08/395.46	c #Conflicts:     129000 | #Constraints:      16244
394.08/395.46	c #Conflicts:     130000 | #Constraints:      17244
394.08/395.46	c #Conflicts:     131000 | #Constraints:      18244
394.08/395.46	c INPROCESSING
394.08/395.46	c GARBAGE COLLECT
394.08/395.46	c #Conflicts:     132000 | #Constraints:      12045
394.08/395.46	c #Conflicts:     133000 | #Constraints:      13045
394.08/395.46	c #Conflicts:     134000 | #Constraints:      14045
394.08/395.46	c GLOBAL bounds - >= 0 @ 392.3
466.84/468.42	c #Conflicts:     135000 | #Constraints:      15047
466.84/468.42	c #Conflicts:     136000 | #Constraints:      16047
466.84/468.42	c #Conflicts:     137000 | #Constraints:      17047
466.84/468.42	c #Conflicts:     138000 | #Constraints:      18047
466.84/468.42	c #Conflicts:     139000 | #Constraints:      19047
466.84/468.42	c INPROCESSING
466.84/468.42	c GARBAGE COLLECT
466.84/468.42	c #Conflicts:     140000 | #Constraints:      12639
466.84/468.42	c #Conflicts:     141000 | #Constraints:      13639
466.84/468.42	c #Conflicts:     142000 | #Constraints:      14639
466.84/468.42	c #Conflicts:     143000 | #Constraints:      15639
466.84/468.42	c #Conflicts:     144000 | #Constraints:      16639
466.84/468.42	c #Conflicts:     145000 | #Constraints:      17639
466.84/468.42	c #Conflicts:     146000 | #Constraints:      18639
466.84/468.42	c #Conflicts:     147000 | #Constraints:      19639
466.84/468.42	c INPROCESSING
466.84/468.42	c GARBAGE COLLECT
466.84/468.42	c #Conflicts:     148000 | #Constraints:      13038
466.84/468.42	c #Conflicts:     149000 | #Constraints:      14038
466.84/468.42	c #Conflicts:     150000 | #Constraints:      15038
466.84/468.42	c #Conflicts:     151000 | #Constraints:      16038
466.84/468.42	c #Conflicts:     152000 | #Constraints:      17038
466.84/468.42	c #Conflicts:     153000 | #Constraints:      18038
466.84/468.42	c #Conflicts:     154000 | #Constraints:      19038
466.84/468.42	c GLOBAL bounds - >= 0 @ 464.809
561.43/563.36	c #Conflicts:     155000 | #Constraints:      20040
561.43/563.36	c INPROCESSING
561.43/563.36	c GARBAGE COLLECT
561.43/563.36	c #Conflicts:     156000 | #Constraints:      13257
561.43/563.36	c #Conflicts:     157000 | #Constraints:      14257
561.43/563.36	c #Conflicts:     158000 | #Constraints:      15257
561.43/563.36	c #Conflicts:     159000 | #Constraints:      16257
561.43/563.36	c #Conflicts:     160000 | #Constraints:      17257
561.43/563.36	c #Conflicts:     161000 | #Constraints:      18257
561.43/563.36	c #Conflicts:     162000 | #Constraints:      19257
561.43/563.36	c #Conflicts:     163000 | #Constraints:      20257
561.43/563.36	c INPROCESSING
561.43/563.36	c GARBAGE COLLECT
561.43/563.36	c #Conflicts:     164000 | #Constraints:      13246
561.43/563.36	c #Conflicts:     165000 | #Constraints:      14246
561.43/563.36	c #Conflicts:     166000 | #Constraints:      15246
561.43/563.36	c #Conflicts:     167000 | #Constraints:      16246
561.43/563.36	c #Conflicts:     168000 | #Constraints:      17246
561.43/563.36	c #Conflicts:     169000 | #Constraints:      18246
561.43/563.36	c #Conflicts:     170000 | #Constraints:      19246
561.43/563.36	c #Conflicts:     171000 | #Constraints:      20246
561.43/563.36	c INPROCESSING
561.43/563.36	c GARBAGE COLLECT
561.43/563.36	c #Conflicts:     172000 | #Constraints:      13041
561.43/563.36	c #Conflicts:     173000 | #Constraints:      14041
561.43/563.36	c #Conflicts:     174000 | #Constraints:      15041
561.43/563.36	c #Conflicts:     175000 | #Constraints:      16041
561.43/563.36	c #Conflicts:     176000 | #Constraints:      17041
561.43/563.36	c GLOBAL bounds - >= 0 @ 559.111
830.27/833.01	c #Conflicts:     177000 | #Constraints:      18043
830.27/833.01	c #Conflicts:     178000 | #Constraints:      19043
830.27/833.01	c #Conflicts:     179000 | #Constraints:      20043
830.27/833.01	c #Conflicts:     180000 | #Constraints:      21043
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     181000 | #Constraints:      13649
830.27/833.01	c #Conflicts:     182000 | #Constraints:      14649
830.27/833.01	c #Conflicts:     183000 | #Constraints:      15649
830.27/833.01	c #Conflicts:     184000 | #Constraints:      16649
830.27/833.01	c #Conflicts:     185000 | #Constraints:      17649
830.27/833.01	c #Conflicts:     186000 | #Constraints:      18649
830.27/833.01	c #Conflicts:     187000 | #Constraints:      19649
830.27/833.01	c #Conflicts:     188000 | #Constraints:      20649
830.27/833.01	c #Conflicts:     189000 | #Constraints:      21649
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     190000 | #Constraints:      14051
830.27/833.01	c #Conflicts:     191000 | #Constraints:      15051
830.27/833.01	c #Conflicts:     192000 | #Constraints:      16051
830.27/833.01	c #Conflicts:     193000 | #Constraints:      17051
830.27/833.01	c #Conflicts:     194000 | #Constraints:      18051
830.27/833.01	c #Conflicts:     195000 | #Constraints:      19051
830.27/833.01	c #Conflicts:     196000 | #Constraints:      20051
830.27/833.01	c #Conflicts:     197000 | #Constraints:      21051
830.27/833.01	c #Conflicts:     198000 | #Constraints:      22051
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     199000 | #Constraints:      14245
830.27/833.01	c #Conflicts:     200000 | #Constraints:      15245
830.27/833.01	c #Conflicts:     201000 | #Constraints:      16245
830.27/833.01	c #Conflicts:     202000 | #Constraints:      17245
830.27/833.01	c #Conflicts:     203000 | #Constraints:      18245
830.27/833.01	c #Conflicts:     204000 | #Constraints:      19245
830.27/833.01	c #Conflicts:     205000 | #Constraints:      20245
830.27/833.01	c #Conflicts:     206000 | #Constraints:      21245
830.27/833.01	c #Conflicts:     207000 | #Constraints:      22245
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     208000 | #Constraints:      14237
830.27/833.01	c #Conflicts:     209000 | #Constraints:      15237
830.27/833.01	c #Conflicts:     210000 | #Constraints:      16237
830.27/833.01	c #Conflicts:     211000 | #Constraints:      17237
830.27/833.01	c #Conflicts:     212000 | #Constraints:      18237
830.27/833.01	c #Conflicts:     213000 | #Constraints:      19237
830.27/833.01	c #Conflicts:     214000 | #Constraints:      20237
830.27/833.01	c #Conflicts:     215000 | #Constraints:      21237
830.27/833.01	c #Conflicts:     216000 | #Constraints:      22237
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     217000 | #Constraints:      14040
830.27/833.01	c #Conflicts:     218000 | #Constraints:      15040
830.27/833.01	c #Conflicts:     219000 | #Constraints:      16040
830.27/833.01	c #Conflicts:     220000 | #Constraints:      17040
830.27/833.01	c #Conflicts:     221000 | #Constraints:      18040
830.27/833.01	c #Conflicts:     222000 | #Constraints:      19040
830.27/833.01	c #Conflicts:     223000 | #Constraints:      20040
830.27/833.01	c #Conflicts:     224000 | #Constraints:      21040
830.27/833.01	c #Conflicts:     225000 | #Constraints:      22040
830.27/833.01	c #Conflicts:     226000 | #Constraints:      23040
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     227000 | #Constraints:      14644
830.27/833.01	c #Conflicts:     228000 | #Constraints:      15644
830.27/833.01	c #Conflicts:     229000 | #Constraints:      16644
830.27/833.01	c #Conflicts:     230000 | #Constraints:      17644
830.27/833.01	c #Conflicts:     231000 | #Constraints:      18644
830.27/833.01	c #Conflicts:     232000 | #Constraints:      19644
830.27/833.01	c #Conflicts:     233000 | #Constraints:      20644
830.27/833.01	c #Conflicts:     234000 | #Constraints:      21644
830.27/833.01	c #Conflicts:     235000 | #Constraints:      22644
830.27/833.01	c #Conflicts:     236000 | #Constraints:      23644
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     237000 | #Constraints:      15048
830.27/833.01	c #Conflicts:     238000 | #Constraints:      16048
830.27/833.01	c #Conflicts:     239000 | #Constraints:      17048
830.27/833.01	c #Conflicts:     240000 | #Constraints:      18048
830.27/833.01	c #Conflicts:     241000 | #Constraints:      19048
830.27/833.01	c #Conflicts:     242000 | #Constraints:      20048
830.27/833.01	c #Conflicts:     243000 | #Constraints:      21048
830.27/833.01	c #Conflicts:     244000 | #Constraints:      22048
830.27/833.01	c #Conflicts:     245000 | #Constraints:      23048
830.27/833.01	c #Conflicts:     246000 | #Constraints:      24048
830.27/833.01	c INPROCESSING
830.27/833.01	c GARBAGE COLLECT
830.27/833.01	c #Conflicts:     247000 | #Constraints:      15235
830.27/833.01	c #Conflicts:     248000 | #Constraints:      16235
830.27/833.01	c #Conflicts:     249000 | #Constraints:      17235
830.27/833.01	c #Conflicts:     250000 | #Constraints:      18235
922.26/925.39	c #Conflicts:     251000 | #Constraints:      19235
922.26/925.39	c #Conflicts:     252000 | #Constraints:      20235
922.26/925.39	c #Conflicts:     253000 | #Constraints:      21235
922.26/925.39	c #Conflicts:     254000 | #Constraints:      22235
922.26/925.39	c #Conflicts:     255000 | #Constraints:      23235
922.26/925.39	c #Conflicts:     256000 | #Constraints:      24235
922.26/925.39	c INPROCESSING
922.26/925.39	c GARBAGE COLLECT
922.26/925.39	c #Conflicts:     257000 | #Constraints:      15241
922.26/925.39	c #Conflicts:     258000 | #Constraints:      16241
922.26/925.39	c #Conflicts:     259000 | #Constraints:      17241
922.26/925.39	c #Conflicts:     260000 | #Constraints:      18241
922.26/925.39	c #Conflicts:     261000 | #Constraints:      19241
922.26/925.39	c #Conflicts:     262000 | #Constraints:      20241
922.26/925.39	c #Conflicts:     263000 | #Constraints:      21241
922.26/925.39	c #Conflicts:     264000 | #Constraints:      22241
922.26/925.39	c #Conflicts:     265000 | #Constraints:      23241
922.26/925.39	c #Conflicts:     266000 | #Constraints:      24241
922.26/925.39	c GLOBAL bounds - >= 0 @ 918.973
1073.66/1077.27	c INPROCESSING
1073.66/1077.27	c GARBAGE COLLECT
1073.66/1077.27	c #Conflicts:     267000 | #Constraints:      15052
1073.66/1077.27	c #Conflicts:     268000 | #Constraints:      16052
1073.66/1077.27	c #Conflicts:     269000 | #Constraints:      17052
1073.66/1077.27	c #Conflicts:     270000 | #Constraints:      18052
1073.66/1077.27	c #Conflicts:     271000 | #Constraints:      19052
1073.66/1077.27	c #Conflicts:     272000 | #Constraints:      20052
1073.66/1077.27	c #Conflicts:     273000 | #Constraints:      21052
1073.66/1077.27	c #Conflicts:     274000 | #Constraints:      22052
1073.66/1077.27	c #Conflicts:     275000 | #Constraints:      23052
1073.66/1077.27	c #Conflicts:     276000 | #Constraints:      24052
1073.66/1077.27	c #Conflicts:     277000 | #Constraints:      25052
1073.66/1077.27	c INPROCESSING
1073.66/1077.27	c GARBAGE COLLECT
1073.66/1077.27	c #Conflicts:     278000 | #Constraints:      15624
1073.66/1077.27	c #Conflicts:     279000 | #Constraints:      16624
1073.66/1077.27	c #Conflicts:     280000 | #Constraints:      17624
1073.66/1077.27	c #Conflicts:     281000 | #Constraints:      18624
1073.66/1077.27	c #Conflicts:     282000 | #Constraints:      19624
1073.66/1077.27	c #Conflicts:     283000 | #Constraints:      20624
1073.66/1077.27	c #Conflicts:     284000 | #Constraints:      21624
1073.66/1077.27	c #Conflicts:     285000 | #Constraints:      22624
1073.66/1077.27	c #Conflicts:     286000 | #Constraints:      23624
1073.66/1077.27	c #Conflicts:     287000 | #Constraints:      24624
1073.66/1077.27	c #Conflicts:     288000 | #Constraints:      25624
1073.66/1077.27	c INPROCESSING
1073.66/1077.27	c GARBAGE COLLECT
1073.66/1077.27	c #Conflicts:     289000 | #Constraints:      16026
1073.66/1077.27	c #Conflicts:     290000 | #Constraints:      17026
1073.66/1077.27	c #Conflicts:     291000 | #Constraints:      18026
1073.66/1077.27	c #Conflicts:     292000 | #Constraints:      19026
1073.66/1077.27	c #Conflicts:     293000 | #Constraints:      20026
1073.66/1077.27	c #Conflicts:     294000 | #Constraints:      21026
1073.66/1077.27	c #Conflicts:     295000 | #Constraints:      22026
1073.66/1077.27	c #Conflicts:     296000 | #Constraints:      23026
1073.66/1077.27	c #Conflicts:     297000 | #Constraints:      24026
1073.66/1077.27	c GLOBAL bounds - >= 0 @ 1070
1309.50/1313.89	c #Conflicts:     298000 | #Constraints:      25028
1309.50/1313.89	c #Conflicts:     299000 | #Constraints:      26028
1309.50/1313.89	c INPROCESSING
1309.50/1313.89	c GARBAGE COLLECT
1309.50/1313.89	c #Conflicts:     300000 | #Constraints:      16246
1309.50/1313.89	c #Conflicts:     301000 | #Constraints:      17246
1309.50/1313.89	c #Conflicts:     302000 | #Constraints:      18246
1309.50/1313.89	c #Conflicts:     303000 | #Constraints:      19246
1309.50/1313.89	c #Conflicts:     304000 | #Constraints:      20246
1309.50/1313.89	c #Conflicts:     305000 | #Constraints:      21246
1309.50/1313.89	c #Conflicts:     306000 | #Constraints:      22246
1309.50/1313.89	c #Conflicts:     307000 | #Constraints:      23246
1309.50/1313.89	c #Conflicts:     308000 | #Constraints:      24246
1309.50/1313.89	c #Conflicts:     309000 | #Constraints:      25246
1309.50/1313.89	c #Conflicts:     310000 | #Constraints:      26246
1309.50/1313.89	c INPROCESSING
1309.50/1313.89	c GARBAGE COLLECT
1309.50/1313.89	c #Conflicts:     311000 | #Constraints:      16243
1309.50/1313.89	c #Conflicts:     312000 | #Constraints:      17243
1309.50/1313.89	c #Conflicts:     313000 | #Constraints:      18243
1309.50/1313.89	c #Conflicts:     314000 | #Constraints:      19243
1309.50/1313.89	c #Conflicts:     315000 | #Constraints:      20243
1309.50/1313.89	c #Conflicts:     316000 | #Constraints:      21243
1309.50/1313.89	c #Conflicts:     317000 | #Constraints:      22243
1309.50/1313.89	c #Conflicts:     318000 | #Constraints:      23243
1309.50/1313.89	c #Conflicts:     319000 | #Constraints:      24243
1309.50/1313.89	c #Conflicts:     320000 | #Constraints:      25243
1309.50/1313.89	c #Conflicts:     321000 | #Constraints:      26243
1309.50/1313.89	c INPROCESSING
1309.50/1313.89	c GARBAGE COLLECT
1309.50/1313.89	c #Conflicts:     322000 | #Constraints:      16031
1309.50/1313.89	c #Conflicts:     323000 | #Constraints:      17031
1309.50/1313.89	c #Conflicts:     324000 | #Constraints:      18031
1309.50/1313.89	c #Conflicts:     325000 | #Constraints:      19031
1309.50/1313.89	c #Conflicts:     326000 | #Constraints:      20031
1309.50/1313.89	c #Conflicts:     327000 | #Constraints:      21031
1309.50/1313.89	c #Conflicts:     328000 | #Constraints:      22031
1309.50/1313.89	c #Conflicts:     329000 | #Constraints:      23031
1309.50/1313.89	c #Conflicts:     330000 | #Constraints:      24031
1309.50/1313.89	c #Conflicts:     331000 | #Constraints:      25031
1309.50/1313.89	c #Conflicts:     332000 | #Constraints:      26031
1309.50/1313.89	c #Conflicts:     333000 | #Constraints:      27031
1309.50/1313.89	c INPROCESSING
1309.50/1313.89	c GARBAGE COLLECT
1309.50/1313.89	c #Conflicts:     334000 | #Constraints:      16624
1309.50/1313.89	c #Conflicts:     335000 | #Constraints:      17624
1309.50/1313.89	c #Conflicts:     336000 | #Constraints:      18624
1309.50/1313.89	c #Conflicts:     337000 | #Constraints:      19624
1309.50/1313.89	c #Conflicts:     338000 | #Constraints:      20624
1309.50/1313.89	c #Conflicts:     339000 | #Constraints:      21624
1309.50/1313.89	c #Conflicts:     340000 | #Constraints:      22624
1309.50/1313.89	c #Conflicts:     341000 | #Constraints:      23624
1309.50/1313.89	c #Conflicts:     342000 | #Constraints:      24624
1309.50/1313.89	c #Conflicts:     343000 | #Constraints:      25624
1309.50/1313.89	c GLOBAL bounds - >= 0 @ 1305.37
1421.35/1426.05	c #Conflicts:     344000 | #Constraints:      26626
1421.35/1426.05	c #Conflicts:     345000 | #Constraints:      27626
1421.35/1426.05	c INPROCESSING
1421.35/1426.05	c GARBAGE COLLECT
1421.35/1426.05	c #Conflicts:     346000 | #Constraints:      17033
1421.35/1426.05	c #Conflicts:     347000 | #Constraints:      18033
1421.35/1426.05	c #Conflicts:     348000 | #Constraints:      19033
1421.35/1426.05	c #Conflicts:     349000 | #Constraints:      20033
1421.35/1426.05	c #Conflicts:     350000 | #Constraints:      21033
1421.35/1426.05	c #Conflicts:     351000 | #Constraints:      22033
1421.35/1426.05	c #Conflicts:     352000 | #Constraints:      23033
1421.35/1426.05	c #Conflicts:     353000 | #Constraints:      24033
1421.35/1426.05	c #Conflicts:     354000 | #Constraints:      25033
1421.35/1426.05	c #Conflicts:     355000 | #Constraints:      26033
1421.35/1426.05	c #Conflicts:     356000 | #Constraints:      27033
1421.35/1426.05	c #Conflicts:     357000 | #Constraints:      28033
1421.35/1426.05	c INPROCESSING
1421.35/1426.05	c GARBAGE COLLECT
1421.35/1426.05	c #Conflicts:     358000 | #Constraints:      17225
1421.35/1426.05	c #Conflicts:     359000 | #Constraints:      18225
1421.35/1426.05	c #Conflicts:     360000 | #Constraints:      19225
1421.35/1426.05	c #Conflicts:     361000 | #Constraints:      20225
1421.35/1426.05	c #Conflicts:     362000 | #Constraints:      21225
1421.35/1426.05	c #Conflicts:     363000 | #Constraints:      22225
1421.35/1426.05	c #Conflicts:     364000 | #Constraints:      23225
1421.35/1426.05	c #Conflicts:     365000 | #Constraints:      24225
1421.35/1426.05	c #Conflicts:     366000 | #Constraints:      25225
1421.35/1426.05	c GLOBAL bounds - >= 0 @ 1416.86
1441.47/1446.21	c #Conflicts:     367000 | #Constraints:      26227
1441.47/1446.21	c #Conflicts:     368000 | #Constraints:      27227
1441.47/1446.21	c #Conflicts:     369000 | #Constraints:      28227
1441.47/1446.21	c INPROCESSING
1441.47/1446.21	c GARBAGE COLLECT
1441.47/1446.21	c #Conflicts:     370000 | #Constraints:      17236
1441.47/1446.21	c #Conflicts:     371000 | #Constraints:      18236
1441.47/1446.21	c GLOBAL bounds - >= 0 @ 1436.9
1767.01/1772.88	c #Conflicts:     372000 | #Constraints:      19238
1767.01/1772.88	c #Conflicts:     373000 | #Constraints:      20238
1767.01/1772.88	c #Conflicts:     374000 | #Constraints:      21238
1767.01/1772.88	c #Conflicts:     375000 | #Constraints:      22238
1767.01/1772.88	c #Conflicts:     376000 | #Constraints:      23238
1767.01/1772.88	c #Conflicts:     377000 | #Constraints:      24238
1767.01/1772.88	c #Conflicts:     378000 | #Constraints:      25238
1767.01/1772.88	c #Conflicts:     379000 | #Constraints:      26238
1767.01/1772.88	c #Conflicts:     380000 | #Constraints:      27238
1767.01/1772.88	c #Conflicts:     381000 | #Constraints:      28238
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1767.01/1772.88	c #Conflicts:     382000 | #Constraints:      17043
1767.01/1772.88	c #Conflicts:     383000 | #Constraints:      18043
1767.01/1772.88	c #Conflicts:     384000 | #Constraints:      19043
1767.01/1772.88	c #Conflicts:     385000 | #Constraints:      20043
1767.01/1772.88	c #Conflicts:     386000 | #Constraints:      21043
1767.01/1772.88	c #Conflicts:     387000 | #Constraints:      22043
1767.01/1772.88	c #Conflicts:     388000 | #Constraints:      23043
1767.01/1772.88	c #Conflicts:     389000 | #Constraints:      24043
1767.01/1772.88	c #Conflicts:     390000 | #Constraints:      25043
1767.01/1772.88	c #Conflicts:     391000 | #Constraints:      26043
1767.01/1772.88	c #Conflicts:     392000 | #Constraints:      27043
1767.01/1772.88	c #Conflicts:     393000 | #Constraints:      28043
1767.01/1772.88	c #Conflicts:     394000 | #Constraints:      29043
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1767.01/1772.88	c #Conflicts:     395000 | #Constraints:      17644
1767.01/1772.88	c #Conflicts:     396000 | #Constraints:      18644
1767.01/1772.88	c #Conflicts:     397000 | #Constraints:      19644
1767.01/1772.88	c #Conflicts:     398000 | #Constraints:      20644
1767.01/1772.88	c #Conflicts:     399000 | #Constraints:      21644
1767.01/1772.88	c #Conflicts:     400000 | #Constraints:      22644
1767.01/1772.88	c #Conflicts:     401000 | #Constraints:      23644
1767.01/1772.88	c #Conflicts:     402000 | #Constraints:      24644
1767.01/1772.88	c #Conflicts:     403000 | #Constraints:      25644
1767.01/1772.88	c #Conflicts:     404000 | #Constraints:      26644
1767.01/1772.88	c #Conflicts:     405000 | #Constraints:      27644
1767.01/1772.88	c #Conflicts:     406000 | #Constraints:      28644
1767.01/1772.88	c #Conflicts:     407000 | #Constraints:      29644
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1767.01/1772.88	c #Conflicts:     408000 | #Constraints:      18041
1767.01/1772.88	c #Conflicts:     409000 | #Constraints:      19041
1767.01/1772.88	c #Conflicts:     410000 | #Constraints:      20041
1767.01/1772.88	c #Conflicts:     411000 | #Constraints:      21041
1767.01/1772.88	c #Conflicts:     412000 | #Constraints:      22041
1767.01/1772.88	c #Conflicts:     413000 | #Constraints:      23041
1767.01/1772.88	c #Conflicts:     414000 | #Constraints:      24041
1767.01/1772.88	c #Conflicts:     415000 | #Constraints:      25041
1767.01/1772.88	c #Conflicts:     416000 | #Constraints:      26041
1767.01/1772.88	c #Conflicts:     417000 | #Constraints:      27041
1767.01/1772.88	c #Conflicts:     418000 | #Constraints:      28041
1767.01/1772.88	c #Conflicts:     419000 | #Constraints:      29041
1767.01/1772.88	c #Conflicts:     420000 | #Constraints:      30041
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1767.01/1772.88	c #Conflicts:     421000 | #Constraints:      18243
1767.01/1772.88	c #Conflicts:     422000 | #Constraints:      19243
1767.01/1772.88	c #Conflicts:     423000 | #Constraints:      20243
1767.01/1772.88	c #Conflicts:     424000 | #Constraints:      21243
1767.01/1772.88	c #Conflicts:     425000 | #Constraints:      22243
1767.01/1772.88	c #Conflicts:     426000 | #Constraints:      23243
1767.01/1772.88	c #Conflicts:     427000 | #Constraints:      24243
1767.01/1772.88	c #Conflicts:     428000 | #Constraints:      25243
1767.01/1772.88	c #Conflicts:     429000 | #Constraints:      26243
1767.01/1772.88	c #Conflicts:     430000 | #Constraints:      27243
1767.01/1772.88	c #Conflicts:     431000 | #Constraints:      28243
1767.01/1772.88	c #Conflicts:     432000 | #Constraints:      29243
1767.01/1772.88	c #Conflicts:     433000 | #Constraints:      30243
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1767.01/1772.88	c #Conflicts:     434000 | #Constraints:      18242
1767.01/1772.88	c #Conflicts:     435000 | #Constraints:      19242
1767.01/1772.88	c #Conflicts:     436000 | #Constraints:      20242
1767.01/1772.88	c #Conflicts:     437000 | #Constraints:      21242
1767.01/1772.88	c #Conflicts:     438000 | #Constraints:      22242
1767.01/1772.88	c #Conflicts:     439000 | #Constraints:      23242
1767.01/1772.88	c #Conflicts:     440000 | #Constraints:      24242
1767.01/1772.88	c #Conflicts:     441000 | #Constraints:      25242
1767.01/1772.88	c #Conflicts:     442000 | #Constraints:      26242
1767.01/1772.88	c #Conflicts:     443000 | #Constraints:      27242
1767.01/1772.88	c #Conflicts:     444000 | #Constraints:      28242
1767.01/1772.88	c #Conflicts:     445000 | #Constraints:      29242
1767.01/1772.88	c #Conflicts:     446000 | #Constraints:      30242
1767.01/1772.88	c INPROCESSING
1767.01/1772.88	c GARBAGE COLLECT
1863.24/1869.34	c #Conflicts:     447000 | #Constraints:      18038
1863.24/1869.34	c #Conflicts:     448000 | #Constraints:      19038
1863.24/1869.34	c #Conflicts:     449000 | #Constraints:      20038
1863.24/1869.34	c #Conflicts:     450000 | #Constraints:      21038
1863.24/1869.34	c #Conflicts:     451000 | #Constraints:      22038
1863.24/1869.34	c #Conflicts:     452000 | #Constraints:      23038
1863.24/1869.34	c #Conflicts:     453000 | #Constraints:      24038
1863.24/1869.34	c #Conflicts:     454000 | #Constraints:      25038
1863.24/1869.34	c #Conflicts:     455000 | #Constraints:      26038
1863.24/1869.34	c #Conflicts:     456000 | #Constraints:      27038
1863.24/1869.34	c #Conflicts:     457000 | #Constraints:      28038
1863.24/1869.34	c #Conflicts:     458000 | #Constraints:      29038
1863.24/1869.34	c #Conflicts:     459000 | #Constraints:      30038
1863.24/1869.34	c #Conflicts:     460000 | #Constraints:      31038
1863.24/1869.34	c INPROCESSING
1863.24/1869.34	c GARBAGE COLLECT
1863.24/1869.34	c #Conflicts:     461000 | #Constraints:      18640
1863.24/1869.34	c #Conflicts:     462000 | #Constraints:      19640
1863.24/1869.34	c #Conflicts:     463000 | #Constraints:      20640
1863.24/1869.34	c GLOBAL bounds - >= 0 @ 1857.67
1866.23/1872.38	c #Conflicts:     464000 | #Constraints:      21642
1866.23/1872.38	c #Conflicts:     465000 | #Constraints:      22642
1866.23/1872.38	c #Conflicts:     466000 | #Constraints:      23642
1866.23/1872.38	c #Conflicts:     467000 | #Constraints:      24642
1866.23/1872.38	c GLOBAL bounds - >= 0 @ 1860.67
1871.22/1877.36	c #Conflicts:     468000 | #Constraints:      25644
1871.22/1877.36	c #Conflicts:     469000 | #Constraints:      26644
1871.22/1877.36	c GLOBAL bounds - >= 0 @ 1865.62
2222.40/2229.59	c #Conflicts:     470000 | #Constraints:      27646
2222.40/2229.59	c #Conflicts:     471000 | #Constraints:      28646
2222.40/2229.59	c #Conflicts:     472000 | #Constraints:      29646
2222.40/2229.59	c #Conflicts:     473000 | #Constraints:      30646
2222.40/2229.59	c #Conflicts:     474000 | #Constraints:      31646
2222.40/2229.59	c INPROCESSING
2222.40/2229.59	c GARBAGE COLLECT
2222.40/2229.59	c #Conflicts:     475000 | #Constraints:      19080
2222.40/2229.59	c #Conflicts:     476000 | #Constraints:      20080
2222.40/2229.59	c #Conflicts:     477000 | #Constraints:      21080
2222.40/2229.59	c #Conflicts:     478000 | #Constraints:      22080
2222.40/2229.59	c #Conflicts:     479000 | #Constraints:      23080
2222.40/2229.59	c #Conflicts:     480000 | #Constraints:      24080
2222.40/2229.59	c #Conflicts:     481000 | #Constraints:      25080
2222.40/2229.59	c #Conflicts:     482000 | #Constraints:      26080
2222.40/2229.59	c #Conflicts:     483000 | #Constraints:      27080
2222.40/2229.59	c #Conflicts:     484000 | #Constraints:      28080
2222.40/2229.59	c #Conflicts:     485000 | #Constraints:      29080
2222.40/2229.59	c #Conflicts:     486000 | #Constraints:      30080
2222.40/2229.59	c #Conflicts:     487000 | #Constraints:      31080
2222.40/2229.59	c #Conflicts:     488000 | #Constraints:      32080
2222.40/2229.59	c INPROCESSING
2222.40/2229.59	c GARBAGE COLLECT
2222.40/2229.59	c #Conflicts:     489000 | #Constraints:      19279
2222.40/2229.59	c #Conflicts:     490000 | #Constraints:      20279
2222.40/2229.59	c #Conflicts:     491000 | #Constraints:      21279
2222.40/2229.59	c #Conflicts:     492000 | #Constraints:      22279
2222.40/2229.59	c #Conflicts:     493000 | #Constraints:      23279
2222.40/2229.59	c #Conflicts:     494000 | #Constraints:      24279
2222.40/2229.59	c #Conflicts:     495000 | #Constraints:      25279
2222.40/2229.59	c #Conflicts:     496000 | #Constraints:      26279
2222.40/2229.59	c #Conflicts:     497000 | #Constraints:      27279
2222.40/2229.59	c #Conflicts:     498000 | #Constraints:      28279
2222.40/2229.59	c #Conflicts:     499000 | #Constraints:      29279
2222.40/2229.59	c #Conflicts:     500000 | #Constraints:      30279
2222.40/2229.59	c #Conflicts:     501000 | #Constraints:      31279
2222.40/2229.59	c #Conflicts:     502000 | #Constraints:      32279
2222.40/2229.59	c INPROCESSING
2222.40/2229.59	c GARBAGE COLLECT
2222.40/2229.59	c #Conflicts:     503000 | #Constraints:      19267
2222.40/2229.59	c #Conflicts:     504000 | #Constraints:      20267
2222.40/2229.59	c #Conflicts:     505000 | #Constraints:      21267
2222.40/2229.59	c #Conflicts:     506000 | #Constraints:      22267
2222.40/2229.59	c #Conflicts:     507000 | #Constraints:      23267
2222.40/2229.59	c #Conflicts:     508000 | #Constraints:      24267
2222.40/2229.59	c #Conflicts:     509000 | #Constraints:      25267
2222.40/2229.59	c #Conflicts:     510000 | #Constraints:      26267
2222.40/2229.59	c #Conflicts:     511000 | #Constraints:      27267
2222.40/2229.59	c #Conflicts:     512000 | #Constraints:      28267
2222.40/2229.59	c #Conflicts:     513000 | #Constraints:      29267
2222.40/2229.59	c #Conflicts:     514000 | #Constraints:      30267
2222.40/2229.59	c #Conflicts:     515000 | #Constraints:      31267
2222.40/2229.59	c #Conflicts:     516000 | #Constraints:      32267
2222.40/2229.59	c INPROCESSING
2222.40/2229.59	c GARBAGE COLLECT
2222.40/2229.59	c #Conflicts:     517000 | #Constraints:      19082
2222.40/2229.59	c #Conflicts:     518000 | #Constraints:      20082
2222.40/2229.59	c #Conflicts:     519000 | #Constraints:      21082
2222.40/2229.59	c #Conflicts:     520000 | #Constraints:      22082
2222.40/2229.59	c #Conflicts:     521000 | #Constraints:      23082
2222.40/2229.59	c #Conflicts:     522000 | #Constraints:      24082
2222.40/2229.59	c #Conflicts:     523000 | #Constraints:      25082
2222.40/2229.59	c #Conflicts:     524000 | #Constraints:      26082
2222.40/2229.59	c #Conflicts:     525000 | #Constraints:      27082
2222.40/2229.59	c #Conflicts:     526000 | #Constraints:      28082
2222.40/2229.59	c #Conflicts:     527000 | #Constraints:      29082
2222.40/2229.59	c #Conflicts:     528000 | #Constraints:      30082
2222.40/2229.59	c #Conflicts:     529000 | #Constraints:      31082
2222.40/2229.59	c #Conflicts:     530000 | #Constraints:      32082
2222.40/2229.59	c #Conflicts:     531000 | #Constraints:      33082
2222.40/2229.59	c INPROCESSING
2222.40/2229.59	c GARBAGE COLLECT
2222.40/2229.59	c #Conflicts:     532000 | #Constraints:      19664
2222.40/2229.59	c #Conflicts:     533000 | #Constraints:      20664
2222.40/2229.59	c #Conflicts:     534000 | #Constraints:      21664
2222.40/2229.59	c #Conflicts:     535000 | #Constraints:      22664
2222.40/2229.59	c #Conflicts:     536000 | #Constraints:      23664
2222.40/2229.59	c #Conflicts:     537000 | #Constraints:      24664
2222.40/2229.59	c #Conflicts:     538000 | #Constraints:      25664
2222.40/2229.59	c #Conflicts:     539000 | #Constraints:      26664
2222.40/2229.59	c #Conflicts:     540000 | #Constraints:      27664
2222.40/2229.59	c #Conflicts:     541000 | #Constraints:      28664
2222.40/2229.59	c #Conflicts:     542000 | #Constraints:      29664
2222.40/2229.59	c #Conflicts:     543000 | #Constraints:      30664
2222.40/2229.59	c #Conflicts:     544000 | #Constraints:      31664
2222.40/2229.59	c #Conflicts:     545000 | #Constraints:      32664
2348.72/2356.28	c #Conflicts:     546000 | #Constraints:      33664
2348.72/2356.28	c INPROCESSING
2348.72/2356.28	c GARBAGE COLLECT
2348.72/2356.28	c #Conflicts:     547000 | #Constraints:      20046
2348.72/2356.28	c #Conflicts:     548000 | #Constraints:      21046
2348.72/2356.28	c #Conflicts:     549000 | #Constraints:      22046
2348.72/2356.28	c #Conflicts:     550000 | #Constraints:      23046
2348.72/2356.28	c #Conflicts:     551000 | #Constraints:      24046
2348.72/2356.28	c #Conflicts:     552000 | #Constraints:      25046
2348.72/2356.28	c #Conflicts:     553000 | #Constraints:      26046
2348.72/2356.28	c #Conflicts:     554000 | #Constraints:      27046
2348.72/2356.28	c #Conflicts:     555000 | #Constraints:      28046
2348.72/2356.28	c #Conflicts:     556000 | #Constraints:      29046
2348.72/2356.28	c #Conflicts:     557000 | #Constraints:      30046
2348.72/2356.28	c #Conflicts:     558000 | #Constraints:      31046
2348.72/2356.28	c #Conflicts:     559000 | #Constraints:      32046
2348.72/2356.28	c #Conflicts:     560000 | #Constraints:      33046
2348.72/2356.28	c #Conflicts:     561000 | #Constraints:      34046
2348.72/2356.28	c INPROCESSING
2348.72/2356.28	c GARBAGE COLLECT
2348.72/2356.28	c #Conflicts:     562000 | #Constraints:      20240
2348.72/2356.28	c #Conflicts:     563000 | #Constraints:      21240
2348.72/2356.28	c #Conflicts:     564000 | #Constraints:      22240
2348.72/2356.28	c #Conflicts:     565000 | #Constraints:      23240
2348.72/2356.28	c #Conflicts:     566000 | #Constraints:      24240
2348.72/2356.28	c #Conflicts:     567000 | #Constraints:      25240
2348.72/2356.28	c #Conflicts:     568000 | #Constraints:      26240
2348.72/2356.28	c #Conflicts:     569000 | #Constraints:      27240
2348.72/2356.28	c #Conflicts:     570000 | #Constraints:      28240
2348.72/2356.28	c #Conflicts:     571000 | #Constraints:      29240
2348.72/2356.28	c GLOBAL bounds - >= 0 @ 2341.91
2359.51/2367.01	c #Conflicts:     572000 | #Constraints:      30242
2359.51/2367.01	c #Conflicts:     573000 | #Constraints:      31242
2359.51/2367.01	c #Conflicts:     574000 | #Constraints:      32242
2359.51/2367.01	c #Conflicts:     575000 | #Constraints:      33242
2359.51/2367.01	c GLOBAL bounds - >= 0 @ 2352.57
2387.12/2394.77	c #Conflicts:     576000 | #Constraints:      34244
2387.12/2394.77	c INPROCESSING
2387.12/2394.77	c GARBAGE COLLECT
2387.12/2394.77	c #Conflicts:     577000 | #Constraints:      20250
2387.12/2394.77	c #Conflicts:     578000 | #Constraints:      21250
2387.12/2394.77	c #Conflicts:     579000 | #Constraints:      22250
2387.12/2394.77	c #Conflicts:     580000 | #Constraints:      23250
2387.12/2394.77	c #Conflicts:     581000 | #Constraints:      24250
2387.12/2394.77	c #Conflicts:     582000 | #Constraints:      25250
2387.12/2394.77	c #Conflicts:     583000 | #Constraints:      26250
2387.12/2394.77	c GLOBAL bounds - >= 0 @ 2380.21
2399.40/2407.05	c #Conflicts:     584000 | #Constraints:      27252
2399.40/2407.05	c #Conflicts:     585000 | #Constraints:      28252
2399.40/2407.05	c GLOBAL bounds - >= 0 @ 2392.43
2824.58/2833.39	c #Conflicts:     586000 | #Constraints:      29254
2824.58/2833.39	c #Conflicts:     587000 | #Constraints:      30254
2824.58/2833.39	c #Conflicts:     588000 | #Constraints:      31254
2824.58/2833.39	c #Conflicts:     589000 | #Constraints:      32254
2824.58/2833.39	c #Conflicts:     590000 | #Constraints:      33254
2824.58/2833.39	c #Conflicts:     591000 | #Constraints:      34254
2824.58/2833.39	c INPROCESSING
2824.58/2833.39	c GARBAGE COLLECT
2824.58/2833.39	c #Conflicts:     592000 | #Constraints:      20041
2824.58/2833.39	c #Conflicts:     593000 | #Constraints:      21041
2824.58/2833.39	c #Conflicts:     594000 | #Constraints:      22041
2824.58/2833.39	c #Conflicts:     595000 | #Constraints:      23041
2824.58/2833.39	c #Conflicts:     596000 | #Constraints:      24041
2824.58/2833.39	c #Conflicts:     597000 | #Constraints:      25041
2824.58/2833.39	c #Conflicts:     598000 | #Constraints:      26041
2824.58/2833.39	c #Conflicts:     599000 | #Constraints:      27041
2824.58/2833.39	c #Conflicts:     600000 | #Constraints:      28041
2824.58/2833.39	c #Conflicts:     601000 | #Constraints:      29041
2824.58/2833.39	c #Conflicts:     602000 | #Constraints:      30041
2824.58/2833.39	c #Conflicts:     603000 | #Constraints:      31041
2824.58/2833.39	c #Conflicts:     604000 | #Constraints:      32041
2824.58/2833.39	c #Conflicts:     605000 | #Constraints:      33041
2824.58/2833.39	c #Conflicts:     606000 | #Constraints:      34041
2824.58/2833.39	c #Conflicts:     607000 | #Constraints:      35041
2824.58/2833.39	c INPROCESSING
2824.58/2833.39	c GARBAGE COLLECT
2824.58/2833.39	c #Conflicts:     608000 | #Constraints:      20641
2824.58/2833.39	c #Conflicts:     609000 | #Constraints:      21641
2824.58/2833.39	c #Conflicts:     610000 | #Constraints:      22641
2824.58/2833.39	c #Conflicts:     611000 | #Constraints:      23641
2824.58/2833.39	c #Conflicts:     612000 | #Constraints:      24641
2824.58/2833.39	c #Conflicts:     613000 | #Constraints:      25641
2824.58/2833.39	c #Conflicts:     614000 | #Constraints:      26641
2824.58/2833.39	c #Conflicts:     615000 | #Constraints:      27641
2824.58/2833.39	c #Conflicts:     616000 | #Constraints:      28641
2824.58/2833.39	c #Conflicts:     617000 | #Constraints:      29641
2824.58/2833.39	c #Conflicts:     618000 | #Constraints:      30641
2824.58/2833.39	c #Conflicts:     619000 | #Constraints:      31641
2824.58/2833.39	c #Conflicts:     620000 | #Constraints:      32641
2824.58/2833.39	c #Conflicts:     621000 | #Constraints:      33641
2824.58/2833.39	c #Conflicts:     622000 | #Constraints:      34641
2824.58/2833.39	c #Conflicts:     623000 | #Constraints:      35641
2824.58/2833.39	c INPROCESSING
2824.58/2833.39	c GARBAGE COLLECT
2824.58/2833.39	c #Conflicts:     624000 | #Constraints:      21040
2824.58/2833.39	c #Conflicts:     625000 | #Constraints:      22040
2824.58/2833.39	c #Conflicts:     626000 | #Constraints:      23040
2824.58/2833.39	c #Conflicts:     627000 | #Constraints:      24040
2824.58/2833.39	c #Conflicts:     628000 | #Constraints:      25040
2824.58/2833.39	c #Conflicts:     629000 | #Constraints:      26040
2824.58/2833.39	c #Conflicts:     630000 | #Constraints:      27040
2824.58/2833.39	c #Conflicts:     631000 | #Constraints:      28040
2824.58/2833.39	c #Conflicts:     632000 | #Constraints:      29040
2824.58/2833.39	c #Conflicts:     633000 | #Constraints:      30040
2824.58/2833.39	c #Conflicts:     634000 | #Constraints:      31040
2824.58/2833.39	c #Conflicts:     635000 | #Constraints:      32040
2824.58/2833.39	c #Conflicts:     636000 | #Constraints:      33040
2824.58/2833.39	c #Conflicts:     637000 | #Constraints:      34040
2824.58/2833.39	c #Conflicts:     638000 | #Constraints:      35040
2824.58/2833.39	c #Conflicts:     639000 | #Constraints:      36040
2824.58/2833.39	c INPROCESSING
2824.58/2833.39	c GARBAGE COLLECT
2824.58/2833.39	c #Conflicts:     640000 | #Constraints:      21229
2824.58/2833.39	c #Conflicts:     641000 | #Constraints:      22229
2824.58/2833.39	c #Conflicts:     642000 | #Constraints:      23229
2824.58/2833.39	c #Conflicts:     643000 | #Constraints:      24229
2824.58/2833.39	c #Conflicts:     644000 | #Constraints:      25229
2824.58/2833.39	c #Conflicts:     645000 | #Constraints:      26229
2824.58/2833.39	c #Conflicts:     646000 | #Constraints:      27229
2824.58/2833.39	c #Conflicts:     647000 | #Constraints:      28229
2824.58/2833.39	c #Conflicts:     648000 | #Constraints:      29229
2824.58/2833.39	c #Conflicts:     649000 | #Constraints:      30229
2824.58/2833.39	c #Conflicts:     650000 | #Constraints:      31229
2824.58/2833.39	c #Conflicts:     651000 | #Constraints:      32229
2824.58/2833.39	c #Conflicts:     652000 | #Constraints:      33229
2824.58/2833.39	c GLOBAL bounds - >= 0 @ 2816.98
3316.52/3326.62	c #Conflicts:     653000 | #Constraints:      34231
3316.52/3326.62	c #Conflicts:     654000 | #Constraints:      35231
3316.52/3326.62	c #Conflicts:     655000 | #Constraints:      36231
3316.52/3326.62	c INPROCESSING
3316.52/3326.62	c GARBAGE COLLECT
3316.52/3326.62	c #Conflicts:     656000 | #Constraints:      21231
3316.52/3326.62	c #Conflicts:     657000 | #Constraints:      22231
3316.52/3326.62	c #Conflicts:     658000 | #Constraints:      23231
3316.52/3326.62	c #Conflicts:     659000 | #Constraints:      24231
3316.52/3326.62	c #Conflicts:     660000 | #Constraints:      25231
3316.52/3326.62	c #Conflicts:     661000 | #Constraints:      26231
3316.52/3326.62	c #Conflicts:     662000 | #Constraints:      27231
3316.52/3326.62	c #Conflicts:     663000 | #Constraints:      28231
3316.52/3326.62	c #Conflicts:     664000 | #Constraints:      29231
3316.52/3326.62	c #Conflicts:     665000 | #Constraints:      30231
3316.52/3326.62	c #Conflicts:     666000 | #Constraints:      31231
3316.52/3326.62	c #Conflicts:     667000 | #Constraints:      32231
3316.52/3326.62	c #Conflicts:     668000 | #Constraints:      33231
3316.52/3326.62	c #Conflicts:     669000 | #Constraints:      34231
3316.52/3326.62	c #Conflicts:     670000 | #Constraints:      35231
3316.52/3326.62	c #Conflicts:     671000 | #Constraints:      36231
3316.52/3326.62	c INPROCESSING
3316.52/3326.62	c GARBAGE COLLECT
3316.52/3326.62	c #Conflicts:     672000 | #Constraints:      21026
3316.52/3326.62	c #Conflicts:     673000 | #Constraints:      22026
3316.52/3326.62	c #Conflicts:     674000 | #Constraints:      23026
3316.52/3326.62	c #Conflicts:     675000 | #Constraints:      24026
3316.52/3326.62	c #Conflicts:     676000 | #Constraints:      25026
3316.52/3326.62	c #Conflicts:     677000 | #Constraints:      26026
3316.52/3326.62	c #Conflicts:     678000 | #Constraints:      27026
3316.52/3326.62	c #Conflicts:     679000 | #Constraints:      28026
3316.52/3326.62	c #Conflicts:     680000 | #Constraints:      29026
3316.52/3326.62	c #Conflicts:     681000 | #Constraints:      30026
3316.52/3326.62	c #Conflicts:     682000 | #Constraints:      31026
3316.52/3326.62	c #Conflicts:     683000 | #Constraints:      32026
3316.52/3326.62	c #Conflicts:     684000 | #Constraints:      33026
3316.52/3326.62	c #Conflicts:     685000 | #Constraints:      34026
3316.52/3326.62	c #Conflicts:     686000 | #Constraints:      35026
3316.52/3326.62	c #Conflicts:     687000 | #Constraints:      36026
3316.52/3326.62	c #Conflicts:     688000 | #Constraints:      37026
3316.52/3326.62	c INPROCESSING
3316.52/3326.62	c GARBAGE COLLECT
3316.52/3326.62	c #Conflicts:     689000 | #Constraints:      21625
3316.52/3326.62	c #Conflicts:     690000 | #Constraints:      22625
3316.52/3326.62	c #Conflicts:     691000 | #Constraints:      23625
3316.52/3326.62	c #Conflicts:     692000 | #Constraints:      24625
3316.52/3326.62	c #Conflicts:     693000 | #Constraints:      25625
3316.52/3326.62	c #Conflicts:     694000 | #Constraints:      26625
3316.52/3326.62	c #Conflicts:     695000 | #Constraints:      27625
3316.52/3326.62	c #Conflicts:     696000 | #Constraints:      28625
3316.52/3326.62	c #Conflicts:     697000 | #Constraints:      29625
3316.52/3326.62	c #Conflicts:     698000 | #Constraints:      30625
3316.52/3326.62	c #Conflicts:     699000 | #Constraints:      31625
3316.52/3326.62	c #Conflicts:     700000 | #Constraints:      32625
3316.52/3326.62	c #Conflicts:     701000 | #Constraints:      33625
3316.52/3326.62	c #Conflicts:     702000 | #Constraints:      34625
3316.52/3326.62	c #Conflicts:     703000 | #Constraints:      35625
3316.52/3326.62	c #Conflicts:     704000 | #Constraints:      36625
3316.52/3326.62	c #Conflicts:     705000 | #Constraints:      37625
3316.52/3326.62	c INPROCESSING
3316.52/3326.62	c GARBAGE COLLECT
3316.52/3326.62	c #Conflicts:     706000 | #Constraints:      22017
3316.52/3326.62	c #Conflicts:     707000 | #Constraints:      23017
3316.52/3326.62	c #Conflicts:     708000 | #Constraints:      24017
3316.52/3326.62	c #Conflicts:     709000 | #Constraints:      25017
3316.52/3326.62	c #Conflicts:     710000 | #Constraints:      26017
3316.52/3326.62	c #Conflicts:     711000 | #Constraints:      27017
3316.52/3326.62	c #Conflicts:     712000 | #Constraints:      28017
3316.52/3326.62	c #Conflicts:     713000 | #Constraints:      29017
3316.52/3326.62	c #Conflicts:     714000 | #Constraints:      30017
3316.52/3326.62	c #Conflicts:     715000 | #Constraints:      31017
3316.52/3326.62	c #Conflicts:     716000 | #Constraints:      32017
3316.52/3326.62	c #Conflicts:     717000 | #Constraints:      33017
3316.52/3326.62	c #Conflicts:     718000 | #Constraints:      34017
3316.52/3326.62	c #Conflicts:     719000 | #Constraints:      35017
3316.52/3326.62	c #Conflicts:     720000 | #Constraints:      36017
3316.52/3326.62	c #Conflicts:     721000 | #Constraints:      37017
3316.52/3326.62	c #Conflicts:     722000 | #Constraints:      38017
3316.52/3326.62	c INPROCESSING
3316.52/3326.62	c GARBAGE COLLECT
3316.52/3326.62	c #Conflicts:     723000 | #Constraints:      22211
3316.52/3326.62	c #Conflicts:     724000 | #Constraints:      23211
3316.52/3326.62	c #Conflicts:     725000 | #Constraints:      24211
3316.52/3326.62	c #Conflicts:     726000 | #Constraints:      25211
3316.52/3326.62	c #Conflicts:     727000 | #Constraints:      26211
3316.52/3326.62	c #Conflicts:     728000 | #Constraints:      27211
3600.07/3611.01	c #Conflicts:     729000 | #Constraints:      28211
3600.07/3611.01	c #Conflicts:     730000 | #Constraints:      29211
3600.07/3611.01	c #Conflicts:     731000 | #Constraints:      30211
3600.07/3611.01	c #Conflicts:     732000 | #Constraints:      31211
3600.07/3611.01	c #Conflicts:     733000 | #Constraints:      32211
3600.07/3611.01	c #Conflicts:     734000 | #Constraints:      33211
3600.07/3611.01	c #Conflicts:     735000 | #Constraints:      34211
3600.07/3611.01	c #Conflicts:     736000 | #Constraints:      35211
3600.07/3611.01	c #Conflicts:     737000 | #Constraints:      36211
3600.07/3611.01	c #Conflicts:     738000 | #Constraints:      37211
3600.07/3611.01	c #Conflicts:     739000 | #Constraints:      38211
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     740000 | #Constraints:      22205
3600.07/3611.01	c #Conflicts:     741000 | #Constraints:      23205
3600.07/3611.01	c #Conflicts:     742000 | #Constraints:      24205
3600.07/3611.01	c #Conflicts:     743000 | #Constraints:      25205
3600.07/3611.01	c #Conflicts:     744000 | #Constraints:      26205
3600.07/3611.01	c #Conflicts:     745000 | #Constraints:      27205
3600.07/3611.01	c #Conflicts:     746000 | #Constraints:      28205
3600.07/3611.01	c #Conflicts:     747000 | #Constraints:      29205
3600.07/3611.01	c #Conflicts:     748000 | #Constraints:      30205
3600.07/3611.01	c #Conflicts:     749000 | #Constraints:      31205
3600.07/3611.01	c #Conflicts:     750000 | #Constraints:      32205
3600.07/3611.01	c #Conflicts:     751000 | #Constraints:      33205
3600.07/3611.01	c #Conflicts:     752000 | #Constraints:      34205
3600.07/3611.01	c #Conflicts:     753000 | #Constraints:      35205
3600.07/3611.01	c #Conflicts:     754000 | #Constraints:      36205
3600.07/3611.01	c #Conflicts:     755000 | #Constraints:      37205
3600.07/3611.01	c #Conflicts:     756000 | #Constraints:      38205
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     757000 | #Constraints:      22001
3600.07/3611.01	c #Conflicts:     758000 | #Constraints:      23001
3600.07/3611.01	c #Conflicts:     759000 | #Constraints:      24001
3600.07/3611.01	c #Conflicts:     760000 | #Constraints:      25001
3600.07/3611.01	c #Conflicts:     761000 | #Constraints:      26001
3600.07/3611.01	c #Conflicts:     762000 | #Constraints:      27001
3600.07/3611.01	c #Conflicts:     763000 | #Constraints:      28001
3600.07/3611.01	c #Conflicts:     764000 | #Constraints:      29001
3600.07/3611.01	c #Conflicts:     765000 | #Constraints:      30001
3600.07/3611.01	c #Conflicts:     766000 | #Constraints:      31001
3600.07/3611.01	c #Conflicts:     767000 | #Constraints:      32001
3600.07/3611.01	c #Conflicts:     768000 | #Constraints:      33001
3600.07/3611.01	c #Conflicts:     769000 | #Constraints:      34001
3600.07/3611.01	c #Conflicts:     770000 | #Constraints:      35001
3600.07/3611.01	c #Conflicts:     771000 | #Constraints:      36001
3600.07/3611.01	c #Conflicts:     772000 | #Constraints:      37001
3600.07/3611.01	c #Conflicts:     773000 | #Constraints:      38001
3600.07/3611.01	c #Conflicts:     774000 | #Constraints:      39001
3600.07/3611.01	c INPROCESSING
3600.07/3611.01	c GARBAGE COLLECT
3600.07/3611.01	c #Conflicts:     775000 | #Constraints:      22606
3600.07/3611.01	c #Conflicts:     776000 | #Constraints:      23606
3600.07/3611.01	c #Conflicts:     777000 | #Constraints:      24606
3600.07/3611.01	c #Conflicts:     778000 | #Constraints:      25606
3600.07/3611.01	c #Conflicts:     779000 | #Constraints:      26606
3600.07/3611.01	c #Conflicts:     780000 | #Constraints:      27606
3600.07/3611.01	c #Conflicts:     781000 | #Constraints:      28606
3600.07/3611.01	c cpu time 3591.18 s
3600.07/3611.01	c deterministic time 1 1.00e+00
3600.07/3611.01	c optimization time 3591.14 s
3600.07/3611.01	c total solve time 0 s
3600.07/3611.01	c core-guided solve time 0 s
3600.07/3611.01	c propagation time 0.003963 s
3600.07/3611.01	c conflict analysis time 0 s
3600.07/3611.01	c propagations 0
3600.07/3611.01	c resolve steps 0
3600.07/3611.01	c decisions 0
3600.07/3611.01	c conflicts 0
3600.07/3611.01	c restarts 0
3600.07/3611.01	c inprocessing phases 0
3600.07/3611.01	c garbage collections 0 ,( -nan )
3600.07/3611.01	c input clauses 4000 ,( 100.00 )
3600.07/3611.01	c input cardinalities 0 ,( 0.00 )
3600.07/3611.01	c input general constraints 0 ,( 0.00 )
3600.07/3611.01	c input average constraint length 2.00
3600.07/3611.01	c input average constraint degree 1.00
3600.07/3611.01	c learned clauses 0 ,( 0.00 )
3600.07/3611.01	c learned cardinalities 0 ,( 0.00 )
3600.07/3611.01	c learned general constraints 0 ,( 0.00 )
3600.07/3611.01	c learned average constraint length 0.00
3600.07/3611.01	c learned average constraint degree 0.00
3600.07/3611.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3611.01	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3611.01	c watched   constraints 0 ,( -nan ) 
3600.07/3611.01	c counting  constraints 0 ,( -nan ) 
3600.07/3611.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.01	c gcd simplifications 0
3600.07/3611.01	c detected cardinalities 0
3600.07/3611.01	c weakened non-implied lits 0
3600.07/3611.01	c weakened non-implying lits 0
3600.07/3611.01	c original variables 1963
3600.07/3611.01	c clausal propagations 0
3600.07/3611.01	c cardinality propagations 0
3600.07/3611.01	c watched propagations 0
3600.07/3611.01	c counting propagations 0
3600.07/3611.01	c watch lookups 0
3600.07/3611.01	c watch backjump lookups 0
3600.07/3611.01	c watch checks 0
3600.07/3611.01	c propagation checks 0
3600.07/3611.01	c constraint additions 0
3600.07/3611.01	c trail pops 0
3600.07/3611.01	c formula constraints 4000
3600.07/3611.01	c learned constraints 0
3600.07/3611.01	c bound constraints 0
3600.07/3611.01	c core-guided constraints 0
3600.07/3611.01	c encountered formula constraints 0
3600.07/3611.01	c encountered learned constraints 0
3600.07/3611.01	c encountered bound constraints 0
3600.07/3611.01	c encountered core-guided constraints 0
3600.07/3611.01	c LP total time 0 s
3600.07/3611.01	c LP solve time 0 s
3600.07/3611.01	c LP constraints added 0
3600.07/3611.01	c LP constraints removed 0
3600.07/3611.01	c LP pivots internal 0
3600.07/3611.01	c LP pivots root 0
3600.07/3611.01	c LP calls 0
3600.07/3611.01	c LP optimalities 0
3600.07/3611.01	c LP no pivot count 0
3600.07/3611.01	c LP infeasibilities 0
3600.07/3611.01	c LP valid Farkas constraints 0
3600.07/3611.01	c LP learned Farkas constraints 0
3600.07/3611.01	c LP basis resets 0
3600.07/3611.01	c LP cycling count 0
3600.07/3611.01	c LP singular count 0
3600.07/3611.01	c LP no primal count 0
3600.07/3611.01	c LP no farkas count 0
3600.07/3611.01	c LP other issue count 0
3600.07/3611.01	c LP Gomory cuts 0
3600.07/3611.01	c LP learned cuts 0
3600.07/3611.01	c LP deleted cuts 0
3600.07/3611.01	c LP encountered Gomory constraints 0
3600.07/3611.01	c LP encountered Farkas constraints 0
3600.07/3611.01	c LP encountered learned Farkas constraints 0
3600.07/3611.01	c CG auxiliary variables introduced 0
3600.07/3611.01	c CG solutions found 0
3600.07/3611.01	c CG cores constructed 0
3600.07/3611.01	c CG core cardinality constraints returned 0
3600.07/3611.01	c CG unit cores 0
3600.07/3611.01	c CG single cores 0
3600.07/3611.01	c CG blocks removed during cardinality reduction 0
3600.07/3611.01	c CG first core best 0
3600.07/3611.01	c CG decision core best 0
3600.07/3611.01	c CG core reduction tie 0
3600.07/3611.01	c CG core degree average 0.00
3600.07/3611.01	c CG core slack average 0.00
3600.07/3611.01	c CG core upper bound improvements 0
3600.07/3611.01	c STR number of successful calls 0
3600.07/3611.01	c STR number of unsuccessful calls 0
3600.07/3611.01	c STR number of inconclusive calls 0
3600.07/3611.01	c STR number of successful attempts 0
3600.07/3611.01	c STR number of unsuccessful attempts 0
3600.07/3611.01	c STR number of inconclusive attempts 0
3600.07/3611.01	c STR average degree increase per successful call inf
3600.07/3611.01	c STR average degree increase per successful attempt inf
3600.07/3611.01	c STR total number of conflicts for successful attempts 0
3600.07/3611.01	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.01	c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.01	c STR average number of conflicts per successful attempt inf
3600.07/3611.01	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.01	c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.01	c AVG.sumWPerc -nan 
3600.07/3611.01	c bigint constraints 0 
3600.07/3611.01	s UNKNOWN
3600.07/3611.01	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488724-1751336452/watcher-4488724-1751336452 -o /tmp/evaluation-result-4488724-1751336452/solver-4488724-1751336452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43196 --watchdog 3760 run-opt.sh HOME/instance-4488724-1751336452.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=45626, runsolver pid=45623

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128098800/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=65736 memory=16188 CPUtime=0.08 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 2554 0 0 0 6 2 0 0 20 0 1 0 49324887 67313664 4047 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 16434 4047 2304 1147 0 3861 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69928 KiB
Current children cumulated memory: 19132 KiB

[startup+0.213325 s]*
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128098548/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=67716 memory=19260 CPUtime=0.19 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 3314 0 0 0 16 3 0 0 20 0 1 0 49324887 69341184 4815 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 16929 4815 2304 1147 0 4356 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71908 KiB
Current children cumulated memory: 22204 KiB

[startup+0.31348 s]*
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128098548/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=71168 memory=25056 CPUtime=0.29 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 4229 0 0 0 25 4 0 0 20 0 1 0 49324887 72876032 6264 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 17792 6264 2336 1147 0 5219 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75360 KiB
Current children cumulated memory: 28000 KiB

[startup+0.700391 s]
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128096280/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=80812 memory=34972 CPUtime=0.66 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 6217 0 0 0 61 5 0 0 20 0 1 0 49324887 82751488 8743 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 20203 8743 2336 1147 0 7630 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85004 KiB
Current children cumulated memory: 37916 KiB

[startup+1.50032 s]
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128078072/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=110600 memory=60064 CPUtime=1.47 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 11471 0 0 0 139 8 0 0 20 0 1 0 49324887 113254400 15016 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 27650 15016 2336 1147 0 15077 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114792 KiB
Current children cumulated memory: 63008 KiB

[startup+3.11323 s]
/proc/loadavg: 4.11 4.18 4.14 5/254 45628
/proc/meminfo: memFree=128005756/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=156804 memory=109804 CPUtime=3.07 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 20303 0 0 0 295 12 0 0 20 0 1 0 49324887 160567296 27451 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 39201 27451 2336 1147 0 26628 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 160996 KiB
Current children cumulated memory: 112748 KiB

[startup+6.30039 s]
/proc/loadavg: 4.10 4.17 4.14 5/254 45628
/proc/meminfo: memFree=127949180/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=241100 memory=172056 CPUtime=6.25 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 33324 0 0 0 606 19 0 0 20 0 1 0 49324887 246886400 43014 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 60275 43014 2336 1147 0 47702 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 245292 KiB
Current children cumulated memory: 175000 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.17 4.14 5/254 45628
/proc/meminfo: memFree=127896576/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=397988 memory=315676 CPUtime=12.63 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 65128 0 0 0 1231 32 0 0 20 0 1 0 49324887 407539712 78887 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 99549 78919 2336 1147 0 86976 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 402180 KiB
Current children cumulated memory: 318620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.16 4.14 5/254 45628
/proc/meminfo: memFree=127699260/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=462388 memory=385356 CPUtime=25.39 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 80017 0 0 0 2494 45 0 0 20 0 1 0 49324887 473485312 96339 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 115597 96339 2336 1147 0 103024 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 466580 KiB
Current children cumulated memory: 388300 KiB

[startup+51.1133 s]
/proc/loadavg: 4.10 4.16 4.14 5/254 45629
/proc/meminfo: memFree=127684152/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=462808 memory=385612 CPUtime=50.92 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 80065 0 0 0 5035 57 0 0 20 0 1 0 49324887 473915392 96403 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 115702 96403 2336 1147 0 103129 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 467000 KiB
Current children cumulated memory: 388556 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/256 45637
/proc/meminfo: memFree=127557348/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=566892 memory=441332 CPUtime=101.94 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 91458 0 0 0 10109 85 0 0 20 0 1 0 49324887 580497408 110333 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 141723 110333 2336 1147 0 129150 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 571084 KiB
Current children cumulated memory: 444276 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/256 45639
/proc/meminfo: memFree=127393464/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=680120 memory=550448 CPUtime=161.74 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 112103 0 0 0 16060 114 0 0 20 0 1 0 49324887 696442880 137612 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 170030 137612 2336 1147 0 157457 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 684312 KiB
Current children cumulated memory: 553392 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/256 45641
/proc/meminfo: memFree=127383212/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=680972 memory=551216 CPUtime=221.55 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 112335 0 0 0 22023 132 0 0 20 0 1 0 49324887 697315328 137804 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 170243 137804 2336 1147 0 157670 0
Current children cumulated CPU time: 221.55 s

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

/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/258 45790
/proc/meminfo: memFree=125654104/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1074208 memory=995476 CPUtime=3092.87 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 171800 0 0 0 308472 815 0 0 20 0 1 0 49324887 1099988992 248869 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/258 45792
/proc/meminfo: memFree=125615800/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1074208 memory=995476 CPUtime=3152.71 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 171800 0 0 0 314445 826 0 0 20 0 1 0 49324887 1099988992 248869 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3222.3 s]
/proc/loadavg: 2.34 3.65 3.98 2/234 45886
/proc/meminfo: memFree=128945072/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1074208 memory=995476 CPUtime=3212.53 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 171802 0 0 0 320419 834 0 0 20 0 1 0 49324887 1099988992 248869 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3282.3 s]
/proc/loadavg: 1.54 3.18 3.80 2/234 45889
/proc/meminfo: memFree=128954272/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1074208 memory=995476 CPUtime=3272.36 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 171891 0 0 0 326396 840 0 0 20 0 1 0 49324887 1099988992 248869 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3342.3 s]
/proc/loadavg: 1.24 2.79 3.62 2/234 45890
/proc/meminfo: memFree=128953016/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1074208 memory=995476 CPUtime=3332.17 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 171896 0 0 0 332372 845 0 0 20 0 1 0 49324887 1099988992 248869 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 268552 248869 2336 1147 0 255979 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 1078400 KiB
Current children cumulated memory: 998420 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 2.48 3.46 2/234 45892
/proc/meminfo: memFree=128936800/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1227348 memory=1020460 CPUtime=3391.99 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 175586 0 0 0 338345 854 0 0 20 0 1 0 49324887 1256804352 255115 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 306837 255115 2336 1147 0 294264 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 1231540 KiB
Current children cumulated memory: 1023404 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 2.22 3.31 2/234 45894
/proc/meminfo: memFree=128921876/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1245804 memory=1031980 CPUtime=3451.82 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 178452 0 0 0 344319 863 0 0 20 0 1 0 49324887 1275703296 257995 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 311451 257995 2336 1147 0 298878 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 1249996 KiB
Current children cumulated memory: 1034924 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 2.03 3.17 2/234 45896
/proc/meminfo: memFree=128898148/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1255540 memory=1057596 CPUtime=3511.63 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 181281 0 0 0 350288 875 0 0 20 0 1 0 49324887 1285672960 264399 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 313885 264399 2336 1147 0 301312 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 1259732 KiB
Current children cumulated memory: 1060540 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.85 3.04 2/234 45898
/proc/meminfo: memFree=128885952/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1259584 memory=1068264 CPUtime=3571.45 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 182424 0 0 0 356260 885 0 0 20 0 1 0 49324887 1289814016 267066 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 314896 267066 2336 1147 0 302323 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 1263776 KiB
Current children cumulated memory: 1071208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 1.06 1.77 2.97 2/233 45903
/proc/meminfo: memFree=128886944/131382112 swapFree=33010684/33010684
[pid=45626] ppid=45623 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45626/stat : 45626 (run-opt.sh) S 45623 45626 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49324886 4292608 736 18446744073709551615 94099617443840 94099618338373 140737361942256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94099618577424 94099618625168 94099647832064 140737361946989 140737361947112 140737361947112 140737361952714 0
/proc/45626/statm: 1048 736 672 219 0 110 0
[pid=45628] ppid=45626 vsize=1259584 memory=1068264 CPUtime=3600.07 cores=1,3
/proc/45628/stat : 45628 (roundingsat) R 45626 45626 43184 0 -1 4194304 182424 0 0 0 359118 889 0 0 20 0 1 0 49324887 1289814016 267066 18446744073709551615 4227072 8923433 140724100279952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18800640 140724100286882 140724100287016 140724100287016 140724100292586 0
/proc/45628/statm: 314896 267066 2336 1147 0 302323 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1263776 KiB
Current children cumulated memory: 1071208 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3591.19 s, system=8.9088 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

Child status: 2

Real time (s): 3611.02
CPU time (s): 3600.1
CPU user time (s): 3591.19
CPU system time (s): 8.9088
CPU usage (%): 99.6974
Max. virtual memory (cumulated for all children) (KiB): 1263776
Max. memory (cumulated for all children) (KiB): 1071208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 8.9088
maximum resident set size= 1068648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182653
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= 293
involuntary context switches= 2287


# summary of solver processes directly reported to runsolver:
#   pid: 45626,45628
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3591.19
#   total CPU system time (s): 8.9088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2565 second user time and 38.01 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 04:20:52
IDJOB=4488724
IDBENCH=147530
IDSOLVER=3350
FILE ID=nodeC012/4488724-1751336452
RUNJOBID= nodeC012-1751328774-43196
SLURM_JOB_ID= 9594375
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488724-1751336452/watcher-4488724-1751336452 -o /tmp/evaluation-result-4488724-1751336452/solver-4488724-1751336452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43196 --watchdog 3760  run-opt.sh HOME/instance-4488724-1751336452.opb

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

MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=1818586397

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128098800 kB
MemAvailable:   128092712 kB
Buffers:            3280 kB
Cached:           802128 kB
SwapCached:            0 kB
Active:          2234588 kB
Inactive:         491724 kB
Active(anon):    1938864 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   491724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7488 kB
Writeback:            40 kB
AnonPages:       1923772 kB
Mapped:           115696 kB
Shmem:             17960 kB
KReclaimable:      91800 kB
Slab:             174800 kB
SReclaimable:      91800 kB
SUnreclaim:        83000 kB
KernelStack:        4080 kB
PageTables:         7560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2681184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC012 at 2025-07-01 05:21:03