Trace number 4488587

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01/0.67	c #variables 1968 #constraints 4000
0.01/0.67	c objective is ce32 
0.08/0.70	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.70	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.70	c GLOBAL bounds - >= 0 @ 0.066645
0.08/0.70	c GLOBAL bounds - >= 0 @ 0.070899
0.08/0.75	c GLOBAL bounds - >= 0 @ 0.117222
0.18/0.80	c GLOBAL bounds - >= 0 @ 0.161101
0.18/0.85	c GLOBAL bounds - >= 0 @ 0.203144
0.28/0.92	c GLOBAL bounds - >= 0 @ 0.264889
0.28/0.97	c GLOBAL bounds - >= 0 @ 0.314385
0.38/1.04	c GLOBAL bounds - >= 0 @ 0.371905
0.38/1.09	c GLOBAL bounds - >= 0 @ 0.413414
0.48/1.17	c GLOBAL bounds - >= 0 @ 0.489317
0.57/1.27	c GLOBAL bounds - >= 0 @ 0.586841
0.67/1.35	c GLOBAL bounds - >= 0 @ 0.6631
0.77/1.48	c GLOBAL bounds - >= 0 @ 0.792465
0.97/1.64	c GLOBAL bounds - >= 0 @ 0.946612
1.06/1.75	c GLOBAL bounds - >= 0 @ 1.05029
1.16/1.85	c GLOBAL bounds - >= 0 @ 1.14581
1.26/1.98	c GLOBAL bounds - >= 0 @ 1.2764
1.37/2.08	c GLOBAL bounds - >= 0 @ 1.36733
1.47/2.17	c GLOBAL bounds - >= 0 @ 1.45184
1.56/2.26	c GLOBAL bounds - >= 0 @ 1.54643
1.65/2.38	c #Conflicts:       1000 | #Constraints:       5036
1.65/2.38	c GLOBAL bounds - >= 0 @ 1.64882
1.75/2.48	c GLOBAL bounds - >= 0 @ 1.75385
1.95/2.64	c GLOBAL bounds - >= 0 @ 1.90036
2.05/2.72	c GLOBAL bounds - >= 0 @ 1.984
2.25/2.90	c GLOBAL bounds - >= 0 @ 2.15753
2.36/3.02	c GLOBAL bounds - >= 0 @ 2.26983
2.74/3.44	c GLOBAL bounds - >= 0 @ 2.67614
2.94/3.69	c GLOBAL bounds - >= 0 @ 2.91284
3.34/4.06	c GLOBAL bounds - >= 0 @ 3.25971
3.63/4.34	c GLOBAL bounds - >= 0 @ 3.53337
4.03/4.74	c #Conflicts:       2000 | #Constraints:       6056
4.03/4.74	c INPROCESSING
4.03/4.74	c GARBAGE COLLECT
4.03/4.74	c GLOBAL bounds - >= 0 @ 3.92905
4.13/4.86	c GLOBAL bounds - >= 0 @ 4.04343
4.34/5.05	c GLOBAL bounds - >= 0 @ 4.23385
4.44/5.16	c GLOBAL bounds - >= 0 @ 4.33587
4.52/5.28	c GLOBAL bounds - >= 0 @ 4.4555
4.72/5.40	c GLOBAL bounds - >= 0 @ 4.57597
4.83/5.59	c GLOBAL bounds - >= 0 @ 4.7643
5.03/5.70	c GLOBAL bounds - >= 0 @ 4.87267
5.12/5.82	c GLOBAL bounds - >= 0 @ 4.99613
5.22/5.95	c GLOBAL bounds - >= 0 @ 5.123
5.33/6.10	c GLOBAL bounds - >= 0 @ 5.25569
5.52/6.24	c #Conflicts:       3000 | #Constraints:       6133
5.52/6.24	c GLOBAL bounds - >= 0 @ 5.38473
5.62/6.38	c GLOBAL bounds - >= 0 @ 5.51515
5.82/6.52	c GLOBAL bounds - >= 0 @ 5.64872
5.92/6.64	c GLOBAL bounds - >= 0 @ 5.77178
6.12/6.85	c GLOBAL bounds - >= 0 @ 5.97225
6.33/7.07	c GLOBAL bounds - >= 0 @ 6.19436
6.52/7.28	c GLOBAL bounds - >= 0 @ 6.3976
6.72/7.40	c GLOBAL bounds - >= 0 @ 6.51368
6.82/7.53	c GLOBAL bounds - >= 0 @ 6.64353
7.02/7.76	c GLOBAL bounds - >= 0 @ 6.86464
7.22/7.98	c #Conflicts:       4000 | #Constraints:       7153
7.22/7.98	c GLOBAL bounds - >= 0 @ 7.07935
7.33/8.10	c GLOBAL bounds - >= 0 @ 7.2042
7.72/8.45	c INPROCESSING
7.72/8.45	c GARBAGE COLLECT
7.72/8.45	c GLOBAL bounds - >= 0 @ 7.5449
7.82/8.56	c GLOBAL bounds - >= 0 @ 7.65177
8.02/8.75	c GLOBAL bounds - >= 0 @ 7.84044
8.11/8.86	c GLOBAL bounds - >= 0 @ 7.94886
8.22/8.99	c GLOBAL bounds - >= 0 @ 8.07303
8.43/9.14	c GLOBAL bounds - >= 0 @ 8.22011
8.61/9.36	c GLOBAL bounds - >= 0 @ 8.43467
8.81/9.56	c #Conflicts:       5000 | #Constraints:       6568
8.81/9.56	c GLOBAL bounds - >= 0 @ 8.63846
9.02/9.78	c GLOBAL bounds - >= 0 @ 8.85151
9.21/9.91	c GLOBAL bounds - >= 0 @ 8.97733
9.42/10.14	c GLOBAL bounds - >= 0 @ 9.20643
9.61/10.37	c GLOBAL bounds - >= 0 @ 9.4295
9.81/10.50	c GLOBAL bounds - >= 0 @ 9.56428
10.01/10.75	c GLOBAL bounds - >= 0 @ 9.81205
10.11/10.89	c GLOBAL bounds - >= 0 @ 9.95016
10.32/11.04	c GLOBAL bounds - >= 0 @ 10.1015
10.61/11.31	c GLOBAL bounds - >= 0 @ 10.3589
10.70/11.48	c #Conflicts:       6000 | #Constraints:       7588
10.70/11.48	c GLOBAL bounds - >= 0 @ 10.528
10.91/11.67	c GLOBAL bounds - >= 0 @ 10.7193
11.10/11.86	c GLOBAL bounds - >= 0 @ 10.9015
11.42/12.16	c GLOBAL bounds - >= 0 @ 11.198
11.61/12.33	c GLOBAL bounds - >= 0 @ 11.3663
12.01/12.79	c INPROCESSING
12.01/12.79	c GARBAGE COLLECT
12.01/12.79	c GLOBAL bounds - >= 0 @ 11.8028
12.21/12.94	c GLOBAL bounds - >= 0 @ 11.9474
12.42/13.18	c #Conflicts:       7000 | #Constraints:       6592
12.42/13.18	c GLOBAL bounds - >= 0 @ 12.1839
12.70/13.45	c GLOBAL bounds - >= 0 @ 12.4558
13.10/13.88	c GLOBAL bounds - >= 0 @ 12.8815
13.50/14.20	c GLOBAL bounds - >= 0 @ 13.1531
13.60/14.39	c #Conflicts:       8000 | #Constraints:       7600
13.60/14.39	c GLOBAL bounds - >= 0 @ 13.3344
13.90/14.61	c GLOBAL bounds - >= 0 @ 13.5534
14.10/14.82	c GLOBAL bounds - >= 0 @ 13.7587
14.20/15.00	c GLOBAL bounds - >= 0 @ 13.9441
14.41/15.19	c GLOBAL bounds - >= 0 @ 14.1285
14.60/15.39	c GLOBAL bounds - >= 0 @ 14.319
15.00/15.72	c GLOBAL bounds - >= 0 @ 14.6423
15.31/16.01	c #Conflicts:       9000 | #Constraints:       8614
15.31/16.01	c GLOBAL bounds - >= 0 @ 14.9362
15.79/16.56	c INPROCESSING
15.79/16.56	c GARBAGE COLLECT
15.79/16.56	c GLOBAL bounds - >= 0 @ 15.4751
15.99/16.70	c GLOBAL bounds - >= 0 @ 15.6136
16.30/17.10	c GLOBAL bounds - >= 0 @ 16.0071
16.60/17.35	c GLOBAL bounds - >= 0 @ 16.2516
16.79/17.51	c GLOBAL bounds - >= 0 @ 16.4106
16.99/17.77	c #Conflicts:      10000 | #Constraints:       7369
16.99/17.77	c GLOBAL bounds - >= 0 @ 16.6615
17.19/17.94	c GLOBAL bounds - >= 0 @ 16.8341
17.41/18.14	c GLOBAL bounds - >= 0 @ 17.0333
17.89/18.67	c GLOBAL bounds - >= 0 @ 17.5501
18.19/19.01	c GLOBAL bounds - >= 0 @ 17.8889
18.89/19.60	c #Conflicts:      11000 | #Constraints:       8379
18.89/19.60	c GLOBAL bounds - >= 0 @ 18.4746
20.18/20.90	c #Conflicts:      12000 | #Constraints:       9381
20.18/20.90	c INPROCESSING
20.18/20.90	c GARBAGE COLLECT
20.18/20.90	c GLOBAL bounds - >= 0 @ 19.7498
22.87/23.65	c #Conflicts:      13000 | #Constraints:       7883
22.87/23.65	c GLOBAL bounds - >= 0 @ 22.4615
25.28/26.09	c #Conflicts:      14000 | #Constraints:       8885
25.28/26.09	c #Conflicts:      15000 | #Constraints:       9885
25.28/26.09	c INPROCESSING
25.28/26.09	c GARBAGE COLLECT
25.28/26.09	c GLOBAL bounds - >= 0 @ 24.8839
28.27/29.09	c #Conflicts:      16000 | #Constraints:       8163
28.27/29.09	c GLOBAL bounds - >= 0 @ 27.8736
43.71/44.55	c #Conflicts:      17000 | #Constraints:       9165
43.71/44.55	c #Conflicts:      18000 | #Constraints:      10165
43.71/44.55	c INPROCESSING
43.71/44.55	c GARBAGE COLLECT
43.71/44.55	c #Conflicts:      19000 | #Constraints:       8187
43.71/44.55	c #Conflicts:      20000 | #Constraints:       9187
43.71/44.55	c #Conflicts:      21000 | #Constraints:      10187
43.71/44.55	c INPROCESSING
43.71/44.55	c GARBAGE COLLECT
43.71/44.55	c #Conflicts:      22000 | #Constraints:       8001
43.71/44.55	c GLOBAL bounds - >= 0 @ 43.2026
145.92/147.05	c #Conflicts:      23000 | #Constraints:       9003
145.92/147.05	c #Conflicts:      24000 | #Constraints:      10003
145.92/147.05	c #Conflicts:      25000 | #Constraints:      11003
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      26000 | #Constraints:       8605
145.92/147.05	c #Conflicts:      27000 | #Constraints:       9605
145.92/147.05	c #Conflicts:      28000 | #Constraints:      10605
145.92/147.05	c #Conflicts:      29000 | #Constraints:      11605
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      30000 | #Constraints:       9005
145.92/147.05	c #Conflicts:      31000 | #Constraints:      10005
145.92/147.05	c #Conflicts:      32000 | #Constraints:      11005
145.92/147.05	c #Conflicts:      33000 | #Constraints:      12005
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      34000 | #Constraints:       9199
145.92/147.05	c #Conflicts:      35000 | #Constraints:      10199
145.92/147.05	c #Conflicts:      36000 | #Constraints:      11199
145.92/147.05	c #Conflicts:      37000 | #Constraints:      12199
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      38000 | #Constraints:       9200
145.92/147.05	c #Conflicts:      39000 | #Constraints:      10200
145.92/147.05	c #Conflicts:      40000 | #Constraints:      11200
145.92/147.05	c #Conflicts:      41000 | #Constraints:      12200
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      42000 | #Constraints:       8993
145.92/147.05	c #Conflicts:      43000 | #Constraints:       9993
145.92/147.05	c #Conflicts:      44000 | #Constraints:      10993
145.92/147.05	c #Conflicts:      45000 | #Constraints:      11993
145.92/147.05	c #Conflicts:      46000 | #Constraints:      12993
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      47000 | #Constraints:       9594
145.92/147.05	c #Conflicts:      48000 | #Constraints:      10594
145.92/147.05	c #Conflicts:      49000 | #Constraints:      11594
145.92/147.05	c #Conflicts:      50000 | #Constraints:      12594
145.92/147.05	c #Conflicts:      51000 | #Constraints:      13594
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c #Conflicts:      52000 | #Constraints:       9986
145.92/147.05	c #Conflicts:      53000 | #Constraints:      10986
145.92/147.05	c #Conflicts:      54000 | #Constraints:      11986
145.92/147.05	c #Conflicts:      55000 | #Constraints:      12986
145.92/147.05	c #Conflicts:      56000 | #Constraints:      13986
145.92/147.05	c INPROCESSING
145.92/147.05	c GARBAGE COLLECT
145.92/147.05	c GLOBAL bounds - >= 0 @ 144.77
149.79/150.97	c #Conflicts:      57000 | #Constraints:      10187
149.79/150.97	c #Conflicts:      58000 | #Constraints:      11187
149.79/150.97	c GLOBAL bounds - >= 0 @ 148.666
186.90/188.17	c #Conflicts:      59000 | #Constraints:      12189
186.90/188.17	c #Conflicts:      60000 | #Constraints:      13189
186.90/188.17	c #Conflicts:      61000 | #Constraints:      14189
186.90/188.17	c INPROCESSING
186.90/188.17	c GARBAGE COLLECT
186.90/188.17	c #Conflicts:      62000 | #Constraints:      10207
186.90/188.17	c #Conflicts:      63000 | #Constraints:      11207
186.90/188.17	c #Conflicts:      64000 | #Constraints:      12207
186.90/188.17	c #Conflicts:      65000 | #Constraints:      13207
186.90/188.17	c #Conflicts:      66000 | #Constraints:      14207
186.90/188.17	c INPROCESSING
186.90/188.17	c GARBAGE COLLECT
186.90/188.17	c #Conflicts:      67000 | #Constraints:      10005
186.90/188.17	c #Conflicts:      68000 | #Constraints:      11005
186.90/188.17	c #Conflicts:      69000 | #Constraints:      12005
186.90/188.17	c #Conflicts:      70000 | #Constraints:      13005
186.90/188.17	c #Conflicts:      71000 | #Constraints:      14005
186.90/188.17	c GLOBAL bounds - >= 0 @ 185.579
354.50/356.25	c #Conflicts:      72000 | #Constraints:      15007
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:      73000 | #Constraints:      10613
354.50/356.25	c #Conflicts:      74000 | #Constraints:      11613
354.50/356.25	c #Conflicts:      75000 | #Constraints:      12613
354.50/356.25	c #Conflicts:      76000 | #Constraints:      13613
354.50/356.25	c #Conflicts:      77000 | #Constraints:      14613
354.50/356.25	c #Conflicts:      78000 | #Constraints:      15613
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:      79000 | #Constraints:      11011
354.50/356.25	c #Conflicts:      80000 | #Constraints:      12011
354.50/356.25	c #Conflicts:      81000 | #Constraints:      13011
354.50/356.25	c #Conflicts:      82000 | #Constraints:      14011
354.50/356.25	c #Conflicts:      83000 | #Constraints:      15011
354.50/356.25	c #Conflicts:      84000 | #Constraints:      16011
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:      85000 | #Constraints:      11217
354.50/356.25	c #Conflicts:      86000 | #Constraints:      12217
354.50/356.25	c #Conflicts:      87000 | #Constraints:      13217
354.50/356.25	c #Conflicts:      88000 | #Constraints:      14217
354.50/356.25	c #Conflicts:      89000 | #Constraints:      15217
354.50/356.25	c #Conflicts:      90000 | #Constraints:      16217
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:      91000 | #Constraints:      11210
354.50/356.25	c #Conflicts:      92000 | #Constraints:      12210
354.50/356.25	c #Conflicts:      93000 | #Constraints:      13210
354.50/356.25	c #Conflicts:      94000 | #Constraints:      14210
354.50/356.25	c #Conflicts:      95000 | #Constraints:      15210
354.50/356.25	c #Conflicts:      96000 | #Constraints:      16210
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:      97000 | #Constraints:      11005
354.50/356.25	c #Conflicts:      98000 | #Constraints:      12005
354.50/356.25	c #Conflicts:      99000 | #Constraints:      13005
354.50/356.25	c #Conflicts:     100000 | #Constraints:      14005
354.50/356.25	c #Conflicts:     101000 | #Constraints:      15005
354.50/356.25	c #Conflicts:     102000 | #Constraints:      16005
354.50/356.25	c #Conflicts:     103000 | #Constraints:      17005
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:     104000 | #Constraints:      11599
354.50/356.25	c #Conflicts:     105000 | #Constraints:      12599
354.50/356.25	c #Conflicts:     106000 | #Constraints:      13599
354.50/356.25	c #Conflicts:     107000 | #Constraints:      14599
354.50/356.25	c #Conflicts:     108000 | #Constraints:      15599
354.50/356.25	c #Conflicts:     109000 | #Constraints:      16599
354.50/356.25	c #Conflicts:     110000 | #Constraints:      17599
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:     111000 | #Constraints:      11998
354.50/356.25	c #Conflicts:     112000 | #Constraints:      12998
354.50/356.25	c #Conflicts:     113000 | #Constraints:      13998
354.50/356.25	c #Conflicts:     114000 | #Constraints:      14998
354.50/356.25	c #Conflicts:     115000 | #Constraints:      15998
354.50/356.25	c #Conflicts:     116000 | #Constraints:      16998
354.50/356.25	c #Conflicts:     117000 | #Constraints:      17998
354.50/356.25	c INPROCESSING
354.50/356.25	c GARBAGE COLLECT
354.50/356.25	c #Conflicts:     118000 | #Constraints:      12192
354.50/356.25	c #Conflicts:     119000 | #Constraints:      13192
354.50/356.25	c #Conflicts:     120000 | #Constraints:      14192
354.50/356.25	c #Conflicts:     121000 | #Constraints:      15192
354.50/356.25	c GLOBAL bounds - >= 0 @ 352.398
419.71/421.64	c #Conflicts:     122000 | #Constraints:      16194
419.71/421.64	c #Conflicts:     123000 | #Constraints:      17194
419.71/421.64	c #Conflicts:     124000 | #Constraints:      18194
419.71/421.64	c INPROCESSING
419.71/421.64	c GARBAGE COLLECT
419.71/421.64	c #Conflicts:     125000 | #Constraints:      12210
419.71/421.64	c #Conflicts:     126000 | #Constraints:      13210
419.71/421.64	c #Conflicts:     127000 | #Constraints:      14210
419.71/421.64	c #Conflicts:     128000 | #Constraints:      15210
419.71/421.64	c #Conflicts:     129000 | #Constraints:      16210
419.71/421.64	c #Conflicts:     130000 | #Constraints:      17210
419.71/421.64	c #Conflicts:     131000 | #Constraints:      18210
419.71/421.64	c INPROCESSING
419.71/421.64	c GARBAGE COLLECT
419.71/421.64	c #Conflicts:     132000 | #Constraints:      12001
419.71/421.64	c #Conflicts:     133000 | #Constraints:      13001
419.71/421.64	c #Conflicts:     134000 | #Constraints:      14001
419.71/421.64	c #Conflicts:     135000 | #Constraints:      15001
419.71/421.64	c #Conflicts:     136000 | #Constraints:      16001
419.71/421.64	c #Conflicts:     137000 | #Constraints:      17001
419.71/421.64	c GLOBAL bounds - >= 0 @ 417.323
701.14/703.91	c #Conflicts:     138000 | #Constraints:      18003
701.14/703.91	c #Conflicts:     139000 | #Constraints:      19003
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     140000 | #Constraints:      12615
701.14/703.91	c #Conflicts:     141000 | #Constraints:      13615
701.14/703.91	c #Conflicts:     142000 | #Constraints:      14615
701.14/703.91	c #Conflicts:     143000 | #Constraints:      15615
701.14/703.91	c #Conflicts:     144000 | #Constraints:      16615
701.14/703.91	c #Conflicts:     145000 | #Constraints:      17615
701.14/703.91	c #Conflicts:     146000 | #Constraints:      18615
701.14/703.91	c #Conflicts:     147000 | #Constraints:      19615
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     148000 | #Constraints:      13007
701.14/703.91	c #Conflicts:     149000 | #Constraints:      14007
701.14/703.91	c #Conflicts:     150000 | #Constraints:      15007
701.14/703.91	c #Conflicts:     151000 | #Constraints:      16007
701.14/703.91	c #Conflicts:     152000 | #Constraints:      17007
701.14/703.91	c #Conflicts:     153000 | #Constraints:      18007
701.14/703.91	c #Conflicts:     154000 | #Constraints:      19007
701.14/703.91	c #Conflicts:     155000 | #Constraints:      20007
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     156000 | #Constraints:      13206
701.14/703.91	c #Conflicts:     157000 | #Constraints:      14206
701.14/703.91	c #Conflicts:     158000 | #Constraints:      15206
701.14/703.91	c #Conflicts:     159000 | #Constraints:      16206
701.14/703.91	c #Conflicts:     160000 | #Constraints:      17206
701.14/703.91	c #Conflicts:     161000 | #Constraints:      18206
701.14/703.91	c #Conflicts:     162000 | #Constraints:      19206
701.14/703.91	c #Conflicts:     163000 | #Constraints:      20206
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     164000 | #Constraints:      13199
701.14/703.91	c #Conflicts:     165000 | #Constraints:      14199
701.14/703.91	c #Conflicts:     166000 | #Constraints:      15199
701.14/703.91	c #Conflicts:     167000 | #Constraints:      16199
701.14/703.91	c #Conflicts:     168000 | #Constraints:      17199
701.14/703.91	c #Conflicts:     169000 | #Constraints:      18199
701.14/703.91	c #Conflicts:     170000 | #Constraints:      19199
701.14/703.91	c #Conflicts:     171000 | #Constraints:      20199
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     172000 | #Constraints:      12994
701.14/703.91	c #Conflicts:     173000 | #Constraints:      13994
701.14/703.91	c #Conflicts:     174000 | #Constraints:      14994
701.14/703.91	c #Conflicts:     175000 | #Constraints:      15994
701.14/703.91	c #Conflicts:     176000 | #Constraints:      16994
701.14/703.91	c #Conflicts:     177000 | #Constraints:      17994
701.14/703.91	c #Conflicts:     178000 | #Constraints:      18994
701.14/703.91	c #Conflicts:     179000 | #Constraints:      19994
701.14/703.91	c #Conflicts:     180000 | #Constraints:      20994
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     181000 | #Constraints:      13589
701.14/703.91	c #Conflicts:     182000 | #Constraints:      14589
701.14/703.91	c #Conflicts:     183000 | #Constraints:      15589
701.14/703.91	c #Conflicts:     184000 | #Constraints:      16589
701.14/703.91	c #Conflicts:     185000 | #Constraints:      17589
701.14/703.91	c #Conflicts:     186000 | #Constraints:      18589
701.14/703.91	c #Conflicts:     187000 | #Constraints:      19589
701.14/703.91	c #Conflicts:     188000 | #Constraints:      20589
701.14/703.91	c #Conflicts:     189000 | #Constraints:      21589
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     190000 | #Constraints:      13989
701.14/703.91	c #Conflicts:     191000 | #Constraints:      14989
701.14/703.91	c #Conflicts:     192000 | #Constraints:      15989
701.14/703.91	c #Conflicts:     193000 | #Constraints:      16989
701.14/703.91	c #Conflicts:     194000 | #Constraints:      17989
701.14/703.91	c #Conflicts:     195000 | #Constraints:      18989
701.14/703.91	c #Conflicts:     196000 | #Constraints:      19989
701.14/703.91	c #Conflicts:     197000 | #Constraints:      20989
701.14/703.91	c #Conflicts:     198000 | #Constraints:      21989
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     199000 | #Constraints:      14191
701.14/703.91	c #Conflicts:     200000 | #Constraints:      15191
701.14/703.91	c #Conflicts:     201000 | #Constraints:      16191
701.14/703.91	c #Conflicts:     202000 | #Constraints:      17191
701.14/703.91	c #Conflicts:     203000 | #Constraints:      18191
701.14/703.91	c #Conflicts:     204000 | #Constraints:      19191
701.14/703.91	c #Conflicts:     205000 | #Constraints:      20191
701.14/703.91	c #Conflicts:     206000 | #Constraints:      21191
701.14/703.91	c #Conflicts:     207000 | #Constraints:      22191
701.14/703.91	c INPROCESSING
701.14/703.91	c GARBAGE COLLECT
701.14/703.91	c #Conflicts:     208000 | #Constraints:      14190
701.14/703.91	c #Conflicts:     209000 | #Constraints:      15190
701.14/703.91	c #Conflicts:     210000 | #Constraints:      16190
701.14/703.91	c #Conflicts:     211000 | #Constraints:      17190
859.26/862.54	c #Conflicts:     212000 | #Constraints:      18190
859.26/862.54	c #Conflicts:     213000 | #Constraints:      19190
859.26/862.54	c #Conflicts:     214000 | #Constraints:      20190
859.26/862.54	c #Conflicts:     215000 | #Constraints:      21190
859.26/862.54	c #Conflicts:     216000 | #Constraints:      22190
859.26/862.54	c INPROCESSING
859.26/862.54	c GARBAGE COLLECT
859.26/862.54	c #Conflicts:     217000 | #Constraints:      13988
859.26/862.54	c #Conflicts:     218000 | #Constraints:      14988
859.26/862.54	c #Conflicts:     219000 | #Constraints:      15988
859.26/862.54	c #Conflicts:     220000 | #Constraints:      16988
859.26/862.54	c #Conflicts:     221000 | #Constraints:      17988
859.26/862.54	c #Conflicts:     222000 | #Constraints:      18988
859.26/862.54	c #Conflicts:     223000 | #Constraints:      19988
859.26/862.54	c #Conflicts:     224000 | #Constraints:      20988
859.26/862.54	c #Conflicts:     225000 | #Constraints:      21988
859.26/862.54	c #Conflicts:     226000 | #Constraints:      22988
859.26/862.54	c INPROCESSING
859.26/862.54	c GARBAGE COLLECT
859.26/862.54	c #Conflicts:     227000 | #Constraints:      14581
859.26/862.54	c #Conflicts:     228000 | #Constraints:      15581
859.26/862.54	c #Conflicts:     229000 | #Constraints:      16581
859.26/862.54	c #Conflicts:     230000 | #Constraints:      17581
859.26/862.54	c #Conflicts:     231000 | #Constraints:      18581
859.26/862.54	c #Conflicts:     232000 | #Constraints:      19581
859.26/862.54	c #Conflicts:     233000 | #Constraints:      20581
859.26/862.54	c #Conflicts:     234000 | #Constraints:      21581
859.26/862.54	c #Conflicts:     235000 | #Constraints:      22581
859.26/862.54	c #Conflicts:     236000 | #Constraints:      23581
859.26/862.54	c INPROCESSING
859.26/862.54	c GARBAGE COLLECT
859.26/862.54	c #Conflicts:     237000 | #Constraints:      14985
859.26/862.54	c #Conflicts:     238000 | #Constraints:      15985
859.26/862.54	c #Conflicts:     239000 | #Constraints:      16985
859.26/862.54	c #Conflicts:     240000 | #Constraints:      17985
859.26/862.54	c #Conflicts:     241000 | #Constraints:      18985
859.26/862.54	c #Conflicts:     242000 | #Constraints:      19985
859.26/862.54	c #Conflicts:     243000 | #Constraints:      20985
859.26/862.54	c #Conflicts:     244000 | #Constraints:      21985
859.26/862.54	c #Conflicts:     245000 | #Constraints:      22985
859.26/862.54	c #Conflicts:     246000 | #Constraints:      23985
859.26/862.54	c INPROCESSING
859.26/862.54	c GARBAGE COLLECT
859.26/862.54	c #Conflicts:     247000 | #Constraints:      15185
859.26/862.54	c #Conflicts:     248000 | #Constraints:      16185
859.26/862.54	c #Conflicts:     249000 | #Constraints:      17185
859.26/862.54	c #Conflicts:     250000 | #Constraints:      18185
859.26/862.54	c #Conflicts:     251000 | #Constraints:      19185
859.26/862.54	c #Conflicts:     252000 | #Constraints:      20185
859.26/862.54	c #Conflicts:     253000 | #Constraints:      21185
859.26/862.54	c #Conflicts:     254000 | #Constraints:      22185
859.26/862.54	c GLOBAL bounds - >= 0 @ 855.055
976.58/980.27	c #Conflicts:     255000 | #Constraints:      23187
976.58/980.27	c #Conflicts:     256000 | #Constraints:      24187
976.58/980.27	c INPROCESSING
976.58/980.27	c GARBAGE COLLECT
976.58/980.27	c #Conflicts:     257000 | #Constraints:      15204
976.58/980.27	c #Conflicts:     258000 | #Constraints:      16204
976.58/980.27	c #Conflicts:     259000 | #Constraints:      17204
976.58/980.27	c #Conflicts:     260000 | #Constraints:      18204
976.58/980.27	c #Conflicts:     261000 | #Constraints:      19204
976.58/980.27	c #Conflicts:     262000 | #Constraints:      20204
976.58/980.27	c #Conflicts:     263000 | #Constraints:      21204
976.58/980.27	c #Conflicts:     264000 | #Constraints:      22204
976.58/980.27	c #Conflicts:     265000 | #Constraints:      23204
976.58/980.27	c #Conflicts:     266000 | #Constraints:      24204
976.58/980.27	c INPROCESSING
976.58/980.27	c GARBAGE COLLECT
976.58/980.27	c #Conflicts:     267000 | #Constraints:      14979
976.58/980.27	c #Conflicts:     268000 | #Constraints:      15979
976.58/980.27	c #Conflicts:     269000 | #Constraints:      16979
976.58/980.27	c #Conflicts:     270000 | #Constraints:      17979
976.58/980.27	c #Conflicts:     271000 | #Constraints:      18979
976.58/980.27	c #Conflicts:     272000 | #Constraints:      19979
976.58/980.27	c #Conflicts:     273000 | #Constraints:      20979
976.58/980.27	c #Conflicts:     274000 | #Constraints:      21979
976.58/980.27	c #Conflicts:     275000 | #Constraints:      22979
976.58/980.27	c #Conflicts:     276000 | #Constraints:      23979
976.58/980.27	c #Conflicts:     277000 | #Constraints:      24979
976.58/980.27	c INPROCESSING
976.58/980.27	c GARBAGE COLLECT
976.58/980.27	c #Conflicts:     278000 | #Constraints:      15578
976.58/980.27	c #Conflicts:     279000 | #Constraints:      16578
976.58/980.27	c #Conflicts:     280000 | #Constraints:      17578
976.58/980.27	c GLOBAL bounds - >= 0 @ 971.898
1269.05/1273.57	c #Conflicts:     281000 | #Constraints:      18580
1269.05/1273.57	c #Conflicts:     282000 | #Constraints:      19580
1269.05/1273.57	c #Conflicts:     283000 | #Constraints:      20580
1269.05/1273.57	c #Conflicts:     284000 | #Constraints:      21580
1269.05/1273.57	c #Conflicts:     285000 | #Constraints:      22580
1269.05/1273.57	c #Conflicts:     286000 | #Constraints:      23580
1269.05/1273.57	c #Conflicts:     287000 | #Constraints:      24580
1269.05/1273.57	c #Conflicts:     288000 | #Constraints:      25580
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     289000 | #Constraints:      15992
1269.05/1273.57	c #Conflicts:     290000 | #Constraints:      16992
1269.05/1273.57	c #Conflicts:     291000 | #Constraints:      17992
1269.05/1273.57	c #Conflicts:     292000 | #Constraints:      18992
1269.05/1273.57	c #Conflicts:     293000 | #Constraints:      19992
1269.05/1273.57	c #Conflicts:     294000 | #Constraints:      20992
1269.05/1273.57	c #Conflicts:     295000 | #Constraints:      21992
1269.05/1273.57	c #Conflicts:     296000 | #Constraints:      22992
1269.05/1273.57	c #Conflicts:     297000 | #Constraints:      23992
1269.05/1273.57	c #Conflicts:     298000 | #Constraints:      24992
1269.05/1273.57	c #Conflicts:     299000 | #Constraints:      25992
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     300000 | #Constraints:      16200
1269.05/1273.57	c #Conflicts:     301000 | #Constraints:      17200
1269.05/1273.57	c #Conflicts:     302000 | #Constraints:      18200
1269.05/1273.57	c #Conflicts:     303000 | #Constraints:      19200
1269.05/1273.57	c #Conflicts:     304000 | #Constraints:      20200
1269.05/1273.57	c #Conflicts:     305000 | #Constraints:      21200
1269.05/1273.57	c #Conflicts:     306000 | #Constraints:      22200
1269.05/1273.57	c #Conflicts:     307000 | #Constraints:      23200
1269.05/1273.57	c #Conflicts:     308000 | #Constraints:      24200
1269.05/1273.57	c #Conflicts:     309000 | #Constraints:      25200
1269.05/1273.57	c #Conflicts:     310000 | #Constraints:      26200
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     311000 | #Constraints:      16198
1269.05/1273.57	c #Conflicts:     312000 | #Constraints:      17198
1269.05/1273.57	c #Conflicts:     313000 | #Constraints:      18198
1269.05/1273.57	c #Conflicts:     314000 | #Constraints:      19198
1269.05/1273.57	c #Conflicts:     315000 | #Constraints:      20198
1269.05/1273.57	c #Conflicts:     316000 | #Constraints:      21198
1269.05/1273.57	c #Conflicts:     317000 | #Constraints:      22198
1269.05/1273.57	c #Conflicts:     318000 | #Constraints:      23198
1269.05/1273.57	c #Conflicts:     319000 | #Constraints:      24198
1269.05/1273.57	c #Conflicts:     320000 | #Constraints:      25198
1269.05/1273.57	c #Conflicts:     321000 | #Constraints:      26198
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     322000 | #Constraints:      15998
1269.05/1273.57	c #Conflicts:     323000 | #Constraints:      16998
1269.05/1273.57	c #Conflicts:     324000 | #Constraints:      17998
1269.05/1273.57	c #Conflicts:     325000 | #Constraints:      18998
1269.05/1273.57	c #Conflicts:     326000 | #Constraints:      19998
1269.05/1273.57	c #Conflicts:     327000 | #Constraints:      20998
1269.05/1273.57	c #Conflicts:     328000 | #Constraints:      21998
1269.05/1273.57	c #Conflicts:     329000 | #Constraints:      22998
1269.05/1273.57	c #Conflicts:     330000 | #Constraints:      23998
1269.05/1273.57	c #Conflicts:     331000 | #Constraints:      24998
1269.05/1273.57	c #Conflicts:     332000 | #Constraints:      25998
1269.05/1273.57	c #Conflicts:     333000 | #Constraints:      26998
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     334000 | #Constraints:      16607
1269.05/1273.57	c #Conflicts:     335000 | #Constraints:      17607
1269.05/1273.57	c #Conflicts:     336000 | #Constraints:      18607
1269.05/1273.57	c #Conflicts:     337000 | #Constraints:      19607
1269.05/1273.57	c #Conflicts:     338000 | #Constraints:      20607
1269.05/1273.57	c #Conflicts:     339000 | #Constraints:      21607
1269.05/1273.57	c #Conflicts:     340000 | #Constraints:      22607
1269.05/1273.57	c #Conflicts:     341000 | #Constraints:      23607
1269.05/1273.57	c #Conflicts:     342000 | #Constraints:      24607
1269.05/1273.57	c #Conflicts:     343000 | #Constraints:      25607
1269.05/1273.57	c #Conflicts:     344000 | #Constraints:      26607
1269.05/1273.57	c #Conflicts:     345000 | #Constraints:      27607
1269.05/1273.57	c INPROCESSING
1269.05/1273.57	c GARBAGE COLLECT
1269.05/1273.57	c #Conflicts:     346000 | #Constraints:      17007
1269.05/1273.57	c #Conflicts:     347000 | #Constraints:      18007
1269.05/1273.57	c #Conflicts:     348000 | #Constraints:      19007
1269.05/1273.57	c #Conflicts:     349000 | #Constraints:      20007
1269.05/1273.57	c #Conflicts:     350000 | #Constraints:      21007
1269.05/1273.57	c #Conflicts:     351000 | #Constraints:      22007
1269.05/1273.57	c #Conflicts:     352000 | #Constraints:      23007
1269.05/1273.57	c #Conflicts:     353000 | #Constraints:      24007
1269.05/1273.57	c #Conflicts:     354000 | #Constraints:      25007
1269.05/1273.57	c #Conflicts:     355000 | #Constraints:      26007
1283.21/1287.70	c #Conflicts:     356000 | #Constraints:      27007
1283.21/1287.70	c #Conflicts:     357000 | #Constraints:      28007
1283.21/1287.70	c INPROCESSING
1283.21/1287.70	c GARBAGE COLLECT
1283.21/1287.70	c GLOBAL bounds - >= 0 @ 1277.45
1312.04/1316.65	c #Conflicts:     358000 | #Constraints:      17201
1312.04/1316.65	c #Conflicts:     359000 | #Constraints:      18201
1312.04/1316.65	c #Conflicts:     360000 | #Constraints:      19201
1312.04/1316.65	c #Conflicts:     361000 | #Constraints:      20201
1312.04/1316.65	c #Conflicts:     362000 | #Constraints:      21201
1312.04/1316.65	c #Conflicts:     363000 | #Constraints:      22201
1312.04/1316.65	c #Conflicts:     364000 | #Constraints:      23201
1312.04/1316.65	c GLOBAL bounds - >= 0 @ 1306.24
1636.05/1641.52	c #Conflicts:     365000 | #Constraints:      24203
1636.05/1641.52	c #Conflicts:     366000 | #Constraints:      25203
1636.05/1641.52	c #Conflicts:     367000 | #Constraints:      26203
1636.05/1641.52	c #Conflicts:     368000 | #Constraints:      27203
1636.05/1641.52	c #Conflicts:     369000 | #Constraints:      28203
1636.05/1641.52	c INPROCESSING
1636.05/1641.52	c GARBAGE COLLECT
1636.05/1641.52	c #Conflicts:     370000 | #Constraints:      17199
1636.05/1641.52	c #Conflicts:     371000 | #Constraints:      18199
1636.05/1641.52	c #Conflicts:     372000 | #Constraints:      19199
1636.05/1641.52	c #Conflicts:     373000 | #Constraints:      20199
1636.05/1641.52	c #Conflicts:     374000 | #Constraints:      21199
1636.05/1641.52	c #Conflicts:     375000 | #Constraints:      22199
1636.05/1641.52	c #Conflicts:     376000 | #Constraints:      23199
1636.05/1641.52	c #Conflicts:     377000 | #Constraints:      24199
1636.05/1641.52	c #Conflicts:     378000 | #Constraints:      25199
1636.05/1641.52	c #Conflicts:     379000 | #Constraints:      26199
1636.05/1641.52	c #Conflicts:     380000 | #Constraints:      27199
1636.05/1641.52	c #Conflicts:     381000 | #Constraints:      28199
1636.05/1641.52	c INPROCESSING
1636.05/1641.52	c GARBAGE COLLECT
1636.05/1641.52	c #Conflicts:     382000 | #Constraints:      17006
1636.05/1641.52	c #Conflicts:     383000 | #Constraints:      18006
1636.05/1641.53	c #Conflicts:     384000 | #Constraints:      19006
1636.05/1641.53	c #Conflicts:     385000 | #Constraints:      20006
1636.05/1641.53	c #Conflicts:     386000 | #Constraints:      21006
1636.05/1641.53	c #Conflicts:     387000 | #Constraints:      22006
1636.05/1641.53	c #Conflicts:     388000 | #Constraints:      23006
1636.05/1641.53	c #Conflicts:     389000 | #Constraints:      24006
1636.05/1641.53	c #Conflicts:     390000 | #Constraints:      25006
1636.05/1641.53	c #Conflicts:     391000 | #Constraints:      26006
1636.05/1641.53	c #Conflicts:     392000 | #Constraints:      27006
1636.05/1641.53	c #Conflicts:     393000 | #Constraints:      28006
1636.05/1641.53	c #Conflicts:     394000 | #Constraints:      29006
1636.05/1641.53	c INPROCESSING
1636.05/1641.53	c GARBAGE COLLECT
1636.05/1641.53	c #Conflicts:     395000 | #Constraints:      17598
1636.05/1641.53	c #Conflicts:     396000 | #Constraints:      18598
1636.05/1641.53	c #Conflicts:     397000 | #Constraints:      19598
1636.05/1641.53	c #Conflicts:     398000 | #Constraints:      20598
1636.05/1641.53	c #Conflicts:     399000 | #Constraints:      21598
1636.05/1641.53	c #Conflicts:     400000 | #Constraints:      22598
1636.05/1641.53	c #Conflicts:     401000 | #Constraints:      23598
1636.05/1641.53	c #Conflicts:     402000 | #Constraints:      24598
1636.05/1641.53	c #Conflicts:     403000 | #Constraints:      25598
1636.05/1641.53	c #Conflicts:     404000 | #Constraints:      26598
1636.05/1641.53	c #Conflicts:     405000 | #Constraints:      27598
1636.05/1641.53	c #Conflicts:     406000 | #Constraints:      28598
1636.05/1641.53	c #Conflicts:     407000 | #Constraints:      29598
1636.05/1641.53	c INPROCESSING
1636.05/1641.53	c GARBAGE COLLECT
1636.05/1641.53	c #Conflicts:     408000 | #Constraints:      17998
1636.05/1641.53	c #Conflicts:     409000 | #Constraints:      18998
1636.05/1641.53	c #Conflicts:     410000 | #Constraints:      19998
1636.05/1641.53	c #Conflicts:     411000 | #Constraints:      20998
1636.05/1641.53	c #Conflicts:     412000 | #Constraints:      21998
1636.05/1641.53	c #Conflicts:     413000 | #Constraints:      22998
1636.05/1641.53	c #Conflicts:     414000 | #Constraints:      23998
1636.05/1641.53	c #Conflicts:     415000 | #Constraints:      24998
1636.05/1641.53	c #Conflicts:     416000 | #Constraints:      25998
1636.05/1641.53	c #Conflicts:     417000 | #Constraints:      26998
1636.05/1641.53	c #Conflicts:     418000 | #Constraints:      27998
1636.05/1641.53	c #Conflicts:     419000 | #Constraints:      28998
1636.05/1641.53	c #Conflicts:     420000 | #Constraints:      29998
1636.05/1641.53	c INPROCESSING
1636.05/1641.53	c GARBAGE COLLECT
1636.05/1641.53	c #Conflicts:     421000 | #Constraints:      18207
1636.05/1641.53	c #Conflicts:     422000 | #Constraints:      19207
1636.05/1641.53	c #Conflicts:     423000 | #Constraints:      20207
1636.05/1641.53	c #Conflicts:     424000 | #Constraints:      21207
1636.05/1641.53	c #Conflicts:     425000 | #Constraints:      22207
1636.05/1641.53	c #Conflicts:     426000 | #Constraints:      23207
1636.05/1641.53	c #Conflicts:     427000 | #Constraints:      24207
1636.05/1641.53	c #Conflicts:     428000 | #Constraints:      25207
1636.05/1641.53	c #Conflicts:     429000 | #Constraints:      26207
1636.05/1641.53	c #Conflicts:     430000 | #Constraints:      27207
1636.05/1641.53	c #Conflicts:     431000 | #Constraints:      28207
1636.05/1641.53	c #Conflicts:     432000 | #Constraints:      29207
1636.05/1641.53	c #Conflicts:     433000 | #Constraints:      30207
1636.05/1641.53	c INPROCESSING
1636.05/1641.53	c GARBAGE COLLECT
1636.05/1641.53	c #Conflicts:     434000 | #Constraints:      18201
1636.05/1641.53	c #Conflicts:     435000 | #Constraints:      19201
1636.05/1641.53	c #Conflicts:     436000 | #Constraints:      20201
1636.05/1641.53	c #Conflicts:     437000 | #Constraints:      21201
1636.05/1641.53	c #Conflicts:     438000 | #Constraints:      22201
1636.05/1641.53	c #Conflicts:     439000 | #Constraints:      23201
1941.85/1948.33	c #Conflicts:     440000 | #Constraints:      24201
1941.85/1948.33	c #Conflicts:     441000 | #Constraints:      25201
1941.85/1948.33	c #Conflicts:     442000 | #Constraints:      26201
1941.85/1948.33	c #Conflicts:     443000 | #Constraints:      27201
1941.85/1948.33	c #Conflicts:     444000 | #Constraints:      28201
1941.85/1948.33	c #Conflicts:     445000 | #Constraints:      29201
1941.85/1948.33	c #Conflicts:     446000 | #Constraints:      30201
1941.85/1948.33	c INPROCESSING
1941.85/1948.33	c GARBAGE COLLECT
1941.85/1948.33	c #Conflicts:     447000 | #Constraints:      17991
1941.85/1948.33	c #Conflicts:     448000 | #Constraints:      18991
1941.85/1948.33	c #Conflicts:     449000 | #Constraints:      19991
1941.85/1948.33	c #Conflicts:     450000 | #Constraints:      20991
1941.85/1948.33	c #Conflicts:     451000 | #Constraints:      21991
1941.85/1948.33	c #Conflicts:     452000 | #Constraints:      22991
1941.85/1948.33	c #Conflicts:     453000 | #Constraints:      23991
1941.85/1948.33	c #Conflicts:     454000 | #Constraints:      24991
1941.85/1948.33	c #Conflicts:     455000 | #Constraints:      25991
1941.85/1948.33	c #Conflicts:     456000 | #Constraints:      26991
1941.85/1948.33	c #Conflicts:     457000 | #Constraints:      27991
1941.85/1948.33	c #Conflicts:     458000 | #Constraints:      28991
1941.85/1948.33	c #Conflicts:     459000 | #Constraints:      29991
1941.85/1948.33	c #Conflicts:     460000 | #Constraints:      30991
1941.85/1948.33	c INPROCESSING
1941.85/1948.33	c GARBAGE COLLECT
1941.85/1948.33	c #Conflicts:     461000 | #Constraints:      18598
1941.85/1948.33	c #Conflicts:     462000 | #Constraints:      19598
1941.85/1948.33	c #Conflicts:     463000 | #Constraints:      20598
1941.85/1948.33	c #Conflicts:     464000 | #Constraints:      21598
1941.85/1948.33	c #Conflicts:     465000 | #Constraints:      22598
1941.85/1948.33	c #Conflicts:     466000 | #Constraints:      23598
1941.85/1948.33	c #Conflicts:     467000 | #Constraints:      24598
1941.85/1948.33	c #Conflicts:     468000 | #Constraints:      25598
1941.85/1948.33	c #Conflicts:     469000 | #Constraints:      26598
1941.85/1948.33	c #Conflicts:     470000 | #Constraints:      27598
1941.85/1948.33	c #Conflicts:     471000 | #Constraints:      28598
1941.85/1948.33	c #Conflicts:     472000 | #Constraints:      29598
1941.85/1948.33	c #Conflicts:     473000 | #Constraints:      30598
1941.85/1948.33	c #Conflicts:     474000 | #Constraints:      31598
1941.85/1948.33	c INPROCESSING
1941.85/1948.33	c GARBAGE COLLECT
1941.85/1948.33	c #Conflicts:     475000 | #Constraints:      18995
1941.85/1948.33	c #Conflicts:     476000 | #Constraints:      19995
1941.85/1948.33	c #Conflicts:     477000 | #Constraints:      20995
1941.85/1948.33	c #Conflicts:     478000 | #Constraints:      21995
1941.85/1948.33	c #Conflicts:     479000 | #Constraints:      22995
1941.85/1948.33	c #Conflicts:     480000 | #Constraints:      23995
1941.85/1948.33	c #Conflicts:     481000 | #Constraints:      24995
1941.85/1948.33	c #Conflicts:     482000 | #Constraints:      25995
1941.85/1948.33	c #Conflicts:     483000 | #Constraints:      26995
1941.85/1948.33	c #Conflicts:     484000 | #Constraints:      27995
1941.85/1948.33	c #Conflicts:     485000 | #Constraints:      28995
1941.85/1948.33	c #Conflicts:     486000 | #Constraints:      29995
1941.85/1948.33	c #Conflicts:     487000 | #Constraints:      30995
1941.85/1948.33	c #Conflicts:     488000 | #Constraints:      31995
1941.85/1948.33	c INPROCESSING
1941.85/1948.33	c GARBAGE COLLECT
1941.85/1948.33	c #Conflicts:     489000 | #Constraints:      19198
1941.85/1948.33	c #Conflicts:     490000 | #Constraints:      20198
1941.85/1948.33	c #Conflicts:     491000 | #Constraints:      21198
1941.85/1948.33	c #Conflicts:     492000 | #Constraints:      22198
1941.85/1948.33	c #Conflicts:     493000 | #Constraints:      23198
1941.85/1948.33	c #Conflicts:     494000 | #Constraints:      24198
1941.85/1948.33	c #Conflicts:     495000 | #Constraints:      25198
1941.85/1948.33	c #Conflicts:     496000 | #Constraints:      26198
1941.85/1948.33	c #Conflicts:     497000 | #Constraints:      27198
1941.85/1948.33	c #Conflicts:     498000 | #Constraints:      28198
1941.85/1948.33	c #Conflicts:     499000 | #Constraints:      29198
1941.85/1948.33	c #Conflicts:     500000 | #Constraints:      30198
1941.85/1948.33	c #Conflicts:     501000 | #Constraints:      31198
1941.85/1948.33	c #Conflicts:     502000 | #Constraints:      32198
1941.85/1948.33	c INPROCESSING
1941.85/1948.33	c GARBAGE COLLECT
1941.85/1948.33	c #Conflicts:     503000 | #Constraints:      19190
1941.85/1948.33	c #Conflicts:     504000 | #Constraints:      20190
1941.85/1948.33	c #Conflicts:     505000 | #Constraints:      21190
1941.85/1948.33	c #Conflicts:     506000 | #Constraints:      22190
1941.85/1948.33	c #Conflicts:     507000 | #Constraints:      23190
1941.85/1948.33	c #Conflicts:     508000 | #Constraints:      24190
1941.85/1948.33	c #Conflicts:     509000 | #Constraints:      25190
1941.85/1948.33	c #Conflicts:     510000 | #Constraints:      26190
1941.85/1948.33	c #Conflicts:     511000 | #Constraints:      27190
1941.85/1948.33	c #Conflicts:     512000 | #Constraints:      28190
1941.85/1948.33	c #Conflicts:     513000 | #Constraints:      29190
1941.85/1948.33	c #Conflicts:     514000 | #Constraints:      30190
1941.85/1948.33	c #Conflicts:     515000 | #Constraints:      31190
1953.53/1960.06	c #Conflicts:     516000 | #Constraints:      32190
1953.53/1960.06	c INPROCESSING
1953.53/1960.06	c GARBAGE COLLECT
1953.53/1960.06	c #Conflicts:     517000 | #Constraints:      18991
1953.53/1960.06	c #Conflicts:     518000 | #Constraints:      19991
1953.53/1960.06	c GLOBAL bounds - >= 0 @ 1945.73
1983.62/1990.26	c #Conflicts:     519000 | #Constraints:      20993
1983.62/1990.26	c #Conflicts:     520000 | #Constraints:      21993
1983.62/1990.26	c #Conflicts:     521000 | #Constraints:      22993
1983.62/1990.26	c #Conflicts:     522000 | #Constraints:      23993
1983.62/1990.26	c #Conflicts:     523000 | #Constraints:      24993
1983.62/1990.26	c #Conflicts:     524000 | #Constraints:      25993
1983.62/1990.26	c #Conflicts:     525000 | #Constraints:      26993
1983.62/1990.26	c #Conflicts:     526000 | #Constraints:      27993
1983.62/1990.26	c GLOBAL bounds - >= 0 @ 1975.72
2008.45/2015.19	c #Conflicts:     527000 | #Constraints:      28995
2008.45/2015.19	c #Conflicts:     528000 | #Constraints:      29995
2008.45/2015.19	c #Conflicts:     529000 | #Constraints:      30995
2008.45/2015.19	c #Conflicts:     530000 | #Constraints:      31995
2008.45/2015.19	c #Conflicts:     531000 | #Constraints:      32995
2008.45/2015.19	c INPROCESSING
2008.45/2015.19	c GARBAGE COLLECT
2008.45/2015.19	c #Conflicts:     532000 | #Constraints:      19614
2008.45/2015.19	c GLOBAL bounds - >= 0 @ 2000.48
2030.75/2037.52	c #Conflicts:     533000 | #Constraints:      20616
2030.75/2037.52	c #Conflicts:     534000 | #Constraints:      21616
2030.75/2037.52	c #Conflicts:     535000 | #Constraints:      22616
2030.75/2037.52	c #Conflicts:     536000 | #Constraints:      23616
2030.75/2037.52	c #Conflicts:     537000 | #Constraints:      24616
2030.75/2037.52	c #Conflicts:     538000 | #Constraints:      25616
2030.75/2037.52	c #Conflicts:     539000 | #Constraints:      26616
2030.75/2037.52	c #Conflicts:     540000 | #Constraints:      27616
2030.75/2037.52	c GLOBAL bounds - >= 0 @ 2022.65
2306.15/2313.80	c #Conflicts:     541000 | #Constraints:      28618
2306.15/2313.80	c #Conflicts:     542000 | #Constraints:      29618
2306.15/2313.80	c #Conflicts:     543000 | #Constraints:      30618
2306.15/2313.80	c #Conflicts:     544000 | #Constraints:      31618
2306.15/2313.80	c #Conflicts:     545000 | #Constraints:      32618
2306.15/2313.80	c #Conflicts:     546000 | #Constraints:      33618
2306.15/2313.80	c INPROCESSING
2306.15/2313.80	c GARBAGE COLLECT
2306.15/2313.80	c #Conflicts:     547000 | #Constraints:      20018
2306.15/2313.80	c #Conflicts:     548000 | #Constraints:      21018
2306.15/2313.80	c #Conflicts:     549000 | #Constraints:      22018
2306.15/2313.80	c #Conflicts:     550000 | #Constraints:      23018
2306.15/2313.80	c #Conflicts:     551000 | #Constraints:      24018
2306.15/2313.80	c #Conflicts:     552000 | #Constraints:      25018
2306.15/2313.80	c #Conflicts:     553000 | #Constraints:      26018
2306.15/2313.80	c #Conflicts:     554000 | #Constraints:      27018
2306.15/2313.80	c #Conflicts:     555000 | #Constraints:      28018
2306.15/2313.80	c #Conflicts:     556000 | #Constraints:      29018
2306.15/2313.80	c #Conflicts:     557000 | #Constraints:      30018
2306.15/2313.80	c #Conflicts:     558000 | #Constraints:      31018
2306.15/2313.80	c #Conflicts:     559000 | #Constraints:      32018
2306.15/2313.80	c #Conflicts:     560000 | #Constraints:      33018
2306.15/2313.81	c #Conflicts:     561000 | #Constraints:      34018
2306.15/2313.81	c INPROCESSING
2306.15/2313.81	c GARBAGE COLLECT
2306.15/2313.81	c #Conflicts:     562000 | #Constraints:      20224
2306.15/2313.81	c #Conflicts:     563000 | #Constraints:      21224
2306.15/2313.81	c #Conflicts:     564000 | #Constraints:      22224
2306.15/2313.81	c #Conflicts:     565000 | #Constraints:      23224
2306.15/2313.81	c #Conflicts:     566000 | #Constraints:      24224
2306.15/2313.81	c #Conflicts:     567000 | #Constraints:      25224
2306.15/2313.81	c #Conflicts:     568000 | #Constraints:      26224
2306.15/2313.81	c #Conflicts:     569000 | #Constraints:      27224
2306.15/2313.81	c #Conflicts:     570000 | #Constraints:      28224
2306.15/2313.81	c #Conflicts:     571000 | #Constraints:      29224
2306.15/2313.81	c #Conflicts:     572000 | #Constraints:      30224
2306.15/2313.81	c #Conflicts:     573000 | #Constraints:      31224
2306.15/2313.81	c #Conflicts:     574000 | #Constraints:      32224
2306.15/2313.81	c #Conflicts:     575000 | #Constraints:      33224
2306.15/2313.81	c #Conflicts:     576000 | #Constraints:      34224
2306.15/2313.81	c INPROCESSING
2306.15/2313.81	c GARBAGE COLLECT
2306.15/2313.81	c #Conflicts:     577000 | #Constraints:      20214
2306.15/2313.81	c #Conflicts:     578000 | #Constraints:      21214
2306.15/2313.81	c #Conflicts:     579000 | #Constraints:      22214
2306.15/2313.81	c #Conflicts:     580000 | #Constraints:      23214
2306.15/2313.81	c #Conflicts:     581000 | #Constraints:      24214
2306.15/2313.81	c #Conflicts:     582000 | #Constraints:      25214
2306.15/2313.81	c #Conflicts:     583000 | #Constraints:      26214
2306.15/2313.81	c #Conflicts:     584000 | #Constraints:      27214
2306.15/2313.81	c #Conflicts:     585000 | #Constraints:      28214
2306.15/2313.81	c GLOBAL bounds - >= 0 @ 2297.28
2714.21/2723.22	c #Conflicts:     586000 | #Constraints:      29216
2714.21/2723.22	c #Conflicts:     587000 | #Constraints:      30216
2714.21/2723.22	c #Conflicts:     588000 | #Constraints:      31216
2714.21/2723.22	c #Conflicts:     589000 | #Constraints:      32216
2714.21/2723.22	c #Conflicts:     590000 | #Constraints:      33216
2714.21/2723.22	c #Conflicts:     591000 | #Constraints:      34216
2714.21/2723.22	c INPROCESSING
2714.21/2723.22	c GARBAGE COLLECT
2714.21/2723.22	c #Conflicts:     592000 | #Constraints:      20016
2714.21/2723.22	c #Conflicts:     593000 | #Constraints:      21016
2714.21/2723.22	c #Conflicts:     594000 | #Constraints:      22016
2714.21/2723.22	c #Conflicts:     595000 | #Constraints:      23016
2714.21/2723.22	c #Conflicts:     596000 | #Constraints:      24016
2714.21/2723.22	c #Conflicts:     597000 | #Constraints:      25016
2714.21/2723.22	c #Conflicts:     598000 | #Constraints:      26016
2714.21/2723.22	c #Conflicts:     599000 | #Constraints:      27016
2714.21/2723.22	c #Conflicts:     600000 | #Constraints:      28016
2714.21/2723.22	c #Conflicts:     601000 | #Constraints:      29016
2714.21/2723.22	c #Conflicts:     602000 | #Constraints:      30016
2714.21/2723.22	c #Conflicts:     603000 | #Constraints:      31016
2714.21/2723.22	c #Conflicts:     604000 | #Constraints:      32016
2714.21/2723.22	c #Conflicts:     605000 | #Constraints:      33016
2714.21/2723.22	c #Conflicts:     606000 | #Constraints:      34016
2714.21/2723.22	c #Conflicts:     607000 | #Constraints:      35016
2714.21/2723.22	c INPROCESSING
2714.21/2723.22	c GARBAGE COLLECT
2714.21/2723.22	c #Conflicts:     608000 | #Constraints:      20616
2714.21/2723.22	c #Conflicts:     609000 | #Constraints:      21616
2714.21/2723.22	c #Conflicts:     610000 | #Constraints:      22616
2714.21/2723.22	c #Conflicts:     611000 | #Constraints:      23616
2714.21/2723.22	c #Conflicts:     612000 | #Constraints:      24616
2714.21/2723.22	c #Conflicts:     613000 | #Constraints:      25616
2714.21/2723.22	c #Conflicts:     614000 | #Constraints:      26616
2714.21/2723.22	c #Conflicts:     615000 | #Constraints:      27616
2714.21/2723.22	c #Conflicts:     616000 | #Constraints:      28616
2714.21/2723.22	c #Conflicts:     617000 | #Constraints:      29616
2714.21/2723.22	c #Conflicts:     618000 | #Constraints:      30616
2714.21/2723.22	c #Conflicts:     619000 | #Constraints:      31616
2714.21/2723.22	c #Conflicts:     620000 | #Constraints:      32616
2714.21/2723.22	c #Conflicts:     621000 | #Constraints:      33616
2714.21/2723.22	c #Conflicts:     622000 | #Constraints:      34616
2714.21/2723.22	c #Conflicts:     623000 | #Constraints:      35616
2714.21/2723.22	c INPROCESSING
2714.21/2723.22	c GARBAGE COLLECT
2714.21/2723.22	c #Conflicts:     624000 | #Constraints:      21000
2714.21/2723.22	c #Conflicts:     625000 | #Constraints:      22000
2714.21/2723.22	c #Conflicts:     626000 | #Constraints:      23000
2714.21/2723.22	c #Conflicts:     627000 | #Constraints:      24000
2714.21/2723.22	c #Conflicts:     628000 | #Constraints:      25000
2714.21/2723.22	c #Conflicts:     629000 | #Constraints:      26000
2714.21/2723.22	c #Conflicts:     630000 | #Constraints:      27000
2714.21/2723.22	c #Conflicts:     631000 | #Constraints:      28000
2714.21/2723.22	c #Conflicts:     632000 | #Constraints:      29000
2714.21/2723.22	c #Conflicts:     633000 | #Constraints:      30000
2714.21/2723.22	c #Conflicts:     634000 | #Constraints:      31000
2714.21/2723.22	c #Conflicts:     635000 | #Constraints:      32000
2714.21/2723.22	c #Conflicts:     636000 | #Constraints:      33000
2714.21/2723.22	c #Conflicts:     637000 | #Constraints:      34000
2714.21/2723.22	c #Conflicts:     638000 | #Constraints:      35000
2714.21/2723.22	c #Conflicts:     639000 | #Constraints:      36000
2714.21/2723.22	c INPROCESSING
2714.21/2723.22	c GARBAGE COLLECT
2714.21/2723.22	c #Conflicts:     640000 | #Constraints:      21202
2714.21/2723.22	c #Conflicts:     641000 | #Constraints:      22202
2714.21/2723.22	c #Conflicts:     642000 | #Constraints:      23202
2714.21/2723.22	c #Conflicts:     643000 | #Constraints:      24202
2714.21/2723.22	c #Conflicts:     644000 | #Constraints:      25202
2714.21/2723.22	c #Conflicts:     645000 | #Constraints:      26202
2714.21/2723.22	c #Conflicts:     646000 | #Constraints:      27202
2714.21/2723.22	c #Conflicts:     647000 | #Constraints:      28202
2714.21/2723.22	c #Conflicts:     648000 | #Constraints:      29202
2714.21/2723.22	c #Conflicts:     649000 | #Constraints:      30202
2714.21/2723.22	c #Conflicts:     650000 | #Constraints:      31202
2714.21/2723.22	c #Conflicts:     651000 | #Constraints:      32202
2714.21/2723.22	c #Conflicts:     652000 | #Constraints:      33202
2714.21/2723.22	c #Conflicts:     653000 | #Constraints:      34202
2714.21/2723.22	c #Conflicts:     654000 | #Constraints:      35202
2714.21/2723.22	c #Conflicts:     655000 | #Constraints:      36202
2714.21/2723.22	c INPROCESSING
2714.21/2723.22	c GARBAGE COLLECT
2714.21/2723.22	c #Conflicts:     656000 | #Constraints:      21188
2714.21/2723.22	c #Conflicts:     657000 | #Constraints:      22188
2714.21/2723.22	c #Conflicts:     658000 | #Constraints:      23188
2714.21/2723.22	c #Conflicts:     659000 | #Constraints:      24188
2714.21/2723.22	c #Conflicts:     660000 | #Constraints:      25188
2714.21/2723.22	c #Conflicts:     661000 | #Constraints:      26188
2945.65/2955.47	c #Conflicts:     662000 | #Constraints:      27188
2945.65/2955.47	c #Conflicts:     663000 | #Constraints:      28188
2945.65/2955.47	c #Conflicts:     664000 | #Constraints:      29188
2945.65/2955.47	c #Conflicts:     665000 | #Constraints:      30188
2945.65/2955.47	c #Conflicts:     666000 | #Constraints:      31188
2945.65/2955.47	c #Conflicts:     667000 | #Constraints:      32188
2945.65/2955.47	c #Conflicts:     668000 | #Constraints:      33188
2945.65/2955.47	c #Conflicts:     669000 | #Constraints:      34188
2945.65/2955.47	c #Conflicts:     670000 | #Constraints:      35188
2945.65/2955.47	c #Conflicts:     671000 | #Constraints:      36188
2945.65/2955.47	c INPROCESSING
2945.65/2955.47	c GARBAGE COLLECT
2945.65/2955.47	c #Conflicts:     672000 | #Constraints:      20988
2945.65/2955.47	c #Conflicts:     673000 | #Constraints:      21988
2945.65/2955.47	c #Conflicts:     674000 | #Constraints:      22988
2945.65/2955.47	c #Conflicts:     675000 | #Constraints:      23988
2945.65/2955.47	c #Conflicts:     676000 | #Constraints:      24988
2945.65/2955.47	c #Conflicts:     677000 | #Constraints:      25988
2945.65/2955.47	c #Conflicts:     678000 | #Constraints:      26988
2945.65/2955.47	c #Conflicts:     679000 | #Constraints:      27988
2945.65/2955.47	c #Conflicts:     680000 | #Constraints:      28988
2945.65/2955.47	c #Conflicts:     681000 | #Constraints:      29988
2945.65/2955.47	c #Conflicts:     682000 | #Constraints:      30988
2945.65/2955.47	c #Conflicts:     683000 | #Constraints:      31988
2945.65/2955.47	c #Conflicts:     684000 | #Constraints:      32988
2945.65/2955.47	c #Conflicts:     685000 | #Constraints:      33988
2945.65/2955.47	c #Conflicts:     686000 | #Constraints:      34988
2945.65/2955.47	c #Conflicts:     687000 | #Constraints:      35988
2945.65/2955.47	c #Conflicts:     688000 | #Constraints:      36988
2945.65/2955.47	c INPROCESSING
2945.65/2955.47	c GARBAGE COLLECT
2945.65/2955.47	c #Conflicts:     689000 | #Constraints:      21587
2945.65/2955.47	c GLOBAL bounds - >= 0 @ 2935.31
3361.30/3372.43	c #Conflicts:     690000 | #Constraints:      22589
3361.30/3372.43	c #Conflicts:     691000 | #Constraints:      23589
3361.30/3372.43	c #Conflicts:     692000 | #Constraints:      24589
3361.30/3372.43	c #Conflicts:     693000 | #Constraints:      25589
3361.30/3372.43	c #Conflicts:     694000 | #Constraints:      26589
3361.30/3372.43	c #Conflicts:     695000 | #Constraints:      27589
3361.30/3372.43	c #Conflicts:     696000 | #Constraints:      28589
3361.30/3372.43	c #Conflicts:     697000 | #Constraints:      29589
3361.30/3372.43	c #Conflicts:     698000 | #Constraints:      30589
3361.30/3372.43	c #Conflicts:     699000 | #Constraints:      31589
3361.30/3372.43	c #Conflicts:     700000 | #Constraints:      32589
3361.30/3372.43	c #Conflicts:     701000 | #Constraints:      33589
3361.30/3372.43	c #Conflicts:     702000 | #Constraints:      34589
3361.30/3372.43	c #Conflicts:     703000 | #Constraints:      35589
3361.30/3372.43	c #Conflicts:     704000 | #Constraints:      36589
3361.30/3372.43	c #Conflicts:     705000 | #Constraints:      37589
3361.30/3372.43	c INPROCESSING
3361.30/3372.43	c GARBAGE COLLECT
3361.30/3372.43	c #Conflicts:     706000 | #Constraints:      22003
3361.30/3372.43	c #Conflicts:     707000 | #Constraints:      23003
3361.30/3372.43	c #Conflicts:     708000 | #Constraints:      24003
3361.30/3372.43	c #Conflicts:     709000 | #Constraints:      25003
3361.30/3372.43	c #Conflicts:     710000 | #Constraints:      26003
3361.30/3372.43	c #Conflicts:     711000 | #Constraints:      27003
3361.30/3372.43	c #Conflicts:     712000 | #Constraints:      28003
3361.30/3372.43	c #Conflicts:     713000 | #Constraints:      29003
3361.30/3372.43	c #Conflicts:     714000 | #Constraints:      30003
3361.30/3372.43	c #Conflicts:     715000 | #Constraints:      31003
3361.30/3372.43	c #Conflicts:     716000 | #Constraints:      32003
3361.30/3372.43	c #Conflicts:     717000 | #Constraints:      33003
3361.30/3372.43	c #Conflicts:     718000 | #Constraints:      34003
3361.30/3372.43	c #Conflicts:     719000 | #Constraints:      35003
3361.30/3372.43	c #Conflicts:     720000 | #Constraints:      36003
3361.30/3372.43	c #Conflicts:     721000 | #Constraints:      37003
3361.30/3372.43	c #Conflicts:     722000 | #Constraints:      38003
3361.30/3372.43	c INPROCESSING
3361.30/3372.43	c GARBAGE COLLECT
3361.30/3372.43	c #Conflicts:     723000 | #Constraints:      22204
3361.30/3372.43	c #Conflicts:     724000 | #Constraints:      23204
3361.30/3372.43	c #Conflicts:     725000 | #Constraints:      24204
3361.30/3372.43	c #Conflicts:     726000 | #Constraints:      25204
3361.30/3372.43	c #Conflicts:     727000 | #Constraints:      26204
3361.30/3372.43	c #Conflicts:     728000 | #Constraints:      27204
3361.30/3372.43	c #Conflicts:     729000 | #Constraints:      28204
3361.30/3372.43	c #Conflicts:     730000 | #Constraints:      29204
3361.30/3372.43	c #Conflicts:     731000 | #Constraints:      30204
3361.30/3372.43	c #Conflicts:     732000 | #Constraints:      31204
3361.30/3372.43	c #Conflicts:     733000 | #Constraints:      32204
3361.30/3372.43	c #Conflicts:     734000 | #Constraints:      33204
3361.30/3372.43	c #Conflicts:     735000 | #Constraints:      34204
3361.30/3372.43	c #Conflicts:     736000 | #Constraints:      35204
3361.30/3372.43	c #Conflicts:     737000 | #Constraints:      36204
3361.30/3372.43	c #Conflicts:     738000 | #Constraints:      37204
3361.30/3372.43	c #Conflicts:     739000 | #Constraints:      38204
3361.30/3372.43	c INPROCESSING
3361.30/3372.43	c GARBAGE COLLECT
3361.30/3372.43	c #Conflicts:     740000 | #Constraints:      22203
3361.30/3372.43	c #Conflicts:     741000 | #Constraints:      23203
3361.30/3372.43	c #Conflicts:     742000 | #Constraints:      24203
3361.30/3372.43	c #Conflicts:     743000 | #Constraints:      25203
3361.30/3372.43	c #Conflicts:     744000 | #Constraints:      26203
3361.30/3372.43	c #Conflicts:     745000 | #Constraints:      27203
3361.30/3372.43	c #Conflicts:     746000 | #Constraints:      28203
3361.30/3372.43	c #Conflicts:     747000 | #Constraints:      29203
3361.30/3372.43	c #Conflicts:     748000 | #Constraints:      30203
3361.30/3372.43	c #Conflicts:     749000 | #Constraints:      31203
3361.30/3372.43	c #Conflicts:     750000 | #Constraints:      32203
3361.30/3372.43	c #Conflicts:     751000 | #Constraints:      33203
3361.30/3372.43	c #Conflicts:     752000 | #Constraints:      34203
3361.30/3372.43	c #Conflicts:     753000 | #Constraints:      35203
3361.30/3372.43	c #Conflicts:     754000 | #Constraints:      36203
3361.30/3372.43	c #Conflicts:     755000 | #Constraints:      37203
3361.30/3372.43	c #Conflicts:     756000 | #Constraints:      38203
3361.30/3372.43	c INPROCESSING
3361.30/3372.43	c GARBAGE COLLECT
3361.30/3372.43	c #Conflicts:     757000 | #Constraints:      22006
3361.30/3372.43	c #Conflicts:     758000 | #Constraints:      23006
3361.30/3372.43	c #Conflicts:     759000 | #Constraints:      24006
3361.30/3372.43	c #Conflicts:     760000 | #Constraints:      25006
3361.30/3372.43	c #Conflicts:     761000 | #Constraints:      26006
3361.30/3372.43	c #Conflicts:     762000 | #Constraints:      27006
3361.30/3372.43	c #Conflicts:     763000 | #Constraints:      28006
3361.30/3372.43	c #Conflicts:     764000 | #Constraints:      29006
3361.30/3372.43	c #Conflicts:     765000 | #Constraints:      30006
3361.30/3372.43	c #Conflicts:     766000 | #Constraints:      31006
3600.05/3611.90	c #Conflicts:     767000 | #Constraints:      32006
3600.05/3611.90	c #Conflicts:     768000 | #Constraints:      33006
3600.05/3611.90	c #Conflicts:     769000 | #Constraints:      34006
3600.05/3611.90	c #Conflicts:     770000 | #Constraints:      35006
3600.05/3611.90	c #Conflicts:     771000 | #Constraints:      36006
3600.05/3611.90	c #Conflicts:     772000 | #Constraints:      37006
3600.05/3611.90	c #Conflicts:     773000 | #Constraints:      38006
3600.05/3611.90	c #Conflicts:     774000 | #Constraints:      39006
3600.05/3611.90	c INPROCESSING
3600.05/3611.90	c GARBAGE COLLECT
3600.05/3611.90	c #Conflicts:     775000 | #Constraints:      22609
3600.05/3611.90	c #Conflicts:     776000 | #Constraints:      23609
3600.05/3611.90	c #Conflicts:     777000 | #Constraints:      24609
3600.05/3611.90	c #Conflicts:     778000 | #Constraints:      25609
3600.05/3611.90	c #Conflicts:     779000 | #Constraints:      26609
3600.05/3611.90	c #Conflicts:     780000 | #Constraints:      27609
3600.05/3611.90	c #Conflicts:     781000 | #Constraints:      28609
3600.05/3611.90	c #Conflicts:     782000 | #Constraints:      29609
3600.05/3611.90	c #Conflicts:     783000 | #Constraints:      30609
3600.05/3611.90	c #Conflicts:     784000 | #Constraints:      31609
3600.05/3611.90	c #Conflicts:     785000 | #Constraints:      32609
3600.05/3611.90	c #Conflicts:     786000 | #Constraints:      33609
3600.05/3611.90	c #Conflicts:     787000 | #Constraints:      34609
3600.05/3611.90	c #Conflicts:     788000 | #Constraints:      35609
3600.05/3611.90	c #Conflicts:     789000 | #Constraints:      36609
3600.05/3611.90	c #Conflicts:     790000 | #Constraints:      37609
3600.05/3611.90	c #Conflicts:     791000 | #Constraints:      38609
3600.05/3611.90	c #Conflicts:     792000 | #Constraints:      39609
3600.05/3611.90	c INPROCESSING
3600.05/3611.90	c GARBAGE COLLECT
3600.05/3611.90	c #Conflicts:     793000 | #Constraints:      23002
3600.05/3611.90	c #Conflicts:     794000 | #Constraints:      24002
3600.05/3611.90	c #Conflicts:     795000 | #Constraints:      25002
3600.05/3611.90	c #Conflicts:     796000 | #Constraints:      26002
3600.05/3611.90	c #Conflicts:     797000 | #Constraints:      27002
3600.05/3611.90	c #Conflicts:     798000 | #Constraints:      28002
3600.05/3611.90	c #Conflicts:     799000 | #Constraints:      29002
3600.05/3611.90	c #Conflicts:     800000 | #Constraints:      30002
3600.05/3611.90	c #Conflicts:     801000 | #Constraints:      31002
3600.05/3611.90	c #Conflicts:     802000 | #Constraints:      32002
3600.05/3611.90	c cpu time 3588.01 s
3600.05/3611.90	c deterministic time 1 1.00e+00
3600.05/3611.90	c optimization time 3587.97 s
3600.05/3611.90	c total solve time 0 s
3600.05/3611.90	c core-guided solve time 0 s
3600.05/3611.90	c propagation time 0.00401 s
3600.05/3611.90	c conflict analysis time 0 s
3600.05/3611.90	c propagations 0
3600.05/3611.90	c resolve steps 0
3600.05/3611.90	c decisions 0
3600.05/3611.90	c conflicts 0
3600.05/3611.90	c restarts 0
3600.05/3611.90	c inprocessing phases 0
3600.05/3611.90	c garbage collections 0 ,( -nan )
3600.05/3611.90	c input clauses 4000 ,( 100.00 )
3600.05/3611.90	c input cardinalities 0 ,( 0.00 )
3600.05/3611.90	c input general constraints 0 ,( 0.00 )
3600.05/3611.90	c input average constraint length 2.00
3600.05/3611.90	c input average constraint degree 1.00
3600.05/3611.90	c learned clauses 0 ,( 0.00 )
3600.05/3611.90	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.90	c learned general constraints 0 ,( 0.00 )
3600.05/3611.90	c learned average constraint length 0.00
3600.05/3611.90	c learned average constraint degree 0.00
3600.05/3611.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.90	c watched   constraints 0 ,( -nan ) 
3600.05/3611.90	c counting  constraints 0 ,( -nan ) 
3600.05/3611.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.90	c gcd simplifications 0
3600.05/3611.90	c detected cardinalities 0
3600.05/3611.90	c weakened non-implied lits 0
3600.05/3611.90	c weakened non-implying lits 0
3600.05/3611.90	c original variables 1968
3600.05/3611.90	c clausal propagations 0
3600.05/3611.90	c cardinality propagations 0
3600.05/3611.90	c watched propagations 0
3600.05/3611.90	c counting propagations 0
3600.05/3611.90	c watch lookups 0
3600.05/3611.90	c watch backjump lookups 0
3600.05/3611.90	c watch checks 0
3600.05/3611.90	c propagation checks 0
3600.05/3611.90	c constraint additions 0
3600.05/3611.90	c trail pops 0
3600.05/3611.90	c formula constraints 4000
3600.05/3611.90	c learned constraints 0
3600.05/3611.90	c bound constraints 0
3600.05/3611.90	c core-guided constraints 0
3600.05/3611.90	c encountered formula constraints 0
3600.05/3611.90	c encountered learned constraints 0
3600.05/3611.90	c encountered bound constraints 0
3600.05/3611.90	c encountered core-guided constraints 0
3600.05/3611.90	c LP total time 0 s
3600.05/3611.90	c LP solve time 0 s
3600.05/3611.90	c LP constraints added 0
3600.05/3611.90	c LP constraints removed 0
3600.05/3611.90	c LP pivots internal 0
3600.05/3611.90	c LP pivots root 0
3600.05/3611.90	c LP calls 0
3600.05/3611.90	c LP optimalities 0
3600.05/3611.90	c LP no pivot count 0
3600.05/3611.90	c LP infeasibilities 0
3600.05/3611.90	c LP valid Farkas constraints 0
3600.05/3611.90	c LP learned Farkas constraints 0
3600.05/3611.90	c LP basis resets 0
3600.05/3611.90	c LP cycling count 0
3600.05/3611.90	c LP singular count 0
3600.05/3611.90	c LP no primal count 0
3600.05/3611.90	c LP no farkas count 0
3600.05/3611.90	c LP other issue count 0
3600.05/3611.90	c LP Gomory cuts 0
3600.05/3611.90	c LP learned cuts 0
3600.05/3611.90	c LP deleted cuts 0
3600.05/3611.90	c LP encountered Gomory constraints 0
3600.05/3611.90	c LP encountered Farkas constraints 0
3600.05/3611.90	c LP encountered learned Farkas constraints 0
3600.05/3611.90	c CG auxiliary variables introduced 0
3600.05/3611.90	c CG solutions found 0
3600.05/3611.90	c CG cores constructed 0
3600.05/3611.90	c CG core cardinality constraints returned 0
3600.05/3611.90	c CG unit cores 0
3600.05/3611.90	c CG single cores 0
3600.05/3611.90	c CG blocks removed during cardinality reduction 0
3600.05/3611.90	c CG first core best 0
3600.05/3611.90	c CG decision core best 0
3600.05/3611.90	c CG core reduction tie 0
3600.05/3611.90	c CG core degree average 0.00
3600.05/3611.90	c CG core slack average 0.00
3600.05/3611.90	c CG core upper bound improvements 0
3600.05/3611.90	c STR number of successful calls 0
3600.05/3611.90	c STR number of unsuccessful calls 0
3600.05/3611.90	c STR number of inconclusive calls 0
3600.05/3611.90	c STR number of successful attempts 0
3600.05/3611.90	c STR number of unsuccessful attempts 0
3600.05/3611.90	c STR number of inconclusive attempts 0
3600.05/3611.90	c STR average degree increase per successful call inf
3600.05/3611.90	c STR average degree increase per successful attempt inf
3600.05/3611.90	c STR total number of conflicts for successful attempts 0
3600.05/3611.90	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.90	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.90	c STR average number of conflicts per successful attempt inf
3600.05/3611.90	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.90	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.90	c AVG.sumWPerc -nan 
3600.05/3611.90	c bigint constraints 0 
3600.05/3611.90	s UNKNOWN
3600.05/3611.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (32663 MiB free)
  memory of node 1: 64465 MiB (61737 MiB free)
  node distances:
     10  21
     21  10

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

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43802, runsolver pid=43799
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 4.06 4.12 4.15 3/254 43804
/proc/meminfo: memFree=96667304/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/43804/stat : 43804 (roundingsat) D 43802 43802 41409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 49322548 52015104 1824 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.213845 s]*
/proc/loadavg: 4.06 4.12 4.15 3/254 43804
/proc/meminfo: memFree=96667304/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/43804/stat : 43804 (roundingsat) D 43802 43802 41409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 49322548 52015104 1824 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.313861 s]*
/proc/loadavg: 4.06 4.12 4.15 3/254 43804
/proc/meminfo: memFree=96667304/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=50796 memory=7296 CPUtime=0 cores=5,7
/proc/43804/stat : 43804 (roundingsat) D 43802 43802 41409 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 49322548 52015104 1824 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.700358 s]
/proc/loadavg: 4.06 4.12 4.15 3/254 43804
/proc/meminfo: memFree=96667304/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=65912 memory=16092 CPUtime=0.08 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 2580 0 0 0 6 2 0 0 20 0 1 0 49322548 67493888 4023 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 16478 4023 2272 1147 0 3905 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70104 KiB
Current children cumulated memory: 19036 KiB

