Trace number 4506367

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
MD5SUM623011bcb799422f8ca68e1af7825a24
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 benchmark47741
Best CPU time to get the best result obtained on this benchmark21.3279
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables211564
Total number of constraints2445434
Number of constraints which are clauses2445434
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 constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
6.95/7.09	c #variables 211564 #constraints 885515
6.95/7.09	c objective is ce32 
7.24/7.32	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
7.24/7.32	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
7.24/7.32	c GLOBAL bounds - >= 0 @ 6.41928
7.44/7.53	c GLOBAL bounds - >= 0 @ 6.4973
7.44/7.53	c GLOBAL bounds - >= 1169 @ 6.50019
10.53/10.60	c GLOBAL bounds - >= 1169 @ 9.42859
10.74/10.81	c GLOBAL bounds - >= 1169 @ 9.48952
10.74/10.82	c GLOBAL bounds - >= 1169 @ 9.4949
10.93/11.04	c GLOBAL bounds - >= 1169 @ 9.56792
10.93/11.05	c GLOBAL bounds - >= 1169 @ 9.57328
11.11/11.27	c GLOBAL bounds - >= 1169 @ 9.6553
11.11/11.28	c GLOBAL bounds - >= 1169 @ 9.65931
11.30/11.48	c GLOBAL bounds - >= 1169 @ 9.73474
11.30/11.49	c GLOBAL bounds - >= 1169 @ 9.74156
11.60/11.70	c GLOBAL bounds - >= 1169 @ 9.82531
11.60/11.71	c GLOBAL bounds - >= 1169 @ 9.83133
11.80/11.93	c GLOBAL bounds - >= 1169 @ 9.91951
11.80/11.93	c GLOBAL bounds - >= 1169 @ 9.92491
12.01/12.15	c GLOBAL bounds - >= 1169 @ 10.0126
12.01/12.16	c GLOBAL bounds - >= 1169 @ 10.0176
12.20/12.37	c GLOBAL bounds - >= 1169 @ 10.1004
12.20/12.38	c GLOBAL bounds - >= 1169 @ 10.1073
12.41/12.59	c GLOBAL bounds - >= 1169 @ 10.1868
12.50/12.61	c GLOBAL bounds - >= 1169 @ 10.1932
12.71/12.82	c GLOBAL bounds - >= 1169 @ 10.2752
12.91/13.04	c GLOBAL bounds - >= 6979 @ 10.3758
12.91/13.08	c GLOBAL bounds - >= 6979 @ 10.4034
13.10/13.29	c GLOBAL bounds - >= 6979 @ 10.4859
13.20/13.30	c GLOBAL bounds - >= 6979 @ 10.491
13.40/13.52	c GLOBAL bounds - >= 6979 @ 10.571
13.40/13.53	c GLOBAL bounds - >= 6979 @ 10.5792
13.60/13.74	c GLOBAL bounds - >= 6979 @ 10.6484
13.60/13.76	c GLOBAL bounds - >= 6979 @ 10.6545
13.80/13.97	c GLOBAL bounds - >= 6979 @ 10.7451
13.80/13.98	c GLOBAL bounds - >= 6979 @ 10.7537
14.10/14.20	c GLOBAL bounds - >= 6979 @ 10.8297
14.10/14.21	c GLOBAL bounds - >= 6979 @ 10.8359
14.30/14.42	c GLOBAL bounds - >= 6979 @ 10.9097
14.30/14.44	c GLOBAL bounds - >= 6979 @ 10.9185
14.50/14.65	c GLOBAL bounds - >= 6979 @ 11.0008
14.50/14.67	c GLOBAL bounds - >= 6979 @ 11.0083
14.70/14.88	c GLOBAL bounds - >= 6979 @ 11.0863
14.80/14.90	c GLOBAL bounds - >= 6979 @ 11.0942
15.00/15.11	c GLOBAL bounds - >= 6979 @ 11.1734
15.00/15.12	c GLOBAL bounds - >= 6979 @ 11.1771
15.20/15.34	c GLOBAL bounds - >= 6979 @ 11.256
15.49/15.60	c GLOBAL bounds - >= 6979 @ 11.3937
15.70/15.85	c GLOBAL bounds - >= 6979 @ 11.5021
16.00/16.11	c GLOBAL bounds - >= 6979 @ 11.6266
16.00/16.19	c GLOBAL bounds - >= 11046 @ 11.707
16.10/16.23	c GLOBAL bounds - >= 11046 @ 11.7346
16.10/16.24	c GLOBAL bounds - >= 11046 @ 11.739
16.29/16.45	c GLOBAL bounds - >= 11046 @ 11.8127
16.29/16.46	c GLOBAL bounds - >= 11046 @ 11.8185
16.49/16.67	c GLOBAL bounds - >= 11046 @ 11.8894
16.49/16.68	c GLOBAL bounds - >= 11046 @ 11.8952
16.70/16.88	c GLOBAL bounds - >= 11046 @ 11.9596
16.79/16.90	c GLOBAL bounds - >= 11046 @ 11.9675
17.00/17.11	c GLOBAL bounds - >= 11046 @ 12.0485
17.00/17.13	c GLOBAL bounds - >= 11046 @ 12.0552
17.19/17.34	c GLOBAL bounds - >= 11046 @ 12.131
17.19/17.35	c GLOBAL bounds - >= 11046 @ 12.1379
17.40/17.57	c GLOBAL bounds - >= 11046 @ 12.2321
17.40/17.58	c GLOBAL bounds - >= 11046 @ 12.2398
17.69/17.80	c GLOBAL bounds - >= 11046 @ 12.3174
17.69/17.81	c GLOBAL bounds - >= 11046 @ 12.3247
17.90/18.03	c GLOBAL bounds - >= 11046 @ 12.3998
17.90/18.04	c GLOBAL bounds - >= 11046 @ 12.4071
18.09/18.26	c GLOBAL bounds - >= 11046 @ 12.4883
18.09/18.28	c GLOBAL bounds - >= 11046 @ 12.4961
18.29/18.49	c GLOBAL bounds - >= 11046 @ 12.5631
18.59/18.75	c GLOBAL bounds - >= 11046 @ 12.7012
18.90/19.04	c GLOBAL bounds - >= 11046 @ 12.8447
19.20/19.39	c GLOBAL bounds - >= 11046 @ 13.0428
19.49/19.68	c GLOBAL bounds - >= 11046 @ 13.2032
19.79/19.95	c GLOBAL bounds - >= 11046 @ 13.3619
20.09/20.21	c GLOBAL bounds - >= 11046 @ 13.5057
20.28/20.47	c GLOBAL bounds - >= 11046 @ 13.6259
20.39/20.55	c GLOBAL bounds - >= 12209 @ 13.7047
20.39/20.58	c GLOBAL bounds - >= 12209 @ 13.7224
20.39/20.59	c GLOBAL bounds - >= 12209 @ 13.7296
20.49/20.60	c GLOBAL bounds - >= 12209 @ 13.7351
20.49/20.61	c GLOBAL bounds - >= 12209 @ 13.7404
20.49/20.63	c GLOBAL bounds - >= 12209 @ 13.746
20.68/20.84	c GLOBAL bounds - >= 12209 @ 13.8088
20.68/20.85	c GLOBAL bounds - >= 12209 @ 13.8133
20.89/21.06	c GLOBAL bounds - >= 12209 @ 13.8934
20.89/21.07	c GLOBAL bounds - >= 12209 @ 13.8992
21.09/21.28	c GLOBAL bounds - >= 12209 @ 13.9683
21.09/21.29	c GLOBAL bounds - >= 12209 @ 13.9732
21.38/21.50	c GLOBAL bounds - >= 12209 @ 14.0486
21.38/21.51	c GLOBAL bounds - >= 12209 @ 14.0554
21.59/21.72	c GLOBAL bounds - >= 12209 @ 14.1185
21.59/21.73	c GLOBAL bounds - >= 12209 @ 14.1281
21.78/21.94	c GLOBAL bounds - >= 12209 @ 14.1981
21.78/21.96	c GLOBAL bounds - >= 12209 @ 14.2066
21.99/22.17	c GLOBAL bounds - >= 12209 @ 14.2897
21.99/22.19	c GLOBAL bounds - >= 12209 @ 14.3003
22.29/22.40	c GLOBAL bounds - >= 12209 @ 14.3902
22.29/22.42	c GLOBAL bounds - >= 12209 @ 14.3979
22.48/22.63	c GLOBAL bounds - >= 12209 @ 14.479
22.48/22.65	c GLOBAL bounds - >= 12209 @ 14.4874
22.68/22.87	c GLOBAL bounds - >= 12209 @ 14.5746
22.99/23.14	c GLOBAL bounds - >= 12209 @ 14.7145
23.28/23.45	c GLOBAL bounds - >= 12209 @ 14.8684
23.58/23.72	c GLOBAL bounds - >= 12209 @ 14.9996
23.78/23.98	c GLOBAL bounds - >= 12209 @ 15.1394
24.08/24.20	c GLOBAL bounds - >= 12209 @ 15.2132
24.28/24.40	c GLOBAL bounds - >= 12209 @ 15.2841
24.38/24.59	c GLOBAL bounds - >= 12209 @ 15.357
24.68/24.82	c GLOBAL bounds - >= 12209 @ 15.4665
24.68/24.85	c GLOBAL bounds - >= 13952 @ 15.4935
24.68/24.88	c GLOBAL bounds - >= 13952 @ 15.5178
24.78/24.90	c GLOBAL bounds - >= 13952 @ 15.5235
24.99/25.10	c GLOBAL bounds - >= 13952 @ 15.6027
24.99/25.12	c GLOBAL bounds - >= 13952 @ 15.6102
25.18/25.33	c GLOBAL bounds - >= 13952 @ 15.6793
25.18/25.35	c GLOBAL bounds - >= 13952 @ 15.6919
25.37/25.55	c GLOBAL bounds - >= 13952 @ 15.7597
25.37/25.57	c GLOBAL bounds - >= 13952 @ 15.7686
25.58/25.78	c GLOBAL bounds - >= 13952 @ 15.8398
25.68/25.80	c GLOBAL bounds - >= 13952 @ 15.8472
25.89/26.01	c GLOBAL bounds - >= 13952 @ 15.9127
25.89/26.03	c GLOBAL bounds - >= 13952 @ 15.9229
26.07/26.23	c GLOBAL bounds - >= 13952 @ 15.9928
26.07/26.25	c GLOBAL bounds - >= 13952 @ 16.005
26.27/26.46	c GLOBAL bounds - >= 13952 @ 16.0797
26.27/26.48	c GLOBAL bounds - >= 13952 @ 16.0929
26.47/26.69	c GLOBAL bounds - >= 13952 @ 16.1672
26.58/26.71	c GLOBAL bounds - >= 13952 @ 16.1792
26.78/26.93	c GLOBAL bounds - >= 13952 @ 16.2622
26.78/26.95	c GLOBAL bounds - >= 13952 @ 16.271
26.98/27.16	c GLOBAL bounds - >= 13952 @ 16.364
27.28/27.42	c GLOBAL bounds - >= 13952 @ 16.4963
27.57/27.76	c GLOBAL bounds - >= 13952 @ 16.698
27.88/28.09	c GLOBAL bounds - >= 13952 @ 16.8872
28.17/28.37	c GLOBAL bounds - >= 13952 @ 17.0303
28.47/28.64	c GLOBAL bounds - >= 13952 @ 17.1816
28.57/28.71	c GLOBAL bounds - >= 17438 @ 17.2501
28.57/28.77	c GLOBAL bounds - >= 17438 @ 17.2914
28.57/28.78	c GLOBAL bounds - >= 17438 @ 17.2967
28.67/28.80	c GLOBAL bounds - >= 17438 @ 17.309
28.67/28.82	c GLOBAL bounds - >= 17438 @ 17.3159
28.88/29.04	c GLOBAL bounds - >= 17438 @ 17.4194
28.88/29.06	c GLOBAL bounds - >= 17438 @ 17.4286
29.07/29.27	c GLOBAL bounds - >= 17438 @ 17.5113
29.07/29.29	c GLOBAL bounds - >= 17438 @ 17.5193
29.27/29.49	c GLOBAL bounds - >= 17438 @ 17.5974
29.37/29.51	c GLOBAL bounds - >= 17438 @ 17.6063
29.57/29.72	c GLOBAL bounds - >= 17438 @ 17.6728
29.57/29.75	c GLOBAL bounds - >= 17438 @ 17.6788
29.77/29.96	c GLOBAL bounds - >= 17438 @ 17.7577
29.77/29.99	c GLOBAL bounds - >= 17438 @ 17.7654
30.07/30.20	c GLOBAL bounds - >= 17438 @ 17.8461
30.07/30.23	c GLOBAL bounds - >= 17438 @ 17.858
30.27/30.45	c GLOBAL bounds - >= 17438 @ 17.9474
30.27/30.47	c GLOBAL bounds - >= 17438 @ 17.9582
30.46/30.68	c GLOBAL bounds - >= 17438 @ 18.047
30.57/30.71	c GLOBAL bounds - >= 17438 @ 18.0619
30.77/30.92	c GLOBAL bounds - >= 17438 @ 18.1373
30.77/30.95	c GLOBAL bounds - >= 17438 @ 18.1468
30.97/31.16	c GLOBAL bounds - >= 17438 @ 18.2276
31.17/31.37	c GLOBAL bounds - >= 17438 @ 18.2993
31.36/31.57	c GLOBAL bounds - >= 17438 @ 18.3685
31.56/31.78	c GLOBAL bounds - >= 17438 @ 18.4409
31.97/32.18	c GLOBAL bounds - >= 17438 @ 18.6208
32.26/32.47	c GLOBAL bounds - >= 17438 @ 18.7635
32.76/32.93	c GLOBAL bounds - >= 17438 @ 19.0578
32.87/33.06	c GLOBAL bounds - >= 17441 @ 19.1812
32.87/33.09	c GLOBAL bounds - >= 17441 @ 19.2013
32.97/33.11	c GLOBAL bounds - >= 17441 @ 19.2097
33.16/33.33	c GLOBAL bounds - >= 17441 @ 19.2836
33.16/33.35	c GLOBAL bounds - >= 17441 @ 19.2953
33.36/33.57	c GLOBAL bounds - >= 17441 @ 19.3698
33.36/33.59	c GLOBAL bounds - >= 17441 @ 19.3772
33.66/33.81	c GLOBAL bounds - >= 17441 @ 19.4528
33.66/33.83	c GLOBAL bounds - >= 17441 @ 19.463
33.86/34.04	c GLOBAL bounds - >= 17441 @ 19.5287
33.86/34.06	c GLOBAL bounds - >= 17441 @ 19.5409
34.06/34.27	c GLOBAL bounds - >= 17441 @ 19.6154
34.06/34.29	c GLOBAL bounds - >= 17441 @ 19.6282
34.35/34.51	c GLOBAL bounds - >= 17441 @ 19.7087
34.35/34.53	c GLOBAL bounds - >= 17441 @ 19.7197
34.56/34.74	c GLOBAL bounds - >= 17441 @ 19.7975
34.56/34.77	c GLOBAL bounds - >= 17441 @ 19.8115
34.75/34.98	c GLOBAL bounds - >= 17441 @ 19.8863
34.87/35.01	c GLOBAL bounds - >= 17441 @ 19.8951
35.06/35.22	c GLOBAL bounds - >= 17441 @ 19.9931
35.06/35.25	c GLOBAL bounds - >= 17441 @ 20.0031
35.26/35.46	c GLOBAL bounds - >= 17441 @ 20.0937
35.45/35.67	c GLOBAL bounds - >= 17441 @ 20.1774
35.66/35.88	c GLOBAL bounds - >= 17441 @ 20.2524
35.87/36.09	c GLOBAL bounds - >= 17441 @ 20.3299
36.05/36.29	c GLOBAL bounds - >= 17441 @ 20.3996
36.35/36.50	c GLOBAL bounds - >= 17441 @ 20.4721
36.56/36.72	c GLOBAL bounds - >= 17441 @ 20.5608
36.76/36.93	c GLOBAL bounds - >= 17441 @ 20.6447
37.35/37.60	c GLOBAL bounds - >= 17441 @ 21.1437
37.75/37.91	c GLOBAL bounds - >= 18604 @ 21.4483
37.75/37.95	c GLOBAL bounds - >= 18604 @ 21.479
37.75/37.97	c GLOBAL bounds - >= 18604 @ 21.4871
37.75/38.00	c GLOBAL bounds - >= 18604 @ 21.4944
37.86/38.02	c GLOBAL bounds - >= 18604 @ 21.5021
37.86/38.04	c GLOBAL bounds - >= 18604 @ 21.5162
37.86/38.06	c GLOBAL bounds - >= 18604 @ 21.5287
38.05/38.27	c GLOBAL bounds - >= 18604 @ 21.5977
38.05/38.29	c GLOBAL bounds - >= 18604 @ 21.6064
38.35/38.50	c GLOBAL bounds - >= 18604 @ 21.6879
38.35/38.52	c GLOBAL bounds - >= 18604 @ 21.6965
38.55/38.73	c GLOBAL bounds - >= 18604 @ 21.7789
38.55/38.75	c GLOBAL bounds - >= 18604 @ 21.7924
38.75/38.96	c GLOBAL bounds - >= 18604 @ 21.8691
38.75/38.98	c GLOBAL bounds - >= 18604 @ 21.8817
38.96/39.19	c GLOBAL bounds - >= 18604 @ 21.9475
39.05/39.21	c GLOBAL bounds - >= 18604 @ 21.9591
39.25/39.43	c GLOBAL bounds - >= 18604 @ 22.0346
39.25/39.44	c GLOBAL bounds - >= 18604 @ 22.0449
39.45/39.66	c GLOBAL bounds - >= 18604 @ 22.1146
39.45/39.68	c GLOBAL bounds - >= 18604 @ 22.121
39.65/39.89	c GLOBAL bounds - >= 18604 @ 22.2109
39.75/39.91	c GLOBAL bounds - >= 18604 @ 22.219
39.96/40.12	c GLOBAL bounds - >= 18604 @ 22.2977
39.96/40.14	c GLOBAL bounds - >= 18604 @ 22.3048
40.15/40.35	c GLOBAL bounds - >= 18604 @ 22.3819
40.35/40.57	c GLOBAL bounds - >= 18604 @ 22.4691
40.54/40.79	c GLOBAL bounds - >= 18604 @ 22.5493
40.75/41.00	c GLOBAL bounds - >= 18604 @ 22.6379
41.04/41.22	c GLOBAL bounds - >= 18604 @ 22.7301
41.24/41.44	c GLOBAL bounds - >= 18604 @ 22.8208
41.95/42.19	c GLOBAL bounds - >= 18604 @ 23.4215
42.44/42.67	c GLOBAL bounds - >= 18604 @ 23.7739
42.95/43.12	c GLOBAL bounds - >= 18604 @ 24.0867
44.54/44.78	c #Conflicts:       1000 | #Constraints:       1274
44.54/44.78	c GLOBAL bounds - >= 18604 @ 25.4965
45.24/45.46	c GLOBAL bounds - >= 18604 @ 26.03
46.03/46.20	c GLOBAL bounds - >= 18604 @ 26.6169
46.93/47.18	c GLOBAL bounds - >= 19769 @ 27.5611
47.03/47.26	c GLOBAL bounds - >= 19769 @ 27.6341
47.03/47.28	c GLOBAL bounds - >= 19769 @ 27.6398
47.33/47.50	c GLOBAL bounds - >= 19769 @ 27.7207
47.33/47.52	c GLOBAL bounds - >= 19769 @ 27.7313
47.52/47.74	c GLOBAL bounds - >= 19769 @ 27.8195
47.52/47.76	c GLOBAL bounds - >= 19769 @ 27.8316
47.73/47.98	c GLOBAL bounds - >= 19769 @ 27.9041
47.83/48.00	c GLOBAL bounds - >= 19769 @ 27.9155
48.03/48.21	c GLOBAL bounds - >= 19769 @ 27.9904
48.03/48.23	c GLOBAL bounds - >= 19769 @ 28.0035
48.32/48.53	c GLOBAL bounds - >= 19769 @ 28.1732
48.32/48.55	c GLOBAL bounds - >= 19769 @ 28.1819
48.52/48.76	c GLOBAL bounds - >= 19769 @ 28.2584
48.52/48.77	c GLOBAL bounds - >= 19769 @ 28.2638
48.72/48.98	c GLOBAL bounds - >= 19769 @ 28.3336
48.72/49.00	c GLOBAL bounds - >= 19769 @ 28.3395
49.03/49.20	c GLOBAL bounds - >= 19769 @ 28.4161
49.03/49.23	c GLOBAL bounds - >= 19769 @ 28.4308
49.23/49.44	c GLOBAL bounds - >= 19769 @ 28.5161
49.23/49.46	c GLOBAL bounds - >= 19769 @ 28.5252
49.42/49.68	c GLOBAL bounds - >= 19769 @ 28.6033
49.72/49.90	c GLOBAL bounds - >= 19769 @ 28.6851
49.93/50.11	c GLOBAL bounds - >= 19769 @ 28.7677
50.12/50.33	c GLOBAL bounds - >= 19769 @ 28.8422
50.32/50.55	c GLOBAL bounds - >= 19769 @ 28.9335
50.72/50.98	c GLOBAL bounds - >= 19769 @ 29.2144
51.02/51.23	c GLOBAL bounds - >= 19769 @ 29.3433
51.32/51.59	c GLOBAL bounds - >= 19769 @ 29.5508
51.72/51.95	c GLOBAL bounds - >= 19769 @ 29.7787
53.82/54.02	c GLOBAL bounds - >= 19769 @ 31.6336
341.98/343.17	c #Conflicts:       2000 | #Constraints:       2327
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:       3000 | #Constraints:       2293
341.98/343.17	c #Conflicts:       4000 | #Constraints:       3293
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:       5000 | #Constraints:       2733
341.98/343.17	c #Conflicts:       6000 | #Constraints:       3733
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:       7000 | #Constraints:       2732
341.98/343.17	c #Conflicts:       8000 | #Constraints:       3732
341.98/343.17	c #Conflicts:       9000 | #Constraints:       4732
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      10000 | #Constraints:       3439
341.98/343.17	c #Conflicts:      11000 | #Constraints:       4439
341.98/343.17	c #Conflicts:      12000 | #Constraints:       5439
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      13000 | #Constraints:       3894
341.98/343.17	c #Conflicts:      14000 | #Constraints:       4894
341.98/343.17	c #Conflicts:      15000 | #Constraints:       5894
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      16000 | #Constraints:       4128
341.98/343.17	c #Conflicts:      17000 | #Constraints:       5128
341.98/343.17	c #Conflicts:      18000 | #Constraints:       6128
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      19000 | #Constraints:       4152
341.98/343.17	c #Conflicts:      20000 | #Constraints:       5152
341.98/343.17	c #Conflicts:      21000 | #Constraints:       6152
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      22000 | #Constraints:       3954
341.98/343.17	c #Conflicts:      23000 | #Constraints:       4954
341.98/343.17	c #Conflicts:      24000 | #Constraints:       5954
341.98/343.17	c #Conflicts:      25000 | #Constraints:       6954
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      26000 | #Constraints:       4544
341.98/343.17	c #Conflicts:      27000 | #Constraints:       5544
341.98/343.17	c #Conflicts:      28000 | #Constraints:       6544
341.98/343.17	c #Conflicts:      29000 | #Constraints:       7544
341.98/343.17	c INPROCESSING
341.98/343.17	c GARBAGE COLLECT
341.98/343.17	c #Conflicts:      30000 | #Constraints:       4948
341.98/343.17	c GLOBAL bounds - >= 20932 @ 316.074
342.07/343.23	c GLOBAL bounds - >= 20932 @ 316.117
342.07/343.25	c GLOBAL bounds - >= 20932 @ 316.126
342.07/343.27	c GLOBAL bounds - >= 20932 @ 316.131
342.26/343.48	c GLOBAL bounds - >= 20932 @ 316.195
342.37/343.50	c GLOBAL bounds - >= 20932 @ 316.211
342.57/343.71	c GLOBAL bounds - >= 20932 @ 316.283
342.57/343.74	c GLOBAL bounds - >= 20932 @ 316.294
342.76/343.94	c GLOBAL bounds - >= 20932 @ 316.384
342.76/343.97	c GLOBAL bounds - >= 20932 @ 316.394
342.97/344.18	c GLOBAL bounds - >= 20932 @ 316.473
343.06/344.21	c GLOBAL bounds - >= 20932 @ 316.482
343.27/344.43	c GLOBAL bounds - >= 20932 @ 316.572
343.27/344.47	c GLOBAL bounds - >= 20932 @ 316.595
343.47/344.69	c GLOBAL bounds - >= 20932 @ 316.68
343.56/344.71	c GLOBAL bounds - >= 20932 @ 316.691
343.76/344.93	c GLOBAL bounds - >= 20932 @ 316.774
343.76/344.95	c GLOBAL bounds - >= 20932 @ 316.787
343.97/345.17	c GLOBAL bounds - >= 20932 @ 316.871
344.06/345.20	c GLOBAL bounds - >= 20932 @ 316.884
344.26/345.41	c GLOBAL bounds - >= 20932 @ 316.96
344.26/345.44	c GLOBAL bounds - >= 20932 @ 316.974
344.46/345.66	c GLOBAL bounds - >= 20932 @ 317.054
344.76/345.91	c GLOBAL bounds - >= 20932 @ 317.173
345.46/346.67	c GLOBAL bounds - >= 20932 @ 317.785
346.06/347.21	c GLOBAL bounds - >= 20932 @ 318.191
348.15/349.30	c #Conflicts:      31000 | #Constraints:       5982
348.15/349.30	c GLOBAL bounds - >= 20932 @ 320.096
351.04/352.21	c GLOBAL bounds - >= 20932 @ 322.815
352.13/353.34	c GLOBAL bounds - >= 20932 @ 323.787
354.11/355.39	c #Conflicts:      32000 | #Constraints:       6985
354.11/355.39	c GLOBAL bounds - >= 20932 @ 325.576
355.21/356.40	c GLOBAL bounds - >= 20932 @ 326.428
357.31/358.57	c GLOBAL bounds - >= 23256 @ 328.528
357.41/358.66	c GLOBAL bounds - >= 23256 @ 328.602
357.41/358.68	c GLOBAL bounds - >= 23256 @ 328.615
357.60/358.89	c GLOBAL bounds - >= 23256 @ 328.701
357.70/358.91	c GLOBAL bounds - >= 23256 @ 328.713
357.91/359.12	c GLOBAL bounds - >= 23256 @ 328.792
357.91/359.15	c GLOBAL bounds - >= 23256 @ 328.809
358.10/359.36	c GLOBAL bounds - >= 23256 @ 328.879
358.10/359.39	c GLOBAL bounds - >= 23256 @ 328.889
358.40/359.61	c GLOBAL bounds - >= 23256 @ 328.975
358.40/359.63	c GLOBAL bounds - >= 23256 @ 328.985
358.60/359.85	c GLOBAL bounds - >= 23256 @ 329.066
358.60/359.88	c GLOBAL bounds - >= 23256 @ 329.077
358.81/360.09	c GLOBAL bounds - >= 23256 @ 329.161
358.90/360.12	c GLOBAL bounds - >= 23256 @ 329.173
359.09/360.35	c GLOBAL bounds - >= 23256 @ 329.271
359.09/360.38	c GLOBAL bounds - >= 23256 @ 329.28
359.38/360.60	c GLOBAL bounds - >= 23256 @ 329.366
359.38/360.62	c GLOBAL bounds - >= 23256 @ 329.375
359.57/360.84	c GLOBAL bounds - >= 23256 @ 329.461
359.57/360.85	c GLOBAL bounds - >= 23256 @ 329.469
359.79/361.07	c GLOBAL bounds - >= 23256 @ 329.553
359.98/361.29	c GLOBAL bounds - >= 23256 @ 329.646
360.28/361.50	c GLOBAL bounds - >= 23256 @ 329.727
363.07/364.34	c #Conflicts:      33000 | #Constraints:       8019
363.07/364.34	c INPROCESSING
363.07/364.34	c GARBAGE COLLECT
363.07/364.34	c GLOBAL bounds - >= 23256 @ 332.424
363.37/364.60	c GLOBAL bounds - >= 23256 @ 332.558
363.57/364.85	c GLOBAL bounds - >= 23256 @ 332.672
366.06/367.35	c GLOBAL bounds - >= 23256 @ 335.025
366.86/368.14	c GLOBAL bounds - >= 23256 @ 335.664
384.69/386.03	c #Conflicts:      34000 | #Constraints:       5192
384.69/386.03	c #Conflicts:      35000 | #Constraints:       6192
384.69/386.03	c #Conflicts:      36000 | #Constraints:       7192
384.69/386.03	c GLOBAL bounds - >= 23256 @ 352.912
384.88/386.28	c GLOBAL bounds - >= 23256 @ 353.031
704.73/707.11	c #Conflicts:      37000 | #Constraints:       8192
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      38000 | #Constraints:       5214
704.73/707.11	c #Conflicts:      39000 | #Constraints:       6214
704.73/707.11	c #Conflicts:      40000 | #Constraints:       7214
704.73/707.11	c #Conflicts:      41000 | #Constraints:       8214
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      42000 | #Constraints:       5030
704.73/707.11	c #Conflicts:      43000 | #Constraints:       6030
704.73/707.11	c #Conflicts:      44000 | #Constraints:       7030
704.73/707.11	c #Conflicts:      45000 | #Constraints:       8030
704.73/707.11	c #Conflicts:      46000 | #Constraints:       9030
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      47000 | #Constraints:       5620
704.73/707.11	c #Conflicts:      48000 | #Constraints:       6620
704.73/707.11	c #Conflicts:      49000 | #Constraints:       7620
704.73/707.11	c #Conflicts:      50000 | #Constraints:       8620
704.73/707.11	c #Conflicts:      51000 | #Constraints:       9620
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      52000 | #Constraints:       6031
704.73/707.11	c #Conflicts:      53000 | #Constraints:       7031
704.73/707.11	c #Conflicts:      54000 | #Constraints:       8031
704.73/707.11	c #Conflicts:      55000 | #Constraints:       9031
704.73/707.11	c #Conflicts:      56000 | #Constraints:      10031
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      57000 | #Constraints:       6253
704.73/707.11	c #Conflicts:      58000 | #Constraints:       7253
704.73/707.11	c #Conflicts:      59000 | #Constraints:       8253
704.73/707.11	c #Conflicts:      60000 | #Constraints:       9253
704.73/707.11	c #Conflicts:      61000 | #Constraints:      10253
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      62000 | #Constraints:       6253
704.73/707.11	c #Conflicts:      63000 | #Constraints:       7253
704.73/707.11	c #Conflicts:      64000 | #Constraints:       8253
704.73/707.11	c #Conflicts:      65000 | #Constraints:       9253
704.73/707.11	c #Conflicts:      66000 | #Constraints:      10253
704.73/707.11	c INPROCESSING
704.73/707.11	c GARBAGE COLLECT
704.73/707.11	c #Conflicts:      67000 | #Constraints:       6066
704.73/707.11	c #Conflicts:      68000 | #Constraints:       7066
704.73/707.11	c GLOBAL bounds - >= 23258 @ 668.489
704.73/707.16	c GLOBAL bounds - >= 23258 @ 668.524
704.73/707.18	c GLOBAL bounds - >= 23258 @ 668.532
704.83/707.20	c GLOBAL bounds - >= 23258 @ 668.542
705.03/707.40	c GLOBAL bounds - >= 23258 @ 668.612
705.03/707.43	c GLOBAL bounds - >= 23258 @ 668.625
705.43/707.83	c GLOBAL bounds - >= 23258 @ 668.887
705.43/707.86	c GLOBAL bounds - >= 23258 @ 668.901
705.63/708.08	c GLOBAL bounds - >= 23258 @ 668.973
705.63/708.10	c GLOBAL bounds - >= 23258 @ 668.987
705.93/708.32	c GLOBAL bounds - >= 23258 @ 669.069
705.93/708.34	c GLOBAL bounds - >= 23258 @ 669.082
706.23/708.63	c GLOBAL bounds - >= 23258 @ 669.234
706.23/708.65	c GLOBAL bounds - >= 23258 @ 669.247
706.43/708.87	c GLOBAL bounds - >= 23258 @ 669.323
706.52/708.90	c GLOBAL bounds - >= 23258 @ 669.335
706.74/709.11	c GLOBAL bounds - >= 23258 @ 669.42
706.74/709.14	c GLOBAL bounds - >= 23258 @ 669.429
706.93/709.35	c GLOBAL bounds - >= 23258 @ 669.521
706.93/709.38	c GLOBAL bounds - >= 23258 @ 669.537
707.22/709.60	c GLOBAL bounds - >= 23258 @ 669.611
707.22/709.62	c GLOBAL bounds - >= 23258 @ 669.625
707.42/709.84	c GLOBAL bounds - >= 23258 @ 669.696
707.63/710.05	c GLOBAL bounds - >= 23258 @ 669.78
707.83/710.27	c GLOBAL bounds - >= 23258 @ 669.864
708.12/710.50	c GLOBAL bounds - >= 23258 @ 669.951
708.52/710.98	c GLOBAL bounds - >= 23258 @ 670.299
708.82/711.20	c GLOBAL bounds - >= 23258 @ 670.39
709.32/711.78	c GLOBAL bounds - >= 23258 @ 670.843
710.32/712.78	c GLOBAL bounds - >= 23258 @ 671.698
711.02/713.47	c #Conflicts:      69000 | #Constraints:       8116
711.02/713.47	c GLOBAL bounds - >= 23258 @ 672.257
711.72/714.12	c GLOBAL bounds - >= 23258 @ 672.763
873.88/876.74	c #Conflicts:      70000 | #Constraints:       9116
873.88/876.74	c #Conflicts:      71000 | #Constraints:      10116
873.88/876.74	c #Conflicts:      72000 | #Constraints:      11116
873.88/876.74	c INPROCESSING
873.88/876.74	c GARBAGE COLLECT
873.88/876.74	c #Conflicts:      73000 | #Constraints:       6680
873.88/876.74	c #Conflicts:      74000 | #Constraints:       7680
873.88/876.74	c #Conflicts:      75000 | #Constraints:       8680
873.88/876.74	c #Conflicts:      76000 | #Constraints:       9680
873.88/876.74	c #Conflicts:      77000 | #Constraints:      10680
873.88/876.74	c #Conflicts:      78000 | #Constraints:      11680
873.88/876.74	c INPROCESSING
873.88/876.74	c GARBAGE COLLECT
873.88/876.74	c #Conflicts:      79000 | #Constraints:       7078
873.88/876.74	c #Conflicts:      80000 | #Constraints:       8078
873.88/876.74	c #Conflicts:      81000 | #Constraints:       9078
873.88/876.74	c #Conflicts:      82000 | #Constraints:      10078
873.88/876.74	c #Conflicts:      83000 | #Constraints:      11078
873.88/876.74	c #Conflicts:      84000 | #Constraints:      12078
873.88/876.74	c INPROCESSING
873.88/876.74	c GARBAGE COLLECT
873.88/876.74	c #Conflicts:      85000 | #Constraints:       7277
873.88/876.74	c #Conflicts:      86000 | #Constraints:       8277
873.88/876.74	c #Conflicts:      87000 | #Constraints:       9277
873.88/876.74	c #Conflicts:      88000 | #Constraints:      10277
873.88/876.74	c #Conflicts:      89000 | #Constraints:      11277
873.88/876.74	c GLOBAL bounds - >= 23839 @ 832.169
873.88/876.78	c GLOBAL bounds - >= 23839 @ 832.198
873.98/876.81	c GLOBAL bounds - >= 23839 @ 832.207
873.98/876.83	c GLOBAL bounds - >= 23839 @ 832.213
873.98/876.85	c GLOBAL bounds - >= 23839 @ 832.223
873.98/876.87	c GLOBAL bounds - >= 23839 @ 832.233
873.98/876.89	c GLOBAL bounds - >= 23839 @ 832.238
874.09/876.91	c GLOBAL bounds - >= 23839 @ 832.243
874.09/876.94	c GLOBAL bounds - >= 23839 @ 832.252
875.19/878.04	c GLOBAL bounds - >= 23839 @ 833.197
875.19/878.06	c GLOBAL bounds - >= 23839 @ 833.206
875.38/878.27	c GLOBAL bounds - >= 23839 @ 833.287
875.38/878.29	c GLOBAL bounds - >= 23839 @ 833.3
875.68/878.50	c GLOBAL bounds - >= 23839 @ 833.385
875.68/878.52	c GLOBAL bounds - >= 23839 @ 833.398
875.88/878.73	c GLOBAL bounds - >= 23839 @ 833.466
875.88/878.75	c GLOBAL bounds - >= 23839 @ 833.478
876.08/878.96	c GLOBAL bounds - >= 23839 @ 833.556
876.08/878.98	c GLOBAL bounds - >= 23839 @ 833.565
876.38/879.20	c GLOBAL bounds - >= 23839 @ 833.647
876.38/879.22	c GLOBAL bounds - >= 23839 @ 833.664
876.57/879.43	c GLOBAL bounds - >= 23839 @ 833.726
876.57/879.46	c GLOBAL bounds - >= 23839 @ 833.739
876.78/879.68	c GLOBAL bounds - >= 23839 @ 833.828
876.87/879.71	c GLOBAL bounds - >= 23839 @ 833.843
877.07/879.93	c GLOBAL bounds - >= 23839 @ 833.921
877.07/879.98	c GLOBAL bounds - >= 23839 @ 833.941
877.37/880.20	c GLOBAL bounds - >= 23839 @ 834.018
877.57/880.41	c GLOBAL bounds - >= 23839 @ 834.117
877.78/880.63	c GLOBAL bounds - >= 23839 @ 834.204
877.97/880.83	c GLOBAL bounds - >= 23839 @ 834.274
878.18/881.04	c GLOBAL bounds - >= 23839 @ 834.348
878.37/881.25	c GLOBAL bounds - >= 23839 @ 834.411
878.57/881.48	c GLOBAL bounds - >= 23839 @ 834.514
880.27/883.18	c GLOBAL bounds - >= 23839 @ 836.056
880.57/883.40	c GLOBAL bounds - >= 23839 @ 836.133
884.96/887.89	c #Conflicts:      90000 | #Constraints:      12305
884.96/887.89	c INPROCESSING
884.96/887.89	c GARBAGE COLLECT
884.96/887.89	c GLOBAL bounds - >= 23839 @ 840.467
1007.29/1010.57	c #Conflicts:      91000 | #Constraints:       7277
1007.29/1010.57	c #Conflicts:      92000 | #Constraints:       8277
1007.29/1010.57	c #Conflicts:      93000 | #Constraints:       9277
1007.29/1010.57	c #Conflicts:      94000 | #Constraints:      10277
1007.29/1010.57	c #Conflicts:      95000 | #Constraints:      11277
1007.29/1010.57	c #Conflicts:      96000 | #Constraints:      12277
1007.29/1010.57	c INPROCESSING
1007.29/1010.57	c GARBAGE COLLECT
1007.29/1010.57	c #Conflicts:      97000 | #Constraints:       7085
1007.29/1010.57	c #Conflicts:      98000 | #Constraints:       8085
1007.29/1010.57	c #Conflicts:      99000 | #Constraints:       9085
1007.29/1010.57	c #Conflicts:     100000 | #Constraints:      10085
1007.29/1010.57	c #Conflicts:     101000 | #Constraints:      11085
1007.29/1010.57	c #Conflicts:     102000 | #Constraints:      12085
1007.29/1010.57	c GLOBAL bounds - >= 23839 @ 960.296
1007.29/1010.58	c GLOBAL bounds - >= 23839 @ 960.304
1007.39/1010.61	c GLOBAL bounds - >= 23839 @ 960.317
1007.39/1010.63	c GLOBAL bounds - >= 23839 @ 960.328
1007.39/1010.66	c GLOBAL bounds - >= 23839 @ 960.339
1007.39/1010.68	c GLOBAL bounds - >= 23839 @ 960.353
1007.48/1010.70	c GLOBAL bounds - >= 23839 @ 960.362
1007.48/1010.73	c GLOBAL bounds - >= 23839 @ 960.372
1007.48/1010.75	c GLOBAL bounds - >= 23839 @ 960.387
1007.48/1010.79	c GLOBAL bounds - >= 23839 @ 960.396
1011.88/1015.14	c #Conflicts:     103000 | #Constraints:      13092
1011.88/1015.14	c INPROCESSING
1011.88/1015.14	c GARBAGE COLLECT
1011.88/1015.14	c GLOBAL bounds - >= 23839 @ 964.534
1011.88/1015.17	c GLOBAL bounds - >= 23839 @ 964.541
1012.08/1015.37	c GLOBAL bounds - >= 23839 @ 964.62
1012.18/1015.40	c GLOBAL bounds - >= 23839 @ 964.631
1012.38/1015.60	c GLOBAL bounds - >= 23839 @ 964.703
1012.38/1015.63	c GLOBAL bounds - >= 23839 @ 964.714
1012.57/1015.83	c GLOBAL bounds - >= 23839 @ 964.792
1012.57/1015.87	c GLOBAL bounds - >= 23839 @ 964.802
1012.78/1016.07	c GLOBAL bounds - >= 23839 @ 964.883
1012.78/1016.10	c GLOBAL bounds - >= 23839 @ 964.899
1013.07/1016.31	c GLOBAL bounds - >= 23839 @ 964.989
1013.07/1016.34	c GLOBAL bounds - >= 23839 @ 964.997
1013.27/1016.55	c GLOBAL bounds - >= 23839 @ 965.094
1013.27/1016.59	c GLOBAL bounds - >= 23839 @ 965.114
1013.57/1016.80	c GLOBAL bounds - >= 23839 @ 965.199
1013.57/1016.83	c GLOBAL bounds - >= 23839 @ 965.215
1013.78/1017.05	c GLOBAL bounds - >= 23839 @ 965.288
1013.78/1017.07	c GLOBAL bounds - >= 23839 @ 965.299
1013.97/1017.29	c GLOBAL bounds - >= 23839 @ 965.378
1014.17/1017.50	c GLOBAL bounds - >= 23839 @ 965.459
1014.47/1017.71	c GLOBAL bounds - >= 23839 @ 965.53
1014.67/1017.91	c GLOBAL bounds - >= 23839 @ 965.599
1014.88/1018.12	c GLOBAL bounds - >= 23839 @ 965.661
1015.08/1018.34	c GLOBAL bounds - >= 23839 @ 965.754
1015.87/1019.19	c GLOBAL bounds - >= 23839 @ 966.45
1016.47/1019.74	c GLOBAL bounds - >= 23839 @ 966.863
1017.07/1020.33	c GLOBAL bounds - >= 23839 @ 967.315
1602.70/1607.65	c #Conflicts:     104000 | #Constraints:       7709
1602.70/1607.65	c #Conflicts:     105000 | #Constraints:       8709
1602.70/1607.65	c #Conflicts:     106000 | #Constraints:       9709
1602.70/1607.65	c #Conflicts:     107000 | #Constraints:      10709
1602.70/1607.65	c #Conflicts:     108000 | #Constraints:      11709
1602.70/1607.65	c #Conflicts:     109000 | #Constraints:      12709
1602.70/1607.65	c #Conflicts:     110000 | #Constraints:      13709
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     111000 | #Constraints:       8121
1602.70/1607.65	c #Conflicts:     112000 | #Constraints:       9121
1602.70/1607.65	c #Conflicts:     113000 | #Constraints:      10121
1602.70/1607.65	c #Conflicts:     114000 | #Constraints:      11121
1602.70/1607.65	c #Conflicts:     115000 | #Constraints:      12121
1602.70/1607.65	c #Conflicts:     116000 | #Constraints:      13121
1602.70/1607.65	c #Conflicts:     117000 | #Constraints:      14121
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     118000 | #Constraints:       8318
1602.70/1607.65	c #Conflicts:     119000 | #Constraints:       9318
1602.70/1607.65	c #Conflicts:     120000 | #Constraints:      10318
1602.70/1607.65	c #Conflicts:     121000 | #Constraints:      11318
1602.70/1607.65	c #Conflicts:     122000 | #Constraints:      12318
1602.70/1607.65	c #Conflicts:     123000 | #Constraints:      13318
1602.70/1607.65	c #Conflicts:     124000 | #Constraints:      14318
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     125000 | #Constraints:       8323
1602.70/1607.65	c #Conflicts:     126000 | #Constraints:       9323
1602.70/1607.65	c #Conflicts:     127000 | #Constraints:      10323
1602.70/1607.65	c #Conflicts:     128000 | #Constraints:      11323
1602.70/1607.65	c #Conflicts:     129000 | #Constraints:      12323
1602.70/1607.65	c #Conflicts:     130000 | #Constraints:      13323
1602.70/1607.65	c #Conflicts:     131000 | #Constraints:      14323
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     132000 | #Constraints:       8122
1602.70/1607.65	c #Conflicts:     133000 | #Constraints:       9122
1602.70/1607.65	c #Conflicts:     134000 | #Constraints:      10122
1602.70/1607.65	c #Conflicts:     135000 | #Constraints:      11122
1602.70/1607.65	c #Conflicts:     136000 | #Constraints:      12122
1602.70/1607.65	c #Conflicts:     137000 | #Constraints:      13122
1602.70/1607.65	c #Conflicts:     138000 | #Constraints:      14122
1602.70/1607.65	c #Conflicts:     139000 | #Constraints:      15122
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     140000 | #Constraints:       8724
1602.70/1607.65	c #Conflicts:     141000 | #Constraints:       9724
1602.70/1607.65	c #Conflicts:     142000 | #Constraints:      10724
1602.70/1607.65	c #Conflicts:     143000 | #Constraints:      11724
1602.70/1607.65	c #Conflicts:     144000 | #Constraints:      12724
1602.70/1607.65	c #Conflicts:     145000 | #Constraints:      13724
1602.70/1607.65	c #Conflicts:     146000 | #Constraints:      14724
1602.70/1607.65	c #Conflicts:     147000 | #Constraints:      15724
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     148000 | #Constraints:       9126
1602.70/1607.65	c #Conflicts:     149000 | #Constraints:      10126
1602.70/1607.65	c #Conflicts:     150000 | #Constraints:      11126
1602.70/1607.65	c #Conflicts:     151000 | #Constraints:      12126
1602.70/1607.65	c #Conflicts:     152000 | #Constraints:      13126
1602.70/1607.65	c #Conflicts:     153000 | #Constraints:      14126
1602.70/1607.65	c #Conflicts:     154000 | #Constraints:      15126
1602.70/1607.65	c #Conflicts:     155000 | #Constraints:      16126
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     156000 | #Constraints:       9341
1602.70/1607.65	c #Conflicts:     157000 | #Constraints:      10341
1602.70/1607.65	c #Conflicts:     158000 | #Constraints:      11341
1602.70/1607.65	c #Conflicts:     159000 | #Constraints:      12341
1602.70/1607.65	c #Conflicts:     160000 | #Constraints:      13341
1602.70/1607.65	c #Conflicts:     161000 | #Constraints:      14341
1602.70/1607.65	c #Conflicts:     162000 | #Constraints:      15341
1602.70/1607.65	c #Conflicts:     163000 | #Constraints:      16341
1602.70/1607.65	c INPROCESSING
1602.70/1607.65	c GARBAGE COLLECT
1602.70/1607.65	c #Conflicts:     164000 | #Constraints:       9336
1602.70/1607.65	c #Conflicts:     165000 | #Constraints:      10336
1602.70/1607.65	c #Conflicts:     166000 | #Constraints:      11336
1602.70/1607.65	c #Conflicts:     167000 | #Constraints:      12336
1602.70/1607.65	c #Conflicts:     168000 | #Constraints:      13336
1602.70/1607.65	c #Conflicts:     169000 | #Constraints:      14336
1602.70/1607.65	c #Conflicts:     170000 | #Constraints:      15336
1602.70/1607.65	c GLOBAL bounds - >= 24422 @ 1543.03
1602.80/1607.73	c GLOBAL bounds - >= 24422 @ 1543.1
1602.80/1607.76	c GLOBAL bounds - >= 24422 @ 1543.11
1602.80/1607.78	c GLOBAL bounds - >= 24422 @ 1543.13
1602.90/1607.80	c GLOBAL bounds - >= 24422 @ 1543.14
1602.90/1607.83	c GLOBAL bounds - >= 24422 @ 1543.14
1603.10/1608.04	c GLOBAL bounds - >= 24422 @ 1543.23
1603.10/1608.06	c GLOBAL bounds - >= 24422 @ 1543.24
1604.69/1609.61	c GLOBAL bounds - >= 24422 @ 1544.6
1604.69/1609.63	c GLOBAL bounds - >= 24422 @ 1544.61
1604.89/1609.84	c GLOBAL bounds - >= 24422 @ 1544.7
1604.89/1609.86	c GLOBAL bounds - >= 24422 @ 1544.71
1605.10/1610.07	c GLOBAL bounds - >= 24422 @ 1544.78
1605.10/1610.09	c GLOBAL bounds - >= 24422 @ 1544.79
1605.40/1610.30	c GLOBAL bounds - >= 24422 @ 1544.87
1605.40/1610.33	c GLOBAL bounds - >= 24422 @ 1544.88
1605.59/1610.54	c GLOBAL bounds - >= 24422 @ 1544.96
1605.59/1610.56	c GLOBAL bounds - >= 24422 @ 1544.98
1605.79/1610.78	c GLOBAL bounds - >= 24422 @ 1545.06
1605.89/1610.81	c GLOBAL bounds - >= 24422 @ 1545.08
1606.10/1611.02	c GLOBAL bounds - >= 24422 @ 1545.17
1606.10/1611.05	c GLOBAL bounds - >= 24422 @ 1545.18
1606.29/1611.27	c GLOBAL bounds - >= 24422 @ 1545.25
1606.29/1611.29	c GLOBAL bounds - >= 24422 @ 1545.27
1606.59/1611.51	c GLOBAL bounds - >= 24422 @ 1545.36
1606.79/1611.73	c GLOBAL bounds - >= 24422 @ 1545.44
1606.98/1611.95	c GLOBAL bounds - >= 24422 @ 1545.53
1607.19/1612.16	c GLOBAL bounds - >= 24422 @ 1545.63
1607.39/1612.39	c GLOBAL bounds - >= 24422 @ 1545.73
1608.28/1613.28	c GLOBAL bounds - >= 24422 @ 1546.47
1608.88/1613.86	c GLOBAL bounds - >= 24422 @ 1546.91
1610.28/1615.27	c GLOBAL bounds - >= 24422 @ 1548.13
1611.38/1616.36	c #Conflicts:     171000 | #Constraints:      16373
1611.38/1616.36	c GLOBAL bounds - >= 24422 @ 1549.04
1621.92/1626.92	c INPROCESSING
1621.92/1626.92	c GARBAGE COLLECT
1621.92/1626.92	c #Conflicts:     172000 | #Constraints:       9135
1621.92/1626.92	c GLOBAL bounds - >= 24422 @ 1559.24
1751.88/1757.21	c #Conflicts:     173000 | #Constraints:      10135
1751.88/1757.21	c #Conflicts:     174000 | #Constraints:      11135
1751.88/1757.21	c #Conflicts:     175000 | #Constraints:      12135
1751.88/1757.21	c #Conflicts:     176000 | #Constraints:      13135
1751.88/1757.21	c #Conflicts:     177000 | #Constraints:      14135
1751.88/1757.21	c #Conflicts:     178000 | #Constraints:      15135
1751.88/1757.21	c #Conflicts:     179000 | #Constraints:      16135
1751.88/1757.21	c #Conflicts:     180000 | #Constraints:      17135
1751.88/1757.21	c INPROCESSING
1751.88/1757.21	c GARBAGE COLLECT
1751.88/1757.21	c #Conflicts:     181000 | #Constraints:       9737
1751.88/1757.21	c #Conflicts:     182000 | #Constraints:      10737
1751.88/1757.21	c #Conflicts:     183000 | #Constraints:      11737
1751.88/1757.21	c #Conflicts:     184000 | #Constraints:      12737
1751.88/1757.21	c #Conflicts:     185000 | #Constraints:      13737
1751.88/1757.21	c #Conflicts:     186000 | #Constraints:      14737
1751.88/1757.21	c #Conflicts:     187000 | #Constraints:      15737
1751.88/1757.21	c #Conflicts:     188000 | #Constraints:      16737
1751.88/1757.21	c #Conflicts:     189000 | #Constraints:      17737
1751.88/1757.21	c INPROCESSING
1751.88/1757.21	c GARBAGE COLLECT
1751.88/1757.21	c GLOBAL bounds - >= 24422 @ 1686.74
1751.88/1757.21	c GLOBAL bounds - >= 24422 @ 1686.74
1751.88/1757.25	c GLOBAL bounds - >= 24422 @ 1686.76
1751.88/1757.27	c GLOBAL bounds - >= 24422 @ 1686.78
1751.88/1757.29	c GLOBAL bounds - >= 24422 @ 1686.78
1751.97/1757.31	c GLOBAL bounds - >= 24422 @ 1686.79
1752.17/1757.52	c GLOBAL bounds - >= 24422 @ 1686.87
1752.17/1757.54	c GLOBAL bounds - >= 24422 @ 1686.88
1752.37/1757.75	c GLOBAL bounds - >= 24422 @ 1686.95
1752.37/1757.77	c GLOBAL bounds - >= 24422 @ 1686.96
1752.57/1757.98	c GLOBAL bounds - >= 24422 @ 1687.04
1752.68/1758.01	c GLOBAL bounds - >= 24422 @ 1687.05
1752.87/1758.21	c GLOBAL bounds - >= 24422 @ 1687.12
1752.87/1758.23	c GLOBAL bounds - >= 24422 @ 1687.13
1753.07/1758.45	c GLOBAL bounds - >= 24422 @ 1687.22
1753.07/1758.46	c GLOBAL bounds - >= 24422 @ 1687.23
1753.28/1758.68	c GLOBAL bounds - >= 24422 @ 1687.3
1753.38/1758.70	c GLOBAL bounds - >= 24422 @ 1687.31
1753.58/1758.92	c GLOBAL bounds - >= 24422 @ 1687.4
1753.58/1758.94	c GLOBAL bounds - >= 24422 @ 1687.4
1753.78/1759.15	c GLOBAL bounds - >= 24422 @ 1687.49
1753.78/1759.17	c GLOBAL bounds - >= 24422 @ 1687.5
1753.97/1759.39	c GLOBAL bounds - >= 24422 @ 1687.59
1754.08/1759.41	c GLOBAL bounds - >= 24422 @ 1687.6
1754.27/1759.62	c GLOBAL bounds - >= 24422 @ 1687.68
1754.47/1759.84	c GLOBAL bounds - >= 24422 @ 1687.76
1754.67/1760.06	c GLOBAL bounds - >= 24422 @ 1687.84
1754.87/1760.28	c GLOBAL bounds - >= 24422 @ 1687.94
1755.17/1760.52	c GLOBAL bounds - >= 24422 @ 1688.04
1755.37/1760.75	c GLOBAL bounds - >= 24422 @ 1688.14
1755.57/1761.00	c GLOBAL bounds - >= 24422 @ 1688.26
1755.87/1761.25	c GLOBAL bounds - >= 24422 @ 1688.37
1756.17/1761.52	c GLOBAL bounds - >= 24422 @ 1688.51
1756.46/1761.80	c GLOBAL bounds - >= 24422 @ 1688.67
1756.78/1762.14	c GLOBAL bounds - >= 24422 @ 1688.85
1757.06/1762.40	c GLOBAL bounds - >= 24422 @ 1688.99
1757.37/1762.71	c GLOBAL bounds - >= 24422 @ 1689.17
2167.02/2173.59	c #Conflicts:     190000 | #Constraints:      10195
2167.02/2173.59	c #Conflicts:     191000 | #Constraints:      11195
2167.02/2173.59	c #Conflicts:     192000 | #Constraints:      12195
2167.02/2173.59	c #Conflicts:     193000 | #Constraints:      13195
2167.02/2173.59	c #Conflicts:     194000 | #Constraints:      14195
2167.02/2173.59	c #Conflicts:     195000 | #Constraints:      15195
2167.02/2173.59	c #Conflicts:     196000 | #Constraints:      16195
2167.02/2173.59	c #Conflicts:     197000 | #Constraints:      17195
2167.02/2173.59	c #Conflicts:     198000 | #Constraints:      18195
2167.02/2173.59	c INPROCESSING
2167.02/2173.59	c GARBAGE COLLECT
2167.02/2173.59	c #Conflicts:     199000 | #Constraints:      10394
2167.02/2173.59	c #Conflicts:     200000 | #Constraints:      11394
2167.02/2173.59	c #Conflicts:     201000 | #Constraints:      12394
2167.02/2173.59	c #Conflicts:     202000 | #Constraints:      13394
2167.02/2173.59	c #Conflicts:     203000 | #Constraints:      14394
2167.02/2173.59	c #Conflicts:     204000 | #Constraints:      15394
2167.02/2173.59	c #Conflicts:     205000 | #Constraints:      16394
2167.02/2173.59	c #Conflicts:     206000 | #Constraints:      17394
2167.02/2173.59	c #Conflicts:     207000 | #Constraints:      18394
2167.02/2173.59	c INPROCESSING
2167.02/2173.59	c GARBAGE COLLECT
2167.02/2173.59	c #Conflicts:     208000 | #Constraints:      10388
2167.02/2173.59	c #Conflicts:     209000 | #Constraints:      11388
2167.02/2173.59	c #Conflicts:     210000 | #Constraints:      12388
2167.02/2173.59	c #Conflicts:     211000 | #Constraints:      13388
2167.02/2173.59	c #Conflicts:     212000 | #Constraints:      14388
2167.02/2173.59	c #Conflicts:     213000 | #Constraints:      15388
2167.02/2173.59	c #Conflicts:     214000 | #Constraints:      16388
2167.02/2173.59	c #Conflicts:     215000 | #Constraints:      17388
2167.02/2173.59	c #Conflicts:     216000 | #Constraints:      18388
2167.02/2173.59	c INPROCESSING
2167.02/2173.59	c GARBAGE COLLECT
2167.02/2173.59	c #Conflicts:     217000 | #Constraints:      10200
2167.02/2173.59	c #Conflicts:     218000 | #Constraints:      11200
2167.02/2173.59	c #Conflicts:     219000 | #Constraints:      12200
2167.02/2173.59	c #Conflicts:     220000 | #Constraints:      13200
2167.02/2173.59	c #Conflicts:     221000 | #Constraints:      14200
2167.02/2173.59	c #Conflicts:     222000 | #Constraints:      15200
2167.02/2173.59	c #Conflicts:     223000 | #Constraints:      16200
2167.02/2173.59	c #Conflicts:     224000 | #Constraints:      17200
2167.02/2173.59	c #Conflicts:     225000 | #Constraints:      18200
2167.02/2173.59	c #Conflicts:     226000 | #Constraints:      19200
2167.02/2173.59	c INPROCESSING
2167.02/2173.59	c GARBAGE COLLECT
2167.02/2173.59	c #Conflicts:     227000 | #Constraints:      10803
2167.02/2173.59	c #Conflicts:     228000 | #Constraints:      11803
2167.02/2173.59	c #Conflicts:     229000 | #Constraints:      12803
2167.02/2173.59	c #Conflicts:     230000 | #Constraints:      13803
2167.02/2173.59	c #Conflicts:     231000 | #Constraints:      14803
2167.02/2173.59	c #Conflicts:     232000 | #Constraints:      15803
2167.02/2173.59	c #Conflicts:     233000 | #Constraints:      16803
2167.02/2173.59	c #Conflicts:     234000 | #Constraints:      17803
2167.02/2173.59	c GLOBAL bounds - >= 24422 @ 2093.23
2764.15/2772.41	c #Conflicts:     235000 | #Constraints:      18803
2764.15/2772.41	c #Conflicts:     236000 | #Constraints:      19803
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     237000 | #Constraints:      11200
2764.15/2772.41	c #Conflicts:     238000 | #Constraints:      12200
2764.15/2772.41	c #Conflicts:     239000 | #Constraints:      13200
2764.15/2772.41	c #Conflicts:     240000 | #Constraints:      14200
2764.15/2772.41	c #Conflicts:     241000 | #Constraints:      15200
2764.15/2772.41	c #Conflicts:     242000 | #Constraints:      16200
2764.15/2772.41	c #Conflicts:     243000 | #Constraints:      17200
2764.15/2772.41	c #Conflicts:     244000 | #Constraints:      18200
2764.15/2772.41	c #Conflicts:     245000 | #Constraints:      19200
2764.15/2772.41	c #Conflicts:     246000 | #Constraints:      20200
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     247000 | #Constraints:      11393
2764.15/2772.41	c #Conflicts:     248000 | #Constraints:      12393
2764.15/2772.41	c #Conflicts:     249000 | #Constraints:      13393
2764.15/2772.41	c #Conflicts:     250000 | #Constraints:      14393
2764.15/2772.41	c #Conflicts:     251000 | #Constraints:      15393
2764.15/2772.41	c #Conflicts:     252000 | #Constraints:      16393
2764.15/2772.41	c #Conflicts:     253000 | #Constraints:      17393
2764.15/2772.41	c #Conflicts:     254000 | #Constraints:      18393
2764.15/2772.41	c #Conflicts:     255000 | #Constraints:      19393
2764.15/2772.41	c #Conflicts:     256000 | #Constraints:      20393
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     257000 | #Constraints:      11384
2764.15/2772.41	c #Conflicts:     258000 | #Constraints:      12384
2764.15/2772.41	c #Conflicts:     259000 | #Constraints:      13384
2764.15/2772.41	c #Conflicts:     260000 | #Constraints:      14384
2764.15/2772.41	c #Conflicts:     261000 | #Constraints:      15384
2764.15/2772.41	c #Conflicts:     262000 | #Constraints:      16384
2764.15/2772.41	c #Conflicts:     263000 | #Constraints:      17384
2764.15/2772.41	c #Conflicts:     264000 | #Constraints:      18384
2764.15/2772.41	c #Conflicts:     265000 | #Constraints:      19384
2764.15/2772.41	c #Conflicts:     266000 | #Constraints:      20384
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     267000 | #Constraints:      11177
2764.15/2772.41	c #Conflicts:     268000 | #Constraints:      12177
2764.15/2772.41	c #Conflicts:     269000 | #Constraints:      13177
2764.15/2772.41	c #Conflicts:     270000 | #Constraints:      14177
2764.15/2772.41	c #Conflicts:     271000 | #Constraints:      15177
2764.15/2772.41	c #Conflicts:     272000 | #Constraints:      16177
2764.15/2772.41	c #Conflicts:     273000 | #Constraints:      17177
2764.15/2772.41	c #Conflicts:     274000 | #Constraints:      18177
2764.15/2772.41	c #Conflicts:     275000 | #Constraints:      19177
2764.15/2772.41	c #Conflicts:     276000 | #Constraints:      20177
2764.15/2772.41	c #Conflicts:     277000 | #Constraints:      21177
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     278000 | #Constraints:      11765
2764.15/2772.41	c #Conflicts:     279000 | #Constraints:      12765
2764.15/2772.41	c #Conflicts:     280000 | #Constraints:      13765
2764.15/2772.41	c #Conflicts:     281000 | #Constraints:      14765
2764.15/2772.41	c #Conflicts:     282000 | #Constraints:      15765
2764.15/2772.41	c #Conflicts:     283000 | #Constraints:      16765
2764.15/2772.41	c #Conflicts:     284000 | #Constraints:      17765
2764.15/2772.41	c #Conflicts:     285000 | #Constraints:      18765
2764.15/2772.41	c #Conflicts:     286000 | #Constraints:      19765
2764.15/2772.41	c #Conflicts:     287000 | #Constraints:      20765
2764.15/2772.41	c #Conflicts:     288000 | #Constraints:      21765
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     289000 | #Constraints:      12178
2764.15/2772.41	c #Conflicts:     290000 | #Constraints:      13178
2764.15/2772.41	c #Conflicts:     291000 | #Constraints:      14178
2764.15/2772.41	c #Conflicts:     292000 | #Constraints:      15178
2764.15/2772.41	c #Conflicts:     293000 | #Constraints:      16178
2764.15/2772.41	c #Conflicts:     294000 | #Constraints:      17178
2764.15/2772.41	c #Conflicts:     295000 | #Constraints:      18178
2764.15/2772.41	c #Conflicts:     296000 | #Constraints:      19178
2764.15/2772.41	c #Conflicts:     297000 | #Constraints:      20178
2764.15/2772.41	c #Conflicts:     298000 | #Constraints:      21178
2764.15/2772.41	c #Conflicts:     299000 | #Constraints:      22178
2764.15/2772.41	c INPROCESSING
2764.15/2772.41	c GARBAGE COLLECT
2764.15/2772.41	c #Conflicts:     300000 | #Constraints:      12380
2764.15/2772.41	c #Conflicts:     301000 | #Constraints:      13380
2764.15/2772.41	c #Conflicts:     302000 | #Constraints:      14380
2764.15/2772.41	c #Conflicts:     303000 | #Constraints:      15380
2764.15/2772.41	c #Conflicts:     304000 | #Constraints:      16380
2764.15/2772.41	c #Conflicts:     305000 | #Constraints:      17380
2764.15/2772.41	c #Conflicts:     306000 | #Constraints:      18380
2764.15/2772.41	c #Conflicts:     307000 | #Constraints:      19380
2764.15/2772.41	c #Conflicts:     308000 | #Constraints:      20380
2764.15/2772.41	c #Conflicts:     309000 | #Constraints:      21380
3339.15/3349.25	c #Conflicts:     310000 | #Constraints:      22380
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     311000 | #Constraints:      12401
3339.15/3349.25	c #Conflicts:     312000 | #Constraints:      13401
3339.15/3349.25	c #Conflicts:     313000 | #Constraints:      14401
3339.15/3349.25	c #Conflicts:     314000 | #Constraints:      15401
3339.15/3349.25	c #Conflicts:     315000 | #Constraints:      16401
3339.15/3349.25	c #Conflicts:     316000 | #Constraints:      17401
3339.15/3349.25	c #Conflicts:     317000 | #Constraints:      18401
3339.15/3349.25	c #Conflicts:     318000 | #Constraints:      19401
3339.15/3349.25	c #Conflicts:     319000 | #Constraints:      20401
3339.15/3349.25	c #Conflicts:     320000 | #Constraints:      21401
3339.15/3349.25	c #Conflicts:     321000 | #Constraints:      22401
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     322000 | #Constraints:      12194
3339.15/3349.25	c #Conflicts:     323000 | #Constraints:      13194
3339.15/3349.25	c #Conflicts:     324000 | #Constraints:      14194
3339.15/3349.25	c #Conflicts:     325000 | #Constraints:      15194
3339.15/3349.25	c #Conflicts:     326000 | #Constraints:      16194
3339.15/3349.25	c #Conflicts:     327000 | #Constraints:      17194
3339.15/3349.25	c #Conflicts:     328000 | #Constraints:      18194
3339.15/3349.25	c #Conflicts:     329000 | #Constraints:      19194
3339.15/3349.25	c #Conflicts:     330000 | #Constraints:      20194
3339.15/3349.25	c #Conflicts:     331000 | #Constraints:      21194
3339.15/3349.25	c #Conflicts:     332000 | #Constraints:      22194
3339.15/3349.25	c #Conflicts:     333000 | #Constraints:      23194
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     334000 | #Constraints:      12803
3339.15/3349.25	c #Conflicts:     335000 | #Constraints:      13803
3339.15/3349.25	c #Conflicts:     336000 | #Constraints:      14803
3339.15/3349.25	c #Conflicts:     337000 | #Constraints:      15803
3339.15/3349.25	c #Conflicts:     338000 | #Constraints:      16803
3339.15/3349.25	c #Conflicts:     339000 | #Constraints:      17803
3339.15/3349.25	c #Conflicts:     340000 | #Constraints:      18803
3339.15/3349.25	c #Conflicts:     341000 | #Constraints:      19803
3339.15/3349.25	c #Conflicts:     342000 | #Constraints:      20803
3339.15/3349.25	c #Conflicts:     343000 | #Constraints:      21803
3339.15/3349.25	c #Conflicts:     344000 | #Constraints:      22803
3339.15/3349.25	c #Conflicts:     345000 | #Constraints:      23803
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     346000 | #Constraints:      13204
3339.15/3349.25	c #Conflicts:     347000 | #Constraints:      14204
3339.15/3349.25	c #Conflicts:     348000 | #Constraints:      15204
3339.15/3349.25	c #Conflicts:     349000 | #Constraints:      16204
3339.15/3349.25	c #Conflicts:     350000 | #Constraints:      17204
3339.15/3349.25	c #Conflicts:     351000 | #Constraints:      18204
3339.15/3349.25	c #Conflicts:     352000 | #Constraints:      19204
3339.15/3349.25	c #Conflicts:     353000 | #Constraints:      20204
3339.15/3349.25	c #Conflicts:     354000 | #Constraints:      21204
3339.15/3349.25	c #Conflicts:     355000 | #Constraints:      22204
3339.15/3349.25	c #Conflicts:     356000 | #Constraints:      23204
3339.15/3349.25	c #Conflicts:     357000 | #Constraints:      24204
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     358000 | #Constraints:      13386
3339.15/3349.25	c #Conflicts:     359000 | #Constraints:      14386
3339.15/3349.25	c #Conflicts:     360000 | #Constraints:      15386
3339.15/3349.25	c #Conflicts:     361000 | #Constraints:      16386
3339.15/3349.25	c #Conflicts:     362000 | #Constraints:      17386
3339.15/3349.25	c #Conflicts:     363000 | #Constraints:      18386
3339.15/3349.25	c #Conflicts:     364000 | #Constraints:      19386
3339.15/3349.25	c #Conflicts:     365000 | #Constraints:      20386
3339.15/3349.25	c #Conflicts:     366000 | #Constraints:      21386
3339.15/3349.25	c #Conflicts:     367000 | #Constraints:      22386
3339.15/3349.25	c #Conflicts:     368000 | #Constraints:      23386
3339.15/3349.25	c #Conflicts:     369000 | #Constraints:      24386
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     370000 | #Constraints:      13394
3339.15/3349.25	c #Conflicts:     371000 | #Constraints:      14394
3339.15/3349.25	c #Conflicts:     372000 | #Constraints:      15394
3339.15/3349.25	c #Conflicts:     373000 | #Constraints:      16394
3339.15/3349.25	c #Conflicts:     374000 | #Constraints:      17394
3339.15/3349.25	c #Conflicts:     375000 | #Constraints:      18394
3339.15/3349.25	c #Conflicts:     376000 | #Constraints:      19394
3339.15/3349.25	c #Conflicts:     377000 | #Constraints:      20394
3339.15/3349.25	c #Conflicts:     378000 | #Constraints:      21394
3339.15/3349.25	c #Conflicts:     379000 | #Constraints:      22394
3339.15/3349.25	c #Conflicts:     380000 | #Constraints:      23394
3339.15/3349.25	c #Conflicts:     381000 | #Constraints:      24394
3339.15/3349.25	c INPROCESSING
3339.15/3349.25	c GARBAGE COLLECT
3339.15/3349.25	c #Conflicts:     382000 | #Constraints:      13197
3339.15/3349.25	c #Conflicts:     383000 | #Constr

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 (37812 MiB free)
  memory of node 1: 64465 MiB (31238 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=72221, runsolver pid=72218

[startup+0.100063 s]*
/proc/loadavg: 4.18 4.16 4.11 5/280 72223
/proc/meminfo: memFree=70656104/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=94248 memory=49492 CPUtime=0.07 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 5928 0 0 0 5 2 0 0 20 0 1 0 66172613 96509952 12373 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 23562 12373 1952 1147 0 10989 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 98440 KiB
Current children cumulated memory: 52436 KiB

[startup+0.206105 s]*
/proc/loadavg: 4.18 4.16 4.11 5/280 72223
/proc/meminfo: memFree=70649048/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=98244 memory=53204 CPUtime=0.17 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 6858 0 0 0 14 3 0 0 20 0 1 0 66172613 100601856 13301 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 24561 13301 1952 1147 0 11988 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 102436 KiB
Current children cumulated memory: 56148 KiB

[startup+0.306061 s]*
/proc/loadavg: 4.18 4.16 4.11 5/280 72223
/proc/meminfo: memFree=70644952/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=101096 memory=57900 CPUtime=0.27 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 7494 0 0 0 22 5 0 0 20 0 1 0 66172613 103522304 14475 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 25274 14475 1952 1147 0 12701 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 60844 KiB

[startup+0.700199 s]
/proc/loadavg: 4.18 4.16 4.11 5/280 72223
/proc/meminfo: memFree=70628824/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=112152 memory=67500 CPUtime=0.66 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 9984 0 0 0 54 12 0 0 20 0 1 0 66172613 114843648 16875 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 28038 16875 1952 1147 0 15465 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116344 KiB
Current children cumulated memory: 70444 KiB

[startup+1.5002 s]
/proc/loadavg: 4.18 4.16 4.11 5/280 72223
/proc/meminfo: memFree=70634052/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=132188 memory=88936 CPUtime=1.45 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 14491 0 0 0 125 20 0 0 20 0 1 0 66172613 135360512 22234 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 33047 22234 1952 1147 0 20474 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 136380 KiB
Current children cumulated memory: 91880 KiB

[startup+3.10581 s]
/proc/loadavg: 4.16 4.16 4.11 5/279 72223
/proc/meminfo: memFree=70495984/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=182528 memory=128632 CPUtime=3.06 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 22555 0 0 0 269 37 0 0 20 0 1 0 66172613 186908672 32158 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 45632 32158 1952 1147 0 33059 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 186720 KiB
Current children cumulated memory: 131576 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.16 4.11 5/280 72225
/proc/meminfo: memFree=69990472/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=580288 memory=503592 CPUtime=6.24 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 43373 0 0 0 551 73 0 0 20 0 1 0 66172613 594214912 125898 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 145072 125898 2272 1147 0 132499 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 584480 KiB
Current children cumulated memory: 506536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.17 4.12 5/280 72225
/proc/meminfo: memFree=69220576/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=1300272 memory=1107664 CPUtime=12.61 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 83907 0 0 0 1023 238 0 0 20 0 1 0 66172613 1331478528 276916 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 325068 276916 2368 1147 0 312495 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1304464 KiB
Current children cumulated memory: 1110608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.17 4.11 5/280 72225
/proc/meminfo: memFree=68507832/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=1532400 memory=1342284 CPUtime=25.37 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 120170 0 0 0 1573 964 0 0 20 0 1 0 66172613 1569177600 335571 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 383100 335571 2368 1147 0 370527 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1536592 KiB
Current children cumulated memory: 1345228 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.15 4.11 5/280 72225
/proc/meminfo: memFree=67138684/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=2343280 memory=1995984 CPUtime=50.92 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 240687 0 0 0 2928 2164 0 0 20 0 1 0 66172613 2399518720 498996 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 585820 498996 2368 1147 0 573247 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2347472 KiB
Current children cumulated memory: 1998928 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/280 72320
/proc/meminfo: memFree=96480544/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=3201584 memory=2585252 CPUtime=101.96 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 357904 0 0 0 7894 2302 0 0 20 0 1 0 66172613 3278422016 646313 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 800396 646313 2368 1147 0 787823 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 3205776 KiB
Current children cumulated memory: 2588196 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/282 72325
/proc/meminfo: memFree=91093676/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=3207348 memory=2771388 CPUtime=161.75 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 383014 0 0 0 13791 2384 0 0 20 0 1 0 66172613 3284324352 692847 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 801837 692847 2368 1147 0 789264 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 3211540 KiB
Current children cumulated memory: 2774332 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/282 72332
/proc/meminfo: memFree=84421104/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=4824704 memory=3744936 CPUtime=221.55 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 587055 0 0 0 19686 2469 0 0 20 0 1 0 66172613 4940496896 936234 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 1206176 936234 2368 1147 0 1193603 0

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

/proc/meminfo: memFree=7042700/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8821980 memory=7796476 CPUtime=3272.49 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2775716 0 0 0 317872 9377 0 0 20 0 1 0 66172613 9033707520 1949119 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2205495 1949119 2368 1147 0 2192922 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 8826172 KiB
Current children cumulated memory: 7799420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/273 72598
/proc/meminfo: memFree=5486752/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8821980 memory=7796732 CPUtime=3332.27 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2776608 0 0 0 323748 9479 0 0 20 0 1 0 66172613 9033707520 1949183 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2205495 1949183 2368 1147 0 2192922 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 8826172 KiB
Current children cumulated memory: 7799676 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.19 4.13 5/274 72603
/proc/meminfo: memFree=3884160/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8821980 memory=7796732 CPUtime=3392.11 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2777376 0 0 0 329614 9597 0 0 20 0 1 0 66172613 9033707520 1949183 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2205495 1949183 2368 1147 0 2192922 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 8826172 KiB
Current children cumulated memory: 7799676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/274 72605
/proc/meminfo: memFree=1354948/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8825176 memory=8014612 CPUtime=3451.95 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2811331 0 0 0 335505 9690 0 0 20 0 1 0 66172613 9036980224 2003653 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2206294 2003653 2368 1147 0 2193721 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 8829368 KiB
Current children cumulated memory: 8017556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/274 72608
/proc/meminfo: memFree=1174160/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8825176 memory=8014612 CPUtime=3511.77 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2812015 0 0 0 341385 9792 0 0 20 0 1 0 66172613 9036980224 2003653 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2206294 2003653 2368 1147 0 2193721 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 8829368 KiB
Current children cumulated memory: 8017556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/274 72610
/proc/meminfo: memFree=1174428/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8829528 memory=8016916 CPUtime=3571.6 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2813309 0 0 0 347271 9889 0 0 20 0 1 0 66172613 9041436672 2004229 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2207382 2004229 2368 1147 0 2194809 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 8833720 KiB
Current children cumulated memory: 8019860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.17 4.16 4.12 5/274 72611
/proc/meminfo: memFree=1362708/131249988 swapFree=33010160/33010684
[pid=72221] ppid=72218 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/72221/stat : 72221 (run-opt-log.sh) S 72218 72221 71409 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66172612 4292608 736 18446744073709551615 94642629611520 94642630506053 140734891265248 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94642630745104 94642630792848 94642657878016 140734891268385 140734891268580 140734891268580 140734891274182 0
/proc/72221/statm: 1048 736 672 219 0 110 0
[pid=72223] ppid=72221 vsize=8832344 memory=8277988 CPUtime=3600.02 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72221 72221 71409 0 -1 4194304 2877449 0 0 0 350054 9948 0 0 20 0 1 0 66172613 9044320256 2069497 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2208086 2069497 2368 1147 0 2195513 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 8836536 KiB
Current children cumulated memory: 8280932 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001101 s, system=0.001109 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3621.02 s]
# the end of solver process 72223 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.17 4.16 4.12 5/273 72611
/proc/meminfo: memFree=1330708/131249988 swapFree=33010160/33010684
[pid=72223] ppid=72218 vsize=8832344 memory=8277988 CPUtime=3600.42 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72218 72221 71409 0 -1 4194304 2877470 0 0 0 350094 9948 0 0 20 0 1 0 66172613 9044320256 2069497 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2208086 2069497 2368 1147 0 2195513 0
Current cumulated CPU time of completed processes: 0.00221 s
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 8832344 KiB
Current children cumulated memory: 8277988 KiB

