Trace number 4488586

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.07 3609.51

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
MD5SUM3986604c534c992b7a4e3e5a4bb881f1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1038
Best CPU time to get the best result obtained on this benchmark3566.29
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1968
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 1968
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 1968
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 1968
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.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 1968 #constraints 4000
0.00/0.09	c objective is ce32 
0.00/0.11	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.11	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.11	c GLOBAL bounds - >= 0 @ 0.044413
0.06/0.11	c GLOBAL bounds - >= 0 @ 0.045739
0.06/0.16	c GLOBAL bounds - >= 0 @ 0.088252
0.06/0.20	c GLOBAL bounds - >= 0 @ 0.127126
0.18/0.24	c GLOBAL bounds - >= 0 @ 0.167762
0.18/0.31	c GLOBAL bounds - >= 0 @ 0.223803
0.27/0.36	c GLOBAL bounds - >= 0 @ 0.266424
0.27/0.41	c GLOBAL bounds - >= 0 @ 0.315529
0.38/0.46	c GLOBAL bounds - >= 0 @ 0.36945
0.48/0.57	c GLOBAL bounds - >= 0 @ 0.470877
0.65/0.71	c GLOBAL bounds - >= 0 @ 0.602003
0.65/0.78	c GLOBAL bounds - >= 0 @ 0.671837
0.85/0.90	c GLOBAL bounds - >= 0 @ 0.789508
0.96/1.07	c GLOBAL bounds - >= 0 @ 0.950346
1.15/1.20	c GLOBAL bounds - >= 0 @ 1.0755
1.15/1.29	c GLOBAL bounds - >= 0 @ 1.16149
1.35/1.41	c GLOBAL bounds - >= 0 @ 1.28333
1.45/1.50	c GLOBAL bounds - >= 0 @ 1.37156
1.45/1.59	c GLOBAL bounds - >= 0 @ 1.46291
1.65/1.70	c GLOBAL bounds - >= 0 @ 1.56669
1.74/1.81	c #Conflicts:       1000 | #Constraints:       5036
1.74/1.81	c GLOBAL bounds - >= 0 @ 1.66581
1.85/1.91	c GLOBAL bounds - >= 0 @ 1.761
1.96/2.06	c GLOBAL bounds - >= 0 @ 1.91009
2.06/2.15	c GLOBAL bounds - >= 0 @ 1.9962
2.24/2.32	c GLOBAL bounds - >= 0 @ 2.16991
2.34/2.42	c GLOBAL bounds - >= 0 @ 2.26457
2.54/2.60	c GLOBAL bounds - >= 0 @ 2.44959
2.65/2.73	c GLOBAL bounds - >= 0 @ 2.56857
2.85/2.95	c GLOBAL bounds - >= 0 @ 2.78812
3.06/3.16	c GLOBAL bounds - >= 0 @ 2.99427
3.35/3.49	c #Conflicts:       2000 | #Constraints:       6056
3.35/3.49	c INPROCESSING
3.35/3.49	c GARBAGE COLLECT
3.35/3.49	c GLOBAL bounds - >= 0 @ 3.3187
3.45/3.58	c GLOBAL bounds - >= 0 @ 3.4126
3.64/3.75	c GLOBAL bounds - >= 0 @ 3.57277
3.74/3.84	c GLOBAL bounds - >= 0 @ 3.66381
3.84/3.95	c GLOBAL bounds - >= 0 @ 3.77386
3.96/4.06	c GLOBAL bounds - >= 0 @ 3.88347
4.14/4.24	c GLOBAL bounds - >= 0 @ 4.0573
4.24/4.34	c GLOBAL bounds - >= 0 @ 4.15592
4.34/4.46	c GLOBAL bounds - >= 0 @ 4.269
4.44/4.58	c GLOBAL bounds - >= 0 @ 4.38716
4.64/4.72	c GLOBAL bounds - >= 0 @ 4.51593
4.74/4.85	c #Conflicts:       3000 | #Constraints:       6133
4.74/4.85	c GLOBAL bounds - >= 0 @ 4.64751
4.84/4.98	c GLOBAL bounds - >= 0 @ 4.77245
5.05/5.11	c GLOBAL bounds - >= 0 @ 4.89763
5.14/5.25	c GLOBAL bounds - >= 0 @ 5.0258
5.33/5.46	c GLOBAL bounds - >= 0 @ 5.23633
5.54/5.69	c GLOBAL bounds - >= 0 @ 5.46116
5.84/5.91	c GLOBAL bounds - >= 0 @ 5.67036
5.95/6.03	c GLOBAL bounds - >= 0 @ 5.78714
6.05/6.17	c GLOBAL bounds - >= 0 @ 5.92112
6.33/6.40	c GLOBAL bounds - >= 0 @ 6.15118
6.53/6.63	c #Conflicts:       4000 | #Constraints:       7153
6.53/6.63	c GLOBAL bounds - >= 0 @ 6.37742
6.64/6.76	c GLOBAL bounds - >= 0 @ 6.50338
7.04/7.12	c INPROCESSING
7.04/7.12	c GARBAGE COLLECT
7.04/7.12	c GLOBAL bounds - >= 0 @ 6.85846
7.13/7.23	c GLOBAL bounds - >= 0 @ 6.96652
7.34/7.44	c GLOBAL bounds - >= 0 @ 7.16857
7.44/7.55	c GLOBAL bounds - >= 0 @ 7.28304
7.53/7.69	c GLOBAL bounds - >= 0 @ 7.41611
7.73/7.84	c GLOBAL bounds - >= 0 @ 7.56685
7.94/8.07	c GLOBAL bounds - >= 0 @ 7.79533
8.13/8.29	c #Conflicts:       5000 | #Constraints:       6568
8.13/8.29	c GLOBAL bounds - >= 0 @ 8.01258
8.43/8.52	c GLOBAL bounds - >= 0 @ 8.24003
8.53/8.66	c GLOBAL bounds - >= 0 @ 8.36969
8.82/8.90	c GLOBAL bounds - >= 0 @ 8.60995
9.05/9.14	c GLOBAL bounds - >= 0 @ 8.84418
9.13/9.28	c GLOBAL bounds - >= 0 @ 8.98228
9.43/9.54	c GLOBAL bounds - >= 0 @ 9.24247
9.53/9.68	c GLOBAL bounds - >= 0 @ 9.38029
9.73/9.84	c GLOBAL bounds - >= 0 @ 9.53679
10.04/10.12	c GLOBAL bounds - >= 0 @ 9.81272
10.23/10.30	c #Conflicts:       6000 | #Constraints:       7588
10.23/10.30	c GLOBAL bounds - >= 0 @ 9.98693
10.32/10.49	c GLOBAL bounds - >= 0 @ 10.1788
10.53/10.68	c GLOBAL bounds - >= 0 @ 10.3609
10.82/10.99	c GLOBAL bounds - >= 0 @ 10.6583
11.04/11.16	c GLOBAL bounds - >= 0 @ 10.8258
11.52/11.62	c INPROCESSING
11.52/11.62	c GARBAGE COLLECT
11.52/11.62	c GLOBAL bounds - >= 0 @ 11.2651
11.62/11.77	c GLOBAL bounds - >= 0 @ 11.4052
11.82/12.00	c #Conflicts:       7000 | #Constraints:       6592
11.82/12.00	c GLOBAL bounds - >= 0 @ 11.64
12.12/12.28	c GLOBAL bounds - >= 0 @ 11.9131
12.61/12.72	c GLOBAL bounds - >= 0 @ 12.3359
12.92/13.05	c GLOBAL bounds - >= 0 @ 12.601
13.10/13.24	c #Conflicts:       8000 | #Constraints:       7600
13.10/13.24	c GLOBAL bounds - >= 0 @ 12.7846
13.29/13.46	c GLOBAL bounds - >= 0 @ 13.0015
13.50/13.67	c GLOBAL bounds - >= 0 @ 13.2083
13.70/13.86	c GLOBAL bounds - >= 0 @ 13.3899
13.91/14.04	c GLOBAL bounds - >= 0 @ 13.5688
14.09/14.24	c GLOBAL bounds - >= 0 @ 13.7557
14.40/14.57	c GLOBAL bounds - >= 0 @ 14.0781
14.69/14.87	c #Conflicts:       9000 | #Constraints:       8614
14.69/14.87	c GLOBAL bounds - >= 0 @ 14.3751
15.29/15.41	c INPROCESSING
15.29/15.41	c GARBAGE COLLECT
15.29/15.41	c GLOBAL bounds - >= 0 @ 14.9093
15.39/15.55	c GLOBAL bounds - >= 0 @ 15.0475
15.80/15.95	c GLOBAL bounds - >= 0 @ 15.4419
16.09/16.20	c GLOBAL bounds - >= 0 @ 15.6871
16.19/16.36	c GLOBAL bounds - >= 0 @ 15.846
16.49/16.62	c #Conflicts:      10000 | #Constraints:       7369
16.49/16.62	c GLOBAL bounds - >= 0 @ 16.0989
16.59/16.79	c GLOBAL bounds - >= 0 @ 16.2675
16.79/16.99	c GLOBAL bounds - >= 0 @ 16.4655
17.39/17.51	c GLOBAL bounds - >= 0 @ 16.9854
17.69/17.85	c GLOBAL bounds - >= 0 @ 17.3192
18.28/18.43	c #Conflicts:      11000 | #Constraints:       8379
18.28/18.43	c GLOBAL bounds - >= 0 @ 17.9001
19.58/19.72	c #Conflicts:      12000 | #Constraints:       9381
19.58/19.72	c INPROCESSING
19.58/19.72	c GARBAGE COLLECT
19.58/19.72	c GLOBAL bounds - >= 0 @ 19.1662
22.28/22.44	c #Conflicts:      13000 | #Constraints:       7883
22.28/22.44	c GLOBAL bounds - >= 0 @ 21.8577
24.67/24.86	c #Conflicts:      14000 | #Constraints:       8885
24.67/24.86	c #Conflicts:      15000 | #Constraints:       9885
24.67/24.86	c INPROCESSING
24.67/24.86	c GARBAGE COLLECT
24.67/24.86	c GLOBAL bounds - >= 0 @ 24.2532
27.76/27.91	c #Conflicts:      16000 | #Constraints:       8163
27.76/27.91	c GLOBAL bounds - >= 0 @ 27.2933
43.32/43.54	c #Conflicts:      17000 | #Constraints:       9165
43.32/43.54	c #Conflicts:      18000 | #Constraints:      10165
43.32/43.54	c INPROCESSING
43.32/43.54	c GARBAGE COLLECT
43.32/43.54	c #Conflicts:      19000 | #Constraints:       8187
43.32/43.54	c #Conflicts:      20000 | #Constraints:       9187
43.32/43.54	c #Conflicts:      21000 | #Constraints:      10187
43.32/43.54	c INPROCESSING
43.32/43.54	c GARBAGE COLLECT
43.32/43.54	c #Conflicts:      22000 | #Constraints:       8001
43.32/43.54	c GLOBAL bounds - >= 0 @ 42.8206
146.54/147.09	c #Conflicts:      23000 | #Constraints:       9003
146.54/147.09	c #Conflicts:      24000 | #Constraints:      10003
146.54/147.09	c #Conflicts:      25000 | #Constraints:      11003
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      26000 | #Constraints:       8605
146.54/147.09	c #Conflicts:      27000 | #Constraints:       9605
146.54/147.09	c #Conflicts:      28000 | #Constraints:      10605
146.54/147.09	c #Conflicts:      29000 | #Constraints:      11605
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      30000 | #Constraints:       9005
146.54/147.09	c #Conflicts:      31000 | #Constraints:      10005
146.54/147.09	c #Conflicts:      32000 | #Constraints:      11005
146.54/147.09	c #Conflicts:      33000 | #Constraints:      12005
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      34000 | #Constraints:       9199
146.54/147.09	c #Conflicts:      35000 | #Constraints:      10199
146.54/147.09	c #Conflicts:      36000 | #Constraints:      11199
146.54/147.09	c #Conflicts:      37000 | #Constraints:      12199
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      38000 | #Constraints:       9200
146.54/147.09	c #Conflicts:      39000 | #Constraints:      10200
146.54/147.09	c #Conflicts:      40000 | #Constraints:      11200
146.54/147.09	c #Conflicts:      41000 | #Constraints:      12200
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      42000 | #Constraints:       8993
146.54/147.09	c #Conflicts:      43000 | #Constraints:       9993
146.54/147.09	c #Conflicts:      44000 | #Constraints:      10993
146.54/147.09	c #Conflicts:      45000 | #Constraints:      11993
146.54/147.09	c #Conflicts:      46000 | #Constraints:      12993
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      47000 | #Constraints:       9594
146.54/147.09	c #Conflicts:      48000 | #Constraints:      10594
146.54/147.09	c #Conflicts:      49000 | #Constraints:      11594
146.54/147.09	c #Conflicts:      50000 | #Constraints:      12594
146.54/147.09	c #Conflicts:      51000 | #Constraints:      13594
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c #Conflicts:      52000 | #Constraints:       9986
146.54/147.09	c #Conflicts:      53000 | #Constraints:      10986
146.54/147.09	c #Conflicts:      54000 | #Constraints:      11986
146.54/147.09	c #Conflicts:      55000 | #Constraints:      12986
146.54/147.09	c #Conflicts:      56000 | #Constraints:      13986
146.54/147.09	c INPROCESSING
146.54/147.09	c GARBAGE COLLECT
146.54/147.09	c GLOBAL bounds - >= 0 @ 145.658
150.53/151.03	c #Conflicts:      57000 | #Constraints:      10187
150.53/151.03	c #Conflicts:      58000 | #Constraints:      11187
150.53/151.03	c GLOBAL bounds - >= 0 @ 149.569
187.91/188.56	c #Conflicts:      59000 | #Constraints:      12189
187.91/188.56	c #Conflicts:      60000 | #Constraints:      13189
187.91/188.56	c #Conflicts:      61000 | #Constraints:      14189
187.91/188.56	c INPROCESSING
187.91/188.56	c GARBAGE COLLECT
187.91/188.56	c #Conflicts:      62000 | #Constraints:      10207
187.91/188.56	c #Conflicts:      63000 | #Constraints:      11207
187.91/188.56	c #Conflicts:      64000 | #Constraints:      12207
187.91/188.56	c #Conflicts:      65000 | #Constraints:      13207
187.91/188.56	c #Conflicts:      66000 | #Constraints:      14207
187.91/188.56	c INPROCESSING
187.91/188.56	c GARBAGE COLLECT
187.91/188.56	c #Conflicts:      67000 | #Constraints:      10005
187.91/188.56	c #Conflicts:      68000 | #Constraints:      11005
187.91/188.56	c #Conflicts:      69000 | #Constraints:      12005
187.91/188.56	c #Conflicts:      70000 | #Constraints:      13005
187.91/188.56	c #Conflicts:      71000 | #Constraints:      14005
187.91/188.56	c GLOBAL bounds - >= 0 @ 186.824
357.54/358.63	c #Conflicts:      72000 | #Constraints:      15007
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:      73000 | #Constraints:      10613
357.54/358.63	c #Conflicts:      74000 | #Constraints:      11613
357.54/358.63	c #Conflicts:      75000 | #Constraints:      12613
357.54/358.63	c #Conflicts:      76000 | #Constraints:      13613
357.54/358.63	c #Conflicts:      77000 | #Constraints:      14613
357.54/358.63	c #Conflicts:      78000 | #Constraints:      15613
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:      79000 | #Constraints:      11011
357.54/358.63	c #Conflicts:      80000 | #Constraints:      12011
357.54/358.63	c #Conflicts:      81000 | #Constraints:      13011
357.54/358.63	c #Conflicts:      82000 | #Constraints:      14011
357.54/358.63	c #Conflicts:      83000 | #Constraints:      15011
357.54/358.63	c #Conflicts:      84000 | #Constraints:      16011
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:      85000 | #Constraints:      11217
357.54/358.63	c #Conflicts:      86000 | #Constraints:      12217
357.54/358.63	c #Conflicts:      87000 | #Constraints:      13217
357.54/358.63	c #Conflicts:      88000 | #Constraints:      14217
357.54/358.63	c #Conflicts:      89000 | #Constraints:      15217
357.54/358.63	c #Conflicts:      90000 | #Constraints:      16217
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:      91000 | #Constraints:      11210
357.54/358.63	c #Conflicts:      92000 | #Constraints:      12210
357.54/358.63	c #Conflicts:      93000 | #Constraints:      13210
357.54/358.63	c #Conflicts:      94000 | #Constraints:      14210
357.54/358.63	c #Conflicts:      95000 | #Constraints:      15210
357.54/358.63	c #Conflicts:      96000 | #Constraints:      16210
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:      97000 | #Constraints:      11005
357.54/358.63	c #Conflicts:      98000 | #Constraints:      12005
357.54/358.63	c #Conflicts:      99000 | #Constraints:      13005
357.54/358.63	c #Conflicts:     100000 | #Constraints:      14005
357.54/358.63	c #Conflicts:     101000 | #Constraints:      15005
357.54/358.63	c #Conflicts:     102000 | #Constraints:      16005
357.54/358.63	c #Conflicts:     103000 | #Constraints:      17005
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:     104000 | #Constraints:      11599
357.54/358.63	c #Conflicts:     105000 | #Constraints:      12599
357.54/358.63	c #Conflicts:     106000 | #Constraints:      13599
357.54/358.63	c #Conflicts:     107000 | #Constraints:      14599
357.54/358.63	c #Conflicts:     108000 | #Constraints:      15599
357.54/358.63	c #Conflicts:     109000 | #Constraints:      16599
357.54/358.63	c #Conflicts:     110000 | #Constraints:      17599
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:     111000 | #Constraints:      11998
357.54/358.63	c #Conflicts:     112000 | #Constraints:      12998
357.54/358.63	c #Conflicts:     113000 | #Constraints:      13998
357.54/358.63	c #Conflicts:     114000 | #Constraints:      14998
357.54/358.63	c #Conflicts:     115000 | #Constraints:      15998
357.54/358.63	c #Conflicts:     116000 | #Constraints:      16998
357.54/358.63	c #Conflicts:     117000 | #Constraints:      17998
357.54/358.63	c INPROCESSING
357.54/358.63	c GARBAGE COLLECT
357.54/358.63	c #Conflicts:     118000 | #Constraints:      12192
357.54/358.63	c #Conflicts:     119000 | #Constraints:      13192
357.54/358.63	c #Conflicts:     120000 | #Constraints:      14192
357.54/358.63	c #Conflicts:     121000 | #Constraints:      15192
357.54/358.63	c GLOBAL bounds - >= 0 @ 355.854
423.96/425.21	c #Conflicts:     122000 | #Constraints:      16194
423.96/425.21	c #Conflicts:     123000 | #Constraints:      17194
423.96/425.21	c #Conflicts:     124000 | #Constraints:      18194
423.96/425.21	c INPROCESSING
423.96/425.21	c GARBAGE COLLECT
423.96/425.21	c #Conflicts:     125000 | #Constraints:      12210
423.96/425.21	c #Conflicts:     126000 | #Constraints:      13210
423.96/425.21	c #Conflicts:     127000 | #Constraints:      14210
423.96/425.21	c #Conflicts:     128000 | #Constraints:      15210
423.96/425.21	c #Conflicts:     129000 | #Constraints:      16210
423.96/425.21	c #Conflicts:     130000 | #Constraints:      17210
423.96/425.21	c #Conflicts:     131000 | #Constraints:      18210
423.96/425.21	c INPROCESSING
423.96/425.21	c GARBAGE COLLECT
423.96/425.21	c #Conflicts:     132000 | #Constraints:      12001
423.96/425.21	c #Conflicts:     133000 | #Constraints:      13001
423.96/425.21	c #Conflicts:     134000 | #Constraints:      14001
423.96/425.21	c #Conflicts:     135000 | #Constraints:      15001
423.96/425.21	c #Conflicts:     136000 | #Constraints:      16001
423.96/425.21	c #Conflicts:     137000 | #Constraints:      17001
423.96/425.21	c GLOBAL bounds - >= 0 @ 422.048
696.23/698.39	c #Conflicts:     138000 | #Constraints:      18003
696.23/698.39	c #Conflicts:     139000 | #Constraints:      19003
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     140000 | #Constraints:      12615
696.23/698.39	c #Conflicts:     141000 | #Constraints:      13615
696.23/698.39	c #Conflicts:     142000 | #Constraints:      14615
696.23/698.39	c #Conflicts:     143000 | #Constraints:      15615
696.23/698.39	c #Conflicts:     144000 | #Constraints:      16615
696.23/698.39	c #Conflicts:     145000 | #Constraints:      17615
696.23/698.39	c #Conflicts:     146000 | #Constraints:      18615
696.23/698.39	c #Conflicts:     147000 | #Constraints:      19615
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     148000 | #Constraints:      13007
696.23/698.39	c #Conflicts:     149000 | #Constraints:      14007
696.23/698.39	c #Conflicts:     150000 | #Constraints:      15007
696.23/698.39	c #Conflicts:     151000 | #Constraints:      16007
696.23/698.39	c #Conflicts:     152000 | #Constraints:      17007
696.23/698.39	c #Conflicts:     153000 | #Constraints:      18007
696.23/698.39	c #Conflicts:     154000 | #Constraints:      19007
696.23/698.39	c #Conflicts:     155000 | #Constraints:      20007
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     156000 | #Constraints:      13206
696.23/698.39	c #Conflicts:     157000 | #Constraints:      14206
696.23/698.39	c #Conflicts:     158000 | #Constraints:      15206
696.23/698.39	c #Conflicts:     159000 | #Constraints:      16206
696.23/698.39	c #Conflicts:     160000 | #Constraints:      17206
696.23/698.39	c #Conflicts:     161000 | #Constraints:      18206
696.23/698.39	c #Conflicts:     162000 | #Constraints:      19206
696.23/698.39	c #Conflicts:     163000 | #Constraints:      20206
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     164000 | #Constraints:      13199
696.23/698.39	c #Conflicts:     165000 | #Constraints:      14199
696.23/698.39	c #Conflicts:     166000 | #Constraints:      15199
696.23/698.39	c #Conflicts:     167000 | #Constraints:      16199
696.23/698.39	c #Conflicts:     168000 | #Constraints:      17199
696.23/698.39	c #Conflicts:     169000 | #Constraints:      18199
696.23/698.39	c #Conflicts:     170000 | #Constraints:      19199
696.23/698.39	c #Conflicts:     171000 | #Constraints:      20199
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     172000 | #Constraints:      12994
696.23/698.39	c #Conflicts:     173000 | #Constraints:      13994
696.23/698.39	c #Conflicts:     174000 | #Constraints:      14994
696.23/698.39	c #Conflicts:     175000 | #Constraints:      15994
696.23/698.39	c #Conflicts:     176000 | #Constraints:      16994
696.23/698.39	c #Conflicts:     177000 | #Constraints:      17994
696.23/698.39	c #Conflicts:     178000 | #Constraints:      18994
696.23/698.39	c #Conflicts:     179000 | #Constraints:      19994
696.23/698.39	c #Conflicts:     180000 | #Constraints:      20994
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     181000 | #Constraints:      13589
696.23/698.39	c #Conflicts:     182000 | #Constraints:      14589
696.23/698.39	c #Conflicts:     183000 | #Constraints:      15589
696.23/698.39	c #Conflicts:     184000 | #Constraints:      16589
696.23/698.39	c #Conflicts:     185000 | #Constraints:      17589
696.23/698.39	c #Conflicts:     186000 | #Constraints:      18589
696.23/698.39	c #Conflicts:     187000 | #Constraints:      19589
696.23/698.39	c #Conflicts:     188000 | #Constraints:      20589
696.23/698.39	c #Conflicts:     189000 | #Constraints:      21589
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     190000 | #Constraints:      13989
696.23/698.39	c #Conflicts:     191000 | #Constraints:      14989
696.23/698.39	c #Conflicts:     192000 | #Constraints:      15989
696.23/698.39	c #Conflicts:     193000 | #Constraints:      16989
696.23/698.39	c #Conflicts:     194000 | #Constraints:      17989
696.23/698.39	c #Conflicts:     195000 | #Constraints:      18989
696.23/698.39	c #Conflicts:     196000 | #Constraints:      19989
696.23/698.39	c #Conflicts:     197000 | #Constraints:      20989
696.23/698.39	c #Conflicts:     198000 | #Constraints:      21989
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     199000 | #Constraints:      14191
696.23/698.39	c #Conflicts:     200000 | #Constraints:      15191
696.23/698.39	c #Conflicts:     201000 | #Constraints:      16191
696.23/698.39	c #Conflicts:     202000 | #Constraints:      17191
696.23/698.39	c #Conflicts:     203000 | #Constraints:      18191
696.23/698.39	c #Conflicts:     204000 | #Constraints:      19191
696.23/698.39	c #Conflicts:     205000 | #Constraints:      20191
696.23/698.39	c #Conflicts:     206000 | #Constraints:      21191
696.23/698.39	c #Conflicts:     207000 | #Constraints:      22191
696.23/698.39	c INPROCESSING
696.23/698.39	c GARBAGE COLLECT
696.23/698.39	c #Conflicts:     208000 | #Constraints:      14190
696.23/698.39	c #Conflicts:     209000 | #Constraints:      15190
696.23/698.39	c #Conflicts:     210000 | #Constraints:      16190
696.23/698.39	c #Conflicts:     211000 | #Constraints:      17190
848.95/851.51	c #Conflicts:     212000 | #Constraints:      18190
848.95/851.51	c #Conflicts:     213000 | #Constraints:      19190
848.95/851.51	c #Conflicts:     214000 | #Constraints:      20190
848.95/851.51	c #Conflicts:     215000 | #Constraints:      21190
848.95/851.51	c #Conflicts:     216000 | #Constraints:      22190
848.95/851.51	c INPROCESSING
848.95/851.51	c GARBAGE COLLECT
848.95/851.51	c #Conflicts:     217000 | #Constraints:      13988
848.95/851.51	c #Conflicts:     218000 | #Constraints:      14988
848.95/851.51	c #Conflicts:     219000 | #Constraints:      15988
848.95/851.51	c #Conflicts:     220000 | #Constraints:      16988
848.95/851.51	c #Conflicts:     221000 | #Constraints:      17988
848.95/851.51	c #Conflicts:     222000 | #Constraints:      18988
848.95/851.51	c #Conflicts:     223000 | #Constraints:      19988
848.95/851.51	c #Conflicts:     224000 | #Constraints:      20988
848.95/851.51	c #Conflicts:     225000 | #Constraints:      21988
848.95/851.51	c #Conflicts:     226000 | #Constraints:      22988
848.95/851.51	c INPROCESSING
848.95/851.51	c GARBAGE COLLECT
848.95/851.51	c #Conflicts:     227000 | #Constraints:      14581
848.95/851.51	c #Conflicts:     228000 | #Constraints:      15581
848.95/851.51	c #Conflicts:     229000 | #Constraints:      16581
848.95/851.51	c #Conflicts:     230000 | #Constraints:      17581
848.95/851.51	c #Conflicts:     231000 | #Constraints:      18581
848.95/851.51	c #Conflicts:     232000 | #Constraints:      19581
848.95/851.51	c #Conflicts:     233000 | #Constraints:      20581
848.95/851.51	c #Conflicts:     234000 | #Constraints:      21581
848.95/851.51	c #Conflicts:     235000 | #Constraints:      22581
848.95/851.51	c #Conflicts:     236000 | #Constraints:      23581
848.95/851.51	c INPROCESSING
848.95/851.51	c GARBAGE COLLECT
848.95/851.51	c #Conflicts:     237000 | #Constraints:      14985
848.95/851.51	c #Conflicts:     238000 | #Constraints:      15985
848.95/851.51	c #Conflicts:     239000 | #Constraints:      16985
848.95/851.51	c #Conflicts:     240000 | #Constraints:      17985
848.95/851.51	c #Conflicts:     241000 | #Constraints:      18985
848.95/851.51	c #Conflicts:     242000 | #Constraints:      19985
848.95/851.51	c #Conflicts:     243000 | #Constraints:      20985
848.95/851.51	c #Conflicts:     244000 | #Constraints:      21985
848.95/851.51	c #Conflicts:     245000 | #Constraints:      22985
848.95/851.51	c #Conflicts:     246000 | #Constraints:      23985
848.95/851.51	c INPROCESSING
848.95/851.51	c GARBAGE COLLECT
848.95/851.51	c #Conflicts:     247000 | #Constraints:      15185
848.95/851.51	c #Conflicts:     248000 | #Constraints:      16185
848.95/851.51	c #Conflicts:     249000 | #Constraints:      17185
848.95/851.51	c #Conflicts:     250000 | #Constraints:      18185
848.95/851.51	c #Conflicts:     251000 | #Constraints:      19185
848.95/851.51	c #Conflicts:     252000 | #Constraints:      20185
848.95/851.51	c #Conflicts:     253000 | #Constraints:      21185
848.95/851.51	c #Conflicts:     254000 | #Constraints:      22185
848.95/851.51	c GLOBAL bounds - >= 0 @ 845.804
951.75/954.64	c #Conflicts:     255000 | #Constraints:      23187
951.75/954.64	c #Conflicts:     256000 | #Constraints:      24187
951.75/954.64	c INPROCESSING
951.75/954.64	c GARBAGE COLLECT
951.75/954.64	c #Conflicts:     257000 | #Constraints:      15204
951.75/954.64	c #Conflicts:     258000 | #Constraints:      16204
951.75/954.64	c #Conflicts:     259000 | #Constraints:      17204
951.75/954.64	c #Conflicts:     260000 | #Constraints:      18204
951.75/954.64	c #Conflicts:     261000 | #Constraints:      19204
951.75/954.64	c #Conflicts:     262000 | #Constraints:      20204
951.75/954.64	c #Conflicts:     263000 | #Constraints:      21204
951.75/954.64	c #Conflicts:     264000 | #Constraints:      22204
951.75/954.64	c #Conflicts:     265000 | #Constraints:      23204
951.75/954.64	c #Conflicts:     266000 | #Constraints:      24204
951.75/954.64	c INPROCESSING
951.75/954.64	c GARBAGE COLLECT
951.75/954.64	c #Conflicts:     267000 | #Constraints:      14979
951.75/954.64	c #Conflicts:     268000 | #Constraints:      15979
951.75/954.64	c #Conflicts:     269000 | #Constraints:      16979
951.75/954.64	c #Conflicts:     270000 | #Constraints:      17979
951.75/954.64	c #Conflicts:     271000 | #Constraints:      18979
951.75/954.64	c #Conflicts:     272000 | #Constraints:      19979
951.75/954.64	c #Conflicts:     273000 | #Constraints:      20979
951.75/954.64	c #Conflicts:     274000 | #Constraints:      21979
951.75/954.64	c #Conflicts:     275000 | #Constraints:      22979
951.75/954.64	c #Conflicts:     276000 | #Constraints:      23979
951.75/954.64	c #Conflicts:     277000 | #Constraints:      24979
951.75/954.64	c INPROCESSING
951.75/954.64	c GARBAGE COLLECT
951.75/954.64	c #Conflicts:     278000 | #Constraints:      15578
951.75/954.64	c #Conflicts:     279000 | #Constraints:      16578
951.75/954.64	c #Conflicts:     280000 | #Constraints:      17578
951.75/954.64	c GLOBAL bounds - >= 0 @ 948.343
1234.76/1238.31	c #Conflicts:     281000 | #Constraints:      18580
1234.76/1238.31	c #Conflicts:     282000 | #Constraints:      19580
1234.76/1238.31	c #Conflicts:     283000 | #Constraints:      20580
1234.76/1238.31	c #Conflicts:     284000 | #Constraints:      21580
1234.76/1238.31	c #Conflicts:     285000 | #Constraints:      22580
1234.76/1238.31	c #Conflicts:     286000 | #Constraints:      23580
1234.76/1238.31	c #Conflicts:     287000 | #Constraints:      24580
1234.76/1238.31	c #Conflicts:     288000 | #Constraints:      25580
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     289000 | #Constraints:      15992
1234.76/1238.31	c #Conflicts:     290000 | #Constraints:      16992
1234.76/1238.31	c #Conflicts:     291000 | #Constraints:      17992
1234.76/1238.31	c #Conflicts:     292000 | #Constraints:      18992
1234.76/1238.31	c #Conflicts:     293000 | #Constraints:      19992
1234.76/1238.31	c #Conflicts:     294000 | #Constraints:      20992
1234.76/1238.31	c #Conflicts:     295000 | #Constraints:      21992
1234.76/1238.31	c #Conflicts:     296000 | #Constraints:      22992
1234.76/1238.31	c #Conflicts:     297000 | #Constraints:      23992
1234.76/1238.31	c #Conflicts:     298000 | #Constraints:      24992
1234.76/1238.31	c #Conflicts:     299000 | #Constraints:      25992
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     300000 | #Constraints:      16200
1234.76/1238.31	c #Conflicts:     301000 | #Constraints:      17200
1234.76/1238.31	c #Conflicts:     302000 | #Constraints:      18200
1234.76/1238.31	c #Conflicts:     303000 | #Constraints:      19200
1234.76/1238.31	c #Conflicts:     304000 | #Constraints:      20200
1234.76/1238.31	c #Conflicts:     305000 | #Constraints:      21200
1234.76/1238.31	c #Conflicts:     306000 | #Constraints:      22200
1234.76/1238.31	c #Conflicts:     307000 | #Constraints:      23200
1234.76/1238.31	c #Conflicts:     308000 | #Constraints:      24200
1234.76/1238.31	c #Conflicts:     309000 | #Constraints:      25200
1234.76/1238.31	c #Conflicts:     310000 | #Constraints:      26200
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     311000 | #Constraints:      16198
1234.76/1238.31	c #Conflicts:     312000 | #Constraints:      17198
1234.76/1238.31	c #Conflicts:     313000 | #Constraints:      18198
1234.76/1238.31	c #Conflicts:     314000 | #Constraints:      19198
1234.76/1238.31	c #Conflicts:     315000 | #Constraints:      20198
1234.76/1238.31	c #Conflicts:     316000 | #Constraints:      21198
1234.76/1238.31	c #Conflicts:     317000 | #Constraints:      22198
1234.76/1238.31	c #Conflicts:     318000 | #Constraints:      23198
1234.76/1238.31	c #Conflicts:     319000 | #Constraints:      24198
1234.76/1238.31	c #Conflicts:     320000 | #Constraints:      25198
1234.76/1238.31	c #Conflicts:     321000 | #Constraints:      26198
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     322000 | #Constraints:      15998
1234.76/1238.31	c #Conflicts:     323000 | #Constraints:      16998
1234.76/1238.31	c #Conflicts:     324000 | #Constraints:      17998
1234.76/1238.31	c #Conflicts:     325000 | #Constraints:      18998
1234.76/1238.31	c #Conflicts:     326000 | #Constraints:      19998
1234.76/1238.31	c #Conflicts:     327000 | #Constraints:      20998
1234.76/1238.31	c #Conflicts:     328000 | #Constraints:      21998
1234.76/1238.31	c #Conflicts:     329000 | #Constraints:      22998
1234.76/1238.31	c #Conflicts:     330000 | #Constraints:      23998
1234.76/1238.31	c #Conflicts:     331000 | #Constraints:      24998
1234.76/1238.31	c #Conflicts:     332000 | #Constraints:      25998
1234.76/1238.31	c #Conflicts:     333000 | #Constraints:      26998
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     334000 | #Constraints:      16607
1234.76/1238.31	c #Conflicts:     335000 | #Constraints:      17607
1234.76/1238.31	c #Conflicts:     336000 | #Constraints:      18607
1234.76/1238.31	c #Conflicts:     337000 | #Constraints:      19607
1234.76/1238.31	c #Conflicts:     338000 | #Constraints:      20607
1234.76/1238.31	c #Conflicts:     339000 | #Constraints:      21607
1234.76/1238.31	c #Conflicts:     340000 | #Constraints:      22607
1234.76/1238.31	c #Conflicts:     341000 | #Constraints:      23607
1234.76/1238.31	c #Conflicts:     342000 | #Constraints:      24607
1234.76/1238.31	c #Conflicts:     343000 | #Constraints:      25607
1234.76/1238.31	c #Conflicts:     344000 | #Constraints:      26607
1234.76/1238.31	c #Conflicts:     345000 | #Constraints:      27607
1234.76/1238.31	c INPROCESSING
1234.76/1238.31	c GARBAGE COLLECT
1234.76/1238.31	c #Conflicts:     346000 | #Constraints:      17007
1234.76/1238.31	c #Conflicts:     347000 | #Constraints:      18007
1234.76/1238.31	c #Conflicts:     348000 | #Constraints:      19007
1234.76/1238.31	c #Conflicts:     349000 | #Constraints:      20007
1234.76/1238.31	c #Conflicts:     350000 | #Constraints:      21007
1234.76/1238.31	c #Conflicts:     351000 | #Constraints:      22007
1234.76/1238.31	c #Conflicts:     352000 | #Constraints:      23007
1234.76/1238.31	c #Conflicts:     353000 | #Constraints:      24007
1234.76/1238.31	c #Conflicts:     354000 | #Constraints:      25007
1234.76/1238.31	c #Conflicts:     355000 | #Constraints:      26007
1248.82/1252.41	c #Conflicts:     356000 | #Constraints:      27007
1248.82/1252.41	c #Conflicts:     357000 | #Constraints:      28007
1248.82/1252.41	c INPROCESSING
1248.82/1252.41	c GARBAGE COLLECT
1248.82/1252.41	c GLOBAL bounds - >= 0 @ 1244.7
1277.66/1281.37	c #Conflicts:     358000 | #Constraints:      17201
1277.66/1281.37	c #Conflicts:     359000 | #Constraints:      18201
1277.66/1281.37	c #Conflicts:     360000 | #Constraints:      19201
1277.66/1281.37	c #Conflicts:     361000 | #Constraints:      20201
1277.66/1281.37	c #Conflicts:     362000 | #Constraints:      21201
1277.66/1281.37	c #Conflicts:     363000 | #Constraints:      22201
1277.66/1281.37	c #Conflicts:     364000 | #Constraints:      23201
1277.66/1281.37	c GLOBAL bounds - >= 0 @ 1273.51
1597.88/1602.39	c #Conflicts:     365000 | #Constraints:      24203
1597.88/1602.39	c #Conflicts:     366000 | #Constraints:      25203
1597.88/1602.39	c #Conflicts:     367000 | #Constraints:      26203
1597.88/1602.39	c #Conflicts:     368000 | #Constraints:      27203
1597.88/1602.39	c #Conflicts:     369000 | #Constraints:      28203
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     370000 | #Constraints:      17199
1597.88/1602.39	c #Conflicts:     371000 | #Constraints:      18199
1597.88/1602.39	c #Conflicts:     372000 | #Constraints:      19199
1597.88/1602.39	c #Conflicts:     373000 | #Constraints:      20199
1597.88/1602.39	c #Conflicts:     374000 | #Constraints:      21199
1597.88/1602.39	c #Conflicts:     375000 | #Constraints:      22199
1597.88/1602.39	c #Conflicts:     376000 | #Constraints:      23199
1597.88/1602.39	c #Conflicts:     377000 | #Constraints:      24199
1597.88/1602.39	c #Conflicts:     378000 | #Constraints:      25199
1597.88/1602.39	c #Conflicts:     379000 | #Constraints:      26199
1597.88/1602.39	c #Conflicts:     380000 | #Constraints:      27199
1597.88/1602.39	c #Conflicts:     381000 | #Constraints:      28199
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     382000 | #Constraints:      17006
1597.88/1602.39	c #Conflicts:     383000 | #Constraints:      18006
1597.88/1602.39	c #Conflicts:     384000 | #Constraints:      19006
1597.88/1602.39	c #Conflicts:     385000 | #Constraints:      20006
1597.88/1602.39	c #Conflicts:     386000 | #Constraints:      21006
1597.88/1602.39	c #Conflicts:     387000 | #Constraints:      22006
1597.88/1602.39	c #Conflicts:     388000 | #Constraints:      23006
1597.88/1602.39	c #Conflicts:     389000 | #Constraints:      24006
1597.88/1602.39	c #Conflicts:     390000 | #Constraints:      25006
1597.88/1602.39	c #Conflicts:     391000 | #Constraints:      26006
1597.88/1602.39	c #Conflicts:     392000 | #Constraints:      27006
1597.88/1602.39	c #Conflicts:     393000 | #Constraints:      28006
1597.88/1602.39	c #Conflicts:     394000 | #Constraints:      29006
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     395000 | #Constraints:      17598
1597.88/1602.39	c #Conflicts:     396000 | #Constraints:      18598
1597.88/1602.39	c #Conflicts:     397000 | #Constraints:      19598
1597.88/1602.39	c #Conflicts:     398000 | #Constraints:      20598
1597.88/1602.39	c #Conflicts:     399000 | #Constraints:      21598
1597.88/1602.39	c #Conflicts:     400000 | #Constraints:      22598
1597.88/1602.39	c #Conflicts:     401000 | #Constraints:      23598
1597.88/1602.39	c #Conflicts:     402000 | #Constraints:      24598
1597.88/1602.39	c #Conflicts:     403000 | #Constraints:      25598
1597.88/1602.39	c #Conflicts:     404000 | #Constraints:      26598
1597.88/1602.39	c #Conflicts:     405000 | #Constraints:      27598
1597.88/1602.39	c #Conflicts:     406000 | #Constraints:      28598
1597.88/1602.39	c #Conflicts:     407000 | #Constraints:      29598
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     408000 | #Constraints:      17998
1597.88/1602.39	c #Conflicts:     409000 | #Constraints:      18998
1597.88/1602.39	c #Conflicts:     410000 | #Constraints:      19998
1597.88/1602.39	c #Conflicts:     411000 | #Constraints:      20998
1597.88/1602.39	c #Conflicts:     412000 | #Constraints:      21998
1597.88/1602.39	c #Conflicts:     413000 | #Constraints:      22998
1597.88/1602.39	c #Conflicts:     414000 | #Constraints:      23998
1597.88/1602.39	c #Conflicts:     415000 | #Constraints:      24998
1597.88/1602.39	c #Conflicts:     416000 | #Constraints:      25998
1597.88/1602.39	c #Conflicts:     417000 | #Constraints:      26998
1597.88/1602.39	c #Conflicts:     418000 | #Constraints:      27998
1597.88/1602.39	c #Conflicts:     419000 | #Constraints:      28998
1597.88/1602.39	c #Conflicts:     420000 | #Constraints:      29998
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     421000 | #Constraints:      18207
1597.88/1602.39	c #Conflicts:     422000 | #Constraints:      19207
1597.88/1602.39	c #Conflicts:     423000 | #Constraints:      20207
1597.88/1602.39	c #Conflicts:     424000 | #Constraints:      21207
1597.88/1602.39	c #Conflicts:     425000 | #Constraints:      22207
1597.88/1602.39	c #Conflicts:     426000 | #Constraints:      23207
1597.88/1602.39	c #Conflicts:     427000 | #Constraints:      24207
1597.88/1602.39	c #Conflicts:     428000 | #Constraints:      25207
1597.88/1602.39	c #Conflicts:     429000 | #Constraints:      26207
1597.88/1602.39	c #Conflicts:     430000 | #Constraints:      27207
1597.88/1602.39	c #Conflicts:     431000 | #Constraints:      28207
1597.88/1602.39	c #Conflicts:     432000 | #Constraints:      29207
1597.88/1602.39	c #Conflicts:     433000 | #Constraints:      30207
1597.88/1602.39	c INPROCESSING
1597.88/1602.39	c GARBAGE COLLECT
1597.88/1602.39	c #Conflicts:     434000 | #Constraints:      18201
1597.88/1602.39	c #Conflicts:     435000 | #Constraints:      19201
1597.88/1602.39	c #Conflicts:     436000 | #Constraints:      20201
1597.88/1602.39	c #Conflicts:     437000 | #Constraints:      21201
1597.88/1602.39	c #Conflicts:     438000 | #Constraints:      22201
1597.88/1602.39	c #Conflicts:     439000 | #Constraints:      23201
1896.45/1901.65	c #Conflicts:     440000 | #Constraints:      24201
1896.45/1901.65	c #Conflicts:     441000 | #Constraints:      25201
1896.45/1901.65	c #Conflicts:     442000 | #Constraints:      26201
1896.45/1901.65	c #Conflicts:     443000 | #Constraints:      27201
1896.45/1901.65	c #Conflicts:     444000 | #Constraints:      28201
1896.45/1901.65	c #Conflicts:     445000 | #Constraints:      29201
1896.45/1901.65	c #Conflicts:     446000 | #Constraints:      30201
1896.45/1901.65	c INPROCESSING
1896.45/1901.65	c GARBAGE COLLECT
1896.45/1901.65	c #Conflicts:     447000 | #Constraints:      17991
1896.45/1901.65	c #Conflicts:     448000 | #Constraints:      18991
1896.45/1901.65	c #Conflicts:     449000 | #Constraints:      19991
1896.45/1901.65	c #Conflicts:     450000 | #Constraints:      20991
1896.45/1901.65	c #Conflicts:     451000 | #Constraints:      21991
1896.45/1901.65	c #Conflicts:     452000 | #Constraints:      22991
1896.45/1901.65	c #Conflicts:     453000 | #Constraints:      23991
1896.45/1901.65	c #Conflicts:     454000 | #Constraints:      24991
1896.45/1901.65	c #Conflicts:     455000 | #Constraints:      25991
1896.45/1901.65	c #Conflicts:     456000 | #Constraints:      26991
1896.45/1901.65	c #Conflicts:     457000 | #Constraints:      27991
1896.45/1901.65	c #Conflicts:     458000 | #Constraints:      28991
1896.45/1901.65	c #Conflicts:     459000 | #Constraints:      29991
1896.45/1901.65	c #Conflicts:     460000 | #Constraints:      30991
1896.45/1901.65	c INPROCESSING
1896.45/1901.65	c GARBAGE COLLECT
1896.45/1901.65	c #Conflicts:     461000 | #Constraints:      18598
1896.45/1901.65	c #Conflicts:     462000 | #Constraints:      19598
1896.45/1901.65	c #Conflicts:     463000 | #Constraints:      20598
1896.45/1901.65	c #Conflicts:     464000 | #Constraints:      21598
1896.45/1901.65	c #Conflicts:     465000 | #Constraints:      22598
1896.45/1901.65	c #Conflicts:     466000 | #Constraints:      23598
1896.45/1901.65	c #Conflicts:     467000 | #Constraints:      24598
1896.45/1901.65	c #Conflicts:     468000 | #Constraints:      25598
1896.45/1901.65	c #Conflicts:     469000 | #Constraints:      26598
1896.45/1901.65	c #Conflicts:     470000 | #Constraints:      27598
1896.45/1901.65	c #Conflicts:     471000 | #Constraints:      28598
1896.45/1901.65	c #Conflicts:     472000 | #Constraints:      29598
1896.45/1901.65	c #Conflicts:     473000 | #Constraints:      30598
1896.45/1901.65	c #Conflicts:     474000 | #Constraints:      31598
1896.45/1901.65	c INPROCESSING
1896.45/1901.65	c GARBAGE COLLECT
1896.45/1901.65	c #Conflicts:     475000 | #Constraints:      18995
1896.45/1901.65	c #Conflicts:     476000 | #Constraints:      19995
1896.45/1901.65	c #Conflicts:     477000 | #Constraints:      20995
1896.45/1901.65	c #Conflicts:     478000 | #Constraints:      21995
1896.45/1901.65	c #Conflicts:     479000 | #Constraints:      22995
1896.45/1901.65	c #Conflicts:     480000 | #Constraints:      23995
1896.45/1901.65	c #Conflicts:     481000 | #Constraints:      24995
1896.45/1901.65	c #Conflicts:     482000 | #Constraints:      25995
1896.45/1901.65	c #Conflicts:     483000 | #Constraints:      26995
1896.45/1901.65	c #Conflicts:     484000 | #Constraints:      27995
1896.45/1901.65	c #Conflicts:     485000 | #Constraints:      28995
1896.45/1901.65	c #Conflicts:     486000 | #Constraints:      29995
1896.45/1901.65	c #Conflicts:     487000 | #Constraints:      30995
1896.45/1901.65	c #Conflicts:     488000 | #Constraints:      31995
1896.45/1901.65	c INPROCESSING
1896.45/1901.65	c GARBAGE COLLECT
1896.45/1901.65	c #Conflicts:     489000 | #Constraints:      19198
1896.45/1901.65	c #Conflicts:     490000 | #Constraints:      20198
1896.45/1901.65	c #Conflicts:     491000 | #Constraints:      21198
1896.45/1901.65	c #Conflicts:     492000 | #Constraints:      22198
1896.45/1901.65	c #Conflicts:     493000 | #Constraints:      23198
1896.45/1901.65	c #Conflicts:     494000 | #Constraints:      24198
1896.45/1901.65	c #Conflicts:     495000 | #Constraints:      25198
1896.45/1901.65	c #Conflicts:     496000 | #Constraints:      26198
1896.45/1901.65	c #Conflicts:     497000 | #Constraints:      27198
1896.45/1901.65	c #Conflicts:     498000 | #Constraints:      28198
1896.45/1901.65	c #Conflicts:     499000 | #Constraints:      29198
1896.45/1901.65	c #Conflicts:     500000 | #Constraints:      30198
1896.45/1901.65	c #Conflicts:     501000 | #Constraints:      31198
1896.45/1901.65	c #Conflicts:     502000 | #Constraints:      32198
1896.45/1901.65	c INPROCESSING
1896.45/1901.65	c GARBAGE COLLECT
1896.45/1901.65	c #Conflicts:     503000 | #Constraints:      19190
1896.45/1901.65	c #Conflicts:     504000 | #Constraints:      20190
1896.45/1901.65	c #Conflicts:     505000 | #Constraints:      21190
1896.45/1901.65	c #Conflicts:     506000 | #Constraints:      22190
1896.45/1901.65	c #Conflicts:     507000 | #Constraints:      23190
1896.45/1901.65	c #Conflicts:     508000 | #Constraints:      24190
1896.45/1901.65	c #Conflicts:     509000 | #Constraints:      25190
1896.45/1901.65	c #Conflicts:     510000 | #Constraints:      26190
1896.45/1901.65	c #Conflicts:     511000 | #Constraints:      27190
1896.45/1901.65	c #Conflicts:     512000 | #Constraints:      28190
1896.45/1901.65	c #Conflicts:     513000 | #Constraints:      29190
1896.45/1901.65	c #Conflicts:     514000 | #Constraints:      30190
1896.45/1901.65	c #Conflicts:     515000 | #Constraints:      31190
1907.94/1913.11	c #Conflicts:     516000 | #Constraints:      32190
1907.94/1913.11	c INPROCESSING
1907.94/1913.11	c GARBAGE COLLECT
1907.94/1913.11	c #Conflicts:     517000 | #Constraints:      18991
1907.94/1913.11	c #Conflicts:     518000 | #Constraints:      19991
1907.94/1913.11	c GLOBAL bounds - >= 0 @ 1902.51
1937.56/1942.83	c #Conflicts:     519000 | #Constraints:      20993
1937.56/1942.83	c #Conflicts:     520000 | #Constraints:      21993
1937.56/1942.83	c #Conflicts:     521000 | #Constraints:      22993
1937.56/1942.83	c #Conflicts:     522000 | #Constraints:      23993
1937.56/1942.83	c #Conflicts:     523000 | #Constraints:      24993
1937.56/1942.83	c #Conflicts:     524000 | #Constraints:      25993
1937.56/1942.83	c #Conflicts:     525000 | #Constraints:      26993
1937.56/1942.83	c #Conflicts:     526000 | #Constraints:      27993
1937.56/1942.83	c GLOBAL bounds - >= 0 @ 1932.07
1962.10/1967.45	c #Conflicts:     527000 | #Constraints:      28995
1962.10/1967.45	c #Conflicts:     528000 | #Constraints:      29995
1962.10/1967.45	c #Conflicts:     529000 | #Constraints:      30995
1962.10/1967.45	c #Conflicts:     530000 | #Constraints:      31995
1962.10/1967.45	c #Conflicts:     531000 | #Constraints:      32995
1962.10/1967.45	c INPROCESSING
1962.10/1967.45	c GARBAGE COLLECT
1962.10/1967.45	c #Conflicts:     532000 | #Constraints:      19614
1962.10/1967.45	c GLOBAL bounds - >= 0 @ 1956.56
1983.94/1989.39	c #Conflicts:     533000 | #Constraints:      20616
1983.94/1989.39	c #Conflicts:     534000 | #Constraints:      21616
1983.94/1989.39	c #Conflicts:     535000 | #Constraints:      22616
1983.94/1989.39	c #Conflicts:     536000 | #Constraints:      23616
1983.94/1989.39	c #Conflicts:     537000 | #Constraints:      24616
1983.94/1989.39	c #Conflicts:     538000 | #Constraints:      25616
1983.94/1989.39	c #Conflicts:     539000 | #Constraints:      26616
1983.94/1989.39	c #Conflicts:     540000 | #Constraints:      27616
1983.94/1989.39	c GLOBAL bounds - >= 0 @ 1978.4
2256.28/2262.35	c #Conflicts:     541000 | #Constraints:      28618
2256.28/2262.35	c #Conflicts:     542000 | #Constraints:      29618
2256.28/2262.35	c #Conflicts:     543000 | #Constraints:      30618
2256.28/2262.35	c #Conflicts:     544000 | #Constraints:      31618
2256.28/2262.35	c #Conflicts:     545000 | #Constraints:      32618
2256.28/2262.35	c #Conflicts:     546000 | #Constraints:      33618
2256.28/2262.35	c INPROCESSING
2256.28/2262.35	c GARBAGE COLLECT
2256.28/2262.35	c #Conflicts:     547000 | #Constraints:      20018
2256.28/2262.35	c #Conflicts:     548000 | #Constraints:      21018
2256.28/2262.35	c #Conflicts:     549000 | #Constraints:      22018
2256.28/2262.35	c #Conflicts:     550000 | #Constraints:      23018
2256.28/2262.35	c #Conflicts:     551000 | #Constraints:      24018
2256.28/2262.35	c #Conflicts:     552000 | #Constraints:      25018
2256.28/2262.35	c #Conflicts:     553000 | #Constraints:      26018
2256.28/2262.35	c #Conflicts:     554000 | #Constraints:      27018
2256.28/2262.35	c #Conflicts:     555000 | #Constraints:      28018
2256.28/2262.35	c #Conflicts:     556000 | #Constraints:      29018
2256.28/2262.35	c #Conflicts:     557000 | #Constraints:      30018
2256.28/2262.35	c #Conflicts:     558000 | #Constraints:      31018
2256.28/2262.35	c #Conflicts:     559000 | #Constraints:      32018
2256.28/2262.35	c #Conflicts:     560000 | #Constraints:      33018
2256.28/2262.35	c #Conflicts:     561000 | #Constraints:      34018
2256.28/2262.35	c INPROCESSING
2256.28/2262.35	c GARBAGE COLLECT
2256.28/2262.35	c #Conflicts:     562000 | #Constraints:      20224
2256.28/2262.35	c #Conflicts:     563000 | #Constraints:      21224
2256.28/2262.35	c #Conflicts:     564000 | #Constraints:      22224
2256.28/2262.35	c #Conflicts:     565000 | #Constraints:      23224
2256.28/2262.35	c #Conflicts:     566000 | #Constraints:      24224
2256.28/2262.35	c #Conflicts:     567000 | #Constraints:      25224
2256.28/2262.35	c #Conflicts:     568000 | #Constraints:      26224
2256.28/2262.35	c #Conflicts:     569000 | #Constraints:      27224
2256.28/2262.35	c #Conflicts:     570000 | #Constraints:      28224
2256.28/2262.35	c #Conflicts:     571000 | #Constraints:      29224
2256.28/2262.35	c #Conflicts:     572000 | #Constraints:      30224
2256.28/2262.35	c #Conflicts:     573000 | #Constraints:      31224
2256.28/2262.35	c #Conflicts:     574000 | #Constraints:      32224
2256.28/2262.35	c #Conflicts:     575000 | #Constraints:      33224
2256.28/2262.35	c #Conflicts:     576000 | #Constraints:      34224
2256.28/2262.35	c INPROCESSING
2256.28/2262.35	c GARBAGE COLLECT
2256.28/2262.35	c #Conflicts:     577000 | #Constraints:      20214
2256.28/2262.35	c #Conflicts:     578000 | #Constraints:      21214
2256.28/2262.35	c #Conflicts:     579000 | #Constraints:      22214
2256.28/2262.35	c #Conflicts:     580000 | #Constraints:      23214
2256.28/2262.35	c #Conflicts:     581000 | #Constraints:      24214
2256.28/2262.35	c #Conflicts:     582000 | #Constraints:      25214
2256.28/2262.35	c #Conflicts:     583000 | #Constraints:      26214
2256.28/2262.35	c #Conflicts:     584000 | #Constraints:      27214
2256.28/2262.35	c #Conflicts:     585000 | #Constraints:      28214
2256.28/2262.35	c GLOBAL bounds - >= 0 @ 2250.18
2658.16/2665.24	c #Conflicts:     586000 | #Constraints:      29216
2658.16/2665.24	c #Conflicts:     587000 | #Constraints:      30216
2658.16/2665.24	c #Conflicts:     588000 | #Constraints:      31216
2658.16/2665.24	c #Conflicts:     589000 | #Constraints:      32216
2658.16/2665.24	c #Conflicts:     590000 | #Constraints:      33216
2658.16/2665.24	c #Conflicts:     591000 | #Constraints:      34216
2658.16/2665.24	c INPROCESSING
2658.16/2665.24	c GARBAGE COLLECT
2658.16/2665.24	c #Conflicts:     592000 | #Constraints:      20016
2658.16/2665.24	c #Conflicts:     593000 | #Constraints:      21016
2658.16/2665.24	c #Conflicts:     594000 | #Constraints:      22016
2658.16/2665.24	c #Conflicts:     595000 | #Constraints:      23016
2658.16/2665.24	c #Conflicts:     596000 | #Constraints:      24016
2658.16/2665.24	c #Conflicts:     597000 | #Constraints:      25016
2658.16/2665.24	c #Conflicts:     598000 | #Constraints:      26016
2658.16/2665.24	c #Conflicts:     599000 | #Constraints:      27016
2658.16/2665.24	c #Conflicts:     600000 | #Constraints:      28016
2658.16/2665.24	c #Conflicts:     601000 | #Constraints:      29016
2658.16/2665.24	c #Conflicts:     602000 | #Constraints:      30016
2658.16/2665.24	c #Conflicts:     603000 | #Constraints:      31016
2658.16/2665.24	c #Conflicts:     604000 | #Constraints:      32016
2658.16/2665.24	c #Conflicts:     605000 | #Constraints:      33016
2658.16/2665.24	c #Conflicts:     606000 | #Constraints:      34016
2658.16/2665.24	c #Conflicts:     607000 | #Constraints:      35016
2658.16/2665.24	c INPROCESSING
2658.16/2665.24	c GARBAGE COLLECT
2658.16/2665.24	c #Conflicts:     608000 | #Constraints:      20616
2658.16/2665.24	c #Conflicts:     609000 | #Constraints:      21616
2658.16/2665.24	c #Conflicts:     610000 | #Constraints:      22616
2658.16/2665.24	c #Conflicts:     611000 | #Constraints:      23616
2658.16/2665.24	c #Conflicts:     612000 | #Constraints:      24616
2658.16/2665.24	c #Conflicts:     613000 | #Constraints:      25616
2658.16/2665.24	c #Conflicts:     614000 | #Constraints:      26616
2658.16/2665.24	c #Conflicts:     615000 | #Constraints:      27616
2658.16/2665.24	c #Conflicts:     616000 | #Constraints:      28616
2658.16/2665.24	c #Conflicts:     617000 | #Constraints:      29616
2658.16/2665.24	c #Conflicts:     618000 | #Constraints:      30616
2658.16/2665.24	c #Conflicts:     619000 | #Constraints:      31616
2658.16/2665.24	c #Conflicts:     620000 | #Constraints:      32616
2658.16/2665.24	c #Conflicts:     621000 | #Constraints:      33616
2658.16/2665.24	c #Conflicts:     622000 | #Constraints:      34616
2658.16/2665.24	c #Conflicts:     623000 | #Constraints:      35616
2658.16/2665.24	c INPROCESSING
2658.16/2665.24	c GARBAGE COLLECT
2658.16/2665.24	c #Conflicts:     624000 | #Constraints:      21000
2658.16/2665.24	c #Conflicts:     625000 | #Constraints:      22000
2658.16/2665.24	c #Conflicts:     626000 | #Constraints:      23000
2658.16/2665.24	c #Conflicts:     627000 | #Constraints:      24000
2658.16/2665.24	c #Conflicts:     628000 | #Constraints:      25000
2658.16/2665.24	c #Conflicts:     629000 | #Constraints:      26000
2658.16/2665.24	c #Conflicts:     630000 | #Constraints:      27000
2658.16/2665.24	c #Conflicts:     631000 | #Constraints:      28000
2658.16/2665.24	c #Conflicts:     632000 | #Constraints:      29000
2658.16/2665.24	c #Conflicts:     633000 | #Constraints:      30000
2658.16/2665.24	c #Conflicts:     634000 | #Constraints:      31000
2658.16/2665.24	c #Conflicts:     635000 | #Constraints:      32000
2658.16/2665.24	c #Conflicts:     636000 | #Constraints:      33000
2658.16/2665.24	c #Conflicts:     637000 | #Constraints:      34000
2658.16/2665.24	c #Conflicts:     638000 | #Constraints:      35000
2658.16/2665.24	c #Conflicts:     639000 | #Constraints:      36000
2658.16/2665.24	c INPROCESSING
2658.16/2665.24	c GARBAGE COLLECT
2658.16/2665.24	c #Conflicts:     640000 | #Constraints:      21202
2658.16/2665.24	c #Conflicts:     641000 | #Constraints:      22202
2658.16/2665.24	c #Conflicts:     642000 | #Constraints:      23202
2658.16/2665.24	c #Conflicts:     643000 | #Constraints:      24202
2658.16/2665.24	c #Conflicts:     644000 | #Constraints:      25202
2658.16/2665.24	c #Conflicts:     645000 | #Constraints:      26202
2658.16/2665.24	c #Conflicts:     646000 | #Constraints:      27202
2658.16/2665.24	c #Conflicts:     647000 | #Constraints:      28202
2658.16/2665.24	c #Conflicts:     648000 | #Constraints:      29202
2658.16/2665.24	c #Conflicts:     649000 | #Constraints:      30202
2658.16/2665.24	c #Conflicts:     650000 | #Constraints:      31202
2658.16/2665.24	c #Conflicts:     651000 | #Constraints:      32202
2658.16/2665.24	c #Conflicts:     652000 | #Constraints:      33202
2658.16/2665.24	c #Conflicts:     653000 | #Constraints:      34202
2658.16/2665.24	c #Conflicts:     654000 | #Constraints:      35202
2658.16/2665.24	c #Conflicts:     655000 | #Constraints:      36202
2658.16/2665.24	c INPROCESSING
2658.16/2665.24	c GARBAGE COLLECT
2658.16/2665.24	c #Conflicts:     656000 | #Constraints:      21188
2658.16/2665.24	c #Conflicts:     657000 | #Constraints:      22188
2658.16/2665.24	c #Conflicts:     658000 | #Constraints:      23188
2658.16/2665.24	c #Conflicts:     659000 | #Constraints:      24188
2658.16/2665.24	c #Conflicts:     660000 | #Constraints:      25188
2658.16/2665.24	c #Conflicts:     661000 | #Constraints:      26188
2888.08/2895.73	c #Conflicts:     662000 | #Constraints:      27188
2888.08/2895.73	c #Conflicts:     663000 | #Constraints:      28188
2888.08/2895.73	c #Conflicts:     664000 | #Constraints:      29188
2888.08/2895.73	c #Conflicts:     665000 | #Constraints:      30188
2888.08/2895.73	c #Conflicts:     666000 | #Constraints:      31188
2888.08/2895.73	c #Conflicts:     667000 | #Constraints:      32188
2888.08/2895.73	c #Conflicts:     668000 | #Constraints:      33188
2888.08/2895.73	c #Conflicts:     669000 | #Constraints:      34188
2888.08/2895.73	c #Conflicts:     670000 | #Constraints:      35188
2888.08/2895.73	c #Conflicts:     671000 | #Constraints:      36188
2888.08/2895.73	c INPROCESSING
2888.08/2895.73	c GARBAGE COLLECT
2888.08/2895.73	c #Conflicts:     672000 | #Constraints:      20988
2888.08/2895.73	c #Conflicts:     673000 | #Constraints:      21988
2888.08/2895.73	c #Conflicts:     674000 | #Constraints:      22988
2888.08/2895.73	c #Conflicts:     675000 | #Constraints:      23988
2888.08/2895.73	c #Conflicts:     676000 | #Constraints:      24988
2888.08/2895.73	c #Conflicts:     677000 | #Constraints:      25988
2888.08/2895.73	c #Conflicts:     678000 | #Constraints:      26988
2888.08/2895.73	c #Conflicts:     679000 | #Constraints:      27988
2888.08/2895.73	c #Conflicts:     680000 | #Constraints:      28988
2888.08/2895.73	c #Conflicts:     681000 | #Constraints:      29988
2888.08/2895.73	c #Conflicts:     682000 | #Constraints:      30988
2888.08/2895.73	c #Conflicts:     683000 | #Constraints:      31988
2888.08/2895.73	c #Conflicts:     684000 | #Constraints:      32988
2888.08/2895.73	c #Conflicts:     685000 | #Constraints:      33988
2888.08/2895.73	c #Conflicts:     686000 | #Constraints:      34988
2888.08/2895.73	c #Conflicts:     687000 | #Constraints:      35988
2888.08/2895.73	c #Conflicts:     688000 | #Constraints:      36988
2888.08/2895.73	c INPROCESSING
2888.08/2895.73	c GARBAGE COLLECT
2888.08/2895.73	c #Conflicts:     689000 | #Constraints:      21587
2888.08/2895.73	c GLOBAL bounds - >= 0 @ 2881.02
3295.24/3303.93	c #Conflicts:     690000 | #Constraints:      22589
3295.24/3303.93	c #Conflicts:     691000 | #Constraints:      23589
3295.24/3303.93	c #Conflicts:     692000 | #Constraints:      24589
3295.24/3303.93	c #Conflicts:     693000 | #Constraints:      25589
3295.24/3303.93	c #Conflicts:     694000 | #Constraints:      26589
3295.24/3303.93	c #Conflicts:     695000 | #Constraints:      27589
3295.24/3303.93	c #Conflicts:     696000 | #Constraints:      28589
3295.24/3303.93	c #Conflicts:     697000 | #Constraints:      29589
3295.24/3303.93	c #Conflicts:     698000 | #Constraints:      30589
3295.24/3303.93	c #Conflicts:     699000 | #Constraints:      31589
3295.24/3303.93	c #Conflicts:     700000 | #Constraints:      32589
3295.24/3303.93	c #Conflicts:     701000 | #Constraints:      33589
3295.24/3303.93	c #Conflicts:     702000 | #Constraints:      34589
3295.24/3303.93	c #Conflicts:     703000 | #Constraints:      35589
3295.24/3303.93	c #Conflicts:     704000 | #Constraints:      36589
3295.24/3303.93	c #Conflicts:     705000 | #Constraints:      37589
3295.24/3303.93	c INPROCESSING
3295.24/3303.93	c GARBAGE COLLECT
3295.24/3303.93	c #Conflicts:     706000 | #Constraints:      22003
3295.24/3303.93	c #Conflicts:     707000 | #Constraints:      23003
3295.24/3303.93	c #Conflicts:     708000 | #Constraints:      24003
3295.24/3303.93	c #Conflicts:     709000 | #Constraints:      25003
3295.24/3303.93	c #Conflicts:     710000 | #Constraints:      26003
3295.24/3303.93	c #Conflicts:     711000 | #Constraints:      27003
3295.24/3303.93	c #Conflicts:     712000 | #Constraints:      28003
3295.24/3303.93	c #Conflicts:     713000 | #Constraints:      29003
3295.24/3303.93	c #Conflicts:     714000 | #Constraints:      30003
3295.24/3303.93	c #Conflicts:     715000 | #Constraints:      31003
3295.24/3303.93	c #Conflicts:     716000 | #Constraints:      32003
3295.24/3303.93	c #Conflicts:     717000 | #Constraints:      33003
3295.24/3303.93	c #Conflicts:     718000 | #Constraints:      34003
3295.24/3303.93	c #Conflicts:     719000 | #Constraints:      35003
3295.24/3303.93	c #Conflicts:     720000 | #Constraints:      36003
3295.24/3303.93	c #Conflicts:     721000 | #Constraints:      37003
3295.24/3303.93	c #Conflicts:     722000 | #Constraints:      38003
3295.24/3303.93	c INPROCESSING
3295.24/3303.93	c GARBAGE COLLECT
3295.24/3303.93	c #Conflicts:     723000 | #Constraints:      22204
3295.24/3303.93	c #Conflicts:     724000 | #Constraints:      23204
3295.24/3303.93	c #Conflicts:     725000 | #Constraints:      24204
3295.24/3303.93	c #Conflicts:     726000 | #Constraints:      25204
3295.24/3303.93	c #Conflicts:     727000 | #Constraints:      26204
3295.24/3303.93	c #Conflicts:     728000 | #Constraints:      27204
3295.24/3303.93	c #Conflicts:     729000 | #Constraints:      28204
3295.24/3303.93	c #Conflicts:     730000 | #Constraints:      29204
3295.24/3303.93	c #Conflicts:     731000 | #Constraints:      30204
3295.24/3303.93	c #Conflicts:     732000 | #Constraints:      31204
3295.24/3303.93	c #Conflicts:     733000 | #Constraints:      32204
3295.24/3303.93	c #Conflicts:     734000 | #Constraints:      33204
3295.24/3303.93	c #Conflicts:     735000 | #Constraints:      34204
3295.24/3303.93	c #Conflicts:     736000 | #Constraints:      35204
3295.24/3303.93	c #Conflicts:     737000 | #Constraints:      36204
3295.24/3303.93	c #Conflicts:     738000 | #Constraints:      37204
3295.24/3303.93	c #Conflicts:     739000 | #Constraints:      38204
3295.24/3303.93	c INPROCESSING
3295.24/3303.93	c GARBAGE COLLECT
3295.24/3303.93	c #Conflicts:     740000 | #Constraints:      22203
3295.24/3303.93	c #Conflicts:     741000 | #Constraints:      23203
3295.24/3303.93	c #Conflicts:     742000 | #Constraints:      24203
3295.24/3303.93	c #Conflicts:     743000 | #Constraints:      25203
3295.24/3303.93	c #Conflicts:     744000 | #Constraints:      26203
3295.24/3303.93	c #Conflicts:     745000 | #Constraints:      27203
3295.24/3303.93	c #Conflicts:     746000 | #Constraints:      28203
3295.24/3303.93	c #Conflicts:     747000 | #Constraints:      29203
3295.24/3303.93	c #Conflicts:     748000 | #Constraints:      30203
3295.24/3303.93	c #Conflicts:     749000 | #Constraints:      31203
3295.24/3303.93	c #Conflicts:     750000 | #Constraints:      32203
3295.24/3303.93	c #Conflicts:     751000 | #Constraints:      33203
3295.24/3303.93	c #Conflicts:     752000 | #Constraints:      34203
3295.24/3303.93	c #Conflicts:     753000 | #Constraints:      35203
3295.24/3303.93	c #Conflicts:     754000 | #Constraints:      36203
3295.24/3303.93	c #Conflicts:     755000 | #Constraints:      37203
3295.24/3303.93	c #Conflicts:     756000 | #Constraints:      38203
3295.24/3303.93	c INPROCESSING
3295.24/3303.93	c GARBAGE COLLECT
3295.24/3303.93	c #Conflicts:     757000 | #Constraints:      22006
3295.24/3303.93	c #Conflicts:     758000 | #Constraints:      23006
3295.24/3303.93	c #Conflicts:     759000 | #Constraints:      24006
3295.24/3303.93	c #Conflicts:     760000 | #Constraints:      25006
3295.24/3303.93	c #Conflicts:     761000 | #Constraints:      26006
3295.24/3303.93	c #Conflicts:     762000 | #Constraints:      27006
3295.24/3303.93	c #Conflicts:     763000 | #Constraints:      28006
3295.24/3303.93	c #Conflicts:     764000 | #Constraints:      29006
3295.24/3303.93	c #Conflicts:     765000 | #Constraints:      30006
3295.24/3303.93	c #Conflicts:     766000 | #Constraints:      31006
3600.04/3609.50	c #Conflicts:     767000 | #Constraints:      32006
3600.04/3609.50	c #Conflicts:     768000 | #Constraints:      33006
3600.04/3609.50	c #Conflicts:     769000 | #Constraints:      34006
3600.04/3609.50	c #Conflicts:     770000 | #Constraints:      35006
3600.04/3609.50	c #Conflicts:     771000 | #Constraints:      36006
3600.04/3609.50	c #Conflicts:     772000 | #Constraints:      37006
3600.04/3609.50	c #Conflicts:     773000 | #Constraints:      38006
3600.04/3609.50	c #Conflicts:     774000 | #Constraints:      39006
3600.04/3609.50	c INPROCESSING
3600.04/3609.50	c GARBAGE COLLECT
3600.04/3609.50	c #Conflicts:     775000 | #Constraints:      22609
3600.04/3609.50	c #Conflicts:     776000 | #Constraints:      23609
3600.04/3609.50	c #Conflicts:     777000 | #Constraints:      24609
3600.04/3609.50	c #Conflicts:     778000 | #Constraints:      25609
3600.04/3609.50	c #Conflicts:     779000 | #Constraints:      26609
3600.04/3609.50	c #Conflicts:     780000 | #Constraints:      27609
3600.04/3609.50	c #Conflicts:     781000 | #Constraints:      28609
3600.04/3609.50	c #Conflicts:     782000 | #Constraints:      29609
3600.04/3609.50	c #Conflicts:     783000 | #Constraints:      30609
3600.04/3609.50	c #Conflicts:     784000 | #Constraints:      31609
3600.04/3609.50	c #Conflicts:     785000 | #Constraints:      32609
3600.04/3609.50	c #Conflicts:     786000 | #Constraints:      33609
3600.04/3609.50	c #Conflicts:     787000 | #Constraints:      34609
3600.04/3609.50	c #Conflicts:     788000 | #Constraints:      35609
3600.04/3609.50	c #Conflicts:     789000 | #Constraints:      36609
3600.04/3609.50	c #Conflicts:     790000 | #Constraints:      37609
3600.04/3609.50	c #Conflicts:     791000 | #Constraints:      38609
3600.04/3609.50	c #Conflicts:     792000 | #Constraints:      39609
3600.04/3609.50	c INPROCESSING
3600.04/3609.50	c GARBAGE COLLECT
3600.04/3609.50	c #Conflicts:     793000 | #Constraints:      23002
3600.04/3609.50	c #Conflicts:     794000 | #Constraints:      24002
3600.04/3609.50	c #Conflicts:     795000 | #Constraints:      25002
3600.04/3609.50	c #Conflicts:     796000 | #Constraints:      26002
3600.04/3609.50	c #Conflicts:     797000 | #Constraints:      27002
3600.04/3609.50	c #Conflicts:     798000 | #Constraints:      28002
3600.04/3609.50	c #Conflicts:     799000 | #Constraints:      29002
3600.04/3609.50	c #Conflicts:     800000 | #Constraints:      30002
3600.04/3609.50	c #Conflicts:     801000 | #Constraints:      31002
3600.04/3609.50	c #Conflicts:     802000 | #Constraints:      32002
3600.04/3609.50	c #Conflicts:     803000 | #Constraints:      33002
3600.04/3609.50	c #Conflicts:     804000 | #Constraints:      34002
3600.04/3609.50	c #Conflicts:     805000 | #Constraints:      35002
3600.04/3609.50	c #Conflicts:     806000 | #Constraints:      36002
3600.04/3609.50	c #Conflicts:     807000 | #Constraints:      37002
3600.04/3609.50	c #Conflicts:     808000 | #Constraints:      38002
3600.04/3609.50	c #Conflicts:     809000 | #Constraints:      39002
3600.04/3609.50	c #Conflicts:     810000 | #Constraints:      40002
3600.04/3609.50	c INPROCESSING
3600.04/3609.50	c GARBAGE COLLECT
3600.04/3609.50	c #Conflicts:     811000 | #Constraints:      23200
3600.04/3609.50	c cpu time 3591.86 s
3600.04/3609.50	c deterministic time 1 1.00e+00
3600.04/3609.50	c optimization time 3591.83 s
3600.04/3609.50	c total solve time 0 s
3600.04/3609.50	c core-guided solve time 0 s
3600.04/3609.50	c propagation time 0.003517 s
3600.04/3609.50	c conflict analysis time 0 s
3600.04/3609.50	c propagations 0
3600.04/3609.50	c resolve steps 0
3600.04/3609.50	c decisions 0
3600.04/3609.50	c conflicts 0
3600.04/3609.50	c restarts 0
3600.04/3609.50	c inprocessing phases 0
3600.04/3609.50	c garbage collections 0 ,( -nan )
3600.04/3609.50	c input clauses 4000 ,( 100.00 )
3600.04/3609.50	c input cardinalities 0 ,( 0.00 )
3600.04/3609.50	c input general constraints 0 ,( 0.00 )
3600.04/3609.50	c input average constraint length 2.00
3600.04/3609.50	c input average constraint degree 1.00
3600.04/3609.50	c learned clauses 0 ,( 0.00 )
3600.04/3609.50	c learned cardinalities 0 ,( 0.00 )
3600.04/3609.50	c learned general constraints 0 ,( 0.00 )
3600.04/3609.50	c learned average constraint length 0.00
3600.04/3609.50	c learned average constraint degree 0.00
3600.04/3609.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.50	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3609.50	c watched   constraints 0 ,( -nan ) 
3600.04/3609.50	c counting  constraints 0 ,( -nan ) 
3600.04/3609.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3609.50	c gcd simplifications 0
3600.04/3609.50	c detected cardinalities 0
3600.04/3609.50	c weakened non-implied lits 0
3600.04/3609.50	c weakened non-implying lits 0
3600.04/3609.50	c original variables 1968
3600.04/3609.50	c clausal propagations 0
3600.04/3609.50	c cardinality propagations 0
3600.04/3609.50	c watched propagations 0
3600.04/3609.50	c counting propagations 0
3600.04/3609.50	c watch lookups 0
3600.04/3609.50	c watch backjump lookups 0
3600.04/3609.50	c watch checks 0
3600.04/3609.50	c propagation checks 0
3600.04/3609.50	c constraint additions 0
3600.04/3609.50	c trail pops 0
3600.04/3609.50	c formula constraints 4000
3600.04/3609.50	c learned constraints 0
3600.04/3609.50	c bound constraints 0
3600.04/3609.50	c core-guided constraints 0
3600.04/3609.50	c encountered formula constraints 0
3600.04/3609.50	c encountered learned constraints 0
3600.04/3609.50	c encountered bound constraints 0
3600.04/3609.50	c encountered core-guided constraints 0
3600.04/3609.50	c LP total time 0 s
3600.04/3609.50	c LP solve time 0 s
3600.04/3609.50	c LP constraints added 0
3600.04/3609.50	c LP constraints removed 0
3600.04/3609.50	c LP pivots internal 0
3600.04/3609.50	c LP pivots root 0
3600.04/3609.50	c LP calls 0
3600.04/3609.50	c LP optimalities 0
3600.04/3609.50	c LP no pivot count 0
3600.04/3609.50	c LP infeasibilities 0
3600.04/3609.50	c LP valid Farkas constraints 0
3600.04/3609.50	c LP learned Farkas constraints 0
3600.04/3609.50	c LP basis resets 0
3600.04/3609.50	c LP cycling count 0
3600.04/3609.50	c LP singular count 0
3600.04/3609.50	c LP no primal count 0
3600.04/3609.50	c LP no farkas count 0
3600.04/3609.50	c LP other issue count 0
3600.04/3609.50	c LP Gomory cuts 0
3600.04/3609.50	c LP learned cuts 0
3600.04/3609.50	c LP deleted cuts 0
3600.04/3609.50	c LP encountered Gomory constraints 0
3600.04/3609.50	c LP encountered Farkas constraints 0
3600.04/3609.50	c LP encountered learned Farkas constraints 0
3600.04/3609.50	c CG auxiliary variables introduced 0
3600.04/3609.50	c CG solutions found 0
3600.04/3609.50	c CG cores constructed 0
3600.04/3609.50	c CG core cardinality constraints returned 0
3600.04/3609.50	c CG unit cores 0
3600.04/3609.50	c CG single cores 0
3600.04/3609.50	c CG blocks removed during cardinality reduction 0
3600.04/3609.50	c CG first core best 0
3600.04/3609.50	c CG decision core best 0
3600.04/3609.50	c CG core reduction tie 0
3600.04/3609.50	c CG core degree average 0.00
3600.04/3609.50	c CG core slack average 0.00
3600.04/3609.50	c CG core upper bound improvements 0
3600.04/3609.50	c STR number of successful calls 0
3600.04/3609.50	c STR number of unsuccessful calls 0
3600.04/3609.50	c STR number of inconclusive calls 0
3600.04/3609.50	c STR number of successful attempts 0
3600.04/3609.50	c STR number of unsuccessful attempts 0
3600.04/3609.50	c STR number of inconclusive attempts 0
3600.04/3609.50	c STR average degree increase per successful call inf
3600.04/3609.50	c STR average degree increase per successful attempt inf
3600.04/3609.50	c STR total number of conflicts for successful attempts 0
3600.04/3609.50	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.50	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.50	c STR average number of conflicts per successful attempt inf
3600.04/3609.50	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.50	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.50	c AVG.sumWPerc -nan 
3600.04/3609.50	c bigint constraints 0 
3600.04/3609.50	s UNKNOWN
3600.04/3609.50	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 (56729 MiB free)
  memory of node 1: 64507 MiB (62606 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=45471, runsolver pid=45468

[startup+0.100103 s]*
/proc/loadavg: 4.06 4.09 4.09 5/254 45473
/proc/meminfo: memFree=122200108/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=65740 memory=16060 CPUtime=0.06 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 2534 0 0 0 4 2 0 0 20 0 1 0 49280226 67317760 4015 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 16435 4015 2304 1147 0 3862 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 69932 KiB
Current children cumulated memory: 18876 KiB

[startup+0.213401 s]*
/proc/loadavg: 4.06 4.09 4.09 5/254 45473
/proc/meminfo: memFree=122200108/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=67720 memory=19132 CPUtime=0.18 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 3281 0 0 0 14 4 0 0 20 0 1 0 49280226 69345280 4783 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 16930 4783 2304 1147 0 4357 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 21948 KiB

[startup+0.313449 s]*
/proc/loadavg: 4.06 4.09 4.09 5/254 45473
/proc/meminfo: memFree=122200108/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=68024 memory=21880 CPUtime=0.27 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 3436 0 0 0 23 4 0 0 20 0 1 0 49280226 69656576 5470 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 17006 5470 2336 1147 0 4433 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72216 KiB
Current children cumulated memory: 24696 KiB

[startup+0.700396 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 45473
/proc/meminfo: memFree=122196328/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=81368 memory=35572 CPUtime=0.65 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 6338 0 0 0 59 6 0 0 20 0 1 0 49280226 83320832 8893 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 20342 8893 2336 1147 0 7769 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 85560 KiB
Current children cumulated memory: 38388 KiB

[startup+1.50038 s]
/proc/loadavg: 4.06 4.09 4.09 4/252 45487
/proc/meminfo: memFree=128567944/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=107752 memory=57564 CPUtime=1.45 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 10827 0 0 0 137 8 0 0 20 0 1 0 49280226 110338048 14391 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 26938 14391 2336 1147 0 14365 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 111944 KiB
Current children cumulated memory: 60380 KiB

[startup+3.11344 s]
/proc/loadavg: 4.22 4.12 4.10 5/254 45519
/proc/meminfo: memFree=128478560/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=157224 memory=110776 CPUtime=3.06 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 20554 0 0 0 295 11 0 0 20 0 1 0 49280226 160997376 27694 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 39306 27694 2336 1147 0 26733 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 161416 KiB
Current children cumulated memory: 113592 KiB

[startup+6.30044 s]
/proc/loadavg: 4.22 4.12 4.10 5/254 45519
/proc/meminfo: memFree=128321284/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=242896 memory=180356 CPUtime=6.24 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 34386 0 0 0 605 19 0 0 20 0 1 0 49280226 248725504 45089 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 60724 45089 2336 1147 0 48151 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 247088 KiB
Current children cumulated memory: 183172 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 45519
/proc/meminfo: memFree=128155772/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=372480 memory=264020 CPUtime=12.61 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 51748 0 0 0 1231 30 0 0 20 0 1 0 49280226 381419520 66005 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 93120 66005 2336 1147 0 80547 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 376672 KiB
Current children cumulated memory: 266836 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.11 4.10 5/254 45565
/proc/meminfo: memFree=127684884/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=546556 memory=428992 CPUtime=25.37 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 90430 0 0 0 2489 48 0 0 20 0 1 0 49280226 559673344 107248 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 136639 107248 2336 1147 0 124066 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 550748 KiB
Current children cumulated memory: 431808 KiB

[startup+51.1132 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 45566
/proc/meminfo: memFree=127426864/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=579752 memory=450240 CPUtime=50.9 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 95736 0 0 0 5033 57 0 0 20 0 1 0 49280226 593666048 112560 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 144938 112560 2336 1147 0 132365 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 583944 KiB
Current children cumulated memory: 453056 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 45567
/proc/meminfo: memFree=127342096/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=585388 memory=462880 CPUtime=101.95 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 97366 0 0 0 10117 78 0 0 20 0 1 0 49280226 599437312 115720 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 146347 115720 2336 1147 0 133774 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 589580 KiB
Current children cumulated memory: 465696 KiB

[startup+162.3 s]
/proc/loadavg: 4.65 4.26 4.15 5/254 45569
/proc/meminfo: memFree=127185548/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=742256 memory=561312 CPUtime=161.78 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 117398 0 0 0 16073 105 0 0 20 0 1 0 49280226 760070144 140328 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 185564 140328 2336 1147 0 172991 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 746448 KiB
Current children cumulated memory: 564128 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 4.29 4.16 5/253 45571
/proc/meminfo: memFree=127010828/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=747192 memory=567328 CPUtime=221.62 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 118913 0 0 0 22033 129 0 0 20 0 1 0 49280226 765124608 141832 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 186798 141832 2336 1147 0 174225 0
Current children cumulated CPU time: 221.62 s

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

/proc/45473/statm: 319939 261239 2336 1147 0 307366 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 1283948 KiB
Current children cumulated memory: 1047772 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/254 45765
/proc/meminfo: memFree=125815192/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286204 memory=1065464 CPUtime=3154 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185170 0 0 0 314646 754 0 0 20 0 1 0 49280226 1317072896 266366 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321551 266366 2336 1147 0 308978 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 1290396 KiB
Current children cumulated memory: 1068280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.58 4.25 4.17 5/253 45767
/proc/meminfo: memFree=125816460/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286204 memory=1065464 CPUtime=3213.84 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185180 0 0 0 320622 762 0 0 20 0 1 0 49280226 1317072896 266366 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321551 266366 2336 1147 0 308978 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 1290396 KiB
Current children cumulated memory: 1068280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.46 4.29 4.19 5/253 45769
/proc/meminfo: memFree=125773312/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1066872 CPUtime=3273.69 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185256 0 0 0 326598 771 0 0 20 0 1 0 49280226 1317445632 266718 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 266718 2336 1147 0 309069 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1069688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/256 45775
/proc/meminfo: memFree=125720936/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1088760 CPUtime=3333.53 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185267 0 0 0 332573 780 0 0 20 0 1 0 49280226 1317445632 272190 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 272190 2336 1147 0 309069 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1091576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.17 5/258 45781
/proc/meminfo: memFree=125684112/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1115384 CPUtime=3393.37 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185276 0 0 0 338548 789 0 0 20 0 1 0 49280226 1317445632 278846 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 278846 2336 1147 0 309069 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1118200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/258 45783
/proc/meminfo: memFree=125649432/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1133944 CPUtime=3453.22 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185375 0 0 0 344523 799 0 0 20 0 1 0 49280226 1317445632 283486 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 283486 2336 1147 0 309069 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1136760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/258 45789
/proc/meminfo: memFree=125660532/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1133944 CPUtime=3513.06 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185383 0 0 0 350499 807 0 0 20 0 1 0 49280226 1317445632 283486 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 283486 2336 1147 0 309069 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1136760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.16 5/258 45791
/proc/meminfo: memFree=125618636/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1133944 CPUtime=3572.91 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185383 0 0 0 356475 816 0 0 20 0 1 0 49280226 1317445632 283486 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 283486 2336 1147 0 309069 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1136760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.09 4.15 4.16 5/258 45792
/proc/meminfo: memFree=125615800/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1133944 CPUtime=3600.04 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185383 0 0 0 359185 819 0 0 20 0 1 0 49280226 1317445632 283486 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 283486 2336 1147 0 309069 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1136760 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001814 s, system=0.003624 s

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

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

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

[startup+3609.5 s]
/proc/loadavg: 4.09 4.15 4.16 5/258 45792
/proc/meminfo: memFree=125615800/131382112 swapFree=33010684/33010684
[pid=45471] ppid=45468 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/45471/stat : 45471 (run-opt.sh) S 45468 45471 43184 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49280224 4292608 704 18446744073709551615 94071469522944 94071470417477 140721375711200 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94071470656528 94071470704272 94071492628480 140721375717741 140721375717864 140721375717864 140721375723466 0
/proc/45471/statm: 1048 704 672 219 0 110 0
[pid=45473] ppid=45471 vsize=1286568 memory=1133944 CPUtime=3600.04 cores=5,7
/proc/45473/stat : 45473 (roundingsat) R 45471 45471 43184 0 -1 4194304 185383 0 0 0 359185 819 0 0 20 0 1 0 49280226 1317445632 283486 18446744073709551615 4227072 8923433 140730560599312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36753408 140730560604578 140730560604712 140730560604712 140730560610282 0
/proc/45473/statm: 321642 283486 2336 1147 0 309069 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1290760 KiB
Current children cumulated memory: 1136760 KiB

Child status: 2

Real time (s): 3609.51
CPU time (s): 3600.07
CPU user time (s): 3591.86
CPU system time (s): 8.20073
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 1290760
Max. memory (cumulated for all children) (KiB): 1136760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.86
system time used= 8.20073
maximum resident set size= 1134328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185611
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= 313
involuntary context switches= 2138


# summary of solver processes directly reported to runsolver:
#   pid: 45471,45473
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.86
#   total CPU system time (s): 8.20073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9987 second user time and 37.4891 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 04:13:25
IDJOB=4488586
IDBENCH=147524
IDSOLVER=3350
FILE ID=nodeC012/4488586-1751336005
RUNJOBID= nodeC012-1751328774-43197
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_12.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488586-1751336005/watcher-4488586-1751336005 -o /tmp/evaluation-result-4488586-1751336005/solver-4488586-1751336005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43197 --watchdog 3760  run-opt.sh HOME/instance-4488586-1751336005.opb

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

MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=461063167

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		: 3582.176
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		: 3691.239
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.356
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		: 3700.000
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		: 3600.872
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		: 1197.153
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		: 3700.000
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.920
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:        122200108 kB
MemAvailable:   122194556 kB
Buffers:            3280 kB
Cached:           802684 kB
SwapCached:            0 kB
Active:          8093960 kB
Inactive:         492280 kB
Active(anon):    7798236 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   492280 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7512 kB
Writeback:             0 kB
AnonPages:       7780080 kB
Mapped:           115680 kB
Shmem:             17960 kB
KReclaimable:      91760 kB
Slab:             174824 kB
SReclaimable:      91760 kB
SUnreclaim:        83064 kB
KernelStack:        4112 kB
PageTables:        19884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9747452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5478400 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= 433028 MiB
End job on nodeC012 at 2025-07-01 05:13:35