[startup+1.50028 s]
/proc/loadavg: 4.06 4.12 4.15 5/254 43804
/proc/meminfo: memFree=99059628/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=81780 memory=36168 CPUtime=0.86 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 6499 0 0 0 80 6 0 0 20 0 1 0 49322548 83742720 9042 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 20445 9042 2336 1147 0 7872 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 85972 KiB
Current children cumulated memory: 39112 KiB

[startup+3.10559 s]
/proc/loadavg: 4.06 4.12 4.15 4/255 43805
/proc/meminfo: memFree=124309824/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=157464 memory=97400 CPUtime=2.46 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 19261 0 0 0 235 11 0 0 20 0 1 0 49322548 161243136 24350 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 39366 24350 2336 1147 0 26793 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 161656 KiB
Current children cumulated memory: 100344 KiB
heavy processes:

[startup+6.30039 s]
/proc/loadavg: 4.05 4.12 4.15 5/260 43824
/proc/meminfo: memFree=124249480/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=239520 memory=153584 CPUtime=5.62 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 30737 0 0 0 543 19 0 0 20 0 1 0 49322548 245268480 38396 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 59880 38396 2336 1147 0 47307 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 243712 KiB
Current children cumulated memory: 156528 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.13 4.15 5/260 43870
/proc/meminfo: memFree=126024868/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=374804 memory=267236 CPUtime=12.01 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 52533 0 0 0 1171 30 0 0 20 0 1 0 49322548 383799296 66809 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 93701 66809 2336 1147 0 81128 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 378996 KiB
Current children cumulated memory: 270180 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 4.15 5/260 43870
/proc/meminfo: memFree=125311596/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=549740 memory=433124 CPUtime=24.77 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 91434 0 0 0 2429 48 0 0 20 0 1 0 49322548 562933760 108281 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 137435 108281 2336 1147 0 124862 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 553932 KiB
Current children cumulated memory: 436068 KiB