[startup+3612 s]*
/proc/loadavg: 4.24 4.18 4.13 5/273 72611
/proc/meminfo: memFree=1306276/131249988 swapFree=33010160/33010684
[pid=72223] ppid=72218 vsize=8832344 memory=8277988 CPUtime=3601.22 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72218 72221 71409 0 -1 4194304 2877505 0 0 0 350174 9948 0 0 20 0 1 0 66172613 9044320256 2069497 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2208086 2069497 2368 1147 0 2195513 0
Current cumulated CPU time of completed processes: 0.00221 s
Current children cumulated CPU time: 3601.22 s
Current children cumulated vsize: 8832344 KiB
Current children cumulated memory: 8277988 KiB

[startup+3612.4 s]
/proc/loadavg: 4.24 4.18 4.13 5/273 72611
/proc/meminfo: memFree=1306276/131249988 swapFree=33010160/33010684
[pid=72223] ppid=72218 vsize=8832344 memory=8277988 CPUtime=3601.62 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72218 72221 71409 0 -1 4194304 2877519 0 0 0 350214 9948 0 0 20 0 1 0 66172613 9044320256 2069497 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2208086 2069497 2368 1147 0 2195513 0
Current cumulated CPU time of completed processes: 0.00221 s
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 8832344 KiB
Current children cumulated memory: 8277988 KiB

