Trace number 4506413

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) 3602.59 3620.32

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
MD5SUM0c5a5feecc6e9ebbd7fc1e1b28678077
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 benchmark54713
Best CPU time to get the best result obtained on this benchmark35.568
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214302
Total number of constraints3483525
Number of constraints which are clauses3483525
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
8.56/8.64	c #variables 214302 #constraints 1368957
8.56/8.64	c objective is ce32 
8.86/8.98	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.86/8.98	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
8.86/8.98	c GLOBAL bounds - >= 0 @ 7.79642
9.15/9.23	c GLOBAL bounds - >= 0 @ 7.90367
9.15/9.23	c GLOBAL bounds - >= 6 @ 7.90463
9.15/9.25	c GLOBAL bounds - >= 6 @ 7.91227
9.35/9.46	c GLOBAL bounds - >= 6 @ 8.00439
9.35/9.47	c GLOBAL bounds - >= 6 @ 8.00723
9.55/9.68	c GLOBAL bounds - >= 6 @ 8.09126
9.55/9.69	c GLOBAL bounds - >= 6 @ 8.096
9.85/9.90	c GLOBAL bounds - >= 6 @ 8.1793
9.85/9.91	c GLOBAL bounds - >= 6 @ 8.18402
10.06/10.12	c GLOBAL bounds - >= 6 @ 8.26796
10.06/10.13	c GLOBAL bounds - >= 6 @ 8.27159
10.25/10.35	c GLOBAL bounds - >= 6 @ 8.35414
10.25/10.36	c GLOBAL bounds - >= 6 @ 8.35941
10.45/10.58	c GLOBAL bounds - >= 6 @ 8.43231
10.45/10.59	c GLOBAL bounds - >= 6 @ 8.44187
10.75/10.81	c GLOBAL bounds - >= 6 @ 8.52473
10.75/10.82	c GLOBAL bounds - >= 6 @ 8.53331
10.96/11.04	c GLOBAL bounds - >= 6 @ 8.6188
10.96/11.05	c GLOBAL bounds - >= 6 @ 8.62506
11.15/11.27	c GLOBAL bounds - >= 6 @ 8.70605
11.15/11.28	c GLOBAL bounds - >= 6 @ 8.70983
11.44/11.50	c GLOBAL bounds - >= 6 @ 8.79582
11.65/11.71	c GLOBAL bounds - >= 6 @ 8.88126
11.84/11.92	c GLOBAL bounds - >= 6 @ 8.95737
12.06/12.14	c GLOBAL bounds - >= 6 @ 9.05314
12.06/12.17	c GLOBAL bounds - >= 4073 @ 9.08476
12.15/12.20	c GLOBAL bounds - >= 4073 @ 9.10777
12.15/12.21	c GLOBAL bounds - >= 4073 @ 9.11144
12.34/12.43	c GLOBAL bounds - >= 4073 @ 9.17617
12.34/12.44	c GLOBAL bounds - >= 4073 @ 9.18287
12.55/12.66	c GLOBAL bounds - >= 4073 @ 9.25683
12.55/12.67	c GLOBAL bounds - >= 4073 @ 9.26629
12.74/12.89	c GLOBAL bounds - >= 4073 @ 9.35032
12.85/12.90	c GLOBAL bounds - >= 4073 @ 9.35786
13.06/13.12	c GLOBAL bounds - >= 4073 @ 9.43928
13.06/13.14	c GLOBAL bounds - >= 4073 @ 9.44751
13.25/13.36	c GLOBAL bounds - >= 4073 @ 9.52689
13.25/13.37	c GLOBAL bounds - >= 4073 @ 9.53327
13.45/13.60	c GLOBAL bounds - >= 4073 @ 9.60675
13.54/13.61	c GLOBAL bounds - >= 4073 @ 9.61535
13.74/13.83	c GLOBAL bounds - >= 4073 @ 9.68604
13.74/13.85	c GLOBAL bounds - >= 4073 @ 9.69213
13.96/14.07	c GLOBAL bounds - >= 4073 @ 9.78163
13.96/14.08	c GLOBAL bounds - >= 4073 @ 9.78726
14.24/14.31	c GLOBAL bounds - >= 4073 @ 9.86678
14.24/14.32	c GLOBAL bounds - >= 4073 @ 9.87178
14.45/14.54	c GLOBAL bounds - >= 4073 @ 9.95412
14.74/14.81	c GLOBAL bounds - >= 4073 @ 10.0735
14.95/15.07	c GLOBAL bounds - >= 4073 @ 10.1913
15.24/15.36	c GLOBAL bounds - >= 4073 @ 10.3504
15.54/15.62	c GLOBAL bounds - >= 4073 @ 10.4907
15.54/15.68	c GLOBAL bounds - >= 8721 @ 10.5459
15.64/15.72	c GLOBAL bounds - >= 8721 @ 10.5821
15.84/15.95	c GLOBAL bounds - >= 8721 @ 10.6812
15.84/15.97	c GLOBAL bounds - >= 8721 @ 10.6906
16.05/16.18	c GLOBAL bounds - >= 8721 @ 10.7639
16.13/16.20	c GLOBAL bounds - >= 8721 @ 10.7722
16.34/16.41	c GLOBAL bounds - >= 8721 @ 10.8397
16.34/16.43	c GLOBAL bounds - >= 8721 @ 10.8467
16.53/16.65	c GLOBAL bounds - >= 8721 @ 10.9318
16.53/16.67	c GLOBAL bounds - >= 8721 @ 10.9422
16.74/16.89	c GLOBAL bounds - >= 8721 @ 11.0322
16.83/16.90	c GLOBAL bounds - >= 8721 @ 11.0405
17.05/17.12	c GLOBAL bounds - >= 8721 @ 11.13
17.05/17.14	c GLOBAL bounds - >= 8721 @ 11.1369
17.24/17.36	c GLOBAL bounds - >= 8721 @ 11.2248
17.24/17.38	c GLOBAL bounds - >= 8721 @ 11.2347
17.53/17.60	c GLOBAL bounds - >= 8721 @ 11.3207
17.53/17.62	c GLOBAL bounds - >= 8721 @ 11.3295
17.74/17.84	c GLOBAL bounds - >= 8721 @ 11.408
17.74/17.86	c GLOBAL bounds - >= 8721 @ 11.4149
17.95/18.08	c GLOBAL bounds - >= 8721 @ 11.4979
18.23/18.32	c GLOBAL bounds - >= 8721 @ 11.5974
18.54/18.62	c GLOBAL bounds - >= 8721 @ 11.7502
18.73/18.89	c GLOBAL bounds - >= 8721 @ 11.89
19.14/19.21	c GLOBAL bounds - >= 8721 @ 12.0667
19.33/19.48	c GLOBAL bounds - >= 8721 @ 12.1959
19.43/19.57	c GLOBAL bounds - >= 11046 @ 12.2746
19.53/19.61	c GLOBAL bounds - >= 11046 @ 12.302
19.53/19.62	c GLOBAL bounds - >= 11046 @ 12.311
19.53/19.64	c GLOBAL bounds - >= 11046 @ 12.3167
19.53/19.65	c GLOBAL bounds - >= 11046 @ 12.3208
19.73/19.87	c GLOBAL bounds - >= 11046 @ 12.4105
19.73/19.89	c GLOBAL bounds - >= 11046 @ 12.4197
20.05/20.12	c GLOBAL bounds - >= 11046 @ 12.5117
20.05/20.14	c GLOBAL bounds - >= 11046 @ 12.5186
20.23/20.36	c GLOBAL bounds - >= 11046 @ 12.6113
20.23/20.38	c GLOBAL bounds - >= 11046 @ 12.6181
20.53/20.60	c GLOBAL bounds - >= 11046 @ 12.6968
20.53/20.62	c GLOBAL bounds - >= 11046 @ 12.709
20.74/20.84	c GLOBAL bounds - >= 11046 @ 12.7917
20.74/20.86	c GLOBAL bounds - >= 11046 @ 12.8025
20.94/21.08	c GLOBAL bounds - >= 11046 @ 12.8857
20.94/21.10	c GLOBAL bounds - >= 11046 @ 12.8965
21.23/21.32	c GLOBAL bounds - >= 11046 @ 12.9891
21.23/21.34	c GLOBAL bounds - >= 11046 @ 13.0018
21.43/21.56	c GLOBAL bounds - >= 11046 @ 13.0853
21.43/21.59	c GLOBAL bounds - >= 11046 @ 13.0965
21.73/21.81	c GLOBAL bounds - >= 11046 @ 13.1763
21.73/21.83	c GLOBAL bounds - >= 11046 @ 13.1909
21.94/22.05	c GLOBAL bounds - >= 11046 @ 13.2803
22.23/22.34	c GLOBAL bounds - >= 11046 @ 13.4359
22.63/22.71	c GLOBAL bounds - >= 11046 @ 13.6373
22.94/23.01	c GLOBAL bounds - >= 11046 @ 13.8167
23.12/23.22	c GLOBAL bounds - >= 15114 @ 14.0232
23.12/23.28	c GLOBAL bounds - >= 15114 @ 14.0757
23.23/23.30	c GLOBAL bounds - >= 15114 @ 14.0825
23.42/23.51	c GLOBAL bounds - >= 15114 @ 14.1529
23.42/23.53	c GLOBAL bounds - >= 15114 @ 14.1678
23.62/23.74	c GLOBAL bounds - >= 15114 @ 14.2459
23.62/23.76	c GLOBAL bounds - >= 15114 @ 14.262
23.82/23.99	c GLOBAL bounds - >= 15114 @ 14.3492
23.94/24.01	c GLOBAL bounds - >= 15114 @ 14.361
24.12/24.23	c GLOBAL bounds - >= 15114 @ 14.444
24.12/24.25	c GLOBAL bounds - >= 15114 @ 14.4568
24.33/24.47	c GLOBAL bounds - >= 15114 @ 14.5345
24.33/24.49	c GLOBAL bounds - >= 15114 @ 14.5435
24.63/24.72	c GLOBAL bounds - >= 15114 @ 14.6262
24.63/24.74	c GLOBAL bounds - >= 15114 @ 14.6377
24.83/24.96	c GLOBAL bounds - >= 15114 @ 14.7189
24.83/24.98	c GLOBAL bounds - >= 15114 @ 14.7292
25.12/25.20	c GLOBAL bounds - >= 15114 @ 14.8242
25.12/25.22	c GLOBAL bounds - >= 15114 @ 14.8334
25.32/25.44	c GLOBAL bounds - >= 15114 @ 14.9141
25.32/25.47	c GLOBAL bounds - >= 15114 @ 14.927
25.53/25.69	c GLOBAL bounds - >= 15114 @ 15.0056
25.82/25.98	c GLOBAL bounds - >= 15114 @ 15.1402
26.22/26.33	c GLOBAL bounds - >= 15114 @ 15.3458
26.52/26.65	c GLOBAL bounds - >= 15114 @ 15.5318
26.82/26.95	c GLOBAL bounds - >= 15114 @ 15.7003
27.12/27.26	c GLOBAL bounds - >= 15114 @ 15.8866
27.52/27.60	c GLOBAL bounds - >= 15114 @ 16.0764
27.82/27.99	c GLOBAL bounds - >= 15114 @ 16.2748
28.11/28.21	c GLOBAL bounds - >= 17438 @ 16.4902
28.11/28.25	c GLOBAL bounds - >= 17438 @ 16.5201
28.11/28.27	c GLOBAL bounds - >= 17438 @ 16.5302
28.11/28.29	c GLOBAL bounds - >= 17438 @ 16.5396
28.42/28.50	c GLOBAL bounds - >= 17438 @ 16.6141
28.42/28.53	c GLOBAL bounds - >= 17438 @ 16.6272
28.62/28.74	c GLOBAL bounds - >= 17438 @ 16.7083
28.62/28.76	c GLOBAL bounds - >= 17438 @ 16.7172
28.81/28.98	c GLOBAL bounds - >= 17438 @ 16.7944
28.81/29.00	c GLOBAL bounds - >= 17438 @ 16.8088
29.11/29.22	c GLOBAL bounds - >= 17438 @ 16.8881
29.11/29.25	c GLOBAL bounds - >= 17438 @ 16.8995
29.32/29.46	c GLOBAL bounds - >= 17438 @ 16.9786
29.32/29.48	c GLOBAL bounds - >= 17438 @ 16.9948
29.61/29.71	c GLOBAL bounds - >= 17438 @ 17.0593
29.61/29.73	c GLOBAL bounds - >= 17438 @ 17.0674
29.82/29.95	c GLOBAL bounds - >= 17438 @ 17.1591
29.82/29.96	c GLOBAL bounds - >= 17438 @ 17.1676
30.02/30.18	c GLOBAL bounds - >= 17438 @ 17.2556
30.12/30.21	c GLOBAL bounds - >= 17438 @ 17.267
30.32/30.43	c GLOBAL bounds - >= 17438 @ 17.348
30.32/30.45	c GLOBAL bounds - >= 17438 @ 17.3563
30.51/30.68	c GLOBAL bounds - >= 17438 @ 17.4397
30.81/30.90	c GLOBAL bounds - >= 17438 @ 17.5157
31.03/31.13	c GLOBAL bounds - >= 17438 @ 17.6208
31.41/31.51	c GLOBAL bounds - >= 17438 @ 17.8564
31.71/31.82	c GLOBAL bounds - >= 17438 @ 18.0348
32.11/32.25	c GLOBAL bounds - >= 17438 @ 18.3229
32.51/32.68	c GLOBAL bounds - >= 17438 @ 18.6072
33.02/33.11	c GLOBAL bounds - >= 17438 @ 18.9117
33.11/33.26	c GLOBAL bounds - >= 20343 @ 19.0533
33.21/33.32	c GLOBAL bounds - >= 20343 @ 19.1061
33.21/33.34	c GLOBAL bounds - >= 20343 @ 19.1149
33.41/33.55	c GLOBAL bounds - >= 20343 @ 19.1908
33.41/33.56	c GLOBAL bounds - >= 20343 @ 19.1947
33.61/33.78	c GLOBAL bounds - >= 20343 @ 19.2686
33.61/33.79	c GLOBAL bounds - >= 20343 @ 19.2736
33.81/34.00	c GLOBAL bounds - >= 20343 @ 19.3514
33.92/34.02	c GLOBAL bounds - >= 20343 @ 19.3605
34.11/34.24	c GLOBAL bounds - >= 20343 @ 19.4432
34.11/34.27	c GLOBAL bounds - >= 20343 @ 19.4559
34.30/34.49	c GLOBAL bounds - >= 20343 @ 19.5426
34.40/34.51	c GLOBAL bounds - >= 20343 @ 19.5551
34.61/34.73	c GLOBAL bounds - >= 20343 @ 19.6512
34.61/34.76	c GLOBAL bounds - >= 20343 @ 19.6616
34.81/34.98	c GLOBAL bounds - >= 20343 @ 19.7504
34.81/34.99	c GLOBAL bounds - >= 20343 @ 19.7559
35.10/35.21	c GLOBAL bounds - >= 20343 @ 19.833
35.10/35.22	c GLOBAL bounds - >= 20343 @ 19.8366
35.31/35.44	c GLOBAL bounds - >= 20343 @ 19.9253
35.31/35.47	c GLOBAL bounds - >= 20343 @ 19.9326
35.50/35.69	c GLOBAL bounds - >= 20343 @ 20.0128
35.80/35.90	c GLOBAL bounds - >= 20343 @ 20.0831
36.02/36.11	c GLOBAL bounds - >= 20343 @ 20.1583
36.40/36.56	c GLOBAL bounds - >= 20343 @ 20.466
36.91/37.01	c GLOBAL bounds - >= 20343 @ 20.7806
37.40/37.60	c GLOBAL bounds - >= 20343 @ 21.1509
37.91/38.05	c #Conflicts:       1000 | #Constraints:       1256
37.91/38.05	c GLOBAL bounds - >= 20343 @ 21.4652
38.29/38.48	c GLOBAL bounds - >= 20343 @ 21.7523
38.70/38.82	c GLOBAL bounds - >= 20343 @ 21.9651
38.91/39.05	c GLOBAL bounds - >= 20343 @ 22.0747
39.40/39.50	c GLOBAL bounds - >= 20343 @ 22.4042
39.40/39.54	c GLOBAL bounds - >= 21505 @ 22.442
39.50/39.60	c GLOBAL bounds - >= 21505 @ 22.4853
39.50/39.61	c GLOBAL bounds - >= 21505 @ 22.4891
39.70/39.82	c GLOBAL bounds - >= 21505 @ 22.5629
39.70/39.84	c GLOBAL bounds - >= 21505 @ 22.5754
39.91/40.06	c GLOBAL bounds - >= 21505 @ 22.647
39.91/40.06	c GLOBAL bounds - >= 21505 @ 22.6508
40.10/40.28	c GLOBAL bounds - >= 21505 @ 22.7236
40.19/40.30	c GLOBAL bounds - >= 21505 @ 22.7319
40.40/40.51	c GLOBAL bounds - >= 21505 @ 22.8113
40.40/40.54	c GLOBAL bounds - >= 21505 @ 22.8212
40.59/40.75	c GLOBAL bounds - >= 21505 @ 22.8999
40.59/40.78	c GLOBAL bounds - >= 21505 @ 22.9163
40.79/41.00	c GLOBAL bounds - >= 21505 @ 23.0043
40.90/41.03	c GLOBAL bounds - >= 21505 @ 23.0193
41.09/41.25	c GLOBAL bounds - >= 21505 @ 23.1071
41.09/41.28	c GLOBAL bounds - >= 21505 @ 23.1165
41.40/41.50	c GLOBAL bounds - >= 21505 @ 23.2036
41.40/41.53	c GLOBAL bounds - >= 21505 @ 23.2202
41.59/41.75	c GLOBAL bounds - >= 21505 @ 23.3098
41.59/41.77	c GLOBAL bounds - >= 21505 @ 23.3243
41.79/41.99	c GLOBAL bounds - >= 21505 @ 23.4182
42.09/42.21	c GLOBAL bounds - >= 21505 @ 23.4864
42.30/42.42	c GLOBAL bounds - >= 21505 @ 23.5631
42.49/42.66	c GLOBAL bounds - >= 21505 @ 23.6713
42.79/42.94	c GLOBAL bounds - >= 21505 @ 23.8094
43.00/43.16	c GLOBAL bounds - >= 21505 @ 23.8809
44.29/44.42	c GLOBAL bounds - >= 21505 @ 24.9591
44.49/44.65	c GLOBAL bounds - >= 21505 @ 25.0525
44.69/44.87	c GLOBAL bounds - >= 21505 @ 25.1427
44.89/45.09	c GLOBAL bounds - >= 21505 @ 25.2233
45.18/45.31	c GLOBAL bounds - >= 21505 @ 25.3137
45.38/45.52	c GLOBAL bounds - >= 21505 @ 25.3854
45.38/45.57	c GLOBAL bounds - >= 22086 @ 25.421
45.48/45.60	c GLOBAL bounds - >= 22086 @ 25.4486
45.48/45.63	c GLOBAL bounds - >= 22086 @ 25.4602
45.48/45.65	c GLOBAL bounds - >= 22086 @ 25.4713
45.68/45.86	c GLOBAL bounds - >= 22086 @ 25.5458
45.68/45.88	c GLOBAL bounds - >= 22086 @ 25.5526
45.89/46.09	c GLOBAL bounds - >= 22086 @ 25.6502
45.99/46.11	c GLOBAL bounds - >= 22086 @ 25.657
46.18/46.33	c GLOBAL bounds - >= 22086 @ 25.7308
46.18/46.34	c GLOBAL bounds - >= 22086 @ 25.7407
46.38/46.56	c GLOBAL bounds - >= 22086 @ 25.8212
46.38/46.57	c GLOBAL bounds - >= 22086 @ 25.8305
46.68/46.80	c GLOBAL bounds - >= 22086 @ 25.9191
46.68/46.82	c GLOBAL bounds - >= 22086 @ 25.9278
46.89/47.06	c GLOBAL bounds - >= 22086 @ 26.0188
46.89/47.09	c GLOBAL bounds - >= 22086 @ 26.0345
47.17/47.30	c GLOBAL bounds - >= 22086 @ 26.1025
47.17/47.33	c GLOBAL bounds - >= 22086 @ 26.1141
47.38/47.55	c GLOBAL bounds - >= 22086 @ 26.1937
47.38/47.57	c GLOBAL bounds - >= 22086 @ 26.205
47.58/47.80	c GLOBAL bounds - >= 22086 @ 26.2804
47.68/47.82	c GLOBAL bounds - >= 22086 @ 26.2962
47.89/48.04	c GLOBAL bounds - >= 22086 @ 26.397
48.08/48.27	c GLOBAL bounds - >= 22086 @ 26.4839
48.28/48.48	c GLOBAL bounds - >= 22086 @ 26.5581
48.58/48.77	c GLOBAL bounds - >= 22086 @ 26.7103
48.78/48.99	c GLOBAL bounds - >= 22086 @ 26.7971
49.08/49.28	c GLOBAL bounds - >= 22086 @ 26.9577
49.37/49.56	c GLOBAL bounds - >= 22086 @ 27.0916
49.68/49.84	c GLOBAL bounds - >= 22086 @ 27.227
49.99/50.18	c GLOBAL bounds - >= 22086 @ 27.4324
50.07/50.23	c GLOBAL bounds - >= 22667 @ 27.4654
50.07/50.26	c GLOBAL bounds - >= 22667 @ 27.4893
50.07/50.28	c GLOBAL bounds - >= 22667 @ 27.4998
50.17/50.30	c GLOBAL bounds - >= 22667 @ 27.5102
50.17/50.33	c GLOBAL bounds - >= 22667 @ 27.5193
50.17/50.35	c GLOBAL bounds - >= 22667 @ 27.5289
50.17/50.37	c GLOBAL bounds - >= 22667 @ 27.5356
50.17/50.39	c GLOBAL bounds - >= 22667 @ 27.5489
50.47/50.61	c GLOBAL bounds - >= 22667 @ 27.6245
50.47/50.63	c GLOBAL bounds - >= 22667 @ 27.638
50.67/50.89	c GLOBAL bounds - >= 22667 @ 27.7455
50.77/50.91	c GLOBAL bounds - >= 22667 @ 27.7624
50.98/51.13	c GLOBAL bounds - >= 22667 @ 27.8484
50.98/51.16	c GLOBAL bounds - >= 22667 @ 27.8623
51.17/51.38	c GLOBAL bounds - >= 22667 @ 27.9442
51.27/51.41	c GLOBAL bounds - >= 22667 @ 27.9569
51.47/51.63	c GLOBAL bounds - >= 22667 @ 28.0436
51.47/51.65	c GLOBAL bounds - >= 22667 @ 28.0565
51.67/51.88	c GLOBAL bounds - >= 22667 @ 28.1479
51.77/51.90	c GLOBAL bounds - >= 22667 @ 28.1584
51.98/52.12	c GLOBAL bounds - >= 22667 @ 28.2356
51.98/52.15	c GLOBAL bounds - >= 22667 @ 28.2507
52.17/52.37	c GLOBAL bounds - >= 22667 @ 28.3292
52.27/52.41	c GLOBAL bounds - >= 22667 @ 28.353
52.47/52.64	c GLOBAL bounds - >= 22667 @ 28.4458
52.47/52.68	c GLOBAL bounds - >= 22667 @ 28.4607
52.77/52.90	c GLOBAL bounds - >= 22667 @ 28.5465
52.98/53.11	c GLOBAL bounds - >= 22667 @ 28.6312
53.16/53.33	c GLOBAL bounds - >= 22667 @ 28.7117
53.36/53.54	c GLOBAL bounds - >= 22667 @ 28.7893
53.57/53.76	c GLOBAL bounds - >= 22667 @ 28.8739
53.76/53.98	c GLOBAL bounds - >= 22667 @ 28.953
53.98/54.19	c GLOBAL bounds - >= 22667 @ 29.0217
54.27/54.42	c GLOBAL bounds - >= 22667 @ 29.1123
54.47/54.64	c GLOBAL bounds - >= 22667 @ 29.1953
54.88/55.03	c GLOBAL bounds - >= 22667 @ 29.4406
55.06/55.25	c GLOBAL bounds - >= 22667 @ 29.5237
55.46/55.60	c GLOBAL bounds - >= 22667 @ 29.7339
55.66/55.82	c GLOBAL bounds - >= 22667 @ 29.8182
55.66/55.82	c GLOBAL bounds - >= 22667 @ 29.8189
55.66/55.85	c GLOBAL bounds - >= 22667 @ 29.8376
55.66/55.87	c GLOBAL bounds - >= 22667 @ 29.8454
55.76/55.90	c GLOBAL bounds - >= 22667 @ 29.8574
55.98/56.18	c GLOBAL bounds - >= 22667 @ 30.0139
56.06/56.21	c GLOBAL bounds - >= 22667 @ 30.0267
56.26/56.42	c GLOBAL bounds - >= 22667 @ 30.1044
56.26/56.44	c GLOBAL bounds - >= 22667 @ 30.1167
56.46/56.66	c GLOBAL bounds - >= 22667 @ 30.1851
56.46/56.68	c GLOBAL bounds - >= 22667 @ 30.2021
56.76/56.90	c GLOBAL bounds - >= 22667 @ 30.2806
56.76/56.93	c GLOBAL bounds - >= 22667 @ 30.2932
56.97/57.14	c GLOBAL bounds - >= 22667 @ 30.3695
56.97/57.17	c GLOBAL bounds - >= 22667 @ 30.3806
57.16/57.39	c GLOBAL bounds - >= 22667 @ 30.4612
57.26/57.42	c GLOBAL bounds - >= 22667 @ 30.4764
57.46/57.64	c GLOBAL bounds - >= 22667 @ 30.5688
57.46/57.67	c GLOBAL bounds - >= 22667 @ 30.5789
57.65/57.89	c GLOBAL bounds - >= 22667 @ 30.6696
57.76/57.91	c GLOBAL bounds - >= 22667 @ 30.6781
57.97/58.14	c GLOBAL bounds - >= 22667 @ 30.7746
57.97/58.16	c GLOBAL bounds - >= 22667 @ 30.788
58.15/58.38	c GLOBAL bounds - >= 22667 @ 30.87
58.46/58.60	c GLOBAL bounds - >= 22667 @ 30.954
58.66/58.81	c GLOBAL bounds - >= 22667 @ 31.035
58.87/59.02	c GLOBAL bounds - >= 22667 @ 31.1237
59.05/59.24	c GLOBAL bounds - >= 22667 @ 31.2046
59.25/59.45	c GLOBAL bounds - >= 22667 @ 31.2776
59.45/59.66	c GLOBAL bounds - >= 22667 @ 31.3553
59.65/59.88	c GLOBAL bounds - >= 22667 @ 31.4452
60.05/60.21	c GLOBAL bounds - >= 22667 @ 31.641
60.35/60.57	c GLOBAL bounds - >= 22667 @ 31.8409
60.55/60.78	c GLOBAL bounds - >= 22667 @ 31.9289
61.05/61.24	c GLOBAL bounds - >= 22667 @ 32.2169
61.24/61.47	c GLOBAL bounds - >= 22667 @ 32.3086
61.65/61.81	c GLOBAL bounds - >= 22667 @ 32.5327
61.85/62.05	c GLOBAL bounds - >= 22667 @ 32.6563
62.34/62.53	c GLOBAL bounds - >= 23249 @ 33.132
62.34/62.57	c GLOBAL bounds - >= 23249 @ 33.1597
62.34/62.59	c GLOBAL bounds - >= 23249 @ 33.1693
62.45/62.61	c GLOBAL bounds - >= 23249 @ 33.177
62.45/62.63	c GLOBAL bounds - >= 23249 @ 33.1881
62.65/62.86	c GLOBAL bounds - >= 23249 @ 33.2671
62.75/62.92	c GLOBAL bounds - >= 23249 @ 33.2938
63.32/63.51	c GLOBAL bounds - >= 23249 @ 33.5306
63.32/63.56	c GLOBAL bounds - >= 23249 @ 33.5492
63.72/63.96	c GLOBAL bounds - >= 23249 @ 33.694
63.72/63.99	c GLOBAL bounds - >= 23249 @ 33.7133
64.42/64.63	c GLOBAL bounds - >= 23249 @ 33.9376
64.42/64.67	c GLOBAL bounds - >= 23249 @ 33.9584
64.83/65.09	c GLOBAL bounds - >= 23249 @ 34.1219
64.93/65.13	c GLOBAL bounds - >= 23249 @ 34.1375
65.21/65.45	c GLOBAL bounds - >= 23249 @ 34.2435
65.21/65.48	c GLOBAL bounds - >= 23249 @ 34.2618
65.51/65.77	c GLOBAL bounds - >= 23249 @ 34.3595
65.51/65.79	c GLOBAL bounds - >= 23249 @ 34.3715
65.83/66.05	c GLOBAL bounds - >= 23249 @ 34.4653
65.83/66.08	c GLOBAL bounds - >= 23249 @ 34.4784
66.11/66.31	c GLOBAL bounds - >= 23249 @ 34.569
66.11/66.34	c GLOBAL bounds - >= 23249 @ 34.5807
66.31/66.56	c GLOBAL bounds - >= 23249 @ 34.6638
66.51/66.79	c GLOBAL bounds - >= 23249 @ 34.7516
66.82/67.02	c GLOBAL bounds - >= 23249 @ 34.8398
67.02/67.25	c GLOBAL bounds - >= 23249 @ 34.9253
67.21/67.47	c GLOBAL bounds - >= 23249 @ 35.0139
67.41/67.69	c GLOBAL bounds - >= 23249 @ 35.0961
67.71/67.95	c GLOBAL bounds - >= 23249 @ 35.2153
68.01/68.27	c GLOBAL bounds - >= 23249 @ 35.4158
70.00/70.21	c #Conflicts:       2000 | #Constraints:       2410
70.00/70.21	c INPROCESSING
70.00/70.21	c GARBAGE COLLECT
70.00/70.21	c GLOBAL bounds - >= 23249 @ 37.0679
70.41/70.63	c GLOBAL bounds - >= 23249 @ 37.3548
71.92/72.12	c GLOBAL bounds - >= 23249 @ 38.6818
73.20/73.46	c GLOBAL bounds - >= 23249 @ 39.8883
80.38/80.65	c #Conflicts:       3000 | #Constraints:       2374
80.38/80.65	c GLOBAL bounds - >= 23249 @ 46.7295
82.37/82.67	c #Conflicts:       4000 | #Constraints:       3377
82.37/82.67	c GLOBAL bounds - >= 23249 @ 48.5478
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:       5000 | #Constraints:       2799
664.41/666.12	c #Conflicts:       6000 | #Constraints:       3799
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:       7000 | #Constraints:       2814
664.41/666.12	c #Conflicts:       8000 | #Constraints:       3814
664.41/666.12	c #Conflicts:       9000 | #Constraints:       4814
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      10000 | #Constraints:       3523
664.41/666.12	c #Conflicts:      11000 | #Constraints:       4523
664.41/666.12	c #Conflicts:      12000 | #Constraints:       5523
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      13000 | #Constraints:       3981
664.41/666.12	c #Conflicts:      14000 | #Constraints:       4981
664.41/666.12	c #Conflicts:      15000 | #Constraints:       5981
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      16000 | #Constraints:       4219
664.41/666.12	c #Conflicts:      17000 | #Constraints:       5219
664.41/666.12	c #Conflicts:      18000 | #Constraints:       6219
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      19000 | #Constraints:       4233
664.41/666.12	c #Conflicts:      20000 | #Constraints:       5233
664.41/666.12	c #Conflicts:      21000 | #Constraints:       6233
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      22000 | #Constraints:       4036
664.41/666.12	c #Conflicts:      23000 | #Constraints:       5036
664.41/666.12	c #Conflicts:      24000 | #Constraints:       6036
664.41/666.12	c #Conflicts:      25000 | #Constraints:       7036
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      26000 | #Constraints:       4638
664.41/666.12	c #Conflicts:      27000 | #Constraints:       5638
664.41/666.12	c #Conflicts:      28000 | #Constraints:       6638
664.41/666.12	c #Conflicts:      29000 | #Constraints:       7638
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      30000 | #Constraints:       5039
664.41/666.12	c #Conflicts:      31000 | #Constraints:       6039
664.41/666.12	c #Conflicts:      32000 | #Constraints:       7039
664.41/666.12	c #Conflicts:      33000 | #Constraints:       8039
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      34000 | #Constraints:       5246
664.41/666.12	c #Conflicts:      35000 | #Constraints:       6246
664.41/666.12	c #Conflicts:      36000 | #Constraints:       7246
664.41/666.12	c #Conflicts:      37000 | #Constraints:       8246
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      38000 | #Constraints:       5246
664.41/666.12	c #Conflicts:      39000 | #Constraints:       6246
664.41/666.12	c #Conflicts:      40000 | #Constraints:       7246
664.41/666.12	c #Conflicts:      41000 | #Constraints:       8246
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      42000 | #Constraints:       5082
664.41/666.12	c #Conflicts:      43000 | #Constraints:       6082
664.41/666.12	c #Conflicts:      44000 | #Constraints:       7082
664.41/666.12	c #Conflicts:      45000 | #Constraints:       8082
664.41/666.12	c #Conflicts:      46000 | #Constraints:       9082
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      47000 | #Constraints:       5672
664.41/666.12	c #Conflicts:      48000 | #Constraints:       6672
664.41/666.12	c #Conflicts:      49000 | #Constraints:       7672
664.41/666.12	c #Conflicts:      50000 | #Constraints:       8672
664.41/666.12	c #Conflicts:      51000 | #Constraints:       9672
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      52000 | #Constraints:       6067
664.41/666.12	c #Conflicts:      53000 | #Constraints:       7067
664.41/666.12	c #Conflicts:      54000 | #Constraints:       8067
664.41/666.12	c #Conflicts:      55000 | #Constraints:       9067
664.41/666.12	c #Conflicts:      56000 | #Constraints:      10067
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      57000 | #Constraints:       6259
664.41/666.12	c #Conflicts:      58000 | #Constraints:       7259
664.41/666.12	c #Conflicts:      59000 | #Constraints:       8259
664.41/666.12	c #Conflicts:      60000 | #Constraints:       9259
664.41/666.12	c #Conflicts:      61000 | #Constraints:      10259
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      62000 | #Constraints:       6263
664.41/666.12	c #Conflicts:      63000 | #Constraints:       7263
664.41/666.12	c #Conflicts:      64000 | #Constraints:       8263
664.41/666.12	c #Conflicts:      65000 | #Constraints:       9263
664.41/666.12	c #Conflicts:      66000 | #Constraints:      10263
664.41/666.12	c INPROCESSING
664.41/666.12	c GARBAGE COLLECT
664.41/666.12	c #Conflicts:      67000 | #Constraints:       6054
664.41/666.12	c #Conflicts:      68000 | #Constraints:       7054
664.41/666.12	c #Conflicts:      69000 | #Constraints:       8054
664.41/666.12	c #Conflicts:      70000 | #Constraints:       9054
664.41/666.12	c #Conflicts:      71000 | #Constraints:      10054
664.41/666.12	c #Conflicts:      72000 | #Constraints:      11054
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:      73000 | #Constraints:       6649
1298.66/1302.31	c #Conflicts:      74000 | #Constraints:       7649
1298.66/1302.31	c #Conflicts:      75000 | #Constraints:       8649
1298.66/1302.31	c #Conflicts:      76000 | #Constraints:       9649
1298.66/1302.31	c #Conflicts:      77000 | #Constraints:      10649
1298.66/1302.31	c #Conflicts:      78000 | #Constraints:      11649
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:      79000 | #Constraints:       7062
1298.66/1302.31	c #Conflicts:      80000 | #Constraints:       8062
1298.66/1302.31	c #Conflicts:      81000 | #Constraints:       9062
1298.66/1302.31	c #Conflicts:      82000 | #Constraints:      10062
1298.66/1302.31	c #Conflicts:      83000 | #Constraints:      11062
1298.66/1302.31	c #Conflicts:      84000 | #Constraints:      12062
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:      85000 | #Constraints:       7271
1298.66/1302.31	c #Conflicts:      86000 | #Constraints:       8271
1298.66/1302.31	c #Conflicts:      87000 | #Constraints:       9271
1298.66/1302.31	c #Conflicts:      88000 | #Constraints:      10271
1298.66/1302.31	c #Conflicts:      89000 | #Constraints:      11271
1298.66/1302.31	c #Conflicts:      90000 | #Constraints:      12271
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:      91000 | #Constraints:       7266
1298.66/1302.31	c #Conflicts:      92000 | #Constraints:       8266
1298.66/1302.31	c #Conflicts:      93000 | #Constraints:       9266
1298.66/1302.31	c #Conflicts:      94000 | #Constraints:      10266
1298.66/1302.31	c #Conflicts:      95000 | #Constraints:      11266
1298.66/1302.31	c #Conflicts:      96000 | #Constraints:      12266
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:      97000 | #Constraints:       7056
1298.66/1302.31	c #Conflicts:      98000 | #Constraints:       8056
1298.66/1302.31	c #Conflicts:      99000 | #Constraints:       9056
1298.66/1302.31	c #Conflicts:     100000 | #Constraints:      10056
1298.66/1302.31	c #Conflicts:     101000 | #Constraints:      11056
1298.66/1302.31	c #Conflicts:     102000 | #Constraints:      12056
1298.66/1302.31	c #Conflicts:     103000 | #Constraints:      13056
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     104000 | #Constraints:       7678
1298.66/1302.31	c #Conflicts:     105000 | #Constraints:       8678
1298.66/1302.31	c #Conflicts:     106000 | #Constraints:       9678
1298.66/1302.31	c #Conflicts:     107000 | #Constraints:      10678
1298.66/1302.31	c #Conflicts:     108000 | #Constraints:      11678
1298.66/1302.31	c #Conflicts:     109000 | #Constraints:      12678
1298.66/1302.31	c #Conflicts:     110000 | #Constraints:      13678
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     111000 | #Constraints:       8077
1298.66/1302.31	c #Conflicts:     112000 | #Constraints:       9077
1298.66/1302.31	c #Conflicts:     113000 | #Constraints:      10077
1298.66/1302.31	c #Conflicts:     114000 | #Constraints:      11077
1298.66/1302.31	c #Conflicts:     115000 | #Constraints:      12077
1298.66/1302.31	c #Conflicts:     116000 | #Constraints:      13077
1298.66/1302.31	c #Conflicts:     117000 | #Constraints:      14077
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     118000 | #Constraints:       8265
1298.66/1302.31	c #Conflicts:     119000 | #Constraints:       9265
1298.66/1302.31	c #Conflicts:     120000 | #Constraints:      10265
1298.66/1302.31	c #Conflicts:     121000 | #Constraints:      11265
1298.66/1302.31	c #Conflicts:     122000 | #Constraints:      12265
1298.66/1302.31	c #Conflicts:     123000 | #Constraints:      13265
1298.66/1302.31	c #Conflicts:     124000 | #Constraints:      14265
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     125000 | #Constraints:       8263
1298.66/1302.31	c #Conflicts:     126000 | #Constraints:       9263
1298.66/1302.31	c #Conflicts:     127000 | #Constraints:      10263
1298.66/1302.31	c #Conflicts:     128000 | #Constraints:      11263
1298.66/1302.31	c #Conflicts:     129000 | #Constraints:      12263
1298.66/1302.31	c #Conflicts:     130000 | #Constraints:      13263
1298.66/1302.31	c #Conflicts:     131000 | #Constraints:      14263
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     132000 | #Constraints:       8069
1298.66/1302.31	c #Conflicts:     133000 | #Constraints:       9069
1298.66/1302.31	c #Conflicts:     134000 | #Constraints:      10069
1298.66/1302.31	c #Conflicts:     135000 | #Constraints:      11069
1298.66/1302.31	c #Conflicts:     136000 | #Constraints:      12069
1298.66/1302.31	c #Conflicts:     137000 | #Constraints:      13069
1298.66/1302.31	c #Conflicts:     138000 | #Constraints:      14069
1298.66/1302.31	c #Conflicts:     139000 | #Constraints:      15069
1298.66/1302.31	c INPROCESSING
1298.66/1302.31	c GARBAGE COLLECT
1298.66/1302.31	c #Conflicts:     140000 | #Constraints:       8667
1298.66/1302.31	c #Conflicts:     141000 | #Constraints:       9667
1298.66/1302.31	c #Conflicts:     142000 | #Constraints:      10667
1298.66/1302.31	c #Conflicts:     143000 | #Constraints:      11667
1298.66/1302.31	c #Conflicts:     144000 | #Constraints:      12667
1997.45/2003.15	c #Conflicts:     145000 | #Constraints:      13667
1997.45/2003.15	c #Conflicts:     146000 | #Constraints:      14667
1997.45/2003.15	c #Conflicts:     147000 | #Constraints:      15667
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     148000 | #Constraints:       9084
1997.45/2003.15	c #Conflicts:     149000 | #Constraints:      10084
1997.45/2003.15	c #Conflicts:     150000 | #Constraints:      11084
1997.45/2003.15	c #Conflicts:     151000 | #Constraints:      12084
1997.45/2003.15	c #Conflicts:     152000 | #Constraints:      13084
1997.45/2003.15	c #Conflicts:     153000 | #Constraints:      14084
1997.45/2003.15	c #Conflicts:     154000 | #Constraints:      15084
1997.45/2003.15	c #Conflicts:     155000 | #Constraints:      16084
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     156000 | #Constraints:       9294
1997.45/2003.15	c #Conflicts:     157000 | #Constraints:      10294
1997.45/2003.15	c #Conflicts:     158000 | #Constraints:      11294
1997.45/2003.15	c #Conflicts:     159000 | #Constraints:      12294
1997.45/2003.15	c #Conflicts:     160000 | #Constraints:      13294
1997.45/2003.15	c #Conflicts:     161000 | #Constraints:      14294
1997.45/2003.15	c #Conflicts:     162000 | #Constraints:      15294
1997.45/2003.15	c #Conflicts:     163000 | #Constraints:      16294
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     164000 | #Constraints:       9276
1997.45/2003.15	c #Conflicts:     165000 | #Constraints:      10276
1997.45/2003.15	c #Conflicts:     166000 | #Constraints:      11276
1997.45/2003.15	c #Conflicts:     167000 | #Constraints:      12276
1997.45/2003.15	c #Conflicts:     168000 | #Constraints:      13276
1997.45/2003.15	c #Conflicts:     169000 | #Constraints:      14276
1997.45/2003.15	c #Conflicts:     170000 | #Constraints:      15276
1997.45/2003.15	c #Conflicts:     171000 | #Constraints:      16276
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     172000 | #Constraints:       9078
1997.45/2003.15	c #Conflicts:     173000 | #Constraints:      10078
1997.45/2003.15	c #Conflicts:     174000 | #Constraints:      11078
1997.45/2003.15	c #Conflicts:     175000 | #Constraints:      12078
1997.45/2003.15	c #Conflicts:     176000 | #Constraints:      13078
1997.45/2003.15	c #Conflicts:     177000 | #Constraints:      14078
1997.45/2003.15	c #Conflicts:     178000 | #Constraints:      15078
1997.45/2003.15	c #Conflicts:     179000 | #Constraints:      16078
1997.45/2003.15	c #Conflicts:     180000 | #Constraints:      17078
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     181000 | #Constraints:       9676
1997.45/2003.15	c #Conflicts:     182000 | #Constraints:      10676
1997.45/2003.15	c #Conflicts:     183000 | #Constraints:      11676
1997.45/2003.15	c #Conflicts:     184000 | #Constraints:      12676
1997.45/2003.15	c #Conflicts:     185000 | #Constraints:      13676
1997.45/2003.15	c #Conflicts:     186000 | #Constraints:      14676
1997.45/2003.15	c #Conflicts:     187000 | #Constraints:      15676
1997.45/2003.15	c #Conflicts:     188000 | #Constraints:      16676
1997.45/2003.15	c #Conflicts:     189000 | #Constraints:      17676
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     190000 | #Constraints:      10075
1997.45/2003.15	c #Conflicts:     191000 | #Constraints:      11075
1997.45/2003.15	c #Conflicts:     192000 | #Constraints:      12075
1997.45/2003.15	c #Conflicts:     193000 | #Constraints:      13075
1997.45/2003.15	c #Conflicts:     194000 | #Constraints:      14075
1997.45/2003.15	c #Conflicts:     195000 | #Constraints:      15075
1997.45/2003.15	c #Conflicts:     196000 | #Constraints:      16075
1997.45/2003.15	c #Conflicts:     197000 | #Constraints:      17075
1997.45/2003.15	c #Conflicts:     198000 | #Constraints:      18075
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     199000 | #Constraints:      10272
1997.45/2003.15	c #Conflicts:     200000 | #Constraints:      11272
1997.45/2003.15	c #Conflicts:     201000 | #Constraints:      12272
1997.45/2003.15	c #Conflicts:     202000 | #Constraints:      13272
1997.45/2003.15	c #Conflicts:     203000 | #Constraints:      14272
1997.45/2003.15	c #Conflicts:     204000 | #Constraints:      15272
1997.45/2003.15	c #Conflicts:     205000 | #Constraints:      16272
1997.45/2003.15	c #Conflicts:     206000 | #Constraints:      17272
1997.45/2003.15	c #Conflicts:     207000 | #Constraints:      18272
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     208000 | #Constraints:      10279
1997.45/2003.15	c #Conflicts:     209000 | #Constraints:      11279
1997.45/2003.15	c #Conflicts:     210000 | #Constraints:      12279
1997.45/2003.15	c #Conflicts:     211000 | #Constraints:      13279
1997.45/2003.15	c #Conflicts:     212000 | #Constraints:      14279
1997.45/2003.15	c #Conflicts:     213000 | #Constraints:      15279
1997.45/2003.15	c #Conflicts:     214000 | #Constraints:      16279
1997.45/2003.15	c #Conflicts:     215000 | #Constraints:      17279
1997.45/2003.15	c #Conflicts:     216000 | #Constraints:      18279
1997.45/2003.15	c INPROCESSING
1997.45/2003.15	c GARBAGE COLLECT
1997.45/2003.15	c #Conflicts:     217000 | #Constraints:      10075
2161.72/2168.01	c #Conflicts:     218000 | #Constraints:      11075
2161.72/2168.01	c #Conflicts:     219000 | #Constraints:      12075
2161.72/2168.01	c #Conflicts:     220000 | #Constraints:      13075
2161.72/2168.01	c #Conflicts:     221000 | #Constraints:      14075
2161.72/2168.01	c #Conflicts:     222000 | #Constraints:      15075
2161.72/2168.01	c #Conflicts:     223000 | #Constraints:      16075
2161.72/2168.01	c #Conflicts:     224000 | #Constraints:      17075
2161.72/2168.01	c #Conflicts:     225000 | #Constraints:      18075
2161.72/2168.01	c #Conflicts:     226000 | #Constraints:      19075
2161.72/2168.01	c INPROCESSING
2161.72/2168.01	c GARBAGE COLLECT
2161.72/2168.01	c #Conflicts:     227000 | #Constraints:      10674
2161.72/2168.01	c #Conflicts:     228000 | #Constraints:      11674
2161.72/2168.01	c #Conflicts:     229000 | #Constraints:      12674
2161.72/2168.01	c #Conflicts:     230000 | #Constraints:      13674
2161.72/2168.01	c #Conflicts:     231000 | #Constraints:      14674
2161.72/2168.01	c #Conflicts:     232000 | #Constraints:      15674
2161.72/2168.01	c GLOBAL bounds - >= 23830 @ 2095.91
2161.83/2168.06	c GLOBAL bounds - >= 23830 @ 2095.95
2161.83/2168.08	c GLOBAL bounds - >= 23830 @ 2095.96
2161.83/2168.10	c GLOBAL bounds - >= 23830 @ 2095.97
2161.93/2168.13	c GLOBAL bounds - >= 23830 @ 2095.98
2161.93/2168.15	c GLOBAL bounds - >= 23830 @ 2095.99
2161.93/2168.18	c GLOBAL bounds - >= 23830 @ 2096.02
2162.02/2168.21	c GLOBAL bounds - >= 23830 @ 2096.03
2162.21/2168.49	c GLOBAL bounds - >= 23830 @ 2096.18
2162.31/2168.51	c GLOBAL bounds - >= 23830 @ 2096.2
2163.01/2169.27	c GLOBAL bounds - >= 23830 @ 2096.82
2163.11/2169.30	c GLOBAL bounds - >= 23830 @ 2096.83
2163.31/2169.51	c GLOBAL bounds - >= 23830 @ 2096.9
2163.31/2169.54	c GLOBAL bounds - >= 23830 @ 2096.91
2163.50/2169.75	c GLOBAL bounds - >= 23830 @ 2096.99
2163.50/2169.78	c GLOBAL bounds - >= 23830 @ 2097
2163.70/2169.99	c GLOBAL bounds - >= 23830 @ 2097.08
2163.82/2170.02	c GLOBAL bounds - >= 23830 @ 2097.09
2164.01/2170.23	c GLOBAL bounds - >= 23830 @ 2097.17
2164.01/2170.26	c GLOBAL bounds - >= 23830 @ 2097.19
2164.21/2170.48	c GLOBAL bounds - >= 23830 @ 2097.27
2164.31/2170.50	c GLOBAL bounds - >= 23830 @ 2097.27
2164.50/2170.72	c GLOBAL bounds - >= 23830 @ 2097.36
2164.50/2170.74	c GLOBAL bounds - >= 23830 @ 2097.37
2164.70/2170.96	c GLOBAL bounds - >= 23830 @ 2097.44
2164.70/2170.98	c GLOBAL bounds - >= 23830 @ 2097.45
2165.01/2171.20	c GLOBAL bounds - >= 23830 @ 2097.53
2165.20/2171.42	c GLOBAL bounds - >= 23830 @ 2097.62
2165.41/2171.63	c GLOBAL bounds - >= 23830 @ 2097.7
2165.60/2171.85	c GLOBAL bounds - >= 23830 @ 2097.77
2165.82/2172.08	c GLOBAL bounds - >= 23830 @ 2097.87
2166.10/2172.31	c GLOBAL bounds - >= 23830 @ 2097.95
2166.30/2172.55	c GLOBAL bounds - >= 23830 @ 2098.06
2166.60/2172.85	c GLOBAL bounds - >= 23830 @ 2098.23
2166.91/2173.19	c GLOBAL bounds - >= 23830 @ 2098.41
2167.20/2173.49	c GLOBAL bounds - >= 23830 @ 2098.57
2169.49/2175.76	c #Conflicts:     233000 | #Constraints:      16689
2169.49/2175.76	c GLOBAL bounds - >= 23830 @ 2100.68
2169.49/2175.77	c GLOBAL bounds - >= 23830 @ 2100.69
2169.59/2175.80	c GLOBAL bounds - >= 23830 @ 2100.71
2169.59/2175.83	c GLOBAL bounds - >= 23830 @ 2100.72
2169.59/2175.85	c GLOBAL bounds - >= 23830 @ 2100.73
2169.59/2175.88	c GLOBAL bounds - >= 23830 @ 2100.74
2169.70/2175.90	c GLOBAL bounds - >= 23830 @ 2100.75
2169.70/2175.92	c GLOBAL bounds - >= 23830 @ 2100.76
2170.49/2176.75	c GLOBAL bounds - >= 23830 @ 2101.46
2170.49/2176.78	c GLOBAL bounds - >= 23830 @ 2101.47
2175.38/2181.69	c GLOBAL bounds - >= 23830 @ 2106.14
2175.48/2181.72	c GLOBAL bounds - >= 23830 @ 2106.15
2175.68/2181.96	c GLOBAL bounds - >= 23830 @ 2106.26
2175.68/2181.99	c GLOBAL bounds - >= 23830 @ 2106.28
2176.07/2182.33	c GLOBAL bounds - >= 23830 @ 2106.47
2176.07/2182.35	c GLOBAL bounds - >= 23830 @ 2106.48
2176.37/2182.66	c GLOBAL bounds - >= 23830 @ 2106.66
2176.37/2182.69	c GLOBAL bounds - >= 23830 @ 2106.67
2176.68/2182.97	c GLOBAL bounds - >= 23830 @ 2106.82
2176.68/2183.00	c GLOBAL bounds - >= 23830 @ 2106.83
2176.97/2183.26	c GLOBAL bounds - >= 23830 @ 2106.95
2176.97/2183.29	c GLOBAL bounds - >= 23830 @ 2106.97
2177.57/2183.80	c GLOBAL bounds - >= 23830 @ 2107.33
2177.57/2183.83	c GLOBAL bounds - >= 23830 @ 2107.35
2177.78/2184.06	c GLOBAL bounds - >= 23830 @ 2107.44
2177.78/2184.08	c GLOBAL bounds - >= 23830 @ 2107.46
2178.07/2184.31	c GLOBAL bounds - >= 23830 @ 2107.55
2178.27/2184.56	c #Conflicts:     234000 | #Constraints:      17703
2178.27/2184.56	c GLOBAL bounds - >= 23830 @ 2107.67
2927.46/2935.97	c #Conflicts:     235000 | #Constraints:      18703
2927.46/2935.97	c #Conflicts:     236000 | #Constraints:      19703
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     237000 | #Constraints:      11085
2927.46/2935.97	c #Conflicts:     238000 | #Constraints:      12085
2927.46/2935.97	c #Conflicts:     239000 | #Constraints:      13085
2927.46/2935.97	c #Conflicts:     240000 | #Constraints:      14085
2927.46/2935.97	c #Conflicts:     241000 | #Constraints:      15085
2927.46/2935.97	c #Conflicts:     242000 | #Constraints:      16085
2927.46/2935.97	c #Conflicts:     243000 | #Constraints:      17085
2927.46/2935.97	c #Conflicts:     244000 | #Constraints:      18085
2927.46/2935.97	c #Conflicts:     245000 | #Constraints:      19085
2927.46/2935.97	c #Conflicts:     246000 | #Constraints:      20085
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     247000 | #Constraints:      11291
2927.46/2935.97	c #Conflicts:     248000 | #Constraints:      12291
2927.46/2935.97	c #Conflicts:     249000 | #Constraints:      13291
2927.46/2935.97	c #Conflicts:     250000 | #Constraints:      14291
2927.46/2935.97	c #Conflicts:     251000 | #Constraints:      15291
2927.46/2935.97	c #Conflicts:     252000 | #Constraints:      16291
2927.46/2935.97	c #Conflicts:     253000 | #Constraints:      17291
2927.46/2935.97	c #Conflicts:     254000 | #Constraints:      18291
2927.46/2935.97	c #Conflicts:     255000 | #Constraints:      19291
2927.46/2935.97	c #Conflicts:     256000 | #Constraints:      20291
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     257000 | #Constraints:      11286
2927.46/2935.97	c #Conflicts:     258000 | #Constraints:      12286
2927.46/2935.97	c #Conflicts:     259000 | #Constraints:      13286
2927.46/2935.97	c #Conflicts:     260000 | #Constraints:      14286
2927.46/2935.97	c #Conflicts:     261000 | #Constraints:      15286
2927.46/2935.97	c #Conflicts:     262000 | #Constraints:      16286
2927.46/2935.97	c #Conflicts:     263000 | #Constraints:      17286
2927.46/2935.97	c #Conflicts:     264000 | #Constraints:      18286
2927.46/2935.97	c #Conflicts:     265000 | #Constraints:      19286
2927.46/2935.97	c #Conflicts:     266000 | #Constraints:      20286
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     267000 | #Constraints:      11096
2927.46/2935.97	c #Conflicts:     268000 | #Constraints:      12096
2927.46/2935.97	c #Conflicts:     269000 | #Constraints:      13096
2927.46/2935.97	c #Conflicts:     270000 | #Constraints:      14096
2927.46/2935.97	c #Conflicts:     271000 | #Constraints:      15096
2927.46/2935.97	c #Conflicts:     272000 | #Constraints:      16096
2927.46/2935.97	c #Conflicts:     273000 | #Constraints:      17096
2927.46/2935.97	c #Conflicts:     274000 | #Constraints:      18096
2927.46/2935.97	c #Conflicts:     275000 | #Constraints:      19096
2927.46/2935.97	c #Conflicts:     276000 | #Constraints:      20096
2927.46/2935.97	c #Conflicts:     277000 | #Constraints:      21096
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     278000 | #Constraints:      11685
2927.46/2935.97	c #Conflicts:     279000 | #Constraints:      12685
2927.46/2935.97	c #Conflicts:     280000 | #Constraints:      13685
2927.46/2935.97	c #Conflicts:     281000 | #Constraints:      14685
2927.46/2935.97	c #Conflicts:     282000 | #Constraints:      15685
2927.46/2935.97	c #Conflicts:     283000 | #Constraints:      16685
2927.46/2935.97	c #Conflicts:     284000 | #Constraints:      17685
2927.46/2935.97	c #Conflicts:     285000 | #Constraints:      18685
2927.46/2935.97	c #Conflicts:     286000 | #Constraints:      19685
2927.46/2935.97	c #Conflicts:     287000 | #Constraints:      20685
2927.46/2935.97	c #Conflicts:     288000 | #Constraints:      21685
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     289000 | #Constraints:      12077
2927.46/2935.97	c #Conflicts:     290000 | #Constraints:      13077
2927.46/2935.97	c #Conflicts:     291000 | #Constraints:      14077
2927.46/2935.97	c #Conflicts:     292000 | #Constraints:      15077
2927.46/2935.97	c #Conflicts:     293000 | #Constraints:      16077
2927.46/2935.97	c #Conflicts:     294000 | #Constraints:      17077
2927.46/2935.97	c #Conflicts:     295000 | #Constraints:      18077
2927.46/2935.97	c #Conflicts:     296000 | #Constraints:      19077
2927.46/2935.97	c #Conflicts:     297000 | #Constraints:      20077
2927.46/2935.97	c #Conflicts:     298000 | #Constraints:      21077
2927.46/2935.97	c #Conflicts:     299000 | #Constraints:      22077
2927.46/2935.97	c INPROCESSING
2927.46/2935.97	c GARBAGE COLLECT
2927.46/2935.97	c #Conflicts:     300000 | #Constraints:      12283
2927.46/2935.97	c #Conflicts:     301000 | #Constraints:      13283
2927.46/2935.97	c #Conflicts:     302000 | #Constraints:      14283
2927.46/2935.97	c #Conflicts:     303000 | #Constraints:      15283
2927.46/2935.97	c #Conflicts:     304000 | #Constraints:      16283
2927.46/2935.97	c #Conflicts:     305000 | #Constraints:      17283
2927.46/2935.97	c #Conflicts:     306000 | #Constraints:      18283
2927.46/2935.97	c #Conflicts:     307000 | #Constraints:      19283
2927.46/2935.97	c #Conflicts:     308000 | #Constraints:      20283
2927.46/2935.97	c #Conflicts:     309000 | #Constraints:      21283
3600.07/3610.63	c #Conflicts:     310000 | #Constraints:      22283
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     311000 | #Constraints:      12306
3600.07/3610.63	c #Conflicts:     312000 | #Constraints:      13306
3600.07/3610.63	c #Conflicts:     313000 | #Constraints:      14306
3600.07/3610.63	c #Conflicts:     314000 | #Constraints:      15306
3600.07/3610.63	c #Conflicts:     315000 | #Constraints:      16306
3600.07/3610.63	c #Conflicts:     316000 | #Constraints:      17306
3600.07/3610.63	c #Conflicts:     317000 | #Constraints:      18306
3600.07/3610.63	c #Conflicts:     318000 | #Constraints:      19306
3600.07/3610.63	c #Conflicts:     319000 | #Constraints:      20306
3600.07/3610.63	c #Conflicts:     320000 | #Constraints:      21306
3600.07/3610.63	c #Conflicts:     321000 | #Constraints:      22306
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     322000 | #Constraints:      12100
3600.07/3610.63	c #Conflicts:     323000 | #Constraints:      13100
3600.07/3610.63	c #Conflicts:     324000 | #Constraints:      14100
3600.07/3610.63	c #Conflicts:     325000 | #Constraints:      15100
3600.07/3610.63	c #Conflicts:     326000 | #Constraints:      16100
3600.07/3610.63	c #Conflicts:     327000 | #Constraints:      17100
3600.07/3610.63	c #Conflicts:     328000 | #Constraints:      18100
3600.07/3610.63	c #Conflicts:     329000 | #Constraints:      19100
3600.07/3610.63	c #Conflicts:     330000 | #Constraints:      20100
3600.07/3610.63	c #Conflicts:     331000 | #Constraints:      21100
3600.07/3610.63	c #Conflicts:     332000 | #Constraints:      22100
3600.07/3610.63	c #Conflicts:     333000 | #Constraints:      23100
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     334000 | #Constraints:      12690
3600.07/3610.63	c #Conflicts:     335000 | #Constraints:      13690
3600.07/3610.63	c #Conflicts:     336000 | #Constraints:      14690
3600.07/3610.63	c #Conflicts:     337000 | #Constraints:      15690
3600.07/3610.63	c #Conflicts:     338000 | #Constraints:      16690
3600.07/3610.63	c #Conflicts:     339000 | #Constraints:      17690
3600.07/3610.63	c #Conflicts:     340000 | #Constraints:      18690
3600.07/3610.63	c #Conflicts:     341000 | #Constraints:      19690
3600.07/3610.63	c #Conflicts:     342000 | #Constraints:      20690
3600.07/3610.63	c #Conflicts:     343000 | #Constraints:      21690
3600.07/3610.63	c #Conflicts:     344000 | #Constraints:      22690
3600.07/3610.63	c #Conflicts:     345000 | #Constraints:      23690
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     346000 | #Constraints:      13099
3600.07/3610.63	c #Conflicts:     347000 | #Constraints:      14099
3600.07/3610.63	c #Conflicts:     348000 | #Constraints:      15099
3600.07/3610.63	c #Conflicts:     349000 | #Constraints:      16099
3600.07/3610.63	c #Conflicts:     350000 | #Constraints:      17099
3600.07/3610.63	c #Conflicts:     351000 | #Constraints:      18099
3600.07/3610.63	c #Conflicts:     352000 | #Constraints:      19099
3600.07/3610.63	c #Conflicts:     353000 | #Constraints:      20099
3600.07/3610.63	c #Conflicts:     354000 | #Constraints:      21099
3600.07/3610.63	c #Conflicts:     355000 | #Constraints:      22099
3600.07/3610.63	c #Conflicts:     356000 | #Constraints:      23099
3600.07/3610.63	c #Conflicts:     357000 | #Constraints:      24099
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     358000 | #Constraints:      13292
3600.07/3610.63	c #Conflicts:     359000 | #Constraints:      14292
3600.07/3610.63	c #Conflicts:     360000 | #Constraints:      15292
3600.07/3610.63	c #Conflicts:     361000 | #Constraints:      16292
3600.07/3610.63	c #Conflicts:     362000 | #Constraints:      17292
3600.07/3610.63	c #Conflicts:     363000 | #Constraints:      18292
3600.07/3610.63	c #Conflicts:     364000 | #Constraints:      19292
3600.07/3610.63	c #Conflicts:     365000 | #Constraints:      20292
3600.07/3610.63	c #Conflicts:     366000 | #Constraints:      21292
3600.07/3610.63	c #Conflicts:     367000 | #Constraints:      22292
3600.07/3610.63	c #Conflicts:     368000 | #Constraints:      23292
3600.07/3610.63	c #Conflicts:     369000 | #Constraints:      24292
3600.07/3610.63	c INPROCESSING
3600.07/3610.63	c GARBAGE COLLECT
3600.07/3610.63	c #Conflicts:     370000 | #Constraints:      13303
3600.07/3610.63	c #Conflicts:     371000 | #Constraints:      14303
3600.07/3610.63	c #Conflicts:     372000 | #Constraints:      15303
3600.07/3610.63	c #Conflicts:     373000 | #Constraints:      16303
3600.07/3610.63	c cpu time 3508.94 s
3600.07/3610.63	c deterministic time 23922554 2.39e+07
3600.07/3610.63	c optimization time 3499.77 s
3600.07/3610.63	c total solve time 1.70348 s
3600.07/3610.63	c core-guided solve time 0 s
3600.07/3610.63	c propagation time 1.37464 s
3600.07/3610.63	c conflict analysis time 0.298152 s
3600.07/3610.63	c propagations 3753253
3600.07/3610.63	c resolve steps 7641
3600.07/3610.63	c decisions 5356447
3600.07/3610.63	c conflicts 195
3600.07/3610.63	c restarts 2
3600.07/3610.63	c inprocessing phases 0
3600.07/3610.63	c garbage collections 0 ,( -nan )
3600.07/3610.63	c input clauses 1369212 ,( 99.99 )
3600.07/3610.63	c input cardinalities 0 ,( 0.00 )
3600.07/3610.63	c input general constraints 113 ,( 0.01 )
3600.07/3610.63	c input average constraint length 3.74
3600.07/3610.63	c input average constraint degree 508.46
3600.07/3610.63	c learned clauses 266 ,( 100.00 )
3600.07/3610.63	c learned cardinalities 0 ,( 0.00 )
3600.07/3610.63	c learned general constraints 0 ,( 0.00 )
3600.07/3610.63	c learned average constraint length 81.13
3600.07/3610.63	c learned average constraint degree 1.00
3600.07/3610.63	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.63	c counting CF 32, 64, 128, Arb: 114 , 0 , 0 , 0
3600.07/3610.63	c watched   constraints 0 ,( 0.00 ) 
3600.07/3610.63	c counting  constraints 113 ,( 100.00 ) 
3600.07/3610.63	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2081550 , 0 , 203126 ,( 0 , 203126 )
3600.07/3610.63	c gcd simplifications 0
3600.07/3610.63	c detected cardinalities 0
3600.07/3610.63	c weakened non-implied lits 0
3600.07/3610.63	c weakened non-implying lits 0
3600.07/3610.63	c original variables 214302
3600.07/3610.63	c clausal propagations 1923700
3600.07/3610.63	c cardinality propagations 0
3600.07/3610.63	c watched propagations 0
3600.07/3610.63	c counting propagations 8317
3600.07/3610.63	c watch lookups 2465843
3600.07/3610.63	c watch backjump lookups 0
3600.07/3610.63	c watch checks 1334269
3600.07/3610.63	c propagation checks 1936327
3600.07/3610.63	c constraint additions 94720
3600.07/3610.63	c trail pops 8981694
3600.07/3610.63	c formula constraints 1368957
3600.07/3610.63	c learned constraints 266
3600.07/3610.63	c bound constraints 0
3600.07/3610.63	c core-guided constraints 0
3600.07/3610.63	c encountered formula constraints 7776
3600.07/3610.63	c encountered learned constraints 60
3600.07/3610.63	c encountered bound constraints 0
3600.07/3610.63	c encountered core-guided constraints 0
3600.07/3610.63	c LP total time 0 s
3600.07/3610.63	c LP solve time 0 s
3600.07/3610.63	c LP constraints added 0
3600.07/3610.63	c LP constraints removed 0
3600.07/3610.63	c LP pivots internal 0
3600.07/3610.63	c LP pivots root 0
3600.07/3610.63	c LP calls 0
3600.07/3610.63	c LP optimalities 0
3600.07/3610.63	c LP no pivot count 0
3600.07/3610.63	c LP infeasibilities 0
3600.07/3610.63	c LP valid Farkas constraints 0
3600.07/3610.63	c LP learned Farkas constraints 0
3600.07/3610.63	c LP basis resets 0
3600.07/3610.63	c LP cycling count 0
3600.07/3610.63	c LP singular count 0
3600.07/3610.63	c LP no primal count 0
3600.07/3610.63	c LP no farkas count 0
3600.07/3610.63	c LP other issue count 0
3600.07/3610.63	c LP Gomory cuts 0
3600.07/3610.63	c LP learned cuts 0
3600.07/3610.63	c LP deleted cuts 0
3600.07/3610.63	c LP encountered Gomory constraints 0
3600.07/3610.63	c LP encountered Farkas constraints 0
3600.07/3610.63	c LP encountered learned Farkas constraints 0
3600.07/3610.63	c CG auxiliary variables introduced 111
3600.07/3610.63	c CG solutions found 0
3600.07/3610.63	c CG cores constructed 173
3600.07/3610.63	c CG core cardinality constraints returned 0
3600.07/3610.63	c CG unit cores 0
3600.07/3610.63	c CG single cores 0
3600.07/3610.63	c CG blocks removed during cardinality reduction 0
3600.07/3610.63	c CG first core best 0
3600.07/3610.63	c CG decision core best 0
3600.07/3610.63	c CG core reduction tie 0
3600.07/3610.63	c CG core degree average 0.00
3600.07/3610.63	c CG core slack average 0.00
3600.07/3610.63	c CG core upper bound improvements 0
3600.07/3610.63	c STR number of successful calls 0
3600.07/3610.63	c STR number of unsuccessful calls 0
3600.07/3610.63	c STR number of inconclusive calls 0
3600.07/3610.63	c STR number of successful attempts 0
3600.07/3610.63	c STR number of unsuccessful attempts 0
3600.07/3610.63	c STR number of inconclusive attempts 0
3600.07/3610.63	c STR average degree increase per successful call inf
3600.07/3610.63	c STR average degree increase per successful attempt inf
3600.07/3610.63	c STR total number of conflicts for successful attempts 0
3600.07/3610.63	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.63	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.63	c STR average number of conflicts per successful attempt inf
3600.07/3610.63	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.63	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.63	c AVG.sumWPerc 99.91 
3600.07/3610.63	c bigint constraints 0 
3600.07/3610.63	s UNKNOWN
3600.07/3610.63	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

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
solver pid=70058, runsolver pid=70053
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.09 5/256 70060
/proc/meminfo: memFree=128700748/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=94516 memory=48124 CPUtime=0.08 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 6557 0 0 0 5 3 0 0 20 0 1 0 66181046 96784384 12031 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 23629 12031 2016 1147 0 11056 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 98708 KiB
Current children cumulated memory: 51068 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.12 4.11 4.09 5/256 70060
/proc/meminfo: memFree=128627724/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=95712 memory=49788 CPUtime=0.19 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 6978 0 0 0 14 5 0 0 20 0 1 0 66181046 98009088 12447 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 23928 12447 2016 1147 0 11355 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99904 KiB
Current children cumulated memory: 52732 KiB