[startup+51.1136 s]
/proc/loadavg: 4.06 4.11 4.14 5/260 43871
/proc/meminfo: memFree=125034792/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=583380 memory=454628 CPUtime=50.31 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 96817 0 0 0 4969 62 0 0 20 0 1 0 49322548 597381120 113657 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 145845 113657 2336 1147 0 133272 0
Current children cumulated CPU time: 50.31 s
Current children cumulated vsize: 587572 KiB
Current children cumulated memory: 457572 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/261 43874
/proc/meminfo: memFree=124784232/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=588716 memory=467176 CPUtime=101.34 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 98421 0 0 0 10043 91 0 0 20 0 1 0 49322548 602845184 116794 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 147179 116794 2336 1147 0 134606 0
Current children cumulated CPU time: 101.34 s
Current children cumulated vsize: 592908 KiB
Current children cumulated memory: 470120 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/261 43876
/proc/meminfo: memFree=124387084/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=746328 memory=566044 CPUtime=161.16 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 118564 0 0 0 15989 127 0 0 20 0 1 0 49322548 764239872 141511 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 186582 141511 2336 1147 0 174009 0
Current children cumulated CPU time: 161.16 s
Current children cumulated vsize: 750520 KiB
Current children cumulated memory: 568988 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/258 43880
/proc/meminfo: memFree=123944012/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=750856 memory=571804 CPUtime=220.99 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 120000 0 0 0 21944 155 0 0 20 0 1 0 49322548 768876544 142951 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0

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