[startup+3612.8 s]
/proc/loadavg: 4.24 4.18 4.13 5/273 72611
/proc/meminfo: memFree=1306276/131249988 swapFree=33010160/33010684
[pid=72223] ppid=72218 vsize=8832344 memory=8277988 CPUtime=3602.01 cores=4,6
/proc/72223/stat : 72223 (roundingsat) R 72218 72221 71409 0 -1 4194304 2877540 0 0 0 350253 9948 0 0 20 0 1 0 66172613 9044320256 2069497 18446744073709551615 4227072 8923433 140722389113888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20062208 140722389121362 140722389121576 140722389121576 140722389127146 0
/proc/72223/statm: 2208086 2069497 2368 1147 0 2195513 0
Current cumulated CPU time of completed processes: 0.00221 s
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 8832344 KiB
Current children cumulated memory: 8277988 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3621.02
CPU time (s): 3603.41
CPU user time (s): 3502.57
CPU system time (s): 100.842
CPU usage (%): 99.5138
Max. virtual memory (cumulated for all children) (KiB): 8836536
Max. memory (cumulated for all children) (KiB): 8280932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.57
system time used= 100.842
maximum resident set size= 8277988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2877745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 147979392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258450
involuntary context switches= 26625


# summary of solver processes directly reported to runsolver:
#   pid: 72221,72223
#   total CPU time (s): 3603.41
#   total CPU user time (s): 3502.57
#   total CPU system time (s): 100.842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78276 second user time and 16.6684 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-03 03:09:10
IDJOB=4506367
IDBENCH=158189
IDSOLVER=3351
FILE ID=nodeC020/4506367-1751504950
RUNJOBID= nodeC020-1751497800-71420
SLURM_JOB_ID= 9598575
Free space on /tmp= 431612 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.10-9.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506367-1751504950/watcher-4506367-1751504950 -o /tmp/evaluation-result-4506367-1751504950/solver-4506367-1751504950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71420 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506367-1751504950.opb PROOFDIR/proof-4506367-1751504950

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

MD5SUM BENCH= 623011bcb799422f8ca68e1af7825a24
RANDOM SEED=1049208496

nodeC020 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		: 3599.894
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	: 6999.79
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		: 3599.897
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	: 6999.79
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		: 3599.955
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	: 6999.79
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		: 3578.006
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	: 6999.79
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		: 3599.900
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	: 6999.79
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		: 3599.886
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	: 6999.79
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		: 3591.720
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	: 6999.79
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		: 3576.091
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	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        70709152 kB
MemAvailable:   117688808 kB
Buffers:            2128 kB
Cached:         47727632 kB
SwapCached:           12 kB
Active:         12424804 kB
Inactive:       47191940 kB
Active(anon):   11880064 kB
Inactive(anon):    25084 kB
Active(file):     544740 kB
Inactive(file): 47166856 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           6899496 kB
Writeback:             0 kB
AnonPages:      11886452 kB
Mapped:           117996 kB
Shmem:             18040 kB
KReclaimable:     214600 kB
Slab:             519252 kB
SReclaimable:     214600 kB
SUnreclaim:       304652 kB
KernelStack:        4528 kB
PageTables:        29268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   14575896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150776 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4130816 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431664 MiB
End job on nodeC020 at 2025-07-03 04:09:32