Trace number 4488816

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.05 3609.71

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
MD5SUM40249833eecc795c9ed736ead45c4ff1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1034
Best CPU time to get the best result obtained on this benchmark15154.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1965
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 1965
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 1965
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 1965
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.04	c #variables 1965 #constraints 4000
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.013331
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.01443
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.019476
0.00/0.06	c GLOBAL bounds - >= 0 @ 0.025304
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.033254
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.03972
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.054324
0.07/0.12	c GLOBAL bounds - >= 0 @ 0.076256
0.07/0.15	c GLOBAL bounds - >= 0 @ 0.109455
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.129079
0.07/0.19	c GLOBAL bounds - >= 0 @ 0.15178
0.18/0.22	c GLOBAL bounds - >= 0 @ 0.171605
0.18/0.25	c GLOBAL bounds - >= 0 @ 0.198145
0.18/0.27	c GLOBAL bounds - >= 0 @ 0.220643
0.27/0.31	c GLOBAL bounds - >= 0 @ 0.257102
0.27/0.33	c GLOBAL bounds - >= 0 @ 0.283652
0.27/0.36	c GLOBAL bounds - >= 0 @ 0.313281
0.37/0.41	c GLOBAL bounds - >= 0 @ 0.36016
0.37/0.45	c GLOBAL bounds - >= 0 @ 0.395237
0.37/0.49	c GLOBAL bounds - >= 0 @ 0.435217
0.47/0.56	c GLOBAL bounds - >= 0 @ 0.50287
0.57/0.65	c GLOBAL bounds - >= 0 @ 0.586728
0.67/0.71	c GLOBAL bounds - >= 0 @ 0.642707
0.77/0.87	c GLOBAL bounds - >= 0 @ 0.809193
0.96/1.04	c #Conflicts:       1000 | #Constraints:       5044
0.96/1.04	c GLOBAL bounds - >= 0 @ 0.969734
1.17/1.25	c GLOBAL bounds - >= 0 @ 1.17281
1.36/1.46	c GLOBAL bounds - >= 0 @ 1.37296
1.56/1.69	c GLOBAL bounds - >= 0 @ 1.59877
1.76/1.84	c GLOBAL bounds - >= 0 @ 1.74937
2.06/2.14	c GLOBAL bounds - >= 0 @ 2.04917
2.46/2.55	c #Conflicts:       2000 | #Constraints:       6056
2.46/2.55	c INPROCESSING
2.46/2.55	c GARBAGE COLLECT
2.46/2.55	c GLOBAL bounds - >= 0 @ 2.44682
2.66/2.70	c GLOBAL bounds - >= 0 @ 2.59187
2.76/2.80	c GLOBAL bounds - >= 0 @ 2.69609
2.86/2.99	c GLOBAL bounds - >= 0 @ 2.87781
2.96/3.09	c GLOBAL bounds - >= 0 @ 2.98471
3.16/3.22	c GLOBAL bounds - >= 0 @ 3.10597
3.26/3.34	c GLOBAL bounds - >= 0 @ 3.22738
3.46/3.58	c GLOBAL bounds - >= 0 @ 3.46049
3.65/3.71	c GLOBAL bounds - >= 0 @ 3.58521
3.76/3.88	c GLOBAL bounds - >= 0 @ 3.75211
3.96/4.07	c #Conflicts:       3000 | #Constraints:       6136
3.96/4.07	c GLOBAL bounds - >= 0 @ 3.93245
4.16/4.27	c GLOBAL bounds - >= 0 @ 4.12431
4.35/4.46	c GLOBAL bounds - >= 0 @ 4.30525
4.56/4.65	c GLOBAL bounds - >= 0 @ 4.49301
4.75/4.83	c GLOBAL bounds - >= 0 @ 4.66661
5.06/5.17	c GLOBAL bounds - >= 0 @ 4.99717
5.35/5.47	c GLOBAL bounds - >= 0 @ 5.29833
5.65/5.76	c GLOBAL bounds - >= 0 @ 5.58738
5.86/5.92	c GLOBAL bounds - >= 0 @ 5.73757
6.15/6.25	c #Conflicts:       4000 | #Constraints:       7154
6.15/6.25	c GLOBAL bounds - >= 0 @ 6.06587
6.45/6.56	c GLOBAL bounds - >= 0 @ 6.37217
6.85/6.97	c INPROCESSING
6.85/6.97	c GARBAGE COLLECT
6.85/6.97	c GLOBAL bounds - >= 0 @ 6.77542
6.95/7.08	c GLOBAL bounds - >= 0 @ 6.88648
7.15/7.21	c GLOBAL bounds - >= 0 @ 7.01848
7.34/7.45	c GLOBAL bounds - >= 0 @ 7.24797
7.44/7.56	c GLOBAL bounds - >= 0 @ 7.36012
7.64/7.71	c GLOBAL bounds - >= 0 @ 7.51178
7.74/7.86	c GLOBAL bounds - >= 0 @ 7.66353
7.96/8.09	c #Conflicts:       5000 | #Constraints:       6561
7.96/8.09	c GLOBAL bounds - >= 0 @ 7.88201
8.15/8.20	c GLOBAL bounds - >= 0 @ 7.99532
8.35/8.44	c GLOBAL bounds - >= 0 @ 8.23024
8.45/8.56	c GLOBAL bounds - >= 0 @ 8.34774
8.65/8.79	c GLOBAL bounds - >= 0 @ 8.57666
8.84/8.92	c GLOBAL bounds - >= 0 @ 8.69858
8.95/9.07	c GLOBAL bounds - >= 0 @ 8.85217
9.25/9.31	c GLOBAL bounds - >= 0 @ 9.08838
9.34/9.44	c GLOBAL bounds - >= 0 @ 9.21187
9.64/9.71	c GLOBAL bounds - >= 0 @ 9.47104
9.74/9.85	c GLOBAL bounds - >= 0 @ 9.60825
10.04/10.13	c GLOBAL bounds - >= 0 @ 9.88872
10.14/10.28	c #Conflicts:       6000 | #Constraints:       7585
10.14/10.28	c GLOBAL bounds - >= 0 @ 10.0334
10.34/10.46	c GLOBAL bounds - >= 0 @ 10.2091
10.64/10.74	c GLOBAL bounds - >= 0 @ 10.4893
10.74/10.89	c GLOBAL bounds - >= 0 @ 10.6404
10.94/11.08	c GLOBAL bounds - >= 0 @ 10.8244
11.14/11.27	c GLOBAL bounds - >= 0 @ 11.0085
11.33/11.45	c GLOBAL bounds - >= 0 @ 11.1933
11.83/11.91	c INPROCESSING
11.83/11.91	c GARBAGE COLLECT
11.83/11.91	c GLOBAL bounds - >= 0 @ 11.6253
11.94/12.01	c GLOBAL bounds - >= 0 @ 11.7306
12.04/12.15	c GLOBAL bounds - >= 0 @ 11.8678
12.24/12.30	c GLOBAL bounds - >= 0 @ 12.0158
12.33/12.45	c GLOBAL bounds - >= 0 @ 12.1616
12.43/12.58	c #Conflicts:       7000 | #Constraints:       6599
12.43/12.58	c GLOBAL bounds - >= 0 @ 12.2877
12.63/12.79	c GLOBAL bounds - >= 0 @ 12.4629
12.84/12.94	c GLOBAL bounds - >= 0 @ 12.6187
13.04/13.14	c GLOBAL bounds - >= 0 @ 12.8147
13.23/13.39	c GLOBAL bounds - >= 0 @ 13.0559
13.44/13.59	c GLOBAL bounds - >= 0 @ 13.2458
13.63/13.77	c GLOBAL bounds - >= 0 @ 13.4258
13.84/13.96	c GLOBAL bounds - >= 0 @ 13.6118
14.04/14.17	c #Conflicts:       8000 | #Constraints:       7615
14.04/14.17	c GLOBAL bounds - >= 0 @ 13.8168
14.23/14.36	c GLOBAL bounds - >= 0 @ 14.0036
14.43/14.53	c GLOBAL bounds - >= 0 @ 14.1688
14.63/14.73	c GLOBAL bounds - >= 0 @ 14.365
14.83/14.93	c GLOBAL bounds - >= 0 @ 14.5594
15.03/15.13	c GLOBAL bounds - >= 0 @ 14.7615
15.23/15.33	c GLOBAL bounds - >= 0 @ 14.9593
15.43/15.53	c GLOBAL bounds - >= 0 @ 15.1609
15.63/15.74	c #Conflicts:       9000 | #Constraints:       8631
15.63/15.74	c GLOBAL bounds - >= 0 @ 15.3621
15.83/15.92	c GLOBAL bounds - >= 0 @ 15.5363
16.22/16.38	c INPROCESSING
16.22/16.38	c GARBAGE COLLECT
16.22/16.38	c GLOBAL bounds - >= 0 @ 15.9906
16.42/16.50	c GLOBAL bounds - >= 0 @ 16.1117
16.62/16.76	c GLOBAL bounds - >= 0 @ 16.366
16.83/16.99	c GLOBAL bounds - >= 0 @ 16.5944
17.03/17.13	c GLOBAL bounds - >= 0 @ 16.7293
17.32/17.42	c GLOBAL bounds - >= 0 @ 17.0182
17.52/17.69	c GLOBAL bounds - >= 0 @ 17.2854
17.93/18.00	c #Conflicts:      10000 | #Constraints:       7379
17.93/18.00	c GLOBAL bounds - >= 0 @ 17.5922
18.22/18.30	c GLOBAL bounds - >= 0 @ 17.892
18.32/18.47	c GLOBAL bounds - >= 0 @ 18.0551
18.62/18.72	c GLOBAL bounds - >= 0 @ 18.2991
19.12/19.29	c GLOBAL bounds - >= 0 @ 18.8626
19.61/19.71	c #Conflicts:      11000 | #Constraints:       8389
19.61/19.71	c GLOBAL bounds - >= 0 @ 19.2847
19.92/20.03	c GLOBAL bounds - >= 0 @ 19.594
20.22/20.34	c GLOBAL bounds - >= 0 @ 19.9014
20.51/20.65	c GLOBAL bounds - >= 0 @ 20.2146
20.71/20.88	c GLOBAL bounds - >= 0 @ 20.4394
21.11/21.23	c GLOBAL bounds - >= 0 @ 20.7854
21.32/21.42	c GLOBAL bounds - >= 0 @ 20.9653
21.71/21.87	c #Conflicts:      12000 | #Constraints:       9403
21.71/21.87	c INPROCESSING
21.71/21.87	c GARBAGE COLLECT
21.71/21.87	c GLOBAL bounds - >= 0 @ 21.4082
21.91/22.02	c GLOBAL bounds - >= 0 @ 21.5622
22.11/22.26	c GLOBAL bounds - >= 0 @ 21.7976
22.41/22.58	c GLOBAL bounds - >= 0 @ 22.1071
22.92/23.01	c GLOBAL bounds - >= 0 @ 22.5268
23.21/23.33	c #Conflicts:      13000 | #Constraints:       7879
23.21/23.33	c GLOBAL bounds - >= 0 @ 22.8445
24.60/24.71	c GLOBAL bounds - >= 0 @ 24.2113
24.90/25.09	c #Conflicts:      14000 | #Constraints:       8883
24.90/25.09	c GLOBAL bounds - >= 0 @ 24.5908
25.20/25.39	c GLOBAL bounds - >= 0 @ 24.8894
32.49/32.68	c #Conflicts:      15000 | #Constraints:       9887
32.49/32.68	c INPROCESSING
32.49/32.68	c GARBAGE COLLECT
32.49/32.68	c #Conflicts:      16000 | #Constraints:       8161
32.49/32.68	c #Conflicts:      17000 | #Constraints:       9161
32.49/32.68	c #Conflicts:      18000 | #Constraints:      10161
32.49/32.68	c INPROCESSING
32.49/32.68	c GARBAGE COLLECT
32.49/32.68	c GLOBAL bounds - >= 0 @ 32.1117
44.65/44.80	c #Conflicts:      19000 | #Constraints:       8199
44.65/44.80	c #Conflicts:      20000 | #Constraints:       9199
44.65/44.80	c #Conflicts:      21000 | #Constraints:      10199
44.65/44.80	c INPROCESSING
44.65/44.80	c GARBAGE COLLECT
44.65/44.80	c #Conflicts:      22000 | #Constraints:       8027
44.65/44.80	c #Conflicts:      23000 | #Constraints:       9027
44.65/44.80	c GLOBAL bounds - >= 0 @ 44.1481
46.75/46.91	c #Conflicts:      24000 | #Constraints:      10029
46.75/46.91	c GLOBAL bounds - >= 0 @ 46.2494
51.95/52.18	c #Conflicts:      25000 | #Constraints:      11031
51.95/52.18	c INPROCESSING
51.95/52.18	c GARBAGE COLLECT
51.95/52.18	c #Conflicts:      26000 | #Constraints:       8634
51.95/52.18	c GLOBAL bounds - >= 0 @ 51.4829
74.79/75.05	c #Conflicts:      27000 | #Constraints:       9636
74.79/75.05	c #Conflicts:      28000 | #Constraints:      10636
74.79/75.05	c #Conflicts:      29000 | #Constraints:      11636
74.79/75.05	c INPROCESSING
74.79/75.05	c GARBAGE COLLECT
74.79/75.05	c #Conflicts:      30000 | #Constraints:       9035
74.79/75.05	c #Conflicts:      31000 | #Constraints:      10035
74.79/75.05	c #Conflicts:      32000 | #Constraints:      11035
74.79/75.05	c #Conflicts:      33000 | #Constraints:      12035
74.79/75.05	c INPROCESSING
74.79/75.05	c GARBAGE COLLECT
74.79/75.05	c #Conflicts:      34000 | #Constraints:       9228
74.79/75.05	c GLOBAL bounds - >= 0 @ 74.2003
109.99/110.34	c #Conflicts:      35000 | #Constraints:      10230
109.99/110.34	c #Conflicts:      36000 | #Constraints:      11230
109.99/110.34	c #Conflicts:      37000 | #Constraints:      12230
109.99/110.34	c INPROCESSING
109.99/110.34	c GARBAGE COLLECT
109.99/110.34	c #Conflicts:      38000 | #Constraints:       9223
109.99/110.34	c #Conflicts:      39000 | #Constraints:      10223
109.99/110.34	c #Conflicts:      40000 | #Constraints:      11223
109.99/110.34	c #Conflicts:      41000 | #Constraints:      12223
109.99/110.34	c INPROCESSING
109.99/110.34	c GARBAGE COLLECT
109.99/110.34	c #Conflicts:      42000 | #Constraints:       9016
109.99/110.34	c #Conflicts:      43000 | #Constraints:      10016
109.99/110.34	c #Conflicts:      44000 | #Constraints:      11016
109.99/110.34	c #Conflicts:      45000 | #Constraints:      12016
109.99/110.34	c #Conflicts:      46000 | #Constraints:      13016
109.99/110.34	c INPROCESSING
109.99/110.34	c GARBAGE COLLECT
109.99/110.34	c GLOBAL bounds - >= 0 @ 109.279
175.93/176.48	c #Conflicts:      47000 | #Constraints:       9616
175.93/176.48	c #Conflicts:      48000 | #Constraints:      10616
175.93/176.48	c #Conflicts:      49000 | #Constraints:      11616
175.93/176.48	c #Conflicts:      50000 | #Constraints:      12616
175.93/176.48	c #Conflicts:      51000 | #Constraints:      13616
175.93/176.48	c INPROCESSING
175.93/176.48	c GARBAGE COLLECT
175.93/176.48	c #Conflicts:      52000 | #Constraints:      10005
175.93/176.48	c #Conflicts:      53000 | #Constraints:      11005
175.93/176.48	c #Conflicts:      54000 | #Constraints:      12005
175.93/176.48	c #Conflicts:      55000 | #Constraints:      13005
175.93/176.48	c #Conflicts:      56000 | #Constraints:      14005
175.93/176.48	c INPROCESSING
175.93/176.48	c GARBAGE COLLECT
175.93/176.48	c #Conflicts:      57000 | #Constraints:      10204
175.93/176.48	c #Conflicts:      58000 | #Constraints:      11204
175.93/176.48	c #Conflicts:      59000 | #Constraints:      12204
175.93/176.48	c #Conflicts:      60000 | #Constraints:      13204
175.93/176.48	c #Conflicts:      61000 | #Constraints:      14204
175.93/176.48	c INPROCESSING
175.93/176.48	c GARBAGE COLLECT
175.93/176.48	c #Conflicts:      62000 | #Constraints:      10204
175.93/176.48	c #Conflicts:      63000 | #Constraints:      11204
175.93/176.48	c #Conflicts:      64000 | #Constraints:      12204
175.93/176.48	c GLOBAL bounds - >= 0 @ 175.001
201.86/202.43	c #Conflicts:      65000 | #Constraints:      13206
201.86/202.43	c #Conflicts:      66000 | #Constraints:      14206
201.86/202.43	c INPROCESSING
201.86/202.43	c GARBAGE COLLECT
201.86/202.43	c #Conflicts:      67000 | #Constraints:      10020
201.86/202.43	c #Conflicts:      68000 | #Constraints:      11020
201.86/202.43	c #Conflicts:      69000 | #Constraints:      12020
201.86/202.43	c #Conflicts:      70000 | #Constraints:      13020
201.86/202.43	c #Conflicts:      71000 | #Constraints:      14020
201.86/202.43	c #Conflicts:      72000 | #Constraints:      15020
201.86/202.43	c INPROCESSING
201.86/202.43	c GARBAGE COLLECT
201.86/202.43	c #Conflicts:      73000 | #Constraints:      10634
201.86/202.43	c GLOBAL bounds - >= 0 @ 200.798
233.58/234.28	c #Conflicts:      74000 | #Constraints:      11636
233.58/234.28	c #Conflicts:      75000 | #Constraints:      12636
233.58/234.28	c #Conflicts:      76000 | #Constraints:      13636
233.58/234.28	c #Conflicts:      77000 | #Constraints:      14636
233.58/234.28	c #Conflicts:      78000 | #Constraints:      15636
233.58/234.28	c INPROCESSING
233.58/234.28	c GARBAGE COLLECT
233.58/234.28	c #Conflicts:      79000 | #Constraints:      11035
233.58/234.28	c #Conflicts:      80000 | #Constraints:      12035
233.58/234.28	c #Conflicts:      81000 | #Constraints:      13035
233.58/234.28	c #Conflicts:      82000 | #Constraints:      14035
233.58/234.28	c #Conflicts:      83000 | #Constraints:      15035
233.58/234.28	c #Conflicts:      84000 | #Constraints:      16035
233.58/234.28	c INPROCESSING
233.58/234.28	c GARBAGE COLLECT
233.58/234.28	c GLOBAL bounds - >= 0 @ 232.436
516.75/518.12	c #Conflicts:      85000 | #Constraints:      11253
516.75/518.12	c #Conflicts:      86000 | #Constraints:      12253
516.75/518.12	c #Conflicts:      87000 | #Constraints:      13253
516.75/518.12	c #Conflicts:      88000 | #Constraints:      14253
516.75/518.12	c #Conflicts:      89000 | #Constraints:      15253
516.75/518.12	c #Conflicts:      90000 | #Constraints:      16253
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:      91000 | #Constraints:      11250
516.75/518.12	c #Conflicts:      92000 | #Constraints:      12250
516.75/518.12	c #Conflicts:      93000 | #Constraints:      13250
516.75/518.12	c #Conflicts:      94000 | #Constraints:      14250
516.75/518.12	c #Conflicts:      95000 | #Constraints:      15250
516.75/518.12	c #Conflicts:      96000 | #Constraints:      16250
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:      97000 | #Constraints:      11049
516.75/518.12	c #Conflicts:      98000 | #Constraints:      12049
516.75/518.12	c #Conflicts:      99000 | #Constraints:      13049
516.75/518.12	c #Conflicts:     100000 | #Constraints:      14049
516.75/518.12	c #Conflicts:     101000 | #Constraints:      15049
516.75/518.12	c #Conflicts:     102000 | #Constraints:      16049
516.75/518.12	c #Conflicts:     103000 | #Constraints:      17049
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     104000 | #Constraints:      11651
516.75/518.12	c #Conflicts:     105000 | #Constraints:      12651
516.75/518.12	c #Conflicts:     106000 | #Constraints:      13651
516.75/518.12	c #Conflicts:     107000 | #Constraints:      14651
516.75/518.12	c #Conflicts:     108000 | #Constraints:      15651
516.75/518.12	c #Conflicts:     109000 | #Constraints:      16651
516.75/518.12	c #Conflicts:     110000 | #Constraints:      17651
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     111000 | #Constraints:      12037
516.75/518.12	c #Conflicts:     112000 | #Constraints:      13037
516.75/518.12	c #Conflicts:     113000 | #Constraints:      14037
516.75/518.12	c #Conflicts:     114000 | #Constraints:      15037
516.75/518.12	c #Conflicts:     115000 | #Constraints:      16037
516.75/518.12	c #Conflicts:     116000 | #Constraints:      17037
516.75/518.12	c #Conflicts:     117000 | #Constraints:      18037
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     118000 | #Constraints:      12239
516.75/518.12	c #Conflicts:     119000 | #Constraints:      13239
516.75/518.12	c #Conflicts:     120000 | #Constraints:      14239
516.75/518.12	c #Conflicts:     121000 | #Constraints:      15239
516.75/518.12	c #Conflicts:     122000 | #Constraints:      16239
516.75/518.12	c #Conflicts:     123000 | #Constraints:      17239
516.75/518.12	c #Conflicts:     124000 | #Constraints:      18239
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     125000 | #Constraints:      12236
516.75/518.12	c #Conflicts:     126000 | #Constraints:      13236
516.75/518.12	c #Conflicts:     127000 | #Constraints:      14236
516.75/518.12	c #Conflicts:     128000 | #Constraints:      15236
516.75/518.12	c #Conflicts:     129000 | #Constraints:      16236
516.75/518.12	c #Conflicts:     130000 | #Constraints:      17236
516.75/518.12	c #Conflicts:     131000 | #Constraints:      18236
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     132000 | #Constraints:      12046
516.75/518.12	c #Conflicts:     133000 | #Constraints:      13046
516.75/518.12	c #Conflicts:     134000 | #Constraints:      14046
516.75/518.12	c #Conflicts:     135000 | #Constraints:      15046
516.75/518.12	c #Conflicts:     136000 | #Constraints:      16046
516.75/518.12	c #Conflicts:     137000 | #Constraints:      17046
516.75/518.12	c #Conflicts:     138000 | #Constraints:      18046
516.75/518.12	c #Conflicts:     139000 | #Constraints:      19046
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     140000 | #Constraints:      12650
516.75/518.12	c #Conflicts:     141000 | #Constraints:      13650
516.75/518.12	c #Conflicts:     142000 | #Constraints:      14650
516.75/518.12	c #Conflicts:     143000 | #Constraints:      15650
516.75/518.12	c #Conflicts:     144000 | #Constraints:      16650
516.75/518.12	c #Conflicts:     145000 | #Constraints:      17650
516.75/518.12	c #Conflicts:     146000 | #Constraints:      18650
516.75/518.12	c #Conflicts:     147000 | #Constraints:      19650
516.75/518.12	c INPROCESSING
516.75/518.12	c GARBAGE COLLECT
516.75/518.12	c #Conflicts:     148000 | #Constraints:      13034
516.75/518.12	c #Conflicts:     149000 | #Constraints:      14034
516.75/518.12	c #Conflicts:     150000 | #Constraints:      15034
516.75/518.12	c #Conflicts:     151000 | #Constraints:      16034
516.75/518.12	c #Conflicts:     152000 | #Constraints:      17034
516.75/518.12	c #Conflicts:     153000 | #Constraints:      18034
516.75/518.12	c GLOBAL bounds - >= 0 @ 514.816
523.52/524.92	c #Conflicts:     154000 | #Constraints:      19036
523.52/524.92	c #Conflicts:     155000 | #Constraints:      20036
523.52/524.92	c INPROCESSING
523.52/524.92	c GARBAGE COLLECT
523.52/524.92	c GLOBAL bounds - >= 0 @ 521.579
577.78/579.38	c #Conflicts:     156000 | #Constraints:      13283
577.78/579.38	c #Conflicts:     157000 | #Constraints:      14283
577.78/579.38	c #Conflicts:     158000 | #Constraints:      15283
577.78/579.38	c #Conflicts:     159000 | #Constraints:      16283
577.78/579.38	c #Conflicts:     160000 | #Constraints:      17283
577.78/579.38	c #Conflicts:     161000 | #Constraints:      18283
577.78/579.38	c #Conflicts:     162000 | #Constraints:      19283
577.78/579.38	c #Conflicts:     163000 | #Constraints:      20283
577.78/579.38	c INPROCESSING
577.78/579.38	c GARBAGE COLLECT
577.78/579.38	c #Conflicts:     164000 | #Constraints:      13276
577.78/579.38	c #Conflicts:     165000 | #Constraints:      14276
577.78/579.38	c #Conflicts:     166000 | #Constraints:      15276
577.78/579.38	c #Conflicts:     167000 | #Constraints:      16276
577.78/579.38	c #Conflicts:     168000 | #Constraints:      17276
577.78/579.38	c #Conflicts:     169000 | #Constraints:      18276
577.78/579.38	c #Conflicts:     170000 | #Constraints:      19276
577.78/579.38	c #Conflicts:     171000 | #Constraints:      20276
577.78/579.38	c INPROCESSING
577.78/579.38	c GARBAGE COLLECT
577.78/579.38	c GLOBAL bounds - >= 0 @ 575.742
741.39/743.34	c #Conflicts:     172000 | #Constraints:      13058
741.39/743.34	c #Conflicts:     173000 | #Constraints:      14058
741.39/743.34	c #Conflicts:     174000 | #Constraints:      15058
741.39/743.34	c #Conflicts:     175000 | #Constraints:      16058
741.39/743.34	c #Conflicts:     176000 | #Constraints:      17058
741.39/743.34	c #Conflicts:     177000 | #Constraints:      18058
741.39/743.34	c #Conflicts:     178000 | #Constraints:      19058
741.39/743.34	c #Conflicts:     179000 | #Constraints:      20058
741.39/743.34	c #Conflicts:     180000 | #Constraints:      21058
741.39/743.34	c INPROCESSING
741.39/743.34	c GARBAGE COLLECT
741.39/743.34	c #Conflicts:     181000 | #Constraints:      13647
741.39/743.34	c #Conflicts:     182000 | #Constraints:      14647
741.39/743.34	c #Conflicts:     183000 | #Constraints:      15647
741.39/743.34	c #Conflicts:     184000 | #Constraints:      16647
741.39/743.34	c #Conflicts:     185000 | #Constraints:      17647
741.39/743.34	c #Conflicts:     186000 | #Constraints:      18647
741.39/743.34	c #Conflicts:     187000 | #Constraints:      19647
741.39/743.34	c #Conflicts:     188000 | #Constraints:      20647
741.39/743.34	c #Conflicts:     189000 | #Constraints:      21647
741.39/743.34	c INPROCESSING
741.39/743.34	c GARBAGE COLLECT
741.39/743.34	c #Conflicts:     190000 | #Constraints:      14037
741.39/743.34	c #Conflicts:     191000 | #Constraints:      15037
741.39/743.34	c #Conflicts:     192000 | #Constraints:      16037
741.39/743.34	c #Conflicts:     193000 | #Constraints:      17037
741.39/743.34	c #Conflicts:     194000 | #Constraints:      18037
741.39/743.34	c #Conflicts:     195000 | #Constraints:      19037
741.39/743.34	c #Conflicts:     196000 | #Constraints:      20037
741.39/743.34	c #Conflicts:     197000 | #Constraints:      21037
741.39/743.34	c #Conflicts:     198000 | #Constraints:      22037
741.39/743.34	c INPROCESSING
741.39/743.34	c GARBAGE COLLECT
741.39/743.34	c #Conflicts:     199000 | #Constraints:      14237
741.39/743.34	c #Conflicts:     200000 | #Constraints:      15237
741.39/743.34	c #Conflicts:     201000 | #Constraints:      16237
741.39/743.34	c #Conflicts:     202000 | #Constraints:      17237
741.39/743.34	c #Conflicts:     203000 | #Constraints:      18237
741.39/743.34	c #Conflicts:     204000 | #Constraints:      19237
741.39/743.34	c #Conflicts:     205000 | #Constraints:      20237
741.39/743.34	c #Conflicts:     206000 | #Constraints:      21237
741.39/743.34	c #Conflicts:     207000 | #Constraints:      22237
741.39/743.34	c INPROCESSING
741.39/743.34	c GARBAGE COLLECT
741.39/743.34	c #Conflicts:     208000 | #Constraints:      14237
741.39/743.34	c #Conflicts:     209000 | #Constraints:      15237
741.39/743.34	c #Conflicts:     210000 | #Constraints:      16237
741.39/743.34	c #Conflicts:     211000 | #Constraints:      17237
741.39/743.34	c #Conflicts:     212000 | #Constraints:      18237
741.39/743.34	c #Conflicts:     213000 | #Constraints:      19237
741.39/743.34	c #Conflicts:     214000 | #Constraints:      20237
741.39/743.34	c #Conflicts:     215000 | #Constraints:      21237
741.39/743.34	c #Conflicts:     216000 | #Constraints:      22237
741.39/743.34	c INPROCESSING
741.39/743.34	c GARBAGE COLLECT
741.39/743.34	c GLOBAL bounds - >= 0 @ 738.872
867.67/869.92	c #Conflicts:     217000 | #Constraints:      14037
867.67/869.92	c #Conflicts:     218000 | #Constraints:      15037
867.67/869.92	c #Conflicts:     219000 | #Constraints:      16037
867.67/869.92	c #Conflicts:     220000 | #Constraints:      17037
867.67/869.92	c #Conflicts:     221000 | #Constraints:      18037
867.67/869.92	c #Conflicts:     222000 | #Constraints:      19037
867.67/869.92	c #Conflicts:     223000 | #Constraints:      20037
867.67/869.92	c #Conflicts:     224000 | #Constraints:      21037
867.67/869.92	c #Conflicts:     225000 | #Constraints:      22037
867.67/869.92	c #Conflicts:     226000 | #Constraints:      23037
867.67/869.92	c INPROCESSING
867.67/869.92	c GARBAGE COLLECT
867.67/869.92	c #Conflicts:     227000 | #Constraints:      14651
867.67/869.92	c #Conflicts:     228000 | #Constraints:      15651
867.67/869.92	c #Conflicts:     229000 | #Constraints:      16651
867.67/869.92	c #Conflicts:     230000 | #Constraints:      17651
867.67/869.92	c #Conflicts:     231000 | #Constraints:      18651
867.67/869.92	c #Conflicts:     232000 | #Constraints:      19651
867.67/869.92	c #Conflicts:     233000 | #Constraints:      20651
867.67/869.92	c #Conflicts:     234000 | #Constraints:      21651
867.67/869.92	c #Conflicts:     235000 | #Constraints:      22651
867.67/869.92	c #Conflicts:     236000 | #Constraints:      23651
867.67/869.92	c INPROCESSING
867.67/869.92	c GARBAGE COLLECT
867.67/869.92	c #Conflicts:     237000 | #Constraints:      15050
867.67/869.92	c #Conflicts:     238000 | #Constraints:      16050
867.67/869.92	c #Conflicts:     239000 | #Constraints:      17050
867.67/869.92	c #Conflicts:     240000 | #Constraints:      18050
867.67/869.92	c #Conflicts:     241000 | #Constraints:      19050
867.67/869.92	c #Conflicts:     242000 | #Constraints:      20050
867.67/869.92	c #Conflicts:     243000 | #Constraints:      21050
867.67/869.92	c GLOBAL bounds - >= 0 @ 864.885
889.41/891.74	c #Conflicts:     244000 | #Constraints:      22052
889.41/891.74	c #Conflicts:     245000 | #Constraints:      23052
889.41/891.74	c #Conflicts:     246000 | #Constraints:      24052
889.41/891.74	c INPROCESSING
889.41/891.74	c GARBAGE COLLECT
889.41/891.74	c #Conflicts:     247000 | #Constraints:      15268
889.41/891.74	c #Conflicts:     248000 | #Constraints:      16268
889.41/891.74	c #Conflicts:     249000 | #Constraints:      17268
889.41/891.74	c #Conflicts:     250000 | #Constraints:      18268
889.41/891.74	c GLOBAL bounds - >= 0 @ 886.576
1062.97/1065.74	c #Conflicts:     251000 | #Constraints:      19270
1062.97/1065.74	c #Conflicts:     252000 | #Constraints:      20270
1062.97/1065.74	c #Conflicts:     253000 | #Constraints:      21270
1062.97/1065.74	c #Conflicts:     254000 | #Constraints:      22270
1062.97/1065.74	c #Conflicts:     255000 | #Constraints:      23270
1062.97/1065.74	c #Conflicts:     256000 | #Constraints:      24270
1062.97/1065.74	c INPROCESSING
1062.97/1065.74	c GARBAGE COLLECT
1062.97/1065.74	c #Conflicts:     257000 | #Constraints:      15261
1062.97/1065.74	c #Conflicts:     258000 | #Constraints:      16261
1062.97/1065.74	c #Conflicts:     259000 | #Constraints:      17261
1062.97/1065.74	c #Conflicts:     260000 | #Constraints:      18261
1062.97/1065.74	c #Conflicts:     261000 | #Constraints:      19261
1062.97/1065.74	c #Conflicts:     262000 | #Constraints:      20261
1062.97/1065.74	c #Conflicts:     263000 | #Constraints:      21261
1062.97/1065.74	c #Conflicts:     264000 | #Constraints:      22261
1062.97/1065.74	c #Conflicts:     265000 | #Constraints:      23261
1062.97/1065.74	c #Conflicts:     266000 | #Constraints:      24261
1062.97/1065.74	c INPROCESSING
1062.97/1065.74	c GARBAGE COLLECT
1062.97/1065.74	c #Conflicts:     267000 | #Constraints:      15053
1062.97/1065.74	c #Conflicts:     268000 | #Constraints:      16053
1062.97/1065.74	c #Conflicts:     269000 | #Constraints:      17053
1062.97/1065.74	c #Conflicts:     270000 | #Constraints:      18053
1062.97/1065.74	c #Conflicts:     271000 | #Constraints:      19053
1062.97/1065.74	c #Conflicts:     272000 | #Constraints:      20053
1062.97/1065.74	c #Conflicts:     273000 | #Constraints:      21053
1062.97/1065.74	c #Conflicts:     274000 | #Constraints:      22053
1062.97/1065.74	c #Conflicts:     275000 | #Constraints:      23053
1062.97/1065.74	c #Conflicts:     276000 | #Constraints:      24053
1062.97/1065.74	c #Conflicts:     277000 | #Constraints:      25053
1062.97/1065.74	c INPROCESSING
1062.97/1065.74	c GARBAGE COLLECT
1062.97/1065.74	c #Conflicts:     278000 | #Constraints:      15638
1062.97/1065.74	c #Conflicts:     279000 | #Constraints:      16638
1062.97/1065.74	c #Conflicts:     280000 | #Constraints:      17638
1062.97/1065.74	c #Conflicts:     281000 | #Constraints:      18638
1062.97/1065.74	c #Conflicts:     282000 | #Constraints:      19638
1062.97/1065.74	c #Conflicts:     283000 | #Constraints:      20638
1062.97/1065.74	c #Conflicts:     284000 | #Constraints:      21638
1062.97/1065.74	c #Conflicts:     285000 | #Constraints:      22638
1062.97/1065.74	c #Conflicts:     286000 | #Constraints:      23638
1062.97/1065.74	c #Conflicts:     287000 | #Constraints:      24638
1062.97/1065.74	c #Conflicts:     288000 | #Constraints:      25638
1062.97/1065.74	c INPROCESSING
1062.97/1065.74	c GARBAGE COLLECT
1062.97/1065.74	c #Conflicts:     289000 | #Constraints:      16041
1062.97/1065.74	c #Conflicts:     290000 | #Constraints:      17041
1062.97/1065.74	c #Conflicts:     291000 | #Constraints:      18041
1062.97/1065.74	c GLOBAL bounds - >= 0 @ 1059.71
1412.14/1415.83	c #Conflicts:     292000 | #Constraints:      19043
1412.14/1415.83	c #Conflicts:     293000 | #Constraints:      20043
1412.14/1415.83	c #Conflicts:     294000 | #Constraints:      21043
1412.14/1415.83	c #Conflicts:     295000 | #Constraints:      22043
1412.14/1415.83	c #Conflicts:     296000 | #Constraints:      23043
1412.14/1415.83	c #Conflicts:     297000 | #Constraints:      24043
1412.14/1415.83	c #Conflicts:     298000 | #Constraints:      25043
1412.14/1415.83	c #Conflicts:     299000 | #Constraints:      26043
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     300000 | #Constraints:      16247
1412.14/1415.83	c #Conflicts:     301000 | #Constraints:      17247
1412.14/1415.83	c #Conflicts:     302000 | #Constraints:      18247
1412.14/1415.83	c #Conflicts:     303000 | #Constraints:      19247
1412.14/1415.83	c #Conflicts:     304000 | #Constraints:      20247
1412.14/1415.83	c #Conflicts:     305000 | #Constraints:      21247
1412.14/1415.83	c #Conflicts:     306000 | #Constraints:      22247
1412.14/1415.83	c #Conflicts:     307000 | #Constraints:      23247
1412.14/1415.83	c #Conflicts:     308000 | #Constraints:      24247
1412.14/1415.83	c #Conflicts:     309000 | #Constraints:      25247
1412.14/1415.83	c #Conflicts:     310000 | #Constraints:      26247
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     311000 | #Constraints:      16240
1412.14/1415.83	c #Conflicts:     312000 | #Constraints:      17240
1412.14/1415.83	c #Conflicts:     313000 | #Constraints:      18240
1412.14/1415.83	c #Conflicts:     314000 | #Constraints:      19240
1412.14/1415.83	c #Conflicts:     315000 | #Constraints:      20240
1412.14/1415.83	c #Conflicts:     316000 | #Constraints:      21240
1412.14/1415.83	c #Conflicts:     317000 | #Constraints:      22240
1412.14/1415.83	c #Conflicts:     318000 | #Constraints:      23240
1412.14/1415.83	c #Conflicts:     319000 | #Constraints:      24240
1412.14/1415.83	c #Conflicts:     320000 | #Constraints:      25240
1412.14/1415.83	c #Conflicts:     321000 | #Constraints:      26240
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     322000 | #Constraints:      16042
1412.14/1415.83	c #Conflicts:     323000 | #Constraints:      17042
1412.14/1415.83	c #Conflicts:     324000 | #Constraints:      18042
1412.14/1415.83	c #Conflicts:     325000 | #Constraints:      19042
1412.14/1415.83	c #Conflicts:     326000 | #Constraints:      20042
1412.14/1415.83	c #Conflicts:     327000 | #Constraints:      21042
1412.14/1415.83	c #Conflicts:     328000 | #Constraints:      22042
1412.14/1415.83	c #Conflicts:     329000 | #Constraints:      23042
1412.14/1415.83	c #Conflicts:     330000 | #Constraints:      24042
1412.14/1415.83	c #Conflicts:     331000 | #Constraints:      25042
1412.14/1415.83	c #Conflicts:     332000 | #Constraints:      26042
1412.14/1415.83	c #Conflicts:     333000 | #Constraints:      27042
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     334000 | #Constraints:      16640
1412.14/1415.83	c #Conflicts:     335000 | #Constraints:      17640
1412.14/1415.83	c #Conflicts:     336000 | #Constraints:      18640
1412.14/1415.83	c #Conflicts:     337000 | #Constraints:      19640
1412.14/1415.83	c #Conflicts:     338000 | #Constraints:      20640
1412.14/1415.83	c #Conflicts:     339000 | #Constraints:      21640
1412.14/1415.83	c #Conflicts:     340000 | #Constraints:      22640
1412.14/1415.83	c #Conflicts:     341000 | #Constraints:      23640
1412.14/1415.83	c #Conflicts:     342000 | #Constraints:      24640
1412.14/1415.83	c #Conflicts:     343000 | #Constraints:      25640
1412.14/1415.83	c #Conflicts:     344000 | #Constraints:      26640
1412.14/1415.83	c #Conflicts:     345000 | #Constraints:      27640
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     346000 | #Constraints:      17048
1412.14/1415.83	c #Conflicts:     347000 | #Constraints:      18048
1412.14/1415.83	c #Conflicts:     348000 | #Constraints:      19048
1412.14/1415.83	c #Conflicts:     349000 | #Constraints:      20048
1412.14/1415.83	c #Conflicts:     350000 | #Constraints:      21048
1412.14/1415.83	c #Conflicts:     351000 | #Constraints:      22048
1412.14/1415.83	c #Conflicts:     352000 | #Constraints:      23048
1412.14/1415.83	c #Conflicts:     353000 | #Constraints:      24048
1412.14/1415.83	c #Conflicts:     354000 | #Constraints:      25048
1412.14/1415.83	c #Conflicts:     355000 | #Constraints:      26048
1412.14/1415.83	c #Conflicts:     356000 | #Constraints:      27048
1412.14/1415.83	c #Conflicts:     357000 | #Constraints:      28048
1412.14/1415.83	c INPROCESSING
1412.14/1415.83	c GARBAGE COLLECT
1412.14/1415.83	c #Conflicts:     358000 | #Constraints:      17237
1412.14/1415.83	c #Conflicts:     359000 | #Constraints:      18237
1412.14/1415.83	c #Conflicts:     360000 | #Constraints:      19237
1412.14/1415.83	c #Conflicts:     361000 | #Constraints:      20237
1412.14/1415.83	c #Conflicts:     362000 | #Constraints:      21237
1412.14/1415.83	c #Conflicts:     363000 | #Constraints:      22237
1412.14/1415.83	c #Conflicts:     364000 | #Constraints:      23237
1412.14/1415.83	c #Conflicts:     365000 | #Constraints:      24237
1412.14/1415.83	c #Conflicts:     366000 | #Constraints:      25237
1507.47/1511.40	c #Conflicts:     367000 | #Constraints:      26237
1507.47/1511.40	c #Conflicts:     368000 | #Constraints:      27237
1507.47/1511.40	c #Conflicts:     369000 | #Constraints:      28237
1507.47/1511.40	c INPROCESSING
1507.47/1511.40	c GARBAGE COLLECT
1507.47/1511.40	c #Conflicts:     370000 | #Constraints:      17254
1507.47/1511.40	c #Conflicts:     371000 | #Constraints:      18254
1507.47/1511.40	c #Conflicts:     372000 | #Constraints:      19254
1507.47/1511.40	c #Conflicts:     373000 | #Constraints:      20254
1507.47/1511.40	c #Conflicts:     374000 | #Constraints:      21254
1507.47/1511.40	c #Conflicts:     375000 | #Constraints:      22254
1507.47/1511.40	c #Conflicts:     376000 | #Constraints:      23254
1507.47/1511.40	c #Conflicts:     377000 | #Constraints:      24254
1507.47/1511.40	c #Conflicts:     378000 | #Constraints:      25254
1507.47/1511.40	c #Conflicts:     379000 | #Constraints:      26254
1507.47/1511.40	c #Conflicts:     380000 | #Constraints:      27254
1507.47/1511.40	c #Conflicts:     381000 | #Constraints:      28254
1507.47/1511.40	c INPROCESSING
1507.47/1511.40	c GARBAGE COLLECT
1507.47/1511.40	c #Conflicts:     382000 | #Constraints:      17054
1507.47/1511.40	c #Conflicts:     383000 | #Constraints:      18054
1507.47/1511.40	c GLOBAL bounds - >= 0 @ 1503.36
1828.70/1833.52	c #Conflicts:     384000 | #Constraints:      19056
1828.70/1833.52	c #Conflicts:     385000 | #Constraints:      20056
1828.70/1833.52	c #Conflicts:     386000 | #Constraints:      21056
1828.70/1833.52	c #Conflicts:     387000 | #Constraints:      22056
1828.70/1833.52	c #Conflicts:     388000 | #Constraints:      23056
1828.70/1833.52	c #Conflicts:     389000 | #Constraints:      24056
1828.70/1833.52	c #Conflicts:     390000 | #Constraints:      25056
1828.70/1833.52	c #Conflicts:     391000 | #Constraints:      26056
1828.70/1833.52	c #Conflicts:     392000 | #Constraints:      27056
1828.70/1833.52	c #Conflicts:     393000 | #Constraints:      28056
1828.70/1833.52	c #Conflicts:     394000 | #Constraints:      29056
1828.70/1833.52	c INPROCESSING
1828.70/1833.52	c GARBAGE COLLECT
1828.70/1833.52	c #Conflicts:     395000 | #Constraints:      17654
1828.70/1833.52	c #Conflicts:     396000 | #Constraints:      18654
1828.70/1833.52	c #Conflicts:     397000 | #Constraints:      19654
1828.70/1833.52	c #Conflicts:     398000 | #Constraints:      20654
1828.70/1833.52	c #Conflicts:     399000 | #Constraints:      21654
1828.70/1833.52	c #Conflicts:     400000 | #Constraints:      22654
1828.70/1833.52	c #Conflicts:     401000 | #Constraints:      23654
1828.70/1833.52	c #Conflicts:     402000 | #Constraints:      24654
1828.70/1833.52	c #Conflicts:     403000 | #Constraints:      25654
1828.70/1833.52	c #Conflicts:     404000 | #Constraints:      26654
1828.70/1833.52	c #Conflicts:     405000 | #Constraints:      27654
1828.70/1833.52	c #Conflicts:     406000 | #Constraints:      28654
1828.70/1833.52	c #Conflicts:     407000 | #Constraints:      29654
1828.70/1833.52	c INPROCESSING
1828.70/1833.52	c GARBAGE COLLECT
1828.70/1833.52	c #Conflicts:     408000 | #Constraints:      18051
1828.70/1833.52	c #Conflicts:     409000 | #Constraints:      19051
1828.70/1833.52	c #Conflicts:     410000 | #Constraints:      20051
1828.70/1833.52	c #Conflicts:     411000 | #Constraints:      21051
1828.70/1833.52	c #Conflicts:     412000 | #Constraints:      22051
1828.70/1833.52	c #Conflicts:     413000 | #Constraints:      23051
1828.70/1833.52	c #Conflicts:     414000 | #Constraints:      24051
1828.70/1833.52	c #Conflicts:     415000 | #Constraints:      25051
1828.70/1833.52	c #Conflicts:     416000 | #Constraints:      26051
1828.70/1833.52	c #Conflicts:     417000 | #Constraints:      27051
1828.70/1833.52	c #Conflicts:     418000 | #Constraints:      28051
1828.70/1833.52	c #Conflicts:     419000 | #Constraints:      29051
1828.70/1833.52	c #Conflicts:     420000 | #Constraints:      30051
1828.70/1833.52	c INPROCESSING
1828.70/1833.52	c GARBAGE COLLECT
1828.70/1833.52	c #Conflicts:     421000 | #Constraints:      18243
1828.70/1833.52	c #Conflicts:     422000 | #Constraints:      19243
1828.70/1833.52	c #Conflicts:     423000 | #Constraints:      20243
1828.70/1833.52	c #Conflicts:     424000 | #Constraints:      21243
1828.70/1833.52	c #Conflicts:     425000 | #Constraints:      22243
1828.70/1833.52	c #Conflicts:     426000 | #Constraints:      23243
1828.70/1833.52	c #Conflicts:     427000 | #Constraints:      24243
1828.70/1833.52	c #Conflicts:     428000 | #Constraints:      25243
1828.70/1833.52	c #Conflicts:     429000 | #Constraints:      26243
1828.70/1833.52	c #Conflicts:     430000 | #Constraints:      27243
1828.70/1833.52	c #Conflicts:     431000 | #Constraints:      28243
1828.70/1833.52	c #Conflicts:     432000 | #Constraints:      29243
1828.70/1833.52	c #Conflicts:     433000 | #Constraints:      30243
1828.70/1833.52	c INPROCESSING
1828.70/1833.52	c GARBAGE COLLECT
1828.70/1833.52	c #Conflicts:     434000 | #Constraints:      18247
1828.70/1833.52	c #Conflicts:     435000 | #Constraints:      19247
1828.70/1833.52	c #Conflicts:     436000 | #Constraints:      20247
1828.70/1833.52	c #Conflicts:     437000 | #Constraints:      21247
1828.70/1833.52	c #Conflicts:     438000 | #Constraints:      22247
1828.70/1833.52	c #Conflicts:     439000 | #Constraints:      23247
1828.70/1833.52	c #Conflicts:     440000 | #Constraints:      24247
1828.70/1833.52	c #Conflicts:     441000 | #Constraints:      25247
1828.70/1833.52	c #Conflicts:     442000 | #Constraints:      26247
1828.70/1833.52	c #Conflicts:     443000 | #Constraints:      27247
1828.70/1833.52	c GLOBAL bounds - >= 0 @ 1824.1
2114.63/2120.29	c #Conflicts:     444000 | #Constraints:      28249
2114.63/2120.29	c #Conflicts:     445000 | #Constraints:      29249
2114.63/2120.29	c #Conflicts:     446000 | #Constraints:      30249
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     447000 | #Constraints:      18064
2114.63/2120.29	c #Conflicts:     448000 | #Constraints:      19064
2114.63/2120.29	c #Conflicts:     449000 | #Constraints:      20064
2114.63/2120.29	c #Conflicts:     450000 | #Constraints:      21064
2114.63/2120.29	c #Conflicts:     451000 | #Constraints:      22064
2114.63/2120.29	c #Conflicts:     452000 | #Constraints:      23064
2114.63/2120.29	c #Conflicts:     453000 | #Constraints:      24064
2114.63/2120.29	c #Conflicts:     454000 | #Constraints:      25064
2114.63/2120.29	c #Conflicts:     455000 | #Constraints:      26064
2114.63/2120.29	c #Conflicts:     456000 | #Constraints:      27064
2114.63/2120.29	c #Conflicts:     457000 | #Constraints:      28064
2114.63/2120.29	c #Conflicts:     458000 | #Constraints:      29064
2114.63/2120.29	c #Conflicts:     459000 | #Constraints:      30064
2114.63/2120.29	c #Conflicts:     460000 | #Constraints:      31064
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     461000 | #Constraints:      18654
2114.63/2120.29	c #Conflicts:     462000 | #Constraints:      19654
2114.63/2120.29	c #Conflicts:     463000 | #Constraints:      20654
2114.63/2120.29	c #Conflicts:     464000 | #Constraints:      21654
2114.63/2120.29	c #Conflicts:     465000 | #Constraints:      22654
2114.63/2120.29	c #Conflicts:     466000 | #Constraints:      23654
2114.63/2120.29	c #Conflicts:     467000 | #Constraints:      24654
2114.63/2120.29	c #Conflicts:     468000 | #Constraints:      25654
2114.63/2120.29	c #Conflicts:     469000 | #Constraints:      26654
2114.63/2120.29	c #Conflicts:     470000 | #Constraints:      27654
2114.63/2120.29	c #Conflicts:     471000 | #Constraints:      28654
2114.63/2120.29	c #Conflicts:     472000 | #Constraints:      29654
2114.63/2120.29	c #Conflicts:     473000 | #Constraints:      30654
2114.63/2120.29	c #Conflicts:     474000 | #Constraints:      31654
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     475000 | #Constraints:      19051
2114.63/2120.29	c #Conflicts:     476000 | #Constraints:      20051
2114.63/2120.29	c #Conflicts:     477000 | #Constraints:      21051
2114.63/2120.29	c #Conflicts:     478000 | #Constraints:      22051
2114.63/2120.29	c #Conflicts:     479000 | #Constraints:      23051
2114.63/2120.29	c #Conflicts:     480000 | #Constraints:      24051
2114.63/2120.29	c #Conflicts:     481000 | #Constraints:      25051
2114.63/2120.29	c #Conflicts:     482000 | #Constraints:      26051
2114.63/2120.29	c #Conflicts:     483000 | #Constraints:      27051
2114.63/2120.29	c #Conflicts:     484000 | #Constraints:      28051
2114.63/2120.29	c #Conflicts:     485000 | #Constraints:      29051
2114.63/2120.29	c #Conflicts:     486000 | #Constraints:      30051
2114.63/2120.29	c #Conflicts:     487000 | #Constraints:      31051
2114.63/2120.29	c #Conflicts:     488000 | #Constraints:      32051
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     489000 | #Constraints:      19255
2114.63/2120.29	c #Conflicts:     490000 | #Constraints:      20255
2114.63/2120.29	c #Conflicts:     491000 | #Constraints:      21255
2114.63/2120.29	c #Conflicts:     492000 | #Constraints:      22255
2114.63/2120.29	c #Conflicts:     493000 | #Constraints:      23255
2114.63/2120.29	c #Conflicts:     494000 | #Constraints:      24255
2114.63/2120.29	c #Conflicts:     495000 | #Constraints:      25255
2114.63/2120.29	c #Conflicts:     496000 | #Constraints:      26255
2114.63/2120.29	c #Conflicts:     497000 | #Constraints:      27255
2114.63/2120.29	c #Conflicts:     498000 | #Constraints:      28255
2114.63/2120.29	c #Conflicts:     499000 | #Constraints:      29255
2114.63/2120.29	c #Conflicts:     500000 | #Constraints:      30255
2114.63/2120.29	c #Conflicts:     501000 | #Constraints:      31255
2114.63/2120.29	c #Conflicts:     502000 | #Constraints:      32255
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     503000 | #Constraints:      19244
2114.63/2120.29	c #Conflicts:     504000 | #Constraints:      20244
2114.63/2120.29	c #Conflicts:     505000 | #Constraints:      21244
2114.63/2120.29	c #Conflicts:     506000 | #Constraints:      22244
2114.63/2120.29	c #Conflicts:     507000 | #Constraints:      23244
2114.63/2120.29	c #Conflicts:     508000 | #Constraints:      24244
2114.63/2120.29	c #Conflicts:     509000 | #Constraints:      25244
2114.63/2120.29	c #Conflicts:     510000 | #Constraints:      26244
2114.63/2120.29	c #Conflicts:     511000 | #Constraints:      27244
2114.63/2120.29	c #Conflicts:     512000 | #Constraints:      28244
2114.63/2120.29	c #Conflicts:     513000 | #Constraints:      29244
2114.63/2120.29	c #Conflicts:     514000 | #Constraints:      30244
2114.63/2120.29	c #Conflicts:     515000 | #Constraints:      31244
2114.63/2120.29	c #Conflicts:     516000 | #Constraints:      32244
2114.63/2120.29	c INPROCESSING
2114.63/2120.29	c GARBAGE COLLECT
2114.63/2120.29	c #Conflicts:     517000 | #Constraints:      19045
2114.63/2120.29	c #Conflicts:     518000 | #Constraints:      20045
2398.67/2405.04	c #Conflicts:     519000 | #Constraints:      21045
2398.67/2405.04	c #Conflicts:     520000 | #Constraints:      22045
2398.67/2405.04	c #Conflicts:     521000 | #Constraints:      23045
2398.67/2405.04	c #Conflicts:     522000 | #Constraints:      24045
2398.67/2405.04	c #Conflicts:     523000 | #Constraints:      25045
2398.67/2405.04	c #Conflicts:     524000 | #Constraints:      26045
2398.67/2405.04	c #Conflicts:     525000 | #Constraints:      27045
2398.67/2405.04	c #Conflicts:     526000 | #Constraints:      28045
2398.67/2405.04	c #Conflicts:     527000 | #Constraints:      29045
2398.67/2405.04	c #Conflicts:     528000 | #Constraints:      30045
2398.67/2405.04	c #Conflicts:     529000 | #Constraints:      31045
2398.67/2405.04	c #Conflicts:     530000 | #Constraints:      32045
2398.67/2405.04	c #Conflicts:     531000 | #Constraints:      33045
2398.67/2405.04	c INPROCESSING
2398.67/2405.04	c GARBAGE COLLECT
2398.67/2405.04	c #Conflicts:     532000 | #Constraints:      19645
2398.67/2405.04	c #Conflicts:     533000 | #Constraints:      20645
2398.67/2405.04	c #Conflicts:     534000 | #Constraints:      21645
2398.67/2405.04	c #Conflicts:     535000 | #Constraints:      22645
2398.67/2405.04	c #Conflicts:     536000 | #Constraints:      23645
2398.67/2405.04	c #Conflicts:     537000 | #Constraints:      24645
2398.67/2405.04	c #Conflicts:     538000 | #Constraints:      25645
2398.67/2405.04	c #Conflicts:     539000 | #Constraints:      26645
2398.67/2405.04	c #Conflicts:     540000 | #Constraints:      27645
2398.67/2405.04	c #Conflicts:     541000 | #Constraints:      28645
2398.67/2405.04	c #Conflicts:     542000 | #Constraints:      29645
2398.67/2405.04	c #Conflicts:     543000 | #Constraints:      30645
2398.67/2405.04	c #Conflicts:     544000 | #Constraints:      31645
2398.67/2405.04	c #Conflicts:     545000 | #Constraints:      32645
2398.67/2405.04	c #Conflicts:     546000 | #Constraints:      33645
2398.67/2405.04	c INPROCESSING
2398.67/2405.04	c GARBAGE COLLECT
2398.67/2405.04	c #Conflicts:     547000 | #Constraints:      20041
2398.67/2405.04	c #Conflicts:     548000 | #Constraints:      21041
2398.67/2405.04	c #Conflicts:     549000 | #Constraints:      22041
2398.67/2405.04	c #Conflicts:     550000 | #Constraints:      23041
2398.67/2405.04	c #Conflicts:     551000 | #Constraints:      24041
2398.67/2405.04	c #Conflicts:     552000 | #Constraints:      25041
2398.67/2405.04	c #Conflicts:     553000 | #Constraints:      26041
2398.67/2405.04	c #Conflicts:     554000 | #Constraints:      27041
2398.67/2405.04	c #Conflicts:     555000 | #Constraints:      28041
2398.67/2405.04	c #Conflicts:     556000 | #Constraints:      29041
2398.67/2405.04	c #Conflicts:     557000 | #Constraints:      30041
2398.67/2405.04	c #Conflicts:     558000 | #Constraints:      31041
2398.67/2405.04	c #Conflicts:     559000 | #Constraints:      32041
2398.67/2405.04	c #Conflicts:     560000 | #Constraints:      33041
2398.67/2405.04	c #Conflicts:     561000 | #Constraints:      34041
2398.67/2405.04	c INPROCESSING
2398.67/2405.04	c GARBAGE COLLECT
2398.67/2405.04	c #Conflicts:     562000 | #Constraints:      20259
2398.67/2405.04	c #Conflicts:     563000 | #Constraints:      21259
2398.67/2405.04	c #Conflicts:     564000 | #Constraints:      22259
2398.67/2405.04	c #Conflicts:     565000 | #Constraints:      23259
2398.67/2405.04	c #Conflicts:     566000 | #Constraints:      24259
2398.67/2405.04	c #Conflicts:     567000 | #Constraints:      25259
2398.67/2405.04	c #Conflicts:     568000 | #Constraints:      26259
2398.67/2405.04	c #Conflicts:     569000 | #Constraints:      27259
2398.67/2405.04	c #Conflicts:     570000 | #Constraints:      28259
2398.67/2405.04	c #Conflicts:     571000 | #Constraints:      29259
2398.67/2405.04	c #Conflicts:     572000 | #Constraints:      30259
2398.67/2405.04	c #Conflicts:     573000 | #Constraints:      31259
2398.67/2405.04	c GLOBAL bounds - >= 0 @ 2393.01
2667.33/2674.47	c #Conflicts:     574000 | #Constraints:      32261
2667.33/2674.47	c #Conflicts:     575000 | #Constraints:      33261
2667.33/2674.47	c #Conflicts:     576000 | #Constraints:      34261
2667.33/2674.47	c INPROCESSING
2667.33/2674.47	c GARBAGE COLLECT
2667.33/2674.47	c #Conflicts:     577000 | #Constraints:      20276
2667.33/2674.47	c #Conflicts:     578000 | #Constraints:      21276
2667.33/2674.47	c #Conflicts:     579000 | #Constraints:      22276
2667.33/2674.47	c #Conflicts:     580000 | #Constraints:      23276
2667.33/2674.47	c #Conflicts:     581000 | #Constraints:      24276
2667.33/2674.47	c #Conflicts:     582000 | #Constraints:      25276
2667.33/2674.47	c #Conflicts:     583000 | #Constraints:      26276
2667.33/2674.47	c #Conflicts:     584000 | #Constraints:      27276
2667.33/2674.47	c #Conflicts:     585000 | #Constraints:      28276
2667.33/2674.47	c #Conflicts:     586000 | #Constraints:      29276
2667.33/2674.47	c #Conflicts:     587000 | #Constraints:      30276
2667.33/2674.47	c #Conflicts:     588000 | #Constraints:      31276
2667.33/2674.47	c #Conflicts:     589000 | #Constraints:      32276
2667.33/2674.47	c #Conflicts:     590000 | #Constraints:      33276
2667.33/2674.47	c #Conflicts:     591000 | #Constraints:      34276
2667.33/2674.47	c INPROCESSING
2667.33/2674.47	c GARBAGE COLLECT
2667.33/2674.47	c #Conflicts:     592000 | #Constraints:      20058
2667.33/2674.47	c #Conflicts:     593000 | #Constraints:      21058
2667.33/2674.47	c #Conflicts:     594000 | #Constraints:      22058
2667.33/2674.47	c #Conflicts:     595000 | #Constraints:      23058
2667.33/2674.47	c #Conflicts:     596000 | #Constraints:      24058
2667.33/2674.47	c #Conflicts:     597000 | #Constraints:      25058
2667.33/2674.47	c #Conflicts:     598000 | #Constraints:      26058
2667.33/2674.47	c #Conflicts:     599000 | #Constraints:      27058
2667.33/2674.47	c #Conflicts:     600000 | #Constraints:      28058
2667.33/2674.47	c #Conflicts:     601000 | #Constraints:      29058
2667.33/2674.47	c #Conflicts:     602000 | #Constraints:      30058
2667.33/2674.47	c #Conflicts:     603000 | #Constraints:      31058
2667.33/2674.47	c #Conflicts:     604000 | #Constraints:      32058
2667.33/2674.47	c #Conflicts:     605000 | #Constraints:      33058
2667.33/2674.47	c #Conflicts:     606000 | #Constraints:      34058
2667.33/2674.47	c #Conflicts:     607000 | #Constraints:      35058
2667.33/2674.47	c INPROCESSING
2667.33/2674.47	c GARBAGE COLLECT
2667.33/2674.47	c #Conflicts:     608000 | #Constraints:      20650
2667.33/2674.47	c #Conflicts:     609000 | #Constraints:      21650
2667.33/2674.47	c #Conflicts:     610000 | #Constraints:      22650
2667.33/2674.47	c #Conflicts:     611000 | #Constraints:      23650
2667.33/2674.47	c #Conflicts:     612000 | #Constraints:      24650
2667.33/2674.47	c #Conflicts:     613000 | #Constraints:      25650
2667.33/2674.47	c #Conflicts:     614000 | #Constraints:      26650
2667.33/2674.47	c #Conflicts:     615000 | #Constraints:      27650
2667.33/2674.47	c #Conflicts:     616000 | #Constraints:      28650
2667.33/2674.47	c #Conflicts:     617000 | #Constraints:      29650
2667.33/2674.47	c #Conflicts:     618000 | #Constraints:      30650
2667.33/2674.47	c #Conflicts:     619000 | #Constraints:      31650
2667.33/2674.47	c #Conflicts:     620000 | #Constraints:      32650
2667.33/2674.47	c #Conflicts:     621000 | #Constraints:      33650
2667.33/2674.47	c #Conflicts:     622000 | #Constraints:      34650
2667.33/2674.47	c GLOBAL bounds - >= 0 @ 2661.29
3097.45/3105.73	c #Conflicts:     623000 | #Constraints:      35652
3097.45/3105.73	c INPROCESSING
3097.45/3105.73	c GARBAGE COLLECT
3097.45/3105.73	c #Conflicts:     624000 | #Constraints:      21053
3097.45/3105.73	c #Conflicts:     625000 | #Constraints:      22053
3097.45/3105.73	c #Conflicts:     626000 | #Constraints:      23053
3097.45/3105.73	c #Conflicts:     627000 | #Constraints:      24053
3097.45/3105.73	c #Conflicts:     628000 | #Constraints:      25053
3097.45/3105.73	c #Conflicts:     629000 | #Constraints:      26053
3097.45/3105.73	c #Conflicts:     630000 | #Constraints:      27053
3097.45/3105.73	c #Conflicts:     631000 | #Constraints:      28053
3097.45/3105.73	c #Conflicts:     632000 | #Constraints:      29053
3097.45/3105.73	c #Conflicts:     633000 | #Constraints:      30053
3097.45/3105.73	c #Conflicts:     634000 | #Constraints:      31053
3097.45/3105.73	c #Conflicts:     635000 | #Constraints:      32053
3097.45/3105.73	c #Conflicts:     636000 | #Constraints:      33053
3097.45/3105.73	c #Conflicts:     637000 | #Constraints:      34053
3097.45/3105.73	c #Conflicts:     638000 | #Constraints:      35053
3097.45/3105.73	c #Conflicts:     639000 | #Constraints:      36053
3097.45/3105.73	c INPROCESSING
3097.45/3105.73	c GARBAGE COLLECT
3097.45/3105.73	c #Conflicts:     640000 | #Constraints:      21255
3097.45/3105.73	c #Conflicts:     641000 | #Constraints:      22255
3097.45/3105.73	c #Conflicts:     642000 | #Constraints:      23255
3097.45/3105.73	c #Conflicts:     643000 | #Constraints:      24255
3097.45/3105.73	c #Conflicts:     644000 | #Constraints:      25255
3097.45/3105.73	c #Conflicts:     645000 | #Constraints:      26255
3097.45/3105.73	c #Conflicts:     646000 | #Constraints:      27255
3097.45/3105.73	c #Conflicts:     647000 | #Constraints:      28255
3097.45/3105.73	c #Conflicts:     648000 | #Constraints:      29255
3097.45/3105.73	c #Conflicts:     649000 | #Constraints:      30255
3097.45/3105.73	c #Conflicts:     650000 | #Constraints:      31255
3097.45/3105.73	c #Conflicts:     651000 | #Constraints:      32255
3097.45/3105.73	c #Conflicts:     652000 | #Constraints:      33255
3097.45/3105.73	c #Conflicts:     653000 | #Constraints:      34255
3097.45/3105.73	c #Conflicts:     654000 | #Constraints:      35255
3097.45/3105.73	c #Conflicts:     655000 | #Constraints:      36255
3097.45/3105.73	c INPROCESSING
3097.45/3105.73	c GARBAGE COLLECT
3097.45/3105.73	c #Conflicts:     656000 | #Constraints:      21239
3097.45/3105.73	c #Conflicts:     657000 | #Constraints:      22239
3097.45/3105.73	c #Conflicts:     658000 | #Constraints:      23239
3097.45/3105.73	c #Conflicts:     659000 | #Constraints:      24239
3097.45/3105.73	c #Conflicts:     660000 | #Constraints:      25239
3097.45/3105.73	c #Conflicts:     661000 | #Constraints:      26239
3097.45/3105.73	c #Conflicts:     662000 | #Constraints:      27239
3097.45/3105.73	c #Conflicts:     663000 | #Constraints:      28239
3097.45/3105.73	c #Conflicts:     664000 | #Constraints:      29239
3097.45/3105.73	c #Conflicts:     665000 | #Constraints:      30239
3097.45/3105.73	c #Conflicts:     666000 | #Constraints:      31239
3097.45/3105.73	c #Conflicts:     667000 | #Constraints:      32239
3097.45/3105.73	c #Conflicts:     668000 | #Constraints:      33239
3097.45/3105.73	c #Conflicts:     669000 | #Constraints:      34239
3097.45/3105.73	c #Conflicts:     670000 | #Constraints:      35239
3097.45/3105.73	c #Conflicts:     671000 | #Constraints:      36239
3097.45/3105.73	c INPROCESSING
3097.45/3105.73	c GARBAGE COLLECT
3097.45/3105.73	c #Conflicts:     672000 | #Constraints:      21034
3097.45/3105.73	c #Conflicts:     673000 | #Constraints:      22034
3097.45/3105.73	c #Conflicts:     674000 | #Constraints:      23034
3097.45/3105.73	c #Conflicts:     675000 | #Constraints:      24034
3097.45/3105.73	c #Conflicts:     676000 | #Constraints:      25034
3097.45/3105.73	c #Conflicts:     677000 | #Constraints:      26034
3097.45/3105.73	c #Conflicts:     678000 | #Constraints:      27034
3097.45/3105.73	c #Conflicts:     679000 | #Constraints:      28034
3097.45/3105.73	c #Conflicts:     680000 | #Constraints:      29034
3097.45/3105.73	c #Conflicts:     681000 | #Constraints:      30034
3097.45/3105.73	c #Conflicts:     682000 | #Constraints:      31034
3097.45/3105.73	c #Conflicts:     683000 | #Constraints:      32034
3097.45/3105.73	c #Conflicts:     684000 | #Constraints:      33034
3097.45/3105.73	c #Conflicts:     685000 | #Constraints:      34034
3097.45/3105.73	c #Conflicts:     686000 | #Constraints:      35034
3097.45/3105.73	c #Conflicts:     687000 | #Constraints:      36034
3097.45/3105.73	c #Conflicts:     688000 | #Constraints:      37034
3097.45/3105.73	c INPROCESSING
3097.45/3105.73	c GARBAGE COLLECT
3097.45/3105.73	c #Conflicts:     689000 | #Constraints:      21630
3097.45/3105.73	c GLOBAL bounds - >= 0 @ 3090.79
3534.22/3543.70	c #Conflicts:     690000 | #Constraints:      22632
3534.22/3543.70	c #Conflicts:     691000 | #Constraints:      23632
3534.22/3543.70	c #Conflicts:     692000 | #Constraints:      24632
3534.22/3543.70	c #Conflicts:     693000 | #Constraints:      25632
3534.22/3543.70	c #Conflicts:     694000 | #Constraints:      26632
3534.22/3543.70	c #Conflicts:     695000 | #Constraints:      27632
3534.22/3543.70	c #Conflicts:     696000 | #Constraints:      28632
3534.22/3543.70	c #Conflicts:     697000 | #Constraints:      29632
3534.22/3543.70	c #Conflicts:     698000 | #Constraints:      30632
3534.22/3543.70	c #Conflicts:     699000 | #Constraints:      31632
3534.22/3543.70	c #Conflicts:     700000 | #Constraints:      32632
3534.22/3543.70	c #Conflicts:     701000 | #Constraints:      33632
3534.22/3543.70	c #Conflicts:     702000 | #Constraints:      34632
3534.22/3543.70	c #Conflicts:     703000 | #Constraints:      35632
3534.22/3543.70	c #Conflicts:     704000 | #Constraints:      36632
3534.22/3543.70	c #Conflicts:     705000 | #Constraints:      37632
3534.22/3543.70	c INPROCESSING
3534.22/3543.70	c GARBAGE COLLECT
3534.22/3543.70	c #Conflicts:     706000 | #Constraints:      22035
3534.22/3543.70	c #Conflicts:     707000 | #Constraints:      23035
3534.22/3543.70	c #Conflicts:     708000 | #Constraints:      24035
3534.22/3543.70	c #Conflicts:     709000 | #Constraints:      25035
3534.22/3543.70	c #Conflicts:     710000 | #Constraints:      26035
3534.22/3543.70	c #Conflicts:     711000 | #Constraints:      27035
3534.22/3543.70	c #Conflicts:     712000 | #Constraints:      28035
3534.22/3543.70	c #Conflicts:     713000 | #Constraints:      29035
3534.22/3543.70	c #Conflicts:     714000 | #Constraints:      30035
3534.22/3543.70	c #Conflicts:     715000 | #Constraints:      31035
3534.22/3543.70	c #Conflicts:     716000 | #Constraints:      32035
3534.22/3543.70	c #Conflicts:     717000 | #Constraints:      33035
3534.22/3543.70	c #Conflicts:     718000 | #Constraints:      34035
3534.22/3543.70	c #Conflicts:     719000 | #Constraints:      35035
3534.22/3543.70	c #Conflicts:     720000 | #Constraints:      36035
3534.22/3543.70	c #Conflicts:     721000 | #Constraints:      37035
3534.22/3543.70	c #Conflicts:     722000 | #Constraints:      38035
3534.22/3543.70	c INPROCESSING
3534.22/3543.70	c GARBAGE COLLECT
3534.22/3543.70	c #Conflicts:     723000 | #Constraints:      22255
3534.22/3543.70	c #Conflicts:     724000 | #Constraints:      23255
3534.22/3543.70	c #Conflicts:     725000 | #Constraints:      24255
3534.22/3543.70	c #Conflicts:     726000 | #Constraints:      25255
3534.22/3543.70	c #Conflicts:     727000 | #Constraints:      26255
3534.22/3543.70	c #Conflicts:     728000 | #Constraints:      27255
3534.22/3543.70	c #Conflicts:     729000 | #Constraints:      28255
3534.22/3543.70	c #Conflicts:     730000 | #Constraints:      29255
3534.22/3543.70	c #Conflicts:     731000 | #Constraints:      30255
3534.22/3543.70	c #Conflicts:     732000 | #Constraints:      31255
3534.22/3543.70	c #Conflicts:     733000 | #Constraints:      32255
3534.22/3543.70	c #Conflicts:     734000 | #Constraints:      33255
3534.22/3543.70	c #Conflicts:     735000 | #Constraints:      34255
3534.22/3543.70	c #Conflicts:     736000 | #Constraints:      35255
3534.22/3543.70	c #Conflicts:     737000 | #Constraints:      36255
3534.22/3543.70	c #Conflicts:     738000 | #Constraints:      37255
3534.22/3543.70	c #Conflicts:     739000 | #Constraints:      38255
3534.22/3543.70	c INPROCESSING
3534.22/3543.70	c GARBAGE COLLECT
3534.22/3543.70	c #Conflicts:     740000 | #Constraints:      22263
3534.22/3543.70	c #Conflicts:     741000 | #Constraints:      23263
3534.22/3543.70	c #Conflicts:     742000 | #Constraints:      24263
3534.22/3543.70	c #Conflicts:     743000 | #Constraints:      25263
3534.22/3543.70	c #Conflicts:     744000 | #Constraints:      26263
3534.22/3543.70	c #Conflicts:     745000 | #Constraints:      27263
3534.22/3543.70	c #Conflicts:     746000 | #Constraints:      28263
3534.22/3543.70	c #Conflicts:     747000 | #Constraints:      29263
3534.22/3543.70	c #Conflicts:     748000 | #Constraints:      30263
3534.22/3543.70	c #Conflicts:     749000 | #Constraints:      31263
3534.22/3543.70	c #Conflicts:     750000 | #Constraints:      32263
3534.22/3543.70	c #Conflicts:     751000 | #Constraints:      33263
3534.22/3543.70	c #Conflicts:     752000 | #Constraints:      34263
3534.22/3543.70	c #Conflicts:     753000 | #Constraints:      35263
3534.22/3543.70	c #Conflicts:     754000 | #Constraints:      36263
3534.22/3543.70	c #Conflicts:     755000 | #Constraints:      37263
3534.22/3543.70	c #Conflicts:     756000 | #Constraints:      38263
3534.22/3543.70	c INPROCESSING
3534.22/3543.70	c GARBAGE COLLECT
3534.22/3543.70	c #Conflicts:     757000 | #Constraints:      22053
3534.22/3543.70	c #Conflicts:     758000 | #Constraints:      23053
3534.22/3543.70	c #Conflicts:     759000 | #Constraints:      24053
3534.22/3543.70	c #Conflicts:     760000 | #Constraints:      25053
3534.22/3543.70	c #Conflicts:     761000 | #Constraints:      26053
3534.22/3543.70	c #Conflicts:     762000 | #Constraints:      27053
3534.22/3543.70	c #Conflicts:     763000 | #Constraints:      28053
3534.22/3543.70	c #Conflicts:     764000 | #Constraints:      29053
3534.22/3543.70	c #Conflicts:     765000 | #Constraints:      30053
3534.22/3543.70	c #Conflicts:     766000 | #Constraints:      31053
3600.02/3609.70	c #Conflicts:     767000 | #Constraints:      32053
3600.02/3609.70	c #Conflicts:     768000 | #Constraints:      33053
3600.02/3609.70	c #Conflicts:     769000 | #Constraints:      34053
3600.02/3609.70	c #Conflicts:     770000 | #Constraints:      35053
3600.02/3609.70	c #Conflicts:     771000 | #Constraints:      36053
3600.02/3609.70	c #Conflicts:     772000 | #Constraints:      37053
3600.02/3609.70	c #Conflicts:     773000 | #Constraints:      38053
3600.02/3609.70	c cpu time 3592.61 s
3600.02/3609.70	c deterministic time 1 1.00e+00
3600.02/3609.70	c optimization time 3592.6 s
3600.02/3609.70	c total solve time 0 s
3600.02/3609.70	c core-guided solve time 0 s
3600.02/3609.70	c propagation time 0.001092 s
3600.02/3609.70	c conflict analysis time 0 s
3600.02/3609.70	c propagations 0
3600.02/3609.70	c resolve steps 0
3600.02/3609.70	c decisions 0
3600.02/3609.70	c conflicts 0
3600.02/3609.70	c restarts 0
3600.02/3609.70	c inprocessing phases 0
3600.02/3609.70	c garbage collections 0 ,( -nan )
3600.02/3609.70	c input clauses 4000 ,( 100.00 )
3600.02/3609.70	c input cardinalities 0 ,( 0.00 )
3600.02/3609.70	c input general constraints 0 ,( 0.00 )
3600.02/3609.70	c input average constraint length 2.00
3600.02/3609.70	c input average constraint degree 1.00
3600.02/3609.70	c learned clauses 0 ,( 0.00 )
3600.02/3609.70	c learned cardinalities 0 ,( 0.00 )
3600.02/3609.70	c learned general constraints 0 ,( 0.00 )
3600.02/3609.70	c learned average constraint length 0.00
3600.02/3609.70	c learned average constraint degree 0.00
3600.02/3609.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.70	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3609.70	c watched   constraints 0 ,( -nan ) 
3600.02/3609.70	c counting  constraints 0 ,( -nan ) 
3600.02/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3609.70	c gcd simplifications 0
3600.02/3609.70	c detected cardinalities 0
3600.02/3609.70	c weakened non-implied lits 0
3600.02/3609.70	c weakened non-implying lits 0
3600.02/3609.70	c original variables 1965
3600.02/3609.70	c clausal propagations 0
3600.02/3609.70	c cardinality propagations 0
3600.02/3609.70	c watched propagations 0
3600.02/3609.70	c counting propagations 0
3600.02/3609.70	c watch lookups 0
3600.02/3609.70	c watch backjump lookups 0
3600.02/3609.70	c watch checks 0
3600.02/3609.70	c propagation checks 0
3600.02/3609.70	c constraint additions 0
3600.02/3609.70	c trail pops 0
3600.02/3609.70	c formula constraints 4000
3600.02/3609.70	c learned constraints 0
3600.02/3609.70	c bound constraints 0
3600.02/3609.70	c core-guided constraints 0
3600.02/3609.70	c encountered formula constraints 0
3600.02/3609.70	c encountered learned constraints 0
3600.02/3609.70	c encountered bound constraints 0
3600.02/3609.70	c encountered core-guided constraints 0
3600.02/3609.70	c LP total time 0 s
3600.02/3609.70	c LP solve time 0 s
3600.02/3609.70	c LP constraints added 0
3600.02/3609.70	c LP constraints removed 0
3600.02/3609.70	c LP pivots internal 0
3600.02/3609.70	c LP pivots root 0
3600.02/3609.70	c LP calls 0
3600.02/3609.70	c LP optimalities 0
3600.02/3609.70	c LP no pivot count 0
3600.02/3609.70	c LP infeasibilities 0
3600.02/3609.70	c LP valid Farkas constraints 0
3600.02/3609.70	c LP learned Farkas constraints 0
3600.02/3609.70	c LP basis resets 0
3600.02/3609.70	c LP cycling count 0
3600.02/3609.70	c LP singular count 0
3600.02/3609.70	c LP no primal count 0
3600.02/3609.70	c LP no farkas count 0
3600.02/3609.70	c LP other issue count 0
3600.02/3609.70	c LP Gomory cuts 0
3600.02/3609.70	c LP learned cuts 0
3600.02/3609.70	c LP deleted cuts 0
3600.02/3609.70	c LP encountered Gomory constraints 0
3600.02/3609.70	c LP encountered Farkas constraints 0
3600.02/3609.70	c LP encountered learned Farkas constraints 0
3600.02/3609.70	c CG auxiliary variables introduced 0
3600.02/3609.70	c CG solutions found 0
3600.02/3609.70	c CG cores constructed 0
3600.02/3609.70	c CG core cardinality constraints returned 0
3600.02/3609.70	c CG unit cores 0
3600.02/3609.70	c CG single cores 0
3600.02/3609.70	c CG blocks removed during cardinality reduction 0
3600.02/3609.70	c CG first core best 0
3600.02/3609.70	c CG decision core best 0
3600.02/3609.70	c CG core reduction tie 0
3600.02/3609.70	c CG core degree average 0.00
3600.02/3609.70	c CG core slack average 0.00
3600.02/3609.70	c CG core upper bound improvements 0
3600.02/3609.70	c STR number of successful calls 0
3600.02/3609.70	c STR number of unsuccessful calls 0
3600.02/3609.70	c STR number of inconclusive calls 0
3600.02/3609.70	c STR number of successful attempts 0
3600.02/3609.70	c STR number of unsuccessful attempts 0
3600.02/3609.70	c STR number of inconclusive attempts 0
3600.02/3609.70	c STR average degree increase per successful call inf
3600.02/3609.70	c STR average degree increase per successful attempt inf
3600.02/3609.70	c STR total number of conflicts for successful attempts 0
3600.02/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.70	c STR average number of conflicts per successful attempt inf
3600.02/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.70	c AVG.sumWPerc -nan 
3600.02/3609.70	c bigint constraints 0 
3600.02/3609.70	s UNKNOWN
3600.02/3609.70	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: 63708 MiB (63071 MiB free)
  memory of node 1: 64465 MiB (64065 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

Current StackSize limit: 8192 KiB

solver pid=50626, runsolver pid=50617

[startup+0.100056 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130151332/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=67724 memory=19428 CPUtime=0.07 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 3376 0 0 0 6 1 0 0 20 0 1 0 50499143 69349376 4857 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 16931 4857 2304 1147 0 4358 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 71916 KiB
Current children cumulated memory: 22500 KiB

[startup+0.204772 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130110508/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=72364 memory=26308 CPUtime=0.18 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 4531 0 0 0 16 2 0 0 20 0 1 0 50499143 74100736 6577 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 18091 6577 2336 1147 0 5518 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76556 KiB
Current children cumulated memory: 29380 KiB

[startup+0.304797 s]*
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130071004/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=82012 memory=36200 CPUtime=0.27 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 6502 0 0 0 25 2 0 0 20 0 1 0 50499143 83980288 9050 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 20503 9050 2336 1147 0 7930 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 86204 KiB
Current children cumulated memory: 39272 KiB

[startup+0.700161 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=130027144/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=110380 memory=57152 CPUtime=0.67 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 11223 0 0 0 63 4 0 0 20 0 1 0 50499143 113029120 14288 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 27595 14288 2336 1147 0 15022 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114572 KiB
Current children cumulated memory: 60224 KiB

[startup+1.50015 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129881544/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=153980 memory=94660 CPUtime=1.47 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 18562 0 0 0 141 6 0 0 20 0 1 0 50499143 157675520 23665 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 38495 23665 2336 1147 0 25922 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158172 KiB
Current children cumulated memory: 97732 KiB

[startup+3.10478 s]
/proc/loadavg: 1.72 3.36 4.00 6/274 50639
/proc/meminfo: memFree=129668784/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=156852 memory=110444 CPUtime=3.07 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 20471 0 0 0 299 8 0 0 20 0 1 0 50499143 160616448 27611 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 39213 27611 2336 1147 0 26640 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 161044 KiB
Current children cumulated memory: 113516 KiB

[startup+6.30014 s]
/proc/loadavg: 1.91 3.38 4.00 6/274 50639
/proc/meminfo: memFree=129475232/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=241668 memory=180984 CPUtime=6.25 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 34541 0 0 0 611 14 0 0 20 0 1 0 50499143 247468032 45246 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 60417 45246 2336 1147 0 47844 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 245860 KiB
Current children cumulated memory: 184056 KiB

[startup+12.7001 s]
/proc/loadavg: 2.08 3.39 4.00 6/274 50639
/proc/meminfo: memFree=128981652/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=355568 memory=254872 CPUtime=12.63 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 49447 0 0 0 1240 23 0 0 20 0 1 0 50499143 364101632 63718 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 88892 63718 2336 1147 0 76319 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 359760 KiB
Current children cumulated memory: 257944 KiB

[startup+25.5002 s]
/proc/loadavg: 2.50 3.42 4.00 6/274 50639
/proc/meminfo: memFree=128376732/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=526880 memory=424700 CPUtime=25.41 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 88840 0 0 0 2499 42 0 0 20 0 1 0 50499143 539525120 106175 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 131720 106175 2336 1147 0 119147 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 531072 KiB
Current children cumulated memory: 427772 KiB

[startup+51.1047 s]
/proc/loadavg: 3.09 3.48 4.00 6/273 50640
/proc/meminfo: memFree=128183172/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=616972 memory=478076 CPUtime=50.94 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 102169 0 0 0 5040 54 0 0 20 0 1 0 50499143 631779328 119519 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 154243 119519 2336 1147 0 141670 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 621164 KiB
Current children cumulated memory: 481148 KiB

[startup+102.3 s]
/proc/loadavg: 3.67 3.58 4.01 6/273 50641
/proc/meminfo: memFree=128041932/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=622828 memory=487028 CPUtime=102.01 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 103907 0 0 0 10127 74 0 0 20 0 1 0 50499143 637775872 121757 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 155707 121757 2336 1147 0 143134 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 627020 KiB
Current children cumulated memory: 490100 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.67 4.01 6/272 50646
/proc/meminfo: memFree=127868544/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=705456 memory=525988 CPUtime=161.86 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 111614 0 0 0 16090 96 0 0 20 0 1 0 50499143 722386944 131497 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 176364 131497 2336 1147 0 163791 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 709648 KiB
Current children cumulated memory: 529060 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.75 4.01 6/272 50649
/proc/meminfo: memFree=127827528/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=716676 memory=546884 CPUtime=221.71 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 114791 0 0 0 22051 120 0 0 20 0 1 0 50499143 733876224 136721 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 179169 136721 2336 1147 0 166596 0
Current children cumulated CPU time: 221.71 s

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

/proc/50629/statm: 270542 245550 2336 1147 0 257969 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 1086360 KiB
Current children cumulated memory: 985272 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/268 50810
/proc/meminfo: memFree=125895288/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1082168 memory=982200 CPUtime=3153.89 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 170655 0 0 0 314708 681 0 0 20 0 1 0 50499143 1108140032 245550 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 270542 245550 2336 1147 0 257969 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 1086360 KiB
Current children cumulated memory: 985272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/267 50813
/proc/meminfo: memFree=125832548/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1084888 memory=984248 CPUtime=3213.72 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 171469 0 0 0 320685 687 0 0 20 0 1 0 50499143 1110925312 246062 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271222 246062 2336 1147 0 258649 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 1089080 KiB
Current children cumulated memory: 987320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 50817
/proc/meminfo: memFree=125792128/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1084888 memory=984248 CPUtime=3273.54 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 171552 0 0 0 326662 692 0 0 20 0 1 0 50499143 1110925312 246062 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271222 246062 2336 1147 0 258649 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 1089080 KiB
Current children cumulated memory: 987320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/270 50824
/proc/meminfo: memFree=125806112/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1084888 memory=984376 CPUtime=3333.38 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 171590 0 0 0 332640 698 0 0 20 0 1 0 50499143 1110925312 246094 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271222 246094 2336 1147 0 258649 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 1089080 KiB
Current children cumulated memory: 987448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/270 50826
/proc/meminfo: memFree=125802316/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1084888 memory=984376 CPUtime=3393.21 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 171599 0 0 0 338615 706 0 0 20 0 1 0 50499143 1110925312 246094 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271222 246094 2336 1147 0 258649 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1089080 KiB
Current children cumulated memory: 987448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/271 50829
/proc/meminfo: memFree=125761144/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1084888 memory=984504 CPUtime=3453.04 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 171636 0 0 0 344590 714 0 0 20 0 1 0 50499143 1110925312 246126 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271222 246126 2336 1147 0 258649 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 1089080 KiB
Current children cumulated memory: 987576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/270 50831
/proc/meminfo: memFree=125753012/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1087764 memory=993348 CPUtime=3512.87 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 172330 0 0 0 350559 728 0 0 20 0 1 0 50499143 1113870336 248337 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 271941 248337 2336 1147 0 259368 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 1091956 KiB
Current children cumulated memory: 996420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/269 50834
/proc/meminfo: memFree=125753724/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1088440 memory=993860 CPUtime=3572.71 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 172442 0 0 0 356532 739 0 0 20 0 1 0 50499143 1114562560 248465 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 272110 248465 2336 1147 0 259537 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1092632 KiB
Current children cumulated memory: 996932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.09 6/268 50835
/proc/meminfo: memFree=125753156/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1092660 memory=996676 CPUtime=3600.02 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 173375 0 0 0 359260 742 0 0 20 0 1 0 50499143 1118883840 249169 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 273165 249169 2336 1147 0 260592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1096852 KiB
Current children cumulated memory: 999748 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.7 s]
# the end of solver process 50626 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.002045 s
Sleeping 2 seconds

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

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

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

[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.09 6/268 50835
/proc/meminfo: memFree=125753156/131249996 swapFree=33006296/33010684
[pid=50626] ppid=50617 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/50626/stat : 50626 (run-opt.sh) S 50617 50626 50566 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 94300422918144 94300423812677 140735527452224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94300424051728 94300424099472 94300451790848 140735527459181 140735527459304 140735527459304 140735527464906 0
/proc/50626/statm: 1048 768 704 219 0 110 0
[pid=50629] ppid=50626 vsize=1092660 memory=996676 CPUtime=3600.02 cores=4,6
/proc/50629/stat : 50629 (roundingsat) R 50626 50626 50566 0 -1 4194304 173375 0 0 0 359260 742 0 0 20 0 1 0 50499143 1118883840 249169 18446744073709551615 4227072 8923433 140732418299248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26353664 140732418308514 140732418308648 140732418308648 140732418314218 0
/proc/50629/statm: 273165 249169 2336 1147 0 260592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1096852 KiB
Current children cumulated memory: 999748 KiB

Child status: 2

Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3592.61
CPU system time (s): 7.436
CPU usage (%): 99.7323
Max. virtual memory (cumulated for all children) (KiB): 1096852
Max. memory (cumulated for all children) (KiB): 999748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.61
system time used= 7.436
maximum resident set size= 997188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324
involuntary context switches= 3597


# summary of solver processes directly reported to runsolver:
#   pid: 50626,50629
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3592.61
#   total CPU system time (s): 7.436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76678 second user time and 12.6017 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 07:36:57
IDJOB=4488816
IDBENCH=147532
IDSOLVER=3350
FILE ID=nodeC015/4488816-1751348216
RUNJOBID= nodeC015-1751348216-50577
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= 40249833eecc795c9ed736ead45c4ff1
RANDOM SEED=2093586924

nodeC015 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	: 0xb00002a
cpu MHz		: 3601.877
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3600.075
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3600.292
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3599.174
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3600.440
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3754.933
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3595.579
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
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	: 0xb00002a
cpu MHz		: 3600.071
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130189120 kB
MemAvailable:   129820936 kB
Buffers:            1508 kB
Cached:           378996 kB
SwapCached:         3876 kB
Active:           315520 kB
Inactive:         144944 kB
Active(anon):      45020 kB
Inactive(anon):    49084 kB
Active(file):     270500 kB
Inactive(file):    95860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28832 kB
Writeback:             4 kB
AnonPages:         79464 kB
Mapped:            98620 kB
Shmem:             14144 kB
KReclaimable:     132628 kB
Slab:             223072 kB
SReclaimable:     132628 kB
SUnreclaim:        90444 kB
KernelStack:        4088 kB
PageTables:         2432 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 08:37:06