/proc/43804/statm: 322457 270887 2336 1147 0 309884 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 1294020 KiB
Current children cumulated memory: 1086492 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/258 44083
/proc/meminfo: memFree=116455520/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1289828 memory=1083676 CPUtime=3151.88 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 179886 0 0 0 314093 1095 0 0 20 0 1 0 49322548 1320783872 270919 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 322457 270919 2336 1147 0 309884 0
Current children cumulated CPU time: 3151.88 s
Current children cumulated vsize: 1294020 KiB
Current children cumulated memory: 1086620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/258 44085
/proc/meminfo: memFree=116232980/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1296692 memory=1100568 CPUtime=3211.7 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181563 0 0 0 320058 1112 0 0 20 0 1 0 49322548 1327812608 275142 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324173 275142 2336 1147 0 311600 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 1300884 KiB
Current children cumulated memory: 1103512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/259 44090
/proc/meminfo: memFree=116107156/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1296692 memory=1100568 CPUtime=3271.5 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181563 0 0 0 326025 1125 0 0 20 0 1 0 49322548 1327812608 275142 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324173 275142 2336 1147 0 311600 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 1300884 KiB
Current children cumulated memory: 1103512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/259 44096
/proc/meminfo: memFree=115969852/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297056 memory=1100952 CPUtime=3331.3 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181757 0 0 0 331991 1139 0 0 20 0 1 0 49322548 1328185344 275238 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324264 275238 2336 1147 0 311691 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 1301248 KiB
Current children cumulated memory: 1103896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/258 44098
/proc/meminfo: memFree=115837908/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297056 memory=1100952 CPUtime=3391.1 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181757 0 0 0 337957 1153 0 0 20 0 1 0 49322548 1328185344 275238 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324264 275238 2336 1147 0 311691 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 1301248 KiB
Current children cumulated memory: 1103896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/259 44101
/proc/meminfo: memFree=115718180/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297468 memory=1101080 CPUtime=3450.92 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181812 0 0 0 343924 1168 0 0 20 0 1 0 49322548 1328607232 275270 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324367 275270 2336 1147 0 311794 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1104024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/259 44103
/proc/meminfo: memFree=115599568/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297468 memory=1101080 CPUtime=3510.72 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181812 0 0 0 349890 1182 0 0 20 0 1 0 49322548 1328607232 275270 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324367 275270 2336 1147 0 311794 0
Current children cumulated CPU time: 3510.72 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1104024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/259 44105
/proc/meminfo: memFree=115407936/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297468 memory=1115672 CPUtime=3570.54 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181826 0 0 0 355855 1199 0 0 20 0 1 0 49322548 1328607232 278918 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324367 278918 2336 1147 0 311794 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1118616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 44107
/proc/meminfo: memFree=115301788/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297468 memory=1131160 CPUtime=3600.05 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181917 0 0 0 358800 1205 0 0 20 0 1 0 49322548 1328607232 282790 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324367 282790 2336 1147 0 311794 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1134104 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3588.01 s, system=12.0621 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+3611.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 44107
/proc/meminfo: memFree=115301788/131382120 swapFree=33010684/33010684
[pid=43802] ppid=43799 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/43802/stat : 43802 (run-opt-log.sh) S 43799 43802 41409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 49322546 4292608 736 18446744073709551615 93929159524352 93929160418885 140721980931008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93929160657936 93929160705680 93929171513344 140721980938529 140721980938724 140721980938724 140721980944326 0
/proc/43802/statm: 1048 736 672 219 0 110 0
[pid=43804] ppid=43802 vsize=1297468 memory=1131160 CPUtime=3600.05 cores=5,7
/proc/43804/stat : 43804 (roundingsat) R 43802 43802 41409 0 -1 4194304 181917 0 0 0 358800 1205 0 0 20 0 1 0 49322548 1328607232 282790 18446744073709551615 4227072 8923433 140729227808720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24150016 140729227815250 140729227815464 140729227815464 140729227821034 0
/proc/43804/statm: 324367 282790 2336 1147 0 311794 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1301660 KiB
Current children cumulated memory: 1134104 KiB