[startup+0.305238 s]*
/proc/loadavg: 4.12 4.11 4.09 5/256 70060
/proc/meminfo: memFree=128580656/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=97316 memory=51580 CPUtime=0.29 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 7408 0 0 0 22 7 0 0 20 0 1 0 66181046 99651584 12895 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 24329 12895 2016 1147 0 11756 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101508 KiB
Current children cumulated memory: 54524 KiB

[startup+0.700212 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 70061
/proc/meminfo: memFree=128482408/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=101364 memory=57212 CPUtime=0.67 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 8836 0 0 0 54 13 0 0 20 0 1 0 66181046 103796736 14303 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 25341 14303 2016 1147 0 12768 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105556 KiB
Current children cumulated memory: 60156 KiB

[startup+1.50035 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128367216/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=113424 memory=69408 CPUtime=1.47 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 11377 0 0 0 123 24 0 0 20 0 1 0 66181046 116146176 17352 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 28356 17352 2016 1147 0 15783 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117616 KiB
Current children cumulated memory: 72352 KiB

[startup+3.11312 s]
/proc/loadavg: 4.11 4.11 4.09 4/255 70079
/proc/meminfo: memFree=128594196/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=151972 memory=105968 CPUtime=3.08 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 19485 0 0 0 262 46 0 0 20 0 1 0 66181046 155619328 26492 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 37993 26492 2016 1147 0 25420 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156164 KiB
Current children cumulated memory: 108912 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.11 4.09 4/255 70098
/proc/meminfo: memFree=128050796/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=239604 memory=183572 CPUtime=6.26 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 34541 0 0 0 543 83 0 0 20 0 1 0 66181046 245354496 45893 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 59901 45893 2016 1147 0 47328 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 243796 KiB
Current children cumulated memory: 186516 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 70118
/proc/meminfo: memFree=127160236/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=454900 memory=338304 CPUtime=12.65 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 60827 0 0 0 927 338 0 0 20 0 1 0 66181046 465817600 84576 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 113725 84576 2112 1147 0 101152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 459092 KiB
Current children cumulated memory: 341248 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 70119
/proc/meminfo: memFree=126064704/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=674928 memory=560404 CPUtime=25.43 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 103606 0 0 0 1494 1049 0 0 20 0 1 0 66181046 691126272 140101 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 168732 140101 2112 1147 0 156159 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 679120 KiB
Current children cumulated memory: 563348 KiB

[startup+51.1135 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 70121
/proc/meminfo: memFree=122789476/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=1491288 memory=1239232 CPUtime=50.98 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 228367 0 0 0 2783 2315 0 0 20 0 1 0 66181046 1527078912 309808 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 372822 309808 2112 1147 0 360249 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1495480 KiB
Current children cumulated memory: 1242176 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 70123
/proc/meminfo: memFree=116503260/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=2367504 memory=1869616 CPUtime=102.03 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 352791 0 0 0 6777 3426 0 0 20 0 1 0 66181046 2424324096 467404 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 591876 467404 2112 1147 0 579303 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2371696 KiB
Current children cumulated memory: 1872560 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 70126
/proc/meminfo: memFree=110097152/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=2369884 memory=1988588 CPUtime=161.88 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 369295 0 0 0 12668 3520 0 0 20 0 1 0 66181046 2426761216 497147 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 592471 497147 2112 1147 0 579898 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2374076 KiB
Current children cumulated memory: 1991532 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 70128
/proc/meminfo: memFree=103463360/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=2369884 memory=2054668 CPUtime=221.74 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 378155 0 0 0 18564 3610 0 0 20 0 1 0 66181046 2426761216 513667 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 592471 513667 2112 1147 0 579898 0

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

Current children cumulated memory: 6535884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.24 5/281 70337
/proc/meminfo: memFree=1462556/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7889468 memory=6533068 CPUtime=3332.6 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1383748 0 0 0 324467 8793 0 0 20 0 1 0 66181046 8078815232 1633267 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972367 1633267 2112 1147 0 1959794 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 7893660 KiB
Current children cumulated memory: 6536012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.46 4.26 4.25 5/280 70339
/proc/meminfo: memFree=1715864/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7889980 memory=6533324 CPUtime=3392.42 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1384158 0 0 0 330386 8856 0 0 20 0 1 0 66181046 8079339520 1633331 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972495 1633331 2112 1147 0 1959922 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 7894172 KiB
Current children cumulated memory: 6536268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.84 4.41 4.31 5/275 70341
/proc/meminfo: memFree=1666188/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7890492 memory=6533708 CPUtime=3452.23 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1385073 0 0 0 336294 8929 0 0 20 0 1 0 66181046 8079863808 1633427 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1633427 2112 1147 0 1960050 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 7894684 KiB
Current children cumulated memory: 6536652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.38 4.30 5/262 70343
/proc/meminfo: memFree=1492100/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7890492 memory=6533708 CPUtime=3512.05 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1385476 0 0 0 342184 9021 0 0 20 0 1 0 66181046 8079863808 1633427 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1633427 2112 1147 0 1960050 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 7894684 KiB
Current children cumulated memory: 6536652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.36 4.30 5/261 70350
/proc/meminfo: memFree=1680700/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7890492 memory=6546964 CPUtime=3571.86 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1387249 0 0 0 348092 9094 0 0 20 0 1 0 66181046 8079863808 1636741 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636741 2112 1147 0 1960050 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 7894684 KiB
Current children cumulated memory: 6549908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.21 4.32 4.28 5/261 70350
/proc/meminfo: memFree=1534700/131382120 swapFree=33010160/33010684
[pid=70058] ppid=70053 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/70058/stat : 70058 (run-opt-log.sh) S 70053 70058 69604 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66181045 4292608 736 18446744073709551615 94064325210112 94064326104645 140723901861120 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94064326343696 94064326391440 94064334020608 140723901868321 140723901868516 140723901868516 140723901874118 0
/proc/70058/statm: 1048 736 672 219 0 110 0
[pid=70060] ppid=70058 vsize=7890492 memory=6546964 CPUtime=3600.07 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70058 70058 69604 0 -1 4194304 1387437 0 0 0 350893 9114 0 0 20 0 1 0 66181046 8079863808 1636741 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636741 2112 1147 0 1960050 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 7894684 KiB
Current children cumulated memory: 6549908 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001245 s, system=0.003745 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.21 4.32 4.28 5/255 70359
/proc/meminfo: memFree=11711140/131382120 swapFree=33010160/33010684
[pid=70060] ppid=70053 vsize=7890492 memory=6547476 CPUtime=3601.16 cores=4,6
/proc/70060/stat : 70060 (roundingsat) D 70053 70058 69604 0 -1 4194304 1387444 0 1 0 350896 9220 0 0 20 0 1 0 66181046 8079863808 1636869 18446744073709551615 4227072 8923433 140736044751312 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 9
/proc/70060/statm: 1972623 1636869 2240 1147 0 1960050 0
??? kill 70060 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3509.01 s, system=93.5761 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.21 4.32 4.28 4/255 70359
/proc/meminfo: memFree=11780696/131382120 swapFree=33010160/33010684
[pid=70060] ppid=70053 vsize=7890492 memory=6547476 CPUtime=3600.63 cores=4,6
/proc/70060/stat : 70060 (roundingsat) R 70053 70058 69604 0 -1 4194304 1387444 0 1 0 350893 9170 0 0 20 0 1 0 66181046 8079863808 1636869 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636869 2240 1147 0 1960050 0
Current cumulated CPU time of completed processes: 0.00499 s
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 7890492 KiB
Current children cumulated memory: 6547476 KiB

[startup+3612 s]*
/proc/loadavg: 4.21 4.32 4.28 6/255 70359
/proc/meminfo: memFree=11713916/131382120 swapFree=33010160/33010684
[pid=70060] ppid=70053 vsize=7890492 memory=6547476 CPUtime=3601.09 cores=4,6
/proc/70060/stat : 70060 (roundingsat) D 70053 70058 69604 0 -1 4194304 1387444 0 1 0 350894 9215 0 0 20 0 1 0 66181046 8079863808 1636869 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636869 2240 1147 0 1960050 0
Current cumulated CPU time of completed processes: 0.00499 s
Current children cumulated CPU time: 3601.09 s
Current children cumulated vsize: 7890492 KiB
Current children cumulated memory: 6547476 KiB

[startup+3612.4 s]
/proc/loadavg: 4.21 4.32 4.28 6/255 70359
/proc/meminfo: memFree=11713916/131382120 swapFree=33010160/33010684
[pid=70060] ppid=70053 vsize=7890492 memory=6547476 CPUtime=3601.13 cores=4,6
/proc/70060/stat : 70060 (roundingsat) D 70053 70058 69604 0 -1 4194304 1387444 0 1 0 350895 9218 0 0 20 0 1 0 66181046 8079863808 1636869 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636869 2240 1147 0 1960050 0
Current cumulated CPU time of completed processes: 0.00499 s
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 7890492 KiB
Current children cumulated memory: 6547476 KiB

[startup+3612.6 s]
/proc/loadavg: 4.21 4.32 4.28 6/255 70359
/proc/meminfo: memFree=11713916/131382120 swapFree=33010160/33010684
[pid=70060] ppid=70053 vsize=7890492 memory=6547476 CPUtime=3601.16 cores=4,6
/proc/70060/stat : 70060 (roundingsat) D 70053 70058 69604 0 -1 4194304 1387444 0 1 0 350896 9220 0 0 20 0 1 0 66181046 8079863808 1636869 18446744073709551615 4227072 8923433 140736044751312 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 39964672 140736044755282 140736044755496 140736044755496 140736044761066 0
/proc/70060/statm: 1972623 1636869 2240 1147 0 1960050 0
Current cumulated CPU time of completed processes: 0.00499 s
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 7890492 KiB
Current children cumulated memory: 6547476 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.32
CPU time (s): 3602.59
CPU user time (s): 3509.01
CPU system time (s): 93.5761
CPU usage (%): 99.5101
Max. virtual memory (cumulated for all children) (KiB): 7894684
Max. memory (cumulated for all children) (KiB): 6549908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3509.01
system time used= 93.5761
maximum resident set size= 6547476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1387652
page faults= 1
swaps= 0
block input operations= 5080
block output operations= 164059944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183447
involuntary context switches= 6737


# summary of solver processes directly reported to runsolver:
#   pid: 70058,70060
#   total CPU time (s): 3602.59
#   total CPU user time (s): 3509.01
#   total CPU system time (s): 93.5761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1334 second user time and 35.2726 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 03:10:19
IDJOB=4506413
IDBENCH=158206
IDSOLVER=3351
FILE ID=nodeC008/4506413-1751505017
RUNJOBID= nodeC008-1751501401-69615
SLURM_JOB_ID= 9598586
Free space on /tmp= 432540 MiB

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

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=454567091

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128759404 kB
MemAvailable:   129829060 kB
Buffers:            2144 kB
Cached:          1866008 kB
SwapCached:           16 kB
Active:           408860 kB
Inactive:        1634156 kB
Active(anon):     156540 kB
Inactive(anon):    36568 kB
Active(file):     252320 kB
Inactive(file):  1597588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            265148 kB
Writeback:             0 kB
AnonPages:        178572 kB
Mapped:           109912 kB
Shmem:             17920 kB
KReclaimable:     118752 kB
Slab:             203740 kB
SReclaimable:     118752 kB
SUnreclaim:        84988 kB
KernelStack:        4112 kB
PageTables:         3192 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     487812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432648 MiB
End job on nodeC008 at 2025-07-03 04:10:40