Child status: 2

Real time (s): 3611.94
CPU time (s): 3600.08
CPU user time (s): 3588.01
CPU system time (s): 12.0621
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 1301660
Max. memory (cumulated for all children) (KiB): 1134104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.01
system time used= 12.0621
maximum resident set size= 1131544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5883928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 972
involuntary context switches= 4941


# summary of solver processes directly reported to runsolver:
#   pid: 43802,43804
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3588.01
#   total CPU system time (s): 12.0621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5128 second user time and 37.8738 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 04:20:38
IDJOB=4488587
IDBENCH=147524
IDSOLVER=3351
FILE ID=nodeC003/4488587-1751336438
RUNJOBID= nodeC003-1751329194-41422
SLURM_JOB_ID= 9594376
Free space on /tmp= 432732 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488587-1751336438/watcher-4488587-1751336438 -o /tmp/evaluation-result-4488587-1751336438/solver-4488587-1751336438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41422 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488587-1751336438.opb PROOFDIR/proof-4488587-1751336438

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

MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=1965500435

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.667
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.44
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.256
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.44
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		: 3700.000
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.556
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.44
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		: 3491.796
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.44
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.116
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.44
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.44
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		: 2094.755
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        96667304 kB
MemAvailable:   128788204 kB
Buffers:            3280 kB
Cached:         32892448 kB
SwapCached:            0 kB
Active:          1456604 kB
Inactive:       32642940 kB
Active(anon):    1221848 kB
Inactive(anon):        0 kB
Active(file):     234756 kB
Inactive(file): 32642940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14484 kB
Writeback:            12 kB
AnonPages:       1206960 kB
Mapped:           112844 kB
Shmem:             17960 kB
KReclaimable:     165664 kB
Slab:             251608 kB
SReclaimable:     165664 kB
SUnreclaim:        85944 kB
KernelStack:        4080 kB
PageTables:         5776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1747632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC003 at 2025-07-01 05:20:51